title: Semantic Foreground Inpainting from Weak Supervision

abstract: Semantic scene understanding is an essential task for self-driving vehicles and mobile robots. In our work, we aim to estimate a semantic segmentation map, in which the foreground objects are removed and semantically inpainted with background classes, from a single RGB image. This semantic foreground inpainting task is performed by a single-stage convolutional neural network (CNN) that contains our novel max-pooling as inpainting (MPI) module, which is trained with weak supervision, i.e., it does not require manual background annotations for the foreground regions to be inpainted. Our approach is inherently more efficient than the previous two-stage state-of-the-art method, and outperforms it by a margin of 3% IoU for the inpainted foreground regions on Cityscapes. The performance margin increases to 6% IoU, when tested on the unseen KITTI dataset. The code and the manually annotated datasets for testing are shared with the research community at https://github.com/Chenyang-Lu/semantic-foreground-inpainting.


title: Heisenberg double and Drinfeld double of the quantum superplane

abstract: We study infinite dimensional generalisations of the Heisenberg doubles of the Borel half of $U_q(sl(2))$ and of $U_q(osp(1|2))$ and find associated canonical elements which satisfy pentagon equation. The former reproduces the canonical element, expressed using the Faddeev's quantum dilogarithm, which has been found by Kashaev to be realised within quantised Teichm\"uller theory, while for the latter we show that it corresponds to an operator from quantised super Teichm\"uller theory. We study infinite dimensional representations of those two Heisenberg doubles and, using an algebra homomorphism between Heisenberg doubles and Drinfeld doubles, we find associated representations of Drinfeld doubles of the Borel half of $U_q(sl(2))$ and of $U_q(osp(1|2))$. Moreover, we reproduce the previously obtained $R$-matrix for the former and derive a novel $R$-matrix for the latter representation.


title: Precision optomechanics for geometrically modematched Fabry-Perot cavities in ALPS II

abstract: Challenging optical resonant gain achieved via the use of two geometrically modematched Fabry-Perot cavities is anticipated in Any Light Particle Search II (ALPS II) to extend the search sensitivity of light-weight sub-eV dark matter candidates to uncharted parameter space of scientific interest. We report on the precision optomechanics developed for geometrical modematching of optical cavities. The general concept, the mechanical mounting scheme, and the use of an autocollimator to streamline the metrology procedure are rigorously examined using optical interferometry, all of which meet the requirements of ALPS II.

categories: astro-ph.IM hep-ex physics.ins-det physics.optics


title: Differentiable Mask for Pruning Convolutional and Recurrent Networks

abstract: Pruning is one of the most effective model reduction techniques. Deep networks require massive computation and such models need to be compressed to bring them on edge devices. Most existing pruning techniques are focused on vision-based models like convolutional networks, while text-based models are still evolving. The emergence of multi-modal multi-task learning calls for a general method that works on vision and text architectures simultaneously. We introduce a \emph{differentiable mask}, that induces sparsity on various granularity to fill this gap. We apply our method successfully to prune weights, filters, subnetwork of a convolutional architecture, as well as nodes of a recurrent network.


title: BINOCULARS for Efficient, Nonmyopic Sequential Experimental Design

abstract: Finite-horizon sequential experimental design (SED) arises naturally in many contexts, including hyperparameter tuning in machine learning among more traditional settings. Computing the optimal policy for such problems requires solving Bellman equations, which are generally intractable. Most existing work resorts to severely myopic approximations by limiting the decision horizon to only a single time-step, which can underweight exploration in favor of exploitation. We present BINOCULARS: Batch-Informed NOnmyopic Choices, Using Long-horizons for Adaptive, Rapid SED, a general framework for deriving efficient, nonmyopic approximations to the optimal experimental policy. Our key idea is simple and surprisingly effective: we first compute a one-step optimal batch of experiments, then select a single point from this batch to evaluate. We realize BINOCULARS for Bayesian optimization and Bayesian quadrature -- two notable SED problems with radically different objectives -- and demonstrate that BINOCULARS significantly outperforms myopic alternatives in real-world scenarios.


title: Incompleteness Ex Machina

abstract: In this essay we'll prove G\"odel's incompleteness theorems twice. First, we'll prove them the good old-fashioned way. Then we'll repeat the feat in the setting of computation. In the process we'll discover that G\"odel's work, rightly viewed, needs to be split into two parts: the transport of computation into the arena of arithmetic on the one hand and the actual incompleteness theorems on the other. After we're done there will be cake.


title: Scalable Structure Learning of Continuous-Time Bayesian Networks from Incomplete Data

abstract: Continuous-time Bayesian Networks (CTBNs) represent a compact yet powerful framework for understanding multivariate time-series data. Given complete data, parameters and structure can be estimated efficiently in closed-form. However, if data is incomplete, the latent states of the CTBN have to be estimated by laboriously simulating the intractable dynamics of the assumed CTBN. This is a problem, especially for structure learning tasks, where this has to be done for each element of a super-exponentially growing set of possible structures. In order to circumvent this notorious bottleneck, we develop a novel gradient-based approach to structure learning. Instead of sampling and scoring all possible structures individually, we assume the generator of the CTBN to be composed as a mixture of generators stemming from different structures. In this framework, structure learning can be performed via a gradient-based optimization of mixture weights. We combine this approach with a new variational method that allows for a closed-form calculation of this mixture marginal likelihood. We show the scalability of our method by learning structures of previously inaccessible sizes from synthetic and real-world data.


title: Weak convergence of fully discrete finite element approximations of semilinear hyperbolic SPDE with additive noise

abstract: We consider the numerical approximation of the mild solution to a semilinear stochastic wave equation driven by additive noise. For the spatial approximation we consider a standard finite element method and for the temporal approximation, a rational approximation of the exponential function. We first show strong convergence of this approximation in both positive and negative order norms. With the help of Malliavin calculus techniques this result is then used to deduce weak convergence rates for the class of twice continuously differentiable test functions with polynomially bounded derivatives. Under appropriate assumptions on the parameters of the equation, the weak rate is found to be essentially twice the strong rate. This extends earlier work by one of the authors to the semilinear setting. Numerical simulations illustrate the theoretical results.


title: Deep MR Brain Image Super-Resolution Using Spatio-Structural Priors

abstract: High resolution Magnetic Resonance (MR) images are desired for accurate diagnostics. In practice, image resolution is restricted by factors like hardware and processing constraints. Recently, deep learning methods have been shown to produce compelling state-of-the-art results for image enhancement/super-resolution. Paying particular attention to desired hi-resolution MR image structure, we propose a new regularized network that exploits image priors, namely a low-rank structure and a sharpness prior to enhance deep MR image super-resolution (SR). Our contributions are then incorporating these priors in an analytically tractable fashion \color{black} as well as towards a novel prior guided network architecture that accomplishes the super-resolution task. This is particularly challenging for the low rank prior since the rank is not a differentiable function of the image matrix(and hence the network parameters), an issue we address by pursuing differentiable approximations of the rank. Sharpness is emphasized by the variance of the Laplacian which we show can be implemented by a fixed feedback layer at the output of the network. As a key extension, we modify the fixed feedback (Laplacian) layer by learning a new set of training data driven filters that are optimized for enhanced sharpness. Experiments performed on publicly available MR brain image databases and comparisons against existing state-of-the-art methods show that the proposed prior guided network offers significant practical gains in terms of improved SNR/image quality measures. Because our priors are on output images, the proposed method is versatile and can be combined with a wide variety of existing network architectures to further enhance their performance.


title: Camera Fingerprint Extraction via Spatial Domain Averaged Frames

abstract: Photo Response Non-Uniformity (PRNU) based camera attribution is an effective method to determine the source camera of visual media (an image or a video). To apply this method, images or videos need to be obtained from a camera to create a "camera fingerprint" which then can be compared against the PRNU of the query media whose origin is under question. The fingerprint extraction process can be time-consuming when a large number of video frames or images have to be denoised. This may need to be done when the individual images have been subjected to high compression or other geometric processing such as video stabilization. This paper investigates a simple, yet effective and efficient technique to create a camera fingerprint when so many still images need to be denoised. The technique utilizes Spatial Domain Averaged (SDA) frames. An SDA-frame is the arithmetic mean of multiple still images. When it is used for fingerprint extraction, the number of denoising operations can be significantly decreased with little or no performance loss. Experimental results show that the proposed method can work more than 50 times faster than conventional methods while providing similar matching results.


title: Accessibility of Cortical Regions to Focal TES: Dependence on Spatial Position, Safety, and Practical Constraints

abstract: Transcranial electric stimulation (TES) can modulate intrinsic neural activity in the brain by injecting weak currents through electrodes attached to the scalp. TES has been widely used as a neuroscience tool to investigate how behavioural and physiological variables of brain function are modulated by electric stimulation of specific brain regions. For an unambiguous interpretation of TES experiments, it is important that the electric fields can be steered towards one or several brain regions-of-interest. However, the conductive proprieties of the human head impose inherent physical limitations on how focal the electric fields in the brain produced by multi-electrode TES can be. As a rule of thumb, it is not feasible to target deep brain areas with TES, although focusing the field in some specific deeper locations might be possible due to favourable conductive properties in the surrounding tissue. In the present study, we first propose a novel method for the automatic calculation of electrode placements and stimulation intensities to optimally affect a given target position. We provide a computationally efficient and robust implementation of the optimization procedure that is able to adhere to safety constraints, while explicitly controlling both the number of active electrodes and the angular deviation of the field in the target area relative to the desired field direction. Leveraging the high computational efficiency of our method, we systematically assess the achievable focality of multi-electrode TES for all cortex positions, thereby investigating the dependence on the chosen constraints. Our results provide comprehensive insight into the limitations regarding the achievable TES dose and focality that are imposed by the biophysical constraints and the safety considerations of TES.


title: Generalized Grigorchuk's Overgroups as points on $\mathcal{M}_k$

