title: Non-thermal Origin of Asymmetric Dark Matter from Inflaton and Primordial Black Holes

abstract: We study the possibility of cogenesis of baryon and dark matter (DM) from the out-of-equilibrium CP violating decay of right handed neutrino (RHN) that are dominantly of non-thermal origin. While the RHN and its heavier partners can take part in light neutrino mass generation via Type-I seesaw mechanism, the decay of RHN into dark and visible sectors can create respective asymmetries simultaneously. The non-thermal sources of RHN considered are {\bf (a)} on-shell decay of inflaton, and {\bf (b)} evaporation of ultralight primordial black holes (PBH). After setting up the complete set of Boltzmann equations in both these scenarios, we constrain the resulting parameter space of the particle physics setup, along with inflaton and PBH sectors from the requirement of generating correct (asymmetric) DM abundance and baryon asymmetry, while being in agreement with other relevant cosmological bounds. Scenario {\bf (a)} links the common origin of DM and baryon asymmetry to post-inflationary reheating via RHNs produced in inflaton decay, whereas in scenario {\bf (b)} we find enhancement of baryon and DM abundance, compared to the purely thermal scenarios, in presence of PBH with appropriate mass and initial fraction. Although the minimal setup itself is very predictive with observational consequences, details of the UV completion of the dark sector can offer several complementary probes.


title: Measurement-induced entanglement phase transitions in variational quantum circuits

abstract: Variational quantum algorithms (VQAs), which classically optimize a parametrized quantum circuit to solve a computational task, promise to advance our understanding of quantum many-body systems and improve machine learning algorithms using near-term quantum computers. Prominent challenges associated with this family of quantum-classical hybrid algorithms are the control of quantum entanglement and quantum gradients linked to their classical optimization. Known as the barren plateau phenomenon, these quantum gradients may rapidly vanish in the presence of volume-law entanglement growth, which poses a serious obstacle to the practical utility of VQAs. Inspired by recent studies of measurement-induced entanglement transition in random circuits, we investigate the entanglement transition in variational quantum circuits endowed with intermediate projective measurements. Considering the Hamiltonian Variational Ansatz (HVA) for the XXZ model and the Hardware Efficient Ansatz (HEA), we observe a measurement-induced entanglement transition from volume-law to area-law with increasing measurement rate. Moreover, we provide evidence that the transition belongs to the same universality class of random unitary circuits. Importantly, the transition coincides with a "landscape transition" from severe to mild/no barren plateaus in the classical optimization. Our work paves an avenue for greatly improving the trainability of quantum circuits by incorporating intermediate measurement protocols in currently available quantum hardware.


title: On the Chow ring of the classifying stack of algebraic tori

abstract: We investigate the structure of the Chow ring of the classifying stacks $BT$ of algebraic tori, as it has been defined by B. Totaro. Some previous work of N. Karpenko, A. Merkurjev, S. Blinstein and F. Scavia has shed some light on the structure of such rings. In particular Karpenko showed the absence of torsion classes in the case of permutation tori, while Merkurjev and Blinstein described in a very effective way the second Chow group $A^2(BT)$ in the general case. Building on this work, Scavia exhibited an example where $A^2(BT)_\text{tors}\neq 0$. Here, by making use of a very elementary approach, we extend the result of Karpenko to special tori and we completely determine the Chow ring $A^*(BT)$ when $T$ is an algebraic torus admitting a resolution with special tori $0\rightarrow T\rightarrow Q\rightarrow P$. In particular we show that there can be torsion in the Chow ring of such tori.


title: Multiphase flow applications of non-intrusive reduced-order models with Gaussian process emulation

abstract: Reduced-order models (ROMs) are computationally inexpensive simplifications of high-fidelity complex ones. Such models can be found in computational fluid dynamics where they can be used to predict the characteristics of multiphase flows. In previous work, we presented a ROM analysis framework that coupled compression techniques, such as autoencoders (AE), with Gaussian process (GP) regression in the latent space. This pairing has significant advantages over the standard encoding-decoding routine, such as the ability to interpolate or extrapolate in the initial conditions' space, which can provide predictions even when simulation data are not available. In this work, we focus on this major advantage and show its effectiveness by performing the pipeline on three multiphase flow applications. We also extend the methodology by using Deep Gaussian Processes (DGP) as the interpolation algorithm and compare the performance of our two variations, as well as another variation from the literature that uses Long short-term memory (LSTM) networks, for the interpolation.


title: Multiple Pathways in NaCl Homogeneous Crystal Nucleation

abstract: NaCl crystal nucleation from metastable solutions has long been considered to occur according to a single-step mechanism. Recent experimental observations suggest that NaCl crystals emerge from disordered intermediates which is seemingly at odds with this established view. Here, we performed biased and unbiased molecular dynamics simulations to analyse and characterise the pathways to crystalline phases from solutions far into the metastable region. We find that large liquid-like NaCl clusters emerge as the solution concentration is increased and two-step nucleation pathways are more dominant than one-step pathways to phase separation. Analyses of cluster size populations and the ion pair association constant show that these clusters are transient, unlike the thermodynamically stable prenulceation cluster solute species that were suggested in other mineralising systems. A Markov State Model was developed to analyse the mechanisms and timescales for nucleation from unbiased molecular dynamics trajectories in a reaction coordinate space characterising the dense regions in clusters and crystalline order. This allowed calculation of the committor probabilities for the system to relax to the solution or crystal states, and to estimate the rate of nucleation, which shows excellent agreement with literature values. From a fundamental nucleation perspective, our work highlights the need to extend the attribute 'critical' to an ensemble of clusters which can display a broad range of structures and include sizeable disordered domains depending upon the reaction conditions.Moreover, our recent simulation studies demonstrated that carbon surfaces catalyse the formation of liquid-like NaCl networks which, combined with the observations here, suggests that alternative pathways beyond the single-step mechanism can be exploited to control the crystallisation of NaCl.


title: Supernovae in colliding-wind binaries: observational signatures in the first year

abstract: When a core-collapse supernova explodes in a binary star system, the ejecta might encounter an overdense shell, where the stellar winds of the two stars previously collided. In this work, we investigate effects of such interactions on supernova light curves on time-scales from the early flash ionization signatures to approximately one year after the explosion. We construct a model of the colliding-wind shell in an orbiting binary star system and we provide an analytical expression for the shell thickness and density, which we calibrate with three-dimensional adaptive mesh refinement hydrodynamical simulations probing different ratios of wind momenta and different regimes of radiative cooling efficiency. We model the angle-dependent interaction of supernova ejecta with the circumstellar medium and estimate the shock radiative efficiency with a realistic cooling function. We find that the radiated shock power exceeds typical Type IIP supernova luminosity only for double red supergiant binaries with mass ratios $q \gtrsim 0.9$, wind mass-loss rates $\dot{M} \gtrsim 10^{-4} M_\odot\,\text{yr}^{-1}$, and separations between about 50 and 1500 AU. The required $\dot{M}$ increases for binaries with smaller $q$ or primaries with faster wind. We estimate that $\ll 1\%$ of all collapsing massive stars satisfy the conditions on binary mass ratio and separation. Recombination luminosities due to colliding wind shells are at most a factor of 10 higher than for an otherwise unperturbed constant-velocity wind, but higher densities associated with wind acceleration close to the star provide much stronger signal.


title: Long-range axion forces and hadronic CP violation

abstract: Axions and other pseudoscalar fields comprise an interesting class of ultralight dark matter candidates, that may independently play a role in solving the strong $CP$ problem. In the presence of $CP$-violating sources, these pseudoscalar fields can develop a coherent non-derivative coupling to nucleons, $\bar g_{aNN}$, thus mediating `mass-mass' and `mass-spin' forces in matter that can be probed experimentally. We revisit the non-perturbative generation of these $CP$-odd axion forces, and refine estimates of $\bar g_{aNN}$ generated by the EDMs and color EDMs of quarks. We also revisit the Standard Model contribution to $CP$-odd axion couplings generated by the phase of the Cabibbo-Kobayashi-Maskawa quark mixing matrix.


title: Spontaneous breaking of multipole symmetries

abstract: Multipole symmetries are of interest both as a window on fracton physics and as a crucial ingredient in realizing new universality classes for quantum dynamics. Here we address the question of whether and when multipole symmetries can be spontaneously broken, both in thermal equilibrium and at zero temperature. We derive generalized Mermin-Wagner arguments for the total or partial breaking of multipolar symmetry groups and generalized Imry-Ma arguments for the robustness of such multipolar symmetry breaking to disorder. We present both general results and explicit examples. Our results should be directly applicable to quantum dynamics with multipolar symmetries and also provide a useful stepping stone to understanding the robustness of fracton phases to thermal fluctuations, quantum fluctuations, and disorder.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.str-el quant-ph


title: The Photo-Astrometric Vertical Tracer Density of the Milky Way I: The Method

abstract: We introduce a method to infer the vertical distribution of stars in the Milky Way using a Poisson likelihood function, with a view to applying our method to the Gaia catalogue. We show how to account for the sample selection function and for parallax measurement uncertainties. Our method is validated against a simulated sample drawn from a model with two exponential discs and a power-law halo profile. A mock Gaia sample is generated using the Gaia astrometry selection function, whilst realistic parallax uncertainties are drawn from the Gaia Astrometric Spread Function. The model is fit to the mock in order to rediscover the input parameters used to generate the sample. We recover posterior distributions which accurately fit the input parameters to within statistical uncertainties, demonstrating the efficacy of our method. Using the GUMS synthetic Milky Way catalogue we find that our halo parameter fits can be heavily biased by our overly simplistic model, however, the fits to the thin and thick discs are not significantly impacted. We apply this method to Gaia Early Data Release 3 in a companion paper where we also quantify the systematic uncertainties introduced by oversimplifications in our model.


title: The Photo-Astrometric Vertical Tracer Density of the Milky Way II: Results from Gaia

