title: Influence of phonon renormalization in Eliashberg theory for superconductivity in 2D and 3D systems

abstract: Eliashberg's foundational theory of superconductivity is based on the application of Migdal's approximation, which states that vertex corrections to first order electron-phonon scattering are negligible if the ratio between phonon and electron energy scales is small. The resulting theory incorporates the first Feynman diagrams for electron and phonon self-energies. However, the latter is most commonly neglected in numerical analyses. Here we provide an extensive study of full-bandwidth Eliashberg theory in two and three dimensions, where we include the full back reaction of electrons onto the phonon spectrum. We unravel the complex interplay between nesting properties, Fermi surface density of states, renormalized electron-phonon coupling, phonon softening, and superconductivity. We propose furthermore a scaling law for the maximally possible critical temperature $T_c^{\textrm{max}}\propto\lambda (\Omega ) \sqrt{\Omega_0^2-\Omega^2}$ in 2D and 3D systems, which embodies both the renormalized electron-phonon coupling strength $\lambda(\Omega)$ and softened phonon spectrum $\Omega$. Also, we analyze for which electronic structure properties a maximal $T_c$ enhancement can be achieved.


title: Specific Effect of Peculiar Velocities on Dark-Energy Constraints from Type Ia Supernovae

abstract: Peculiar velocities of type Ia supernova (SNIa) host galaxies affect the dark-energy parameter constraints in a small but very specific way: the parameters are biased in a single direction in parameter space that is a-priori knowable for a given SNIa dataset. We demonstrate the latter fact with a combination of inference from a cosmological N-body simulation with overwhelming statistics applied to the Pantheon SNIa data set, then confirm it by simple quantitative arguments. We quantify small modifications to the current analyses that would ensure that the effect of cosmological parameters is essentially guaranteed to be negligible.


title: Impact of a split injection strategy on mixing, ignition and combustion behavior in Premixed Charge Compression Ignition combustion

abstract: Mixing, ignition and combustion behavior in a rapid compression and expansion machine operated under Premixed Charge Compression Ignition (PCCI) relevant conditions are investigated by combined passive optical and laser-optical high-speed diagnostics. The PCCI concept is realized using a split injection schedule consisting of a long base load injection and two closely separated short injections near top dead center. Previous studies of close-coupled double injections under constant ambient conditions showed an increased penetration rate of the subsequent fuel spray. However, the aerodynamic gain from the preceding injection is counteracted by the density rise during the compression stroke under transient engine conditions. The study confirms that the rate of mixing of the subsequent fuel spray is significantly increased. Regarding combustion behavior, the thermodynamic analysis exhibits contributions of low temperature oxidation reactions of more than 20 % to the total heat release, with a notable amount of unburnt fuel mass varying from 25 to 61 %. The analysis of the optical data reveals the multi-dimensional impact of changes in operating parameters on the local mixture field and ignition dynamics. The onset of low temperature reactivity of the first short injection is found to be dominated by the operating strategy, while the location is strongly related to the local mixing state. Low temperature ignition of the consecutive fuel spray is significantly promoted, when upstream low temperature reactivity of the preceding injection is sustained. Likewise, it is shown that high temperature ignition is accelerated by the entrainment of persistent upstream low temperature reactivity.


title: Smaller World Models for Reinforcement Learning

abstract: Sample efficiency remains a fundamental issue of reinforcement learning. Model-based algorithms try to make better use of data by simulating the environment with a model. We propose a new neural network architecture for world models based on a vector quantized-variational autoencoder (VQ-VAE) to encode observations and a convolutional LSTM to predict the next embedding indices. A model-free PPO agent is trained purely on simulated experience from the world model. We adopt the setup introduced by Kaiser et al. (2020), which only allows 100K interactions with the real environment. We apply our method on 36 Atari environments and show that we reach comparable performance to their SimPLe algorithm, while our model is significantly smaller.


title: On lattice point counting in $\Delta$-modular polyhedra

abstract: Let a polyhedron $P$ be defined by one of the following ways: (i) $P = \{x \in R^n \colon A x \leq b\}$, where $A \in Z^{(n+k) \times n}$, $b \in Z^{(n+k)}$ and $rank\, A = n$; (ii) $P = \{x \in R_+^n \colon A x = b\}$, where $A \in Z^{k \times n}$, $b \in Z^{k}$ and $rank\, A = k$. And let all rank order minors of $A$ be bounded by $\Delta$ in absolute values. We show that the short rational generating function for the power series $$ \sum\limits_{m \in P \cap Z^n} x^m $$ can be computed with the arithmetic complexity $ O\left(T_{SNF}(d) \cdot d^{k} \cdot d^{\log_2 \Delta}\right), $ where $k$ and $\Delta$ are fixed, $d = \dim P$, and $T_{SNF}(m)$ is the complexity to compute the Smith Normal Form for $m \times m$ integer matrix. In particular, $d = n$ for the case (i) and $d = n-k$ for the case (ii). The simplest examples of polyhedra that meet conditions (i) or (ii) are the simplicies, the subset sum polytope and the knapsack or multidimensional knapsack polytopes. We apply these results to parametric polytopes, and show that the step polynomial representation of the function $c_P(y) = |P_{y} \cap Z^n|$, where $P_{y}$ is parametric polytope, can be computed by a polynomial time even in varying dimension if $P_{y}$ has a close structure to the cases (i) or (ii). As another consequence, we show that the coefficients $e_i(P,m)$ of the Ehrhart quasi-polynomial $$ \left| mP \cap Z^n\right| = \sum\limits_{j = 0}^n e_i(P,m)m^j $$ can be computed by a polynomial time algorithm for fixed $k$ and $\Delta$.


title: Parameterized Reinforcement Learning for Optical System Optimization

abstract: Designing a multi-layer optical system with designated optical characteristics is an inverse design problem in which the resulting design is determined by several discrete and continuous parameters. In particular, we consider three design parameters to describe a multi-layer stack: Each layer's dielectric material and thickness as well as the total number of layers. Such a combination of both, discrete and continuous parameters is a challenging optimization problem that often requires a computationally expensive search for an optimal system design. Hence, most methods merely determine the optimal thicknesses of the system's layers. To incorporate layer material and the total number of layers as well, we propose a method that considers the stacking of consecutive layers as parameterized actions in a Markov decision process. We propose an exponentially transformed reward signal that eases policy optimization and adapt a recent variant of Q-learning for inverse design optimization. We demonstrate that our method outperforms human experts and a naive reinforcement learning algorithm concerning the achieved optical characteristics. Moreover, the learned Q-values contain information about the optical properties of multi-layer optical systems, thereby allowing physical interpretation or what-if analysis.


title: Three-Field Fluid-Structure Interaction by Means of the Variational Multiscale Method

abstract: Three-field Fluid-Structure Interaction (FSI) formulations for fluid and solid are applied and compared to the standard two field-one field formulation for fluid and solid, respectively. Both formulations are applied in a non linear setting for a Newtonian fluid and a neo-Hookean solid in an updated Lagrangian form, both approximated using finite elements and stabilized by means of the Variational Multiscale (VMS) Method to permit the use of arbitrary interpolations. It is shown that this type of coupling leads to a more stable solution. Even though the new formulation poses the necessity of additional degrees of freedom, it is possible to achieve the same degree of accuracy as standard FSI by means of coarser meshes, thus making the method competitive. We enhance the stability of the formulation by assuming that the sub-grid scales of the model evolve through time. Benchmarking of the formulation is carried out. Numerical results are presented for semi-stationary and a fully transient cases for well known benchmarks for 2D and 3D scenarios.


title: Modeling Electrical Motor Dynamics using Encoder-Decoder with Recurrent Skip Connection

abstract: Electrical motors are the most important source of mechanical energy in the industrial world. Their modeling traditionally relies on a physics-based approach, which aims at taking their complex internal dynamics into account. In this paper, we explore the feasibility of modeling the dynamics of an electrical motor by following a data-driven approach, which uses only its inputs and outputs and does not make any assumption on its internal behaviour. We propose a novel encoder-decoder architecture which benefits from recurrent skip connections. We also propose a novel loss function that takes into account the complexity of electrical motor quantities and helps in avoiding model bias. We show that the proposed architecture can achieve a good learning performance on our high-frequency high-variance datasets. Two datasets are considered: the first one is generated using a simulator based on the physics of an induction motor and the second one is recorded from an industrial electrical motor. We benchmark our solution using variants of traditional neural networks like feedforward, convolutional, and recurrent networks. We evaluate various design choices of our architecture and compare it to the baselines. We show the domain adaptation capability of our model to learn dynamics just from simulated data by testing it on the raw sensor data. We finally show the effect of signal complexity on the proposed method ability to model temporal dynamics.


title: AttendLight: Universal Attention-Based Reinforcement Learning Model for Traffic Signal Control

abstract: We propose AttendLight, an end-to-end Reinforcement Learning (RL) algorithm for the problem of traffic signal control. Previous approaches for this problem have the shortcoming that they require training for each new intersection with a different structure or traffic flow distribution. AttendLight solves this issue by training a single, universal model for intersections with any number of roads, lanes, phases (possible signals), and traffic flow. To this end, we propose a deep RL model which incorporates two attention models. The first attention model is introduced to handle different numbers of roads-lanes; and the second attention model is intended for enabling decision-making with any number of phases in an intersection. As a result, our proposed model works for any intersection configuration, as long as a similar configuration is represented in the training set. Experiments were conducted with both synthetic and real-world standard benchmark data-sets. The results we show cover intersections with three or four approaching roads; one-directional/bi-directional roads with one, two, and three lanes; different number of phases; and different traffic flows. We consider two regimes: (i) single-environment training, single-deployment, and (ii) multi-environment training, multi-deployment. AttendLight outperforms both classical and other RL-based approaches on all cases in both regimes.


title: Axion-like particle searches with MeerKAT and SKA

