title: Deep Cross-Subject Mapping of Neural Activity

abstract: Objective. In this paper, we consider the problem of cross-subject decoding, where neural activity data collected from the prefrontal cortex of a given subject (destination) is used to decode motor intentions from the neural activity of a different subject (source). Approach. We cast the problem of neural activity mapping in a probabilistic framework where we adopt deep generative modelling. Our proposed algorithm uses deep conditional variational autoencoder to infer the representation of the neural activity of the source subject into an adequate feature space of the destination subject where neural decoding takes place. Results. We verify our approach on an experimental data set in which two macaque monkeys perform memory-guided visual saccades to one of eight target locations. The results show a peak cross-subject decoding improvement of $8\%$ over subject-specific decoding. Conclusion. We demonstrate that a neural decoder trained on neural activity signals of one subject can be used to robustly decode the motor intentions of a different subject with high reliability. This is achieved in spite of the non-stationary nature of neural activity signals and the subject-specific variations of the recording conditions. Significance. The findings reported in this paper are an important step towards the development of cross-subject brain-computer that generalize well across a population.


title: Strong Uniform Consistency with Rates for Kernel Density Estimators with General Kernels on Manifolds

abstract: When analyzing modern machine learning algorithms, we may need to handle kernel density estimation (KDE) with intricate kernels that are not designed by the user and might even be irregular and asymmetric. To handle this emerging challenge, we provide a strong uniform consistency result with the $L^\infty$ convergence rate for KDE on Riemannian manifolds with Riemann integrable kernels (in the ambient Euclidean space). We also provide an $L^1$ consistency result for kernel density estimation on Riemannian manifolds with Lebesgue integrable kernels. The isotropic kernels considered in this paper are different from the kernels in the Vapnik-Chervonenkis class that are frequently considered in statistics society. We illustrate the difference when we apply them to estimate the probability density function. Moreover, we elaborate the delicate difference when the kernel is designed on the intrinsic manifold and on the ambient Euclidian space, both might be encountered in practice. At last, we prove the necessary and sufficient condition for an isotropic kernel to be Riemann integrable on a submanifold in the Euclidean space.


title: A cosmic Zevatron based on cyclotron auto-resonance

abstract: A Zevatron is an accelerator scheme envisaged to accelerate particles to ZeV energies (1 ZeV = $10^{21}$ eV). Schemes, most notably the internal shock model, have been proposed to explain the acceleration of ultra-high-energy cosmic-ray (UHECR) particles that have been sporadically detected reaching Earth since 1962. Here, the cyclotron auto-resonance acceleration (CARA) mechanism is tailored and used to demonstrate possible acceleration of particles ejected as a result of violent astrophysical processes such as the merger of a binary system or a supernova explosion. Such events result in emission of highly-energetic particles and ultra-intense beamed radiation. In the simultaneous presence of a super-strong magnetic field, the condition for cyclotron auto-resonance may be met. Thus CARA can act like a {\it booster} for particles pre-accelerated inside their progenitor by shock waves, possibly among other means. As examples, it is shown that nuclei of hydrogen, helium, and iron-56, may reach ZeV energies by CARA, under which conditions the particles, while gyrating around the lines of an ultra-strong magnetic field, also surf on the waves of a super-intense radiation field. When radiation-reaction is taken into account, it is shown that the ZeV energy gained by a particle can fall off by less than an order-of-magnitude if the resonance condition is missed by roughly less than 20\%.


title: A precise architecture characterization of the $\pi$ Men planetary system

abstract: The bright star $\pi$ Men was chosen as the first target for a radial velocity follow-up to test the performance of ESPRESSO, the new high-resolution spectrograph at the ESO's Very-Large Telescope (VLT). The star hosts a multi-planet system (a transiting 4 M$_\oplus$ planet at $\sim$0.07 au, and a sub-stellar companion on a $\sim$2100-day eccentric orbit) which is particularly appealing for a precise multi-technique characterization. With the new ESPRESSO observations, that cover a time span of 200 days, we aim to improve the precision and accuracy of the planet parameters and search for additional low-mass companions. We also take advantage of new photometric transits of $\pi$ Men c observed by TESS over a time span that overlaps with that of the ESPRESSO follow-up campaign. We analyse the enlarged spectroscopic and photometric datasets and compare the results to those in the literature. We further characterize the system by means of absolute astrometry with Hipparcos and Gaia. We used the spectra of ESPRESSO for an independent determination of the stellar fundamental parameters. We present a precise characterization of the planetary system around $\pi$ Men. The ESPRESSO radial velocities alone (with typical uncertainty of 10 cm/s) allow for a precise retrieval of the Doppler signal induced by $\pi$ Men c. The residuals show an RMS of 1.2 m/s, and we can exclude companions with a minimum mass less than $\sim$2 M$_\oplus$ within the orbit of $\pi$ Men c). We improve the ephemeris of $\pi$ Men c using 18 additional TESS transits, and in combination with the astrometric measurements, we determine the inclination of the orbital plane of $\pi$ Men b with high precision ($i_{b}=45.8^{+1.4}_{-1.1}$ deg). This leads to the precise measurement of its absolute mass $m_{b}=14.1^{+0.5}_{-0.4}$ M$_{Jup}$, and shows that the planetary orbital planes are highly misaligned.


title: Improving P300 Speller performance by means of optimization and machine learning

abstract: Brain-Computer Interfaces (BCIs) are systems allowing people to interact with the environment bypassing the natural neuromuscular and hormonal outputs of the peripheral nervous system (PNS). These interfaces record a user's brain activity and translate it into control commands for external devices, thus providing the PNS with additional artificial outputs. In this framework, the BCIs based on the P300 Event-Related Potentials (ERP), which represent the electrical responses recorded from the brain after specific events or stimuli, have proven to be particularly successful and robust. The presence or the absence of a P300 evoked potential within the EEG features is determined through a classification algorithm. Linear classifiers such as SWLDA and SVM are the most used for ERPs' classification. Due to the low signal-to-noise ratio of the EEG signals, multiple stimulation sequences (a.k.a. iterations) are carried out and then averaged before the signals being classified. However, while augmenting the number of iterations improves the Signal-to-Noise Ratio (SNR), it also slows down the process. In the early studies, the number of iterations was fixed (no stopping), but recently, several early stopping strategies have been proposed in the literature to dynamically interrupt the stimulation sequence when a certain criterion is met to enhance the communication rate. In this work, we explore how to improve the classification performances in P300 based BCIs by combining optimization and machine learning. First, we propose a new decision function that aims at improving classification performances in terms of accuracy and Information Transfer Rate both in a no stopping and early stopping environment. Then, we propose a new SVM training problem that aims to facilitate the target-detection process. Our approach proves to be effective on several publicly available datasets.


title: The Impact of Large Erosional Events and Transient Normal Stress Changes on the Seismicity of Faults

abstract: The long-term erosion of steep landscapes is punctuated by dramatic erosional events that can remove significant amount of sediments within a time-scale shorter than a seismic cycle. However, the role of such large erosional events on seismicity is poorly understood. We use QDYN, a quasi-dynamic numerical model of earthquake cycles to investigate the effect of a large erosional event on seismicity. The progressive evacuation of landslide sediments is modelled by a transient normal stress decrease. We show that erosional events with a shorter duration compared with the duration of a seismic cycle can significantly increase the seismicity rate, even for small stress changes. Moreover, large erosional events with a shorter period compared with the earthquake nucleation time-scale can change earthquake size distribution by triggering more small events. Those results suggest that large erosional events can significantly affect seismicity, illustrating in turn the short-term impact of surface processes on tectonics.


title: Topological pressure of free semigroup actions for non-compact sets and Bowen's equation

abstract: Climenhaga showed the applicability of Bowen equation to arbitrary subset of a compact metric space. The main purpose of this paper is to generalize the main result of Climenhaga to free semigroup actions for non-compact sets. We introduce the notions of the topological pressure and lower and upper capacity topological pressure of a free semigroup action for non-compact sets by using the Caratheodory- Pesin structure. Some properties of these notions are given, followed by three main results. One is to characterize the Hausdorff dimension of arbitrary subset in term of the topological pressure by Bowen equation, whose points have the positive lower Lyapunov exponents and satisfy a tempered contraction condition, the other is the estimation of topological pressure of a free semigroup action on arbitrary subset of X and the third is the relationship between the upper capacity topological pressure of a skew-product transformation and the upper capacity topological pressure of a free semigroup action with respect to arbitrary subset.


title: Epidemic modelling of bovine tuberculosis in cattle herds and badgers in Ireland

abstract: Bovine tuberculosis, a disease that affects cattle and badgers in Ireland, was studied via stochastic epidemic modeling using incidence data from the Four Area Project (Griffin et al., 2005). The Four Area Project was a large scale field trial conducted in four diverse farming regions of Ireland over a five-year period (1997-2002) to evaluate the impact of badger culling on bovine tuberculosis incidence in cattle herds. Based on the comparison of several models, the model with no between-herd transmission and badger-to-herd transmission proportional to the total number of infected badgers culled was best supported by the data. Detailed model validation was conducted via model prediction, identifiability checks and sensitivity analysis. The results suggest that badger-to-cattle transmission is of more importance than between-herd transmission and that if there was no badger-to-herd transmission, levels of bovine tuberculosis in cattle herds in Ireland could decrease considerably.


title: Classification of irreducible integrable representations of loop toroidal Lie algebras

abstract: In this paper we classify irreducible integrable representations of loop toroidal Lie algebras with finite dimensional weight spaces. In both the cases we classify modules, when a part of center acts non-trivially and trivially on modules.


title: Relative Entropy Regularised TDLAS Tomography for Robust Temperature Imaging