abstract: We use Gaia photometry and astrometry to estimate the vertical spatial structure of the Milky Way at the Solar radius, formally accounting for sample incompleteness (the selection function) and parallax measurement uncertainty. Our results show impressive precision demonstrating the power of the Gaia data. However, systematic errors dominate the parameter value uncertainties. We thoroughly test and quantify the impacts of all systematic uncertainties. The vertical tracer density is modelled as a sum of two exponential profiles for the thin and thick discs, together with a spherically symmetric power-law for the stellar halo. We constrain the thin disc scale height as ${h_\mathrm{Tn}=260 \pm 3\, (\mathrm{stat}) \pm 26\,\mathrm{pc}\, (\mathrm{sys})}$ and thick disc ${h_\mathrm{Tk}=693 \pm 7 \,(\mathrm{stat}) \pm 121\,\mathrm{pc}\, (\mathrm{sys})}$. For the halo, we obtain a power law profile with $n_\mathrm{H}=3.543\pm0.023 \,(\mathrm{stat}) \pm0.259\, (\mathrm{sys})$. We infer a local stellar mass density for non-compact object stars of ${\rho_\mathrm{local}^* = 3.66\pm0.03\,(\mathrm{stat})\pm0.52 \times10^{-2}\,\mathrm{M}_\odot/\mathrm{pc}^3\,(\mathrm{sys})}$ and surface density of ${\Sigma_\mathrm{local}^* = 23.17\pm0.08\,(\mathrm{stat})\pm2.43\,\mathrm{M}_\odot/\mathrm{pc}^2\,(\mathrm{sys})}$. We find asymmetries above and below the disc with longer disc scale heights in the north but a flatter halo in the south at the $\lesssim 10$ per cent level.


title: Simulation of quantum many-body dynamics with Tensor Processing Units: Floquet prethermalization

abstract: Tensor Processing Units (TPUs) are specialized hardware accelerators developed by Google to support large-scale machine-learning tasks, but they can also be leveraged to accelerate and scale other linear-algebra-intensive computations. In this paper we demonstrate the usage of TPUs for massively parallel, classical simulations of quantum many-body dynamics on long timescales. We apply our methods to study the phenomenon of Floquet prethermalization, i.e., exponentially slow heating in quantum spin chains subject to high-frequency periodic driving. We simulate the dynamics of L=34 qubits for over $10^5$ Floquet periods, corresponding to circuits with millions of two-qubit gates. The circuits simulated have no additional symmetries and represent a pure-state evolution in the full $2^L$-dimensional Hilbert space. This is achieved by distributing the computation over 128 TPU cores. On that size TPU cluster, we find speedups in wall-clock runtime of 230x and 15x when compared to reference CPU and single-GPU simulations, respectively, for shorter 30-qubit simulations that can be handled by all three platforms. We study the computational cost of the simulations, as a function of both the number of qubits and the number of TPU cores used, up to our maximum capacity of L=40 qubits, which requires a ``full pod" of 2048 TPU cores with tens of terabytes of memory in total. For these simulations, an 8-TPU-core machine is comparable to a single A100 GPU, and thus the full TPU pod is comparable to a machine with hundreds of GPUs. However, the TPU pod is more energy and cost efficient, and readily accessible (via Google Cloud), unlike such large many-GPU configurations. We also study the accumulation of numerical error as a function of circuit depth in very deep circuits. Our work demonstrates that TPUs can offer significant advantages for state-of-the-art simulations of quantum many-body dynamics.

categories: quant-ph cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech


title: General stabilizer approach for constructing highly entangled graph states

abstract: Highly entangled multipartite states such as k-uniform (k-UNI) and absolutely maximally entangled (AME) states serve as critical resources in quantum networking and other quantum information applications. However, there does not yet exist a complete classification of such states, and much remains unknown about their entanglement structure. Here, we substantially broaden the class of known k-UNI and AME states by introducing a method for explicitly constructing such states that combines classical error correcting codes and qudit graph states. This method in fact constitutes a general recipe for obtaining multipartitite entangled states from classical codes. Furthermore, we show that at least for a large subset of this new class of k-UNI states, the states are inequivalent under stochastic local operations and classical communication. This subset is defined by an iterative procedure for constructing a hierarchy of k-UNI graph states.


title: Beyond Mono to Binaural: Generating Binaural Audio from Mono Audio with Depth and Cross Modal Attention