abstract: In the past few years, the search for axion-like particles (ALPs) has grown significantly due to their potential to account for the total abundance of the cold dark matter (CDM) in the universe. The coupling between ALPs and photons allows the spontaneous decay of ALPs into pairs of photons. For ALPs condensed in CDM halos around galaxies, the stimulated decay of ALPs is also possible. In this work, we examine the detectability of the radio emissions produced from this process with forthcoming radio telescopes such as the Square Kilometer Array (SKA) and MeerKAT. Our results, using recent more realistic sensitivity estimates, show that previous non-observation upper-limits projected for the SKA were highly optimistic, with the limits from dwarf galaxy observations being weakened by an order of magnitude at least. Notably, our results also depend far more strongly on ALP mass than previously, due to the inclusion of frequency dependent degradation effects. We show that the strongest potential environment to probe ALPs is nearby radio galaxies (due to the strong photon enhancement factor). In addition, with the use of a visibility taper, ALPs in the mass range of $4.96 \times 10^{-7} \ \text{--} \ 1.04 \times 10^{-4} \ {\rm eV}$ would have non-observation upper limits on the ALP-photon $g_{a\gamma}$ in the range of $1.83 \times 10^{-12} \ \text{--} \ 7.69 \times 10^{-10} \ {\rm GeV}^{-1}$ with SKA. MeerKAT can only produce limits similar to the CAST experiment within 50 hours of observation. Finally, we demonstrate that magnetic conversion of CDM ALPs to photons, in galactic magnetic fields, is highly sub-dominant, even to spontaneous decay.


abstract: Artificial Intelligence (AI) has rapidly emerged as a key disruptive technology in the 21st century. At the heart of modern AI lies Deep Learning (DL), an emerging class of algorithms that has enabled today's platforms and organizations to operate at unprecedented efficiency, effectiveness, and scale. Despite significant interest, IS contributions in DL have been limited, which we argue is in part due to issues with defining, positioning, and conducting DL research. Recognizing the tremendous opportunity here for the IS community, this work clarifies, streamlines, and presents approaches for IS scholars to make timely and high-impact contributions. Related to this broader goal, this paper makes five timely contributions. First, we systematically summarize the major components of DL in a novel Deep Learning for Information Systems Research (DL-ISR) schematic that illustrates how technical DL processes are driven by key factors from an application environment. Second, we present a novel Knowledge Contribution Framework (KCF) to help IS scholars position their DL contributions for maximum impact. Third, we provide ten guidelines to help IS scholars generate rigorous and relevant DL-ISR in a systematic, high-quality fashion. Fourth, we present a review of prevailing journal and conference venues to examine how IS scholars have leveraged DL for various research inquiries. Finally, we provide a unique perspective on how IS scholars can formulate DL-ISR inquiries by carefully considering the interplay of business function(s), application areas(s), and the KCF. This perspective intentionally emphasizes inter-disciplinary, intra-disciplinary, and cross-IS tradition perspectives. Taken together, these contributions provide IS scholars a timely framework to advance the scale, scope, and impact of deep learning research.


title: Sums of four rational squares with certain restrictions

abstract: In this paper we mainly study sums of four rational squares with certain restrictions. Let $\mathbb Q_{\ge0}$ be the set of nonnegative rational numbers. We establish the following four-square theorem for rational numbers: For any $a,b,c,d\in\mathbb Q_{\ge0}$, each $r\in\mathbb Q_{\ge0}$ can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb Q_{\ge0}$ such that $ax+by+cz+dw$ is a rational square (or a rational cube). This paper also contains many conjectures; for example, for any positive integers $a$ and $b$ with $\gcd(a,b)=1$, we conjecture that each $r\in\mathbb Q_{\ge0}$ can be written as $aw^4+bx^4+y^2+z^2$ with $w,x,y,z\in\mathbb Q$.


title: Abundance of strange attractors near an attracting periodically-perturbed network

abstract: We study the dynamics of the periodically-forced May-Leonard system. We extend previous results on the field and we identify different dynamical regimes depending on the strength of attraction $\delta$ of the network and the frequency $\omega$ of the periodic forcing. We focus our attention in the case $\delta\gg1$ and $\omega \approx 0$, where we show that, for a positive Lebesgue measure set of parameters (amplitude of the periodic forcing), the dynamics are dominated by strange attractors with fully stochastic properties, supporting a Sinai-Ruelle-Bowen (SRB) measure. The proof is performed by using the Wang and Young Theory of rank-one strange attractors. This work ends the discussion about the existence of observable and sustainable chaos in this scenario. We also identify some bifurcations occurring in the transition from an attracting two-torus to rank-one strange attractors, whose existence has been suggested by numerical simulations.


title: Refined count for rational tropical curves in arbitrary dimension

abstract: In this paper we introduce a refined multiplicity for rational tropical curves in arbitrary dimension, which generalizes the refined multiplicity introduced by F. Block and L. G\"ottsche in arXiv:1407.2901 . We then prove an invariance statement for the count of rational tropical curves in several enumerative problems using this new refined multiplicity. This leads to the definition of Block-G\"ottsche polynomials in any dimension.


title: Derivative-Based Koopman Operators for Real-Time Control of Robotic Systems

abstract: This paper presents a generalizable methodology for data-driven identification of nonlinear dynamics that bounds the model error in terms of the prediction horizon and the magnitude of the derivatives of the system states. Using higher-order derivatives of general nonlinear dynamics that need not be known, we construct a Koopman operator-based linear representation and utilize Taylor series accuracy analysis to derive an error bound. The resulting error formula is used to choose the order of derivatives in the basis functions and obtain a data-driven Koopman model using a closed-form expression that can be computed in real time. Using the inverted pendulum system, we illustrate the robustness of the error bounds given noisy measurements of unknown dynamics, where the derivatives are estimated numerically. When combined with control, the Koopman representation of the nonlinear system has marginally better performance than competing nonlinear modeling methods, such as SINDy and NARX. In addition, as a linear model, the Koopman approach lends itself readily to efficient control design tools, such as LQR, whereas the other modeling approaches require nonlinear control methods. The efficacy of the approach is further demonstrated with simulation and experimental results on the control of a tail-actuated robotic fish. Experimental results show that the proposed data-driven control approach outperforms a tuned PID (Proportional Integral Derivative) controller and that updating the data-driven model online significantly improves performance in the presence of unmodeled fluid disturbance. This paper is complemented with a video: https://youtu.be/9_wx0tdDta0.


title: Sparse universal graphs for planarity

abstract: We show that for every integer $n\geq 1$ there exists a graph $G_n$ with $(1+o(1))n$ vertices and $n^{1 + o(1)}$ edges such that every $n$-vertex planar graph is isomorphic to a subgraph of $G_n$. The best previous bound on the number of edges was $O(n^{3/2})$, proved by Babai, Chung, Erd\H{o}s, Graham, and Spencer in 1982. We then show that for every integer $n\geq 1$ there is a graph $U_n$ with $n^{1 + o(1)}$ vertices and edges that contains induced copies of every $n$-vertex planar graph. This significantly reduces the number of edges in a recent construction of the authors with Dujmovi\'c, Gavoille, and Micek.


title: Capturing Dynamics of Time-Varying Data via Topology

abstract: One approach to understanding complex data is to study its shape through the lens of algebraic topology. While the early development of topological data analysis focused primarily on static data, in recent years, theoretical and applied studies have turned to data that varies in time. A time-varying collection of metric spaces as formed, for example, by a moving school of fish or flock of birds, can contain a vast amount of information. There is often a need to simplify or summarize the dynamic behavior. We provide an introduction to topological summaries of time-varying metric spaces including vineyards [19], crocker plots [56], and multiparameter rank functions [37]. We then introduce a new tool to summarize time-varying metric spaces: a crocker stack. Crocker stacks are convenient for visualization, amenable to machine learning, and satisfy a desirable continuity property which we prove. We demonstrate the utility of crocker stacks for a parameter identification task involving an influential model of biological aggregations [58]. Altogether, we aim to bring the broader applied mathematics community up-to-date on topological summaries of time-varying metric spaces.

categories: cs.LG cs.CG math.AT math.ST stat.ML stat.TH


title: A Comparative Analysis on LaueUtil and PRECOGNITION Software Packages as Tools in Treating the Small Molecule Time-Resolved Laue Diffraction Measurements at High Flux X-ray facilities

abstract: Investigating metal organic systems with time-resolved photocrystallography poses a unique challenge while interpreting the time dependent photodifference maps. In these difference Fourier maps, the signals correspond to the movement of heavy metal atoms always overpower the signals from much lighter atoms attached to them. For a systematic assessment of the quality of the photodifference maps obtained from metal organic systems, in this work, LaueUtil and PRECOGNITION software were used to treat time-resolved Laue crystallography data of a [2x2] matrix-like Fe(II) complex. The rigid spot identification method in LaueUtil allows to identify and index > 250,000 reflections per 10 datasets. Though this leads to low completeness (< 30%), the software only treats the information from highly reliable diffraction spots. As a result, clean photodifference maps and small values in the thermal scale factor have been obtained. In the PRECOGNITION case, the package indexed more than 160,000 reflections per dataset. The resulting completeness is higher (>86%) and useful photodifference maps can be obtained by careful data treatment. However, the dependence on the refinement of the lambda curve as well as the degradation of the sample may be reflected on the large thermal scale factors which also contribute as noise in the photodifference maps.


title: A vectorial problem with thin free boundary

abstract: We consider the vectorial analogue of the thin free boundary problem introduced in \cite{CRS} as a realization of a nonlocal version of the classical Bernoulli problem. We study optimal regularity, nondegeneracy, and density properties of local minimizers. Via a blow-up analysis based on a Weiss type monotonicity formula, we show that the free boundary is the union of a "regular" and a "singular" part. Finally we use a viscosity approach to prove $C^{1,\alpha}$ regularity of the regular part of the free boundary.


title: Structural Forecasting for Tropical Cyclone Intensity Prediction: Providing Insight with Deep Learning

abstract: Tropical cyclone (TC) intensity forecasts are ultimately issued by human forecasters. The human in-the-loop pipeline requires that any forecasting guidance must be easily digestible by TC experts if it is to be adopted at operational centers like the National Hurricane Center. Our proposed framework leverages deep learning to provide forecasters with something neither end-to-end prediction models nor traditional intensity guidance does: a powerful tool for monitoring high-dimensional time series of key physically relevant predictors and the means to understand how the predictors relate to one another and to short-term intensity changes.