abstract: Tunable Diode Laser Absorption Spectroscopy (TDLAS) tomography has been widely used for in situ combustion diagnostics, yielding images of both species concentration and temperature. The temperature image is generally obtained from the reconstructed absorbance distributions for two spectral transitions, i.e. two-line thermometry. However, the inherently ill-posed nature of tomographic data inversion leads to noise in each of the reconstructed absorbance distributions. These noise effects propagate into the absorbance ratio and generate artefacts in the retrieved temperature image. To address this problem, we have developed a novel algorithm, which we call Relative Entropy Tomographic RecOnstruction (RETRO), for TDLAS tomography. A relative entropy regularisation is introduced for high-fidelity temperature image retrieval from jointly reconstructed two-line absorbance distributions. We have carried out numerical simulations and proof-of-concept experiments to validate the proposed algorithm. Compared with the well-established Simultaneous Algebraic Reconstruction Technique (SART), the RETRO algorithm significantly improves the quality of the tomographic temperature images, exhibiting excellent robustness against TDLAS tomographic measurement noise. RETRO offers great potential for industrial field applications of TDLAS tomography, where it is common for measurements to be performed in very harsh environments.


title: Energy injection in pre-recombination era and EDGES detection

abstract: We study the possibility of explaining the recent EDGES detection by an energy injection in the pre-recombination era. Our aim is to show that the residue of this energy injection could give the resultant increase in the energy density at frequencies $x_e \equiv h\nu/(kT) \simeq 10^{-3}$, which is needed to explain the EDGES result. We consider two models of energy injection: Gaussian profile with a fixed redshift of injection and radiative decay of a non-relativistic particle. We show that the energy injection should occur in the redshift range $z\lesssim 4 \times 10^3$ to prevent free-free processes from thermalizing the injected energy. The injected energy should be nearly 200--1000 times the CMB intensity at $x_e \simeq 10^{-3}$ to obtain the requisite residue. A large fraction of the injected energy gets thermalized and therefore distorts the CMB spectrum. We compute CMB spectral distortion for both the models and show that the fractional change in CMB energy density, $\Delta \rho_{\rm \scriptscriptstyle CMB}/\rho_{\rm \scriptscriptstyle CMB} \simeq 10^{-6}$, which might be detectable with the proposed experiment PIXIE. We also outline the implication of our proposed scenario for CMB anisotropies.


title: Lessons Learned from the Training of GANs on Artificial Datasets

abstract: Generative Adversarial Networks (GANs) have made great progress in synthesizing realistic images in recent years. However, they are often trained on image datasets with either too few samples or too many classes belonging to different data distributions. Consequently, GANs are prone to underfitting or overfitting, making the analysis of them difficult and constrained. Therefore, in order to conduct a thorough study on GANs while obviating unnecessary interferences introduced by the datasets, we train them on artificial datasets where there are infinitely many samples and the real data distributions are simple, high-dimensional and have structured manifolds. Moreover, the generators are designed such that optimal sets of parameters exist. Empirically, we find that under various distance measures, the generator fails to learn such parameters with the GAN training procedure. We also find that training mixtures of GANs leads to more performance gain compared to increasing the network depth or width when the model complexity is high enough. Our experimental results demonstrate that a mixture of generators can discover different modes or different classes automatically in an unsupervised setting, which we attribute to the distribution of the generation and discrimination tasks across multiple generators and discriminators. As an example of the generalizability of our conclusions to realistic datasets, we train a mixture of GANs on the CIFAR-10 dataset and our method significantly outperforms the state-of-the-art in terms of popular metrics, i.e., Inception Score (IS) and Fr\'echet Inception Distance (FID).


title: Hyperbolicity of General Relativity in Bondi-like gauges

abstract: Bondi-like (single-null) characteristic formulations of general relativity are used for numerical work in both asymptotically flat and anti-de Sitter spacetimes. Well-posedness of the resulting systems of partial differential equations, however, remains an open question. The answer to this question affects accuracy, and potentially the reliability of conclusions drawn from numerical studies based on such formulations. A numerical approximation can converge to the continuum limit only for well-posed systems; for the initial value problem in the $L^2$ norm this is characterized by strong hyperbolicity. We find that, due to a shared pathological structure, the systems arising from the aforementioned formulations are however only weakly hyperbolic. We present numerical tests for toy models that demonstrate the consequence of this shortcoming in practice for the characteristic initial boundary value problem. Working with alternative norms in which our model problems may be well-posed we show that convergence may be recovered. Finally we examine well-posedness of a model for Cauchy-Characteristic-Matching in which model symmetric and weakly hyperbolic systems communicate through an interface, with the latter playing the role of GR in Bondi gauge on characteristic slices. We find that, due to the incompatibility of the norms associated with the two systems, the composite problem does not naturally admit energy estimates.


title: Proposed Miami Impact Crater Identified as a Solutional Doline of Oolictic Limestone

abstract: This investigation addresses the discovery of a proposed impact crater located off the coast of Miami, FL under the North Atlantic Ocean. A preliminary analysis of bathymetry data obtained from the National Oceanic and Atmospheric Administration implied a morphology consistent with a complex crater produced by a hypervelocity impact event of extraterrestrial origin. The proposed impact features include a central peak, concentric rings, and an ejecta field to the northwest. Analysis of geological data from the US Geological Survey places the strata overlying the proposed impact site as Miami Limestone, Pleistocene, accumulated during Marine Isotope Stage 5e, thereby placing the maximum age of the proposed impact crater at 80 ka to 130 ka. Three other competing hypotheses for the formation of the structure, namely a controlled maritime explosion, radial lava flow from volcano, or a depressed bioherm, doline, or karst (solutional depression) were explored throughout the investigation. To confirm the proposed structure as an impact crater, an in-situ underwater expedition was organized by Planetary Sciences, Inc. specifically to ascertain whether planar formations, shatter cones, and shock metamorphic and or other meteoritic properties were present. After analyzing the geological samples collected at the proposed impact crater, examining the morphology of analogous geologic structures, and evaluating competing hypotheses, we conclude that the structure is a solutional doline formed by the uneven dissolution of the Miami Limestone, and, accordingly, do not recommend that the structure be indexed in the Earth Impact Database


title: Thirty-seven years of relational Hoare logic: remarks on its principles and history

abstract: Relational Hoare logics extend the applicability of modular, deductive verification to encompass important 2-run properties including dependency requirements such as confidentiality and program relations such as equivalence or similarity between program versions. A considerable number of recent works introduce different relational Hoare logics without yet converging on a core set of proof rules. This paper looks backwards to little known early work. This brings to light some principles that clarify and organize the rules as well as suggesting a new rule and a new notion of completeness.


title: The glueball spectrum of SU(3) gauge theory in 3+1 dimension