abstract: Binaural audio gives the listener an immersive experience and can enhance augmented and virtual reality. However, recording binaural audio requires specialized setup with a dummy human head having microphones in left and right ears. Such a recording setup is difficult to build and setup, therefore mono audio has become the preferred choice in common devices. To obtain the same impact as binaural audio, recent efforts have been directed towards lifting mono audio to binaural audio conditioned on the visual input from the scene. Such approaches have not used an important cue for the task: the distance of different sound producing objects from the microphones. In this work, we argue that depth map of the scene can act as a proxy for inducing distance information of different objects in the scene, for the task of audio binauralization. We propose a novel encoder-decoder architecture with a hierarchical attention mechanism to encode image, depth and audio feature jointly. We design the network on top of state-of-the-art transformer networks for image and depth representation. We show empirically that the proposed method outperforms state-of-the-art methods comfortably for two challenging public datasets FAIR-Play and MUSIC-Stereo. We also demonstrate with qualitative results that the method is able to focus on the right information required for the task. The project details are available at \url{https://krantiparida.github.io/projects/bmonobinaural.html}


title: Properties of linear spectral statistics of frequency-smoothed estimated spectral coherence matrix of high-dimensional Gaussian time series

abstract: The asymptotic behaviour of Linear Spectral Statistics (LSS) of the smoothed periodogram estimator of the spectral coherency matrix of a complex Gaussian high-dimensional time series $(\y_n)_{n \in \mathbb{Z}}$ with independent components is studied under the asymptotic regime where the sample size $N$ converges towards $+\infty$ while the dimension $M$ of $\y$ and the smoothing span of the estimator grow to infinity at the same rate in such a way that $\frac{M}{N} \rightarrow 0$. It is established that, at each frequency, the estimated spectral coherency matrix is close from the sample covariance matrix of an independent identically $\mathcal{N}_{\mathbb{C}}(0,\I_M)$ distributed sequence, and that its empirical eigenvalue distribution converges towards the Marcenko-Pastur distribution. This allows to conclude that each LSS has a deterministic behaviour that can be evaluated explicitly. Using concentration inequalities, it is shown that the order of magnitude of the supremum over the frequencies of the deviation of each LSS from its deterministic approximation is of the order of $\frac{1}{M} + \frac{\sqrt{M}}{N}+ (\frac{M}{N})^{3}$ where $N$ is the sample size. Numerical simulations supports our results.


title: Sometimes, Convex Separable Optimization Is Much Harder than Linear Optimization, and Other Surprises

abstract: An influential 1990 paper of Hochbaum and Shanthikumar made it common wisdom that "convex separable optimization is not much harder than linear optimization" [JACM 1990]. We exhibit two fundamental classes of mixed integer (linear) programs that run counter this intuition. Namely those whose constraint matrices have small coefficients and small primal or dual treedepth: While linear optimization is easy [Brand, Kouteck\'y, Ordyniak, AAAI 2021], we prove that separable convex optimization IS much harder. Moreover, in the pure integer and mixed integer linear cases, these two classes have the same parameterized complexity. We show that they yet behave quite differently in the separable convex mixed integer case. Our approach employs the mixed Graver basis introduced by Hemmecke [Math. Prog. 2003]. We give the first non-trivial lower and upper bounds on the norm of mixed Graver basis elements. In previous works involving the integer Graver basis, such upper bounds have consistently resulted in efficient algorithms for integer programming. Curiously, this does not happen in our case. In fact, we even rule out such an algorithm.


title: Medium induced gluon spectrum in the Improved Opacity Expansion

abstract: Over the last decades, analytical calculations of jet quenching observables have always needed to make a distinction between dense or dilute mediums. Although there are different theoretical formalisms suited for each one of these scenarios, taking into account multiple soft and single hard interactions between the probe and the background under a single approach has proven to be a difficult task. In this talk, we will introduce the Improved Opacity Expansion (IOE), which extends the well established Opacity Expansion framework beyond the hard momentum transfer tail, including the regime captured by the BDMPS-Z/ASW approximation. We will focus on the application of the IOE to the computation of the single gluon medium induced spectrum from a hard parton, which constitutes one of the most important theoretical results in jet quenching theory.


title: Infrared spectra, optical constants and temperature dependences of amorphous and crystalline benzene ices relevant to Titan

abstract: Benzene ice contributes to an emission feature detected by the Cassini Composite InfraRed Spectrometer (CIRS) near 682 cm^{-1} in Titan's late southern fall polar stratosphere. It is as well one of the dominant components of the CIRS-observed High Altitude South Polar (HASP) ice cloud observed in Titan's mid stratosphere during late southern fall. Titan's stratosphere exhibits significant seasonal changes with temperatures that spatially vary with seasons. A quantitative analysis of the chemical composition of infrared emission spectra of Titan's stratospheric ice clouds relies on consistent and detailed laboratory transmittance spectra obtained at numerous temperatures. However, there is a substantial lack of experimental data on the spectroscopic and optical properties of benzene ice and its temperature dependence, especially at Titan-relevant stratospheric conditions. We have therefore analyzed in laboratory the spectral characteristics and evolution of benzene ice's vibrational modes at deposition temperatures ranging from 15 K to 130 K, from the far- to mid-IR spectral region (50 - 8000 cm^{-1}). We have determined the amorphous to crystalline phase transition of benzene ice and identified that a complete crystallization is achieved for deposition temperatures between 120 K and 130 K. We have also measured the real and imaginary parts of the ice complex refractive index of benzene ice from 15 K to 130 K. Our experimental results significantly extend the current state of knowledge on the deposition temperature dependence of benzene ice over a broad infrared spectral range, and provide useful new data for the analysis and interpretation of Titan-observed spectra.


title: Common Language for Goal-Oriented Semantic Communications: A Curriculum Learning Framework

abstract: Semantic communications will play a critical role in enabling goal-oriented services over next-generation wireless systems. However, most prior art in this domain is restricted to specific applications (e.g., text or image), and it does not enable goal-oriented communications in which the effectiveness of the transmitted information must be considered along with the semantics so as to execute a certain task. In this paper, a comprehensive semantic communications framework is proposed for enabling goal-oriented task execution. To capture the semantics between a speaker and a listener, a common language is defined using the concept of beliefs to enable the speaker to describe the environment observations to the listener. Then, an optimization problem is posed to choose the minimum set of beliefs that perfectly describes the observation while minimizing the task execution time and transmission cost. A novel top-down framework that combines curriculum learning (CL) and reinforcement learning (RL) is proposed to solve this problem. Simulation results show that the proposed CL method outperforms traditional RL in terms of convergence time, task execution time, and transmission cost during training.


title: Edge modes and dressing fields for the Newton-Cartan quantum Hall effect

abstract: It is now well-known that Newton-Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton-Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent work by Donnelly and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton-Cartan geometry and pave the way for further applications of Newton-Cartan theory in condensed matter physics.


title: At the boundary of Minkowski space

abstract: The Cayley transform compactifies Minkowski space $\M$, realized as self-adjoint $2\times2$ complex matrices following Penrose, as the unitary group $\U(2)$. Its complement is a compactification of a copy of a light-cone as it is usually drawn, constructed by adjoining a bubble or $\CP_1$ of unitary matrices with eigenvalue $\pm 1$ at the ends of a lightcone at infinity. The Brauer-Wall group of $\U(2)$ (i.e. of fields of certain kinds of graded $\Cs$-algebras, up to projective equivalence) is $\Z_2 \times \Z$, defining an interesting class of nontrivial examples of Araki-Haag-Kastler backgrounds for quantum field theories on compactified Minkowski space. The second part of this paper extends such models to link presentations of more general spin four-manifolds.


title: Abductive Inference and C. S. Peirce: 150 Years Later

abstract: This paper is about two things: (i) Charles Sanders Peirce (1837-1914) -- an iconoclastic philosopher and polymath who is among the greatest of American minds. (ii) Abductive inference -- a term coined by C. S. Peirce, which he defined as "the process of forming explanatory hypotheses. It is the only logical operation which introduces any new idea." Abductive inference and quantitative economics: Abductive inference plays a fundamental role in empirical scientific research as a tool for discovery and data analysis. Heckman and Singer (2017) strongly advocated "Economists should abduct." Arnold Zellner (2007) stressed that "much greater emphasis on reductive [abductive] inference in teaching econometrics, statistics, and economics would be desirable." But currently, there are no established theory or practical tools that can allow an empirical analyst to abduct. This paper attempts to fill this gap by introducing new principles and concrete procedures to the Economics and Statistics community. I termed the proposed approach as Abductive Inference Machine (AIM). The historical Peirce's experiment: In 1872, Peirce conducted a series of experiments to determine the distribution of response times to an auditory stimulus, which is widely regarded as one of the most significant statistical investigations in the history of nineteenth-century American mathematical research (Stigler, 1978). On the 150th anniversary of this historical experiment, we look back at the Peircean-style abductive inference through a modern statistical lens. Using Peirce's data, it is shown how empirical analysts can abduct in a systematic and automated manner using AIM.


title: Chain Conformations and Phase Separation in Polymer Solutions with Varying Solvent Quality

abstract: Molecular dynamics simulations are used to investigate the conformations of a single polymer chain, represented by the Kremer-Grest bead-spring model, in a solution with a Lennard-Jones liquid as the solvent when the interaction strength between the polymer and solvent is varied. Results show that when the polymer-solvent interaction is unfavorable, the chain collapses as one would expect in a poor solvent. For more attractive polymer-solvent interactions, the solvent quality improves and the chain is increasingly solvated and exhibits ideal and then swollen conformations. However, as the polymer-solvent interaction strength is increased further to be more than about twice of the strength of the polymer-polymer and solvent-solvent interactions, the chain exhibits an unexpected collapsing behavior. Correspondingly, for strong polymer-solvent attractions, phase separation is observed in the solutions of multiple chains. These results indicate that the solvent becomes effectively poor again with very attractive polymer-solvent interactions. Nonetheless, the mechanism of chain collapsing and phase separation in this limit differs from the case with a poor solvent rendered by unfavorable polymer-solvent interactions. In the latter, the solvent is excluded from the domain of the collapsed chains while in the former, the solvent is still present in the pervaded volume of a collapsed chain or in the polymer-rich domain that phase separates from the pure solvent. In the limit of strong polymer-solvent attractions, the solvent behaves as a glue to stick monomers together, causing a single chain to collapse and multiple chains to aggregate and phase separate.


title: Skyrme-based extrapolation for the static response of neutron matter

abstract: The study of inhomogeneous neutron matter can provide insights into the structure of neutron stars as well as their dynamics in neutron-star mergers. In this work we tackle pure neutron matter in the presence of a periodic external field by considering a finite (but potentially large) number of particles placed in periodic boundary conditions. We start with the simpler setting of a noninteracting gas and then switch to a Skyrme-Hartree-Fock approach, showing static-response results for five distinct Skyrme parametrizations. We explain both the technical details of our computational approach, as well as the significance of these results as a general finite-size extrapolation scheme that may be used by ab initio practitioners to approach the static-response problem of neutron matter in the thermodynamic limit.


title: Margin-Independent Online Multiclass Learning via Convex Geometry

abstract: We consider the problem of multi-class classification, where a stream of adversarially chosen queries arrive and must be assigned a label online. Unlike traditional bounds which seek to minimize the misclassification rate, we minimize the total distance from each query to the region corresponding to its correct label. When the true labels are determined via a nearest neighbor partition -- i.e. the label of a point is given by which of $k$ centers it is closest to in Euclidean distance -- we show that one can achieve a loss that is independent of the total number of queries. We complement this result by showing that learning general convex sets requires an almost linear loss per query. Our results build off of regret guarantees for the geometric problem of contextual search. In addition, we develop a novel reduction technique from multiclass classification to binary classification which may be of independent interest.


title: Equation-of-motion cavity quantum electrodynamics coupled-cluster theory for electron attachment

abstract: The electron attachment variant of equation-of-motion coupled-cluster theory (EOM-EA-CC) is generalized to the case of strong light-matter coupling within the framework of cavity quantum electrodynamics (QED). The resulting EOM-EA-QED-CC formalism provides an ab initio, correlated, and non-perturbative description of cavity-induced effects in many-electron systems that complements other recently proposed cavity-QED-based extensions of coupled-cluster theory. Importantly, this work demonstrates that QED generalizations of EOM-CC theory are useful frameworks for exploring particle non-conserving sectors of Fock space, thereby establishing a path forward for the simultaneous description of both strong electron-electron and electron-photon correlation effects.


title: Resilient Fermi liquid and strength of correlations near an antiferromagnetic quantum critical point

abstract: Near the antiferromagnetic quantum critical point (QCP) of electron-doped cuprate superconductors, angle-resolved photoemission experiments detect hot spots where the Fermi surface disappears. Here we demonstrate, using the two-particle self-consistent theory, that in the antinodal region the Fermi liquid remains stable for a broad range of angles on the Fermi surface and for all dopings near the QCP. We show how the quasiparticle weight Z and effective mass m* change and then abruptly become meaningless as the hot spots are approached. We propose a dimensionless number, easily accessible in ARPES experiments, that can be used to gauge the strength of correlations.


title: A Multi-criteria Approach to Evolve Sparse Neural Architectures for Stock Market Forecasting

abstract: This study proposes a new framework to evolve efficacious yet parsimonious neural architectures for the movement prediction of stock market indices using technical indicators as inputs. In the light of a sparse signal-to-noise ratio under the Efficient Market hypothesis, developing machine learning methods to predict the movement of a financial market using technical indicators has shown to be a challenging problem. To this end, the neural architecture search is posed as a multi-criteria optimization problem to balance the efficacy with the complexity of architectures. In addition, the implications of different dominant trading tendencies which may be present in the pre-COVID and within-COVID time periods are investigated. An $\epsilon-$ constraint framework is proposed as a remedy to extract any concordant information underlying the possibly conflicting pre-COVID data. Further, a new search paradigm, Two-Dimensional Swarms (2DS) is proposed for the multi-criteria neural architecture search, which explicitly integrates sparsity as an additional search dimension in particle swarms. A detailed comparative evaluation of the proposed approach is carried out by considering genetic algorithm and several combinations of empirical neural design rules with a filter-based feature selection method (mRMR) as baseline approaches. The results of this study convincingly demonstrate that the proposed approach can evolve parsimonious networks with better generalization capabilities.


title: Peptide Isomerization is Suppressed at the Air-Water Interface

abstract: We use molecular dynamics simulations to study the thermodynamics and kinetics of alanine dipeptide isomerization at the air-water interface. Thermodynamically, we find an affinity of the dipeptide to the interface. This affinity arises from stablizing intramolecular interactions that become unshielded as the dipeptide is desolvated. Kinetically, we consider the rate of transitions between the alpha-L and beta conformations of alanine dipeptide and evaluate it as a continuous function of the distance from the interface using a recent extension of transition path sampling, TPS+U. The rate of isomerization at the Gibbs dividing surface is suppressed relative to the bulk by a factor of 3. Examination of the ensemble of transition states elucidates the role of solvent degrees of freedom in mediating favorable intramolecular interactions along the reaction pathway of isomerization. Near the air-water interface, water is less effective at mediating these intramolecular interactions.


title: Synthetic Unknown Class Learning for Learning Unknowns

abstract: This paper addresses the open set recognition (OSR) problem, where the goal is to correctly classify samples of known classes while detecting unknown samples to reject. In the OSR problem, "unknown" is assumed to have infinite possibilities because we have no knowledge about unknowns until they emerge. Intuitively, the more an OSR system explores the possibilities of unknowns, the more likely it is to detect unknowns. Thus, this paper proposes a novel synthetic unknown class learning method that generates unknown-like samples while maintaining diversity between the generated samples and learns these samples. In addition to this unknown sample generation process, knowledge distillation is introduced to provide room for learning synthetic unknowns. By learning the unknown-like samples and known samples in an alternating manner, the proposed method can not only experience diverse synthetic unknowns but also reduce overgeneralization with respect to known classes. Experiments on several benchmark datasets show that the proposed method significantly outperforms other state-of-the-art approaches. It is also shown that realistic unknown digits can be generated and learned via the proposed method after training on the MNIST dataset.


title: Statistical mechanics of beam self-cleaning in GRIN multimode optical fibers

abstract: Since its first demonstration in graded-index multimode fibers, spatial beam self-cleaning has attracted a growing research interest. It allows for the propagation of beams with a bell-shaped spatial profile, thus enabling the use of multimode fibers for several applications, from biomedical imaging to high-power beam delivery. So far, beam self-cleaning has been experimentally studied under several different experimental conditions. Whereas it has been theoretically described as the irreversible energy transfer from high-order modes towards the fundamental mode, in analogy with a beam condensation mechanism. Here, we provide a definitive theoretical description of beam self-cleaning, by means of a semi-classical statistical mechanics model of wave thermalization. This approach is confirmed by an extensive experimental characterization, based on a holographic mode decomposition technique, employing laser pulses with temporal durations ranging from femtoseconds up to nanoseconds. An excellent agreement between theory and experiments is found, which demonstrates that beam self-cleaning can be fully described in terms of the basic conservation laws of statistical mechanics.


title: Performance of a phonon-mediated detector using KIDs optimized for sub-GeV dark matter

abstract: Detection of sub-GeV dark matter candidates requires sub-keV detector thresholds on deposited energy. We provide an update on a gram-scale phonon-mediated KID-based device that was designed for a dark matter search in this mass range at the Northwestern Experimental Underground Site. Currently, the device is demonstrating 6 eV resolution on the energy absorbed by the resonator. With some important assumptions, this translates to 20 eV baseline resolution on energy deposited in the substrate. We show that TLS noise dominates this energy resolution estimate. After modifying the design to mitigate TLS noise, we project 5 eV baseline resolution on energy deposited in the substrate (1.5 eV on energy absorbed by the resonator) for an amplifier-white-noise-dominated device. Finally, we present a clear path forward to sub-eV thresholds, which includes installation of a quantum-limited superconducting parametric amplifier and adjustments to the material makeup of our resonators.


title: The Bardeen-Petterson effect in accreting supermassive black-hole binaries: disc breaking and critical obliquity

abstract: The inspiral of supermassive black-hole binaries in gas-rich environment is driven by the presence of an accretion disc and viscous interactions tend to align the spin of the black holes with the orbital angular momentum of the disc. Recent work introduced a new iterative approach to describe the alignment process and the resulting non-linear evolution of the surrounding warped accretion disc. Their model predicted that black-hole spins reach either full alignment or a critical obliquity where solutions to the warp equations cease to exist. In this paper, we show that this critical region corresponds to the disc breaking phenomenon, where the disc is disrupted into two or more discrete sections. We use 3D hydrodynamical simulations to (i) recover the predictions of the semi-analytic model and (ii) unveil a richer phenomenology where the disc exhibits either unsuccessful, single and multiple breaks. We additionally identify hydrodynamic effects such as spiral arms that are able to stabilise the disc against breaking beyond criticality. Our results show that when disc breaking occurs, the ability of black holes and disc to align is compromised and in some cases even prevented as the binary inspirals.


title: Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning

abstract: Offline reinforcement learning -- learning a policy from a batch of data -- is known to be hard for general MDPs. These results motivate the need to look at specific classes of MDPs where offline reinforcement learning might be feasible. In this work, we explore a restricted class of MDPs to obtain guarantees for offline reinforcement learning. The key property, which we call Action Impact Regularity (AIR), is that actions primarily impact a part of the state (an endogenous component) and have limited impact on the remaining part of the state (an exogenous component). AIR is a strong assumption, but it nonetheless holds in a number of real-world domains including financial markets. We discuss algorithms that exploit the AIR property, and provide a theoretical analysis for an algorithm based on Fitted-Q Iteration. Finally, we demonstrate that the algorithm outperforms existing offline reinforcement learning algorithms across different data collection policies in simulated and real world environments where the regularity holds.


title: ModelLight: Model-Based Meta-Reinforcement Learning for Traffic Signal Control

abstract: Traffic signal control is of critical importance for the effective use of transportation infrastructures. The rapid increase of vehicle traffic and changes in traffic patterns make traffic signal control more and more challenging. Reinforcement Learning (RL)-based algorithms have demonstrated their potential in dealing with traffic signal control. However, most existing solutions require a large amount of training data, which is unacceptable for many real-world scenarios. This paper proposes a novel model-based meta-reinforcement learning framework (ModelLight) for traffic signal control. Within ModelLight, an ensemble of models for road intersections and the optimization-based meta-learning method are used to improve the data efficiency of an RL-based traffic light control method. Experiments on real-world datasets demonstrate that ModelLight can outperform state-of-the-art traffic light control algorithms while substantially reducing the number of required interactions with the real-world environment.


title: Anisotropic and isotropic persistent singularities of solutions of the fast diffusion equation

abstract: The aim of this paper is to study a class of positive solutions of the fast diffusion equation with specific persistent singular behavior. First, we construct new types of solutions with anisotropic singularities. Depending on parameters, either these solutions solve the original equation in the distributional sense, or they are not locally integrable in space-time. We show that the latter also holds for solutions with snaking singularities, whose existence has been proved recently by M. Fila, J.R. King, J. Takahashi, and E. Yanagida. Moreover, we establish that in the distributional sense, isotropic solutions whose existence was proved by M. Fila, J. Takahashi, and E. Yanagida in 2019, actually solve the corresponding problem with a moving Dirac source term. Last, we discuss the existence of solutions with anisotropic singularities in a critical case.


title: Two-dimensional Deep Regression for Early Yield Prediction of Winter Wheat

abstract: Crop yield prediction is one of the tasks of Precision Agriculture that can be automated based on multi-source periodic observations of the fields. We tackle the yield prediction problem using a Convolutional Neural Network (CNN) trained on data that combines radar satellite imagery and on-ground information. We present a CNN architecture called Hyper3DNetReg that takes in a multi-channel input image and outputs a two-dimensional raster, where each pixel represents the predicted yield value of the corresponding input pixel. We utilize radar data acquired from the Sentinel-1 satellites, while the on-ground data correspond to a set of six raster features: nitrogen rate applied, precipitation, slope, elevation, topographic position index (TPI), and aspect. We use data collected during the early stage of the winter wheat growing season (March) to predict yield values during the harvest season (August). We present experiments over four fields of winter wheat and show that our proposed methodology yields better results than five compared methods, including multiple linear regression, an ensemble of feedforward networks using AdaBoost, a stacked autoencoder, and two other CNN architectures.


title: Guerrilla Science: creating scientific instruments in `high tropicallity' conditions

abstract: The 1980s was a flourishing time for Cuban physics, with various achievements ranging from the design of several experiments to be performed by a Cuban cosmonaut in 1980, to the synthesis of the first superconductor with critical temperature above 77 K shortly after being originally reported by US scientists. By the early 1990s, there was a profound economic crisis in the country. The situation strongly affected the availability of scientific instruments to Cuban physicists; a process that continues today. Doing science in such `High Tropicallity' scenario has been challenging. Many Cuban researchers have been forced to create competitive instruments with minimal resources. Here we put examples of some of these experimental setups, created by members of the Group of Complex Systems and Statistical Physics, University of Habana. Most of them involve the recycling of old laboratory instruments, and even the use of daily life devices.


title: Spiral magnetism and chiral superconductivity in Kondo-Hubbard triangular lattice model

abstract: Building on the results of Ref. \cite{faye2018phase}, which identified an antiferromagnetic and Kondo singlet phases on the Kondo-Hubbard square lattice, we use the variational cluster approximation (VCA) to investigate the competition between these phases on a two-dimensional triangular lattice with $120^{o}$ spin orientation. In addition to the antiferromagnetic exchange interaction $J_{\perp}$ between the localized (impurity) and conduction (itinerant) electrons, our model includes the local repulsion $U$ of the conduction electrons and the Heisenberg interaction $J_H$ between the impurities. At half-filling, we obtain the quantum phase diagrams in both planes $(J_{\perp}, U J_{\perp})$ and $(J_{\perp}, J_{H})$. We identify a long-range, three-sublattice, spiral magnetic order which dominates the phase diagrams for small $J_{\perp}$ and moderate $U$, while a Kondo singlet phase becomes more stable at large $J_{\perp}$. The transition from the spiral magnetic order to the Kondo singlet phase is a second-order phase transition. In the $(J_{\perp}, J_{H})$ plane, we observe that the effect of $J_H$ is to reduce the Kondo singlet phase, giving more room to the spiral magnetic order phase. It also introduces some small magnetic oscillations of the spiral magnetic order parameter. At finite doping and when spiral magnetism is ignored, we find superconductivity with symmetry order parameter $d+id$, which breaks time reversal symmetry. The superconducting order parameter has a dome centered at around $5\%$ hole doping, and its amplitude decreases with increasing $J_{\perp}$. We show that spiral magnetism can coexist with $d+id$ state and that superconductivity is suppressed, indicating that these two phases are in competition.


title: The effect of viewing angle on the Kennicutt-Schmidt relation of the local molecular clouds

abstract: The Gaia data give us an unprecedented view to the 3-dimensional (3D) structure of molecular clouds in the Solar neighbourhood. We study how the projected areas and masses of clouds, and consequently the Kennicutt-Schmidt relation (KS-relation), depend on the viewing angle. We derive the probability distributions of the projected areas and masses for nine clouds within 400 pc from the Sun using 3D dust distribution data from the literature. We find that the viewing angle can have a dramatic effect on the observed areas and masses of individual clouds. The joint probability distributions of the areas and masses are strongly correlated, relatively flat, and can show multiple peaks. The typical ranges and 50% quartiles of the distributions are roughly 100-200% and 20-80% of the median value, respectively, making viewing angle effects important for all individual clouds. The threshold value used to define the cloud areas is also important; our analysis suggests that the clouds become more anisotropic for smaller thresholds (larger scales). On average, the areas and masses of the plane-of-the-sky and face-on projections agree, albeit with a large scatter. This suggests that sample averages of areas and masses are relatively free of viewing angle effects, which is important to facilitate comparisons of extragalactic and galactic data. Ultimately, our results demonstrate that a cloud's location in the KS-relation is affected by viewing angle in a non-trivial manner. However, the KS-relation of our sample as a whole is not strongly affected by these effects, because the co-variance of the areas and masses causes the observed mean column density to remain relatively constant.


title: Learning Robust Scheduling with Search and Attention

abstract: Allocating physical layer resources to users based on channel quality, buffer size, requirements and constraints represents one of the central optimization problems in the management of radio resources. The solution space grows combinatorially with the cardinality of each dimension making it hard to find optimal solutions using an exhaustive search or even classical optimization algorithms given the stringent time requirements. This problem is even more pronounced in MU-MIMO scheduling where the scheduler can assign multiple users to the same time-frequency physical resources. Traditional approaches thus resort to designing heuristics that trade optimality in favor of feasibility of execution. In this work we treat the MU-MIMO scheduling problem as a tree-structured combinatorial problem and, borrowing from the recent successes of AlphaGo Zero, we investigate the feasibility of searching for the best performing solutions using a combination of Monte Carlo Tree Search and Reinforcement Learning. To cater to the nature of the problem at hand, like the lack of an intrinsic ordering of the users as well as the importance of dependencies between combinations of users, we make fundamental modifications to the neural network architecture by introducing the self-attention mechanism. We then demonstrate that the resulting approach is not only feasible but vastly outperforms state-of-the-art heuristic-based scheduling approaches in the presence of measurement uncertainties and finite buffers.


title: The variational theorem for the scattering length in low dimensions and its applications to universal systems

abstract: The variational theorem for the scattering length [Cherny and Shanenko, Phys. Rev. E 62, 1646 (2000)] is extended to one and two dimensions. It is shown that the arising singularities can be treated in terms of generalized functions. The variational theorem is applied to a universal many-body system of spinless bosons. The extended Tan adiabatic sweep theorem is obtained for interacting potentials of arbitrary shape with the variation of the one-particle dispersion. The pair distribution function is calculated at short distances by means of the variation of the potential. The suggested scheme is based on simple quantum mechanics; it is physically transparent and free from any divergence.


title: Further Results on Pinnacle Sets

abstract: The study of pinnacle sets has been a recent area of interest in combinatorics. Given a permutation, its pinnacle set is the set of all values larger than the values on either side of it. Largely inspired by conjectures posed by Davis, Nelson, Petersen, and Tenner and also results proven recently by Fang, this paper aims to add to our understanding of pinnacle sets. In particular, we give a simpler and more combinatorial proof of a weighted sum formula previously proven by Fang. Additionally, we give a recursion for counting the admissible orderings of the elements of a potential pinnacle set. Finally, we give another way of viewing pinnacle sets that sheds light on their structure and also yields a recursion for counting the number of permutations with that pinnacle set.


title: Sidon-Ramsey and $B_{h}$-Ramsey numbers

abstract: For a given positive integer $k$, the Sidon-Ramsey number $\SR(k)$ is defined as the minimum value of $n$ such that, in every partition of the set $[1, n]$ into $k$ parts, there exists a part that contains two distinct pairs of numbers with the same sum. In other words, there is a part that is not a Sidon set. In this paper, we investigate the asymptotic behavior of this parameter and two generalizations of it. The first generalization involves replacing pairs of numbers with $h$-tuples, such that in every partition of $[1, n]$ into $k$ parts, there exists a part that contains two distinct $h$-tuples with the same sum. Alternatively, there is a part that is not a $B_h$ set. The second generalization considers the scenario where the interval $[1, n]$ is substituted with a non-necessarily symmetric $d$-dimensional box of the form $\prod_{i=1}^d[1,n_i]$. For the general case of $h\geq 3$ and non-symmetric boxes, before applying our method to obtain the Ramsey-type result, we needed to establish an upper bound for the corresponding density parameter.


title: Minimal asymmetric hypergraphs

abstract: In this paper, we prove that for any $k\ge 3$, there exist infinitely many minimal asymmetric $k$-uniform hypergraphs. This is in a striking contrast to $k=2$, where it has been proved recently that there are exactly $18$ minimal asymmetric graphs. We also determine, for every $k\ge 1$, the minimum size of an asymmetric $k$-uniform hypergraph.


title: Regional Topics in British Grocery Retail Transactions

abstract: Understanding the customer behaviours behind transactional data has high commercial value in the grocery retail industry. Customers generate millions of transactions every day, choosing and buying products to satisfy specific shopping needs. Product availability may vary geographically due to local demand and local supply, thus driving the importance of analysing transactions within their corresponding store and regional context. Topic models provide a powerful tool in the analysis of transactional data, identifying topics that display frequently-bought-together products and summarising transactions as mixtures of topics. We use the Segmented Topic Model (STM) to capture customer behaviours that are nested within stores. STM not only provides topics and transaction summaries but also topical summaries at the store level that can be used to identify regional topics. We summarised the posterior distribution of STM by post-processing multiple posterior samples and selecting semantic modes represented as recurrent topics. We use linear Gaussian process regression to model topic prevalence across British territory while accounting for spatial autocorrelation. We implement our methods on a dataset of transactional data from a major UK grocery retailer and demonstrate that shopping behaviours may vary regionally and nearby stores tend to exhibit similar regional demand.


title: Ultraviolet Spectropolarimetry with Polstar: Interstellar Medium Science

abstract: Continuum polarization over the UV-to-microwave range is due to dichroic extinction (or emission) by asymmetric, aligned dust grains. Because of both grain alignment and scattering physics, the wavelength dependence of the polarization, generally, traces the size of the aligned grains. Ultraviolet (UV) polarimetry therefore provides a unique probe of the smallest dust grains (diameter$<0.09\mu$m), their mineralogy and interaction with the environment. However, the current observational status of interstellar UV polarization is very poor with less than 30 lines of sight probed. With the modern, quantitative and well-tested, theory of interstellar grain alignment now available, we have the opportunity to advance the understanding of the interstellar medium by executing a systematic study of the UV polarization in the ISM of the Milky Way and near-by galaxies. The Polstar mission will provide the sensitivity and observing time needed to carry out such a program, addressing questions of dust composition as a function of size and location, radiation- and magnetic-field characteristics as well as unveiling the carrier of the 2175\AA\ extinction feature. In addition, using high-resolution UV line spectroscopy Polstar will search for and probe the alignment of, and polarization from, aligned atoms and ions - so called "Ground State Alignment", a potentially powerful new probe of magnetic fields in the diffuse ISM.


title: A Constrained Optimal Control Framework for Vehicle Platoons with Delayed Communication

abstract: Vehicle platooning using connected and automated vehicles (CAVs) has attracted considerable attention. In this paper, we address the problem of optimal coordination of CAV platoons at a highway on-ramp merging. We present a single-level constrained optimal control framework that optimizes fuel economy and travel time of the platoons while satisfying the state, control, and safety constraints. We also explore the effect of delayed communication among the CAV platoons and propose a robust coordination framework to enforce lateral and rear-end collision avoidance constraints in the presence of bounded delays. We provide a closed-form analytical solution of the optimal control problem with safety guarantees that can be implemented in real time. Finally, we validate the effectiveness of the proposed control framework using a high-fidelity commercial simulation environment.


title: Rigidity for Monogamy-of-Entanglement Games

abstract: In a monogamy-of-entanglement (MoE) game, two players who do not communicate try to simultaneously guess a referee's measurement outcome on a shared quantum state they prepared. We study the prototypical example of a game where the referee measures in either the computational or Hadamard basis and informs the players of her choice. We show that this game satisfies a rigidity property similar to what is known for some nonlocal games. That is, in order to win optimally, the players' strategy must be of a specific form, namely a convex combination of four unentangled optimal strategies generated by the Breidbart state. We extend this to show that strategies that win near-optimally must also be near an optimal state of this form. We also show rigidity for multiple copies of the game played in parallel. We give three applications: (1) We construct for the first time a weak string erasure (WSE) scheme where the security does not rely on limitations on the parties' hardware. Instead, we add a prover, which enables security via the rigidity of this MoE game. (2) We show that the WSE scheme can be used to achieve bit commitment in a model where it is impossible classically. (3) We achieve everlasting-secure randomness expansion in the model of trusted but leaky measurement and untrusted preparation and measurements by two isolated devices, while relying only on the temporary assumption of pseudorandom functions. This achieves randomness expansion without the need for shared entanglement.


title: Learning Graph Neural Networks for Multivariate Time Series Anomaly Detection

abstract: In this work, we propose GLUE (Graph Deviation Network with Local Uncertainty Estimation), building on the recently proposed Graph Deviation Network (GDN). GLUE not only automatically learns complex dependencies between variables and uses them to better identify anomalous behavior, but also quantifies its predictive uncertainty, allowing us to account for the variation in the data as well to have more interpretable anomaly detection thresholds. Results on two real world datasets tell us that optimizing the negative Gaussian log likelihood is reasonable because GLUE's forecasting results are at par with GDN and in fact better than the vector autoregressor baseline, which is significant given that GDN directly optimizes the MSE loss. In summary, our experiments demonstrate that GLUE is competitive with GDN at anomaly detection, with the added benefit of uncertainty estimations. We also show that GLUE learns meaningful sensor embeddings which clusters similar sensors together.


title: On the Stokes system in cylindrical domains

abstract: The existence of solutions to some initial-boundary value problem for the Stokes system is proved. The result is shown in Sobolev-Slobodetskii spaces such that the velocity belongs to $W_r^{2+\sigma,1+\sigma/2}(\Omega^T)$ and gradient of pressure to $W_r^{\sigma,\sigma/2}(\Omega^T)$, where $r\in(1,\infty)$, $\sigma\in(0,1)$, $\Omega^T=\Omega\times(0,T)$. These are special Besov spaces: $B_{r,r}^{2+\sigma,1+\sigma/2}(\Omega^T)$ and $B_{r,r}^{\sigma,\sigma/2}(\Omega^T)$, respectively. The existence is proved by the technique of regularizer.


title: Finding the Minimum Norm and Center Density of Cyclic Lattices via Nonlinear Systems

abstract: Lattices with a circulant generator matrix represent a subclass of cyclic lattices. This subclass can be described by a basis containing a vector and its circular shifts. In this paper, we present certain conditions under which the norm expression of an arbitrary vector of this type of lattice is substantially simplified, and then investigate some of the lattices obtained under these conditions. We exhibit systems of nonlinear equations whose solutions yield lattices as dense as $D_n$ in odd dimensions. As far as even dimensions, we obtain lattices denser than $A_n$ as long as $n \in 2\mathbb{Z} \backslash 4\mathbb{Z}$.


title: Mitigated barren plateaus in the time-nonlocal optimization of analog quantum-algorithm protocols

abstract: Quantum machine learning has emerged as a promising utilization of near-term quantum computation devices. However, algorithmic classes such as variational quantum algorithms have been shown to suffer from barren plateaus due to vanishing gradients in their parameters spaces. We present an approach to quantum algorithm optimization that is based on trainable Fourier coefficients of Hamiltonian system parameters. Our ansatz is exclusive to the extension of discrete quantum variational algorithms to analog quantum optimal control schemes and is non-local in time. We demonstrate the viability of our ansatz on the objectives of compiling the quantum Fourier transform and preparing ground states of random problem Hamiltonians. In comparison to the temporally local discretization ans\"atze in quantum optimal control and parameterized circuits, our ansatz exhibits faster and more consistent convergence. We uniformly sample objective gradients across the parameter space and find that in our ansatz the variance decays at a non-exponential rate with the number of qubits, while it decays at an exponential rate in the temporally local benchmark ansatz. This indicates the mitigation of barren plateaus in our ansatz. We propose our ansatz as a viable candidate for near-term quantum machine learning.


title: Alternatives to $\Lambda$: Torsion, Generalized Couplings, and Scale Invariance

abstract: We present a comparative analysis of current observational constraints on three recently discussed alternative models for explaining the low-redshift acceleration of the universe: the so-called steady-state torsion model, the generalized coupling model, and the scale invariant model by Maeder (an example of a broader class which we also briefly study) These are compared to the traditional parameterization of Chevallier, Polarski and Linder. Each of the candidate models is studied under two different assumptions: as genuine alternatives to $\Lambda$CDM (where a new degree of freedom would be expected to explain the recent acceleration of the universe without any cosmological constant) and as parametric extensions of $\Lambda$CDM (where both a cosmological constant and the new mechanism can coexist, and the relative contributions of both are determined by the data). Our comparative analysis suggests that, from a phenomenological point of view, all such models neatly divide into two classes, with different observational consequences.


title: Kondo effect in a quantum dot embedded between topological superconductors

abstract: In this article, we study the quantum transport through a single-level quantum-dot in Kondo regime, coupled to current leads and embedded between two one-dimensional topological superconductors, each hosting Majorana zero modes at their ends. The Kondo effect in the quantum dot is modeled by mean-field finite-$U$ auxiliary bosons approximation and solved by using the non-equilibrium Green's function approach. First, we calculate the density of states of the quantum dot, and then both the current and the differential conductance through the quantum dot in order to characterize the interplay between the Kondo resonance and Majorana zero modes. The results reveal that the presence of Majorana zero modes modifies the Kondo resonance exhibiting an anti-resonance structure in the density of states, leading to obtain spin-resolved behavior of the measurable current and differential conductance. We believe our findings could be helpful to understand the behavior of the Kondo effect in connection with Majorana zero modes.


title: Assessing gender bias in medical and scientific masked language models with StereoSet

abstract: NLP systems use language models such as Masked Language Models (MLMs) that are pre-trained on large quantities of text such as Wikipedia create representations of language. BERT is a powerful and flexible general-purpose MLM system developed using unlabeled text. Pre-training on large quantities of text also has the potential to transparently embed the cultural and social biases found in the source text into the MLM system. This study aims to compare biases in general purpose and medical MLMs with the StereoSet bias assessment tool. The general purpose MLMs showed significant bias overall, with BERT scoring 57 and RoBERTa scoring 61. The category of gender bias is where the best performances were found, with 63 for BERT and 73 for RoBERTa. Performances for profession, race, and religion were similar to the overall bias scores for the general-purpose MLMs.Medical MLMs showed more bias in all categories than the general-purpose MLMs except for SciBERT, which showed a race bias score of 55, which was superior to the race bias score of 53 for BERT. More gender (Medical 54-58 vs. General 63-73) and religious (46-54 vs. 58) biases were found with medical MLMs. This evaluation of four medical MLMs for stereotyped assessments about race, gender, religion, and profession showed inferior performance to general-purpose MLMs. These medically focused MLMs differ considerably in training source data, which is likely the root cause of the differences in ratings for stereotyped biases from the StereoSet tool.


title: Effects of Cuscuton dynamics on braneworld configurations in the scalar-tensor representation of $f\left(R,T\right)$ gravity

abstract: In this work we study braneworld configurations in the scalar-tensor representation of the $f\left(R,T\right)$ gravity theory in the presence of a Cuscuton term in the source field matter Lagrangian. We start by deriving the scalar-tensor representation of the theory and obtaining its respective equations of motion. We then introduce the standard metric for a flat braneworld model with one extra dimension for the general case of a $f\left(R,T\right)$ theory and study two different models for the source field. Given the complexity of the field equations, these solutions are obtained numerically. In these cases, the Cuscuton term effectively amplifies the effect, by increasing the height of the stability potential barrier and, consequently, the depth of the minimum of the graviton zero-mode on the brane. Finally, we study the particular cases of $F(R)+T$ and $R+G\left(T\right)$, for which only the scalar fields $\varphi$ or $\psi$ are present, respectively, and we prove that the presence of the scalar field $\varphi$ is essential in the development of internal structure on the brane.


title: Quantum approximation algorithms for many-body and electronic structure problems

abstract: Computing many-body ground state energies and resolving electronic structure calculations are fundamental problems for fields such as quantum chemistry or condensed matter. Several quantum computing algorithms that address these problems exist, although it is often challenging to establish rigorous bounds on their performances. Here we detail three algorithms that produce approximate ground states for many-body and electronic structure problems, generalizing some previously known results for 2-local Hamiltonians. Each method comes with asymptotic bounds on the energies produced. The first one produces a separable state which improves on random product states. We test it on a spinless Hubbard model, validating numerically the theoretical result. The other two algorithms produce entangled states via shallow or deep circuits, improving on the energies of given initial states. We demonstrate their performance via numerical experiments on a 2-dimensional Hubbard model, starting from a checkerboard product state, as well as on some chemistry Hamiltonians, using the Hartree-Fock state as reference. In both cases, we show that the approximate energies produced are close to the exact ones. These algorithms provide a way to systematically improve the estimation of ground state energies and can be used stand-alone or in conjunction with existing quantum algorithms for ground states.


title: Joint State and Input Estimation of Agent Based on Recursive Kalman Filter Given Prior Knowledge

abstract: Modern autonomous systems are purposed for many challenging scenarios, where agents will face unexpected events and complicated tasks. The presence of disturbance noise with control command and unknown inputs can negatively impact robot performance. Previous research of joint input and state estimation separately studied the continuous and discrete cases without any prior information. This paper combines the continuous and discrete input cases into a unified theory based on the Expectation-Maximum (EM) algorithm. By introducing prior knowledge of events as the constraint, inequality optimization problems are formulated to determine a gain matrix or dynamic weights to realize an optimal input estimation with lower variance and more accurate decision-making. Finally, statistical results from experiments show that our algorithm owns 81\% improvement of the variance than KF and 47\% improvement than RKF in continuous space; a remarkable improvement of right decision-making probability of our input estimator in discrete space, identification ability is also analyzed by experiments.


title: Improving the performance of reputation evaluating by combining the structure of network and nonlinear recovery

abstract: Characterizing the reputation of an evaluator is particularly significant for consumer to obtain useful information from online rating systems. Furthermore, to overcome the difficulties with spam attacks on the rating system and to get the reliable on reputation of evaluators is an important topic in the research. We have noticed that most of the existing evaluator reputation evaluation methods only rely on the evaluator's rating information and abnormal behavior to establish a reputation system, which miss the systematic aspects of the rating systems including the structure of the evaluator-object bipartite network and the effects of nonlinear effects. This study we propose an improved reputation evaluation method by combining the structure of the evaluator-object bipartite network with rating information and introducing penalty and reward factors. This novel method has been empirically analyzed on a large-scale artificial data set and two real data sets. The results show that the proposed method is more accurate and robust in the presence of spam attacks. This fresh idea contributes a new way for building reputation evaluation models in sparse bipartite rating network.


title: Monotone Inclusions, Acceleration and Closed-Loop Control

abstract: We propose and analyze a new dynamical system with a closed-loop control law in a Hilbert space $\mathcal{H}$, aiming to shed light on the acceleration phenomenon for \textit{monotone inclusion} problems, which unifies a broad class of optimization, saddle point and variational inequality (VI) problems under a single framework. Given $A: \mathcal{H} \rightrightarrows \mathcal{H}$ that is maximal monotone, we propose a closed-loop control system that is governed by the operator $I - (I + \lambda(t)A)^{-1}$, where a feedback law $\lambda(\cdot)$ is tuned by the resolution of the algebraic equation $\lambda(t)\|(I + \lambda(t)A)^{-1}x(t) - x(t)\|^{p-1} = \theta$ for some $\theta > 0$. Our first contribution is to prove the existence and uniqueness of a global solution via the Cauchy-Lipschitz theorem. We present a simple Lyapunov function for establishing the weak convergence of trajectories via the Opial lemma and strong convergence results under additional conditions. We then prove a global ergodic convergence rate of $O(t^{-(p+1)/2})$ in terms of a gap function and a global pointwise convergence rate of $O(t^{-p/2})$ in terms of a residue function. Local linear convergence is established in terms of a distance function under an error bound condition. Further, we provide an algorithmic framework based on the implicit discretization of our system in a Euclidean setting, generalizing the large-step HPE framework. Although the discrete-time analysis is a simplification and generalization of existing analyses for a bounded domain, it is largely motivated by the above continuous-time analysis, illustrating the fundamental role that the closed-loop control plays in acceleration in monotone inclusion. A highlight of our analysis is a new result concerning $p^{th}$-order tensor algorithms for monotone inclusion problems, complementing the recent analysis for saddle point and VI problems.


title: LIMEcraft: Handcrafted superpixel selection and inspection for Visual eXplanations

abstract: The increased interest in deep learning applications, and their hard-to-detect biases result in the need to validate and explain complex models. However, current explanation methods are limited as far as both the explanation of the reasoning process and prediction results are concerned. They usually only show the location in the image that was important for model prediction. The lack of possibility to interact with explanations makes it difficult to verify and understand exactly how the model works. This creates a significant risk when using the model. The risk is compounded by the fact that explanations do not take into account the semantic meaning of the explained objects. To escape from the trap of static and meaningless explanations, we propose a tool and a process called LIMEcraft. LIMEcraft enhances the process of explanation by allowing a user to interactively select semantically consistent areas and thoroughly examine the prediction for the image instance in case of many image features. Experiments on several models show that our tool improves model safety by inspecting model fairness for image pieces that may indicate model bias. The code is available at: http://github.com/MI2DataLab/LIMEcraft


title: TimeVAE: A Variational Auto-Encoder for Multivariate Time Series Generation

abstract: Recent work in synthetic data generation in the time-series domain has focused on the use of Generative Adversarial Networks. We propose a novel architecture for synthetically generating time-series data with the use of Variational Auto-Encoders (VAEs). The proposed architecture has several distinct properties: interpretability, ability to encode domain knowledge, and reduced training times. We evaluate data generation quality by similarity and predictability against four multivariate datasets. We experiment with varying sizes of training data to measure the impact of data availability on generation quality for our VAE method as well as several state-of-the-art data generation methods. Our results on similarity tests show that the VAE approach is able to accurately represent the temporal attributes of the original data. On next-step prediction tasks using generated data, the proposed VAE architecture consistently meets or exceeds performance of state-of-the-art data generation methods. While noise reduction may cause the generated data to deviate from original data, we demonstrate the resulting de-noised data can significantly improve performance for next-step prediction using generated data. Finally, the proposed architecture can incorporate domain-specific time-patterns such as polynomial trends and seasonalities to provide interpretable outputs. Such interpretability can be highly advantageous in applications requiring transparency of model outputs or where users desire to inject prior knowledge of time-series patterns into the generative model.


title: VisualEnv: visual Gym environments with Blender

abstract: In this paper VisualEnv, a new tool for creating visual environment for reinforcement learning is introduced. It is the product of an integration of an open-source modelling and rendering software, Blender, and a python module used to generate environment model for simulation, OpenAI Gym. VisualEnv allows the user to create custom environments with photorealistic rendering capabilities and full integration with python. The framework is described and tested on a series of example problems that showcase its features for training reinforcement learning agents.


title: Virtual Reality for Synergistic Surgical Training and Data Generation

abstract: Surgical simulators not only allow planning and training of complex procedures, but also offer the ability to generate structured data for algorithm development, which may be applied in image-guided computer assisted interventions. While there have been efforts on either developing training platforms for surgeons or data generation engines, these two features, to our knowledge, have not been offered together. We present our developments of a cost-effective and synergistic framework, named Asynchronous Multibody Framework Plus (AMBF+), which generates data for downstream algorithm development simultaneously with users practicing their surgical skills. AMBF+ offers stereoscopic display on a virtual reality (VR) device and haptic feedback for immersive surgical simulation. It can also generate diverse data such as object poses and segmentation maps. AMBF+ is designed with a flexible plugin setup which allows for unobtrusive extension for simulation of different surgical procedures. We show one use case of AMBF+ as a virtual drilling simulator for lateral skull-base surgery, where users can actively modify the patient anatomy using a virtual surgical drill. We further demonstrate how the data generated can be used for validating and training downstream computer vision algorithms


title: Geometry of triple junctions during grain boundary premelting

abstract: Grain Boundaries (GB) whose energy is larger than twice the energy of the solid/liquid interface exhibit the premelting phenomenon, for which an atomically thin liquid layer develops at temperatures slightly below the bulk melting temperature. Premelting can have a severe impact on the structural integrity of a polycrystalline material and on the mechanical high temperature properties, also in the context of crack formation during the very last stages of solidification. The triple junction between a dry GB and the two solid/liquid interfaces of a liquid layer propagating along the GB cannot be defined from macroscopic continuum properties and surface tension equilibria in terms of Young's law. We show how incorporating atomistic scale physics using a disjoining potential regularizes the state of the triple junction and yields an equilibrium with a well-defined microscopic contact angle. We support this finding by dynamical simulations using a multi-phase field model with obstacle potential for both purely kinetic and diffusive conditions. Generally, our results should provide insights on the dynamics of GB phase transitions, of which the complex phenomena associated with liquid metal embrittlement are an example.


title: Moebius: Metaprogramming using Contextual Types -- The stage where System F can pattern match on itself (Long Version)

abstract: We describe the foundation of the metaprogramming language, Moebius, which supports the generation of polymorphic code and, more importantly the analysis of polymorphic code via pattern matching. Moebius has two main ingredients: 1) we exploit contextual modal types to describe open code together with the context in which it is meaningful. In Moebius, open code can depend on type and term variables (level 0) whose values are supplied at a later stage, as well as code variables (level 1) that stand for code templates supplied at a later stage. This leads to a multi-level modal lambda-calculus that supports System-F style polymorphism and forms the basis for polymorphic code generation. 2) we extend the multi-level modal lambda-calculus to support pattern matching on code. As pattern matching on polymorphic code may refine polymorphic type variables, we extend our type-theoretic foundation to generate and track typing constraints that arise. We also give an operational semantics and prove type preservation. Our multi-level modal foundation for Moebius provides the appropriate abstractions for both generating and pattern matching on open code without committing to a concrete representation of variable binding and contexts. Hence, our work is a step towards building a general type-theoretic foundation for multi-staged metaprogramming that, on the one hand, enforces strong type guarantees and, on the other hand, makes it easy to generate and manipulate code. This will allow us to exploit the full potential of metaprogramming without sacrificing the reliability of and trust in the code we are producing and running.