abstract: Following the construction from `Degrees of growth of finitely generated groups and the theory of invariant means' we generalize the Grigorchuk's overgroup $\tilde{\mathcal{G}}$, studied in `On parabolic subgroups and Hecke algebras of some fractal groups' to the family $\{ \tilde{G}_\omega, \omega \in \Omega = \{ 0, 1, 2 \}^\mathbb{N} \}$ of generalized Grigorchuk's overgroups. We consider these groups as 8-generated and describe the closure of this family in the space $\mathcal{M}_8$ of marked groups.


title: Wall crossing for K-moduli spaces of plane curves

abstract: We construct proper good moduli spaces parametrizing K-polystable $\mathbb{Q}$-Gorenstein smoothable log Fano pairs $(X, cD)$, where $X$ is a Fano variety and $D$ is a rational multiple of the anti-canonical divisor. We then establish a wall-crossing framework of these K-moduli spaces as $c$ varies. The main application in this paper is the case of plane curves of degree $d \geq 4$ as boundary divisors of $\mathbb{P}^2$. In this case, we show that when the coefficient $c$ is small, the K-moduli space of these pairs is isomorphic to the GIT moduli space. We then show that the first wall crossing of these K-moduli spaces are weighted blow-ups of Kirwan type. We also describe all wall crossings for degree 4,5,6, and relate the final K-moduli spaces to Hacking's compactification and the moduli of K3 surfaces.


title: A new result for 2D boundedness of solutions to a chemotaxis--haptotaxis model with/without sub-logistic source

abstract: We consider the Neumann problem for a coupled chemotaxis-haptotaxis model of cancer invasion with/without kinetic source in a 2D bounded and smooth domain. For a large class of cell kinetic sources including zero source and sub-logistic sources, we detect an explicit condition involving the chemotactic strength, the asymptotic "damping" rate, and the initial mass of cells to ensure uniform-in-time boundedness for the corresponding Neumann problem. Our finding significantly improves existing 2D global existence and boundedness in related chemotaxis-/haptotaxis systems.


title: Deviations from Gaussianity in deterministic discrete time dynamical systems

abstract: In this paper we examine the deviations from Gaussianity for two types of random variable converging to a normal distribution, namely sums of random variables generated by a deterministic discrete time map and a linearly damped variable driven by a deterministic map. We demonstrate how Edgeworth expansions provide a universal description of the deviations from the limiting normal distribution. We derive explicit expressions for these asymptotic expansions and provide numerical evidence of their accuracy.


title: Characterization of the varying flux of atmospheric muons measured with the Large Volume Detector for 24 years

abstract: The Large Volume Detector (LVD), hosted in the INFN Laboratori Nazionali del Gran Sasso, is triggered by atmospheric muons at a rate of $\sim 0.1$~Hz. The data collected over almost a quarter of century are used to study the muon intensity underground. The 50-million muon series, the longest ever exploited by an underground instrument, allows for the accurate long-term monitoring of the muon intensity underground. This is relevant as a study of the background in the Gran Sasso Laboratory, which hosts a variety of long-duration, low-background detectors. We describe the procedure to select muon-like events as well as the method used to compute the exposure. We report the value of the average muon flux measured from 1994 to 2017: $\mathrm{I_{\mu}^0 = 3.35 \pm 0.0005^{stat}\pm 0.03^{sys} \cdot 10^{-4} ~m^{-2} s^{-1}}$. We show that the intensity is modulated around this average value due to temperature variations in the stratosphere. We quantify such a correlation by using temperature data from the European Center for Medium-range Weather Forecasts: we find an effective temperature coefficient $\mathrm{\alpha_{T}} = 0.94\pm0.01^{stat} \pm0.01^{sys}$, in agreement with other measurements at the same depth. We scrutinise the spectral content of the time series of the muon intensity by means of the Lomb-Scargle analysis. This yields the evidence of a 1-year periodicity, as well as the indication of others, both shorter and longer, suggesting that the series is not a pure sinusoidal wave. Consequently, and for the first time, we characterise the observed modulation in terms of amplitude and position of maximum and minimum on a year-by-year basis.

categories: astro-ph.HE astro-ph.IM hep-ex physics.ins-det


title: Drowsiness Detection for Office-based Workload with Mouse and Keyboard Data

abstract: Non-invasive devices involved in the detection of drowsiness generally include infrared camera and Electroencephalography (EEG), of which sometimes are constrained in an actual real-life scenario deployments and implementations such as in the working office environment. This study proposes a combination using the biometric features of keyboard and mouse movements and eye tracking during an office-based tasks to detect and evaluate drowsiness according to the self-report Karolinska sleepiness scale (KSS) questionnaire. Using machine learning models, the results demonstrate a correlation between the predicted KSS from the biometrics and the actual KSS from the user input, indicating the feasibility of evaluating the office workers' drowsiness level of the proposed approach.


title: Explicit Salem sets in $\mathbb{R}^n$

abstract: We construct the first explicit (i.e., non-random) examples of Salem sets in $\mathbb{R}^n$ of arbitrary prescribed Hausdorff dimension. This completely resolves a problem proposed by Kahane more than 60 years ago. The construction is based on a form of Diophantine approximation in number fields.


title: Approximation of curves with piecewise constant or piecewise linear functions

abstract: In this paper we compute the Hausdorff distance between sets of continuous curves and sets of piecewise constant or linear discretizations. These sets are Sobolev balls given by the continuous or discrete $L^p$-norm of the derivatives. We detail the suitable discretization or smoothing procedure which are preservative in the sense of these norms. Finally we exhibit the link between Eulerian numbers and the uniformly space knots B-spline used for smoothing.


title: Type IIb supernovae by the grazing envelope evolution

abstract: We simulate the evolution of binary systems with a massive primary star of 15Mo where we introduce an enhanced mass loss due to jets that the secondary star might launch, and find that in many cases the enhanced mass loss brings the binary system to experience the grazing envelope evolution (GEE) and form a progenitor of Type IIb supernova (SN IIb). The jets, the Roche lobe overflow (RLOF), and a final stellar wind remove most of the hydrogen-rich envelope, leaving a blue-compact SN IIb progenitor. In many cases without this jet-driven mass loss the system enters a common envelope evolution (CEE) and does not form a SN IIb progenitor. We use the stellar evolutionary code MESA binary and mimic the jet-driven mass loss with a simple prescription and some free parameters. Our results show that the jet-driven mass loss, that some systems have during the GEE, increases the parameter space for stellar binary systems to form SN IIb progenitors. We estimate that the binary evolution channel with GEE contributes about a quarter of all SNe IIb, about equal to the contribution of each of the other three channels, binary evolution without a GEE, fatal CEE (where the secondary star merges with the core of the giant primary star), and the single star channel.


title: Wino potential and Sommerfeld effect at NLO

abstract: We calculate the SU(2)$\times$U(1) electroweak static potential between a fermionic triplet in the broken phase of the Standard Model in the one-loop order (NLO). The one-loop correction provides the leading non-relativistic correction to the large Sommerfeld effect in the annihilation of wino or wino-like dark matter particles $\chi^0$. We find sizeable modifications of the $\chi^0\chi^0$ annihilation cross section and determine the shifts of the resonance locations due to the loop correction to the wino potential.


title: Multiservice-based Network Slicing Orchestration with Impatient Tenants

abstract: The combination of recent emerging technologies such as network function virtualization (NFV) and network programmability (SDN) gave birth to the novel Network Slicing paradigm. 5G networks consist of multi-tenant infrastructures capable of offering leased network "slices" to new customers (e.g., vertical industries) enabling a new telecom business model: Slice-as-a-Service (SlaaS). However, as the service demand gets increasingly dense, slice requests congestion may occur leading to undesired waiting periods. This may turn into impatient tenant behaviors that increase potential loss of the business attractiveness to customers. In this paper, we aim to i study the slicing admission control problem by means of a multi-queuing system for heterogeneous tenant requests, ii) derive its statistical behavior model, iii) find out the rational strategy of impatient tenants waiting in queue-based slice admission control systems, iv) prove mathematically and empirically the benefits of allowing infrastructure providers to share its information with the upcoming tenants, and v) provide a utility model for network slices admission optimization. Our results analyze the capability of the proposed SlaaS system to be approximately Markovian and evaluate its performance as compared to a baseline solution.


title: A Theory on Formatting Sensory Input for Cognition

abstract: Over the last few decades, a lot of progress has been made in understanding different aspects of the brain's ability to form abstract representations, but a specific mechanism for how they are created and used remains to emerge. Here, we review recent findings on the subject and we propose a mechanism for the dynamics of forming abstract representations, where the formation of local connectivity in neural networks determines the of search terms between the prefrontal cortex and the hippocampus, as well as the amount of detail that is transcribed into abstract representations.


title: On boundedness, gradient estimate, blow-up and convergence in a two-species and two-stimuli chemotaxis system with/without loop

abstract: In this work, we study dynamic properties of classical solutions to a homogenous Neumann initial-boundary value problem (IBVP) for a two-species and two-stimuli chemotaxis model with/without chemical signalling loop in a 2D bounded and smooth domain. We successfully detect the product of two species masses as a feature to determine boundedness, gradient estimates, blow-up and $W^{j,\infty}(1\leq j\leq 3)$-exponential convergence of classical solutions for the corresponding IBVP. More specifically, we first show generally a smallness on the product of both species masses, thus allowing one species mass to be suitably large, is sufficient to guarantee global boundedness, higher order gradient estimates and $W^{j,\infty}$-convergence with rates of convergence to constant equilibria; and then, in a special case, we detect a straight line of masses on which blow-up occurs for large product of masses. Our findings provide new understandings about the underlying model, and thus, improve and extend greatly the existing knowledge relevant to this model.


title: Road Mapping In LiDAR Images Using A Joint-Task Dense Dilated Convolutions Merging Network