abstract: We calculate the low-lying glueball spectrum of the SU(3) lattice gauge theory in 3+1 dimensions for the range of beta up to beta=6.50 using the standard plaquette action. We do so for states in all the representations R of the cubic rotation group, and for both values of parity P and charge conjugation C. We extrapolate these results to the continuum limit of the theory using the confining string tension as our energy scale. We also present our results in units of the r0 scale and, from that, in terms of physical `GeV' units. For a number of these states we are able to identify their continuum spins J with very little ambiguity. We also calculate the topological charge Q of the lattice gauge fields so as to show that we have sufficient ergodicity throughout our range of beta, and we calculate the multiplicative renormalisation of Q as a function of beta. We also obtain the continuum limit of the SU(3) topological susceptibility.


title: On 3D and 1D Weyl particles in a 1D box

abstract: We construct the most general families of self-adjoint boundary conditions for three (equivalent) Weyl Hamiltonian operators, each describing a three-dimensional Weyl particle in a one-dimensional box situated along a Cartesian axis. These results are essentially obtained by using the most general family of self-adjoint boundary conditions for a Dirac Hamiltonian operator that describes a one-dimensional Dirac particle in a box, in the Weyl representation, and by applying simple changes of representation to this operator. Likewise, we present the most general family of self-adjoint boundary conditions for a Weyl Hamiltonian operator that describes a one-dimensional Weyl particle in a one-dimensional box. We also obtain and discuss throughout the article distinct results related to the Weyl equations in (3+1) and (1+1) dimensions, in addition to their respective wave functions, and present certain key results related to representations for the Dirac equation in (1+1) dimensions.


title: Self-Lensing in Eclipsing X-ray Binary Systems

abstract: This project examines the feasibility of using gravitational lensing to measure the mass of compact objects in eclipsing X-ray binary (XRB) systems. We investigate which kind of XRB would be most conducive for viewing the effect, by modeling the amplification curves and determining if any feature of an XRB system could potentially hinder observation of such a signal. We examine the effect of accretion disks and stellar winds, as well as the compact object mass, binary separation, and companion spectral type. Generally speaking, the lensing signal is strongest for when the angular size subtended by the companion is small, favoring relatively compact companion stars (LMXBs) although evolved massive stars (such as certain WR stars) have signals that are feasibly detectable. Interestingly, the self-lensing signal is stronger in binaries with large separations, which is the exact opposite of the case for all other techniques. Thus, a dedicated self-lensing survey would complement X-ray and radial-velocity techniques, by extending the parameter space for discovery of compact objects. Simultaneously, a self-lensing survey offers the possibility of revealing the large population of non-accreting compact objects in galactic binary systems.


title: Consistency of Cubic Galileon Cosmology: Model-Independent Bounds from Background Expansion and Perturbative Analyses

abstract: We revisit the cosmological dynamics of the cubic Galileon model in light of the recently proposed model-independent analyses of the Pantheon supernova data. At the background level, it is shown to be compatible with data and preferred over standard quintessence models. Furthermore, the model is shown to be consistent with the trans-Planckian censorship conjecture (as well as other Swampland conjectures). It is shown that for the given parametrization, the model fails to satisfy the bounds on the reconstructed growth index derived from the Pantheon data set at the level of linear~perturbations.


title: Multitask Non-Autoregressive Model for Human Motion Prediction

abstract: Human motion prediction, which aims at predicting future human skeletons given the past ones, is a typical sequence-to-sequence problem. Therefore, extensive efforts have been continued on exploring different RNN-based encoder-decoder architectures. However, by generating target poses conditioned on the previously generated ones, these models are prone to bringing issues such as error accumulation problem. In this paper, we argue that such issue is mainly caused by adopting autoregressive manner. Hence, a novel Non-auToregressive Model (NAT) is proposed with a complete non-autoregressive decoding scheme, as well as a context encoder and a positional encoding module. More specifically, the context encoder embeds the given poses from temporal and spatial perspectives. The frame decoder is responsible for predicting each future pose independently. The positional encoding module injects positional signal into the model to indicate temporal order. Moreover, a multitask training paradigm is presented for both low-level human skeleton prediction and high-level human action recognition, resulting in the convincing improvement for the prediction task. Our approach is evaluated on Human3.6M and CMU-Mocap benchmarks and outperforms state-of-the-art autoregressive methods.


title: Adjoint-based variational method for constructing periodic orbits of high-dimensional chaotic systems

abstract: Chaotic dynamics in systems ranging from low-dimensional nonlinear differential equations to high-dimensional spatio-temporal systems including fluid turbulence is supported by non-chaotic, exactly recurring time-periodic solutions of the governing equations. These unstable periodic orbits capture key features of the turbulent dynamics and sufficiently large sets of orbits promise a framework to predict the statistics of the chaotic flow. Computing periodic orbits for high-dimensional spatio-temporally chaotic systems remains challenging as known methods either show poor convergence properties because they are based on time-marching of a chaotic system causing exponential error amplification; or they require constructing Jacobian matrices which is prohibitively expensive. We propose a new matrix-free method that is unaffected by exponential error amplification, is globally convergent and can be applied to high-dimensional systems. The adjoint-based variational method constructs an initial value problem in the space of closed loops such that periodic orbits are attracting fixed points for the loop-dynamics. We introduce the method for general autonomous systems. An implementation for the one-dimensional Kuramoto-Sivashinsky equation demonstrates the robust convergence of periodic orbits underlying spatio-temporal chaos. Convergence does not require accurate initial guesses and is independent of the period of the respective orbit.


title: Analyzing Raman Spectral Data without Separability Assumption

abstract: Raman spectroscopy is a well established tool for the analysis of vibration spectra, which then allow for the determination of individual substances in a chemical sample, or for their phase transitions. In the Time-Resolved-Raman-Sprectroscopy the vibration spectra of a chemical sample are recorded sequentially over a time interval, such that conclusions for intermediate products (transients) can be drawn within a chemical process. The observed data-matrix $M$ from a Raman spectroscopy can be regarded as a matrix product of two unknown matrices $W$ and $H$, where the first is representing the contribution of the spectra and the latter represents the chemical spectra. One approach for obtaining $W$ and $H$ is the non-negative matrix factorization. We propose a novel approach, which does not need the commonly used separability assumption. The performance of this approach is shown on a real world chemical example.

categories: math.NA cs.NA physics.chem-ph physics.comp-ph


title: Reconfigurable quantum photonics with on-chip detectors

abstract: Integrated quantum photonics offers a promising path to scale up quantum optics experiments by miniaturizing and stabilizing complex laboratory setups. Central elements of quantum integrated photonics are quantum emitters, memories, detectors, and reconfigurable photonic circuits. In particular, integrated detectors not only offer optical readout but, when interfaced with reconfigurable circuits, allow feedback and adaptive control, crucial for deterministic quantum teleportation, training of neural networks, and stabilization of complex circuits. However, the heat generated by thermally reconfigurable photonics is incompatible with heat-sensitive superconducting single-photon detectors, and thus their on-chip co-integration remains elusive. Here we show low-power microelectromechanical reconfiguration of integrated photonic circuits interfaced with superconducting single-photon detectors on the same chip. We demonstrate three key functionalities for photonic quantum technologies: 28 dB high-extinction routing of classical and quantum light, 90 dB high-dynamic range single-photon detection, and stabilization of optical excitation over 12 dB power variation. Our platform enables heat-load free reconfigurable linear optics and adaptive control, critical for quantum state preparation and quantum logic in large-scale quantum photonics applications.


title: The Hausdorff dimension of self-projective sets

abstract: Given a finite set $\mathcal{A} \subseteq \mathrm{SL}(2,\mathbb{R})$ we study the dimension of the attractor $K_\mathcal{A}$ of the iterated function system induced by the projective action of $\mathcal{A}$. In particular, we generalise a recent result of Solomyak and Takahashi by showing that the Hausdorff dimension of $K_\mathcal{A}$ is given by the minimum of 1 and the critical exponent, under the assumption that $\mathcal{A}$ satisfies certain discreteness conditions and a Diophantine property. Our approach combines techniques from the theories of iterated function systems and M\"obius semigroups, and allows us to discuss the continuity of the Hausdorff dimension, as well as the dimension of the support of the Furstenberg measure.


title: Tikhonov functionals with a tolerance measure introduced in the regularization

abstract: We consider a modified Tikhonov-type functional for the solution of ill-posed nonlinear inverse problems. Motivated by applications in the field of production engineering, we allow small deviations in the solution, which are modeled through a tolerance measure in the regularization term of the functional. The existence, stability, and weak convergence of minimizers are proved for such a functional, as well as the convergence rates in the Bregman distance. We present an example for illustrating the effect of tolerances on the regularized solution and examine parameter choice rules for finding the optimal regularization parameter for the assumed tolerance value. In addition, we discuss the prospect of reconstructing sparse solutions when tolerances are incorporated in the regularization functional.


title: Presentations for Vertex Transitive Graphs

abstract: We generalise the standard constructions of a Cayley graph in terms of a group presentation by allowing some vertices to obey different relators than others. The resulting notion of presentation allows us to represent every vertex transitive graph. As an intermediate step, we prove that every countably infinite, connected, vertex transitive graph has a perfect matching. Incidentally, we construct an example of a 2-ended cubic vertex transitive graph which is not a Cayley graph, answering a question of Watkins from 1990.


title: Molecule Oxygen Induced Ferromagnetism and Half-metallicity in {\alpha}-BaNaO4: A First Principles Study

abstract: Molecule oxygen resembles 3d and 4f metals in exhibiting long-range spin ordering and electron strong correlated behaviors in compounds. The ferromagnetic spin ordering and half-metallicity, however, are quite elusive and have not been well acknowl-edged. In this article, we address this issue to study how spins will interact each other if the oxygen dimers are arranged in a dif-ferent way from that in the known super- and per-oxides by first principles calculations. Based on the results of structure search, thermodynamic study and lattice dynamics, we show that tetragonal {\alpha}-BaNaO4 is a stable half-metal with a Curie temperature at 120 K, a first example in this class of compounds. Like 3d and 4f metals, the O2 dimer carries a local magnetic moment 0.5 {\mu}B due to the unpaired electrons in its {\pi}* orbitals. This compound can be regarded as forming from the O2 dimer layers stacking in a head to head way. Different from that in AO2 (A=K, Rb, Cs), the spins are both ferromagnetically coupled within and between the layers. Spin polarization occurs in {\pi}* orbitals with spin-up electrons fully occupying the valence band and spin-down electrons partially the conduction band, forming the semiconducting and metallic channels, respectively. Our results highlight the im-portance of geometric arrangement of O2 dimers in inducing ferromagnetism and other novel properties in O2 dimer containing compounds.


title: Towards Automated Neural Interaction Discovery for Click-Through Rate Prediction

abstract: Click-Through Rate (CTR) prediction is one of the most important machine learning tasks in recommender systems, driving personalized experience for billions of consumers. Neural architecture search (NAS), as an emerging field, has demonstrated its capabilities in discovering powerful neural network architectures, which motivates us to explore its potential for CTR predictions. Due to 1) diverse unstructured feature interactions, 2) heterogeneous feature space, and 3) high data volume and intrinsic data randomness, it is challenging to construct, search, and compare different architectures effectively for recommendation models. To address these challenges, we propose an automated interaction architecture discovering framework for CTR prediction named AutoCTR. Via modularizing simple yet representative interactions as virtual building blocks and wiring them into a space of direct acyclic graphs, AutoCTR performs evolutionary architecture exploration with learning-to-rank guidance at the architecture level and achieves acceleration using low-fidelity model. Empirical analysis demonstrates the effectiveness of AutoCTR on different datasets comparing to human-crafted architectures. The discovered architecture also enjoys generalizability and transferability among different datasets.


abstract: We study the Einstein-aether theory in Weyl integrable geometry. The scalar field which defines the Weyl affine connection is introduced in the gravitational field equation. We end up with an Einstein-aether scalar field model where the interaction between the scalar field and the aether field has a geometric origin. The scalar field plays a significant role in the evolution of the gravitational field equations. We focus our study on the case of homogeneous and isotropic background spacetimes and study their dynamical evolution for various cosmological models.


title: Critical Benchmarking of the G4(MP2) Model, the Correlation Consistent Composite Approach and Popular Density Functional Approximations on a Probabilistically Pruned Benchmark Dataset of Formation Enthalpies

abstract: First-principles calculation of the standard formation enthalpy, $\Delta H_f^\circ$ (298K), in such large scale as required by chemical space explorations, is amenable only with density functional approximations (DFAs) and some composite wave function theories (cWFTs). Alas, the accuracies of popular range-separated hybrid, `rung-4' DFAs, and cWFTs that offer the best accuracy-vs.-cost trade-off have as yet been established only for datasets predominantly comprising small molecules, hence, their transferability to larger datasets remains vague. In this study, we present an extended benchmark dataset of over 1600 values of $\Delta H_f^\circ$ for structurally and electronically diverse molecules. We apply quartile-ranking based on boundary-corrected kernel density estimation to filter outliers and arrive at Probabilistically Pruned Enthalpies of 1694 compounds (PPE1694). For this dataset, we rank the prediction accuracies of G4, G4(MP2), ccCA, CBS-QB3 and 23 popular DFAs using conventional and probabilistic error metrics. We discuss systematic prediction errors and highlight the role an empirical higher-level correction (HLC) plays in the G4(MP2) model. Furthermore, we comment on uncertainties associated with the reference empirical data for atoms and the systematic errors stemming from these that grow with the molecular size. We believe these findings to aid in identifying meaningful application domains for quantum thermochemical methods.


title: A Provably Efficient Sample Collection Strategy for Reinforcement Learning

