title: EnergyStar++: Towards more accurate and explanatory building energy benchmarking

abstract: Building energy performance benchmarking has been adopted widely in the USA and Canada through the Energy Star Portfolio Manager platform. Building operations and energy management professionals have long used a simple 1-100 score to understand how their building compares to its peers. This single number is easy to use, but is created by inaccurate linear regression (MLR) models. This paper proposes a methodology that enhances the existing Energy Star calculation method by increasing accuracy and providing additional model output processing to help explain why a building is achieving a certain score. We propose and test two new prediction models: multiple linear regression with feature interactions (MLRi) and gradient boosted trees (GBT). Both models have better average accuracy than the baseline Energy Star models. The third order MLRi and GBT models achieve 4.9% and 24.9% increase in adjusted R2, respectively, and 7.0% and 13.7% decrease in normalized root mean squared error (NRMSE), respectively, on average than MLR models for six building types. Even more importantly, a set of techniques is developed to help determine which factors most influence the score using SHAP values. The SHAP force visualization in particular offers an accessible overview of the aspects of the building that influence the score that non-technical users can readily interpret. This methodology is tested on the 2012 Commercial Building Energy Consumption Survey (CBECS)(1,812 buildings) and public data sets from the energy disclosure programs of New York City (11,131 buildings) and Seattle (2,073 buildings).