title: A Chronology of Set Cover Inapproximability Results

abstract: It is well-known that an algorithm exists which approximates the NP-complete problem of Set Cover within a factor of ln(n), and it was recently proven that this approximation ratio is optimal unless P = NP. This optimality result is the product of many advances in characterizations of NP, in terms of interactive proof systems and probabilistically checkable proofs (PCP), and improvements to the analyses thereof. However, as a result, it is difficult to extract the development of Set Cover approximation bounds from the greater scope of proof system analysis. This paper attempts to present a chronological progression of results on lower-bounding the approximation ratio of Set Cover. We analyze a series of proofs of progressively better bounds and unify the results under similar terminologies and frameworks to provide an accurate comparison of proof techniques and their results. We also treat many preliminary results as black-boxes to better focus our analysis on the core reductions to Set Cover instances. The result is alternative versions of several hardness proofs, beginning with initial inapproximability results and culminating in a version of the proof that ln(n) is a tight lower bound.


title: All classes of informationally complete symmetric measurements in finite dimensions

abstract: A broad class of informationally complete symmetric measurements is introduced. It can be understood as a common generalization of symmetric, informationally complete POVMs and mutually unbiased bases. Additionally, it provides a natural way to define two new families of mutually unbiased symmetric measurement operators in any finite dimension. We show a general method of their construction, together with an example of an optimal measurement. Finally, we analyze the properties of symmetric measurements and provide applications in entropic relations and entanglement detection.