abstract: One of the challenges in online reinforcement learning (RL) is that the agent needs to trade off the exploration of the environment and the exploitation of the samples to optimize its behavior. Whether we optimize for regret, sample complexity, state-space coverage or model estimation, we need to strike a different exploration-exploitation trade-off. In this paper, we propose to tackle the exploration-exploitation problem following a decoupled approach composed of: 1) An "objective-specific" algorithm that (adaptively) prescribes how many samples to collect at which states, as if it has access to a generative model (i.e., a simulator of the environment); 2) An "objective-agnostic" sample collection exploration strategy responsible for generating the prescribed samples as fast as possible. Building on recent methods for exploration in the stochastic shortest path problem, we first provide an algorithm that, given as input the number of samples $b(s,a)$ needed in each state-action pair, requires $\tilde{O}(B D + D^{3/2} S^2 A)$ time steps to collect the $B=\sum_{s,a} b(s,a)$ desired samples, in any unknown communicating MDP with $S$ states, $A$ actions and diameter $D$. Then we show how this general-purpose exploration algorithm can be paired with "objective-specific" strategies that prescribe the sample requirements to tackle a variety of settings -- e.g., model estimation, sparse reward discovery, goal-free cost-free exploration in communicating MDPs -- for which we obtain improved or novel sample complexity guarantees.


title: Fundamental Groupoids for Graphs

abstract: In this paper, we develop a $\times$-homotopy fundamental groupoid for graphs, and show a functorial relationship to the 2-category of graphs. We further explore the fundamental groupoid of graph products and develop a groupoid product which respects the graph product. A van Kampen Theorem for these groupoids is provided. Finally, we generalize previous work on a fundamental group for graphs, developing a looped walk groupoid and showing a connection to the polyhedral complex of graph morphisms.


title: Pro-isomorphic zeta functions of nilpotent groups and Lie rings under base extension

abstract: We consider pro-isomorphic zeta functions of the groups $\Gamma(\mathcal{O}_K)$, where $\Gamma$ is a unipotent group scheme defined over $\mathbb{Z}$ and $K$ varies over all number fields. Under certain conditions, we show that these functions have a fine Euler decomposition with factors indexed by primes $\mathfrak{p}$ of $K$ and depending only on the structure of $\Gamma$, the degree $[K : \mathbb{Q}]$, and the cardinality of the residue field $\mathcal{O}_K / \mathfrak{p}$. We show that the factors satisfy a certain uniform rationality and study their dependence on $[K : \mathbb{Q}]$. Explicit computations are given for several families of unipotent groups. These include an apparently novel identity involving permutation statistics on the hyperoctahedral group.


title: Probing chemical freeze-out criteria in relativistic nuclear collisions with coarse grained transport simulations

abstract: We introduce a novel approach based on elastic and inelastic scattering rates to extract the hyper-surface of the chemical freeze-out from a hadronic transport model in the energy range from E$_\mathrm{lab}=1.23$ AGeV to $\sqrt{s_\mathrm{NN}}=62.4$ GeV. For this study, the Ultra-relativistic Quantum Molecular Dynamics (UrQMD) model combined with a coarse-graining method is employed. The chemical freeze-out distribution is reconstructed from the pions through several decay and re-formation chains involving resonances and taking into account inelastic, pseudo-elastic and string excitation reactions. The extracted average temperature and baryon chemical potential are then compared to statistical model analysis. Finally we investigate various freeze-out criteria suggested in the literature. We confirm within this microscopic dynamical simulation, that the chemical freeze-out at all energies coincides with $\langle E\rangle/\langle N\rangle\approx1$ GeV, while other criteria, like $s/T^3=7$ and $n_\mathrm{B}+n_\mathrm{\bar{B}}\approx0.12$ fm$^{-3}$ are limited to higher collision energies.


title: A possible mechanism for multiple changing look phenomenon in Active Galactic Nuclei

abstract: Changing-look phenomenon observed now in a growing number of active galaxies challenges our understanding of the accretion process close to a black hole. We propose a simple explanation for the sources where multiple semi-periodic outbursts are observed, and the sources are operating at a few per cent of the Eddington limit. The outburst are caused by the radiation pressure instability operating in the narrow ring between the standard gas-dominated outer disk and the hot optically thin inner Advection-Dominated Accretion Flow. The corresponding limit cycle is responsible for periodic outbursts, and the timescales are much shorter than the standard viscous timescale due to the narrowness of the unstable radial zone. Our toy model gives quantitative predictions and works well for multiple outbursts like those observed in NGC 1566, NGC 4151, NGC 5548 and GSN 069, although the shapes of the outbursts are not yet well modeled, and further development of the model is necessary.


title: Modeling a Cognitive Transition at the Origin of Cultural Evolution using Autocatalytic Networks

abstract: Autocatalytic networks have been used to model the emergence of self-organizing structure capable of sustaining life and undergoing biological evolution. Here, we model the emergence of cognitive structure capable of undergoing cultural evolution. Mental representations of knowledge and experiences play the role of catalytic molecules, and interactions amongst them (e.g., the forging of new associations) play the role of reactions, and result in representational redescription. The approach tags mental representations with their source, i.e., whether they were acquired through social learning, individual learning (of pre-existing information), or creative thought (resulting in the generation of new information). This makes it possible to model how cognitive structure emerges, and to trace lineages of cumulative culture step by step. We develop a formal representation of the cultural transition from Oldowan to Acheulean tool technology using Reflexively Autocatalytifc and Food set generated (RAF) networks. Unlike more primitive Oldowan stone tools, the Acheulean hand axe required not only the capacity to envision and bring into being something that did not yet exist, but hierarchically structured thought and action, and the generation of new mental representations: the concepts EDGING, THINNING, SHAPING, and a meta-concept, HAND AXE. We show how this constituted a key transition towards the emergence of semantic networks that were self-organizing, self-sustaining, and autocatalytic, and discuss how such networks replicated through social interaction. The model provides a promising approach to unraveling one of the greatest anthropological mysteries: that of why development of the Acheulean hand axe was followed by over a million years of cultural stasis.


title: Implicit Euler ODE Networks for Single-Image Dehazing

abstract: Deep convolutional neural networks (CNN) have been applied for image dehazing tasks, where the residual network (ResNet) is often adopted as the basic component to avoid the vanishing gradient problem. Recently, many works indicate that the ResNet can be considered as the explicit Euler forward approximation of an ordinary differential equation (ODE). In this paper, we extend the explicit forward approximation to the implicit backward counterpart, which can be realized via a recursive neural network, named IM-block. Given that, we propose an efficient end-to-end multi-level implicit network (MI-Net) for the single image dehazing problem. Moreover, multi-level fusing (MLF) mechanism and residual channel attention block (RCA-block) are adopted to boost performance of our network. Experiments on several dehazing benchmark datasets demonstrate that our method outperforms existing methods and achieves the state-of-the-art performance.


title: Reconstruction of Line-Embeddings of Graphons

abstract: Consider a random graph process with $n$ vertices corresponding to points $v_{i} \sim {Unif}[0,1]$ embedded randomly in the interval, and where edges are inserted between $v_{i}, v_{j}$ independently with probability given by the graphon $w(v_{i},v_{j}) \in [0,1]$. Following Chuangpishit et al. (2015), we call a graphon $w$ diagonally increasing if, for each $x$, $w(x,y)$ decreases as $y$ moves away from $x$. We call a permutation $\sigma \in S_{n}$ an ordering of these vertices if $v_{\sigma(i)} < v_{\sigma(j)}$ for all $i < j$, and ask: how can we accurately estimate $\sigma$ from an observed graph? We present a randomized algorithm with output $\hat{\sigma}$ that, for a large class of graphons, achieves error $\max_{1 \leq i \leq n} | \sigma(i) - \hat{\sigma}(i)| = O^{*}(\sqrt{n})$ with high probability; we also show that this is the best-possible convergence rate for a large class of algorithms and proof strategies. Under an additional assumption that is satisfied by some popular graphon models, we break this "barrier" at $\sqrt{n}$ and obtain the vastly better rate $O^{*}(n^{\epsilon})$ for any $\epsilon > 0$. These improved seriation bounds can be combined with previous work to give more efficient and accurate algorithms for related tasks, including: estimating diagonally increasing graphons, and testing whether a graphon is diagonally increasing.


title: Targeted Intervention in Random Graphs

abstract: We consider a setting where individuals interact in a network, each choosing actions which optimize utility as a function of neighbors' actions. A central authority aiming to maximize social welfare at equilibrium can intervene by paying some cost to shift individual incentives, and the optimal intervention can be computed using the spectral decomposition of the graph, yet this is infeasible in practice if the adjacency matrix is unknown. In this paper, we study the question of designing intervention strategies for graphs where the adjacency matrix is unknown and is drawn from some distribution. For several commonly studied random graph models, we show that there is a single intervention, proportional to the first eigenvector of the expected adjacency matrix, which is near-optimal for almost all generated graphs when the budget is sufficiently large. We also provide several efficient sampling-based approaches for approximately recovering the first eigenvector when we do not know the distribution. On the whole, our analysis compares three categories of interventions: those which use no data about the network, those which use some data (such as distributional knowledge or queries to the graph), and those which are fully optimal. We evaluate these intervention strategies on synthetic and real-world network data, and our results suggest that analysis of random graph models can be useful for determining when certain heuristics may perform well in practice.


title: Quantum Superposition of Two Gravitational Cat States

abstract: We extend our earlier work on probing a gravitational cat state (gravcat)---see, arXiv:1504.03103 ---to the quantum superposition of two gravcats in an exemplary model and in Bose-Einstein condensates (BEC). In addition to its basic theoretical values in gravitational quantum physics and macroscopic quantum phenomena this investigation can provide some theoretical support to experimental proposals for measuring gravity-induced entanglement and the quantum nature of perturbative gravity. In the first part we consider cat states generated by double-well potentials. Approximated as two-level systems, a pair of gravcats is characterized by gravity-induced Rabi oscillations, and by gravity-induced entanglement of its energy eigenstates. In the second part we turn to a (non-relativistic) quantum field theory description and derive a gravitational Gross-Pitaevsky equation for gravcats formed in BECs. Using a mathematical analogy to quantum rotors, we explore the properties of the two-gravcat system for BECs, its physical consequences and observational possibilities. Finally we discuss our results in comparison to predictions of alternative quantum theories, and we explain their implications.


