title: SLM Lab: A Comprehensive Benchmark and Modular Software Framework for Reproducible Deep Reinforcement Learning

abstract: We introduce SLM Lab, a software framework for reproducible reinforcement learning (RL) research. SLM Lab implements a number of popular RL algorithms, provides synchronous and asynchronous parallel experiment execution, hyperparameter search, and result analysis. RL algorithms in SLM Lab are implemented in a modular way such that differences in algorithm performance can be confidently ascribed to differences between algorithms, not between implementations. In this work we present the design choices behind SLM Lab and use it to produce a comprehensive single-codebase RL algorithm benchmark. In addition, as a consequence of SLM Lab's modular design, we introduce and evaluate a discrete-action variant of the Soft Actor-Critic algorithm (Haarnoja et al., 2018) and a hybrid synchronous/asynchronous training method for RL agents.


title: A note on Tannakian categories and mixed motives

abstract: We explain why every non-trivial exact tensor functor on the triangulated category of mixed motives over a field F has zero kernel, if one assumes "all" motivic conjectures. In other words, every non-zero motive generates the whole category up to the tensor triangulated structure. Under the same assumptions, we also give a complete classification of triangulated \'etale motives over F with integral coefficients, up to the tensor triangulated structure, in terms of the characteristic and the orderings of F.


title: Simultaneous laser-driven X-ray and two-photon fluorescence imaging of atomizing sprays

abstract: In this letter we report for the first time the possibility of visualizing an atomizing spray by simultaneously recording X-ray absorption and 2- photon laser-induced fluorescence imaging. This unique illumination/detection scheme was made possible thanks to the use of soft X-rays emitted from a laser-driven X-ray source. An 800 mJ laser pulse of 38 fs duration is used to generate an X-ray beam with up to 4.10^8 photons ranging from 1 to 10 keV; allowing projection radiography of water jets generated by an automotive port fuel injector. In addition, a fraction of the laser pulse (approximately 10 mJ)is employed to form a light sheet and to induce 2-photon fluorescence from a dye added to the water. The resulting high-contrast fluorescence images provide fine details of the spray structure, with reduced blur from multiple light scattering, while the integrated liquid mass is extracted from the X-ray radiography. The combination of these two highly complementary techniques, both in the visible and in the soft X-ray regime, is very promising for the future characterization of challenging spray systems as well as for further understanding the physics of liquid atomization.


title: Alleviation of Gradient Exploding in GANs: Fake Can Be Real

abstract: In order to alleviate the notorious mode collapse phenomenon in generative adversarial networks (GANs), we propose a novel training method of GANs in which certain fake samples are considered as real ones during the training process. This strategy can reduce the gradient value that generator receives in the region where gradient exploding happens. We show the process of an unbalanced generation and a vicious circle issue resulted from gradient exploding in practical training, which explains the instability of GANs. We also theoretically prove that gradient exploding can be alleviated by penalizing the difference between discriminator outputs and fake-as-real consideration for very close real and fake samples. Accordingly, Fake-As-Real GAN (FARGAN) is proposed with a more stable training process and a more faithful generated distribution. Experiments on different datasets verify our theoretical analysis.


title: Quantum implementation of an artificial feed-forward neural network

abstract: Artificial intelligence algorithms largely build on multi-layered neural networks. Coping with their increasing complexity and memory requirements calls for a paradigmatic change in the way these powerful algorithms are run. Quantum computing promises to solve certain tasks much more efficiently than any classical computing machine, and actual quantum processors are now becoming available through cloud access to perform experiments and testing also outside of research labs. Here we show in practice an experimental realization of an artificial feed-forward neural network implemented on a state-of-art superconducting quantum processor using up to 7 active qubits. The network is made of quantum artificial neurons, which individually display a potential advantage in storage capacity with respect to their classical counterpart, and it is able to carry out an elementary classification task which would be impossible to achieve with a single node. We demonstrate that this network can be equivalently operated either via classical control or in a completely coherent fashion, thus opening the way to hybrid as well as fully quantum solutions for artificial intelligence to be run on near-term intermediate-scale quantum hardware.


title: Topological States in Generalized Electric Quadrupole Insulators

abstract: The modern theory of electric polarization has recently been extended to higher multipole moments, such as quadrupole and octupole moments. The higher electric multipole insulators are essentially topological crystalline phases protected by underlying crystalline symmetries. Henceforth, it is natural to ask what are the consequences of symmetry breaking in these higher multipole insulators. In this work, we investigate topological phases and the consequences of symmetry breaking in generalized electric quadrupole insulators. Explicitly, we generalize the Benalcazar-Bernevig-Hughes model by adding specific terms in order to break the crystalline and non-spatial symmetries. Our results show that chiral symmetry breaking induces an indirect gap phase which hides corner modes in bulk bands, ruining the topological quadrupole phase. We also demonstrate that quadrupole moments can remain quantized even when mirror symmetries are absent in a generalized model. Furthermore, it is shown that topological quadrupole phase is robust against a unique type of disorder presented in the system.


title: Quantum emulation of coherent backscattering in a system of superconducting qubits

abstract: In condensed matter systems, coherent backscattering and quantum interference in the presence of time-reversal symmetry lead to well-known phenomena such as weak localization (WL) and universal conductance fluctuations (UCF). Here we use multi-pass Landau-Zener transitions at the avoided crossing of a highly-coherent superconducting qubit to emulate these phenomena. The average and standard deviation of the qubit transition rate exhibit a dip and peak when the driving waveform is time-reversal symmetric, analogous to WL and UCF, respectively. The higher coherence of this qubit enabled the realization of both effects, in contrast to earlier work arXiv:1204.6428, which successfully emulated UCF, but did not observe WL. This demonstration illustrates the use of non-adiabatic control to implement quantum emulation with superconducting qubits.


title: Spatial asymmetries of resonant oscillations in periodically forced heterogeneous media

abstract: Spatially localized oscillations in periodically forced systems are intriguing phenomena. They may occur in spatially homogeneous media (oscillons), but quite often emerge in heterogeneous media, such as the auditory system, where localized oscillations are believed to play an important role in frequency discrimination of incoming sound waves. In this paper, we use an amplitude-equation approach to study the spatial profile of the oscillations and the factors that affect it. More specifically, we use a variant of the forced complex Ginzburg-Landau (FCGL) equation to describes an oscillatory system below the Hopf bifurcation with space-dependent Hopf frequency, subject to both parametric and additive forcing. We show that spatial heterogeneity, combined with bistability of system states, results in spatial asymmetry of the localized oscillations. We further identify parameters that control that asymmetry, and characterize the spatial profile of the oscillations in terms of maximum amplitude, location, width and asymmetry. Our results bear qualitative similarities to empirical observation trends that have found in the auditory system.


title: Stone duality for Kolmogorov locally small spaces

abstract: We prove three new versions of Stone Duality. The main version is the following: the category of Kolmogorov locally small spaces and bounded continuous mappings is equivalent to the category of spectral spaces with decent lumps and with bornologies in the lattices of compact (not necessarily Hausdorff) open sets as objects and spectral mappings respecting the decent lumps and satisfying a boundedness condition as morphisms as well as it is dually equivalent to the category of bounded distributive lattices with bornologies and with decent lumps of prime filters as objects and homomorphisms of bounded lattices respecting those decent lumps and satisfying a domination condition as morphisms. Some theory of strongly locally spectral spaces is developed.


title: New neutrino spin oscillations in moving matter and magnetic fields

abstract: After a short introduction to the history of neutrino mixing and oscillations, we celebrate the 50th anniversary of the first analytical expression for the neutrino evolution probability obtained by Gribov and Pontecorvo in 1969 by the discussion of two new phenomena in neutrino oscillations: 1) the emergence of the neutrino spin and spin-flavour oscillations engendered by the transversal in respect to neutrino propagation matter currents, and 2) an inherent interplay of neutrino oscillations on the vacuum $\omega_{vac}=\frac{\Delta m^2}{4p}$ and magnetic $\omega_{B}=\mu B_{\perp}$ frequencies in the case of neutrino propagation in a constance magnetics field. We also predict a new phenomena of the modification of the flavour neutrino oscillations probability in moving matter that can be engendered by a non-vanishing matter transversal current ${\bf j}_{\perp}=n {\bf v}_{\perp}$.


title: Local models, Mustafin varieties and semi-stable resolutions

abstract: Our goal is to analyse singularities of integral models of Shimura varieties. One approach is to construct local models, which model the singularities of the corresponding integral model using linear algebra dada and find resolutions with mild singularities thereof. More precisely we will attack the question of existence of semi-stable resolutions. We will discuss an approach developed by Genestier. In this approach a candidate for a semi-stable resolution was given as the blow-up of a Grassmannian variety in Schubert varieties of its special fiber. Explicit calculations show that this approach does not work in general. Using the flatness of the local models, we describe these local models as Mustafin varieties for Grassmannian varieties. We combine several results on the structure of Mustafin varieties for projective spaces with the Pl\"ucker embedding to construct a candidate for a semi-stable resolution of local models. Under some additional assumptions this candidate generalises the approach suggested by Genestier. Furthermore under the same assumptions the new candidate agrees with the semi-stable resolution constructed by G\"ortz for small dimensions.


title: DFT+DMFT with natural atomic orbital projectors