title: Statistical Estimation of the Poincar{\'e} constant and Application to Sampling Multimodal Distributions

abstract: Poincar{\'e} inequalities are ubiquitous in probability and analysis and have various applications in statistics (concentration of measure, rate of convergence of Markov chains). The Poincar{\'e} constant, for which the inequality is tight, is related to the typical convergence rate of diffusions to their equilibrium measure. In this paper, we show both theoretically and experimentally that, given sufficiently many samples of a measure, we can estimate its Poincar{\'e} constant. As a by-product of the estimation of the Poincar{\'e} constant, we derive an algorithm that captures a low dimensional representation of the data by finding directions which are difficult to sample. These directions are of crucial importance for sampling or in fields like molecular dynamics, where they are called reaction coordinates. Their knowledge can leverage, with a simple conditioning step, computational bottlenecks by using importance sampling techniques.


title: Visual Appearance Based Person Retrieval in Unconstrained Environment Videos

abstract: Visual appearance-based person retrieval is a challenging problem in surveillance. It uses attributes like height, cloth color, cloth type and gender to describe a human. Such attributes are known as soft biometrics. This paper proposes person retrieval from surveillance video using height, torso cloth type, torso cloth color and gender. The approach introduces an adaptive torso patch extraction and bounding box regression to improve the retrieval. The algorithm uses fine-tuned Mask R-CNN and DenseNet-169 for person detection and attribute classification respectively. The performance is analyzed on AVSS 2018 challenge II dataset and it achieves 11.35% improvement over state-of-the-art based on average Intersection over Union measure.


title: Testing the HyperCP anomaly at LHCb: evidence for the $\Sigma^+ \to p \mu^+ \mu^-$ decay

abstract: A search for $\Sigma^+ \to p \mu^+ \mu^-$ decays with LHCb Run 1 data is presented, yielding an evidence for this decay and a measurement of a branching fraction compatible with the Standard Model. The HyperCP anomaly in the dimuon invariant mass distribution is not confirmed, and its branching fraction central value is excluded at 95\% CL. Prospects for the future of this measurement in LHCb are also presented.


title: Conditional Denoising of Remote Sensing Imagery Using Cycle-Consistent Deep Generative Models

abstract: The potential of using remote sensing imagery for environmental modelling and for providing real time support to humanitarian operations such as hurricane relief efforts is well established. These applications are substantially affected by missing data due to non-structural noise such as clouds, shadows and other atmospheric effects. In this work we probe the potential of applying a cycle-consistent latent variable deep generative model (DGM) for denoising cloudy Sentinel-2 observations conditioned on the information in cloud penetrating bands. We adapt the recently proposed Fr\'{e}chet Distance metric to remote sensing images for evaluating performance of the generator, demonstrate the potential of DGMs for conditional denoising, and discuss future directions as well as the limitations of DGMs in Earth science and humanitarian applications.


title: The Baouendi-Treves approximation Theorem for Gevrey classes and applications

abstract: In this work we show how to extend the seminal Baouendi-Treves approximation theorem for Gevrey functions and ultradistributions. As applications we present a Gevrey version of the approximate Poincar\'e Lemma and study ultradistributions vanishing on maximally real submanifolds.


title: Instability of boundary equilibrium for Reaction-Diffusion system of a complex-balanced reaction network

abstract: In this paper we study the local instability to the boundary equilibria and the local stability to the positive equilibria for some chemical reaction-diffusion systems. We first analyze a three-species system with boundary equilibria in some stoichiometric classes. Then We prove the convergence to the positive equilibria for a general reversible reaction-diffusion network as long as the initial data is closed enough to the the positive equilibria.


title: Early stages of GaAs nanowires VLS self-catalyzed growth on silica-terminated silicon substrate: A photoemission study

abstract: In this paper the early stages of the self-catalyzed Vapor-Liquid-Solid (VLS) growth of GaAs nanowires on epi-ready Si substrates by Molecular Beam Epitaxy (MBE) are studied. The interaction of Ga nano-droplets (NDs) with the silica overlayer is investigated by X-ray Photoemission Spectroscopy (XPS) and Atomic Force Microscopy (AFM). We show how Ga NDs drill the silica overlayer and make contact with bulk Si to allow GaAs nanowires (NWs) epitaxial growth by studying each of the three steps of the NW growth process sequentially: Ga NDs pre-deposition, post-deposition annealing to reach the NW growth temperature, and finally NW growth itself. The pre-deposition temperature allows to control the density and morphology of the NDs. A high enough annealing temperature enhances the reduction of SiOx by Ga oxidation and leads to the formation of holes which is seen by a new component in XPS spectra, assumed to be the consequence of the Ga-Si interaction. Finally, these nano-holes act as nucleation sites for the epitaxial GaAs VLS growth. During the GaAs growth, three different chemical environments of Ga are identified in Ga2p core level: metallic Ga due to the droplets at the top of the NWs, Ga oxide in contact with the SiOx overlayer and Ga arsenide from NWs.


title: Fast Steganalysis Method for VoIP Streams

abstract: In this letter, we present a novel and extremely fast steganalysis method of Voice over IP (VoIP) streams, driven by the need for a quick and accurate detection of possible steganography in VoIP streams. We firstly analyzed the correlations in carriers. To better exploit the correlation in code-words, we mapped vector quantization code-words into a semantic space. In order to achieve high detection efficiency, only one hidden layer is utilized to extract the correlations between these code-words. Finally, based on the extracted correlation features, we used the softmax classifier to categorize the input stream carriers. To boost the performance of this proposed model, we incorporate a simple knowledge distillation framework into the training process. Experimental results show that the proposed method achieves state-of-the-art performance both in detection accuracy and efficiency. In particular, the processing time of this method on average is only about 0.05\% when sample length is as short as 0.1s, attaching strong practical value to online serving of steganography monitor.


title: Barycenters for the Hellinger--Kantorovich distance over $\mathbb{R}^d$

abstract: We study the barycenter of the Hellinger--Kantorovich metric over non-negative measures on compact, convex subsets of $\mathbb{R}^d$. The article establishes existence, uniqueness (under suitable assumptions) and equivalence between a coupled-two-marginal and a multi-marginal formulation. We analyze the HK barycenter between Dirac measures in detail, and find that it differs substantially from the Wasserstein barycenter by exhibiting a local `clustering' behaviour, depending on the length scale of the input measures. In applications it makes sense to simultaneously consider all choices of this scale, leading to a 1-parameter family of barycenters. We demonstrate the usefulness of this family by analyzing point clouds sampled from a mixture of Gaussians and inferring the number and location of the underlying Gaussians.


title: Prospects for kaon physics at LHCb

abstract: Despite not being designed for it, the LHCb experiment has given world-leading contributions in kaon and hyperon physics. In this contribution I review the prospects for kaon physics at LHCb exploiting the already acquired data and the current and future Upgrade scenarios.


title: An Abstraction-Based Framework for Neural Network Verification

abstract: Deep neural networks are increasingly being used as controllers for safety-critical systems. Because neural networks are opaque, certifying their correctness is a significant challenge. To address this issue, several neural network verification approaches have recently been proposed. However, these approaches afford limited scalability, and applying them to large networks can be challenging. In this paper, we propose a framework that can enhance neural network verification techniques by using over-approximation to reduce the size of the network - thus making it more amenable to verification. We perform the approximation such that if the property holds for the smaller (abstract) network, it holds for the original as well. The over-approximation may be too coarse, in which case the underlying verification tool might return a spurious counterexample. Under such conditions, we perform counterexample-guided refinement to adjust the approximation, and then repeat the process. Our approach is orthogonal to, and can be integrated with, many existing verification techniques. For evaluation purposes, we integrate it with the recently proposed Marabou framework, and observe a significant improvement in Marabou's performance. Our experiments demonstrate the great potential of our approach for verifying larger neural networks.


title: Conformal field theory and the web of quantum chaos diagnostics

abstract: We study three prominent diagnostics of chaos and scrambling in the context of two-dimensional conformal field theory: the spectral form factor, out-of-time-ordered correlators, and unitary operator entanglement. With the observation that all three quantities may be obtained by different analytic continuations of the torus partition function, we address the connections and distinctions between the information that each quantity provides us. In this process, we study the emergence of irrationality from "large-N" limits of rational conformal field theories (RCFTs) as well as the explicit breakdown of rationality for theories with central charges greater than the number of their conserved currents. Our analysis begins to elucidate the intermediate dynamical behavior of theories that bridge the gap between integrable RCFTs and maximally chaotic holographic CFTs.


title: Solving NMF with smoothness and sparsity constraints using PALM

abstract: Non-negative matrix factorization is a problem of dimensionality reduction and source separation of data that has been widely used in many fields since it was studied in depth in 1999 by Lee and Seung, including in compression of data, document clustering, processing of audio spectrograms and astronomy. In this work we have adapted a minimization scheme for convex functions with non-differentiable constraints called PALM to solve the NMF problem with solutions that can be smooth and/or sparse, two properties frequently desired.


title: Magnetoplasmons in monolayer black phosphorus structures

abstract: Two-dimensional materials supporting deep-subwavelength plasmonic modes can also exhibit strong magneto-optical responses. Here, we theoretically investigate magnetoplasmons (MPs) in monolayer black phosphorus (BP) structures under moderate static magnetic fields. We consider three different structures, namely, a continuous BP monolayer, an edge formed by a semi-infinite sheet, and finally, a triangular wedge configuration. Each of these structures shows strongly anisotropic magneto-optical responses induced both by the external magnetic field and by the intrinsic anisotropy of the BP lattice. Starting from the magneto-optical conductivity of a single-layer of BP, we derive the dispersion relation of the MPs in the considered geometries, using a combination of analytical, semi-analytical, and numerical methods. We fully characterize the MP dispersions and the properties of the corresponding field distributions, and we show that these structures sustain strongly anisotropic subwavelength modes that are highly tunable. Our results demonstrate that MPs in monolayer BP, with its inherent lattice anisotropy as well as magnetically induced anisotropy, hold potential for tunable anisotropic materials operating below the diffraction limit, thereby paving the way for tailored nanophotonic devices at the nanoscale.


title: Very high resolution Airborne PolSAR Image Classification using Convolutional Neural Networks

abstract: In this work, we exploit convolutional neural networks (CNNs) for the classification of very high resolution (VHR) polarimetric SAR (PolSAR) data. Due to the significant appearance of heterogeneous textures within these data, not only polarimetric features but also structural tensors are exploited to feed CNN models. For deep networks, we use the SegNet model for semantic segmentation, which corresponds to pixelwise classification in remote sensing. Our experiments on the airborne F-SAR data show that for VHR PolSAR images, SegNet could provide high accuracy for the classification task; and introducing structural tensors together with polarimetric features as inputs could help the network to focus more on geometrical information to significantly improve the classification performance.


title: Nisnevich topology with modulus

abstract: In Voevodsky's theory of motives, the Nisnevich topology on smooth schemes is used as an important building block. In this paper, we introduce a Grothendieck topology on proper modulus pairs, which will be used to construct a non-homotopy invariant generalization of motives. We also prove that the topology satisfies similar properties to the Nisnevich topology.


title: Gluing in geometric analysis via maps of Banach manifolds with corners and applications to gauge theory

abstract: We describe a new approach to the problem of constructing gluing parameterizations for open neighborhoods of boundary points of moduli spaces of anti-self-dual connections over closed four-dimensional manifolds. Our approach employs general results from differential topology for $C^1$ maps of smooth Banach manifolds with corners, providing a method that should apply to other problems in geometric analysis involving the gluing construction of solutions to nonlinear partial differential equations.


title: Stark-Heegner cycles attached to Bianchi modular forms

abstract: Let f be a Bianchi modular form, that is, an automorphic form for GL(2) over an imaginary quadratic field F, and let P be a prime of F at which f is new. Let K be a quadratic extension of F, and L(f/K,s) the L-function of the base-change of f to K. Under certain hypotheses on f and K, the functional equation of L(f/K,s) ensures that it vanishes at the central point. The Bloch--Kato conjecture predicts that this should force the existence of non-trivial classes in an appropriate global Selmer group attached to f and K. In this paper, we use the theory of double integrals developed by Barrera Salazar and the second author to construct certain P-adic Abel--Jacobi maps, which we use to propose a construction of such classes via "Stark--Heegner cycles". This builds on ideas of Darmon and in particular generalises an approach of Rotger and Seveso in the setting of classical modular forms.


title: Analogs of Dirichlet $L$-functions in chromatic homotopy theory

abstract: The relation between Eisenstein series and the $J$-homomorphism is an important topic in chromatic homotopy theory at height $1$. Both sides are related to the special values of the Riemann $\zeta$-function. Number theorists have studied the twistings of the Riemann $\zeta$-functions and Eisenstein series by Dirichlet characters. Motivated by the Dirichlet equivariance of these Eisenstein series, we introduce the Dirichlet $J$-spectra in this paper. The homotopy groups of the Dirichlet $J$-spectra are related to the special values of the Dirichlet $L$-functions. Moreover, we find Brown-Comenetz duals of the Dirichlet $J$-spectra, whose formulas resemble functional equations of the corresponding Dirichlet $L$-functions. In this sense, the Dirichlet $J$-spectra we constructed are analogs of Dirichlet $L$-functions in chromatic homotopy theory.


title: Discovery of an X-ray Quasar Wind Driving the Cold Gas Outflow in the Ultraluminous Infrared Galaxy IRAS F05189-2524

abstract: We present new XMM-Newton and NuSTAR observations of the galaxy merger IRAS F05189-2524 which is classified as an ultra-luminous infrared galaxy (ULIRG) and optical Seyfert 2 at $z$ = 0.0426. We test a variety of spectral models which yields a best-fit consisting of an absorbed power law with emission and absorption features in the Fe K band. Remarkably, we find evidence for a blueshifted Fe K absorption feature at $E$ = 7.8 keV (rest-frame) which implies an ultra-fast outflow (UFO) with $v_{\mathrm{out}} = 0.11\ \pm\ 0.01c$. We calculate that the UFO in IRAS F05189-2524 has a mass outflow rate of $\dot{M}_{\mathrm{out}}\ \gtrsim 1.0\ M_\odot$ yr$^{-1}$, a kinetic power of $\dot{E}_{\mathrm{K}} \gtrsim$ 8% $L_{\mathrm{AGN}}$, and a momentum rate (or force) of $\dot{P}_{\mathrm{out}}\ \gtrsim 1.4\ L_{\mathrm{AGN}}/c$. Comparing the energetics of the UFO to the observed multi-phase outflows at kiloparsec scales yields an efficiency factor of $f\sim0.05$ for an energy-driven outflow. Given the uncertainties, however, we cannot exclude the possibility of a momentum-driven outflow. Comparing IRAS F05189-2524 with nine other objects with observed UFOs and large-scale galactic outflows suggests that there is a range of efficiency factors for the coupling of the energetics of the nuclear and galaxy-scale outflows that likely depend on specific physical conditions in each object.


title: Immersed curves in Khovanov homology

abstract: We give a geometric interpretation of Bar-Natan's universal invariant for the class of tangles in the 3-ball with four ends: we associate with such 4-ended tangles $T$ multicurves $\widetilde{\operatorname{BN}}(T)$, that is, collections of immersed curves with local systems in the 4-punctured sphere. These multicurves are tangle invariants up to homotopy of the underlying curves and equivalence of the local systems. They satisfy a gluing theorem which recovers the reduced Bar-Natan homology of links in terms of wrapped Lagrangian Floer theory. Furthermore, we use $\widetilde{\operatorname{BN}}(T)$ to define two immersed curve invariants $\widetilde{\operatorname{Kh}}(T)$ and $\operatorname{Kh}(T)$, which satisfy similar gluing theorems that recover reduced and unreduced Khovanov homology of links, respectively. As a first application, we prove that Conway mutation preserves reduced Bar-Natan homology over the field with two elements and Rasmussen's $s$-invariant over any field. As a second application, we give a geometric interpretation of Rozansky's categorification of the two-stranded Jones-Wenzl projector. This allows us to define a module structure on reduced Bar-Natan and Khovanov homologies of infinitely twisted knots, generalizing a result by Benheddi.


title: Ultrafast magnetic dynamics in insulating YBa$_2$Cu$_3$O$_{6+x}$ revealed by time resolved two-magnon Raman Scattering

abstract: Measurement and control of magnetic order and correlations in real time is a rapidly developing scientific area relevant for magnetic memory and spintronics [1,15]. In these experiments an ultra-short laser pulse (pump) is first absorbed by excitations carrying electric dipole moment. These then give their energy to the magnetic subsystem monitored by a time-resolved probe. A lot of progress has been made in investigations of ferromagnets but antiferromagnets are more challenging. Here we introduce time-resolved two-magnon Raman scattering as a novel real time probe of magnetic correlations especially well-suited for antiferromagnets. Its application to the antiferromagnetic charge transfer insulator YBa$_2$Cu$_3$O$_{6+x}$ revealed rapid demagnetization within 90fs of photoexcitation. The relaxation back to thermal equilibrium is characterized by much slower timescales. We interpret these results in terms of slow relaxation of the charge sector and rapid equilibration of the magnetic sector to a prethermal state characterized by parameters that change slowly as the charge sector relaxes.


title: Inflection-Point Inflation with Axion Dark Matter in light of Trans-Planckian Censorship Conjecture

abstract: Motivated by the recently proposed Trans-Planckian Censorship Conjecture (TCC), we propose a gauged $B-L$ model of inflection-point inflation with axion dark matter. The Hubble scale during inflation ($H_{\rm inf}$) satisfies the TCC bound of $H_{\rm inf} \lesssim 1$ GeV, the axion dark matter scenario is free from the axion domain wall and isocurvature problems, and the axion decay constant can be larger than $10^{12}$ GeV. The seesaw mechanism is automatically incorporated in the model and the observed baryon asymmetry of the universe can be reproduced via resonant leptogenesis.


title: Inhomogeneous cooling state of a strongly confined granular gas at low density

abstract: The inhomogeneous cooling state describing the hydrodynamic behavior of a freely evolving granular gas strongly confined between two parallel plates is studied, using a Boltzmann kinetic equation derived recently. By extending the idea of the homogeneous cooling state, we propose a scaling distribution in which all the time dependence occurs through the granular temperature of the system, while there is a dependence on the distance to the confining walls through the density. It is obtained that the velocity distribution is not isotropic, and it has two different granular temperature parameters associated to the motion perpendicular and parallel to the confining plates, respectively, although their cooling rates are the same. Moreover, when approaching the inhomogeneous cooling state, energy is sometimes transferred from degrees of freedom with lower granular temperature to those with a higher one, contrary to what happens in molecular systems. The cooling rate and the two partial granular temperatures are calculated by means of a Gaussian approximation. The theoretical predictions are compared with molecular dynamics simulation results and a good agreement is found.


title: BMS current algebra in the context of the Newman-Penrose formalism

abstract: Starting from an action principle adapted to the Newman-Penrose formalism, we provide a self-contained derivation of BMS current algebra, which includes the generalization of the Bondi mass loss formula to all BMS generators. In the spirit of the Newman-Penrose approach, infinitesimal diffeomorphisms are expressed in terms of four scalars rather than a vector field. In this framework, the on-shell closed co-dimension two forms of the linearized theory associated with Killing vectors of the background are constructed from a standard algorithm. The explicit expression for the breaking that occurs when using residual gauge transformations instead of exact Killing vectors is worked out and related to the presymplectic flux.


title: Machine Translation of Restaurant Reviews: New Corpus for Domain Adaptation and Robustness

abstract: We share a French-English parallel corpus of Foursquare restaurant reviews (https://europe.naverlabs.com/research/natural-language-processing/machine-translation-of-restaurant-reviews), and define a new task to encourage research on Neural Machine Translation robustness and domain adaptation, in a real-world scenario where better-quality MT would be greatly beneficial. We discuss the challenges of such user-generated content, and train good baseline models that build upon the latest techniques for MT robustness. We also perform an extensive evaluation (automatic and human) that shows significant improvements over existing online systems. Finally, we propose task-specific metrics based on sentiment analysis or translation accuracy of domain-specific polysemous words.


title: "multiColl": An R package to detect multicollinearity

abstract: This work presents a guide for the use of some of the functions of the R package "multiColl" for the detection of near multicollinearity. The main contribution, in comparison to other existing packages in R or other econometric software, is the treatment of qualitative independent variables and the intercept in the simple/multiple linear regression model.


title: Parity-Violating Inelastic Electron-Proton Scattering at Low $Q^2$ Above the Resonance Region

abstract: We report the measurement of the parity-violating asymmetry for the inelastic scattering of electrons from the proton, at $Q^2 = 0.082$ GeV$^2$ and $ W = 2.23$ GeV, above the resonance region. The result $A_{\rm Inel} = - 13.5 \pm 2.0 ({\rm stat}) \pm 3.9 ({\rm syst})$~ppm agrees with theoretical calculations, and helps to validate the modeling of the $\gamma Z$ interference structure functions $F_1^{\gamma Z}$ and $F_2^{\gamma Z}$ used in those calculations, which are also used for determination of the two-boson exchange box diagram ($\Box_{\gamma Z}$) contribution to parity-violating elastic scattering measurements. A positive parity-violating asymmetry for inclusive $\pi^-$ production was observed, as well as positive beam-normal single-spin asymmetry for scattered electrons and a negative beam-normal single-spin asymmetry for inclusive $\pi^-$ production.


title: Off-diagonal correlators of conserved charges from lattice QCD and how to relate them to experiment

abstract: Like fluctuations, non-diagonal correlators of conserved charges provide a tool for the study of chemical freeze-out in heavy ion collisions. They can be calculated in thermal equilibrium using lattice simulations, and be connected to moments of event-by-event net-particle multiplicity distributions. We calculate them from continuum extrapolated lattice simulations at $\mu_B=0$, and present a finite-$\mu_B$ extrapolation, comparing two different methods. In order to relate the grand canonical observables to the experimentally available net-particle fluctuations and correlations, we perform a Hadron Resonance Gas (HRG) model analysis, which allows us to completely break down the contributions from different hadrons. We then construct suitable hadronic proxies for fluctuations ratios, and study their behavior at finite chemical potentials. We also study the effect of introducing acceptance cuts, and argue that the small dependence of certain ratios on the latter allows for a direct comparison with lattice QCD results, provided that the same cuts are applied to all hadronic species. Finally, we perform a comparison for the constructed quantities for experimentally available measurements from the STAR Collaboration. Thus, we estimate the chemical freeze-out temperature to 165 MeV using a strangeness-related proxy. This is a rather high temperature for the use of the Hadron Resonance Gas, thus, further lattice studies are necessary to provide first principle results at intermediate $\mu_B$.


title: On the relations between principal eigenvalue and torsional rigidity

abstract: We consider the problem of minimising or maximising the quantity $\lambda(\O)T^q(\O)$ on the class of open sets of prescribed Lebesgue measure. Here $q>0$ is fixed, $\lambda(\O)$ denotes the first eigenvalue of the Dirichlet Laplacian on $H^1_0(\O)$, while $T(\O)$ is the torsional rigidity of $\O$. The optimisation problem above is considered in the class of {\it all domains} $\O$, in the class of {\it convex domains} $\O$, and in the class of {\it thin domains}. The full Blaschke-Santal\'o diagram for $\lambda(\O)$ and $T(\O)$ is obtained in dimension one, while for higher dimensions we provide some bounds.


title: Deep Learning for 2D and 3D Rotatable Data: An Overview of Methods

abstract: Convolutional networks are successful due to their equivariance/invariance under translations. However, rotatable data such as images, volumes, shapes, or point clouds require processing with equivariance/invariance under rotations in cases where the rotational orientation of the coordinate system does not affect the meaning of the data (e.g. object classification). On the other hand, estimation/processing of rotations is necessary in cases where rotations are important (e.g. motion estimation). There has been recent progress in methods and theory in all these regards. Here we provide an overview of existing methods, both for 2D and 3D rotations (and translations), and identify commonalities and links between them.


title: Topologies on schemes and modulus pairs

abstract: We study relationships between the Nisnevich topology on smooth schemes and certain Grothendieck topologies on proper and not necessarily proper modulus pairs which were introduced respectively in [9] and [3]. Our results play an important role in the theory of sheaves with transfers on proper modulus pairs. This is a revised version of arXiv:1809.05851 [math.AG].


title: Optimal polynomial based quantum eigenstate filtering with application to solving quantum linear systems

abstract: We present a quantum eigenstate filtering algorithm based on quantum signal processing (QSP) and minimax polynomials. The algorithm allows us to efficiently prepare a target eigenstate of a given Hamiltonian, if we have access to an initial state with non-trivial overlap with the target eigenstate and have a reasonable lower bound for the spectral gap. We apply this algorithm to the quantum linear system problem (QLSP), and present two algorithms based on quantum adiabatic computing (AQC) and quantum Zeno effect respectively. Both algorithms prepare the final solution as a pure state, and achieves the near optimal $\mathcal{\widetilde{O}}(d\kappa\log(1/\epsilon))$ query complexity for a $d$-sparse matrix, where $\kappa$ is the condition number, and $\epsilon$ is the desired precision. Neither algorithm uses phase estimation or amplitude amplification.


title: Quantum critical nematic fluctuations and spin excitation anisotropy in iron pnictides

abstract: Quantum criticality in iron pnictides involves both the nematic and antiferromagnetic degrees of freedom, but the relationship between the two types of fluctuations has yet to be clarified. Here we study this problem in the presence of a small external uniaxial potential, which breaks the $C_4$-symmetry in the B$_{1g}$ sector. We establish an identity that connects the spin excitation anisotropy, which is the difference of the dynamical spin susceptibilities at $\vec{Q}_1=\left(\pi,0\right)$ and $\vec{Q}_2=\left(0,\pi\right)$, with the dynamical magnetic susceptibility and static nematic susceptibility. Using this identity, we introduce a scaling procedure to determine the dynamical nematic susceptibility in the quantum critical regime, and illustrate the procedure for the case of the optimally Ni-doped BaFe$_2$As$_2$[Y. Song \textit{et al.}, Phys. Rev. B 92, 180504 (2015)]. The implications of our results for the overall physics of the iron-based superconductors are discussed.


title: Rapidity-dependent eccentricity scaling in relativistic heavy-ion collisions

abstract: There is a well-established relation between the spatial asymmetry in the initial stage of a heavy-ion collision and the final momentum anisotropy, which allows for a separation of effects from initial conditions vs. later evolution and has proved exceptionally powerful. However, until recently it has only been studied in two dimensions -- either through boost-invariant simulations or studying only quantities at mid-rapidity. We explore an extension to 3 dimensions, in order to determine whether a similar understanding can be obtained for the rapidity dependence of the collision system. In particular, we introduce rapidity-dependent eccentricities and investigate a trivial extension of the 2D eccentricity scaling of elliptic and triangular flow, as well as a way to systematically improve these initial-state estimators. We then explore the dependence of the resulting response coefficients on shear viscosity and initial total energy.


title: Adversarial NLI: A New Benchmark for Natural Language Understanding

abstract: We introduce a new large-scale NLI benchmark dataset, collected via an iterative, adversarial human-and-model-in-the-loop procedure. We show that training models on this new dataset leads to state-of-the-art performance on a variety of popular NLI benchmarks, while posing a more difficult challenge with its new test set. Our analysis sheds light on the shortcomings of current state-of-the-art models, and shows that non-expert annotators are successful at finding their weaknesses. The data collection method can be applied in a never-ending learning scenario, becoming a moving target for NLU, rather than a static benchmark that will quickly saturate.


title: The Topology of Surface Singularities

abstract: The paper contains a description of the links of complex surface germ.


title: Quantum trajectory theory of few photon cavity-QED systems with a time-delayed coherent feedback

abstract: We describe an efficient approach to modelling cavity quantum electrodynamics (QED) with a time-delayed coherent feedback using quantum trajectory simulations. An analytical set of equations is derived to exploit the advantages of trajectories in the presence of the non-Markovian dynamics, where adjustments to the standard stochastic dynamics are discussed. In the weak excitation regime, we first verify that our approach recovers known results obtained with other simulation methods and demonstrate how a coherent feedback loop can increase the photon lifetime in typical cavity-QED systems. We then explore the nonlinear few-photon regime of cavity-QED, under the restriction of at most one photon at a time in the feedback loop. In particular, we show how feedback affects the cavity photoluminescence (populations versus laser detuning), and describe how one must account for conditioning in the presence of feedback, specifically the system observables must be conditioned on no photon detections at the feedback output channel occurring.


title: Stratified noncommutative geometry

abstract: We introduce a theory of stratifications of noncommutative stacks (i.e. presentable stable $\infty$-categories), and we prove a reconstruction theorem that expresses them in terms of their strata and gluing data. This reconstruction theorem is compatible with symmetric monoidal structures, and with more general operadic structures such as $E_n$-monoidal structures. We also provide a suite of fundamental operations for constructing new stratifications from old ones: restriction, pullback, quotient, pushforward, and refinement. Moreover, we establish a dual form of reconstruction; this is closely related to Verdier duality and reflection functors, and gives a categorification of M\"obius inversion. Our main application is to equivariant stable homotopy theory: for any compact Lie group $G$, we give a symmetric monoidal stratification of genuine $G$-spectra. In the case that $G$ is finite, this expresses genuine $G$-spectra in terms of their geometric fixedpoints (as homotopy-equivariant spectra) and gluing data therebetween (which are given by proper Tate constructions). We also prove an adelic reconstruction theorem; this applies not just to ordinary schemes but in the more general context of tensor-triangular geometry, where we obtain a symmetric monoidal stratification over the Balmer spectrum. We discuss the particular example of chromatic homotopy theory.


title: On Games and Computation

abstract: We introduce and investigate a range of general notions of a game. Our principal notion is based on a set of agents modifying a relational structure in a discrete evolution sequence. We also introduce and study a variety of ways to model partial and erroneous information in the setting. We discuss the connection of the related general setting to logic and computation formalisms, with emphasis on the recently introduced Turing-complete logic based on game-theoretic semantics.


title: A Lyapunov-like Characterization of Predefined-Time Stability

abstract: This technical note studies Lyapunov-like conditions to ensure a class of dynamical systems to exhibit predefined-time stability. The origin of a dynamical system is predefined-time stable if it is fixed-time stable and an upper bound of the settling-time function can be arbitrarily chosen a priori through a suitable selection of the system parameters. We show that the studied Lyapunov-like conditions allow to demonstrate equivalence between previous Lyapunov theorems for predefined-time stability for autonomous systems. Moreover, the obtained Lyapunov-like theorem is extended for analyzing the property of predefined-time ultimate boundedness with predefined bound, which is useful when analyzing uncertain dynamical systems. Therefore, the proposed results constitute a general framework for analyzing predefined-time stability, and they also unify a broad class of systems which present the predefined-time stability property. On the other hand, the proposed framework is used to design robust controllers for affine control systems, which induce predefined-time stability (predefined-time ultimate boundedness of the solutions) w.r.t. to some desired manifold. A simulation example is presented to show the behavior of a developed controller, especially regarding the settling time estimation.


title: Metallicity Structure in the Milky Way Disk Revealed by Galactic HII Regions

abstract: The metallicity structure of the Milky Way disk stems from the chemodynamical evolutionary history of the Galaxy. We use the National Radio Astronomy Observatory Karl G. Jansky Very Large Array to observe ~8-10 GHz hydrogen radio recombination line and radio continuum emission toward 82 Galactic HII regions. We use these data to derive the electron temperatures and metallicities for these nebulae. Since collisionally excited lines from metals (e.g., oxygen, nitrogen) are the dominant cooling mechanism in HII regions, the nebular metallicity can be inferred from the electron temperature. Including previous single dish studies, there are now 167 nebulae with radio-determined electron temperature and either parallax or kinematic distance determinations. The interferometric electron temperatures are systematically 10% larger than those found in previous single dish studies, likely due to incorrect data analysis strategies, optical depth effects, and/or the observation of different gas by the interferometer. By combining the interferometer and single dish samples, we find an oxygen abundance gradient across the Milky Way disk with a slope of -0.052 +/- 0.004 dex/kpc. We also find significant azimuthal structure in the metallicity distribution. The slope of the oxygen gradient varies by a factor of ~2 when Galactocentric azimuths near 30 deg are compared with those near 100 deg. This azimuthal structure is consistent with simulations of Galactic chemodynamical evolution influenced by spiral arms.


title: Non-Hermitian topological phase transitions for quantum spin Hall insulators

abstract: The interplay between non-Hermiticity and topology opens an exciting avenue for engineering novel topological matter with unprecedented properties. While previous studies have mainly focused on one-dimensional systems or Chern insulators, here we investigate topological phase transitions to/from quantum spin Hall (QSH) insulators driven by non-Hermiticity. We show that a trivial to QSH insulator phase transition can be induced by solely varying non-Hermitian terms, and there exists exceptional edge arcs in QSH phases. We establish two topological invariants for characterizing the non-Hermitian phase transitions: i) with time-reversal symmetry, the biorthogonal $\mathbb{Z}_2$ invariant based on non-Hermitian Wilson loops, and ii) without time-reversal symmetry, a biorthogonal spin Chern number through biorthogonal decompositions of the Bloch bundle of the occupied bands. These topological invariants can be applied to a wide class of non-Hermitian topological phases beyond Chern classes, and provides a powerful tool for exploring novel non-Hermitian topological matter and their device applications.


title: Realization of metallic state in 1T-TaS2 with persisting long-range order of charge density wave

abstract: Metallization of 1T-TaS2 is generally initiated at the domain boundary of charge density wave (CDW), at the expense of its long-range order. However, we demonstrate in this study that the metallization of 1T-TaS2 can be also realized without breaking the long-range CDW order upon surface alkali doping. By using scanning tunneling microscopy, we find the long-range CDW order is always persisting, and the metallization is instead associated with additional in-gap excitations. Interestingly, the in-gap excitation is near the top of the lower Hubbard band, in contrast to a conventional electron-doped Mott insulator where it is beneath the upper Hubbard band. In combination with the numerical calculations, we suggest that the appearance of the in-gap excitations near the lower Hubbard band is mainly due to the effectively reduced on-site Coulomb energy by the adsorbed alkali ions.


title: Strict algebraic models for rational parametrised spectra I

abstract: Building on Quillen's rational homotopy theory, we obtain algebraic models for the rational homotopy theory of parametrised spectra. For any simply-connected space $X$ there is a dg Lie algebra $\Lambda_X$ and a (coassociative cocommutative) dg coalgebra $C_X$ that model the rational homotopy type. In this article, we prove that the rational homotopy type of an $X$-parametrised spectrum is completely encoded by a $\Lambda_X$-representation and also by a $C_X$-comodule. The correspondence between rational parametrised spectra and algebraic data is obtained by means of symmetric monoidal equivalences of homotopy categories that vary pseudofunctorially in the simply-connected parameter space $X$. Our results establish a comprehensive dictionary enabling the translation of topological constructions into homological algebra using Lie representations and comodules, and conversely. For example, the fibrewise smash product of parametrised spectra is encoded by the derived tensor product of dg Lie representations and also by the derived cotensor product of dg comodules. As an application, we obtain algebraic descriptions of rational homotopy classes of fibrewise stable maps, providing new tools for the study of spaces of sections.


title: Can adversarial training learn image captioning ?

abstract: Recently, generative adversarial networks (GAN) have gathered a lot of interest. Their efficiency in generating unseen samples of high quality, especially images, has improved over the years. In the field of Natural Language Generation (NLG), the use of the adversarial setting to generate meaningful sentences has shown to be difficult for two reasons: the lack of existing architectures to produce realistic sentences and the lack of evaluation tools. In this paper, we propose an adversarial architecture related to the conditional GAN (cGAN) that generates sentences according to a given image (also called image captioning). This attempt is the first that uses no pre-training or reinforcement methods. We also explain why our experiment settings can be safely evaluated and interpreted for further works.


title: A Survey of Adwords Problem With Small Bids In a Primal-dual Setting: Greedy Algorithm, Ranking Algorithm and Primal-dual Training-based Algorithm

abstract: The Adwords problem has always been an interesting internet advertising problem. There are many ways to solve the Adwords problem with the adversarial order model, including the Greedy Algorithm, the Balance Algorithm, and the Scale-bid Algorithm, which is also known as MSVV. In this survey, I will review the Adwords problem with different input models under a primal-dual setting, and with the small-bid assumption. In the first section, I will focus on Adwords with adversarial order model, and use duality to prove the efficiency of the Greedy Algorithm and the MSVV algorithm. Next, I will look at a primal-dual training-based algorithm for the Adwords problem with the IID model.


title: Exact and efficient calculation of derivatives of Lagrange multipliers for molecular dynamic simulations of biological molecules

abstract: In the simulation of biological molecules, it is customary to impose constraints on the fastest degrees of freedom to increase the time step. The evaluation of the involved constraint forces must be performed in an efficient manner, for otherwise it would be a bottleneck in the calculations; for this reason, linearly-scaling calculation methods have become widely used. If integrators of order higher than 2 (e.g. Gear predictor-corrector methods) are used to find the trajectories of atoms, the derivatives of the forces on atoms with respect to the time also need to be calculated, which includes the derivatives of constraint forces. In this letter we prove that such calculation can be analytically performed with linearly scaling numerical complexity (O(Nc), being Nc the number of constraints). This ensures the feasibility of constrained molecular dynamics calculations with high-order integrators.


title: All-loop Mondrian Reduction of 4-particle Amplituhedron at Positive Infinity

abstract: This article introduces a systematic framework to understand (not to derive yet) the all-loop 4-particle amplituhedron in planar N=4 SYM, utilizing both positivity and the Mondrian diagrammatics. Its key idea is the simplest one so far: we can decouple one or more sets of loop variables (x,y,z,w) from the rest by just setting these variables to either zero or infinity so that their relevant positivity conditions are trivialized, then the all-loop consistency requires that we get lower loop amplituhedra as "residues". These decoupling relations connect higher loop DCI integrals with the lower ones, enabling us to identify their coefficients starting from the 3-loop case. And surprisingly, the delicate mechanism of this process is the simple Mondrian rule D=X+Y, which forces those visually non-Mondrian DCI integrals to have the correct coefficients such that the amplituhedron can exactly reduce to the lower loop one. Examples cover all DCI integrals at L=3,4,5,6, especially, the subtle 6-loop coefficients +2 and 0 are neatly explained in this way.


title: Neural Assistant: Joint Action Prediction, Response Generation, and Latent Knowledge Reasoning

abstract: Task-oriented dialog presents a difficult challenge encompassing multiple problems including multi-turn language understanding and generation, knowledge retrieval and reasoning, and action prediction. Modern dialog systems typically begin by converting conversation history to a symbolic object referred to as belief state by using supervised learning. The belief state is then used to reason on an external knowledge source whose result along with the conversation history is used in action prediction and response generation tasks independently. Such a pipeline of individually optimized components not only makes the development process cumbersome but also makes it non-trivial to leverage session-level user reinforcement signals. In this paper, we develop Neural Assistant: a single neural network model that takes conversation history and an external knowledge source as input and jointly produces both text response and action to be taken by the system as output. The model learns to reason on the provided knowledge source with weak supervision signal coming from the text generation and the action prediction tasks, hence removing the need for belief state annotations. In the MultiWOZ dataset, we study the effect of distant supervision, and the size of knowledge base on model performance. We find that the Neural Assistant without belief states is able to incorporate external knowledge information achieving higher factual accuracy scores compared to Transformer. In settings comparable to reported baseline systems, Neural Assistant when provided with oracle belief state significantly improves language generation performance.


title: Selecting Reliable Blockchain Peers via Hybrid Blockchain Reliability Prediction

abstract: Blockchain and blockchain-based decentralized applications are attracting increasing attentions recently. In public blockchain systems, users usually connect to third-party peers or run a peer to join the P2P blockchain network. However, connecting to unreliable blockchain peers will make users waste resources and even lose millions of dollars of cryptocurrencies. In order to select the reliable blockchain peers, it is urgently needed to evaluate and predict the reliability of them. Faced with this problem, we propose H-BRP, Hybrid Blockchain Reliability Prediction model to extract the blockchain reliability factors then make personalized prediction for each user. Large-scale real-world experiments are conducted on 100 blockchain requesters and 200 blockchain peers. The implement and dataset of 2,000,000 test cases are released. The experimental results show that the proposed model obtains better accuracy than other approaches.


title: Fast and Accurate Computation of Vertical Modes

abstract: The vertical modes of linearized equations of motion are widely used by the oceanographic community in numerous theoretical and observational contexts. However, the standard approach for solving the generalized eigenvalue problem using second-order finite difference matrices produces $O(1)$ errors for all but the few lowest modes, and increasing resolution quickly becomes too slow as the computational complexity of eigenvalue algorithms increase as $O(n^3)$. Existing methods are therefore inadequate for computing a full spectrum of internal waves, such as needed for initializing a numerical model with a full internal wave spectrum. Here we show that rewriting the eigenvalue problem in stretched coordinates and projecting onto Chebyshev polynomials results in substantially more accurate modes than finite-differencing at a fraction of the computational cost. We also compute the surface quasigeostrophic modes using the same methods. All spectral and finite difference algorithms are made available in a suite of Matlab classes that have been validated against known analytical solutions in constant and exponential stratification.


title: Mixing of Stochastic Accelerated Gradient Descent

abstract: We study the mixing properties for stochastic accelerated gradient descent (SAGD) on least-squares regression. First, we show that stochastic gradient descent (SGD) and SAGD are simulating the same invariant distribution. Motivated by this, we then establish mixing rate for SAGD-iterates and compare it with those of SGD-iterates. Theoretically, we prove that the chain of SAGD iterates is geometrically ergodic --using a proper choice of parameters and under regularity assumptions on the input distribution. More specifically, we derive an explicit mixing rate depending on the first 4 moments of the data distribution. By means of illustrative examples, we prove that SAGD-iterate chain mixes faster than the chain of iterates obtained by SGD. Furthermore, we highlight applications of the established mixing rate in the convergence analysis of SAGD on realizable objectives. The proposed analysis is based on a novel non-asymptotic analysis of products of random matrices. This theoretical result is substantiated and validated by experiments.


title: Four-point functions in large $N$ Chern-Simons fermionic theories

abstract: We compute all four-point functions involving the operators $J_0$ and $J_1$ in large-$N$ Chern-Simons fermionic theories, in the regime where all external momenta lie along the $z$-axis. We find that our result for $\langle J_0 J_0 J_0 J_0 \rangle$ agrees with previous computations, and that the other correlators fall in line with expectations from bootstrap arguments.


title: Blast-wave description of $\Upsilon$ elliptic flow at energies available at the CERN Large Hadron Collider

abstract: A simultaneous blast-wave fit to particle yields and elliptic flow ($v_{2}$) measured as a function of transverse momentum in Pb-Pb collisions at LHC energies is presented. A compact formula for the calculation of $v_2(p_T)$ for an elliptic freeze-out surface is used which follows from the Cooper-Frye ansatz without further assumptions. Over the full available $p_T$ range, the $\Upsilon$ elliptic flow data is described by the prediction based on the fit to lighter particles. This prediction shows that, due to the large $\Upsilon$ mass, a sizable elliptic flow is only expected at transverse momenta above 10 GeV/$c$.


title: Reductions for Safety Proofs (Extended Version)

abstract: Program reductions are used widely to simplify reasoning about the correctness of concurrent and distributed programs. In this paper, we propose a general approach to proof simplification of concurrent programs based on exploring generic classes of reductions. We introduce two classes of sound program reductions, study their theoretical properties, show how they can be effectively used in algorithmic verification, and demonstrate that they are very effective in producing proofs of a diverse class of programs without targeting specific syntactic properties of these programs. The most novel contribution of this paper is the introduction of the concept of context in the definition of program reductions. We demonstrate how commutativity of program steps in some program contexts can be used to define a generic class of sound reductions which can be used to automatically produce proofs for programs whose complete Floyd-Hoare style proofs are theoretically beyond the reach of automated verification technology of today.


title: Machine Learning for Parameter Auto-tuning in Molecular Dynamics Simulations: Efficient Dynamics of Ions near Polarizable Nanoparticles

abstract: Simulating the dynamics of ions near polarizable nanoparticles (NPs) using coarse-grained models is extremely challenging due to the need to solve the Poisson equation at every simulation timestep. Recently, a molecular dynamics (MD) method based on a dynamical optimization framework bypassed this obstacle by representing the polarization charge density as virtual dynamic variables, and evolving them in parallel with the physical dynamics of ions. We highlight the computational gains accessible with the integration of machine learning (ML) methods for parameter prediction in MD simulations by demonstrating how they were realized in MD simulations of ions near polarizable NPs. An artificial neural network based regression model was integrated with MD simulation and predicted the optimal simulation timestep and optimization parameters characterizing the virtual system with $94.3\%$ success. The ML-enabled auto-tuning of parameters generated accurate dynamics of ions for $\approx 10$ million steps while improving the stability of the simulation by over an order of magnitude. The integration of ML-enhanced framework with hybrid OpenMP/MPI parallelization techniques reduced the computational time of simulating systems with thousands of ions and induced charges from thousands of hours to tens of hours, yielding a maximum speedup of $\approx 3$ from ML-only acceleration and a maximum speedup of $\approx 600$ from the combination of ML and parallel computing methods. Extraction of ionic structure in concentrated electrolytes near oil-water emulsions demonstrates the success of the method. The approach can be generalized to select optimal parameters in other MD applications and energy minimization problems.


title: Ferromagnetic fluctuations in the Rashba-Hubbard model

abstract: We study the occurrence and the origin of ferromagnetic fluctuations in the longitudinal spin susceptibility of the $t$-$t'$-Rashba-Hubbard model on the square lattice. The combined effect of the second-neighbor hopping $t'$ and the spin-orbit coupling leads to ferromagnetic fluctuations in a broad filling region. The spin-orbit coupling splits the energy bands, leading to two van Hove fillings, where the sheets of the Fermi surface change their topology. Between these two van Hove fillings the model shows ferromagnetic fluctuations. We find that these ferromagnetic fluctuations originate from interband contributions to the spin susceptibility. These interband contributions only arise if there is one holelike and one electronlike Fermi surface, which is the case for fillings in between the two van Hove fillings. We discuss implications for experimental systems and propose a test on how to identify these types of ferromagnetic fluctuations in experiments.


title: Asymptotics for the nodal components of non-identically distributed monochromatic random waves

abstract: We study monochromatic random waves on $\mathbb{R}^n$ defined by Gaussian variables whose variances tend to zero sufficiently fast. This has the effect that the Fourier transform of the monochromatic wave is an absolutely continuous measure on the sphere with a suitably smooth density, which connects the problem with the scattering regime of monochromatic waves. In this setting, we compute the asymptotic distribution of the nodal components of random monochromatic waves, showing that the number of nodal components contained in a large ball $B_R$ grows asymptotically like $R/\pi$ with probability $p_n>0$, and is bounded uniformly in $R$ with probability $1-p_n$ (which is positive if and only if $n \geq 3$). In the latter case, we show the existence of a unique noncompact nodal component. We also provide an explicit sufficient stability criterion to ascertain when a more general Gaussian probability distribution has the same asymptotic nodal distribution law.


title: Guidelines for reporting single-cell RNA-Seq experiments

abstract: Single-cell RNA-Sequencing (scRNA-Seq) has undergone major technological advances in recent years, enabling the conception of various organism-level cell atlassing projects. With increasing numbers of datasets being deposited in public archives, there is a need to address the challenges of enabling the reproducibility of such data sets. Here, we describe guidelines for a minimum set of metadata to sufficiently describe scRNA-Seq experiments, ensuring reproducibility of data analyses.


title: Polynomial Valuations on Vector Lattices

abstract: We prove that polynomial valuations on vector lattices correspond to orthosymmetric multilinear maps. As a consequence we obtain a concise proof of the equivalence of orthosymmetry and orthogonal additivity.


title: CVD-graphene/graphene flakes dual-films as advanced DSSC counter electrodes

abstract: The use of graphene-based electrodes is burgeoning in a wide range of applications, including solar cells, light emitting diodes, touch screens, field-effect transistors, photodetectors, sensors and energy storage systems. The success of such electrodes strongly depends on the implementation of effective production and processing methods for graphene. In this work, we take advantage of two different graphene production methods to design an advanced, conductive oxide- and platinum-free, graphene-based counter electrode for dye-sensitized solar cells (DSSCs). In particular, we exploit the combination of a graphene film, produced by chemical vapor deposition (CVD) (CVD-graphene), with few-layer graphene (FLG) flakes, produced by liquid phase exfoliation. The CVD-graphene is used as charge collector, while the FLG flakes, deposited atop by spray coating, act as catalyst for the reduction of the electrolyte redox couple (i.e., I3-/I-- and Co+2/+3). The as-produced counter electrodes are tested in both I3-/I-- and Co+2/+3-based semitransparent DSSCs, showing power conversion efficiencies of 2.1% and 5.09%, respectively, under 1 SUN illumination. At 0.1 SUN, Co+2/+3-based DSSCs achieve a power conversion efficiency as high as 6.87%. Our results demonstrate that the electrical, optical, chemical and catalytic properties of graphene-based dual films, designed by combining CVD-graphene and FLG flakes, are effective alternatives to FTO/Pt counter electrodes for DSSCs for both outdoor and indoor applications.


title: Intrinsic axion insulating behavior in antiferromagnetic MnBi$_6$Te$_{10}$

abstract: A striking feature of time reversal symmetry (TRS) protected topological insulators (TIs) is that they are characterized by a half integer quantum Hall effect on the boundary when the surface states are gapped by time reversal breaking perturbations. While time reversal symmetry (TRS) protected TIs have become increasingly under control, magnetic analogs are still largely unexplored territories with novel rich structures. In particular, topological magnetic insulators can also host a quantized axion term in the presence of lattice symmetries. Since these symmetries are naturally broken on the boundary, the surface states can develop a gap without external manipulation. In this work, we combine theoretical analysis, density functional calculations and experimental evidence to reveal intrinsic axion insulating behavior in MnBi6Te10. The quantized axion term arises from the simplest possible mechanism in the antiferromagnetic regime where it is protected by inversion symmetry and a fractional translation symmetry. The anticipated gapping of the Dirac surface state at the edge is subsequently experimentally established using Angle Resolved Spectroscopy. As a result, this system provides the magnetic analogue of the simplest TRS protected TI with a single, gapped Dirac cone at the surface.


title: An Automatic Design Framework of Swarm Pattern Formation based on Multi-objective Genetic Programming

abstract: Most existing swarm pattern formation methods depend on a predefined gene regulatory network (GRN) structure that requires designers' priori knowledge, which is difficult to adapt to complex and changeable environments. To dynamically adapt to the complex and changeable environments, we propose an automatic design framework of swarm pattern formation based on multi-objective genetic programming. The proposed framework does not need to define the structure of the GRN-based model in advance, and it applies some basic network motifs to automatically structure the GRN-based model. In addition, a multi-objective genetic programming (MOGP) combines with NSGA-II, namely MOGP-NSGA-II, to balance the complexity and accuracy of the GRN-based model. In evolutionary process, an MOGP-NSGA-II and differential evolution (DE) are applied to optimize the structures and parameters of the GRN-based model in parallel. Simulation results demonstrate that the proposed framework can effectively evolve some novel GRN-based models, and these GRN-based models not only have a simpler structure and a better performance, but also are robust to the complex and changeable environments.


title: First measurement of $\Lambda_c$ baryon production in Au+Au collisions at $\sqrt{s_{\rm NN}}$ = 200 GeV

abstract: We report on the first measurement of the charmed baryon $\Lambda_c^{\pm}$ production at midrapidity ($|y|$ $<$ 1) in Au+Au collisions at $\sqrt{s_{NN}}$ = 200 GeV collected by the STAR experiment at the Relativistic Heavy Ion Collider. The $\Lambda_c$/$D^0$ (denoting ($\Lambda_c^++\Lambda_c^-$)/($D^0+\bar{D^0}$)) yield ratio is measured to be 1.08 $\pm$ 0.16 (stat.) $\pm$ 0.26 (sys.) in the 0--20% most central Au+Au collisions for the transverse momentum ($p_T$) range 3 $<$ $p_T$ $<$ 6 GeV/$c$. This is significantly larger than the PYTHIA model calculations for $p+p$ collisions. The measured $\Lambda_c$/$D^0$ ratio, as a function of $p_T$ and collision centrality, is comparable to the baryon-to-meson ratios for light and strange hadrons in Au+Au collisions. Model calculations including coalescence hadronization for charmed baryon and meson formation reproduce the features of our measured $\Lambda_c$/$D^0$ ratio.


title: Primary decomposition in the smooth concordance group of topologically slice knots

abstract: We address primary decomposition conjectures for knot concordance groups, which predict direct sum decompositions into primary parts. We show that the smooth concordance group of topologically slice knots has a large subgroup for which the conjectures are true and there are infinitely many primary parts each of which has infinite rank. This supports the conjectures for topologically slice knots. We also prove analogues for the associated graded groups of the bipolar filtration of topologically slice knots. Among ingredients of the proof, we use amenable $L^2$-signatures, Ozsv\'ath-Szab\'o $d$-invariants and N\'emethi's result on Heegaard Floer homology of Seifert 3-manifolds. In an appendix, we present a general formulation of the notion of primary decomposition.


title: Improving estimates for discrete polynomial averages

abstract: For a polynomial $P$ mapping the integers into the integers, define an averaging operator $A_{N} f(x):=\frac{1}{N}\sum_{k=1}^N f(x+P(k))$ acting on functions on the integers. We prove sufficient conditions for the $\ell^{p}$-improving inequality \begin{equation*} \|A_N f\|_{\ell^q(\mathbb{Z})} \lesssim_{P,p,q} N^{-d(\frac{1}{p}-\frac{1}{q})} \|f\|_{\ell^p(\mathbb{Z})}, \qquad N \in\mathbb{N}, \end{equation*} where $1\leq p \leq q \leq \infty$. For a range of quadratic polynomials, the inequalities established are sharp, up to the boundary of the allowed pairs of $(p,q)$. For degree three and higher, the inequalities are close to being sharp. In the quadratic case, we appeal to discrete fractional integrals as studied by Stein and Wainger. In the higher degree case, we appeal to the Vinogradov Mean Value Theorem, recently established by Bourgain, Demeter, and Guth.


title: Roots of descent polynomials and an algebraic inequality on hook lengths

abstract: We prove a conjecture by Diaz-Lopez et al. that bounds the roots of descent polynomials. To do so, we prove an algebraic inequality, which we refer to as the "Slice and Push Inequality." This inequality compares expressions that come from Naruse's hook-length formula for the number of standard Young tableaux of a skew shape.


title: Multiplicative noise in Bayesian inverse problems: Well-posedness and consistency of MAP estimators

abstract: Multiplicative noise arises in inverse problems when, for example, uncertainty on measurements is proportional to the size of the measurement itself. The likelihood that arises is hence more complicated than that from additive noise. We consider two multiplicative noise models: purely multiplicative noise, and a mixture of multiplicative noise and additive noise. Adopting a Bayesian approach, we provide conditions for the resulting posterior distributions on Banach space to be continuous with respect to perturbations in the data; the inclusion of additive noise in addition to multiplicative noise acts as a form of regularization, allowing for milder conditions on the forward map. Additionally, we show that MAP estimators exist for both the purely multiplicative and mixed noise models when a Gaussian prior is employed, and for the latter prove that they are consistent in the small noise limit when all noise is Gaussian.


title: On restricted divisor sums associated to the Chowla-Walum conjecture

abstract: We first study the mean value of certain restricted divisor sums involving the Chowla-Walum sums, improving in particular a recent estimate given by Iannucci. The aim of the second part of this work is the generalization of the previous study, by restricting the range of the divisors in the studied divisor sums, extending the Chowla-Walum conjecture, proving a small part of this extended conjecture and generalizing the asymptotic formulas previously obtained in the first part.


title: Denoising and Regularization via Exploiting the Structural Bias of Convolutional Generators

abstract: Convolutional Neural Networks (CNNs) have emerged as highly successful tools for image generation, recovery, and restoration. A major contributing factor to this success is that convolutional networks impose strong prior assumptions about natural images. A surprising experiment that highlights this architectural bias towards natural images is that one can remove noise and corruptions from a natural image without using any training data, by simply fitting (via gradient descent) a randomly initialized, over-parameterized convolutional generator to the corrupted image. While this over-parameterized network can fit the corrupted image perfectly, surprisingly after a few iterations of gradient descent it generates an almost uncorrupted image. This intriguing phenomenon enables state-of-the-art CNN-based denoising and regularization of other inverse problems. In this paper, we attribute this effect to a particular architectural choice of convolutional networks, namely convolutions with fixed interpolating filters. We then formally characterize the dynamics of fitting a two-layer convolutional generator to a noisy signal and prove that early-stopped gradient descent denoises/regularizes. Our proof relies on showing that convolutional generators fit the structured part of an image significantly faster than the corrupted portion.


title: On viscosity and equivalent notions of solutions for anisotropic geometric equations

abstract: We prove that viscosity solutions of geometric equations in step two Carnot groups can be equivalently reformulated by restricting the set of test functions at the singular points. These are characteristic points for the level sets of the solutions and are usually difficult to deal with. A similar property is known in the euclidian space, and in Carnot groups is based on appropriate properties of a suitable homogeneous norm. We also use this idea to extend to Carnot groups the definition of generalised flow, and it works similarly to the euclidian setting. These results simplify the handling of the singularities of the equation, for instance to study the asymptotic behaviour of singular limits of reaction diffusion equations. We provide examples of using the simplified definition, showing for instance that boundaries of strictly convex subsets in the Carnot group structure become extinct in finite time when subject to the horizontal mean curvature flow even if characteristic points are present.


title: Highly nonlinear trion-polaritons in a monolayer semiconductor

abstract: Highly nonlinear optical materials with strong effective photon-photon interactions (Kerr-like nonlinearity) are required in the development of novel quantum sources of light as well as for ultrafast and quantum optical signal processing circuitry. Here we report very large Kerr-like nonlinearities by employing strong optical transitions of charged excitons (trions) observed in semiconducting transition metal dichalcogenides (TMDCs). By hybridising trions in monolayer MoSe$_2$ at low electron densities with a microcavity mode, we realise trion-polaritons exhibiting significant energy shifts at very small photon fluxes due to phase space filling. Most notably, the strong trion-polariton nonlinearity is found to be 10 to 1000 larger than in other polariton systems, including neutral exciton-polaritons in TMDCs. Furthermore it exceeds by factors of $\sim 10^3-10^5$ the magnitude of Kerr nonlinearity in bare TMDCs, graphene and other widely used optical materials (e.g. Si, AlGaAs etc) in weak light-matter coupling regimes. The results are in good agreement with a theory which accounts for the composite nature of excitons and trions and deviation of their statistics from that of ideal bosons and fermions. This work opens a new highly nonlinear system for quantum optics applications enabling in principle scalability and control through nano-engineering of van der Waals heterostructures.


title: On the Existence of Solutions with a Horizon in Pure Scalar-Gauss-Bonnet Theories

abstract: We consider the Einstein-scalar-Gauss-Bonnet theory and assume that, at regimes of large curvature, the Ricci scalar may be ignored compared to the quadratic Gauss-Bonnet term. We then look for static, spherically-symmetric, regular black-hole solutions with a non-trivial scalar field. Despite the use of a general form of the spacetime line-element, no black-hole solutions are found. In contrast, solutions that resemble irregular particle-like solutions or completely regular gravitational solutions with a finite energy-momentum tensor do emerge. In addition, in the presence of a cosmological constant, solutions with a horizon also emerge, however, the latter corresponds to a cosmological rather than to a black-hole horizon. It is found that, whereas the Ricci term works towards the formation of the positively-curved topology of a black-hole horizon, the Gauss-Bonnet term exerts a repulsive force that hinders the formation of the black hole. Therefore, a pure scalar-Gauss-Bonnet theory cannot sustain any black-hole solutions. However, it could give rise to interesting cosmological or particle-like solutions where the Ricci scalar plays a less fundamental role.


title: A poset metric from the directed maximum common edge subgraph

abstract: We study the directed maximum common edge subgraph problem (DMCES) for the class of directed graphs that are finite, weakly connected, oriented, and simple. We use DMCES to define a metric on partially ordered sets that can be represented as weakly connected directed acyclic graphs. While most existing metrics assume that the underlying sets of the partial order are identical, and only the relationships between elements can differ, the metric defined here allows the partially ordered sets to be different. The proof that there is a metric based on DMCES involves the extension of the concept of line digraphs. Although this extension can be used to compute the metric by a reduction to the maximum clique problem, it is computationally feasible only for sparse graphs. We provide an alternative techniques for computing the metric for directed graphs that have the additional property of being transitively closed.


title: Smooth representations of unit groups of split basic algebras over non-Archimedean local fields

abstract: We consider smooth representations of the unit group $G = \mathcal{A}^{\times}$ of a finite-dimensional split basic algebra $\mathcal{A}$ over a non-Archimedean local field. In particular, we prove a version of Gutkin's conjecture, namely, we prove that every irreducible smooth representation of $G$ is compactly induced by a one-dimensional representation of the unit group of some subalgebra of $\mathcal{A}$. We also discuss admissibility and unitarisability of smooth representations of G.


title: Finite and infinite Euler products of Ramanujan expansions

abstract: All the $F:$N$\rightarrow $C having Ramanujan expansion $F(a)=\sum_{q=1}^{\infty}G(q)c_q(a)$ (here $c_q(a)$ is the Ramanujan sum) pointwise converging in $a\in $N, with $G:$N$\rightarrow $C a multiplicative function, may be factored into two Ramanujan expansions, one of which is a finite Euler product : details in our Main Theorem. This is a general result, with unexpected and useful consequences, esp., for the Ramanujan expansion of null-function, say 0. The Main Theorem doesn't require other analytic assumptions, as pointwise convergence suffices; this depends on a general property of Euler $p-$factors (the factors in Euler products) for the general term $G(q)c_q(a)$; namely, once fixed $a\in $N (and prime $p$), the $p-$Euler factor of $G(q)c_q(a)$ (involving all $p-$powers) has a finite number of non-vanishing terms (depending on $a$) : see our Main Lemma. In case we also add some other hypotheses, like the absolute convergence, we get more classical Euler products: the infinite ones. For the Ramanujan expansion of 0 this strong hypothesis makes the class of 0 Ramanujan coefficients much smaller; also excluding Ramanujan's $G(q)=1/q$ and Hardy's $G(q)=1/\varphi(q)$ ($\varphi$ is Euler's totient function). Our Main Theorem, instead, suffices to classify all the multiplicative Ramanujan coefficients for 0, so we also announce and (partially) prove this Classification.


title: Electronically driven collapse of the bulk modulus in $\delta$-plutonium

abstract: Plutonium metal exhibits an anomalously large softening of its bulk modulus at elevated temperatures that is made all the more extraordinary by the finding that it occurs irrespective of whether the thermal expansion coefficient is positive, negative or zero --- representing an extreme departure from conventional Gr\"{u}neisen scaling. We show here that the cause of this softening is the compressibility of plutonium's thermally excited electronic configurations, which has thus far not been considered in thermodynamic models. We show that when compressible electronic configurations are thermally activated, they invariably give rise to a softening of bulk modulus regardless of the sign their contribution to the thermal expansion. The electronically driven softening of the bulk modulus is shown to be in good agreement with elastic moduli measurements performed on the gallium-stabilized $\delta$ phase of plutonium over a range of temperatures and compositions, and is shown to grow rapidly at small concentrations of gallium and at high temperatures, where it becomes extremely sensitive to hydrostatic pressure.


title: Very early warning signal for El Ni\~no in 2020 with a 4 in 5 likelihood

abstract: The El Ni\~no Southern Oscillation (ENSO) is the most important driver of climate variability and can trigger extreme weather events and disasters in various parts of the globe. Recently we have developed a network approach, which allows forecasting an El Ni\~no event about 1 year ahead. Here we communicate that since 2012 this network approach, which does not involve any fit parameter, correctly predicted the absence of El Ni\~no events in 2012, 2013 and 2017 as well as the onset of the large El Ni\~no event that started in 2014 and ended in 2016. Our model also correctly forecasted the onset of the last El Ni\~no event in 2018. In September 2019, the model indicated the return of El Ni\~no in 2020 with an 80% probability.


title: On the behavior of the free boundary for a one-phase Bernoulli problem with mixed boundary conditions

abstract: This paper is concerned with the study of the behavior of the free boundary for a class of solutions to a one-phase Bernoulli free boundary problem with mixed periodic-Dirichlet boundary conditions. It is shown that if the free boundary of a symmetric local minimizer approaches the point where the two different conditions meet, then it must do so at an angle of $\pi/2$


title: Reducing qubit requirements for quantum simulation using molecular point group symmetries

abstract: Simulating molecules is believed to be one of the early-stage applications for quantum computers. Current state-of-the-art quantum computers are limited in size and coherence, therefore optimizing resources to execute quantum algorithms is crucial. In this work, we develop the second quantization representation of the spatial-symmetries which are then transformed to their qubit operator representation. These qubit operator representations are used to reduce the number of qubits required for simulating molecules. We present our results for various molecules and elucidate a formal connection of this work with a previous technique that analyzed generic $Z_2$ Pauli symmetries.


title: Non-uniform growth and surface friction determine bacterial biofilm morphology on soft substrates

abstract: During development, organisms acquire three-dimensional shapes with important physiological consequences. While the basic mechanisms underlying morphogenesis are known in eukaryotes, it is often difficult to manipulate them in vivo. To circumvent this issue, here we present a study of developing Vibrio cholerae biofilms grown on agar substrates in which the spatiotemporal morphological patterns were altered by varying the agar concentration. Expanding biofilms are initially flat, but later experience a mechanical instability and become wrinkled. Whereas the peripheral region develops ordered radial stripes, the central region acquires a zigzag herringbone-like wrinkle pattern. Depending on the agar concentration, the wrinkles initially appear either in the peripheral region and propagate inward (low agar concentration) or in the central region and propagate outward (high agar concentration). To understand these experimental observations, we developed a model that considers diffusion of nutrients and their uptake by bacteria, bacterial growth/biofilm matrix production, mechanical deformation of both the biofilm and the agar, and the friction between them. Our model demonstrates that depletion of nutrients beneath the central region of the biofilm results in radially-dependent growth profiles, which in turn, produce anisotropic stresses that dictate the morphology of wrinkles. Furthermore, we predict that increasing surface friction (agar concentration) reduces stress anisotropy and shifts the location of the maximum compressive stress, where the wrinkling instability first occurs, toward the center of the biofilm, in agreement with our experimental observations. Our results are broadly applicable to bacterial biofilms with similar morphologies and also provide insight into how other bacterial biofilms form distinct wrinkle patterns.


title: Computational pseudorandomness, the wormhole growth paradox, and constraints on the AdS/CFT duality

abstract: A fundamental issue in the AdS/CFT correspondence is the wormhole growth paradox. Susskind's conjectured resolution of the paradox was to equate the volume of the wormhole with the circuit complexity of its dual quantum state in the CFT. We study the ramifications of this conjecture from a complexity-theoretic perspective. Specifically we give evidence for the existence of computationally pseudorandom states in the CFT, and argue that wormhole volume is measureable in a non-physical but computational sense, by amalgamating the experiences of multiple observers in the wormhole. In other words the conjecture equates a quantity which is difficult to compute with one which is easy to compute. The pseudorandomness argument further implies that this is a necessary feature of any resolution of the wormhole growth paradox, not just of Susskind's Complexity=Volume conjecture. As a corollary we conclude that either the AdS/CFT dictionary map must be exponentially complex, or the quantum Extended Church-Turing thesis must be false in quantum gravity.


title: Horvitz-Thompson-like estimation with distance-based detection probabilities for circular plot sampling of forests

abstract: In circular plot sampling, trees within a given distance from the sample plot location constitute a sample, which is used to infer characteristics of interest for the forest area. If the sample is collected using a technical device located at the sampling point, e.g. a terrestrial laser scanner, all trees of the sample plot cannot be observed because they hide behind each other. We propose a Horvitz-Thompson-like estimator with distance-based detection probabilities derived from stochastic geometry for estimation of population totals such as stem density and basal area in such situation. We show that our estimator is unbiased for Poisson forests and give estimates of variance and approximate confidence intervals for the estimator, unlike any previous methods. We compare the estimator to two previously published benchmark methods. The comparison is done through a simulation study where several plots are simulated either from field measured data or different marked point processes. The simulations show that the estimator produces lower or comparable error values than the other methods. In the sample plots based on the field measured data the bias is relatively small - relative mean of errors for stem density, for example, varying from 0.3 to 2.2 per cent, depending on the detection condition - and the empirical coverage probabilities of the approximate confidence intervals are either similar to the nominal levels or conservative.


title: Age-Based Scheduling Policy for Federated Learning in Mobile Edge Networks

abstract: Federated learning (FL) is a machine learning model that preserves data privacy in the training process. Specifically, FL brings the model directly to the user equipments (UEs) for local training, where an edge server periodically collects the trained parameters to produce an improved model and sends it back to the UEs. However, since communication usually occurs through a limited spectrum, only a portion of the UEs can update their parameters upon each global aggregation. As such, new scheduling algorithms have to be engineered to facilitate the full implementation of FL. In this paper, based on a metric termed the age of update (AoU), we propose a scheduling policy by jointly accounting for the staleness of the received parameters and the instantaneous channel qualities to improve the running efficiency of FL. The proposed algorithm has low complexity and its effectiveness is demonstrated by Monte Carol simulations.


title: Disk galaxies and their dark halos as self-organized patterns

abstract: Galaxies are built by complex physical processes with significant inherent stochasticity. It is therefore surprising that the inferred dark matter distributions in galaxies are strongly correlated with the observed baryon distributions leading to various `Baryon-Halo conspiracies'. The fact that no dark matter candidate has been definitively identified invites a search for alternative explanations for such correlations and we present an approach motivated by the behaviors of self organized patterns. We propose a nonlocal relativistic Lagrangian theory for a `pattern field' which acts as an `effective dark matter', built on the idea that defects in this pattern field couple to the baryonic matter distribution. Our theory accounts for the gross structure of cold disk galaxies. We compute galactic rotation curves and derive various galaxy scaling relations including Renzo's rule, the radial acceleration relation, and the existence of the Freeman limit for central surface brightness.


title: Generative network complex (GNC) for drug discovery

abstract: It remains a challenging task to generate a vast variety of novel compounds with desirable pharmacological properties. In this work, a generative network complex (GNC) is proposed as a new platform for designing novel compounds, predicting their physical and chemical properties, and selecting potential drug candidates that fulfill various druggable criteria such as binding affinity, solubility, partition coefficient, etc. We combine a SMILES string generator, which consists of an encoder, a drug-property controlled or regulated latent space, and a decoder, with verification deep neural networks, a target-specific three-dimensional (3D) pose generator, and mathematical deep learning networks to generate new compounds, predict their drug properties, construct 3D poses associated with target proteins, and reevaluate druggability, respectively. New compounds were generated in the latent space by either randomized output, controlled output, or optimized output. In our demonstration, 2.08 million and 2.8 million novel compounds are generated respectively for Cathepsin S and BACE targets. These new compounds are very different from the seeds and cover a larger chemical space. For potentially active compounds, their 3D poses are generated using a state-of-the-art method. The resulting 3D complexes are further evaluated for druggability by a championing deep learning algorithm based on algebraic topology, differential geometry, and algebraic graph theories. Performed on supercomputers, the whole process took less than one week. Therefore, our GNC is an efficient new paradigm for discovering new drug candidates.


title: Which Factors Impact Engagement on News Articles on Facebook?

abstract: Social media is increasingly being used as a news-platform. To reach their intended audience, newspapers need for their articles to be well ranked by Facebook's news-feed algorithm. The number of likes, shares and other reactions determine the lead scoring criteria. This paper will try to assess how the reaction volume is impacted by the following criteria: (1) Delay between event and post release; (2) Time of the day the post is published; and (3) Post format: video, photo or text. To isolate the effect of the publication time and post format on a post, we need to control for the news-event and the publishing newspaper. For that end, a news-aggregator is designed and implemented, to group together posts that relate to the same news-event. This tool gave some spin-off results, allowing the ability to map newspapers by similarity and to detect some topic omissions.


title: Exploring cities of Central and Eastern Europe within transnational company networks: the core-periphery effect

abstract: After the Fall of the Berlin Wall, Central Eastern European cities (CEEc) integrated the globalized world, characterized by a core-periphery structure and hierarchical interactions between cities. This article gives evidence of the core-periphery effect on CEEc in 2013 in terms of differentiation of their urban functions after 1989. We investigate the position of all CEEc in transnational company networks in 2013. We examine the orientations of ownership links between firms, the spatial patterns of these networks and the specialization of firms in CEEc involved. The major contribution of this paper consists in giving proof of a core-periphery structure within Central Eastern Europe itself, but also of the diffusion of innovations theory as not only large cities, but also medium-sized and small ones are part of the multinational networks of firms. These findings provide significant insights for the targeting of specific regional policies of the European Union.


title: Tight decomposition of factors and the single generation problem

abstract: A II$_1$ factor $M$ has the {\it stable single generation} ({\it SSG}) property if any amplification $M^t$, $t>0$, can be generated as a von Neumann algebra by a single element. We discuss a conjecture stating that if $M$ is SSG, then $M$ has a {\it tight} decomposition, i.e., there exists a pair of hyperfinite II$_1$ subfactors $R_0, R_1 \subset M$ such that $R_0 \vee R_1^{op}=\Cal B(L^2M)$. We explain why this conjecture is interesting and discuss possible approaches to prove it. We also prove some related results.


title: Comparison of unfolding methods using RooFitUnfold

abstract: In this paper we describe RooFitUnfold, an extension of the RooFit statistical software package to treat unfolding problems, and which includes most of the unfolding methods that commonly used in particle physics. The package provides a common interface to these algorithms as well as common uniform methods to evaluate their performance in terms of bias, variance and coverage. In this paper we exploit this common interface of RooFitUnfold to compare the performance of unfolding with the Richardson-Lucy, Iterative Dynamically Stabilized, Tikhonov, Gaussian Process, Bin-by-bin and inversion methods on several example problems.


title: Enhancing Certifiable Robustness via a Deep Model Ensemble

abstract: We propose an algorithm to enhance certified robustness of a deep model ensemble by optimally weighting each base model. Unlike previous works on using ensembles to empirically improve robustness, our algorithm is based on optimizing a guaranteed robustness certificate of neural networks. Our proposed ensemble framework with certified robustness, RobBoost, formulates the optimal model selection and weighting task as an optimization problem on a lower bound of classification margin, which can be efficiently solved using coordinate descent. Experiments show that our algorithm can form a more robust ensemble than naively averaging all available models using robustly trained MNIST or CIFAR base models. Additionally, our ensemble typically has better accuracy on clean (unperturbed) data. RobBoost allows us to further improve certified robustness and clean accuracy by creating an ensemble of already certified models.


title: On equilibria stability in an epidemiological SIR model with recovery-dependent infection rate

abstract: We consider an epidemiological SIR model with an infection rate depending on the recovered population. We establish sufficient conditions for existence, uniqueness, and stability (local and global) of endemic equilibria and consider also the stability of the disease-free equilibrium. We show that, in contrast with classical SIR models, a system with a recovery-dependent infection rate can have multiple endemic stable equilibria (multistability) and multiple stable and unstable saddle points of equilibria. We establish conditions for the occurrence of these phenomena and illustrate the results with some examples.


title: Stochastic Transport with L\'evy Noise -- Fully Discrete Numerical Approximation

abstract: Semilinear hyperbolic stochastic partial differential equations (SPDEs) find widespread applications in the natural and engineering sciences. However, the traditional Gaussian setting may prove too restrictive, as phenomena in mathematical finance, porous media, and pollution models often exhibit noise of a different nature. To capture temporal discontinuities and accommodate heavy-tailed distributions, Hilbert space-valued L\'evy processes or L\'evy fields are employed as driving noise terms. The numerical discretization of such SPDEs presents several challenges. The low regularity of the solution in space and time leads to slow convergence rates and instability in space/time discretization schemes. Furthermore, the L\'evy process can take values in an infinite-dimensional Hilbert space, necessitating projections onto finite-dimensional subspaces at each discrete time point. Additionally, unbiased sampling from the resulting L\'evy field may not be feasible. In this study, we introduce a novel fully discrete approximation scheme that tackles these difficulties. Our main contribution is a discontinuous Galerkin scheme for spatial approximation, derived naturally from the weak formulation of the SPDE. We establish optimal convergence properties for this approach and combine it with a suitable time stepping scheme to prevent numerical oscillations. Furthermore, we approximate the driving noise process using truncated Karhunen-Lo\`eve expansions. This approximation yields a sum of scaled and uncorrelated one-dimensional L\'evy processes, which can be simulated with controlled bias using Fourier inversion techniques.


title: Spatial polarisation within foreign trade and transnational firms' networks. The Case of Central and Eastern Europe

abstract: After the fall of the Berlin Wall, Central and Eastern Europe were subject to strong polarisation processes. This article proposes examines two neglected aspects regarding the transition period: a comparative static assessment of foreign trade since 1967 until 2012 and a city-centred analysis of transnational companies in 2013. Results show a growing economic differentiation between the North-West and South-East as well as a division between large metropolises and other cities. These findings may complement the targeting of specific regional strategies such as those conceived within the Cohesion policy of the European Union.


title: Masked Language Model Scoring

abstract: Pretrained masked language models (MLMs) require finetuning for most NLP tasks. Instead, we evaluate MLMs out of the box via their pseudo-log-likelihood scores (PLLs), which are computed by masking tokens one by one. We show that PLLs outperform scores from autoregressive language models like GPT-2 in a variety of tasks. By rescoring ASR and NMT hypotheses, RoBERTa reduces an end-to-end LibriSpeech model's WER by 30% relative and adds up to +1.7 BLEU on state-of-the-art baselines for low-resource translation pairs, with further gains from domain adaptation. We attribute this success to PLL's unsupervised expression of linguistic acceptability without a left-to-right bias, greatly improving on scores from GPT-2 (+10 points on island effects, NPI licensing in BLiMP). One can finetune MLMs to give scores without masking, enabling computation in a single inference pass. In all, PLLs and their associated pseudo-perplexities (PPPLs) enable plug-and-play use of the growing number of pretrained MLMs; e.g., we use a single cross-lingual model to rescore translations in multiple languages. We release our library for language model scoring at https://github.com/awslabs/mlm-scoring.