title: Scattering theory for the Hodge Laplacian

abstract: We prove using an integral criterion the existence and completeness of the wave operators $W_{\pm}(\Delta_h^{(k)}, \Delta_g^{(k)}, I_{g,h}^{(k)})$ corresponding to the Hodge Laplacians $\Delta_\nu^{(k)}$ acting on differential $k$-forms, for $\nu\in\{g,h\}$, induced by two quasi-isometric Riemannian metrics $g$ and $h$ on a complete open smooth manifold $M$. In particular, this result provides a criterion for the absolutely continuous spectra $\sigma_{\mathrm{ac}}(\Delta_g^{(k)}) = \sigma_{\mathrm{ac}}(\Delta_h^{(k)})$ of $\Delta_\nu^{(k)}$ to coincide. The proof is based on gradient estimates obtained by probabilistic Bismut-type formulae for the heat semigroup defined by spectral calculus. By these localised formulae, the integral criterion requires local curvature bounds and some upper local control on the heat kernel acting on functions provided the Weitzenb\"ock curvature endomorphism is in the Kato class, but no control on the injectivity radii. A consequence is a stability result of the absolutely continuous spectrum under a Ricci flow. As an application we concentrate on the important case of conformal perturbations.


title: On the effect of repulsive interactions on Bose-Einstein condensation in the Luttinger-Sy model

abstract: In this paper we investigate the effect of repulsive pair interactions on Bose-Einstein condensation in a well-established random one-dimensional system known as the Luttinger-Sy model at positive temperature. We study separately hard core interactions as well as a class of more general repulsive interactions, also allowing for a scaling of certain interaction parameters in the thermodynamic limit. As a main result, we prove in both cases that for sufficiently strong interactions all eigenstates of the non-interacting one-particle Luttinger-Sy Hamiltonian as well as any sufficiently localized one-particle state are almost surely not macroscopically occupied.


title: An integrated Approach to Understanding Vacuum Arcs

abstract: Although used in the design and costing of large projects such as linear colliders and tokamaks, the theory of vacuum arcs and gradient limits is not well understood. Almost 120 years after the isolation of vacuum arcs, the exact mechanisms of the arcs and the damage they produce still being debated. We describe our simple and general model of the vacuum arc that can incorporate all active mechanisms and aims to explain all relevant data. Our four stage model, is based on experiments done at 805 MHz with a variety of cavity geometries, magnetic fields, and experimental techniques as well as data from Atom Probe Tomography and failure analysis of microelectronics. The model considers the trigger, plasma formation, plasma evolution and surface damage phases of the arc. Our data clearly shows surface damage produced by differential cooling capable of producing local high field enhancements $\beta \sim 200$, and arcing in subsequent pulses. We update the model and discuss new features while also pointing out where new data would be useful in extending the model to a wider range of frequencies.


title: Relative rigid subcategories and $\tau$-tilting theory

abstract: Let $\mathcal B$ be an extriangulated category with enough projectives $\mathcal P$ and enough injectives $\mathcal I$, and let $\mathcal R$ be a contravariantly finite rigid subcategory of $\mathcal B$ which contains $\mathcal P$. We have an abelian quotient category $\mathcal H/\mathcal R\subseteq \mathcal B/\mathcal R$ which is equivalent ${\rm mod}(\mathcal R/\mathcal P)$. In this article, we find a one-to-one correspondence between support $\tau$-tilting (resp. $\tau$-rigid) subcategories of $\mathcal H/\mathcal R$ and maximal relative rigid (resp. relative rigid) subcategories of $\mathcal H$, and show that support tilting subcategories in $\mathcal H/\mathcal R$ is a special kind of support $\tau$-tilting subcategories. We also study the relation between tilting subcategories of $\mathcal B/\mathcal R$ and cluster tilting subcategories of $\mathcal B$ when $\mathcal R$ is cluster tilting.


title: Government intervention modeling in microeconomic company market evolution

abstract: Modern technology and innovations are becoming more crucial than ever for the survival of companies in the market. Therefore, it is significant both from theoretical and practical points of view to understand how governments can influence technology growth and innovation diffusion (TGID) processes. We propose a simple but essential extension of Ausloos-Clippe-P\c{e}kalski and related Cichy numerical models of the TGID in the market. Both models are inspired by the nonlinear non-equilibrium statistical physics. Our extension involves a parameter describing the probability of government intervention in the TGID process in the company market. We show, using Monte Carlo simulations, the effects interventionism can have on the companies' market, depending on the segment of firms that are supported. The high intervention probability can result, paradoxically, in the destabilization of the market development. It lowers the market's technology level in the long-time limit compared to markets with a lower intervention parameter. We found that the intervention in the technologically weak and strong segments of the company market does not substantially influence the market dynamics, compared to the intervention helping the middle-level companies. However, this is still a simple model which can be extended further and made more realistic by including other factors. Namely, the cost and risk of innovation or limited government resources and capabilities to support companies.


title: Time integrable weighted dispersive estimates for the fourth order Schr\"odinger equation in three dimensions

abstract: We consider the fourth order Schr\"odinger operator $H=\Delta^2+V$ and show that if there are no eigenvalues or resonances in the absolutely continuous spectrum of $H$ that the solution operator $e^{-itH}$ satisfies a large time integrable $|t|^{-\frac54}$ decay rate between weighted spaces. This bound improves what is possible for the free case in two directions; both better time decay and smaller spatial weights. In the case of a mild resonance at zero energy, we derive the operator-valued expansion $e^{-itH}P_{ac}(H)=t^{-\frac34} A_0+t^{-\frac54}A_1$ where $A_0:L^1\to L^\infty$ is an operator of rank at most four and $A_1$ maps between polynomially weighted spaces.


title: Proof of three conjectures on determinants related to quadratic residues

abstract: In this paper we confirm three conjectures of Z.-W. Sun on determinants. We first show that any odd integer $n>3$ divides the determinant $$\left|(i^2+dj^2)\left(\frac{i^2+dj^2}n\right)\right|_{0\le i,j\le (n-1)/2},$$ where $d$ is any integer and $(\frac{\cdot}n)$ is the Jacobi symbol. Then we prove some divisibility results concerning $|(i+dj)^n|_{0\le i,j\le n-1}$ and $|(i^2+dj^2)^n|_{0\le i,j\le n-1}$, where $d\not=0$ and $n>2$ are integers. Finally, for any odd prime $p$ and integers $c$ and $d$ with $p\nmid cd$, we determine completely the Legendre symbol $(\frac{S_c(d,p)}p)$, where $S_c(d,p):=|(\frac{i^2+dj^2+c}p)|_{1\le i,j\le(p-1)/2}$.


title: Hermite reduction and a Waring's problem for integral quadratic forms over number fields

abstract: We generalize the Hermite-Korkin-Zolotarev (HKZ) reduction theory of positive definite quadratic forms over $\mathbb Q$ and its balanced version introduced recently by Beli-Chan-Icaza-Liu to positive definite quadratic forms over a totally real number field $K$. We apply the balanced HKZ-reduction theory to study the growth of the {\em $g$-invariants} of the ring of integers of $K$. More precisely, for each positive integer $n$, let $\mathcal O$ be the ring of integers of $K$ and $g_{\mathcal O}(n)$ be the smallest integer such that every sum of squares of $n$-ary $\mathcal O$-linear forms must be a sum of $g_{\mathcal O}(n)$ squares of $n$-ary $\mathcal O$-linear forms. We show that when $K$ has class number 1, the growth of $g_{\mathcal O}(n)$ is at most an exponential of $\sqrt{n}$. This extends the recent result obtained by Beli-Chan-Icaza-Liu on the growth of $g_{\mathbb Z}(n)$ and gives the first sub-exponential upper bound for $g_{\mathcal O}(n)$ for rings of integers $\mathcal O$ other than $\mathbb Z$.


title: Asymptotically Optimal Vertex Ranking of Planar Graphs

abstract: A (vertex) $\ell$-ranking is a colouring $\varphi:V(G)\to\mathbb{N}$ of the vertices of a graph $G$ with integer colours so that for any path $u_0,\ldots,u_p$ of length at most $\ell$, $\varphi(u_0)\neq\varphi(u_p)$ or $\varphi(u_0)<\max\{\varphi(u_0),\ldots,\varphi(u_p)\}$. We show that, for any fixed integer $\ell\ge 2$, every $n$-vertex planar graph has an $\ell$-ranking using $O(\log n/\log\log\log n)$ colours and this is tight even when $\ell=2$; for infinitely many values of $n$, there are $n$-vertex planar graphs, for which any 2-ranking requires $\Omega(\log n/\log\log\log n)$ colours. This result also extends to bounded genus graphs. In developing this proof we obtain optimal bounds on the number of colours needed for $\ell$-ranking graphs of treewidth $t$ and graphs of simple treewidth $t$. These upper bounds are constructive and give $O(n)$-time algorithms. Additional results that come from our techniques include new sublogarithmic upper bounds on the number of colours needed for $\ell$-rankings of apex minor-free graphs and $k$-planar graphs.


title: A Sampling Algorithm for Diffusion Networks

abstract: In this paper, we propose a sampling mechanism for adaptive diffusion networks that adaptively changes the amount of sampled nodes based on mean-squared error in the neighborhood of each node. It presents fast convergence during transient and a significant reduction in the number of sampled nodes in steady state. Besides reducing the computational cost, the proposed mechanism can also be used as a censoring technique, thus saving energy by reducing the amount of communication between nodes. We also present a theoretical analysis to obtain lower and upper bounds for the number of network nodes sampled in steady state.


title: Anisotropic Strange Stars through Embedding Technique in Massive Brans-Dicke Gravity