abstract: It is important, but challenging, for the forest industry to accurately map roads which are used for timber transport by trucks. In this work, we propose a Dense Dilated Convolutions Merging Network (DDCM-Net) to detect these roads in lidar images. The DDCM-Net can effectively recognize multi-scale and complex shaped roads with similar texture and colors, and also is shown to have superior performance over existing methods. To further improve its ability to accurately infer categories of roads, we propose the use of a joint-task learning strategy that utilizes two auxiliary output branches, i.e, multi-class classification and binary segmentation, joined with the main output of full-class segmentation. This pushes the network towards learning more robust representations that are expected to boost the ultimate performance of the main task. In addition, we introduce an iterative-random-weighting method to automatically weigh the joint losses for auxiliary tasks. This can avoid the difficult and expensive process of tuning the weights of each task's loss by hand. The experiments demonstrate that our proposed joint-task DDCM-Net can achieve better performance with fewer parameters and higher computational efficiency than previous state-of-the-art approaches.


title: Hot Carrier Mobility Dynamics Unravel Competing Sub-ps Cooling Processes in Lead Halide Perovskites

abstract: The outstanding photovoltaic performances of lead halide perovskite (LHP) thin film solar cells are due in particular to the large diffusion length of photocarriers. The mechanism behind this property and its dependence on the various anions and cations in the LHP material composition are still an active topic of debate. Here, we apply ultrabroadband terahertz spectroscopy with a time resolution < 200 fs to probe the early carrier mobility dynamics of photoexcited perovskite samples of different chemical compositions. An increase in the carrier mobility with time constants in the range of 0.3 to 0.7 ps is observed for different LHPs, in which the signal amplitude is larger at shorter excitation wavelengths. This feature is assigned to the relaxation of hot carriers from low-curvature regions of the band structure to the bottom of the valley, where their effective mass accounts for the maximum mobility. The dependence of the mobility dynamics on the initial photogenerated carrier population shows that carrier cooling competes with a dynamic screening effect associated with polaron formation and relaxation. A kinetic model that considers all competing processes is proposed. Simulations based on this model allow us to fit the experimental data well and evidence a composition dependence of the dynamic screening lifetime.


title: Nonlinear thermoelectricity with electron-hole symmetric systems

abstract: In the linear regime, thermo-electric effects between two conductors are possible only in the presence of an explicit breaking of the electron-hole symmetry. We consider a tunnel junction between two electrodes and show that this condition is no longer required outside the linear regime. In particular, we demonstrate that a thermally-biased junction can display an absolute negative conductance (ANC), and hence thermo-electric power, at a small but finite voltage bias, provided that the density of states of one of the electrodes is gapped and the other is monotonically decreasing. We consider a prototype system that fulfills these requirements, namely a tunnel junction between two different superconductors where the Josephson contribution is suppressed. We discuss this nonlinear thermo-electric effect based on the spontaneous breaking of electron-hole symmetry in the system, characterize its main figures of merit and discuss some possible applications.


title: Modeling User Reputation in Online Social Networks: The Role of Costs, Benefits, and Reciprocity

abstract: We analyze an agent-based model to estimate how the costs and benefits of users in an online social network (OSN) impact the robustness of the OSN. Benefits are measured in terms of relative reputation that users receives from their followers. They can be increased by direct and indirect reciprocity in following each other, which leads to a core-periphery structure of the OSN. Costs relate to the effort to login, to maintain the profile, etc. and are assumed as constant for all users. The robustness of the OSN depends on the entry and exit of users over time. Intuitively, one would expect that higher costs lead to more users leaving and hence to a less robust OSN. We demonstrate that an optimal cost level exists, which maximizes both the performance of the OSN, measured by means of the long-term average benefit of its users, and the robustness of the OSN, measured by means of the life-time of the core of the OSN. Our mathematical and computational analyses unfold how changes in the cost level impact reciprocity and subsequently the core-periphery structure of the OSN, to explain the optimal cost level.


title: Thermal phase transition in Yang-Mills matrix model

abstract: We study the bosonic matrix model obtained as the high-temperature limit of two-dimensional maximally supersymmetric SU($N$) Yang-Mills theory. So far, no consensus about the order of the deconfinement transition in this theory has been reached and this hinders progress in understanding the nature of the black hole/black string topology change from the gauge/gravity duality perspective. On the one hand, previous works considered the deconfinement transition consistent with two transitions which are of second and third order. On the other hand, evidence for a first order transition was put forward more recently. We perform high-statistics lattice Monte Carlo simulations at large $N$ and small lattice spacing to establish that the transition is really of first order. Our findings flag a warning that the required large-$N$ and continuum limit might not have been reached in earlier publications, and that was the source of the discrepancy. Moreover, our detailed results confirm the existence of a new partially deconfined phase which describes non-uniform black strings via the gauge/gravity duality. This phase exhibits universal features already predicted in quantum field theory.


title: Hard Edge Statistics of Products of P\'olya Ensembles and Shifted GUE's

abstract: Very recently, we have shown how the harmonic analysis approach can be modified to deal with products of general Hermitian and complex random matrices at finite matrix dimension. In the present work, we consider the particular product of a multiplicative P\'olya ensemble on the complex square matrices and a Gaussian unitary ensemble (GUE) shifted by a constant multiplicative of the identity. The shift shall show that the limiting hard edge statistics of the product matrix is weakly dependent on the local spectral statistics of the GUE, but depends more on the global statistics via its Stieltjes transform (Green function). Under rather mild conditions for the P\'olya ensemble, we prove formulas for the hard edge kernel of the singular value statistics of the P\'olya ensemble alone and the product matrix to highlight their very close similarity. Due to these observations, we even propose a conjecture for the hard edge statistics of a multiplicative P\'olya ensemble on the complex matrices and a polynomial ensemble on the Hermitian matrices.


title: Structure-Attentioned Memory Network for Monocular Depth Estimation

abstract: Monocular depth estimation is a challenging task that aims to predict a corresponding depth map from a given single RGB image. Recent deep learning models have been proposed to predict the depth from the image by learning the alignment of deep features between the RGB image and the depth domains. In this paper, we present a novel approach, named Structure-Attentioned Memory Network, to more effectively transfer domain features for monocular depth estimation by taking into account the common structure regularities (e.g., repetitive structure patterns, planar surfaces, symmetries) in domain adaptation. To this end, we introduce a new Structure-Oriented Memory (SOM) module to learn and memorize the structure-specific information between RGB image domain and the depth domain. More specifically, in the SOM module, we develop a Memorable Bank of Filters (MBF) unit to learn a set of filters that memorize the structure-aware image-depth residual pattern, and also an Attention Guided Controller (AGC) unit to control the filter selection in the MBF given image features queries. Given the query image feature, the trained SOM module is able to adaptively select the best customized filters for cross-domain feature transferring with an optimal structural disparity between image and depth. In summary, we focus on addressing this structure-specific domain adaption challenge by proposing a novel end-to-end multi-scale memorable network for monocular depth estimation. The experiments show that our proposed model demonstrates the superior performance compared to the existing supervised monocular depth estimation approaches on the challenging KITTI and NYU Depth V2 benchmarks.


title: Proof of spherical flocking based on quantitative rearrangement inequalities

abstract: Our recent work on the Burchard-Choksi-Topaloglu flocking problem showed that in the large mass regime the ground state density profile is the characteristic function of some set. Here we show that this set is, in fact, a round ball. The essential mathematical structure needed in our proof is a strict rearrangement inequality with a quantitative error estimate, which we deduce from recent deep results of M. Christ.


title: Prediction of Overall Survival of Brain Tumor Patients

abstract: Automated brain tumor segmentation plays an important role in the diagnosis and prognosis of the patient. In addition, features from the tumorous brain help in predicting patients overall survival. The main focus of this paper is to segment tumor from BRATS 2018 benchmark dataset and use age, shape and volumetric features to predict overall survival of patients. The random forest classifier achieves overall survival accuracy of 59% on the test dataset and 67% on the dataset with resection status as gross total resection. The proposed approach uses fewer features but achieves better accuracy than state of the art methods.


title: Gramians, Energy Functionals and Balanced Truncation for Linear Dynamical Systems with Quadratic Outputs

abstract: Model order reduction is a technique that is used to construct low-order approximations of large-scale dynamical systems. In this paper, we investigate a balancing based model order reduction method for dynamical systems with a linear dynamical equation and a quadratic output function. To this aim, we propose a new algebraic observability Gramian for the system based on Hilbert space adjoint theory. We then show the proposed Gramians satisfy a particular type of generalized Lyapunov equations and we investigate their connections to energy functionals, namely, the controllability and observability. This allows us to find the states that are hard to control and hard to observe via an appropriate balancing transformation. Truncation of such states yields reduced-order systems. Finally, based on $\mathcal H_2$ energy considerations, we, furthermore, derive error bounds, depending on the neglected singular values. The efficiency of the proposed method is demonstrated by means of two semi-discretized partial differential equations and is compared with the existing model reduction techniques in the literature.


title: A note on a theorem of M. Christ