title: The Partially Observable History Process

abstract: We introduce the partially observable history process (POHP) formalism for reinforcement learning. POHP centers around the actions and observations of a single agent and abstracts away the presence of other players without reducing them to stochastic processes. Our formalism provides a streamlined interface for designing algorithms that defy categorization as exclusively single or multi-agent, and for developing theory that applies across these domains. We show how the POHP formalism unifies traditional models including the Markov decision process, the Markov game, the extensive-form game, and their partially observable extensions, without introducing burdensome technical machinery or violating the philosophical underpinnings of reinforcement learning. We illustrate the utility of our formalism by concisely exploring observable sequential rationality, examining some theoretical properties of general immediate regret minimization, and generalizing the extensive-form regret minimization (EFR) algorithm.


title: The Nature and Likely Redshift of GLEAM J0917-0012

abstract: We previously reported a putative detection of a radio galaxy at z=10.15, selected from the GaLactic and Extragalactic All-sky Murchison Widefield Array (GLEAM) survey. The redshift of this source, GLEAM J0917-0012, was based upon three weakly detected molecular emission lines observed with the Atacama Large Millimetre Array (ALMA). In order to confirm this result, we conducted deep spectroscopic follow-up observations with ALMA and the Karl Jansky Very Large Array (VLA). The ALMA observations targeted the same CO lines previously reported in Band 3 (84-115GHz) and the VLA targeted the CO(4-3) and [CI(1-0)] lines for an independent confirmation in Q-band (41 and 44GHz). Neither observation detected any emission lines, removing support for our original interpretation. Adding publicly available optical data from the Hyper Suprime-Cam survey, WISE and Herschel Space Observatory in the infrared, as well as <10GHz polarisation and 162MHz inter-planetary scintillation observations, we model the physical and observational characteristics of GLEAM J0917-0012 as a function of redshift. Comparing these predictions and observational relations to the data, we are able to constrain its nature and distance. We argue that if GLEAM J0917-0012 is at z<3 then it has an extremely unusual nature, and that the more likely solution is that the source lies above z=7.