abstract: This paper investigates the existence and properties of anisotropic strange quark stars in the context of massive Brans-Dicke theory. The field equations are constructed in Jordan frame by assuming a suitable potential function with MIT bag model. We employ the embedding class-one approach as well as junction conditions to determine the unknown metric functions. Radius of the strange star candidate, LMC X-4, is predicted through its observed mass for different values of the bag constant. We analyze the effects of coupling parameter as well as mass of scalar field on state determinants and execute multiple checks on the stability and viability of the spherical system. It is concluded that the resulting stellar structure is physically viable and stable as it satisfies the energy conditions as well as essential stability criteria.


title: Special termination for log canonical pairs

abstract: We prove the special termination for log canonical pairs and its generalisation in the context of generalised pairs.


title: Global Optimization of Copper Clusters at the ZnO(10-10) Surface Using a DFT-based Neural Network Potential and Genetic Algorithms

abstract: The determination of the most stable structures of metal clusters supported at solid surfaces by computer simulations represents a formidable challenge due to the complexity of the potential-energy surface. Here we combine a high-dimensional neural network potential, which allows to predict the energies and forces of a large number of structures with first-principles accuracy, with a global optimization scheme employing genetic algorithms. This very efficient setup is used to identify the global minima and low-energy local minima for a series of copper clusters containing between four and ten atoms adsorbed at the ZnO(10$\bar{1}$0) surface. A series of structures with common structural features resembling the Cu(111) and Cu(110) surfaces at the metal-oxide interface has been identified, and the geometries of the emerging clusters are characterized in detail. We demonstrate that the frequently employed approximation of a frozen substrate surface in global optimization can result in missing the most relevant structures.


title: Optimal allocation using the Sortino ratio

abstract: In this paper we present an asset allocation strategy based on the maximization of the Sortino ratio. Unlike the Sharpe ratio, the Sortino ratio penalizes negative return variances only. The resulting allocation is valid for any time horizon unlike. The returns of a strategy based on such an allocation are empirically illustrated using historical Dow Jones data and display a significant upgrade on more traditional allocation strategies such as the Kelly criterion.


title: Minimum Relative Entropy Inference for Normal and Monte Carlo Distributions

abstract: We represent affine sub-manifolds of exponential family distributions as minimum relative entropy sub-manifolds. With such representation we derive analytical formulas for the inference from partial information on expectations and covariances of multivariate normal distributions; and we improve the numerical implementation via Monte Carlo simulations for the inference from partial information of generalized expectation type.


title: Observation of single phonon-mediated quantum transport in a silicon single-electron CMOS transistor by RMS noise analysis

abstract: We explore phonon-mediated quantum transport through electronic noise characterization of a commercial CMOS transistor. The device behaves as a single electron transistor thanks to a single impurity atom in the channel. A low noise cryogenic CMOS transimpedance amplifier is exploited to perform low-frequency noise characterization down to the single electron, single donor and single phonon regime simultaneously, not otherwise visible through standard stability diagrams. Single electron tunneling as well as phonon-mediated features emerges in rms-noise measurements. Phonons are emitted at high frequency by generation-recombination phenomena by the impurity atom. The phonon decay is correlated to a Lorentzian $1/f^2$ noise at low frequency.


title: Semi-steady-state Jaya Algorithm

abstract: The Jaya algorithm is arguably one of the fastest-emerging metaheuristics amongst the newest members of the evolutionary computation family. The present paper proposes a new, improved Jaya algorithm by modifying the update strategies of the best and the worst members in the population. Simulation results on a twelve-function benchmark test-suite as well as a real-world problem of practical importance show that the proposed strategy produces results that are better and faster in the majority of cases. Statistical tests of significance are used to validate the performance improvement.


title: On Generalized Langevin Dynamics and the Modelling of Global Mean Temperature

abstract: Climate science employs a hierarchy of models, trading the tractability of simplified energy balance models (EBMs) against the detail of Global Circulation Models. Since the pioneering work of Hasselmann, stochastic EBMs have allowed treatment of climate fluctuations and noise. However, it has recently been claimed that observations motivate heavy-tailed temporal response functions in global mean temperature to perturbations. Our complementary approach exploits the correspondence between Hasselmann's EBM and the original mean-reverting stochastic model in physics, Langevin's equation of 1908. We propose mapping a model well known in statistical mechanics, the Mori-Kubo Generalised Langevin Equation (GLE) to generalise the Hasselmann EBM. If present, long range memory then simplifies the GLE to a fractional Langevin equation (FLE). We describe the corresponding EBMs that map to the GLE and FLE, briefly discuss their solutions, and relate them to Lovejoy's new Fractional Energy Balance Model.


title: Non-Linear Discounting and Default Compensation: Valuation of Non-Replicable Value and Damage: When the Social Discount Rate may become Negative

abstract: In this paper, we introduce a model that adds a non-linearity to discounting: the discounting factor may depend on the notional (i.e., discounted values are no longer linear in the notional). In the first part of the paper, we provide a discounting when discount factors cannot be derived from market products. That is, a risk-neutralising trading strategy cannot be performed. This is the case when one needs a risk-free (default-free) discounting, but default protection on funding providers is not traded. For this case, we derive a default compensation factor that describes the present value of a strategy to compensate for default (like buying default protection would do). In a second part of the paper, we introduce a model where the survival probability, and hence the discount factor, depends on the notional. This model introduces an effect not present in the classical modelling of a time-dependent survival probability. Our model allows that large liquidity requirements are more likely to default instantly than small ones. Combined, the two models build a framework where discounting (and hence valuation) is non-linear: discount factors depend on the amount to be discounted. Our approach builds on top of the classical theory of discounting (which may either be given as market-implied or be derived from a model of utility, consumption and production). In that sense, it is rather a generalisation than an alternative. The modelling approach has specific relevance for climate models, where discounting is an important aspect in assessing the severity of future events. Our model may result in non-decaying discount factors (negative discount rates) for certain scenarios.


title: Representation of Operators Using Fusion Frames

abstract: For finding the numerical solution of operator equations in many applications a decomposition in subspaces is needed. Therefore, it is necessary to extend the known method of matrix representation to the utilization of fusion frames. In this paper we investigate this representation of operators on a Hilbert space $\Hil$ with Bessel fusion sequences, fusion frame and Riesz decompositions. We will give the basic definitions. We will show some structural results and give some examples. Furthermore, in the case of Riesz decompositions, we prove that those functions are isomorphisms. Also, we want to find the pseudo-inverse and the inverse (if there exists) of such matrix representations. We are going to apply this idea to the Schatten $p$-class operators. Finally, we show that tensors of fusion frame are frames in the space of Hilbert-Schmidt operators.


title: Crossing a large-$N$ phase transition at finite volume

abstract: The existence of phase-separated states is an essential feature of infinite-volume systems with a thermal, first-order phase transition. At energies between those at which the phase transition takes place, equilibrium homogeneous states are either metastable or suffer from a spinodal instability. In this range the stable states are inhomogeneous, phase-separated states. We use holography to investigate how this picture is modified at finite volume in a strongly coupled, four-dimensional gauge theory. We work in the planar limit, $N \to \infty$, which ensures that we remain in the thermodynamic limit. We uncover a rich set of inhomogeneous states dual to lumpy black branes on the gravity side, as well as first- and second-order phase transitions between them. We establish their local (in)stability properties and show that fully non-linear time evolution in the bulk takes unstable states to stable ones.


title: Incentivizing Narrow-Spectrum Antibiotic Development with Refunding

abstract: The rapid rise of antibiotic resistance is a serious threat to global public health. Without further incentives, pharmaceutical companies have little interest in developing antibiotics, since the success probability is low and development costs are huge. The situation is exacerbated by the "antibiotics dilemma": Developing narrow-spectrum antibiotics against resistant bacteria is most beneficial for society, but least attractive for companies since their usage is more limited than for broad-spectrum drugs and thus sales are low. Starting from a general mathematical framework for the study of antibiotic-resistance dynamics with an arbitrary number of antibiotics, we identify efficient treatment protocols and introduce a market-based refunding scheme that incentivizes pharmaceutical companies to develop narrow-spectrum antibiotics: Successful companies can claim a refund from a newly established antibiotics fund that partially covers their development costs. The proposed refund involves a fixed and variable part. The latter (i) increases with the use of the new antibiotic for currently resistant strains in comparison with other newly developed antibiotics for this purpose---the resistance premium---and (ii) decreases with the use of this antibiotic for non-resistant bacteria. We outline how such a refunding scheme can solve the antibiotics dilemma and cope with various sources of uncertainty inherent in antibiotic R\&D. Finally, connecting our refunding approach to the recently established antimicrobial resistance (AMR) action fund, we discuss how the antibiotics fund can be financed.


title: Nanoscale Conductivity Imaging of Correlated Electronic States in WSe2/WS2 Moir\'e Superlattices

abstract: We report the nanoscale conductivity imaging of correlated electronic states in angle-aligned WSe2/WS2 heterostructures using microwave impedance microscopy. The noncontact microwave probe allows us to observe the Mott insulating state with one hole per moir\'e unit cell that persists for temperatures up to 150 K, consistent with other characterization techniques. In addition, we identify for the first time a Mott insulating state at one electron per moir\'e unit cell. Appreciable inhomogeneity of the correlated states is directly visualized in the hetero-bilayer region, indicative of local disorders in the moir\'e superlattice potential or electrostatic doping. Our work provides important insights on 2D moir\'e systems down to the microscopic level.


title: A comparison of g(1)(\tau), g(3/2)(\tau), and g(2)(\tau), for radiation from harmonic oscillators in Brownian motion with coherent background

abstract: We compare the field-field g(1)(\tau), intensity-field g(3/2)(\tau), and intensity-intensity g(2)(\tau) correlation functions for models that are of relevance in astrophysics. We obtain expressions for the general case of a chaotic radiation, where the amplitude is Rician based on a model with an ensemble of harmonic oscillators in Brownian motion. We obtain the signal to noise ratios for two methods of measurement. The intensity-field correlation function signal to noise ratio scales with the first power of |g(1)(\tau)|. This is in contrast with the well-established result of g(2)(\tau) which goes as the square of |g(1)(\tau)|.

categories: physics.optics astro-ph.IM physics.data-an quant-ph


title: On the completeness of some Bianchi type A and related K\"ahler-Einstein metrics