title: Learning Calibrated Uncertainties for Domain Shift: A Distributionally Robust Learning Approach

abstract: We propose a framework for learning calibrated uncertainties under domain shifts, where the source (training) distribution differs from the target (test) distribution. We detect such domain shifts via a differentiable density ratio estimator and train it together with the task network, composing an adjusted softmax predictive form concerning domain shift. In particular, the density ratio estimation reflects the closeness of a target (test) sample to the source (training) distribution. We employ it to adjust the uncertainty of prediction in the task network. This idea of using the density ratio is based on the distributionally robust learning (DRL) framework, which accounts for the domain shift by adversarial risk minimization. We show that our proposed method generates calibrated uncertainties that benefit downstream tasks, such as unsupervised domain adaptation (UDA) and semi-supervised learning (SSL). On these tasks, methods like self-training and FixMatch use uncertainties to select confident pseudo-labels for re-training. Our experiments show that the introduction of DRL leads to significant improvements in cross-domain performance. We also show that the estimated density ratios align with human selection frequencies, suggesting a positive correlation with a proxy of human perceived uncertainties.


title: Permuted AdaIN: Reducing the Bias Towards Global Statistics in Image Classification

abstract: Recent work has shown that convolutional neural network classifiers overly rely on texture at the expense of shape cues. We make a similar but different distinction between shape and local image cues, on the one hand, and global image statistics, on the other. Our method, called Permuted Adaptive Instance Normalization (pAdaIN), reduces the representation of global statistics in the hidden layers of image classifiers. pAdaIN samples a random permutation $\pi$ that rearranges the samples in a given batch. Adaptive Instance Normalization (AdaIN) is then applied between the activations of each (non-permuted) sample $i$ and the corresponding activations of the sample $\pi(i)$, thus swapping statistics between the samples of the batch. Since the global image statistics are distorted, this swapping procedure causes the network to rely on cues, such as shape or texture. By choosing the random permutation with probability $p$ and the identity permutation otherwise, one can control the effect's strength. With the correct choice of $p$, fixed apriori for all experiments and selected without considering test data, our method consistently outperforms baselines in multiple settings. In image classification, our method improves on both CIFAR100 and ImageNet using multiple architectures. In the setting of robustness, our method improves on both ImageNet-C and Cifar-100-C for multiple architectures. In the setting of domain adaptation and domain generalization, our method achieves state of the art results on the transfer learning task from GTAV to Cityscapes and on the PACS benchmark.


title: Electric field-induced oxygen vacancies in YBa2Cu3O7

abstract: The microscopic doping mechanism behind the superconductor-to-insulator transition of a thin film of YBa2Cu3O7 was recently identified as due to the migration of O atoms from the CuO chains of the film. Here we employ density-functional theory calculations to study the evolution of the electronic structure of a slab of YBa2 Cu3 O7 in presence of oxygen vacancies under the influence of an external electric field. We find that under massive electric fields isolated O atoms are pulled out of the surface consisting of CuO chains. As vacancies accumulate at the surface, a configuration with vacancies located in the chains inside the slab becomes energetically preferred thus providing a driving force for O migration towards the surface. Regardless of the defect configuration studied, the electric field is always fully screened near the surface thus negligibly affecting diffusion barriers across the film.


title: Mirror Symmetry Breaking and Lateral Stacking Shifts in Twisted Trilayer Graphene

abstract: We construct a continuum model of twisted trilayer graphene using {\it ab initio} density-functional-theory calculations, and apply it to address twisted trilayer electronic structure. Our model accounts for moir\'e variation in site energies, hopping between outside layers and within layers. We focus on the role of a mirror symmetry present in ABA graphene trilayers with a middle layer twist. The mirror symmetry is lost intentionally when a displacement field is applied between layers, and unintentionally when the top layer is shifted laterally relative to the bottom layer. We use two band structure characteristics that are directly relevant to transport measurements, the Drude weight and the weak-field Hall conductivity, and relate them via the Hall density to assess the influence of the accidental lateral stacking shifts currently present in all experimental devices on electronic properties, and comment on the role of the possible importance of accidental lateral stacking shifts for superconductivity in twisted trilayers.


title: PGM-Explainer: Probabilistic Graphical Model Explanations for Graph Neural Networks

abstract: In Graph Neural Networks (GNNs), the graph structure is incorporated into the learning of node representations. This complex structure makes explaining GNNs' predictions become much more challenging. In this paper, we propose PGM-Explainer, a Probabilistic Graphical Model (PGM) model-agnostic explainer for GNNs. Given a prediction to be explained, PGM-Explainer identifies crucial graph components and generates an explanation in form of a PGM approximating that prediction. Different from existing explainers for GNNs where the explanations are drawn from a set of linear functions of explained features, PGM-Explainer is able to demonstrate the dependencies of explained features in form of conditional probabilities. Our theoretical analysis shows that the PGM generated by PGM-Explainer includes the Markov-blanket of the target prediction, i.e. including all its statistical information. We also show that the explanation returned by PGM-Explainer contains the same set of independence statements in the perfect map. Our experiments on both synthetic and real-world datasets show that PGM-Explainer achieves better performance than existing explainers in many benchmark tasks.


title: Scaling in internally heated convection: a unifying theory

abstract: We offer a unifying theory for turbulent purely internally heated convection, generalizing the unifying theories of Grossmann and Lohse (2000, 2001) for Rayleigh--B\'enard turbulence and of Shishkina, Grossmann and Lohse (2016) for turbulent horizontal convection, which are both based on the splitting of the kinetic and thermal dissipation rates in respective boundary and bulk contributions. We obtain the mean temperature of the system and the Reynolds number (which are the response parameters) as function of the control parameters, namely the internal thermal driving strength (called, when nondimensionalized, the Rayleigh--Roberts number) and the Prandtl number. The results of the theory are consistent with our direct numerical simulations.


title: Quantum Distributions for the Electromagnetic Field

abstract: The coherence properties of the classical waves are discussed in terms of the Cauchy problem for the wave equation, and of a discrete representation by an ensemble of Hamiltonian systems. Wave quanta are related to specific "action fields", and phase-space distributions of phonons and photons are obtained by Wigner transform. For photons in a thermal environment, the proposed Wigner function evolves towards the Planck equilibrium distribution. It is shown that the free electromagnetic field can also be found in states of definite helicity, described by a complex vector potential.


title: Cooling of Accretion Disc Coronae by Type I X-ray Bursts

abstract: Understanding the persistent emission is crucial for studying type I X-ray bursts, which provide insight into neutron star properties. Although accretion disc coronae appear to be common in many accreting systems, their fundamental properties remain insufficiently understood. Recent work suggests that Type I X-ray bursts from accreting neutron stars provide an opportunity to probe the characteristics of coronae. Several studies have observed hard X-ray shortages from the accretion disk during an X-ray burst implying strong coronal cooling by burst photons. Here, we use the plasma emission code EQPAIR to study the impact of X-ray bursts on coronae, and how the coronal and burst properties affect the coronal electron temperatures and emitted spectra. Assuming a constant accretion rate during the burst, our simulations show that soft photons can cool coronal electrons by a factor of $\gtrsim 10$ and cause a reduction of emission in the $30$-$50$ keV band to $\lesssim 1\%$ of the pre-burst emission. This hard X-ray drop is intensified when the coronal optical depth and aspect ratio is increased. In contrast, depending on the properties of the burst and corona, the emission in the $8$-$24$ keV band can either increase, by a factor of $\gtrsim20$, or decrease, down to $\lesssim 1\%$ of the pre-burst emission. An increasing accretion rate during the X-ray burst reduces the coronal cooling effects and the electron temperature drop can be mitigated by $\gtrsim60\%$. These results indicate that changes of the hard X-ray flux during an X-ray burst probe the geometrical properties of the corona.


title: Stabilising uniform property Gamma

abstract: We introduce stabilised property Gamma, a C*-algebraic variant of property Gamma which is invariant under stable isomorphism. We then show that simple separable nuclear C*-algebras with stabilised property Gamma and $\mathrm{Cu}(A) \cong \mathrm{Cu}(A \otimes \mathcal{Z})$ absorb the Jiang-Su algebra $\mathcal{Z}$ tensorially.


title: Thermoelectricity of Tin Selenide Monolayers Across a Structural Phase Transition

abstract: SnSe monolayers experience a temperature induced two-dimensional Pnm2$_1 \to$ P4/nmm structural transformation precipitated by the softening of vibrational modes. The standard theoretical treatment of thermoelectricity---which relies on a zero temperature phonon dispersion and on a zero temperature electronic structure---is incapable of describing thermoelectric phenomena induced by structural transformations. Relying on structural data obtained from {\em ab initio} molecular dynamics calculations that is utilized in a non-standard way to inform of electronic and vibrational transport coefficients, the present work establishes a general route to understand thermoelectricity across phase transitions. Similar to recent experimental observations pointing to an overestimated thermoelectric figure of merit $ZT$ past the transition temperature, our work indicates a smaller $ZT$ when compared to its value predicted by the standard paradigm. Its decrease is related to the dramatic changes in the electrical conductivity and lattice thermal conductivity as the structural transformation ensues. Though exemplified on a SnSe monolayer, the method does not have any built-in assumptions concerning dimensionality, and thus applicable to arbitrary thermoelectric materials in one, two, and three dimensions.


title: Modeling quasielastic interactions of monoenergetic kaon decay-at-rest neutrinos

abstract: Monoenergetic muon neutrinos at 236 MeV are readily produced in intense medium-energy proton facilities ($\gtrsim$2-3~GeV) when a positive kaon decays at rest (KDAR; $K^+ \rightarrow \mu^+ \nu_\mu$). These neutrinos provide a unique opportunity to both study the neutrino interaction and probe the nucleus with a monoenergetic weak-interaction-only tool. We present cross section calculations for quasielastic scattering of these 236~MeV neutrinos off $^{12}$C and $^{40}$Ar, paying special attention to low-energy aspects of the scattering process. Our model takes the description of the nucleus in a mean-field (MF) approach as the starting point, where we solve Hartree-Fock (HF) equations using a Skyrme type nucleon-nucleon interaction. Thereby, we introduce long-range nuclear correlations by means of a continuum random phase approximation (CRPA) framework where we solve the CRPA equations using a Green's function method. The model successfully describes ($e,e'$) data on $^{12}$C and $^{40}$Ca in the kinematic region that overlaps with the KDAR $\nu_\mu$ phase space. In addition to these results, we present future prospects for precision KDAR cross section measurements and applications of our calculations in current and future experiments that will utilize these neutrinos.