title: The GLEAMing of the First Supermassive Black Holes

abstract: We present the results of a new selection technique to identify powerful ($L_{\rm 500\,MHz}>10^{27}\,$WHz$^{-1}$) radio galaxies towards the end of the Epoch of Reionisation. Our method is based on the selection of bright radio sources showing radio spectral curvature at the lowest frequency ($\sim 100\,$MHz) combined with the traditional faintness in $K-$band for high redshift galaxies. This technique is only possible thanks to the Galactic and Extra-galactic All-sky Murchison wide-field Array (GLEAM) survey which provides us with 20 flux measurements across the $70-230\,$MHz range. For this pilot project, we focus on the GAMA 09 field to demonstrate our technique. We present the results of our follow-up campaign with the Very Large Telescope, Australian Telescope Compact Array and the Atacama Large Millimetre Array (ALMA) to locate the host galaxy and to determine its redshift. Of our four candidate high redshift sources, we find two powerful radio galaxies in the $1<z<3$ range, confirm one at $z=5.55$ and present a very tentative $z=10.15$ candidate. Their near-infrared and radio properties show that we are preferentially selecting some of the most radio luminous objects, hosted by massive galaxies very similar to powerful radio galaxies at $1<z<5$. Our new selection and follow-up technique for finding powerful radio galaxies at $z>5.5$ has a high $25-50\%$ success rate.