abstract: We prove the existence of complete cohomogeneity one triaxial K\"ahler-Einstein metrics in dimension four under an action of the Euclidean group $E(2)$. We also demonstrate local existence of Ricci flat K\"ahler metrics of a related type that are given via generalized PDEs, and determine, under mild conditions, whether they are complete. The common framework for both metric types is a frame-dependent system of Lie bracket relations and generalized PDEs yielding a class of K\"ahler-Einstein metrics on $4$-manifolds which includes all diagonal Bianchi type A metrics.


title: Explaining recently studied intermediate luminosity optical transients (ILOTs) with jet powering

abstract: We apply the jet-powered ILOT scenario to two recently studied intermediate luminosity optical transients (ILOTs), and find the relevant shell mass and jets' energy that might account for the outbursts of these ILOTs. In the jet-powered ILOT scenario accretion disk around one of the stars of a binary system launches jets. The interaction of the jets with a previously ejected slow shell converts kinetic energy to thermal energy, part of which is radiated away. We apply two models of the jet-powered ILOT scenario. In the spherical shell model the jets accelerate a spherical shell, while in the cocoon toy model the jets penetrate into the shell and inflate hot bubbles, the cocoons. We find consistent results. For the ILOT (ILRT: intermediate luminosity red transient) SNhunt120 we find the shell mass and jets' energy to be Ms=0.5-1Mo and E2j=5e47erg, respectively. The jets' half opening angle is alpha=30-60 degrees. For the second peak of the ILOT (luminous red nova) AT2014ej we find these quantities to be Ms=1-2Mo and E2j=1.5e48erg, with alpha=20-30 degrees. The models cannot tell whether these ILOTs were powered by a stellar merger that leaves one star, or by mass transfer where both stars survived. In both cases the masses of the shells and energies of the jets suggest that the binary progenitor system was massive, with a combined mass of M1+M2>10Mo.


title: Designing Personalized Interaction of a Socially Assistive Robot for Stroke Rehabilitation Therapy

abstract: The research of a socially assistive robot has a potential to augment and assist physical therapy sessions for patients with neurological and musculoskeletal problems (e.g. stroke). During a physical therapy session, generating personalized feedback is critical to improve patient's engagement. However, prior work on socially assistive robotics for physical therapy has mainly utilized pre-defined corrective feedback even if patients have various physical and functional abilities. This paper presents an interactive approach of a socially assistive robot that can dynamically select kinematic features of assessment on individual patient's exercises to predict the quality of motion and provide patient-specific corrective feedback for personalized interaction of a robot exercise coach.


title: Spin-orbit coupled depairing of a dipolar biexciton superfluid

abstract: We consider quantum phase transitions in a system of bright dipolar excitons which can form bound pairs (dipolar biexcitons). We assume a narrow resonance in the interaction of excitons with opposite spins. At sufficiently large density a resonant exciton superfluid transforms into a superfluid of biexcitons. The transition may be either of the first or the second kind. The average relative momenta of excitons in the pairs being beyond the light cone, the transition should be accompanied by reduction of the photoluminescence intensity. Effective magnetic fields due to the long-range exchange splitting of non-radiative exciton states induce broadening of the biexciton resonance. The fields shift the position of the gap in the elementary excitation spectrum to a circle of degenerate minima in the k-space. Closing the new gap defines a second order phase transition into a mixture of counter-propagating plane-wave excitonic condensates polarized linearly in the direction perpendicular to their wavevectors. In the resonance energy vs density phase diagram the novel phase intervenes between the dark biexciton and radiative exciton superfluids. We conclude that formation of a BCS-like biexciton condensate induces correlated alignment of the effective magnetic fields and excitonic spins. We outline important differences of the emergent mechanism from the phenomenon of spin-orbit (SO) coupled Bose-Einstein condensation. We expect existence of analogous mechanisms in SO-coupled fermionic superfluids and superconductors.


title: Automatic Pass Annotation from Soccer VideoStreams Based on Object Detection and LSTM

abstract: Soccer analytics is attracting increasing interest in academia and industry, thanks to the availability of data that describe all the spatio-temporal events that occur in each match. These events (e.g., passes, shots, fouls) are collected by human operators manually, constituting a considerable cost for data providers in terms of time and economic resources. In this paper, we describe PassNet, a method to recognize the most frequent events in soccer, i.e., passes, from video streams. Our model combines a set of artificial neural networks that perform feature extraction from video streams, object detection to identify the positions of the ball and the players, and classification of frame sequences as passes or not passes. We test PassNet on different scenarios, depending on the similarity of conditions to the match used for training. Our results show good classification results and significant improvement in the accuracy of pass detection with respect to baseline classifiers, even when the match's video conditions of the test and training sets are considerably different. PassNet is the first step towards an automated event annotation system that may break the time and the costs for event annotation, enabling data collections for minor and non-professional divisions, youth leagues and, in general, competitions whose matches are not currently annotated by data providers.


title: A Latent Mixture Model for Heterogeneous Causal Mechanisms in Mendelian Randomization

abstract: Mendelian Randomization (MR) is a popular method in epidemiology and genetics that uses genetic variation as instrumental variables for causal inference. Existing MR methods usually assume most genetic variants are valid instrumental variables that identify a common causal effect. There is a general lack of awareness that this effect homogeneity assumption can be violated when there are multiple causal pathways involved, even if all the instrumental variables are valid. In this article, we introduce a latent mixture model MR-PATH that groups instruments that yield similar causal effect estimates together. We develop a Monte-Carlo EM algorithm to fit this mixture model, derive approximate confidence intervals for uncertainty quantification, and adopt a modified Bayesian Information Criterion (BIC) for model selection. We verify the efficacy of the Monte-Carlo EM algorithm, confidence intervals, and model selection criterion using numerical simulations. We identify potential mechanistic heterogeneity when applying our method to estimate the effect of high-density lipoprotein cholesterol on coronary heart disease and the effect of adiposity on type II diabetes.


title: Learning Reasoning Strategies in End-to-End Differentiable Proving

abstract: Attempts to render deep learning models interpretable, data-efficient, and robust have seen some success through hybridisation with rule-based systems, for example, in Neural Theorem Provers (NTPs). These neuro-symbolic models can induce interpretable rules and learn representations from data via back-propagation, while providing logical explanations for their predictions. However, they are restricted by their computational complexity, as they need to consider all possible proof paths for explaining a goal, thus rendering them unfit for large-scale applications. We present Conditional Theorem Provers (CTPs), an extension to NTPs that learns an optimal rule selection strategy via gradient-based optimisation. We show that CTPs are scalable and yield state-of-the-art results on the CLUTRR dataset, which tests systematic generalisation of neural models by learning to reason over smaller graphs and evaluating on larger ones. Finally, CTPs show better link prediction results on standard benchmarks in comparison with other neural-symbolic models, while being explainable. All source code and datasets are available online, at https://github.com/uclnlp/ctp.


title: Electron Energization in Quasi-Parallel Shocks: Test-Particle-Electrons in a Proton Driven Turbulence

abstract: In situ observations of energetic particles at the Earth's bow-shock that are attainable by the satellite missions have long created the opinion that electrons are most efficiently accelerated in a quasi-perpendicular shock geometry. However, shocks that are deemed to be responsible for the production of cosmic ray electrons and their radiation from sources such as supernova remnants are much more powerful and larger than the Earth's bow-shock. Their remote observations and in situ measurements at Saturn's bow shock, suggest that electrons are accelerated very efficiently in the quasi-parallel shocks as well. In this paper we investigate the possibility that protons that are accelerated to high energies create sufficient wave turbulence, which is necessary for the electron preheating and subsequent injection into the diffusive shock acceleration in a quasi-parallel shock geometry. An additional test-particle-electron population, which is meant to be a low-density addition to the electron core-distribution on which the hybrid simulation operates, is introduced. We investigate how these electrons are energized by the hybrid electromagnetic field. The reduced spatial dimensionality allowed us to dramatically increase the number of macro-ions per numerical cell and achieve the converged results for the velocity distributions of test electrons. We discuss the electron preheating mechanisms, which can make a significant part of thermal electrons accessible to the ion-driven waves observed in hybrid simulations. We find that the precursor wave field supplied by ions has a considerable potential to preheat the electrons before they are shocked at the subshock.


title: Random Function Iterations for Stochastic Fixed Point Problems

abstract: We study the convergence of random function iterations for finding an invariant measure of the corresponding Markov operator. We call the problem of finding such an invariant measure the stochastic fixed point problem. This generalizes earlier work studying the stochastic feasibility problem}, namely, to find points that are, with probability 1, fixed points of the random functions [Hermer, Luke, Sturm, 2019]. When no such points exist, the stochastic feasibility problem is called inconsistent, but still under certain assumptions, the more general stochastic fixed point problem has a solution and the random function iterations converge to an invariant measure for the corresponding Markov operator. There are two major types of convergence: almost sure convergence of the iterates to a fixed point in the case of stochastic feasibility, and convergence in distribution more generally. We show how common structures in deterministic fixed point theory can be exploited to establish existence of invariant measures and convergence of the Markov chain. We show that weaker assumptions than are usually encountered in the analysis of Markov chains guarantee linear/geometric convergence. This framework specializes to many applications of current interest including, for instance, stochastic algorithms for large-scale distributed computation, and deterministic iterative procedures with computational error. The theory developed in this study provides a solid basis for describing the convergence of simple computational methods without the assumption of infinite precision arithmetic or vanishing computational errors.


title: Spatial Wave Control Using a Self-biased Nonlinear Metasurface at Microwave Frequencies