title: Discovery of six new strongly magnetic white dwarfs in the 20 pc local population

abstract: The sample of white dwarfs included in the local 20 pc volume documents, fairly accurately, the total production of white dwarfs over roughly 10 Gyr of stellar evolution in this part of the Milky Way Galaxy. In this sample, we have been systematically searching for magnetic white dwarfs. Here we report the discovery of six new magnetic white dwarfs, with a field strength from a few MG to about 200MG. Two of these stars show H lines that are split and polarised by the magnetic field. One star shows extremely weak spectral lines in intensity, to which highly polarised narrow features correspond. The three other stars have featureless flux spectra, but show continuum polarisation. These new discoveries support the view that at least 20% of all white dwarfs in the local 20 pc volume have magnetic fields, and they fully confirm the suspicion that magnetism is a common rather than a rare characteristic of white dwarfs. We discuss the level and the handedness of the continuum polarisation in the presence of a magnetic field in cool white dwarfs. We suggest that a magnetic field with a 15 MG longitudinal component produces 1% of continuum circular polarisation. We have also shown that the problem of cross-talk from linear to circular polarisation of the FORS2 instrument, used in our survey, represents an obstacle to accurate measurements of the circular polarisation of faint white dwarfs when the background is illuminated, and polarised, by the moon.


title: Pedestrian Trajectory Prediction with Convolutional Neural Networks

abstract: Predicting the future trajectories of pedestrians is a challenging problem that has a range of application, from crowd surveillance to autonomous driving. In literature, methods to approach pedestrian trajectory prediction have evolved, transitioning from physics-based models to data-driven models based on recurrent neural networks. In this work, we propose a new approach to pedestrian trajectory prediction, with the introduction of a novel 2D convolutional model. This new model outperforms recurrent models, and it achieves state-of-the-art results on the ETH and TrajNet datasets. We also present an effective system to represent pedestrian positions and powerful data augmentation techniques, such as the addition of Gaussian noise and the use of random rotations, which can be applied to any model. As an additional exploratory analysis, we present experimental results on the inclusion of occupancy methods to model social information, which empirically show that these methods are ineffective in capturing social interaction.


title: Charged Higgs effects in IceCube: PeV events and NSIs