title: El impacto del buffer en la calidad de servicio

abstract: The response in data flows transmission in real time is analyzed, for access network scenarios, in which said flows converge on an outgoing link, competing to achieve a certain level of quality of service. The concurrence of these types of flows can generate bursts of packets, which in certain circumstances can compromise the capacity of the buffers to absorb packets in congestion periods. In addition, an analysis of the characteristics of buffers in access devices is presented, especially their size and packet loss. In particular, it describes how these characteristics can affect the quality of multimedia applications when bursty traffic is generated, it also presents possible effects on the traffic of other applications that share a common link.


title: Propagating brightenings in small loop-like structures in the quiet Sun corona: Observations from Solar Orbiter/EUI

abstract: Brightenings observed in the solar extreme-ultraviolet (EUV) images are generally interpreted as signatures of micro- or nanoflares occurring at the transition region or coronal temperatures. Recent observations with the Extreme Ultraviolet Imager (EUI) on board Solar Orbiter have revealed the smallest of such brightenings (termed campfires) in the quiet-Sun corona. Analyzing EUI 174 {\AA} data at a resolution of about 400 km on the Sun with a cadence of 5 s from 30-May-2020, we report here a number of cases where these campfires exhibit propagating signatures along their apparent small (3-5 Mm) loop-like structures. Measured propagation speeds are generally between 25 km s$^{-1}$ and 60 km s$^{-1}$. These apparent motions would be slower than the local sound speed if the loop plasma is assumed to be at a million Kelvin. Furthermore, these brightenings exhibit non-trivial propagation characteristics such as bifurcation, merging, reflection and repeated plasma ejections. We suggest that these features are manifestations of the internal dynamics of these small-scale magnetic structures and could provide important insights into the dynamic response ($\sim$40 s) of the loop plasma to the heating events as well as into the locations of the heating events themselves.