abstract: Recently, the investigation of metasurface has been extended to wave control through exploiting nonlinearity. Among all of the ways to achieve tunable metasurfaces with multiplexed performances, nonlinearity is one of the promising choices. Although several proposals have been reported to obtain nonlinear architectures at visible frequencies, the area of incorporating nonlinearity in form of passive-designing at microwave metasurfaces is open for investigation. In this paper, a passive wideband nonlinear metasurface is manifested, which is composed of embedded L-shape and {\Gamma}-shape meta-atoms with PIN-diode elements. The proposed self-biased nonlinear metasurface has two operational states: at low power intensities, it acts as Quarter Wave Plate (QWP) in the frequency range from 13.24 GHz to 16.38 GHz with an Axial Ratio (AR) of over 21.2%. In contrast, at high power intensities, by using the polarization conversion property of the proposed PIN-diode based meta-atoms, the metasurface can act as a digital metasurface. It means that by arranging the meta-atoms with a certain coding pattern, the metasurface can manipulate the scattered beams and synthesize well-known patterns such as Diffusion-like pattern at an ultra-wide frequency range from 8.12 GHz to 19.27 GHz (BW=81.4%). Full-wave and nonlinear simulations are carried out to justify the performance of the wideband nonlinear metasurface. We expect the proposed self-biased nonlinear metasurface at microwave frequencies reveals excellent opportunities to design limiter metasurfaces and compact reconfigurable imaging systems.


title: GW190425, GW190521 and GW190814: Three candidate mergers of primordial black holes from the QCD epoch

abstract: The two recent gravitational-wave events GW190425 and GW190814 from the third observing run of LIGO/Virgo have both a companion which is unexpected if originated from a neutron star or a stellar black hole, with masses $[1.6-2.5]~M_\odot$ and $[2.5-2.7]~M_\odot$ and merging rates $ 460^{+1050}_{-360} $ and $ 7^{+16}_{-6}$ events/yr/Gpc$^3$ respectively, at 90\% c.l.. Moreover, the recent event GW190521 has black hole components with masses 67 and $91~M_\odot$, and therefore lies in the so-called pair-instability mass gap, where there should not be direct formation of stellar black holes. The possibility that all of these compact objects are Primordial Black Holes (PBHs) is investigated. The known thermal history of the Universe predicts that PBH formation is boosted at the time of the QCD transition, inducing a peak in their distribution at this particular mass scale, and a bump around $30-50~M_\odot$. We find that the merging rates inferred from GW190425, GW190521 and GW190814 are consistent with PBH binaries formed by capture in dense halos in the matter era or in the early universe. At the same time, the rate of black hole mergers around $30~M_\odot$ and of sub-solar PBH mergers do not exceed the LIGO/Virgo limits. Such PBHs could explain a significant fraction, or even the totality of the Dark Matter, but they must be sufficiently strongly clustered in order to be consistent with current astrophysical limits.


title: Efficient Optimistic Exploration in Linear-Quadratic Regulators via Lagrangian Relaxation

abstract: We study the exploration-exploitation dilemma in the linear quadratic regulator (LQR) setting. Inspired by the extended value iteration algorithm used in optimistic algorithms for finite MDPs, we propose to relax the optimistic optimization of \ofulq and cast it into a constrained \textit{extended} LQR problem, where an additional control variable implicitly selects the system dynamics within a confidence interval. We then move to the corresponding Lagrangian formulation for which we prove strong duality. As a result, we show that an $\epsilon$-optimistic controller can be computed efficiently by solving at most $O\big(\log(1/\epsilon)\big)$ Riccati equations. Finally, we prove that relaxing the original \ofu problem does not impact the learning performance, thus recovering the $\tilde{O}(\sqrt{T})$ regret of \ofulq. To the best of our knowledge, this is the first computationally efficient confidence-based algorithm for LQR with worst-case optimal regret guarantees.


title: Accelerating Translational Image Registration for HDR Images on GPU

abstract: High Dynamic Range (HDR) images are generated using multiple exposures of a scene. When a hand-held camera is used to capture a static scene, these images need to be aligned by globally shifting each image in both dimensions. For a fast and robust alignment, the shift amount is commonly calculated using Median Threshold Bitmaps (MTB) and creating an image pyramid. In this study, we optimize these computations using a parallel processing approach utilizing GPU. Experimental evaluation shows that the proposed implementation achieves a speed-up of up to 6.24 times over the baseline multi-threaded CPU implementation on the alignment of one image pair. The source code is available at https://github.com/kadircenk/WardMTBCuda


title: The continuum directed polymer in L\'evy Noise

abstract: We present in this paper the construction of a continuum directed polymer model in an environment given by space-time L\'evy noise. One of the main objectives of this construction is to describe the scaling limit of discrete directed polymer in an heavy-tail environment and for this reason we put special emphasis on the case of $\alpha$-stable noises with $\alpha \in (1,2)$. Our construction can be performed in arbitrary dimension, provided that the L\'evy measure satisfies specific (and dimension dependent) conditions. We also discuss a few basic properties of the continuum polymer and the relation between this model and the Stochastic Heat Equation with multiplicative L\'evy noise.


title: On compositions of natural numbers

abstract: In this expository note, we introduce the reader to compositions of a natural number, e.g., $2+1+2+1+7+1$ is a composition of 14, and $1+2$ and $2+1$ are two different compositions of 3. We discuss some simple restricted forms of compositions, e.g., $23+17+33$ is a composition of 73 into three odd parts. We derive formulas that count the number of so restricted forms of compositions of a natural number $n$, and we conclude with a brief general discussion of the topic.


title: Automatic Lyrics Transcription using Dilated Convolutional Neural Networks with Self-Attention

abstract: Speech recognition is a well developed research field so that the current state of the art systems are being used in many applications in the software industry, yet as by today, there still does not exist such robust system for the recognition of words and sentences from singing voice. This paper proposes a complete pipeline for this task which may commonly be referred as automatic lyrics transcription (ALT). We have trained convolutional time-delay neural networks with self-attention on monophonic karaoke recordings using a sequence classification objective for building the acoustic model. The dataset used in this study, DAMP - Sing! 300x30x2 [1] is filtered to have songs with only English lyrics. Different language models are tested including MaxEnt and Recurrent Neural Networks based methods which are trained on the lyrics of pop songs in English. An in-depth analysis of the self-attention mechanism is held while tuning its context width and the number of attention heads. Using the best settings, our system achieves notable improvement to the state-of-the-art in ALT and provides a new baseline for the task.


title: Squeezed coherent states for gravitational well in noncommutative space

abstract: Gravitational well is a widely used system for the verification of the quantum weak equivalence principle (WEP). We have studied the quantum gravitational well (GW) under the shed of noncommutative (NC) space so that the results can be utilized for testing the validity of WEP in NC-space. To keep our study widely usable, we have considered both position-position and momentum-momentum noncommutativity. Since coherent state (CS) structure provides a natural bridging between the classical and quantum domain descriptions, the quantum domain validity of purely classical phenomena like free-fall under gravity might be verified with the help of CS. We have constructed CS with the aid of a Lewis-Riesenfeld phase space invariant operator. From the uncertainty relations deduced from the expectation values of the observables, we have shown that the solutions of the time-dependent Schr\"{o}dinger equation are squeezed-coherent states.


title: Solar structure and evolution

abstract: The Sun provides a critical benchmark for the general study of stellar structure and evolution. Also, knowledge about the internal properties of the Sun is important for the understanding of solar atmospheric phenomena, including the solar magnetic cycle. Here I provide a brief overview of the theory of stellar structure and evolution, including the physical processes and parameters that are involved. This is followed by a discussion of solar evolution, extending from the birth to the latest stages. As a background for the interpretation of observations related to the solar interior I provide a rather extensive analysis of the sensitivity of solar models to the assumptions underlying their calculation. I then discuss the detailed information about the solar interior that has become available through helioseismic investigations and the detection of solar neutrinos, with further constraints provided by the observed abundances of the lightest elements. Revisions in the determination of the solar surface abundances have led to increased discrepancies, discussed in some detail, between the observational inferences and solar models. I finally briefly address the relation of the Sun to other similar stars and the prospects for asteroseismic investigations of stellar structure and evolution.


title: On the ground-state energy of the finite sine-Gordon ring

abstract: The Casimir scaling function characterising the ground-state energy of the sine-Gordon model in a finite circle has been studied analytically and numerically both in the repulsive and attractive regimes. The numerical calculations of the scaling function at several values of the coupling constant were performed by the iterative solution of the Destri-de Vega nonlinear integral equations. The ultraviolet asymptotics of the Casimir scaling functions was calculated by perturbative solution of these equations, and by means of the perturbed conformal field-theory technique, and compared with numerical results.


title: Two-color flat-top solitons in microresonator-based optical parametric oscillators

abstract: We studied numerically the generation of the two-color flat-top solitonic pulses, platicons, in the microresonator based doubly resonant optical parametric oscillator. We revealed that if the signs of the group velocity dispersion (GVD) coefficients at interacting harmonics are opposite, platicon excitation is possible via pump amplitude modulation or controllable mode interaction approach. Upon pump frequency scan generation of platicons was observed at positive pump frequency detunings for the normal GVD at pump frequency and at negative detunings in the opposite case. Interestingly, we found the effect of the transformation of the flat-top platicon profile at half-frequency into the bell-shaped bright soliton profile upon frequency scan. For platicon excitation one needs simultaneous accurate matching of the microresonator free spectral ranges at interacting harmonics and resonant eigenfrequencies. Excitation conditions and platicon generation domains were found for the different generation methods, and properties of the generated platicons were studied for various combinations of the medium parameters.


title: Mismatched Data Detection in Massive MU-MIMO

abstract: We investigate mismatched data detection for massive multi-user (MU) multiple-input multiple-output (MIMO) wireless systems in which the prior distribution of the transmit signal used in the data detector differs from the true prior. In order to minimize the performance loss caused by the prior mismatch, we include a tuning stage into the recently proposed large-MIMO approximate message passing (LAMA) algorithm, which enables the development of data detectors with optimal as well as sub-optimal parameter tuning. We show that carefully-selected priors enable the design of simpler and computationally more efficient data detection algorithms compared to LAMA that uses the optimal prior, while achieving near-optimal error-rate performance. In particular, we demonstrate that a hardware-friendly approximation of the exact prior enables the design of low-complexity data detectors that achieve near individually-optimal performance. Furthermore, for Gaussian priors and uniform priors within a hypercube covering the quadrature amplitude modulation (QAM) constellation, our performance analysis recovers classical and recent results on linear and non-linear massive MU-MIMO data detection, respectively.