abstract: This note is a supplement to our paper `Proof of spherical flocking based on quantitative rearrangement inequalities'. Recently, M. Christ has derived a deep result concerning stability of the Riesz rearrangement inequality. We are interested in the special case of this inequality where two of the sets are equal and the third set is a fixed ball. We show that in this special case, Christ's proof extends with only minor changes to the case where characteristic functions are replaced by functions taking values between zero and one.


title: Axioms required to get Wold-Type decomposition

abstract: Three canonical decompositions concerning commuting pair of isometries, power partial isometries, and contractions are reassessed. They have already been proved in von Neumann algebras. In the corresponding proofs, both norm and weak operator topologies are heavily involved. Ignoring topological structures, we give an algebraic approach to obtain them in the larger category of Baer $*$-rings.


title: Surrogate-based Optimization using Mutual Information for Computer Experiments (optim-MICE)

abstract: The computational burden of running a complex computer model can make optimization impractical. Gaussian Processes (GPs) are statistical surrogates (also known as emulators) that alleviate this issue since they cheaply replace the computer model. As a result, the exploration vs. exploitation trade-off strategy can be accelerated by building a GP surrogate. In this paper, we propose a new surrogate-based optimization scheme that minimizes the number of evaluations of the computationally expensive function. Taking advantage of parallelism of the evaluation of the unknown function, the uncertain regions are explored simultaneously, and a batch of input points is chosen using Mutual Information for Computer Experiments (MICE), a sequential design algorithm which maximizes the information theoretic Mutual Information over the input space. The computational efficiency of interweaving the optimization scheme with MICE (optim-MICE) is examined and demonstrated on test functions. Optim-MICE is compared with state-of-the-art heuristics such as Efficient Global Optimization (EGO) and GP-Upper Confidence Bound (GP-UCB). We demonstrate that optim-MICE outperforms these schemes on a large range of computational experiments.


title: Properties of central stars of planetary nebulae with distances in Gaia DR2

abstract: Context. We have compiled a catalogue of central stars of planetary nebulae (CSPN) with reliable distances and positions obtained from Gaia Data Release 2 (DR2) astrometry. Distances derived from parallaxes allow us to analyse the galactic distribution and estimate other parameters such as sizes, kinematical ages, bolometric magnitudes, and luminosities. Aims. Our objective is to analyse the information regarding distances together with other available literature data about photometric properties, nebular kinematics, and stellar effective temperatures to throw new light on this rapid and rather unknown evolutionary phase. We seek to understand how Gaia distances compare with other indirect methods commonly used and, in particular, with those derived from non-local thermodynamic equilibrium (non-LTE) models; how many planetary nebulae (PNe) populate the Galaxy; and how are they spatially distributed. We also aim to comprehend their intrinsic luminosities, range of physical sizes of the nebulae; how to derive the values for their kinematical ages; and whether those ages are compatible with those derived from evolutionary models. Methods. We considered all PNe listed in catalogues from different authors and in Hong Kong/AAO/Strasbourg/H{\alpha}(HASH) database. By X-matching their positions with Gaia DR2 astrometry we were able to identify 1571 objects in Gaia second archive, for which we assumed distances calculated upon a Bayesian statistical approach. From those objects, we selected a sample of PNe with good quality parallax measurements and distance derivations, we which refer to as our Golden Astrometry PNe sample (GAPN), and obtained literature values of their apparent sizes, radial and expansion velocities, visual magnitudes, interstellar reddening, and effective temperatures.


title: Arbitrage-free modeling under Knightian Uncertainty

abstract: We study the Fundamental Theorem of Asset Pricing for a general financial market under Knightian Uncertainty. We adopt a functional analytic approach which require neither specific assumptions on the class of priors $\mathcal{P}$ nor on the structure of the state space. Several aspects of modeling under Knightian Uncertainty are considered and analyzed. We show the need for a suitable adaptation of the notion of No Free Lunch with Vanishing Risk and discuss its relation to the choice of an appropriate filtration. In an abstract setup, we show that absence of arbitrage is equivalent to the existence of \emph{approximate} martingale measures sharing the same polar set of $\mathcal{P}$. We then specialize the results to a discrete-time framework in order to obtain true martingale measures.


title: Charged Ellis Wormhole and Black Bounce

abstract: By replacing the scalar $\phi$ with $i\phi$ in the solution constructed in Ref\cite{Huang:2019lsl}, we obtain electrically-charged wormhole and black hole solutions in the Einstein-Maxwell-scalar theory, in which the scalar is a phantom field coupled to the Maxwell field non-minimally. Our solutions are simpler than the previously-known charged wormholes in the Einstein-Maxwell-dilaton theory in that both the scalar and the radius of the foliating sphere of our solutions are independent of electric charge. The wormhole solution has two asymptotically flat regions and reduces to Ellis wormhole when the charge is zero. We draw the embedding diagrams for the wormholes and demonstrate that the two sides are asymmetric. As the charge increases, horizons will appear, and the wormhole becomes a black hole, with no curvature singularity but a wormhole throat or a bounce. We analyze black hole thermodynamics and the causal structure. We also determine the photon spheres of both the wormhole and the black hole and discuss their observable characteristics.


title: Age representation of Levy walks: partial density waves, relaxation and first passage time statistics

abstract: Levy walks (LWs) define a fundamental class of finite velocity stochastic processes that can be introduced as a special case of continuous time random walks. Alternatively, there is a hyperbolic representation of them in terms of partial probability density waves. Using the latter framework we explore the impact of aging on LWs, which can be viewed as a specific initial preparation of the particle ensemble with respect to an age distribution. We show that the hyperbolic age formulation is suitable for a simple integral representation in terms of linear Volterra equations for any initial preparation. On this basis relaxation properties and first passage time statistics in bounded domains are studied by connecting the latter problem with solute release kinetics. We find that even normal diffusive LWs may display anomalous relaxation properties such as stretched exponential decay. We then discuss the impact of aging on the first passage time statistics of LWs by developing the corresponding Volterra integral representation. As a further natural generalization the concept of LWs with wearing is introduced to account for mobility losses.


title: Patient trajectory prediction in the Mimic-III dataset, challenges and pitfalls

abstract: Automated medical prognosis has gained interest as artificial intelligence evolves and the potential for computer-aided medicine becomes evident. Nevertheless, it is challenging to design an effective system that, given a patient's medical history, is able to predict probable future conditions. Previous works, mostly carried out over private datasets, have tackled the problem by using artificial neural network architectures that cannot deal with low-cardinality datasets, or by means of non-generalizable inference approaches. We introduce a Deep Learning architecture whose design results from an intensive experimental process. The final architecture is based on two parallel Minimal Gated Recurrent Unit networks working in bi-directional manner, which was extensively tested with the open-access Mimic-III dataset. Our results demonstrate significant improvements in automated medical prognosis, as measured with Recall@k. We summarize our experience as a set of relevant insights for the design of Deep Learning architectures. Our work improves the performance of computer-aided medicine and can serve as a guide in designing artificial neural networks used in prediction tasks.


title: Intelligent Reflecting Surface Aided Multigroup Multicast MISO Communication Systems

abstract: Intelligent reflecting surface (IRS) has recently been envisioned to offer unprecedented massive multiple-input multiple-output (MIMO)-like gains by deploying large-scale and low-cost passive reflection elements. By adjusting the reflection coefficients, the IRS can change the phase shifts on the impinging electromagnetic waves so that it can smartly reconfigure the signal propagation environment and enhance the power of the desired received signal or suppress the interference signal. In this paper, we consider downlink multigroup multicast communication systems assisted by an IRS. We aim for maximizing the sum rate of all the multicasting groups by the joint optimization of the precoding matrix at the base station (BS) and the reflection coefficients at the IRS under both the power and unit-modulus constraint. To tackle this non-convex problem, we propose two efficient algorithms under the majorization--minimization (MM) algorithm framework. Specifically, a concave lower bound surrogate objective function of each user's rate has been derived firstly, based on which two sets of variables can be updated alternately by solving two corresponding second-order cone programming (SOCP) problems. Then, in order to reduce the computational complexity, we derive another concave lower bound function of each group's rate for each set of variables at every iteration, and obtain the closed-form solutions under these loose surrogate objective functions. Finally, the simulation results demonstrate the benefits in terms of the spectral and energy efficiency of the introduced IRS and the effectiveness in terms of the convergence and complexity of our proposed algorithms.


title: Discovery of Useful Questions as Auxiliary Tasks

abstract: Arguably, intelligent agents ought to be able to discover their own questions so that in learning answers for them they learn unanticipated useful knowledge and skills; this departs from the focus in much of machine learning on agents learning answers to externally defined questions. We present a novel method for a reinforcement learning (RL) agent to discover questions formulated as general value functions or GVFs, a fairly rich form of knowledge representation. Specifically, our method uses non-myopic meta-gradients to learn GVF-questions such that learning answers to them, as an auxiliary task, induces useful representations for the main task faced by the RL agent. We demonstrate that auxiliary tasks based on the discovered GVFs are sufficient, on their own, to build representations that support main task learning, and that they do so better than popular hand-designed auxiliary tasks from the literature. Furthermore, we show, in the context of Atari 2600 videogames, how such auxiliary tasks, meta-learned alongside the main task, can improve the data efficiency of an actor-critic agent.


title: Probing effects of new physics in $\Lambda^0_{b}\to\Lambda^+_{c}\mu^{-}\bar{\nu}_{\mu}$ decays

abstract: We present, for the first time, the six-fold differential decay density expression for $\Lambda^0_b\to\Lambda^+_{c} l^- \bar{\nu}_{l}$, taking into account the polarisation of the $\Lambda^0_b$ baryon and a complete basis of new physics operators. Using the expected yield in the current dataset collected at the LHCb experiment, we present sensitivity studies to determine the experimental precision on the Wilson coefficients of the new physics operators with $\Lambda^0_{b}\to\Lambda^+_{c}\mu^{-}\bar{\nu}_{\mu}$ decays in two scenarios. In the first case, unpolarised $\Lambda^0_{b}\to\Lambda^+_{c}\mu^{-}\bar{\nu}_{\mu}$ decays with $\Lambda^+_c\to p K^+ \pi^-$ are considered, whereas polarised $\Lambda^0_{b}\to\Lambda^+_{c}\mu^{-}\bar{\nu}_{\mu}$ decays with $\Lambda^+_c \to p K^0_S$ are studied in the second. For the latter scenario, the experimental precision that can be achieved on the determination of $\Lambda^0_b$ polarisation and $\Lambda^+_c$ weak decay asymmetry parameter is also presented.


title: A Stochastic Knapsack Game: Revenue Management in Competitions

abstract: We study a mathematical model for revenue management under competition with multiple sellers. The model combines the stochastic knapsack problem, a classic revenue management model, with a non coorperative game model that characterizes the sellers' rational behavior. We are able to establish a dynamic recursive procedure that incorporate the value function with the utility function of the games. The formalization of the dynamic recursion allows us to establish some fundamental structural properties.


title: PTRM: Perceived Terrain Realism Metrics

abstract: Terrains are visually important and commonly used in computer graphics. While many algorithms for their generation exist, it is difficult to assess the realism of a generated terrain. This paper presents a first step in the direction of perceptual evaluation of terrain models. We gathered and categorized several classes of real terrains and we generated synthetic terrains by using methods from computer graphics. We then conducted two large studies ranking the terrains perceptually and showing that the synthetic terrains are perceived as lacking realism as compared to the real ones. Then we provide insight into the features that affect the perceived realism by a quantitative evaluation based on localized geomorphology-based landform features (geomorphons) that categorize terrain structures such as valleys, ridges, hollows, etc. We show that the presence or absence of certain features have a significant perceptual effect. We then introduce Perceived Terrain Realism Metrics (PTRM); a perceptual metrics that estimates perceived realism of a terrain represented as a digital elevation map by relating distribution of terrain features with their perceived realism. We validated PTRM on real and synthetic data and compared it to the perceptual studies. To confirm the importance of the presence of these features, we used a generative deep neural network to transfer them between real terrains and synthetic ones and we performed another perceptual experiment that further confirmed their importance for perceived realism.


title: Approximating Vertex Cover using Structural Rounding

abstract: In this work, we provide the first practical evaluation of the structural rounding framework for approximation algorithms. Structural rounding works by first editing to a well-structured class, efficiently solving the edited instance, and "lifting" the partial solution to recover an approximation on the input. We focus on the well-studied Vertex Cover problem, and edit to the class of bipartite graphs (where Vertex Cover has an exact polynomial time algorithm). In addition to the naive lifting strategy for Vertex Cover described by Demaine et al., we introduce a suite of new lifting strategies and measure their effectiveness on a large corpus of synthetic graphs. We find that in this setting, structural rounding significantly outperforms standard 2-approximations. Further, simpler lifting strategies are extremely competitive with the more sophisticated approaches. The implementations are available as an open-source Python package, and all experiments are replicable.


title: Gaia 8: Discovery of a star cluster containing beta Lyrae -- and of a larger old (extinct) star formation complex surrounding it

abstract: Aims: To try and clarify whether there are stars in the neighbourhood of $\beta$ Lyrae which are physically connected to the famous prototype eclipsing binary. Methods: Scrutinize the astrometric and photometric data (from Hipparcos and Gaia DR2) of stars in a limited sky field around $\beta$~Lyrae. Results: A star cluster of about 100 members is discovered, nicely centered on $\beta$~Lyrae in 5 dimensions. There are clear indications that the newly discovered cluster belongs to a larger old (extinct) star formation complex, including two already known star clusters and an extended strewn field of stars at practically the same distance and space velocity.} Conclusions: This discovery opens up the possibility of determining a precise distance and a precise age for $\beta$ Lyrae, using the combined properties of the cluster members. This in turn may provide an important asset for an improved astrophysical interpretation of the model binary $\beta$ Lyrae and its kin. --- The larger old star formation complex is of scientific interest in its own right.


title: Faster quantum and classical SDP approximations for quadratic binary optimization

abstract: We give a quantum speedup for solving the canonical semidefinite programming relaxation for binary quadratic optimization. This class of relaxations for combinatorial optimization has so far eluded quantum speedups. Our methods combine ideas from quantum Gibbs sampling and matrix exponent updates. A de-quantization of the algorithm also leads to a faster classical solver. For generic instances, our quantum solver gives a nearly quadratic speedup over state-of-the-art algorithms. Such instances include approximating the ground state of spin glasses and MaxCut on Erd\"{o}s-R\'enyi graphs. We also provide an efficient randomized rounding procedure that converts approximately optimal SDP solutions into approximations of the original quadratic optimization problem.


title: Deep Hashing Learning for Visual and Semantic Retrieval of Remote Sensing Images

abstract: Driven by the urgent demand for managing remote sensing big data, large-scale remote sensing image retrieval (RSIR) attracts increasing attention in the remote sensing field. In general, existing retrieval methods can be regarded as visual-based retrieval approaches which search and return a set of similar images from a database to a given query image. Although retrieval methods have achieved great success, there is still a question that needs to be responded to: Can we obtain the accurate semantic labels of the returned similar images to further help analyzing and processing imagery? Inspired by the above question, in this paper, we redefine the image retrieval problem as visual and semantic retrieval of images. Specifically, we propose a novel deep hashing convolutional neural network (DHCNN) to simultaneously retrieve the similar images and classify their semantic labels in a unified framework. In more detail, a convolutional neural network (CNN) is used to extract high-dimensional deep features. Then, a hash layer is perfectly inserted into the network to transfer the deep features into compact hash codes. In addition, a fully connected layer with a softmax function is performed on hash layer to generate class distribution. Finally, a loss function is elaborately designed to simultaneously consider the label loss of each image and similarity loss of pairs of images. Experimental results on two remote sensing datasets demonstrate that the proposed method achieves the state-of-art retrieval and classification performance.


title: On Re-Balancing Self-Interested Agents in Ride-Sourcing Transportation Networks

abstract: This paper focuses on the problem of controlling self-interested drivers in ride-sourcing applications. Each driver has the objective of maximizing its profit, while the ride-sourcing company focuses on customer experience by seeking to minimizing the expected wait time for pick-up. These objectives are not usually aligned, and the company has no direct control on the waiting locations of the drivers. In this paper, we provide two indirect control methods to optimize the set of waiting locations of the drivers, thereby minimizing the expected wait time of the customers: 1) sharing the location of all drivers with a subset of drivers, and 2) paying the drivers to relocate. We show that finding the optimal control for each method is NP-hard and we provide algorithms to find near-optimal control in each case. We evaluate the performance of the proposed control methods on real-world data and show that we can achieve between 20% to 80% improvement in the expected response.


title: Numerical integration of functions of a rapidly rotating phase

abstract: We present an algorithm for the efficient numerical evaluation of integrals of the form \[ I(\omega) = \int_0^1 F( x,\mathrm e^{\mathrm i \omega x}; \omega) \, \mathrm d x \] for sufficiently smooth but otherwise arbitrary $F$ and $\omega \gg 1$. The method is entirely "black-box", i.e., does not require the explicit computation of moment integrals or other pre-computations involving $F$. Its performance is uniform in the frequency $\omega$. We prove that the method converges exponentially with respect to its order when $F$ is analytic and give a numerical demonstration of its error characteristics.


title: Data Driven Estimation of Stochastic Switched Linear Systems of Unknown Order

abstract: We address the problem of learning the parameters of a mean square stable switched linear systems (SLS) with unknown latent space dimension, or \textit{order}, from its noisy input--output data. In particular, we focus on learning a good lower order approximation of the underlying model allowed by finite data. Motivated by subspace-based algorithms in system theory, we construct a Hankel-like matrix from finite noisy data using ordinary least squares. Such a formulation circumvents the non-convexities that arise in system identification, and allows for accurate estimation of the underlying SLS as data size increases. Since the model order is unknown, the key idea of our approach is model order selection based on purely data dependent quantities. We construct Hankel-like matrices from data of dimension obtained from the order selection procedure. By exploiting tools from theory of model reduction for SLS, we obtain suitable approximations via singular value decomposition (SVD) and show that the system parameter estimates are close to a balanced truncated realization of the underlying system with high probability.


title: Magnetic phase diagram of a spin S=1/2 antiferromagnetic two-leg ladder in the presence of modulated along legs Dzyaloshinskii-Moriya interaction

abstract: We study the ground-state magnetic phase diagram of a spin S=1/2 antiferromagnetic two-leg ladder in the presence of period two lattice units modulated, Dzyaloshinskii-Moriya (DM) interaction along the legs. We consider the case of collinear DM vectors and strong rung exchange and magnetic field. In this limit we map the initial ladder model onto the effective spin $\sigma=1/2$ XXZ chain and study the latter using the continuum-limit bosonization approach. We identified four quantum phase transitions and corresponding critical magnetic fields, which mark transitions from the spin gapped regimes into the gapless quantum spin-liquid regimes. In the gapped phases the magnetization curve of the system shows plateaus at magnetisation M=0 and to its saturation value per rung M=1. We have shown that the very presence of alternating DM interaction leads to opening of a gap in the excitation spectrum at magnetization M=0.5. The width of the magnetization plateau at M=0.5, is determined by the associated with the dynamical generation of a gap in the spectrum is calculated and is shown that its length scales as $(D_{0}D_{1}/J^{2})^{\alpha}$ where $D_{0},D_{1}$ are uniform and staggered components of the DM term, $J$ is the intraleg exchange and $\alpha \leq 3/4$ and weakly depends on the DM couplings.


title: Modified Frost formula for the mobilities of positive ions in their parent gases

abstract: A modification to the semi-empirical Frost formula for the mobilities of singly charged positive ions in their parent gases is proposed. The modified expression demonstrates excellent agreement with experimental results for different ionized rare gases in a very extended range of reduced field strengths.


title: Nonlinear dynamics of forced baroclinic critical layers

abstract: In this paper, we study the forcing of baroclinic critical levels, which arise in stratified fluids with horizontal shear flow along the surfaces where the phase speed of a wave relative to the mean flow matches a natural internal wavespeed. Linear theory predicts the baroclinic critical layer dynamics is similar to that of a classical critical layer, characterized by the secular growth of flow perturbations over a region of decreasing width. By using matched asymptotic expansions, we construct a nonlinear baroclinic critical layer theory to study how the flow perturbation evolves once they enter the nonlinear regime. A key feature of the theory is that, because the location of the baroclinic critical layer is determined by the streamwise wavenumber, the nonlinear dynamics filters out harmonics and the modification to the mean flow controls the evolution. At late times, we show that the vorticity begins to focus into yet smaller regions whose width decreases exponentially with time, and that the addition of dissipative effects can arrest this focussing to create a drifting coherent structure. Jet-like defects in the mean horizontal velocity are the main outcome of the critical-layer dynamics.


title: Cosmic Birefringence Test of the Hubble Tension

abstract: An early dark energy component consisting of a cosmic pseudo Nambu-Goldstone boson has been recently proposed to resolve the Hubble tension -- the four-sigma discrepancy between precision measurements of the expansion rate of the universe. Here we point out that such an axion-like component may be expected to couple to electromagnetism by a Chern-Simons term, and will thereby induce an anisotropic cosmic birefringence signal in the polarization of the cosmic microwave background (CMB). We show that observations of the rotation-angle power spectrum and cross-correlation with CMB temperature anisotropy can confirm the presence of this early dark energy component. Future CMB data as expected from the CMB-S4 experiment will improve sensitivity to this effect by two orders of magnitude and help in discriminating between different Hubble tension scenarios.


title: Symmetric Scalars

abstract: We provide a complete classification of Poincar\'e-invariant scalar field theories with an enlarged set of classical symmetries to leading order in derivatives, namely for the so-called $P(X,\phi)$ theories, in two or more spacetime dimensions. We find only three possibilities: Dirac-Born-Infeld, Cuscuton and Scaling theories. The latter two classes of actions involve an arbitrary function of the scalar field. As an application, we use the scaling symmetry to derive an infinite set of constraints on the Wilsonian coefficients of the low-energy Effective Field Theory. Furthermore, we study the extension of these results to cosmological (FLRW) and (Anti-)de Sitter spacetimes. We find in particular that the Cuscuton action has a generic set of symmetries around any background spacetime that possesses Killing vector fields, while the DBI actions have well-known analogues that we summarize explicitly.


title: New and fast route to black TiO2 based on hollow cathode H2 plasma

abstract: In this work, we demonstrate a new method to produce black TiO2 from pristine anatase TiO2 films. It consists on the immersion of TiO2 films in a hollow cathode H2 RF plasma for a few minutes, resulting in an efficient blackening of TiO2. In this study, the pristine anatase TiO2 films were grown by magnetron sputtering onto cover glass and c-Si substrates and then annealed at 450 {\deg}C for 2 h. Before and after the hollow cathode H2 plasma treatment, the samples were characterized by profilometry, UV-Vis spectrophotometry, X-ray diffraction, Raman spectroscopy, X-ray photoelectron spectroscopy, field emission scanning electron and atomic force microscopies, and four-point probe measurements. The results show that the obtained black TiO2 thin films have a significant light absorption on the whole solar spectrum, a very low sheet resistance, and also a relatively high surface area when compared to the pristine TiO2. All these characteristics lead to an important improvement on their photocatalytic activity, as measured by the degradation rate of methylene blue under UV irradiation.


title: Statistical Analysis of Stochastic Magnetic Fields

abstract: Previous work has introduced scale-split energy density \psi for a given vector field B in order to quantify the field stochasticity S(t). Application to turbulent magnetic fields leads to the prediction that tangling magnetic field by turbulence increases magnetic stochasticity. An increasing stochasticity in turn leads to disalignments of the coarse-grained fields at smaller scales thus they average to weaker fields at larger scales upon coarse-graining. The field's resistance against tanglement by the turbulence may lead at some point to its sudden slippage through the fluid, decreasing the stochasticity and increasing the energy density. Thus the maxima (minima) of magnetic stochasticity are expected to approximately coincide with the minima (maxima) of energy density, occurrence of which corresponds to slippage of the magnetic field through the fluid. Field-fluid slippage, on the other hand, has been already found to be intimately related to magnetic reconnection. In this paper, we test these theoretical predictions numerically using a homogeneous, incompressible magnetohydrodynamic (MHD) simulation. Apart from expected small scale deviations, possibly due to e.g., intermittency and strong field annihilation, the theoretically predicted global relationship between stochasticity and magnetic energy is observed in different sub-volumes of the simulation box. This may indicate ubiquitous local field-fluid slippage and small scale reconnection events in MHD turbulence. We also show that the maximum magnetic stochasticity, i.e., \partial_t S(t)=0 & \partial^2_t S(t)<0, leads to sudden increases in kinetic stochasticity level which may correspond to fluid jets driven by the reconnecting field lines, i.e., reconnection. This suggests a new mathematical approach to the reconnection problem.


title: Representation of Constituents in Neural Language Models: Coordination Phrase as a Case Study

abstract: Neural language models have achieved state-of-the-art performances on many NLP tasks, and recently have been shown to learn a number of hierarchically-sensitive syntactic dependencies between individual words. However, equally important for language processing is the ability to combine words into phrasal constituents, and use constituent-level features to drive downstream expectations. Here we investigate neural models' ability to represent constituent-level features, using coordinated noun phrases as a case study. We assess whether different neural language models trained on English and French represent phrase-level number and gender features, and use those features to drive downstream expectations. Our results suggest that models use a linear combination of NP constituent number to drive CoordNP/verb number agreement. This behavior is highly regular and even sensitive to local syntactic context, however it differs crucially from observed human behavior. Models have less success with gender agreement. Models trained on large corpora perform best, and there is no obvious advantage for models trained using explicit syntactic supervision.


title: Non-forking and preservation of NIP and dp-rank

abstract: We investigate the question of whether the restriction of a NIP type $p\in S(B)$ which does not fork over $A\subseteq B$ to $A$ is also NIP, and the analogous question for dp-rank. We show that if $B$ contains a Morley sequence $I$ generated by $p$ over $A$, then $p\restriction AI$ is NIP and similarly preserves the dp-rank. This yields positive answers for generically stable NIP types and the analogous case of stable types. With similar techniques we also provide a new more direct proof for the latter. Moreover, we introduce a general construction of "trees whose open cones are models of some theory" and in particular an inp-minimal theory DTR of dense trees with random graphs on open cones, which exemplifies a negative answer to the question.


title: Efficient bidirectional piezo-optomechanical transduction between microwave and optical frequency

abstract: Efficient interconversion of both classical and quantum information between microwave and optical frequency is an important engineering challenge. The optomechanical approach with gigahertz-frequency mechanical devices has the potential to be extremely efficient due to the large optomechanical response of common materials, and the ability to localize mechanical energy into a micron-scale volume. However, existing demonstrations suffer from some combination of low optical quality factor, low electrical-to-mechanical transduction efficiency, and low optomechanical interaction rate. Here we demonstrate an on-chip piezo-optomechanical transducer that systematically addresses all these challenges to achieve nearly three orders of magnitude improvement in conversion efficiency over previous work. Our modulator demonstrates acousto-optic modulation with $V_{\pi} = {0.02}$ V. We show bidirectional conversion efficiency of $10^{-5}$ with ${3.3}$ microwatts red-detuned optical pump, and $5.5\%$ with $323$ microwatts blue-detuned pump. Further study of quantum transduction at millikelvin temperatures is required to understand how the efficiency and added noise are affected by reduced mechanical dissipation, thermal conductivity, and thermal capacity.


title: The ontological identity of empirical indiscernibles: Leibniz's methodological principle and its significance in the work of Einstein

abstract: This article explores the following methodological principle for theory construction in physics: if an ontological theory predicts two scenarios that are ontologically distinct but empirically indiscernible, then this theory should be rejected and replaced by one relative to which the scenarios are ontologically the same. I defend the thesis that this methodological principle was first articulated by Leibniz as a version of his principle of the identity of indiscernibles, and that it was applied repeatedly to great effect by Einstein in his development of the special and general theories of relativity. I argue for an interpretation of the principle as an inference to the best explanation, defend it against some criticisms, discuss its potential applications in modern physics, and explain how it provides an attractive middle ground in the debate between empiricist and realist philosophies of science.


title: An ALMA-HST Study of Millimeter Dust Emission and Star Clusters

abstract: We present results from a joint ALMA-HST study of the nearby spiral galaxy NGC 628. We combine the HST LEGUS database of over 1000 stellar clusters in NGC 628 with ALMA Cycle 4 millimeter/submillimeter observations of the cold dust continuum that span ~15 square kpc including the nuclear region and western portions of the galaxy's disk. The resolution -- 1.1" or approximately 50 pc at the distance of NGC 628 -- allows us to constrain the spatial variations in the slope of the millimeter dust continuum as a function of the ages and masses of the nearby stellar clusters. Our results indicate an excess of dust emission in the millimeter assuming a typical cold dust model for a normal star-forming galaxy, but little correlation of the dust continuum slope with stellar cluster age or mass. For the depth and spatial coverage of these observations, we cannot substantiate the millimeter/submillimeter excess arising from the processing of dust grains by the local interstellar radiation field. We detect a bright unknown source in NGC 628 in ALMA bands 4 and 7 with no counterparts at other wavelengths from ancillary data. We speculate this is possibly a dust obscured supernova.


title: Meta-Learning with Implicit Gradients

abstract: A core capability of intelligent systems is the ability to quickly learn new tasks by drawing on prior experience. Gradient (or optimization) based meta-learning has recently emerged as an effective approach for few-shot learning. In this formulation, meta-parameters are learned in the outer loop, while task-specific models are learned in the inner-loop, by using only a small amount of data from the current task. A key challenge in scaling these approaches is the need to differentiate through the inner loop learning process, which can impose considerable computational and memory burdens. By drawing upon implicit differentiation, we develop the implicit MAML algorithm, which depends only on the solution to the inner level optimization and not the path taken by the inner loop optimizer. This effectively decouples the meta-gradient computation from the choice of inner loop optimizer. As a result, our approach is agnostic to the choice of inner loop optimizer and can gracefully handle many gradient steps without vanishing gradients or memory constraints. Theoretically, we prove that implicit MAML can compute accurate meta-gradients with a memory footprint that is, up to small constant factors, no more than that which is required to compute a single inner loop gradient and at no overall increase in the total computational cost. Experimentally, we show that these benefits of implicit MAML translate into empirical gains on few-shot image recognition benchmarks.


title: Bayesian Spatial Kernel Smoothing for Scalable Dense Semantic Mapping

abstract: This paper develops a Bayesian continuous 3D semantic occupancy map from noisy point clouds by generalizing the Bayesian kernel inference model for building occupancy maps, a binary problem, to semantic maps, a multi-class problem. The proposed method provides a unified probabilistic model for both occupancy and semantic probabilities and nicely reverts to the original occupancy mapping framework when only one occupied class exists in obtained measurements. The Bayesian spatial kernel inference relaxes the independent grid assumption and brings smoothness and continuity to the map inference, enabling to exploit local correlations present in the environment and increasing the performance. The accompanying software uses multi-threading and vectorization, and runs at about 2 Hz on a laptop CPU. Evaluations using multiple sequences of stereo camera and LiDAR datasets show that the proposed method consistently outperforms current baselines. We also present a qualitative evaluation using data collected with a bipedal robot platform on the University of Michigan - North Campus.


title: Oscillatory path integrals for radio astronomy

abstract: We introduce a new method for evaluating the oscillatory integrals which describe natural interference patterns. As an illustrative example of contemporary interest, we consider astrophysical plasma lensing of coherent sources like pulsars and fast radio bursts in radioastronomy. Plasma lenses are known to occur near the source, in the interstellar medium, as well as in the solar wind and the earth's ionosphere. Such lensing is strongest at long wavelengths hence it is generally important to go beyond geometric optics and into the full wave optics regime. Our computational method is a spinoff of new techniques two of us, and our collaborators, have developed for defining and performing Lorentzian path integrals. Cauchy's theorem allows one to transform a computationally fragile and expensive, highly oscillatory integral into an exactly equivalent sum of absolutely and rapidly convergent integrals which can be evaluated in polynomial time. We require only that it is possible to analytically continue the lensing phase, expressed in the integrated coordinates, into the complex domain. We give a first-principles derivation of the Fresnel-Kirchhoff integral, starting from Feynman's path integral for a massless particle in a refractive medium. We then demonstrate the effectiveness of our method by computing the interference patterns of Thom's caustic catastrophes, both in their "normal forms" and within a variety of more realistic, local lens models, over all wavelengths. Our numerical method, implemented in a freely downloadable code, provides a fast, accurate tool for modeling interference patterns in radioastronomy and other fields of physics.


title: On a class of random walks with reinforced memory

abstract: This paper deals with different models of random walks with a reinforced memory of preferential attachment type. We consider extensions of the Elephant Random Walk introduced by Sch\"utz and Trimper [2004] with a stronger reinforcement mechanism, where, roughly speaking, a step from the past is remembered proportional to some weight and then repeated with probability $p$. With probability $1-p$, the random walk performs a step independent of the past. The weight of the remembered step is increased by an additive factor $b\geq 0$, making it likelier to repeat the step again in the future. A combination of techniques from the theory of urns, branching processes and $\alpha$-stable processes enables us to discuss the limit behavior of reinforced versions of both the Elephant Random Walk and its $\alpha$-stable counterpart, the so-called Shark Random Swim introduced by Businger [2018]. We establish phase transitions, separating subcritical from supercritical regimes.


title: Creation of vibrationally-excited ultralong-range Rydberg molecules in polarized and unpolarized cold gases of ${}^{87}$Sr

abstract: Photoexcitation rates for creation of ultralong-range Rydberg molecules (ULRM) with 31$\lesssim n \lesssim41$ in both ground and excited vibrational levels in cold ($T\sim900$~nK) gases of polarized and unpolarized $^{87}$Sr are presented. The measured production rates of the $\nu=0, 1$ and 2 vibrational levels reveal rather different $n$ dependences which are analyzed by evaluating the Franck-Condon factors associated with excitation of the different vibrational levels and molecular rotational states. In particular, for gases of spin-polarized fermions, only Rydberg dimers with odd rotational quantum numbers are excited due to the requirement that their wavefunctions be anti-symmetric with respect to exchange. The data also demonstrate that measurements of the formation of vibrationally-excited $\nu=1$ molecules can furnish a probe of pair correlations over intermediate length scales extending from $\sim20$~nm to greater than 250~nm.


title: Cutoff for polymer pinning dynamics in the repulsive phase

abstract: We consider the Glauber dynamics for model of polymer interacting with a substrate or wall. The state space is the set of one-dimensional nearest-neighbor paths on $\mathbb{Z}$ with nonnegative integer coordinates, starting at $0$ and coming back to $0$ after $L$ ($L\in 2\mathbb{N}$) steps and the Gibbs weight of a path $\xi=(\xi_x)^{L}_{x=0}$ is given by $\lambda^{\mathcal{N}(\xi)}$, where $\lambda \geq 0$ is a parameter which models the intensity of the interaction with the substrate and $\mathcal{N}(\xi)$ is the number of zeros in $\xi$. The dynamics we consider proceeds by updating $\xi_x$ with rate one for each $x=1,\dots, L-1$, in a heat-bath fashion. This model was introduced in [CMT08] with the aim of studying the relaxation to equilibrium of the system. We present new results concerning the total variation mixing time for this dynamics when $\lambda< 2$, which corresponds to the phase where the effects of the wall's entropic repulsion dominates. For $\lambda \in [0, 1]$, we prove that the total variation distance to equilibrium drops abruptly from $1$ to $0$ at time $(L^2 \log L)(1+o(1))/\pi^2$. For $\lambda \in (1,2)$, we prove that the system also exhibit cutoff at time $(L^2 \log L)(1+o(1))/\pi^2$ when considering mixing time from "extremal conditions" (that is, either the highest or lowest initial configuration for the natural order on the set of paths). Our results improves both previously proved upper and lower bounds in [CMT08].


title: Ergodic Theorem in Grand Variable Exponent Lebesgue Spaces

abstract: We consider several fundamental properties of grand variable exponent Lebesgue spaces. Moreover, we discuss Ergodic theorems in these spaces whenever the exponent is invariant under the transformation.


title: Faraday and Resonant Waves in Dipolar Cigar-Shaped Bose-Einstein Condensates

abstract: Faraday and resonant density waves emerge in Bose-Einstein condensates as a result of harmonic driving of the system. They represent nonlinear excitations and are generated due to the interaction-induced coupling of collective oscillation modes and the existence of parametric resonances. Using a mean-field variational and a full numerical approach, we studied density waves in dipolar condensates at zero temperature, where breaking of the symmetry due to anisotropy of the dipole-dipole interaction (DDI) plays an important role. We derived variational equations of motion for the dynamics of a driven dipolar system and identify the most unstable modes that correspond to the Faraday and resonant waves. Based on this, we derived the analytical expressions for spatial periods of both types of density waves as functions of the contact and the DDI strength. We compared the obtained variational results with the results of extensive numerical simulations that solve the dipolar Gross-Pitaevskii equation in 3D, and found a very good agreement.


title: Anderson acceleration for contractive and noncontractive operators

abstract: A one-step analysis of Anderson acceleration with general algorithmic depths is presented. The resulting residual bounds within both contractive and noncontractive settings reveal the balance between the contributions from the higher and lower order terms, which are both dependent on the success of the optimization problem solved at each step of the algorithm. The new residual bounds show the additional terms introduced by the extrapolation produce terms that are of a higher order than was previously understood. In the contractive setting, these bounds sharpen previous convergence and acceleration results. The bounds rely on sufficient linear independence of the differences between consecutive residuals, rather than assumptions on the boundedness of the optimization coefficients, allowing the introduction of a theoretically sound safeguarding strategy. Several numerical tests illustrate the analysis primarily in the noncontractive setting, and demonstrate the use of the method, the safeguarding strategy, and theory-based guidance on dynamic selection of the algorithmic depth, on a p-Laplace equation, a nonlinear Helmholtz equation, and the steady Navier-Stokes equations with high Reynolds number in three spatial dimensions.


title: Universality driven analytic structure of the QCD crossover: radius of convergence in the baryon chemical potential

abstract: Recent lattice QCD calculations strongly indicate that the chiral crossover of QCD at zero baryon chemical potential \mu_B is a remnant of the second-order chiral phase transition. Universal properties of this second-order phase transition can be mapped to QCD temperature T and \mu_B using non-universal parameters determined by lattice QCD recently. Motivated by these results, first, we discuss the analytic structure of the partition function in the QCD crossover regime - the so-called Yang-Lee edge singularity - solely based on universal properties. Next, utilizing the lattice QCD results for non-universal parameters we map this singularity to the real T and complex \mu_B plane, leading to the determination of the radius of convergence is in \mu_B in the QCD crossover regime. These universality- and QCD-based results provide tight constraints on the range of validity of the lattice QCD calculations at \mu_B. Implication of this result on the location of the conjectured QCD critical point is discussed.


title: Boundary measurement and sign variation in real projective space

abstract: We define two generalizations of the totally nonnegative Grassmannian and determine their topology in the case of real projective space. We find the spaces to be PL manifolds with boundary which are homotopy equivalent to another real projective space of smaller dimension. One generalization makes use of sign variation while the other uses boundary measurement. Spaces arising from boundary measurement are shown to admit Cohen-Macaulay triangulations.


title: Constraining structure formation using EDGES

abstract: The experiment to detect the global epoch of reionization signature (EDGES) collaboration reported the detection of a line at 78MHz in the sky-averaged spectrum due to neutral hydrogen (HI) 21-cm hyperfine absorption of cosmic microwave background photons at $z\sim 17$. This requires that the spin temperature of HI be coupled to the kinetic temperature of the gas at this $z$ through the scattering of Ly-$\alpha$ photons emitted by massive stars. To explain the experimental result, star formation needs to be sufficiently efficient at $z\sim 17$ and this can be used to constrain models in which small-scale structure formation is suppressed (DMF models), either due to dark matter free-streaming or non-standard inflationary dynamics. We combine simulations of structure formation with a simple recipe for star formation to investigate whether these models emit enough Ly-$\alpha$ photons to reproduce the experimental signal for reasonable values of the star formation efficiency, $f_\star$. We find that a thermal warm dark matter (WDM) model with mass $m_\mathrm{WDM}\sim 4.3\,\mathrm{keV}$ is consistent with the timing of the signal for $f_\star\lesssim 2\%$. The exponential growth of structure around $z\sim 17$ in such a model naturally generates a sharp onset of the absorption. A warmer model with $m_\mathrm{WDM}\sim 3\,\mathrm{keV}$ requires a higher star formation efficiency, $f_\star\sim 6\%$, which is a factor of few above predictions of current star formation models and observations of satellites in the Milky Way. However, uncertainties in the process of star formation at these $z$ do not allow to derive strong constrains on such models using 21-cm absorption line. The onset of the 21-cm absorption is generally faster in DMF compared to cold dark matter (CDM), unless some process significantly suppresses star formation in halos with masses below $\sim 10^8\,h^{-1}\,\mathrm{M}_\odot$.


title: Water Vapor and Clouds on the Habitable-Zone Sub-Neptune Exoplanet K2-18b

abstract: Results from the Kepler mission indicate that the occurrence rate of small planets ($<3$ $R_\oplus$) in the habitable zone of nearby low-mass stars may be as high as 80%. Despite this abundance, probing the conditions and atmospheric properties on any habitable-zone planet is extremely difficult and has remained elusive to date. Here, we report the detection of water vapor and the likely presence of liquid and icy water clouds in the atmosphere of the $2.6$ $R_\oplus$ habitable-zone planet K2-18b. The simultaneous detection of water vapor and clouds in the mid-atmosphere of K2-18b is particularly intriguing because K2-18b receives virtually the same amount of total insolation from its host star ($1368_{-107}^{+114}$ W m$^{-2}$) as the Earth receives from the Sun (1361 W m$^{-2}$), resulting in the right conditions for water vapor to condense and explain the detected clouds. In this study, we observed nine transits of K2-18b using HST/WFC3 in order to achieve the necessary sensitivity to detect the water vapor, and we supplement this data set with Spitzer and K2 observations to obtain a broader wavelength coverage. While the thick hydrogen-dominated envelope we detect on K2-18b means that the planet is not a true Earth analog, our observations demonstrate that low-mass habitable-zone planets with the right conditions for liquid water are accessible with state-of-the-art telescopes.


title: The Homotopy Types of $SU(4)$-Gauge Groups

abstract: Let $\mathcal{G}_k$ be the gauge group of the principal $SU(4)$-bundle over $S^4$ with second Chern class $k$ and let $p$ be a prime. We show that there is a rational or $p$-local homotopy equivalence $\Omega\mathcal{G}_k\simeq\Omega\mathcal{G}_{k'}$ if and only if $(60,k)=(60,k')$.


title: Particle Size Effects in Flow-Stabilized Solids

abstract: Flow-stabilized solids are a class of fragile matter that forms when a dense suspension of colloids accumulates against a semi-permeable barrier, for flow rates above a critical value. In order to probe the effect of particle size on the formation of these solids, we perform experiments on micron-sized monodisperse spherical polystyrene spheres in a Hele-Shaw geometry. We examine the spatial extent, internal fluctuations, and fluid permeability of the solids deposited against the barrier, and find that these do not scale with the P\'eclet number. Instead, we find distinct behaviors at higher Peclet numbers, suggesting a transition from thermal- to athermal-solids which we connect to particle-scale fluctuations in the liquid-like layer at the upstream surface of the solid. We further observe that while the Carman-Kozeny model does not accurately predict the permeability of flow-stabilized solids, we do find a new scaling which predicts the permeability.


title: Controlling polarization of attosecond pulses with plasmonic-enhanced bichromatic counter-rotating circularly polarised fields

abstract: The use of bichromatic counter-rotating laser field is known to generate high-order harmonics with non-zero ellipticity. By combining such laser field with a plasmonic-enhanced spatially inhomogeneous field, we propose a way to influence the sub-cycle dynamics of the high-harmonic generation process. Using the numerical solution of the time-dependent Schr{\"o}dinger equation combined with classical trajectory Monte Carlo simulations, we show that the change of the direction and the strength of the plasmonic field selectively enhances or suppresses certain recombining electron trajectories. This in turn modifies the ellipticity of the emitted attosecond pulses.


title: Commuting Pairs, Generalized para-K\"ahler Geometry and Born Geometry

abstract: In this paper, we study the geometries given by commuting pairs of generalized endomorphisms ${\cal A} \in \text{End}(T\oplus T^*)$ with the property that their product defines a generalized metric. There are four types of such commuting pairs: generalized K\"ahler (GK), generalized para-K\"ahler (GpK), generalized chiral and generalized anti-K\"ahler geometries. We show that GpK geometry is equivalent to a pair of para-Hermitian structures and we derive the integrability conditions in terms of these. From the physics point of view, this is the geometry of $2D$ $(2,2)$ twisted supersymmetric sigma models. The generalized chiral structures are equivalent to a pair of tangent bundle product structures that also appear in physics applications of $2D$ sigma models. We show that the case when the two product structures anti-commute corresponds to Born geometry. Lastly, the generalized anti-K\"ahler structures are equivalent to a pair of anti-Hermitian structures (sometimes called Hermitian with Norden metric). The generalized chiral and anti-K\"ahler geometries do not have isotropic eigenbundles and therefore do not admit the usual description of integrability in terms of the Dorfman bracket. We therefore use an alternative definition of integrability in terms of the generalized Bismut connection of the corresponding metric, which for GK and GpK commuting pairs recovers the usual integrability conditions and can also be used to define the integrability of generalized chiral and anti-K\"ahler structures. In addition, it allows for a weakening of the integrability condition, which has various applications in physics.


title: Abundant quadrupolar or nematic phases driven by the Heisenberg interactions in a spin-1 dimer system forming a bilayer

abstract: We explore several classes of quadrupolar ordering in a system of antiferromagnetically coupled quantum spin-1 dimers, which are stacked in the triangular lattice geometry forming a bilayer. Low-energy properties of this model is described by an $\mathcal{S}=1$ hard-core bosonic degrees of freedom defined on each dimer-bond, where the singlet and triplet states of the dimerized spins are interpreted as the vacuum and the occupancy of boson, respectively. The number of bosons per dimer and the magnetic and density fluctuations of bosons are controlled by the inter-dimer Heisenberg interactions. In a solid phase where each dimer hosts one boson and the inter-dimer interaction is weak, a conventional spin nematic phase is realized by the pair-fluctuation of bosons. Larger inter-dimer interaction favors Bose Einstein condensates (BEC) carrying quadrupolar moments. Among them, we find one exotic phase where the quadrupoles develop a spatially modulated structure on the top of a uniform BEC, interpreted in the original dimerized spin-1 model as coexistent $p$-type nematic and 120$^\circ$-magnetic correlations. This may explain an intriguing nonmagnetic phase found in Ba$_{3}$ZnRu$_{2}$O$_{9}$.


title: Deep Learning for Automated Classification and Characterization of Amorphous Materials

abstract: It is difficult to quantify structure-property relationships and to identify structural features of complex materials. The characterization of amorphous materials is especially challenging because their lack of long-range order makes it difficult to define structural metrics. In this work, we apply deep learning algorithms to accurately classify amorphous materials and characterize their structural features. Specifically, we show that convolutional neural networks and message passing neural networks can classify two-dimensional liquids and liquid-cooled glasses from molecular dynamics simulations with greater than 0.98 AUC, with no a priori assumptions about local particle relationships, even when the liquids and glasses are prepared at the same inherent structure energy. Furthermore, we demonstrate that message passing neural networks surpass convolutional neural networks in this context in both accuracy and interpretability. We extract a clear interpretation of how message passing neural networks evaluate liquid and glass structures by using a self-attention mechanism. Using this interpretation, we derive three novel structural metrics that accurately characterize glass formation. The methods presented here provide us with a procedure to identify important structural features in materials that could be missed by standard techniques and give us a unique insight into how these neural networks process data.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cs.LG stat.ML


title: Bootstrap percolation in Ore-type graphs

abstract: The $r$-neighbour bootstrap process describes an infection process on a graph, where we start with a set of initially infected vertices and an uninfected vertex becomes infected as soon as it has $r$ infected neighbours. An inital set of infected vertices is called percolating if at the end of the bootstrap process all vertices are infected. We give Ore-type conditions that guarantee the existence of a small percolating set of size $l\leq 2r-2$ if the number of vertices $n$ of our graph is sufficiently large: if $l\geq r$ and satisfies $2r \geq l+2 \lfloor \sqrt{2(l-r)+0.25}+2.5 \rfloor-1$ then there exists a percolating set of size $l$ for every graph in which any two non-adjacent vertices $x$ and $y$ satisfy $deg(x)+deg(y) \geq n+4r-2l-2\lfloor\sqrt{2(l-r)+0.25}+2.5 \rfloor-1$ and if $l$ is larger with $l\leq 2r-2$ there exists a percolating set of size $l$ if $deg(x)+deg(y) \geq n+2r-l-2$. Our results extend the work of Gunderson, who showed that a graph with minimum degree $\lfloor n/2 \rfloor+r-3$ has a percolating set of size $r \geq 4$. We also give bounds for arbitrarily large $l$ in the minimum degree setting.


title: Regularity of S_n-invariant monomial ideals

abstract: For a polynomial ring S in n variables, we consider the natural action of the symmetric group S_n on S by permuting the variables. For an S_n-invariant monomial ideal I in S and j >= 0, we give an explicit recipe for computing the modules Ext^j(S/I,S), and use this to describe the projective dimension and regularity of I. We classify the S_n-invariant monomial ideals that have a linear free resolution, and also characterize those which are Cohen-Macaulay. We then consider two settings for analyzing the asymptotic behavior of regularity: one where we look at powers of a fixed ideal I, and another where we vary the dimension of the ambient polynomial ring and examine the invariant monomial ideals induced by I. In the first case we determine the asymptotic regularity for those ideals I that are generated by the S_n-orbit of a single monomial by solving an integer linear optimization problem. In the second case we describe the behavior of regularity for any I, recovering a recent result of Murai.


title: Inviscid limit of vorticity distributions in Yudovich class

abstract: We prove that given initial data $\omega_0\in L^\infty(\mathbb{T}^2)$, forcing $g\in L^\infty(0,T; L^\infty(\mathbb{T}^2))$, and any $T>0$, the solutions $u^\nu$ of Navier-Stokes converge strongly in $L^\infty(0,T;W^{1,p}(\mathbb{T}^2))$ for any $p\in [1,\infty)$ to the unique Yudovich weak solution $u$ of the Euler equations. A consequence is that vorticity distribution functions converge to their inviscid counterparts. As a byproduct of the proof, we establish continuity of the Euler solution map for Yudovich solutions in the $L^p$ vorticity topology. The main tool in these proofs is a uniformly controlled loss of regularity property of the linear transport by Yudovich solutions. Our results provide a partial foundation for the Miller--Robert statistical equilibrium theory of vortices as it applies to slightly viscous fluids.