title: Regularity of Minimizers for a General Class of Constrained Energies in Two-Dimensional Domains with Applications to Liquid Crystals

abstract: We investigate minimizers defined on a bounded domain $\Omega$ in $\mathbb{R}^2$ for singular constrained energy functionals that include Ball and Majumdar's modification of the Landau-de Gennes Q-tensor model for nematic liquid crystals. We prove regularity of minimizers with finite energy and show that their range on compact subdomains of $\Omega$ does not intersect the boundary of the constraining set.


title: Physics-informed neural networks via stochastic Hamiltonian dynamics learning

abstract: In this paper, we propose novel learning frameworks to tackle optimal control problems by applying the Pontryagin maximum principle and then solving for a Hamiltonian dynamical system. Applying the Pontryagin maximum principle to the original optimal control problem shifts the learning focus to reduced Hamiltonian dynamics and corresponding adjoint variables. Then, the reduced Hamiltonian networks can be learned by going backwards in time and then minimizing loss function deduced from the Pontryagin maximum principle's conditions. The learning process is further improved by progressively learning a posterior distribution of the reduced Hamiltonians. This is achieved through utilizing a variational autoencoder which leads to more effective path exploration process. We apply our learning frameworks called NeuralPMP to various control tasks and obtain competitive results.


title: Modeling Fluid Polyamorphism Through a Maximum-Valence Approach

abstract: We suggest a simple model to describe polyamorphism in single-component fluids using a maximum-valence approach. The model contains three types of interactions: i) atoms attract each other by van der Waals forces that generate a liquid-gas transition at low pressures, ii) atoms may form covalent bonds that induce association, and iii) bonded atoms attract or repel each other stronger than non-bonded atoms, thus generating liquid-liquid separation. As an example, we qualitatively compare this model with the behavior of liquid sulfur and show that condition (iii) generates a liquid-liquid phase transition in addition to the liquid-gas phase transition.


title: Learning-Based Symbol Level Precoding: A Memory-Efficient Unsupervised Learning Approach

abstract: Symbol level precoding (SLP) has been proven to be an effective means of managing the interference in a multiuser downlink transmission and also enhancing the received signal power. This paper proposes an unsupervised learning based SLP that applies to quantized deep neural networks (DNNs). Rather than simply training a DNN in a supervised mode, our proposal unfolds a power minimization SLP formulation in an imperfect channel scenario using the interior point method (IPM) proximal `log' barrier function. We use binary and ternary quantizations to compress the DNN's weight values. The results show significant memory savings for our proposals compared to the existing full-precision SLP-DNet with significant model compression of ~21x and ~13x for both binary DNN-based SLP (RSLP-BDNet) and ternary DNN-based SLP (RSLP-TDNets), respectively.


title: Remarks on the Local Irregularity Conjecture

abstract: A locally irregular graph is a graph in which the end-vertices of every edge have distinct degrees. A locally irregular edge coloring of a graph G is any edge coloring of G such that each of the colors induces a locally irregular subgraph of G. A graph G is colorable if it admits a locally irregular edge coloring. The locally irregular chromatic index of a colorable graph G, denoted by CHI'irr(G), is the smallest number of colors used by a locally irregular edge coloring of G. The Local Irregularity Conjecture claims that all graphs, except odd length path, odd length cycle and a certain class of cacti, are colorable by 3 colors. As the conjecture is valid for graphs with large minimum degree and all non-colorable graphs are vertex disjoint cacti, we take direction to study rather sparse graphs. In this paper, we give a cactus graph B which contradicts this conjecture, i.e. CHI'irr(B) = 4. Nevertheless, we show that the conjecture holds for unicyclic graphs and cacti with vertex disjoint cycles.


title: Biologically inspired speech emotion recognition

abstract: Conventional feature-based classification methods do not apply well to automatic recognition of speech emotions, mostly because the precise set of spectral and prosodic features that is required to identify the emotional state of a speaker has not been determined yet. This paper presents a method that operates directly on the speech signal, thus avoiding the problematic step of feature extraction. Furthermore, this method combines the strengths of the classical source-filter model of human speech production with those of the recently introduced liquid state machine (LSM), a biologically-inspired spiking neural network (SNN). The source and vocal tract components of the speech signal are first separated and converted into perceptually relevant spectral representations. These representations are then processed separately by two reservoirs of neurons. The output of each reservoir is reduced in dimensionality and fed to a final classifier. This method is shown to provide very good classification performance on the Berlin Database of Emotional Speech (Emo-DB). This seems a very promising framework for solving efficiently many other problems in speech processing.


title: Every smoothly bounded p-convex domain in R^n admits a p-plurisubharmonic defining function

abstract: We show that every bounded domain $D$ in $\mathbb R^n$ with smooth $p$-convex boundary for $2\le p < n$ admits a smooth defining function $\rho$ which is $p$-plurisubharmonic on $\overline D$; if in addition $bD$ has no $p$-flat points then $\rho$ can be chosen strongly $p$-plurisubharmonic on $D$. If $bD$ is $2$-convex then for any open connected conformal surface $M$ and conformal harmonic map $f:M\to \overline D$, either $f(M)\subset D$ or $f(M)\subset bD$. In particular, every conformal harmonic map $\mathbb D^*\to D$ from the punctured disc extends to a conformal harmonic map $\mathbb D\to D$.


title: Falling Atoms

abstract: Atomic fountain clocks launch laser-cooled balls of atoms upwards to some height $h$ in the local gravitational field where they experience both second-order Doppler shifts and gravitational frequency shifts. It is shown in this paper that the net shift, relative to a reference at the launch point, is $ g h/3 c^2$. We derive the next most significant correction to this expression, and show that the value of $g$ should be corrected for Coriolis and centripetal effects.


title: A Family of Multi-Asset Automated Market Makers

abstract: We present a family of multi-asset automated market makers whose liquidity curves are derived from the financial principles of self financing transactions and rebalancing. The constant product market maker emerges as a special case.