abstract: We introduce natural atomic orbitals as the local projector to define the correlated subspace for DFT + DMFT (density functional theory plus dynamical mean-field theory) calculation. The natural atomic orbitals are found to be stably constructed against the number and the radius of basis orbitals. It can also be self-consistently updated inside the DFT+DMFT loop. The spatial localization, electron occupation and the degree of correlation are investigated and compared with other conventional techniques. As a `natural' choice to describe the electron numbers, adopting natural atomic orbitals has advantage in terms of electron number counting. We further explore the reduction of computation cost by separating correlated orbitals into two subgroups based on the orbital occupancy. Our new recipe can serve as a useful choice for DFT+DMFT and related methods.


title: Neutrino oscillations and evolution in external environments: New effects

abstract: During a period of about two decades we have realized a programme of systematic investigations of different aspects of neutrino propagation in extreme external environments and have predicted and studied several new phenomena that are engendered by the presence of external magnetic fields and dense matter. The starting point that underlies the research is the fact that the electromagnetic properties of neutrinos open a window to new physics \cite{Giunti:2014ixa,Studenikin:2008bd, Studenikin:2018vnp}. In these brief notes, we recall several new phenomena that have been proposed and investigated earlier. In particular, we discuss: 1) the spin light of neutrino in matter, 2) the neutrino energy quantization in rotating matter, and 3) neutrino start turning mechanism. Then we dwell on results of recent studies: 4) the effects of interplay of neutrino flavour and spin oscillations in a magnetic field, 5) the quantum theory of neutrino spin and spin-flavour oscillations engendered by the transversal mater currents, 6) the amplitude modulation of the flavour neutrino oscillation probability by the transversal matter current. As for references to the literature, only those papers are included in which a particular effect was proposed and considered for the first time and in a number of cases references are also be given to the most recent articles, which contain detailed references to the available literature on the issue.


title: Optical Transmission Spectra of Hot-Jupiters: Effects of Scattering

abstract: We present new grids of transmission spectra for hot-Jupiters by solving the multiple scattering radiative transfer equations with non-zero scattering albedo instead of using the Beer-Bouguer-Lambert law for the change in the transmitted stellar intensity. The diffused reflection and transmission due to scattering increases the transmitted stellar flux resulting into a decrease in the transmission depth. Thus we demonstrate that scattering plays a double role in determining the optical transmission spectra -- increasing the total optical depth of the medium and adding the diffused radiation due to scattering to the transmitted stellar radiation. The resulting effects yield into an increase in the transmitted flux and hence reduction in the transmission depth. For a cloudless planetary atmosphere, Rayleigh scattering albedo alters the transmission depth up to about 0.6 micron but the change in the transmission depth due to forward scattering by cloud or haze is significant throughout the optical and near-infrared regions. However, at wavelength longer than about 1.2 $\mu$m, the scattering albedo becomes negligible and hence the transmission spectra match with that calculated without solving the radiative transfer equations. We compare our model spectra with existing theoretical models and find significant difference at wavelength shorter than one micron. We also compare our models with observational data for a few hot-Jupiters which may help constructing better retrieval models in future.


title: Conservation Laws of One-Dimensional Equations of Relativistic Gas Dynamics in Lagrangian Coordinates

abstract: The present paper is focused on the analysis of the one-dimensional relativistic gas dynamics equations. The studied equations are considered in Lagrangian description, making it possible to find a Lagrangian such that the relativistic gas dynamics equations can be rewritten in a variational form. Complete group analysis of the Euler-Lagrange equation is performed. The symmetries found are used to derive conservation laws in Lagrangian variables by means of Noether's theorem. The analogs of the newly found conservation laws in Eulerian coordinates are presented as well.


title: Electromagnetic properties of neutrinos

abstract: After a brief introduction to neutrino electromagnetic properties we focus on the most important constraints on neutrino magnetic moments, charge radii and millicharges from the terrestrial experiments and astrophysical considerations. The promising new possibilities for constraining neutrino electromagnetic properties in future experiments are also discussed.


title: Self-similar asymptotics for a modified Maxwell-Boltzmann equation in systems subject to deformations

abstract: In this paper we study a generalized class of Maxwell-Boltzmann equations which in addition to the usual collision term contains a linear deformation term described by a matrix A. This class of equations arises, for instance, from the analysis of homoenergetic solutions for the Boltzmann equation considered by many authors since 1950s. Our main goal is to study a large time asymptotics of solutions under assumption of smallness of the matrix A. The main result of the paper is formulated in Theorem 2.1. Informally stated, this Theorem says that, for sufficiently small norm of A, any non-negative solution with finite second moment tends to a self-similar solution of relatively simple form for large values of time. This is what we call "the self-similar asymptotics". We also prove that the higher order moments of the self-similar profile are finite under further smallness condition on the matrix A.


title: Non-linear damping of superimposed primordial oscillations on the matter power spectrum in galaxy surveys

abstract: Galaxy surveys are an important probe for superimposed oscillations on the primordial power spectrum of curvature perturbations, which are predicted in several theoretical models of inflation and its alternatives. In order to exploit the full cosmological information in galaxy surveys it is necessary to study the matter power spectrum to fully non-linear scales. We therefore study the non-linear clustering in models with superimposed linear and logarithmic oscillations to the primordial power spectrum by running high-resolution dark-matter-only N-body simulations. We fit a Gaussian envelope for the non-linear damping of superimposed oscillations in the matter power spectrum to the results of the N-body simulations for $k \lesssim 0.6\ h/$Mpc at $0 \leq z \leq 5$ with an accuracy below the percent. We finally use this fitting formula to forecast the capabilities of future galaxy surveys, such as Euclid and Subaru, to probe primordial oscillation down to non-linear scales alone and in combination with the information contained in CMB anisotropies.


title: Quandle Module Quivers

abstract: We enhance the quandle coloring quiver invariant of oriented knots and links with quandle modules. This results in a two-variable polynomial invariant with specializes to the previous quandle module polynomial invariant as well as to the quandle counting invariant. We provide example computations to show that the enhancement is proper in the sense that it distinguishes knots and links with the same quandle module polynomial.


title: Electromagnetic neutrinos: New constraints and new effects in oscillations

abstract: A short overview of neutrino electromagnetic properties with focus on existed experimental constraints and future prospects is presented. The related new effect in neutrino flavour and spin-flavour oscillations in the transversal matter currents is introduced.


title: Implicit supervision for fault detection and segmentation of emerging fault types with Deep Variational Autoencoders

abstract: Data-driven fault diagnostics of safety-critical systems often faces the challenge of a complete lack of labeled data associated with faulty system conditions (i.e., fault types) at training time. Since an unknown number and nature of fault types can arise during deployment, data-driven fault diagnostics in this scenario is an open-set learning problem. Most of the algorithms for open-set diagnostics are one-class classification and unsupervised algorithms that do not leverage all the available labeled and unlabeled data in the learning algorithm. As a result, their fault detection and segmentation performance (i.e., identifying and separating faults of different types) are sub-optimal. With this work, we propose training a variational autoencoder (VAE) with labeled and unlabeled samples while inducing implicit supervision on the latent representation of the healthy conditions. This, together with a modified sampling process of VAE, creates a compact and informative latent representation that allows good detection and segmentation of unseen fault types using existing one-class and clustering algorithms. We refer to the proposed methodology as "knowledge induced variational autoencoder with adaptive sampling" (KIL-AdaVAE). The fault detection and segmentation capabilities of the proposed methodology are demonstrated in a new simulated case study using the Advanced Geared Turbofan 30000 (AGTF30) dynamical model under real flight conditions. In an extensive comparison, we demonstrate that the proposed method outperforms other learning strategies (supervised learning, supervised learning with embedding and semi-supervised learning) and deep learning algorithms, yielding significant performance improvements on fault detection and fault segmentation.


title: Generalized Magnetofluid Connections in Curved Spacetime

abstract: The ideal magnetohydrodynamic theorem on the conservation of the magnetic connections between plasma elements is extended to non-ideal relativistic plasmas in curved spacetime. The existence of generalized magnetofluid connections that are preserved by the plasma dynamics is formalized by means of a covariant connection equation that includes different non-ideal effects. These generalized connections are constituted by 2-dimensional hypersurfaces, which are linked to an antisymmetric tensor field that unifies the electromagnetic and fluid fields. They can be interpreted in terms of generalized magnetofluid vorticity field lines by considering a 3+1 foliation of spacetime and a time resetting projection that compensates for the loss of simultaneity in different reference frames between spatially separated events. The worldsheets of the generalized magnetofluid vorticity field lines play a fundamental role in the plasma dynamics by prohibiting evolutions that do not preserve the magnetofluid connectivity.


title: Quantum critical scaling of gapped phases in nodal-line semimetals

abstract: We study the effect of short range interactions in three dimensional nodal-line semimetals with linear band crossings. We analyze the Yukawa theories for gapped instabilities in the charge, spin and superconducting channels using the Wilsonian renormalization group framework, employing a large number of fermion flavors $N_{f}$ for analytical control. We obtain stable non-trivial fixed points and provide a unified description of the critical exponents for the ordering transitions in terms of the number of order parameter components $N_{b}$ systematically to order $1/N_{f}$. We show that in all cases, the dynamical exponent z = 1 in one loop, whereas $1/N_{f}$ corrections to various exponents follow from the anomalous dimension of the bosonic fields only.


title: Properties of Unique Information

abstract: We study the measure of unique information $UI(T:X\setminus Y)$ defined by Bertschinger et al. (2014) within the framework of information decompositions. We study uniqueness and support of the solutions to the optimization problem underlying the definition of $UI$. We identify sufficient conditions for non-uniqueness of solutions with full support in terms of conditional independence constraints and in terms of the cardinalities of $T$, $X$ and $Y$. Our results are based on a reformulation of the first order conditions on the objective function as rank constraints on a matrix of conditional probabilities. These results help to speed up the computation of $UI(T:X\setminus Y)$, most notably when $T$ is binary. In the case that all variables are binary, we obtain a complete picture of where the optimizing probability distributions lie.


title: Gradient estimate and Liouville theorems for p-harmonic maps

abstract: In this paper, we first obtain an $L^q$ gradient estimate for $p$-harmonic maps, by assuming the target manifold supporting a certain function, whose gradient and Hessian satisfy some analysis conditions. From this $L^q$ gradient estimate, we get a corresponding Liouville type result for $p$-harmonic maps. Secondly, using these general results, we give various geometric applications to $p$-harmonic maps from complete manifolds with nonnegative Ricci curvature to manifolds with various upper bound on sectional curvature, under appropriate controlled images.


title: Laser control of molecular rotation: Expanding the utility of an optical centrifuge

abstract: Since its invention in 1999, optical centrifuge has become a powerful tool for controlling molecular rotation and studying molecular dynamics and molecular properties at extreme levels of rotational excitation. The technique has been applied to a variety of molecular species, from simple linear molecules to symmetric and asymmetric tops, to molecular ions and chiral enantiomers. Properties of isolated ultrafast rotating molecules, so-called molecular superrotors, have been investigated, as well as their collisions with one another and interaction with external fields. The ability of an optical centrifuge to spin a particular molecule of interest depends on both the molecular structure and the parameters of the centrifuge laser pulse. An interplay between these two factors dictates the utility of an optical centrifuge in any specific application. Here, we discuss the strategy of assessing and adjusting the properties of the centrifuge to those of the molecular rotors, and describe two practical examples of optical centrifuges with very different characteristics, implemented experimentally in our laboratory.


title: Gluing equations for real projective structures on 3-manifolds

abstract: Given an orientable ideally triangulated $3$--manifold $M$, we define a system of real valued equations and inequalities whose solutions can be used to construct projective structures on $M$. These equations represent a unifying framework for the classical Thurston gluing equations in hyperbolic geometry and their more recent counterparts in Anti-de Sitter and half-pipe geometry. Moreover, these equations can be used to detect properly convex structures on $M$. The paper also includes a few explicit examples where the equations are used to construct properly convex structures.


title: The Polaron at Strong Coupling

abstract: We review old and new results on the Fr\"ohlich polaron model. The discussion includes the validity of the (classical) Pekar approximation in the strong coupling limit, quantum corrections to this limit, as well as the divergence of the effective polaron mass.


title: Detecting Out-of-Distribution Examples with In-distribution Examples and Gram Matrices

abstract: When presented with Out-of-Distribution (OOD) examples, deep neural networks yield confident, incorrect predictions. Detecting OOD examples is challenging, and the potential risks are high. In this paper, we propose to detect OOD examples by identifying inconsistencies between activity patterns and class predicted. We find that characterizing activity patterns by Gram matrices and identifying anomalies in gram matrix values can yield high OOD detection rates. We identify anomalies in the gram matrices by simply comparing each value with its respective range observed over the training data. Unlike many approaches, this can be used with any pre-trained softmax classifier and does not require access to OOD data for fine-tuning hyperparameters, nor does it require OOD access for inferring parameters. The method is applicable across a variety of architectures and vision datasets and, for the important and surprisingly hard task of detecting far-from-distribution out-of-distribution examples, it generally performs better than or equal to state-of-the-art OOD detection methods (including those that do assume access to OOD examples).


title: Unitarily Inequivalent Vacua and Long-Range Forces: Phenomenology with Scalar Boson Mass-Shift

abstract: We explore the impact of a sudden shift in the mass of a scalar boson field on long-range forces mediated by this field under the framework of unitarily inequivalent vacua. Since the search for new long-range forces is an active experimental area probing physics beyond the Standard Model, the consequence of a non-trivial vacuum state of a scalar boson on these experiments is elucidated. We show that while the mass shift affects the one-boson exchange potential, the Casimir force remains only dependent on the vacuum state.


title: Relative Vertex Asphericity

abstract: Diagrammatic reducibility DR and its generalization vertex asphericity VA are combinatorial tools developed for detecting asphericity of a 2-complex. Here we present tests for a relative version of VA that apply to pairs of 2-complexes $(L,K)$, where $K$ is a subcomplex of $L$. We show that a relative weight test holds for injective labeled oriented trees, implying that they are VA and hence aspherical. This strengthens a result obtained by the authors in 2017 and simplifies the original proof.


title: Universality in Hadronic and Nuclear Collisions at High Energy

abstract: Recent experimental results in proton-proton and in proton-nucleus collisions at Large Hadron Collider energies show a strong similarity to those observed in nucleus-nucleus collisions, where the formation of a quark-gluon plasma is expected. We discuss the comparison between small colliding systems and nucleus-nucleus collisions, for: a)~the strangeness suppression factor $\gamma_s$ and yields of multi-strange hadrons; b)~the average transverse momentum, $p_t$, with particular attention to the low $p_t$ region where soft, non-perturbative effects are important; c)~the elliptic flow scaled by the participant eccentricity. The universal behavior in hadronic and nuclear high energy collisions emerges for all these observables in terms of a specific dynamical variable which corresponds to the entropy density of initial system in the collision and which takes into account the transverse size of the initial configuration and its fluctuations.


title: Tha3aroon at NSURL-2019 Task 8: Semantic Question Similarity in Arabic

abstract: In this paper, we describe our team's effort on the semantic text question similarity task of NSURL 2019. Our top performing system utilizes several innovative data augmentation techniques to enlarge the training data. Then, it takes ELMo pre-trained contextual embeddings of the data and feeds them into an ON-LSTM network with self-attention. This results in sequence representation vectors that are used to predict the relation between the question pairs. The model is ranked in the 1st place with 96.499 F1-score (same as the second place F1-score) and the 2nd place with 94.848 F1-score (differs by 1.076 F1-score from the first place) on the public and private leaderboards, respectively.


title: Inflation with very small tensor-to-scalar ratio

abstract: We have investigated inflation models that predict a very small value of the tensor-to-scalar ratio, $r$. The spectral index $n_s$, and the tensor-to-scalar ratio $r$, are strictly constrained by the Planck data. $n_s$ and $r$ are sensitive to the shape and magnitude of the inflaton potential, respectively.The constraints by the Planck 2018 data combined with other cosmological observations are compared with the predictions from the inflation models regarding $n_s$ and $r$. Furthermore, we discuss the comparison of future tensor-to-scalar ratio data with predictions from the inflation models with a focus on part of the quantum fluctuation origin.


title: Nonlinear deformation and run-up of single tsunami waves of positive polarity: numerical simulations and analytical predictions

abstract: The estimate of individual wave run-up is especially important for tsunami warning and risk assessment as it allows to evaluate the inundation area. Here as a model of tsunami we use the long single wave of positive polarity. The period of such wave is rather long which makes it different from the famous Korteweg-de Vries soliton. This wave nonlinearly deforms during its propagation in the ocean, what results in a steep wave front formation. Situations, when waves approach the coast with a steep front are often observed during large tsunamis, e.g. 2004 Indian Ocean and 2011 15 Tohoku tsunamis. Here we study the nonlinear deformation and run-up of long single waves of positive polarity in the conjoined water basin, which consists of the constant depth section and a plane beach. The work is performed numerically and analytically in the framework of the nonlinear shallow water theory. Analytically, wave propagation along the constant depth section and its run-up on a beach are considered independently without taking into account wave interaction with the toe of the bottom slope. The propagation along the bottom of constant depth is described by Riemann wave, while the wave 20 run-up on a plane beach is calculated using rigorous analytical solutions of the nonlinear shallow water theory following the Carrier-Greenspan approach. Numerically, we use the finite volume method with the second order UNO2 reconstruction in space and the third order Runge-Kutta scheme with locally adaptive time steps. During wave propagation along the constant depth section, the wave becomes asymmetric with a steep wave front. Shown, that the maximum run-up height depends on the front steepness of the incoming wave approaching the toe of the bottom slope. The corresponding formula for maximum 25 run-up height, which takes into account the wave front steepness, is proposed.

categories: physics.flu-dyn nlin.PS physics.ao-ph physics.comp-ph


title: Mirror symmetry breaking in micelles of N-stearoyl serine enantiomers

abstract: Abstract: Circular dichroism spectra were recorded for micellar aggregates of N-stearoyl (L or D) serine in H2O or D2O. Micelle formation kinetics differed markedly in H2O, but in D2O the enantiomers showed similar spectral characteristics. The results confirm previous observations (1) that described differences in the thermodynamic properties of enantiomers, in contrary to the reigning dogma. The comparison of spectral properties indicates that this phenomenon depends on the interactions with H2O and is not due to trivial contamination.


title: Drifting Pulsation Structure at the Very Beginning of the 2017 September 10 Limb Flare

abstract: Drifting pulsation structures (DPSs) are important radio fine structures usually observed at the beginning of eruptive solar flares. It has been suggested that DPSs carry important information on the energy release processes in solar flares. We study DPS observed in an X8.2-class flare on 2017 September 10 in the context of spatial and spectral diagnostics provided by microwave, EUV, and X-ray observations. We describe DPS and its sub-structures that were observed for the first time. We use a new wavelet technique to reveal characteristic periods in DPS and their frequency bands. Comparing the periods of pulsations found in this DPS with those in previous DPSs we found new very short periods in the 0.09-0.15 s range. We present EOVSA images and spectra of microwave sources observed during the DPS. This DPS at its very beginning has pulsations in two frequency bands (1000-1300 MHz and 1600--1800 MHz) which are interconnected by fast drifting bursts. We show that these double-band pulsations started just at the moment when the ejected filament splits apart in a tearing motion at the location where a signature of the flare current sheetlater appeared. Using the standard flare model and previous observations of DPSs, we interpret these double-band pulsations as a radio signature of superthermal electrons trapped in the rising magnetic rope and flare arcade at the moment when the flare magnetic reconnection starts. The results are discussed in a scenario with the plasmoid in the rising magnetic rope.


title: Almost square dual Banach spaces

abstract: We show that finite dimensional Banach spaces fail to be uniformly non locally almost square. Moreover, we construct an equivalent almost square bidual norm on $\ell_\infty.$ As a consequence we get that every dual Banach space containing $c_0$ has an equivalent almost square dual norm. Finally we characterize separable real almost square spaces in terms of their position in their fourth duals.


title: Weak Supervision for Fake News Detection via Reinforcement Learning

abstract: Today social media has become the primary source for news. Via social media platforms, fake news travel at unprecedented speeds, reach global audiences and put users and communities at great risk. Therefore, it is extremely important to detect fake news as early as possible. Recently, deep learning based approaches have shown improved performance in fake news detection. However, the training of such models requires a large amount of labeled data, but manual annotation is time-consuming and expensive. Moreover, due to the dynamic nature of news, annotated samples may become outdated quickly and cannot represent the news articles on newly emerged events. Therefore, how to obtain fresh and high-quality labeled samples is the major challenge in employing deep learning models for fake news detection. In order to tackle this challenge, we propose a reinforced weakly-supervised fake news detection framework, i.e., WeFEND, which can leverage users' reports as weak supervision to enlarge the amount of training data for fake news detection. The proposed framework consists of three main components: the annotator, the reinforced selector and the fake news detector. The annotator can automatically assign weak labels for unlabeled news based on users' reports. The reinforced selector using reinforcement learning techniques chooses high-quality samples from the weakly labeled data and filters out those low-quality ones that may degrade the detector's prediction performance. The fake news detector aims to identify fake news based on the news content. We tested the proposed framework on a large collection of news articles published via WeChat official accounts and associated user reports. Extensive experiments on this dataset show that the proposed WeFEND model achieves the best performance compared with the state-of-the-art methods.


title: Portfolio Optimization under Correlation Constraint

abstract: We consider the problem of portfolio optimization with a correlation constraint. The framework is the multiperiod stochastic financial market setting with one tradable stock, stochastic income and a non-tradable index. The correlation constraint is imposed on the portfolio and the non-tradable index at some benchmark time horizon. The goal is to maximize portofolio's expected exponential utility subject to the correlation constraint. Two types of optimal portfolio strategies are considered: the subgame perfect and the precommitment ones. We find analytical expressions for the constrained subgame perfect (CSGP) and the constrained precommitment (CPC) portfolio strategies. Both these portfolio strategies yield significantly lower risk when compared to the unconstrained setting, at the cost of a small utility loss. The performance of the CSGP and CPC portfolio strategies is similar.


title: NAS evaluation is frustratingly hard

abstract: Neural Architecture Search (NAS) is an exciting new field which promises to be as much as a game-changer as Convolutional Neural Networks were in 2012. Despite many great works leading to substantial improvements on a variety of tasks, comparison between different methods is still very much an open issue. While most algorithms are tested on the same datasets, there is no shared experimental protocol followed by all. As such, and due to the under-use of ablation studies, there is a lack of clarity regarding why certain methods are more effective than others. Our first contribution is a benchmark of $8$ NAS methods on $5$ datasets. To overcome the hurdle of comparing methods with different search spaces, we propose using a method's relative improvement over the randomly sampled average architecture, which effectively removes advantages arising from expertly engineered search spaces or training protocols. Surprisingly, we find that many NAS techniques struggle to significantly beat the average architecture baseline. We perform further experiments with the commonly used DARTS search space in order to understand the contribution of each component in the NAS pipeline. These experiments highlight that: (i) the use of tricks in the evaluation protocol has a predominant impact on the reported performance of architectures; (ii) the cell-based search space has a very narrow accuracy range, such that the seed has a considerable impact on architecture rankings; (iii) the hand-designed macro-structure (cells) is more important than the searched micro-structure (operations); and (iv) the depth-gap is a real phenomenon, evidenced by the change in rankings between $8$ and $20$ cell architectures. To conclude, we suggest best practices, that we hope will prove useful for the community and help mitigate current NAS pitfalls. The code used is available at https://github.com/antoyang/NAS-Benchmark.


title: On the speed of distance stationary sequences

abstract: We prove a formula for the speed of distance stationary random sequences generalizing the law of large numbers of Karlsson and Ledrappier. A particular case is the classical formula for the largest Lyapunov exponent of i.i.d.\ matrix products, but our result has applications in various different contexts. In many situations it gives a method to estimate the speed, and in others it allows to obtain results of dimension drop for escape measures related to random walks. We show applications to stationary reversible random trees with conductances, Bernoulli bond percolation of Cayley graphs, and random walks on cocompact Fuchsian groups.


title: The L\'evy State Space Model

abstract: In this paper we introduce a new class of state space models based on shot-noise simulation representations of non-Gaussian L\'evy-driven linear systems, represented as stochastic differential equations. In particular a conditionally Gaussian version of the models is proposed that is able to capture heavy-tailed non-Gaussianity while retaining tractability for inference procedures. We focus on a canonical class of such processes, the $\alpha$-stable L\'evy processes, which retain important properties such as self-similarity and heavy-tails, while emphasizing that broader classes of non-Gaussian L\'evy processes may be handled by similar methodology. An important feature is that we are able to marginalise both the skewness and the scale parameters of these challenging models from posterior probability distributions. The models are posed in continuous time and so are able to deal with irregular data arrival times. Example modelling and inference procedures are provided using Rao-Blackwellised sequential Monte Carlo applied to a two-dimensional Langevin model, and this is tested on real exchange rate data.


title: Pathwise Optimization for Merchant Energy Production

abstract: We study merchant energy production modeled as a compound switching and timing option. The resulting Markov decision process is intractable. State-of-the-art approximate dynamic programming methods applied to realistic instances of this model yield policies with large optimality gaps that are attributed to a weak upper (dual) bound on the optimal policy value. We extend pathwise optimization from stopping models to merchant energy production to investigate this issue. We apply principal component analysis and block coordinate descent in novel ways to respectively precondition and solve the ensuing ill conditioned and large scale linear program, which even a cutting-edge commercial solver is unable to handle directly. Compared to standard methods, our approach leads to substantially tighter dual bounds and smaller optimality gaps at the expense of considerably larger computational effort. Specifically, we provide numerical evidence for the near optimality of the operating policies based on least squares Monte Carlo and compute slightly better ones using our approach on a set of existing benchmark ethanol production instances. These findings suggest that both these policies are effective for the class of models we investigate. Our research has potential relevance for other commodity merchant operations settings.


title: Real World Longitudinal iOS App Usage Study at Scale

abstract: Given the importance of understanding the interaction between mobile devices and their users, app usage patterns have been studied in various contexts. However, prior work has not fully investigated longitudinal changes to app usage behavior. In this paper, we present a longitudinal, large-scale study of mobile app usage based on a dataset collected from 162,006 iPhones and iPads over 4 years. We explore multiple dimensions of app usage pattern proving useful insights on how app usage changes over time. Our key findings include (i) app usage pattern changes over time both at the individual app level and the app category level (i.e. proportion of time a user spends using an app), (ii) users keep a small set of apps frequently launched (90% of iPhone users launch roughly 14-18 apps weekly), (iii) a small number of apps remain popular while some specific kinds of apps (e.g. Games) have a shorter life cycle compared to other apps of different categories. Finally, we discuss our findings and their implications, for example, a short-term study as an attempt to understand the general needs of mobile devices may not achieve useful results for the long term.


title: Bayesian estimation of large dimensional time varying VARs using copulas

abstract: This paper provides a simple, yet reliable, alternative to the (Bayesian) estimation of large multivariate VARs with time variation in the conditional mean equations and/or in the covariance structure. With our new methodology, the original multivariate, n dimensional model is treated as a set of n univariate estimation problems, and cross-dependence is handled through the use of a copula. Thus, only univariate distribution functions are needed when estimating the individual equations, which are often available in closed form, and easy to handle with MCMC (or other techniques). Estimation is carried out in parallel for the individual equations. Thereafter, the individual posteriors are combined with the copula, so obtaining a joint posterior which can be easily resampled. We illustrate our approach by applying it to a large time-varying parameter VAR with 25 macroeconomic variables.


title: Applications of Unsupervised Deep Transfer Learning to Intelligent Fault Diagnosis: A Survey and Comparative Study

abstract: Recent progress on intelligent fault diagnosis (IFD) has greatly depended on deep representation learning and plenty of labeled data. However, machines often operate with various working conditions or the target task has different distributions with the collected data used for training (the domain shift problem). Besides, the newly collected test data in the target domain are usually unlabeled, leading to unsupervised deep transfer learning based (UDTL-based) IFD problem. Although it has achieved huge development, a standard and open source code framework as well as a comparative study for UDTL-based IFD are not yet established. In this paper, we construct a new taxonomy and perform a comprehensive review of UDTL-based IFD according to different tasks. Comparative analysis of some typical methods and datasets reveals some open and essential issues in UDTL-based IFD which are rarely studied, including transferability of features, influence of backbones, negative transfer, physical priors, etc. To emphasize the importance and reproducibility of UDTL-based IFD, the whole test framework will be released to the research community to facilitate future research. In summary, the released framework and comparative study can serve as an extended interface and basic results to carry out new studies on UDTL-based IFD. The code framework is available at \url{https://github.com/ZhaoZhibin/UDTL}.


title: A Fine-Grained Perspective on Approximating Subset Sum and Partition

abstract: Approximating Subset Sum is a classic and fundamental problem in computer science and mathematical optimization. The state-of-the-art approximation scheme for Subset Sum computes a $(1-\varepsilon)$-approximation in time $\tilde{O}(\min\{n/\varepsilon, n+1/\varepsilon^2\})$ [Gens, Levner'78, Kellerer et al.'97]. In particular, a $(1-1/n)$-approximation can be computed in time $O(n^2)$. We establish a connection to Min-Plus-Convolution, a problem that is of particular interest in fine-grained complexity theory and can be solved naively in time $O(n^2)$. Our main result is that computing a $(1-1/n)$-approximation for Subset Sum is subquadratically equivalent to Min-Plus-Convolution. Thus, assuming the Min-Plus-Convolution conjecture from fine-grained complexity theory, there is no approximation scheme for Subset Sum with strongly subquadratic dependence on $n$ and $1/\varepsilon$. In the other direction, our reduction allows us to transfer known lower order improvements from Min-Plus-Convolution to Subset Sum, which yields a mildly subquadratic randomized approximation scheme. This adds the first approximation problem to the list of problems that are equivalent to Min-Plus-Convolution. For the related Partition problem, an important special case of Subset Sum, the state of the art is a randomized approximation scheme running in time $\tilde{O}(n+1/\varepsilon^{5/3})$ [Mucha~et~al.'19]. We adapt our reduction from Subset Sum to Min-Plus-Convolution to obtain a related reduction from Partition to Min-Plus-Convolution. This yields an improved approximation scheme for Partition running in time $\tilde{O}(n + 1/\varepsilon^{3/2})$. Our algorithm is the first deterministic approximation scheme for Partition that breaks the quadratic barrier.


title: Reframing SU(1,1) interferometry

abstract: SU(1,1) interferometry, proposed in a classic 1986 paper by Yurke, McCall, and Klauder [Phys. Rev. A 33, 4033 (1986)], involves squeezing, displacing, and then unsqueezing two bosonic modes. It has, over the past decade, been implemented in a variety of experiments. Here I take SU(1,1) interferometry apart, to see how and why it ticks. SU(1,1) interferometry arises naturally as the two-mode version of active-squeezing-enhanced, back-action-evading measurements aimed at detecting the phase-space displacement of a harmonic oscillator subjected to a classical force. Truncating an SU(1,1) interferometer, by omitting the second two-mode squeezer, leaves a prototype that uses the entanglement of two-mode squeezing to detect and characterize a disturbance on one of the two modes from measurement statistics gathered from both modes.


title: A framework supporting imprecise queries and data

abstract: This technical report provides some lightweight introduction and some generic use case scenarios motivating the definition of a database supporting uncertainties in both queries and data. This technical report is only providing the logical framework, which implementation is going to be provided in the final paper.


title: Towards recognizing the light facet of the Higgs Boson

abstract: The Higgs boson couplings to bottom and top quarks have been measured and agree well with the Standard Model predictions. Decays to lighter quarks and gluons, however, remain elusive. Observing these decays is essential to complete the picture of the Higgs boson interactions. In this work, we present the perspectives for the 14 TeV LHC to observe the Higgs boson decay to gluon jets assembling convolutional neural networks, trained to recognize abstract jet images constructed embodying particle flow information, and boosted decision trees with kinetic information from Higgs-strahlung $ZH\to \ell^+\ell^- + gg$ events. We show that this approach might be able to observe Higgs to gluon decays with a significance of around $2.4\sigma$ improving significantly previous prospects based on cut-and-count analysis. An upper bound of $BR(H\to gg)\leq 1.74\times BR^{SM}(H\to gg)$ at 95\% confidence level after 3000 fb$^{-1}$ of data is obtained using these machine learning techniques.


title: Learning to segment images with classification labels

abstract: Two of the most common tasks in medical imaging are classification and segmentation. Either task requires labeled data annotated by experts, which is scarce and expensive to collect. Annotating data for segmentation is generally considered to be more laborious as the annotator has to draw around the boundaries of regions of interest, as opposed to assigning image patches a class label. Furthermore, in tasks such as breast cancer histopathology, any realistic clinical application often includes working with whole slide images, whereas most publicly available training data are in the form of image patches, which are given a class label. We propose an architecture that can alleviate the requirements for segmentation-level ground truth by making use of image-level labels to reduce the amount of time spent on data curation. In addition, this architecture can help unlock the potential of previously acquired image-level datasets on segmentation tasks by annotating a small number of regions of interest. In our experiments, we show using only one segmentation-level annotation per class, we can achieve performance comparable to a fully annotated dataset.


title: Value of structural health information in partially observable stochastic environments

abstract: Efficient integration of uncertain observations with decision-making optimization is key for prescribing informed intervention actions, able to preserve structural safety of deteriorating engineering systems. To this end, it is necessary that scheduling of inspection and monitoring strategies be objectively performed on the basis of their expected value-based gains that, among others, reflect quantitative metrics such as the Value of Information (VoI) and the Value of Structural Health Monitoring (VoSHM). In this work, we introduce and study the theoretical and computational foundations of the above metrics within the context of Partially Observable Markov Decision Processes (POMDPs), thus alluding to a broad class of decision-making problems of partially observable stochastic deteriorating environments that can be modeled as POMDPs. Step-wise and life-cycle VoI and VoSHM definitions are devised and their bounds are analyzed as per the properties stemming from the Bellman equation and the resulting optimal value function. It is shown that a POMDP policy inherently leverages the notion of VoI to guide observational actions in an optimal way at every decision step, and that the permanent or intermittent information provided by SHM or inspection visits, respectively, can only improve the cost of this policy in the long-term, something that is not necessarily true under locally optimal policies, typically adopted in decision-making of structures and infrastructure. POMDP solutions are derived based on point-based value iteration methods, and the various definitions are quantified in stationary and non-stationary deteriorating environments, with both infinite and finite planning horizons, featuring single- or multi-component engineering systems.

categories: cs.LG cs.AI cs.SY eess.SY math.OC stat.ML


title: On the Asymptotic Optimality of Work-Conserving Disciplines in Completion Time Minimization

abstract: In this paper, we prove that under mild stochastic assumptions, work-conserving disciplines are asymptotic optimal for minimizing total completion time. As a byproduct of our analysis, we obtain tight upper bound on the competitive ratios of work-conserving disciplines on minimizing the metric of flow time.


title: Modular functions and resolvent problems

abstract: The link between modular functions and algebraic functions was a driving force behind the 19th century study of both. Examples include the solutions by Hermite and Klein of the quintic via elliptic modular functions and the general sextic via level $2$ hyperelliptic functions. This paper aims to apply modern arithmetic techniques to the circle of ``resolvent problems'' formulated and pursued by Klein, Hilbert and others. As one example, we prove that the essential dimension at $p=2$ for the symmetric groups $S_n$ is equal to the essential dimension at $2$ of certain $S_n$-coverings defined using moduli spaces of principally polarized abelian varieties. Our proofs use the deformation theory of abelian varieties in characteristic $p$, specifically Serre-Tate theory, as well as a family of remarkable mod $2$ symplectic $S_n$-representations constructed by Jordan. As shown in an appendix by Nate Harman, the properties we need for such representations exist only in the $p=2$ case. In the second half of this paper we introduce the notion of $\E$-versality as a kind of generalization of Kummer theory, and we prove that many congruence covers are $\E$-versal. We use these $\E$-versality result to deduce the equivalence of Hilbert's 13th Problem (and related conjectures) with problems about congruence covers.


title: Quantum phase transitions on the hexagonal lattice

abstract: Hubbard-type models on the hexagonal lattice are of great interest, as they provide realistic descriptions of graphene and other related materials. Hybrid Monte Carlo simulations offer a first-principles approach to study their phase structure. Here, we review the present status of our work in this direction.


title: Full of Orions: a 200-pc mapping of the interstellar medium in the redshift-3 lensed dusty star-forming galaxy SDP.81

abstract: We present a sub-kpc resolved study of the interstellar medium properties in SDP.81, a z=3.042 strongly gravitationally lensed dusty star-forming galaxy, based on high-resolution, multi-band ALMA observations of the FIR continuum, CO ladder and the [CII] line. Using a visibility-plane lens modelling code, we achieve a median source-plane resolution of ~200 pc. We use photon-dominated region (PDR) models to infer the physical conditions - far-UV field strength, density, and PDR surface temperature - of the star-forming gas on 200-pc scales, finding a FUV field strength of ~10^3-10^4 G0, gas density of ~10^5 cm^-3 and cloud surface temperatures up to 1500 K, similar to those in the Orion Trapezium region. The [CII] emission is significantly more extended than that FIR continuum: ~50 per cent of [CII] emission arises outside the FIR-bright region. The resolved [CII]/FIR ratio varies by almost 2 dex across the source, down to ~2x10^-4 in the star-forming clumps. The observed [CII]/FIR deficit trend is consistent with thermal saturation of the C+ fine-structure level occupancy at high gas temperatures. We make the source-plane reconstructions of all emission lines and continuum data publicly available.


title: Betelgeuse at the end of 2019: an historical minimum about to end

abstract: The semi-regular variable star Betelgeuse is undergoing an historical minimum of its brightness. An 8 year series of visual and V-band CCD observations started at the end of 2011 is presented and discussed. Visual methods for comparing magnitudes of angularly distant stars, and performing a differential photometry, needed for such a bright star, are also presented.


title: Magnetogenesis in Higgs inflation

abstract: We study the generation of magnetic fields in the Higgs inflation model with the axial coupling in order to break the conformal invariance of the Maxwell action and produce strong magnetic fields. We consider radiatively corrected Higgs inflation potential. In comparison to the Starobinsky potential, we obtain an extra term as a one loop correction and determine the spectrum of generalized electromagnetic fields. For two values of coupling parameter $\chi_{1}=5\times 10^{9}$ and $\chi_{1}=7.5\times 10^{9}$, the back-reaction is weak and our analysis is self-consistent.


title: Approximating Nash Social Welfare under Submodular Valuations through (Un)Matchings

abstract: We study the problem of approximating maximum Nash social welfare (NSW) when allocating m indivisible items among n asymmetric agents with submodular valuations. The NSW is a well-established notion of fairness and efficiency, defined as the weighted geometric mean of agents' valuations. For special cases of the problem with symmetric agents and additive(-like) valuation functions, approximation algorithms have been designed using approaches customized for these specific settings, and they fail to extend to more general settings. Hence, no approximation algorithm with factor independent of m is known either for asymmetric agents with additive valuations or for symmetric agents beyond additive(-like) valuations. In this paper, we extend our understanding of the NSW problem to far more general settings. Our main contribution is two approximation algorithms for asymmetric agents with additive and submodular valuations respectively. Both algorithms are simple to understand and involve non-trivial modifications of a greedy repeated matchings approach. Allocations of high valued items are done separately by un-matching certain items and re-matching them, by processes that are different in both algorithms. We show that these approaches achieve approximation factors of O(n) and O(n log n) for additive and submodular case respectively, which is independent of the number of items. For additive valuations, our algorithm outputs an allocation that also achieves the fairness property of envy-free up to one item (EF1). Furthermore, we show that the NSW problem under submodular valuations is strictly harder than all currently known settings with an e/(e-1) factor of the hardness of approximation, even for constantly many agents. For this case, we provide a different approximation algorithm that achieves a factor of e/(e-1), hence resolving it completely.


title: A result on fractional (a,b,k)-critical covered graphs

abstract: For a graph $G$, the set of vertices in $G$ is denoted by $V(G)$, and the set of edges in $G$ is denoted by $E(G)$. A fractional $[a,b]$-factor of a graph $G$ is a function $h$ from $E(G)$ to $[0,1]$ satisfying $a\leq d_G^{h}(v)\leq b$ for every vertex $v$ of $G$, where $d_G^{h}(v)=\sum\limits_{e\in E(v)}{h(e)}$ and $E(v)=\{e=uv:u\in V(G)\}$. A graph $G$ is called fractional $[a,b]$-covered if $G$ contains a fractional $[a,b]$-factor $h$ with $h(e)=1$ for any edge $e$ of $G$. A graph $G$ is called fractional $(a,b,k)$-critical covered if $G-Q$ is fractional $[a,b]$-covered for any $Q\subseteq V(G)$ with $|Q|=k$. In this article, we demonstrate a neighborhood condition for a graph to be fractional $(a,b,k)$-critical covered. Furthermore, we claim that the result is sharp.


title: Steady solutions to a model of compressible chemically reacting fluid with high density

abstract: We consider a model describing the steady flow of compressible heat-conducting chemically-reacting multi-component mixture. We show the existence of strong solutions under the additional assumption that the mixture is sufficiently dense. We work in the $L^p$-setting combining the methods for the weak solutions with the method of decomposition. The result is a generalization of our previous papers, where the case of single-constituted fluid was studied.


title: Enhanced nonlinear interaction of polaritons via excitonic Rydberg states in monolayer WSe2

abstract: Strong optical nonlinearities play a central role in realizing quantum photonic technologies. In solid state systems, exciton-polaritons, which result from the hybridization of material excitations and cavity photons, are an attractive candidate to realize such nonlinearities. Here, the interaction between excitons forms the basis of the polaritonic nonlinearity. While the interaction between ground state excitons generates a notable optical nonlinearity, the strength of such ground state interactions is generally not sufficient to reach the regime of quantum nonlinear optics and strong single-polariton interactions. Excited states, however, feature enhanced interactions and therefore hold promise for accessing the quantum domain of single-photon nonlinearities, as demonstrated with high-lying Rydberg states of cold atomic systems. Excitons in excited states have recently been observed in monolayer transition metal dichalcogenides. Here we demonstrate the formation of exciton-polaritons using the first excited excitonic state in monolayer tungsten diselenide (WSe2) embedded in a microcavity. Owing to the larger exciton size compared to their ground state counterpart, the realized polaritons exhibit an enhanced nonlinear response by more than an order of magnitude, as evidenced through a modification of the cavity Rabi splitting. The demonstration of excited exciton-polaritons in two-dimensional semiconductors and their enhanced nonlinear response presents the first step towards the generation of strong photon interactions in solid state systems, a necessary building block for quantum photonic technologies.


title: A proof of the Schinzel-Zassenhaus conjecture on polynomials

abstract: We prove that if $P(X) \in \mathbb{Z}[X]$ is an integer polynomial of degree $n$ and having $P(0) = 1$, then either $P(X)$ is a product of cyclotomic polynomials, or else at least one of the complex roots of $P$ belongs to the disk $|z| \leq 2^{ - 1 / (4n) }$. We also obtain a relative version of this result over the compositum $\mathbb{Q}^{\mathrm{ab}} \cdot \mathbb{Q}^{\mathrm{t.}p}$ of all abelian and all totally $p$-adic extensions of $\mathbb{Q}$, for any fixed prime~$p$, and apply it to prove a $\mathbb{Q}^{\mathrm{ab}} \cdot \mathbb{Q}^{\mathrm{t.}p}$-relative canonical height lower bound on the multiplicative group. Another extension is given to a uniform positive height lower bound, inverse-proportional to the total number of singular points, on holonomic power series in $\mathbb{Q}[[X]]$ and not of the form $p(X) / (X^k-1)^m$, where $p(X) \in \mathbb{Q}[X]$, with a further application to existence of a small critical value for certain rational functions.


title: Second post-Newtonian order radiative dynamics of inspiralling compact binaries in the Effective Field Theory approach

abstract: We use the Effective Field Theory (EFT) framework to compute the mass quadrupole moment, the equation of motion, and the power loss of inspiralling compact binaries at the second order in the Post-Newtonian (PN) approximation. We present expressions for the stress-energy pseudo-tensor components of the binary system in higher PN orders. The 2PN correction to the mass quadrupole moment as well as to the acceleration computed in the linearized harmonic gauge presented here are the ingredients needed for the calculation of the next-to-next-to leading order radiation reaction force, which will be presented elsewhere. While this paper reproduces known results, it supplies the building blocks necessary for future higher order calculations in the EFT methodology.


title: Note on quantitative homogenization results for parabolic systems in $\mathbb{R}^d$

abstract: In $L_2(\mathbb{R}^d;\mathbb{C}^n)$, we consider a semigroup $e^{-tA_\varepsilon}$, $t\geqslant 0$, generated by a matrix elliptic second order differential operator $A_\varepsilon \geqslant 0$. Coefficients of $A_\varepsilon$ are periodic, depend on $\mathbf{x}/\varepsilon$ and oscillate rapidly as $\varepsilon \rightarrow 0$. Approximations for $e^{-tA_\varepsilon}$ were obtained by T. A. Suslina (2004, 2010) via the spectral method and by V. V. Zhikov and S. E. Pastukhova (2006) via the shift method. In the present note, we give another short proof based on the contour integral representation for the semigroup and approximations for the resolvent with two-parametric error estimates obtained by T. A. Suslina (2015).


title: Mesoscopic wave physics in fish shoals

abstract: Ultrasound scattered by a dense shoal of fish undergoes mesoscopic interference, as is typical of low-temperature electrical transport in metals or light scattering in colloidal suspensions. Through large-scale measurements in open sea, we show a set of striking deviations from classical wave diffusion making fish shoals good candidates to study mesoscopic wave phenomena. The very good agreement with theories enlightens the role of fish structure on such a strong scattering regime that features slow energy transport and brings acoustic waves close to the Anderson localization transition.


title: Anharmonic corrections to the multiphonon deep-level charge capture ab initio calculations for semiconductors

abstract: Nonradiative carrier recombination at semiconductor deep centers is of great importance to both fundamental physics and device engineering. In this letter, we provide a revised analysis of K. Huang's original nonradiative multi-phonon (NMP) theory with ab initio calculations. First, we identify at first-principle level that Huang's concise formula gives the same results as the matrix based formula, and Huang's high temperature formula provides an analytical expression for the coupling constant in Marcus theory. Secondly, the anharmonic effects are corrected by taking into account local phonon mode variation at different charge states of the defect. The corrected capture rates for defects in GaN and SiC agree well with experiments.


title: Robust Variable Selection Criteria for the Penalized Regression

abstract: We propose a robust variable selection procedure using a divergence based M-estimator combined with a penalty function. It produces robust estimates of the regression parameters and simultaneously selects the important explanatory variables. An efficient algorithm based on the quadratic approximation of the estimating equation is constructed. The asymptotic distribution and the influence function of the regression coefficients are derived. The widely used model selection procedures based on the Mallows's $C_p$ statistic and Akaike information criterion (AIC) often show very poor performance in the presence of heavy-tailed error or outliers. For this purpose, we introduce robust versions of these information criteria based on our proposed method. The simulation studies show that the robust variable selection technique outperforms the classical likelihood-based techniques in the presence of outliers. The performance of the proposed method is also explored through the real data analysis.


title: Aligning Statistical Dynamics Captures Biological Network Functioning

abstract: Empirical studies of graphs have contributed enormously to our understanding of complex systems. Known today as network science, what was originally a theoretical study of graphs has grown into a more scientific exploration of communities spanning the physical, biological, and social. However, as the quantity and types of networks have grown so has their heterogeneity in quality and specificity. This has hampered efforts to develop general network theory capable of inferring functioning and predicting dynamics across study systems. We have successfully approached this challenge by aligning networks to each other rather than comparing parameter estimates from individually fitted models or properties of edge topologies. By comparing the predictability of statistical dynamics originating from each network's constituent nodes we were able to build a functional classifier that distinguished underlying processes in both synthetic and real-world network data spanning the entire biological scale from cellular machinery to ecosystems.


title: Lieb-Robinson bounds and strongly continuous dynamics for a class of many-body fermion systems in $\mathbb{R}^d$

abstract: We introduce a class of UV-regularized two-body interactions for fermions in $\mathbb{R}^d$ and prove a Lieb-Robinson estimate for the dynamics of this class of many-body systems. As a step toward this result, we also prove a propagation bound of Lieb-Robinson type for Schr\"odinger operators. We apply the propagation bound to prove the existence of infinite-volume dynamics as a strongly continuous group of automorphisms on the CAR algebra.

categories: math-ph cond-mat.stat-mech math.MP quant-ph


title: Explainable Deep Relational Networks for Predicting Compound-Protein Affinities and Contacts

abstract: Predicting compound-protein affinity is critical for accelerating drug discovery. Recent progress made by machine learning focuses on accuracy but leaves much to be desired for interpretability. Through molecular contacts underlying affinities, our large-scale interpretability assessment finds commonly-used attention mechanisms inadequate. We thus formulate a hierarchical multi-objective learning problem whose predicted contacts form the basis for predicted affinities. We further design a physics-inspired deep relational network, DeepRelations, with intrinsically explainable architecture. Specifically, various atomic-level contacts or "relations" lead to molecular-level affinity prediction. And the embedded attentions are regularized with predicted structural contexts and supervised with partially available training contacts. DeepRelations shows superior interpretability to the state-of-the-art: without compromising affinity prediction, it boosts the AUPRC of contact prediction 9.5, 16.9, 19.3 and 5.7-fold for the test, compound-unique, protein-unique, and both-unique sets, respectively. Our study represents the first dedicated model development and systematic model assessment for interpretable machine learning of compound-protein affinity.


title: Spontaneous formation of geysers at only one pole on Enceladus' ice shell

abstract: The ice shell on Enceladus, an icy moon of Saturn, exhibits strong asymmetry between the northern and southern hemispheres, with all known geysers concentrated over the south pole, even though the expected pattern of tidal-rotational deformation should be symmetric between the north and south poles. Using an idealized ice evolution model, we demonstrate that this asymmetry may form spontaneously, without any noticeable a priori asymmetry (such as a giant impact or a monopole structure of geological activity), in contrast to previous studies. Infinitesimal asymmetry in the ice shell thickness due to random perturbations are found to be able to grow indefinitely, ending up significantly thinning the ice shell at one of the poles, thereby allowing fracture formation there. Necessary conditions to trigger this hemispheric symmetry breaking mechanism are found analytically. A rule of thumb we find is that, for Galilean and Saturnian icy moons, the ice shell can undergo hemispheric symmetry breaking only if the mean shell thickness is around 10-30~km.


title: Visual Perception and Modelling in Unstructured Orchard for Apple Harvesting Robots

abstract: Vision perception and modelling are the essential tasks of robotic harvesting in the unstructured orchard. This paper develops a framework of visual perception and modelling for robotic harvesting of fruits in the orchard environments. The developed framework includes visual perception, scenarios mapping, and fruit modelling. The Visual perception module utilises a deep-learning model to perform multi-purpose visual perception task within the working scenarios; The scenarios mapping module applies OctoMap to represent the multiple classes of objects or elements within the environment; The fruit modelling module estimates the geometry property of objects and estimates the proper access pose of each fruit. The developed framework is implemented and evaluated in the apple orchards. The experiment results show that visual perception and modelling algorithm can accurately detect and localise the fruits, and modelling working scenarios in real orchard environments. The $F_{1}$ score and mean intersection of union of visual perception module on fruit detection and segmentation are 0.833 and 0.852, respectively. The accuracy of the fruit modelling in terms of centre localisation and pose estimation are 0.955 and 0.923, respectively. Overall, an accurate visual perception and modelling algorithm are presented in this paper.


title: On singularity properties of word maps and applications to probabilistic Waring type problems

abstract: We study singularity properties of word maps on semisimple algebraic groups and Lie algebras, generalizing the work of Aizenbud-Avni in the case of the commutator map. Given a word $w$ in a free Lie algebra $\mathcal{L}_{r}$, it induces a word map $\varphi_{w}:\mathfrak{g}^{r}\rightarrow\mathfrak{g}$ for every semisimple Lie algebra $\mathfrak{g}$. Given two words $w_{1}\in\mathcal{L}_{r_{1}}$ and $w_{2}\in\mathcal{L}_{r_{2}}$, we define and study the convolution of the corresponding word maps $\varphi_{w_{1}}*\varphi_{w_{2}}:=\varphi_{w_{1}}+\varphi_{w_{2}}:\mathfrak{g}^{r_{1}+r_{2}}\rightarrow\mathfrak{g}$. We show that for any word $w\in\mathcal{L}_{r}$ of degree $d$, and any simple Lie algebra $\mathfrak{g}$ with $\varphi_{w}(\mathfrak{g}^{r})\neq0$, one obtains a flat morphism with reduced fibers of rational singularities (abbreviated an (FRS) morphism) after taking $O(d^{4})$ self-convolutions of $\varphi_{w}$. We deduce that a group word map of length $\ell$ becomes (FRS) at $(e,\ldots,e)\in G^{r}$ after $O(\ell^{4})$ self-convolutions, for any semisimple algebraic group $G$. We furthermore bound the dimensions of the jet schemes of the fibers of Lie algebra word maps, and the fibers of group word maps in the case where $G=\mathrm{SL}_{n}$. For the commutator word $\nu=[X,Y]$, we show that $\varphi_{\nu}^{*4}$ is (FRS) for any semisimple Lie algebra, obtaining applications in representation growth of compact $p$-adic and arithmetic groups. The singularity properties we consider, such as the (FRS) property, are intimately connected to the point count of fibers over finite rings of the form $\mathbb{Z}/p^{k}\mathbb{Z}$. This allows us to relate them to properties of some natural families of random walks on finite and compact $p$-adic groups. We explore these connections, and provide applications to $p$-adic probabilistic Waring type problems.


title: Active Learning in Video Tracking

abstract: Active learning methods, like uncertainty sampling, combined with probabilistic prediction techniques have achieved success in various problems like image classification and text classification. For more complex multivariate prediction tasks, the relationships between labels play an important role in designing structured classifiers with better performance. However, computational time complexity limits prevalent probabilistic methods from effectively supporting active learning. Specifically, while non-probabilistic methods based on structured support vector machines can be tractably applied to predicting bipartite matchings, conditional random fields are intractable for these structures. We propose an adversarial approach for active learning with structured prediction domains that is tractable for matching. We evaluate this approach algorithmically in an important structured prediction problems: object tracking in videos. We demonstrate better accuracy and computational efficiency for our proposed method.


title: Turing Invariant Sets and the Perfect Set Property

abstract: We show that $ZF+DC+$"all Turing invariant sets of reals have the perfect set property" implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations.


title: On Batch-Processing Based Coded Computing for Heterogeneous Distributed Computing Systems

abstract: In recent years, coded distributed computing (CDC) has attracted significant attention, because it can efficiently facilitate many delay-sensitive computation tasks against unexpected latencies in distributed computing systems. Despite such a salient feature, many design challenges and opportunities remain. In this paper, we focus on practical computing systems with heterogeneous computing resources, and design a novel CDC approach, called batch-processing based coded computing (BPCC), which exploits the fact that every computing node can obtain some coded results before it completes the whole task. To this end, we first describe the main idea of the BPCC framework, and then formulate an optimization problem for BPCC to minimize the task completion time by configuring the computation load. Through formal theoretical analyses, extensive simulation studies, and comprehensive real experiments on the Amazon EC2 computing clusters, we demonstrate promising performance of the proposed BPCC scheme, in terms of high computational efficiency and robustness to uncertain disturbances.


title: Estimated aleatoric uncertainty from initial and inlet conditions for variable density mixing

abstract: Variable density flows occur in a variety of different systems with a wide range of scales, from astrophysics to atmospheric flows to inertial confinement fusion or reacting flows. Given the inherent limitations of RANS simulations, it is important to find ways to quantify the uncertainty in the predictions. The aleatoric uncertainty of two different variable density flows to inlet and initial conditions, respectively, is studied. The two cases are the turbulent mixing of a jet in a co-flow at small Atwood number $A$, and the Rayleigh-Taylor mixing in a tilted rocket rig at medium $A$. Uncertainty estimates are made for simulations using the BHR-1 turbulence model and compared to reference data. Estimated distributions of measurement uncertainties from an experimental report are used to do Monte-Carlo sampling for some inlet parameters of the jet in a co-flow case. The results show only little sensitivity to all inlet parameter perturbations, and even with increased perturbations the estimated uncertainty band does not fully match the experimental results. Therefore, the model predictions are very robust with respect to the inlet parameter variability. For the tilted rocket rig case, a perturbation to the initial interface location is varied over an expected range of parameter values. The simulation results are significantly more sensitive to the initial conditions than the jet in co-flow simulation results are to the inlet conditions. The estimated uncertainty band of the tilted rocket rig matches quite well the experimental data at nominal perturbation amplitude. The predictions of this Rayleigh-Taylor instability case hence are less robust to the initial interface perturbations.


title: Towards Optimal Separations between Quantum and Randomized Query Complexities

abstract: The query model offers a concrete setting where quantum algorithms are provably superior to randomized algorithms. Beautiful results by Bernstein-Vazirani, Simon, Aaronson, and others presented partial Boolean functions that can be computed by quantum algorithms making much fewer queries compared to their randomized analogs. To date, separations of $O(1)$ vs. $\sqrt{N}$ between quantum and randomized query complexities remain the state-of-the-art (where $N$ is the input length), leaving open the question of whether $O(1)$ vs. $N^{1/2+\Omega(1)}$ separations are possible? We answer this question in the affirmative. Our separating problem is a variant of the Aaronson-Ambainis $k$-fold Forrelation problem. We show that our variant: (1) Can be solved by a quantum algorithm making $2^{O(k)}$ queries to the inputs. (2) Requires at least $\tilde{\Omega}(N^{2(k-1)/(3k-1)})$ queries for any randomized algorithm. For any constant $\varepsilon>0$, this gives a $O(1)$ vs. $N^{2/3-\varepsilon}$ separation between the quantum and randomized query complexities of partial Boolean functions. Our proof is Fourier analytical and uses new bounds on the Fourier spectrum of classical decision trees, which could be of independent interest. Looking forward, we conjecture that the Fourier bounds could be further improved in a precise manner, and show that such conjectured bounds imply optimal $O(1)$ vs. $N^{1-\varepsilon}$ separations between the quantum and randomized query complexities of partial Boolean functions.


title: The probability that an operator is nilpotent

abstract: Choose a random linear operator on a vector space of finite cardinality N: then the probability that it is nilpotent is 1/N. This is a linear analogue of the fact that for a random self-map of a set of cardinality N, the probability that some iterate is constant is 1/N. The first result is due to Fine, Herstein and Hall, and the second is essentially Cayley's tree formula. We give a new proof of the result on nilpotents, analogous to Joyal's beautiful proof of Cayley's formula. It uses only general linear algebra and avoids calculation entirely.


title: Deep-learning Architecture for Short-term Passenger Flow Forecasting in Urban Rail Transit

abstract: Short-term passenger flow forecasting is an essential component in urban rail transit operation. Emerging deep learning models provide good insight into improving prediction precision. Therefore, we propose a deep learning architecture combining the residual network (ResNet), graph convolutional network (GCN), and long short-term memory (LSTM) (called "ResLSTM") to forecast short-term passenger flow in urban rail transit on a network scale. First, improved methodologies of the ResNet, GCN, and attention LSTM models are presented. Then, the model architecture is proposed, wherein ResNet is used to capture deep abstract spatial correlations between subway stations, GCN is applied to extract network topology information, and attention LSTM is used to extract temporal correlations. The model architecture includes four branches for inflow, outflow, graph-network topology, as well as weather conditions and air quality. To the best of our knowledge, this is the first time that air-quality indicators have been taken into account, and their influences on prediction precision quantified. Finally, ResLSTM is applied to the Beijing subway using three time granularities (10, 15, and 30 min) to conduct short-term passenger flow forecasting. A comparison of the prediction performance of ResLSTM with those of many state-of-the-art models illustrates the advantages and robustness of ResLSTM. Moreover, a comparison of the prediction precisions obtained for time granularities of 10, 15, and 30 min indicates that prediction precision increases with increasing time granularity. This study can provide subway operators with insight into short-term passenger flow forecasting by leveraging deep learning models.


title: Target Localization with Jammer Removal Using Frequency Diverse Array

abstract: A foremost task in frequency diverse array multiple-input multiple-output (FDA-MIMO) radar is to efficiently obtain the target signal in the presence of interferences. In this paper, we employ a novel "low-rank + low-rank + sparse" decomposition model to extract the low-rank desired signal and suppress the jamming signals from both barrage and burst jammers. In the literature, the barrage jamming signals, which are intentionally interfered by enemy jammer radar, are usually assumed Gaussian distributed. However, such assumption is oversimplified to hold in practice as the interferences often exhibit non-Gaussian properties. Those non-Gaussian jamming signals, known as impulsive noise or burst jamming, are involuntarily deviated from friendly radar or other working radio equipment including amplifier saturation and sensor failures, thunderstorms and man-made noise. The estimation performance of the existing estimators, relied crucially on the Gaussian noise assumption, may degrade substantially since the probability density function (PDF) of burst jamming has heavier tails that exceed a few standard deviations than the Gaussian distribution. To capture a more general signal model with burst jamming in practice, both barrage jamming and burst jamming are included and a two-step "Go Decomposition" (GoDec) method via alternating minimization is devised for such mixed jamming signal model, where the $a$ $priori$ rank information is exploited to suppress two kinds of jammers and estimate the desired target. Simulation results verify the robust performance of the devised scheme.


title: Transformation formulas of finite sums into continued fractions

abstract: We state and prove three general formulas allowing to transform formal finite sums into formal continued fractions and apply them to generalize certain expansions in continued fractions given by Hone and Varona.


title: Experiments with mmWave Automotive Radar Test-bed

abstract: Millimeter-wave (mmW) radars are being increasingly integrated in commercial vehicles to support new Adaptive Driver Assisted Systems (ADAS) for its ability to provide high accuracy location, velocity, and angle estimates of objects, largely independent of environmental conditions. Such radar sensors not only perform basic functions such as detection and ranging/angular localization, but also provide critical inputs for environmental perception via object recognition and classification. To explore radar-based ADAS applications, we have assembled a lab-scale frequency modulated continuous wave (FMCW) radar test-bed (https://depts.washington.edu/funlab/research) based on Texas Instrument's (TI) automotive chipset family. In this work, we describe the test-bed components and provide a summary of FMCW radar operational principles. To date, we have created a large raw radar dataset for various objects under controlled scenarios. Thereafter, we apply some radar imaging algorithms to the collected dataset, and present some preliminary results that validate its capabilities in terms of object recognition. Our code is available at https://github.com/Xiangyu-Gao/mmWave-radar-signal-processing-and-microDoppler-classification.


title: High Q mg-scale monolithic pendulum for quantum-limited gravity measurements

abstract: We present the development of a high $Q$ monolithic silica pendulum weighing 7 mg. The measured $Q$ value for the pendulum mode at 2.2 Hz was $2.0\times10^6$. To the best of our knowledge this is the lowest dissipative mg-scale mechanical oscillator to date. By employing this suspension system, the optomechanical displacement sensor for gravity measurements we recently reported in Phys. Rev. Lett. 122, 071101 (2019) can be improved to realize quantum-noise-limited sensing at several hundred Hz. In combination with the optical spring effect, the amount of intrinsic dissipation measured in the pendulum mode is enough to satisfy requirements for measurement-based quantum control of a massive pendulum confined in an optical potential. This paves the way for not only testing dark matter via quantum-limited force sensors, but also Newtonian interaction in quantum regimes, namely, between two mg-scale oscillators in quantum states, as well as improving the sensitivity of gravitational-wave detectors.


title: Soliton signature in the phonon spectrum of twisted bilayer graphene

abstract: The phonon spectra of twisted bilayer graphene (tBLG) are analyzed for a series of 692 twisting angle values in the $[0,30{\degree}]$ range. The evolution of the phonon bandstructure as a function of twist angle is examined using a band unfolding scheme where the large number of phonon modes computed at the $\Gamma$ point for the large moir\'e tBLG supercells are unfolded onto the Brillouin Zone (BZ) of one of the two constituent layers. In addition to changes to the low-frequency breathing and shear modes, a series of well-defined side-bands around high-symmetry points of the extended BZ emerge due to the twist angle-dependent structural relaxation. The results are rationalized by introducing a nearly-free-phonon model that highlights the central role played by solitons in the description of the new phonon branches, which are particularly pronounced for structures with small twist angles, below a buckling angle $\theta_{\rm B}\sim {3.75}{\degree}$.


title: Effective Model Calibration via Sensible Variable Identification and Adjustment, with Application to Composite Fuselage Simulation

abstract: Estimation of model parameters of computer simulators, also known as calibration, is an important topic in many engineering applications. In this paper, we consider the calibration of computer model parameters with the help of engineering design knowledge. We introduce the concept of sensible (calibration) variables. Sensible variables are model parameters which are sensitive in the engineering modeling, and whose optimal values differ from the engineering design values.We propose an effective calibration method to identify and adjust the sensible variables with limited physical experimental data. The methodology is applied to a composite fuselage simulation problem.


title: Infant brain MRI segmentation with dilated convolution pyramid downsampling and self-attention

abstract: In this paper, we propose a dual aggregation network to adaptively aggregate different information in infant brain MRI segmentation. More precisely, we added two modules based on 3D-UNet to better model information at different levels and locations. The dilated convolution pyramid downsampling module is mainly to solve the problem of loss of spatial information on the downsampling process, and it can effectively save details while reducing the resolution. The self-attention module can integrate the remote dependence on the feature maps in two dimensions of spatial and channel, effectively improving the representation ability and discriminating ability of the model. Our results are compared to the winners of iseg2017's first evaluation, the DICE ratio of WM and GM increased by 0.7%, and CSF is comparable.In the latest evaluation of the iseg-2019 cross-dataset challenge,we achieve the first place in the DICE of WM and GM, and the DICE of CSF is second.


title: Focused Bayesian Prediction

abstract: We propose a new method for conducting Bayesian prediction that delivers accurate predictions without correctly specifying the unknown true data generating process. A prior is defined over a class of plausible predictive models. After observing data, we update the prior to a posterior over these models, via a criterion that captures a user-specified measure of predictive accuracy. Under regularity, this update yields posterior concentration onto the element of the predictive class that maximizes the expectation of the accuracy measure. In a series of simulation experiments and empirical examples we find notable gains in predictive accuracy relative to conventional likelihood-based prediction.


title: Vinogradov three prime theorem with Piatetski-Shapiro primes

abstract: We prove that, for any $c_1,c_2,c_3\in(1,41/35)$, every sufficiently large odd number $N$ can be represented as the sum of three primes $N = p_1 + p_2 +p_3$ such that $p_i = \lfloor n_{i}^{c_i}\rfloor$ for some $n_i \in{\mathbb N}$ for each $1 \leq i \leq 3$. Our arguments are based on a variant of Green's transference principle due to Matom\"aki, Maynard and Shao. We prove a necessary restriction estimate using Bourgain's strategy and employ Harman's sieve method to optimize our upper bound for $c_i$.


title: A base-p Sprague-Grundy type theorem for p-calm subtraction games: Welter's game and representations of generalized symmetric groups

abstract: For impartial games $\Gamma$ and $\Gamma'$, the Sprague-Grundy function of the disjunctive sum $\Gamma + \Gamma'$ is equal to the Nim-sum of their Sprague-Grundy functions. In this paper, we introduce $p$-calm subtraction games, and show that for $p$-calm subtraction games $\Gamma$ and $\Gamma'$, the Sprague-Grundy function of a $p$-saturation of $\Gamma + \Gamma'$ is equal to the $p$-Nim-sum of the Sprague-Grundy functions of their $p$-saturations. Here a $p$-Nim-sum is the result of addition without carrying in base $p$ and a $p$-saturation of $\Gamma$ is an impartial game obtained from $\Gamma$ by adding some moves. It will turn out that Nim and Welter's game are $p$-calm. Further, using the $p$-calmness of Welter's game, we generalize a relation between Welter's game and representations of symmetric groups to disjunctive sums of Welter's games and representations of generalized symmetric groups; this result is described combinatorially in terms of Young diagrams.


title: Imaging the Flow of Holes from a Collimating Contact in Graphene

abstract: A beam of holes formed in graphene by a collimating contact is imaged using a liquid-He cooled scanning probe microscope (SPM). The mean free path of holes is greater than the device dimensions. A zigzag shaped pattern on both sides of the collimating contact absorb holes that enter at large angles. The image charge beneath the SPM tip defects holes, and the pattern of flow is imaged by displaying the change in conductance between contacts on opposite sides, as the tip is raster scanned across the sample. Collimation is confirmed by bending hole trajectories away from the receiving contact with an applied magnetic field. The SPM images agree well with ray-tracing simulations.


title: Quantitative time-resolved buildup in coherent anti-Stokes Raman scattering

abstract: Since its first demonstration in the sixties, coherent anti-Stokes Raman scattering (CARS) has become a powerful spectroscopic sensing tool with broad applications in biology and chemistry. However, it is a complex nonlinear optical process that often leads to the lacks of quantitative data outputs. In this letter, we observe how CARS signal builds up gradually and demonstrate how to control its deferral with laser-pulse shaping. A time-resolved three-color CARS that involves a pair of driving broadband femtosecond pulses and delayed shaped probe pulse is realized experimentally. Driving pulses are tuned to the Raman-resonance onto the vibrational ring modes of pyridine and benzene molecules. As a result, CARS-buildup is deferred in picoseconds as delayed probe pulse width varies from 50 down to 10 cm-1. With off-resonant driving of water molecules this effect, in contrary, does not occur. Laser control predicting deferred resonant processes can serve as a novel and important species-specific indicator in, e.g., machine learning applications for future nonlinear optical spectroscopy.