abstract: Extensions of the Standard Model with charged Higgs, having a non-negligible coupling with neutrinos, can have interesting implications vis-\`{a}-vis neutrino experiments. Such models can leave their footprints in the ultra-high energy neutrino detectors like IceCube in the form of neutrino non-standard interactions (NSIs) which can also be probed in lower energy neutrino experiments. We consider a model based on the neutrinophilic two-Higgs doublets and study its imprints in the recently reported excess neutrino events in the PeV energy bins at the IceCube. An additional signature of the model is that it also leads to sizeable NSIs. We perform a combined study of the latest IceCube data along with various other constraints arising from neutrino experiments e.g., Borexino, TEXONO, COHERENT, DUNE, and T2HK, together with the limits set by the LEP experiment, and explore the parameter space which can lead to a sizeable NSI.


title: Unbounded randomness from uncharacterized sources

abstract: Randomness is a central feature of quantum mechanics and an invaluable resource for both classical and quantum technologies. Commonly, in Device-Independent and Semi-Device-Independent scenarios, randomness is certified using projective measurements and the amount of certified randomness is bounded by the dimension of the measured quantum system. In this work, we propose a new Source-Device-Independent protocol, based on Positive Operator Valued Measurement (POVM), which can arbitrarily increase the number of certified bits for any fixed dimension. A tight lower-bound on the quantum conditional min-entropy is derived using only the POVM structure and the experimental expectation values, taking into account the quantum side-information. For symmetrical POVM measurements on the Bloch sphere we have derived closed-form analytical bounds. Finally, we experimentally demonstrate our method with a compact and simple photonic setup that employs polarization-encoded qubits and POVM up to 6 outcomes.


title: Some classical model theoretic aspects of bounded shrub-depth classes

abstract: We consider classes of arbitrary (finite or infinite) graphs of bounded shrub-depth, specifically the class $\mathrm{TM}_{r, p}(d)$ of $p$-labeled arbitrary graphs whose underlying unlabeled graphs have tree models of height $d$ and $r$ labels. We show that this class satisfies an extension of the classical L\"owenheim-Skolem property into the finite and for $\mathrm{MSO}$. This extension being a generalization of the small model property, we obtain that the graphs of $\mathrm{TM}_{r, p}(d)$ are pseudo-finite. In addition, we obtain as consequences entirely new proofs of a number of known results concerning bounded shrub-depth classes (of finite graphs) and $\mathrm{TM}_{r, p}(d)$. These include the small model property for $\mathrm{MSO}$ with elementary bounds, the classical compactness theorem from model theory over $\mathrm{TM}_{r, p}(d)$, and the equivalence of $\mathrm{MSO}$ and $\mathrm{FO}$ over $\mathrm{TM}_{r, p}(d)$ and hence over bounded shrub-depth classes. The proof for the last of these is via an adaptation of the proof of the classical Lindstr\"om's theorem characterizing $\mathrm{FO}$ over arbitrary structures.


title: Highly polarised microstructure from the repeating FRB 20180916B

abstract: Fast radio bursts (FRBs) are bright, coherent, short-duration radio transients of as-yet unknown extragalactic origin. FRBs exhibit a wide variety of spectral, temporal and polarimetric properties, which can unveil clues into their emission physics and propagation effects in the local medium. Here we present the high-time-resolution (down to 1 $\mu$s) polarimetric properties of four 1.7-GHz bursts from the repeating FRB 20180916B, which were detected in voltage data during observations with the European VLBI Network (EVN). We observe a range of emission timescales spanning three orders of magnitude, with the shortest component width reaching 3-4 $\mu$s (below which we are limited by scattering). This is the shortest timescale measured in any FRB, to date. We demonstrate that all four bursts are highly linearly polarised ($\gtrsim 80\%$), show no evidence for significant circular polarisation ($\lesssim 15\%$), and exhibit a constant polarisation position angle (PPA) during and between bursts. On short timescales ($\lesssim 100$ $\mu$s), however, there appear to be subtle (few degree) PPA variations across the burst profiles. These observational results are most naturally explained in an FRB model where the emission is magnetospheric in origin, as opposed to models where the emission originates at larger distances in a relativistic shock.


title: Galilean-Invariant XEFT at Next-to-Leading Order

abstract: XEFT is a low-energy effective field theory for charm mesons and pions that provides a systematically improvable description of the $X(3872)$ resonance. To simplify calculations beyond leading order, we introduce a new formulation of XEFT with a dynamical field for a pair of charm mesons in the resonant channel. We simplify the renormalization of XEFT by introducing a new renormalization scheme that involves the subtraction of amplitudes at the complex $D^{*0} \bar D^0$ threshold. The new formulation and the new renormalization scheme are illustrated by calculating the complex pole energy of $X$ and the $D^{*0} \bar D^0$ scattering amplitude to next-to-leading order using Galilean-invariant XEFT.


title: Classical higher-order topological insulators

abstract: Topological states nurtures the emergence of devices with unprecedented functions in photonics, plasmonics, acoustics and phononics. As one of the recently discovered members, higher-order topological insulators (HOTIs) have been increasingly explored, featuring lower-dimensional topological boundary states, leading to rich mechanisms for topological manipulation, guiding and trapping of classical waves. Here, we provide an overview of current developments of HOTIs in classical waves including basic principles, unique physical properties, various experimental realizations, novel phenomena and potential applications. Based on these discussions, we remark on the trends and challenges in this field and the impacts of higher-order topology on other research fields.


title: Vacancies in graphene: an application of adiabatic quantum optimization

abstract: Quantum annealers have grown in complexity to the point that quantum computations involving few thousands of qubits are now possible. In this paper, \textcolor{black}{with the intentions to show the feasibility of quantum annealing to tackle problems of physical relevance, we used a simple model, compatible with the capability of current quantum annealers, to study} the relative stability of graphene vacancy defects. By mapping the crucial interactions that dominate carbon-vacancy interchange onto a quadratic unconstrained binary optimization problem, our approach exploits \textcolor{black}{the ground state as well the excited states found by} the quantum annealer to extract all the possible arrangements of multiple defects on the graphene sheet together with their relative formation energies. This approach reproduces known results and provides a stepping stone towards applications of quantum annealing to problems of physical-chemical interest.


title: Canonical Cauchy sequences for real numbers

abstract: Based on continued fractions with subtractions, we identify the set of real numbers with the set of infinite integer sequences with all terms but the first one greater or equal to two. Each such sequence produces in a canonical way a unique strictly decreasing Cauchy sequence of rationals which converges to the corresponding real number. The correspondence is such that the standard order of real numbers is translated to the lexicographic order of sequences.


title: New Sublinear Algorithms and Lower Bounds for LIS Estimation

abstract: Estimating the length of the longest increasing subsequence (LIS) in an array is a problem of fundamental importance. Despite the significance of the LIS estimation problem and the amount of attention it has received, there are important aspects of the problem that are not yet fully understood. There are no better lower bounds for LIS estimation than the obvious bounds implied by testing monotonicity (for adaptive or nonadaptive algorithms). In this paper, we give the first nontrivial lower bound on the complexity of LIS estimation, and also provide novel algorithms that complement our lower bound. Specifically, for every constant $\epsilon \in (0,1)$, every nonadaptive algorithm that outputs an estimate of the length of the LIS in an array of length $n$ to within an additive error of $\epsilon \cdot n$ has to make $\log^{\Omega(\log (1/\epsilon))} n)$ queries. Next, we design nonadaptive LIS estimation algorithms whose complexity decreases as the the number of distinct values, $r$, in the array decreases. We first present a simple algorithm that makes $\tilde{O}(r/\epsilon^3)$ queries and approximates the LIS length with an additive error bounded by $\epsilon n$. We then use it to construct a nonadaptive algorithm with query complexity $\tilde{O}(\sqrt{r} \cdot \text{poly}(1/\lambda))$ that, for an array with LIS length at least $\lambda n$, outputs a multiplicative $\Omega(\lambda)$-approximation to the LIS length. Finally, we describe a nonadaptive erasure-resilient tester for sortedness, with query complexity $O(\log n)$. Our result implies that nonadaptive tolerant testing is strictly harder than nonadaptive erasure-resilient testing for the natural property of monotonicity.


title: A physical model for the magnetosphere of Uranus at solstice time

abstract: Uranus is the only planet in the Solar System whose rotation axis and orbital plane are nearly parallel to each other. Uranus is also the planet with the largest angle between the rotation axis and the direction of its magnetic dipole (roughly $59^\circ$). Consequently, the shape and structure of its magnetospheric tail is very different to those of all other planets in whichever season one may consider. We propose a magnetohydrodynamic model for the magnetic tail of Uranus at solstice time. One of the main conclusions of the model is that all magnetic field lines forming the extended magnetic tail follow the same qualitative evolution from the time of their emergence through the planet's surface and the time of their late evolution after having been stretched and twisted several times downstream of the planet. In the planetary frame, these field lines move on magnetic surfaces that wind up to form a tornado-shaped vortex with two foot points on the planet (one in each magnetic hemisphere). The centre of the vortex (the eye of the tornado) is a simple double helix with a helical pitch (along the symmetry axis $z$) $\lambda=\tau[v_z+B_z/(\mu_0\rho)^{1/2}],$ where $\tau$ is the rotation period of the planet, $\mu_0$ the permeability of vacuum, $\rho$ the mass density, $v_z$ the fluid velocity, and $B_z$ the magnetic field where all quantities have to be evaluated locally at the centre of the vortex. In summary, in the planetary frame, the motion of a typical magnetic field of the extended Uranian magnetic tail is a vortical motion, which asymptotically converges towards the single double helix, regardless of the line's emergence point on the planetary surface.


title: PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns

abstract: SQL is one of the most popular tools for data analysis, and it is now used by an increasing number of users without having expertise in databases. Several studies have proposed programming-by-example approaches to help such non-experts to write correct SQL queries. While existing methods support a variety of SQL features such as aggregation and nested query, they suffer a significant increase in computational cost as the scale of example tables increases. In this paper, we propose an efficient algorithm utilizing properties known in relational algebra to synthesize SQL queries from input and output tables. Our key insight is that a projection operator in a program sketch can be lifted above other operators by applying transformation rules in relational algebra, while preserving the semantics of the program. This enables a quick inference of appropriate columns in the projection operator, which is an essential component in synthesis but causes combinatorial explosions in prior work. We also introduce a novel form of constraints and its top-down propagation mechanism for efficient sketch completion. We implemented this algorithm in our tool PATSQL and evaluated it on 226 queries from prior benchmarks and Kaggle's tutorials. As a result, PATSQL solved 68% of the benchmarks and found 89% of the solutions within a second. Our tool is available at https://naist-se.github.io/patsql/.


title: Collective atomic correlations in absorptive optical bistability without adiabatic elimination: exemplifying nonclassicality from a linearized treatment of fluctuations

abstract: We determine the incoherent spectrum, squeezing properties and second-order correlation function of the collective atomic degrees of freedom in absorptive optical bistability. This is accomplished via a linearized Fokker-Planck equation in the positive P representation, guided by the analysis of [H. J. Carmichael, Phys. Rev. A 33, 3262 (1986)] which does not resort to adiabatic elimination. We focus on the regimes of weak and strong intracavity excitation, addressing the good-cavity and bad-cavity limits as well as the limit of collective strong coupling. Adiabatic elimination of the intracavity field sustained by an auxiliary resonator coupled to the ensemble is used to probe the atomic correlations via the formation of a collective emission channel. We compare to the corresponding expressions for the forwards-scattered light with reference to experimental results, discussing key differences between the lower and upper branch of the steady-state semiclassical bistability curve. Our analysis is carried out around the stable states situated far away from the turning points, where analytical expressions can be obtained self-consistently, demonstrating a clear departure from classical behavior.


title: Security and Privacy Considerations for Machine Learning Models Deployed in the Government and Public Sector (white paper)

abstract: As machine learning becomes a more mainstream technology, the objective for governments and public sectors is to harness the power of machine learning to advance their mission by revolutionizing public services. Motivational government use cases require special considerations for implementation given the significance of the services they provide. Not only will these applications be deployed in a potentially hostile environment that necessitates protective mechanisms, but they are also subject to government transparency and accountability initiatives which further complicates such protections. In this paper, we describe how the inevitable interactions between a user of unknown trustworthiness and the machine learning models, deployed in governments and public sectors, can jeopardize the system in two major ways: by compromising the integrity or by violating the privacy. We then briefly overview the possible attacks and defense scenarios, and finally, propose recommendations and guidelines that once considered can enhance the security and privacy of the provided services.


title: Viewpoint-Aware Channel-Wise Attentive Network for Vehicle Re-Identification

abstract: Vehicle re-identification (re-ID) matches images of the same vehicle across different cameras. It is fundamentally challenging because the dramatically different appearance caused by different viewpoints would make the framework fail to match two vehicles of the same identity. Most existing works solved the problem by extracting viewpoint-aware feature via spatial attention mechanism, which, yet, usually suffers from noisy generated attention map or otherwise requires expensive keypoint labels to improve the quality. In this work, we propose Viewpoint-aware Channel-wise Attention Mechanism (VCAM) by observing the attention mechanism from a different aspect. Our VCAM enables the feature learning framework channel-wisely reweighing the importance of each feature maps according to the "viewpoint" of input vehicle. Extensive experiments validate the effectiveness of the proposed method and show that we perform favorably against state-of-the-arts methods on the public VeRi-776 dataset and obtain promising results on the 2020 AI City Challenge. We also conduct other experiments to demonstrate the interpretability of how our VCAM practically assists the learning framework.


title: Constraints on galileons from the positions of supermassive black holes

abstract: Galileons are scalar field theories which obey the Galileon symmetry $\varphi \to \varphi + b + c_\mu x^\mu$ and are capable of self-acceleration if they have an inverted sign for the kinetic term. These theories violate the Strong Equivalence Principle, such that black holes (BHs) do not couple to the Galileon field, whereas non-relativistic objects experience a fifth force with strength $\Delta G / G_{\rm N}$ relative to gravity. For galaxies falling down a gradient in the Galileon field, this results in an offset between the centre of the galaxy and its host supermassive BH. We reconstruct the local gravitational and Galileon fields through a suite of constrained N-body simulations (which we dub CSiBORG) and develop a Monte Carlo-based forward model for these offsets on a galaxy-by-galaxy basis. Using the measured offset between the optical centre and active galactic nucleus of 1916 galaxies from the literature, propagating uncertainties in the input quantities and marginalising over an empirical noise model describing astrophysical and observational noise, we constrain the Galileon coupling to be $\Delta G / G_{\rm N} < 0.16$ at $1\sigma$ confidence for Galileons with crossover scale $r_{\rm C} \gtrsim H_0^{-1}$.


title: A Complete Approach to Loop Verification with Invariants and Summaries

abstract: Invariants are the predominant approach to verify the correctness of loops. As an alternative, loop contracts, which make explicit the premise and conclusion of the underlying induction proof, can sometimes capture correctness conditions more naturally. But despite this advantage, the second approach receives little attention overall, and the goal of this paper is to lift it out of its niche. We give the first comprehensive exposition of the theory of loop contracts, including a characterization of its completeness. We show concrete examples on standard algorithms that showcase their relative merits. Moreover, we demonstrate a novel constructive translation between the two approaches, which decouples the chosen specification approach from the verification backend.


title: Violation of Bell quantum probability inequalities with classical fields

abstract: Violations of Bell inequalities in classical optics have been demonstrated in terms of field mean intensities and correlations, however, the quantum meaning of violations point to statistics and probabilities. We present a violation of Bell inequalities for classical fields in terms of probabilities, where we convert classical-field intensities into probabilities via the standard photon-counting equation. We find violation for both, entangled and separable field states. We conclude that any obtained quantum effect might be fully ascribed to the quantum nature of the detector rather than the field itself. Finally, we develop a new Bell-like criterion which is satisfied by factorized states and it is not by the entangled state.


title: Refined unramified cohomology of schemes

abstract: We introduce the notion of refined unramified cohomology of algebraic schemes and prove comparison theorems that identify some of these groups with cycle groups. This recovers for cycles of low codimensions on smooth projective varieties previous results of Bloch--Ogus, Colliot-Th\'el\`ene--Voisin, Kahn, Voisin, and Ma. We combine our approach with the Bloch--Kato conjecture, proven by Voevodsky, to show that on a smooth complex projective variety, any homologically trivial torsion cycle with trivial Abel--Jacobi invariant has coniveau 1. This establishes a torsion version of a conjecture of Jannsen originally formulated with rational coefficients. We further show that the group of homologically trivial torsion cycles modulo algebraic equivalence has a finite filtration (by coniveau) such that the graded quotients are determined by higher Abel--Jacobi invariants that we construct. This may be seen as a variant for torsion cycles modulo algebraic equivalence of a conjecture of Green. We also prove $\ell$-adic analogues of these results over any field which contains all $\ell$-power roots of unity.


title: Two-dimensional van der Waals electrical contact to monolayer MoSi$_2$N$_4$

abstract: Two-dimensional (2D) MoSi$_2$N$_4$ monolayer is an emerging class of air-stable 2D semiconductor possessing exceptional electrical and mechanical properties. Despite intensive recent research efforts devoted to uncover the material properties of MoSi$_2$N$_4$, the physics of electrical contacts to MoSi$_2$N$_4$ remains largely unexplored thus far. In this work, we study the van der Waals heterostructures composed of MoSi$_2$N$_4$ contacted by graphene and NbS$_2$ monolayers using first-principle density functional theory calculations. We show that the MoSi$_2$N$_4$/NbS$_2$ contact exhibits an ultralow Schottky barrier height (SBH), which is beneficial for nanoelectronics applications. For MoSi$_2$N$_4$/graphene contact, the SBH can be modulated via interlayer distance or via external electric fields, thus opening up an opportunity for reconfigurable and tunable nanoelectronic devices. Our findings provide insights on the physics of 2D electrical contact to MoSi$_2$N$_4$, and shall offer a critical first step towards the design of high-performance electrical contacts to MoSi$_2$N$_4$-based 2D nanodevices.


title: Constraining dark energy using the cross correlations of weak lensing with post-reionization probes of neutral hydrogen

abstract: We investigate the prospects of detecting the cross correlation of CMBR weak-lensing convergence field with the large scale tracers of the underlying dark matter distribution in the post-reionization epoch. The cross-correlation is then used to make error projections for dark energy equation of state (EoS)for models with a time evolving dark energy. We study the cross-correlation angular power spectrum of the weak-lensing field with the Lyman-$\alpha$ forest and the redshifted HI 21 cm signal from the post reionization epoch. The angular power spectra is expressed as a line of sight average over the tomographic slices. We find that on using multiple $400$ hrs observation with an extended uGMRT like instrument or with a BOSS like survey with quasar (QSO) density of $16 {\rm deg}^{-2}$ the cross-correlation with weak-lensing convergence field covering half the sky can be detected at a very high SNR ($>20$). The cross-correlation of weak-lensing with Lyman-$\alpha$ forest allows the $1-\sigma$ errors on the dark energy EoS parameters for different parametrizations to be constrained at a level of precision comparable to combined Planck+SNIa+BAO+HST projections. The 21-cm weak-lensing cross-correlation is found to provide strong constraints on the present value of the dark energy EoS parameter at $4\%$ for the 7CPL model. The constraints on $w_a$ is comparable ($\sim 12\%$) for models other than the 7CPL model. We also find that the CPL parametrization may not be the best constrained parametrization for dark energy evolution. The cross-correlation of CMBR weak-lensing with the post-reionization probes of neutral hydrogen thus holds the potential to give us valuable understanding about the nature of evolving dark energy.


title: The HectoMAP Redshift Survey: First Data Release

abstract: HectoMAP is a dense, red-selected redshift survey to a limiting $r = 21.3$ covering 55 square degrees in a contiguous 1.5$^\circ$ strip across the northern sky. This region is also covered by the Subaru/Hyper Suprime-Cam (HSC) Subaru Strategic Program (SSP) photometric survey enabling a range of applications that combine a dense foreground redshift survey with both strong and weak lensing maps. The median redshift of HectoMAP exceeds 0.3 throughout the survey region and the mean density of the redshift survey is $\sim 2000$ galaxies deg$^{-2}$. Here we report a total of 17,313 redshifts in a first data release covering 8.7 square degrees. We include the derived quantities D$_{n}4000$ and stellar mass for nearly all of the objects. Among these galaxies, 8117 constitute a 79\% complete red-selected subsample with $r \leq 20.5$ and an additional 4318 constitute a 68\% complete red-selected subsample with $20.5 < r < 21.3$. As examples of the strengths of HectoMAP data we discuss two applications: refined membership of redMaPPer photometrically selected clusters and a test of HSC photometric redshifts. We highlight a remarkable redMaPPer strong lensing system. The comparison of photometric redshifts with spectroscopic redshifts in a dense survey uncovers subtle systematic issues in the photometric redshifts.


title: Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes

abstract: This paper focuses on the controller synthesis for unknown, nonlinear systems while ensuring safety constraints. Our approach consists of two steps, a learning step that uses Gaussian processes and a controller synthesis step that is based on control barrier functions. In the learning step, we use a data-driven approach utilizing Gaussian processes to learn the unknown control affine nonlinear dynamics together with a statistical bound on the accuracy of the learned model. In the second controller synthesis steps, we develop a systematic approach to compute control barrier functions that explicitly take into consideration the uncertainty of the learned model. The control barrier function not only results in a safe controller by construction but also provides a rigorous lower bound on the probability of satisfaction of the safety specification. Finally, we illustrate the effectiveness of the proposed results by synthesizing a safety controller for a jet engine example.


title: Experimental study of the $^{17}$F+ $^{12}$C fusion reaction and its implications for fusion of proton-halo systems

abstract: The halo nature of the low-lying $1/2$+ first excited state of the exotic weakly-bound proton drip-line nucleus $^{17}$F has long been hypothesized. The structure of such a halo nucleus would imply special nuclear properties including, possibly, an enhancement in its fusion cross section above the barrier. The total fusion cross section of $^{17}$F + $^{12}$C near the Coulomb barrier was studied using the newly developed "Encore" active-target detector at Florida State University. Total fusion cross sections for the stable counterpart systems $^{16}$O + $^{12}$C and $^{19}$F + $^{12}$C were also measured to enable a systematic comparison. No influence of the halo nature of the $^{17}$F $1/2$+ first excited state on its fusion excitation function was observed when compared with the stable counterpart systems.


title: Permutation invariant networks to learn Wasserstein metrics

abstract: Understanding the space of probability measures on a metric space equipped with a Wasserstein distance is one of the fundamental questions in mathematical analysis. The Wasserstein metric has received a lot of attention in the machine learning community especially for its principled way of comparing distributions. In this work, we use a permutation invariant network to map samples from probability measures into a low-dimensional space such that the Euclidean distance between the encoded samples reflects the Wasserstein distance between probability measures. We show that our network can generalize to correctly compute distances between unseen densities. We also show that these networks can learn the first and the second moments of probability distributions.


title: Open-sourced Dataset Protection via Backdoor Watermarking

abstract: The rapid development of deep learning has benefited from the release of some high-quality open-sourced datasets ($e.g.$, ImageNet), which allows researchers to easily verify the effectiveness of their algorithms. Almost all existing open-sourced datasets require that they can only be adopted for academic or educational purposes rather than commercial purposes, whereas there is still no good way to protect them. In this paper, we propose a \emph{backdoor embedding based dataset watermarking} method to protect an open-sourced image-classification dataset by verifying whether it is used for training a third-party model. Specifically, the proposed method contains two main processes, including \emph{dataset watermarking} and \emph{dataset verification}. We adopt classical poisoning-based backdoor attacks ($e.g.$, BadNets) for dataset watermarking, ie, generating some poisoned samples by adding a certain trigger ($e.g.$, a local patch) onto some benign samples, labeled with a pre-defined target class. Based on the proposed backdoor-based watermarking, we use a hypothesis test guided method for dataset verification based on the posterior probability generated by the suspicious third-party model of the benign samples and their correspondingly watermarked samples ($i.e.$, images with trigger) on the target class. Experiments on some benchmark datasets are conducted, which verify the effectiveness of the proposed method.


title: Nearly Optimal Average-Case Complexity of Counting Bicliques Under SETH

abstract: In this paper, we seek a natural problem and a natural distribution of instances such that any $O(n^{c-\epsilon})$-time algorithm fails to solve most instances drawn from the distribution, while the problem admits an $n^{c+o(1)}$-time algorithm that correctly solves all instances. Specifically, we consider the $K_{a,b}$ counting problem in a random bipartite graph, where $K_{a,b}$ is a complete bipartite graph for constants $a$ and $b$. We proved that the $K_{a,b}$ counting problem admits an $n^{a+o(1)}$-time algorithm if $a\geq 8$, while any $n^{a-\epsilon}$-time algorithm fails to solve it even on random bipartite graph for any constant $\epsilon>0$ under the Strong Exponential Time Hypotheis. Then, we amplify the hardness of this problem using the direct product theorem and Yao's XOR lemma by presenting a general framework of hardness amplification in the setting of fine-grained complexity.


title: Massless Particles in Higher Dimensions

abstract: In spacetimes of any dimensionality, the massless particle states that can be created and destroyed by a field in a given representation of the Lorentz group are severely constrained by the condition that the invariant Abelian subgroup of the little group must leave these states invariant. A number of examples are given of the massless one-particle states that can be described by various tensor and spinor-tensor fields, and a speculation is offered for the general case.


title: Dynamical evolution of Population III stellar systems and the resulting binary statistics

abstract: We use N-body simulations to study the dynamical evolution of Population III (Pop III) stellar systems and the resulting binary statistics. We design a physically-motivated framework for the initial conditions of Pop III star clusters, based on small-scale hydrodynamic simulations and the scale-free nature of disk evolution during Pop III star formation. Our novel approach enables us to explore the dependence of binary statistics on initial conditions and arrive at more robust predictions for the signals of Pop III X-ray binaries (XRBs) and binary black hole (BBH) mergers, compared to simple extrapolations of Pop III protostar systems. We find that binary properties are highly sensitive to the initial cluster size and distribution of binary separation, while the effect of initial mass function is relatively minor. Our simulations predict less close binaries, and thus, significantly lower efficiencies (by a factor of $\sim 10-10^{4}$) for the formation and accretion of Pop III XRBs, than found in previous studies, implying that the contribution of Pop III XRBs to the cosmic X-ray background is negligible and their feedback effects are unimportant. We estimate the efficiency of Pop III BBH mergers as $\sim 10^{-5}-10^{-4}\ \rm M_{\odot}^{-1}$, for which 3-body hardening by surrounding stars in dense star clusters or close binary interactions is required to facilitate in-spirals of BBHs. All simulation data, including catalogs of Pop III binaries and multiple systems, are publicly available.


title: Gravity and rotation drag the magnetic field in high-mass star formation

abstract: The formation of hot stars out of the cold interstellar medium lies at the heart of astrophysical research. Understanding the importance of magnetic fields during star formation remains a major challenge. With the advent of the Atacama Large Millimeter Array, the potential to study magnetic fields by polarization observations has tremendously progressed. However, the major question remains how much magnetic fields shape the star formation process or whether gravity is largely dominating. Here, we show that for the high-mass star-forming region G327.3 the magnetic field morphology appears to be dominantly shaped by the gravitational contraction of the central massive gas core where the star formation proceeds. We find that in the outer parts of the region, the magnetic field is directed toward the gravitational center of the region. Filamentary structures feeding the central core exhibit U-shaped magnetic field morphologies directed toward the gravitational center as well, again showing the gravitational drag toward the center. The inner part then shows rotational signatures, potentially associated with an embedded disk, and there the magnetic field morphology appears to be rotationally dominated. Hence, our results demonstrate that for this region gravity and rotation are dominating the dynamics and shaping the magnetic field morphology.


title: Some refinements of numerical radius inequalities

abstract: In this paper, we give some refinements for the second inequality in $\frac{1}{2}\|A\| \leq w(A) \leq \|A\|$, where $A\in B(H)$. In particular, if $A$ is hyponormal by refining the Young inequality with the Kantorovich constant $K(\cdot, \cdot)$, we show that $w(A)\leq \dfrac{1}{\displaystyle {2\inf_{\| x \|=1}}\zeta(x)}\| |A|+|A^{*}|\|\leq \dfrac{1}{2}\| |A|+|A^*|\|$, where $\zeta(x)=K(\frac{\langle |A|x,x \rangle}{\langle |A^{*}|x,x \rangle},2)^{r},~~~r=\min\{\lambda,1-\lambda\}$ and $0\leq \lambda \leq 1$ . We also give a reverse for the classical numerical radius power inequality $w(A^{n})\leq w^{n}(A)$ for any operator $A \in B(H)$ in the case when $n=2$.


title: Lowest Dimensional Portals to SU($N$) Exotics

abstract: New matter fields charged under the strong nuclear force would have dramatic phenomenological implications. Here, we systematically explore how these new states, which we postulate belong to some representation of SU(3) of quantum chromo-dynamics, could interact with Standard Model fields: We analyze all lowest-dimensional "portal" operators for any SU(3) representation and, motivated by grand unification, we extend our results to SU($N$), for $N>3$. We provide a publicly available python code, "tessellation", that automatically constructs said lowest-dimensional portal operators for any new exotic matter field charged under SU($N$) for any $N$.


title: Shortcut-to-adiabaticity-like techniques for parameter estimation in quantum metrology

abstract: Quantum metrology makes use of quantum mechanics to improve precision measurements and measurement sensitivities. It is usually formulated for time-independent Hamiltonians but time-dependent Hamiltonians may offer advantages, such as a $T^4$ time dependence of the Fisher information which cannot be reached with a time-independent Hamiltonian. In Optimal adaptive control for quantum metrology with time-dependent Hamiltonians (Nature Communications 8, 2017), Shengshi Pang and Andrew N. Jordan put forward a Shortcut-to-adiabaticity (STA)-like method, specifically an approach formally similar to the "counterdiabatic approach", adding a control term to the original Hamiltonian to reach the upper bound of the Fisher information. We revisit this work from the point of view of STA to set the relations and differences between STA-like methods in metrology and ordinary STA. This analysis paves the way for the application of other STA-like techniques in parameter estimation. In particular we explore the use of physical unitary transformations to propose alternative time-dependent Hamiltonians which may be easier to implement in the laboratory.


title: Period Estimates for Autonomous Evolution Equations with Lipschitz Nonlinearities

abstract: We derive an estimate for the minimal period of autonomous strongly damped hyperbolic problems. Our result corresponds to the works by Yorke, Busenberg et al. for ordinary differential equations as well as Robinson and Vidal-Lopez for parabolic problems. A general approach is developed for treating both hyperbolic and parabolic problems. An example of application to a class of beam equations is provided.


title: Towards the routine use of subdominant harmonics in gravitational-wave inference: re-analysis of GW190412 with generation X waveform models

abstract: We re-analyse the gravitational-wave event GW190412 with state-of-the-art phenomenological waveform models. This event, which has been associated with a black hole merger, is interesting due to the significant contribution from subdominant harmonics. We use both frequency-domain and time-domain waveform models. The PhenomX waveform models constitute the fourth generation of frequency-domain phenomenological waveforms for black hole binary coalescence; they have more recently been complemented by the time-domain PhenomT models, which open up new strategies to model precession and eccentricity, and to perform tests of general relativity with the phenomenological waveforms approach. Both PhenomX and PhenomT have been constructed with similar techniques and accuracy goals, and due to their computational efficiency this "generation X" model family allows the routine use of subdominant spherical harmonics in Bayesian inference. We show the good agreement between these and other state-of-the-art waveform models for GW190412, and discuss the improvements over the previous generation of phenomenological waveform models. We also discuss practical aspects of Bayesian inference such as run convergence, variations of sampling parameters, and computational cost.


title: Hyperon--anti-hyperon polarization asymmetry in relativistic heavy-ion collisions as an interplay between chiral and helical vortical effects

abstract: We argue that the enhancement in the spin polarization of anti-hyperons compared to the polarization of the hyperons in noncentral relativistic heavy-ion collisions arises as a result of an interplay between the chiral and helical vortical effects. The chiral vortical effect generates the axial current of quarks along the vorticity axis while the recently found helical vortical effect generates the helicity flow -- the projection of the quark's polarization vector onto its momentum -- along the same axis. For massless fermions, the helical charge corresponds to a difference in the contributions of particles and anti-particles to the axial charge. Assuming that the spin of light quarks transfers to the strange quarks via the vector kaon states ("the spin-vector dominance"), we are able to describe the ratio of the (anti)hyperon spin polarizations, obtained by the STAR group, without fitting parameters. We also argue that the helical vortical effect dominates over the chiral vortical effect and the chiral magnetic effect in the generation of the electric current.


title: Molecular remnant of Nova 1670 (CK Vulpeculae). II. A three-dimensional view on the gas distribution and velocity field

abstract: CK Vul is the remnant of an energetic eruption known as Nova 1670 that is thought to be caused by a stellar merger. The remnant is composed of (1) a large hourglass nebula of recombining gas (of 71\arcsec size), very similar to some classical planetary and pre-planetary nebulae (PPNe), and (2) of a much smaller and cooler inner remnant prominent in millimeter-wave emission from molecules. We investigate the three-dimensional spatio-kinematic structure of both components. The analysis of the hourglass structure yields a revised distance to the object of >2.6 kpc, at least 3.7 times greater than so far assumed. At this distance, the stellar remnant has a bolometric luminosity >12 L$_{\odot}$ and is surrounded by molecular material of total mass >0.8 M$_{\odot}$ (the latter value has a large systematic uncertainty). We also analyzed the architecture of the inner molecular nebula using ALMA observations of rotational emission lines obtained at subarcsecond resolution. We find that the distribution of neutral and ionized gas in the lobes can be reproduced by several nested and incomplete shells or jets with different velocity fields and varying orientations. The analysis indicates that the molecular remnant was created in several ejection episodes, possibly involving an interacting binary system. We calculated the linear momentum ($\approx$10$^{40}$ g cm s$^{-1}$) and kinetic energy ($\approx$10$^{47}$ erg) of the CK Vul outflows and find them within the limits typical for classical PPNe. Given the similarities of the CK Vul outflows to PPNe, we suggest there may CK Vul analogs among wrongly classified PPNe with low intrinsic luminosities, especially among PPNe with post-red-giant-branch central stars.


title: A discrete Morse perspective on knot projections and a generalised clock theorem

abstract: We obtain a simple and complete characterisation of which matchings on the Tait graph of a knot diagram induce a discrete Morse function (dMf) on $S^2$, extending a construction due to Cohen. We show these dMfs are in bijection with certain rooted spanning forests in the Tait graph. We use this to count the number of such dMfs with a closed formula involving the graph Laplacian. We then simultaneously generalise Kauffman's Clock Theorem and Kenyon-Propp-Wilson's correspondence in two different directions; we first prove that the image of the correspondence induces a bijection on perfect dMfs, then we show that all perfect matchings, subject to an admissibility condition, are related by a finite sequence of click and clock moves. Finally, we study and compare the matching and discrete Morse complexes associated to the Tait graph, in terms of partial Kauffman states, and provide some computations.


title: Embedded methods for feature selection in neural networks

abstract: The representational capacity of modern neural network architectures has made them a default choice in various applications with high dimensional feature sets. But these high dimensional and potentially noisy features combined with the black box models like neural networks negatively affect the interpretability, generalizability, and the training time of these models. Here, I propose two integrated approaches for feature selection that can be incorporated directly into the parameter learning. One of them involves adding a drop-in layer and performing sequential weight pruning. The other is a sensitivity-based approach. I benchmarked both the methods against Permutation Feature Importance (PFI) - a general-purpose feature ranking method and a random baseline. The suggested approaches turn out to be viable methods for feature selection, consistently outperform the baselines on the tested datasets - MNIST, ISOLET, and HAR. We can add them to any existing model with only a few lines of code.


title: Jarzynski equality for conditional stochastic work

abstract: It has been established that the inclusive work for classical, Hamiltonian dynamics is equivalent to the two-time energy measurement paradigm in isolated quantum systems. However, a plethora of other notions of quantum work has emerged, and thus the natural question arises whether any other quantum notion can provide motivation for purely classical considerations. In the present analysis, we propose the conditional stochastic work for classical, Hamiltonian dynamics, which is inspired by the one-time measurement approach. This novel notion is built upon the change of expectation value of the energy conditioned on the initial energy surface. As main results we obtain a generalized Jarzynski equality and a sharper maximum work theorem, which account for how non-adiabatic the process is. Our findings are illustrated with the parametric harmonic oscillator.


title: The geometry of near ground states in Gaussian polymer models

abstract: The energy and geometry of maximizing paths in integrable last passage percolation models are governed by the characteristic KPZ scaling exponents of one-third and two-thirds. When represented in scaled coordinates that respect these exponents, this random field of paths may be viewed as a complex energy landscape. We investigate the structure of valleys and connecting pathways in this landscape. The routed weight profile $\mathbb{R} \to \mathbb{R}$ associates to $x \in \mathbb{R}$ the maximum scaled energy obtainable by a path whose scaled journey from $(0,0)$ to $(0,1)$ passes through the point $(x,1/2)$. Developing tools of Brownian Gibbs analysis from [Ham16] and [CHH19], we prove an assertion of strong similarity of this profile for Brownian last passage percolation to Brownian motion of rate two on the unit-order scale. A sharp estimate on the rarity that two macroscopically different routes in the energy landscape offer energies close to the global maximum results. We prove robust assertions concerning modulus of continuity for the energy and geometry of scaled maximizing paths, that develop the results and approach of [HS20], delivering estimates valid on all scales above the microscopic. The geometry of excursions of near ground states about the maximizing path is investigated: indeed, we estimate the energetic shortfall of scaled paths forced to closely mimic the geometry of the maximizing route while remaining disjoint from it. We also provide bounds on the approximate gradient of the maximizing path, viewed as a function, ruling out sharp steep movement down to the microscopic scale. Our results find application in a companion study [GH20a] of the stability, and fragility, of last passage percolation under a dynamical perturbation.


title: Stability and chaos in dynamical last passage percolation

abstract: Many complex statistical mechanical models have intricate energy landscapes. The ground state, or lowest energy state, lies at the base of the deepest valley. In examples such as spin glasses and Gaussian polymers, there are many valleys; the abundance of near-ground states (at the base of valleys) indicates the phenomenon of chaos, under which the ground state alters profoundly when the model's disorder is slightly perturbed. In this article, we compute the critical exponent that governs the onset of chaos in a dynamic manifestation of a canonical model in the Kardar-Parisi-Zhang [KPZ] universality class, Brownian last passage percolation [LPP]. In this model in its static form, semi-discrete polymers advance through Brownian noise, their energy given by the integral of the white noise encountered along their journey. A ground state is a geodesic, of extremal energy given its endpoints. We perturb Brownian LPP by evolving the disorder under an Ornstein-Uhlenbeck flow. We prove that, for polymers of length $n$, a sharp phase transition marking the onset of chaos is witnessed at the critical time $n^{-1/3}$. Indeed, the overlap between the geodesics at times zero and $t > 0$ that travel a given distance of order $n$ will be shown to be of order $n$ when $t\ll n^{-1/3}$; and to be of smaller order when $t\gg n^{-1/3}$. We expect this exponent to be shared among many interface models. The present work thus sheds light on the dynamical aspect of the KPZ class; it builds on several recent advances. These include Chatterjee's harmonic analytic theory [Cha14] of equivalence of superconcentration and chaos in Gaussian spaces; a refined understanding of the static landscape geometry of Brownian LPP developed in the companion paper [GH20]; and, underlying the latter, strong comparison estimates of the geodesic energy profile to Brownian motion in [CHH19].


title: Neural Enhancement in Content Delivery Systems: The State-of-the-Art and Future Directions

abstract: Internet-enabled smartphones and ultra-wide displays are transforming a variety of visual apps spanning from on-demand movies and 360-degree videos to video-conferencing and live streaming. However, robustly delivering visual content under fluctuating networking conditions on devices of diverse capabilities remains an open problem. In recent years, advances in the field of deep learning on tasks such as super-resolution and image enhancement have led to unprecedented performance in generating high-quality images from low-quality ones, a process we refer to as neural enhancement. In this paper, we survey state-of-the-art content delivery systems that employ neural enhancement as a key component in achieving both fast response time and high visual quality. We first present the deployment challenges of neural enhancement models. We then cover systems targeting diverse use-cases and analyze their design decisions in overcoming technical challenges. Moreover, we present promising directions based on the latest insights from deep learning research to further boost the quality of experience of these systems.


title: Experimental Measures of Topological Sector Fluctuations in the F-Model

abstract: The two dimensional F-model is an ice-rule obeying model, with a low temperature antiferroelectric state and high temperature critical Coulomb phase. Polarization in the system is associated with topological defects in the form of system-spanning windings which makes it an ideal system on which to observe topological sector fluctuations, as have been discussed in the context of spin ice and Berezinskii-Kosterlitz-Thouless (BKT) systems. Here we develop Lieb and Baxter's historic solutions of the F-model to exactly calculate relevant properties, several apparently for the first time. We further calculate properties not amenable to exact solution by an approximate cavity method and by referring to established scaling results. Of particular relevance to topological sector fluctuations are the exact results for the applied field polarization and the "energetic susceptibility". The latter is a both a measure of topological sector fluctuations and, surprisingly, in this case, a measure of the order parameter correlation exponent. In the high temperature phase, the temperature tunes the density of topological defects and algebraic correlations, with the energetic susceptibility undergoing a jump to zero at the antiferroelectric ordering temperature, analogous to the "universal jump" in BKT systems. We discuss how these results are relevant to experimental systems, including to spin ice thin films and three-dimensional dipolar spin ice and water ice, where we find that an analogous "universal jump" has previously been established in numerical studies. This unexpected result suggests a universal limit on the stability of perturbed Coulomb phases that is independent of dimension and of the order of the transition. Experimental results on water ice Ih are not inconsistent with this proposition. We complete the paper by relating our results to experimental studies of artificial spin ice arrays.


title: Cohomology fractals, Cannon-Thurston maps, and the geodesic flow

abstract: Cohomology fractals are images naturally associated to cohomology classes in hyperbolic three-manifolds. We generate these images for cusped, incomplete, and closed hyperbolic three-manifolds in real-time by ray-tracing to a fixed visual radius. We discovered cohomology fractals while attempting to illustrate Cannon-Thurston maps without using vector graphics; we prove a correspondence between these two, when the cohomology class is dual to a fibration. This allows us to verify our implementations by comparing our images of cohomology fractals to existing pictures of Cannon-Thurston maps. In a sequence of experiments, we explore the limiting behaviour of cohomology fractals as the visual radius increases. Motivated by these experiments, we prove that the values of the cohomology fractals are normally distributed, but with diverging standard deviations. In fact, the cohomology fractals do not converge to a function in the limit. Instead, we show that the limit is a distribution on the sphere at infinity, only depending on the manifold and cohomology class.


title: Bottomonium spectroscopy in the quark-gluon plasma

abstract: The spectroscopic properties of heavy quarkonia are substantially different in the quark-gluon plasma (QGP) that is created in relativistic heavy-ion collisions as compared to the vacuum situation that can be tested in pp collisions at the same center-of-mass energy. In this article, a series of recent works about the dissociation of the Y(nS) and chi_b(nP) states in the hot QGP is summarized. Quarkonia dissociation occurs due to (1) screening of the real quark-antiquark potential, (2) collisional damping through the imaginary part of the potential, and (3) gluon-induced dissociation. In addition, reduced feed-down plays a decisive role for the spin-triplet ground state. Transverse-momentum and centrality-dependent data are well reproduced in Pb-Pb collisions at LHC energies. In the asymmetric p-Pb system, alterations of the parton density functions in the lead nucleus account for the leading fraction of the modifications in cold nuclear matter (CNM), but the hot-medium effects turn out to be relevant in spite of the small initial spatial extent of the fireball, providing additional evidence for the generation of a quark-gluon droplet.


title: Remote Electrical Tilt Optimization via Safe Reinforcement Learning

abstract: Remote Electrical Tilt (RET) optimization is an efficient method for adjusting the vertical tilt angle of Base Stations (BSs) antennas in order to optimize Key Performance Indicators (KPIs) of the network. Reinforcement Learning (RL) provides a powerful framework for RET optimization because of its self-learning capabilities and adaptivity to environmental changes. However, an RL agent may execute unsafe actions during the course of its interaction, i.e., actions resulting in undesired network performance degradation. Since the reliability of services is critical for Mobile Network Operators (MNOs), the prospect of performance degradation has prohibited the real-world deployment of RL methods for RET optimization. In this work, we model the RET optimization problem in the Safe Reinforcement Learning (SRL) framework with the goal of learning a tilt control strategy providing performance improvement guarantees with respect to a safe baseline. We leverage a recent SRL method, namely Safe Policy Improvement through Baseline Bootstrapping (SPIBB), to learn an improved policy from an offline dataset of interactions collected by the safe baseline. Our experiments show that the proposed approach is able to learn a safe and improved tilt update policy, providing a higher degree of reliability and potential for real-world network deployment.


title: How Important is the Train-Validation Split in Meta-Learning?

abstract: Meta-learning aims to perform fast adaptation on a new task through learning a "prior" from multiple existing tasks. A common practice in meta-learning is to perform a train-validation split (\emph{train-val method}) where the prior adapts to the task on one split of the data, and the resulting predictor is evaluated on another split. Despite its prevalence, the importance of the train-validation split is not well understood either in theory or in practice, particularly in comparison to the more direct \emph{train-train method}, which uses all the per-task data for both training and evaluation. We provide a detailed theoretical study on whether and when the train-validation split is helpful in the linear centroid meta-learning problem. In the agnostic case, we show that the expected loss of the train-val method is minimized at the optimal prior for meta testing, and this is not the case for the train-train method in general without structural assumptions on the data. In contrast, in the realizable case where the data are generated from linear models, we show that both the train-val and train-train losses are minimized at the optimal prior in expectation. Further, perhaps surprisingly, our main result shows that the train-train method achieves a \emph{strictly better} excess loss in this realizable case, even when the regularization parameter and split ratio are optimally tuned for both methods. Our results highlight that sample splitting may not always be preferable, especially when the data is realizable by the model. We validate our theories by experimentally showing that the train-train method can indeed outperform the train-val method, on both simulations and real meta-learning tasks.


title: Conditioning Trick for Training Stable GANs

abstract: In this paper we propose a conditioning trick, called difference departure from normality, applied on the generator network in response to instability issues during GAN training. We force the generator to get closer to the departure from normality function of real samples computed in the spectral domain of Schur decomposition. This binding makes the generator amenable to truncation and does not limit exploring all the possible modes. We slightly modify the BigGAN architecture incorporating residual network for synthesizing 2D representations of audio signals which enables reconstructing high quality sounds with some preserved phase information. Additionally, the proposed conditional training scenario makes a trade-off between fidelity and variety for the generated spectrograms. The experimental results on UrbanSound8k and ESC-50 environmental sound datasets and the Mozilla common voice dataset have shown that the proposed GAN configuration with the conditioning trick remarkably outperforms baseline architectures, according to three objective metrics: inception score, Frechet inception distance, and signal-to-noise ratio.