title: Coordinating the Crowd: Inducing Desirable Equilibria in Non-Cooperative Systems

abstract: Many real-world systems such as taxi systems, traffic networks and smart grids involve self-interested actors that perform individual tasks in a shared environment. However, in such systems, the self-interested behaviour of agents produces welfare inefficient and globally suboptimal outcomes that are detrimental to all - some common examples are congestion in traffic networks, demand spikes for resources in electricity grids and over-extraction of environmental resources such as fisheries. We propose an incentive-design method which modifies agents' rewards in non-cooperative multi-agent systems that results in independent, self-interested agents choosing actions that produce optimal system outcomes in strategic settings. Our framework combines multi-agent reinforcement learning to simulate (real-world) agent behaviour and black-box optimisation to determine the optimal modifications to the agents' rewards or incentives given some fixed budget that results in optimal system performance. By modifying the reward functions and generating agents' equilibrium responses within a sequence of offline Markov games, our method enables optimal incentive structures to be determined offline through iterative updates of the reward functions of a simulated game. Our theoretical results show that our method converges to reward modifications that induce system optimality. We demonstrate the applications of our framework by tackling a challenging problem within economics that involves thousands of selfish agents and tackle a traffic congestion problem.


title: Is the mailing Gilbert-Steiner problem convex?

abstract: A convexification of the mailing version of the finite Gilbert problem for optimal networks is introduced. It is ia convex functional on the set of probability measures subject to the Wasserstein $p-$ metric. The minimizer of this convex functional is a measure supported in a graph. If this graph is a tree (i.e contains no cycles) then this tree is also a minimum of the corresponding mailing Gilbert problem. A numerical algorithm for the implementation of the convexified Gilbert-mailing problem is also suggested, based on entropic regularization.


title: A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing

abstract: The two major systems of formal verification are model checking and algebraic model-based testing. Model checking is based on some form of temporal logic such as linear temporal logic (LTL) or computation tree logic (CTL). One powerful and realistic logic being used is CTL, which is capable of expressing most interesting properties of processes such as liveness and safety. Model-based testing is based on some operational semantics of processes (such as traces, failures, or both) and its associated preorders. The most fine-grained preorder beside bisimulation (mostly of theoretical importance) is based on failure traces. We show that these two most powerful variants are equivalent; that is, we show that for any failure trace test there exists a CTL formula equivalent to it, and the other way around. All our proofs are constructive and algorithmic. Our result allows for parts of a large system to be specified logically while other parts are specified algebraically, thus combining the best of the two (logic and algebraic) worlds.


title: Safe Compilation for Hidden Deterministic Hardware Aliasing and Encrypted Computing

abstract: Hardware aliasing occurs when the same logical address sporadically accesses different physical memory locations and is a problem encountered by systems programmers (the opposite, software aliasing, when different addresses access the same location, is more familiar to application programmers). This paper shows how to compile so code works in the presence of {\em hidden deterministic} hardware aliasing. That means that a copy of an address always accesses the same location, and recalculating it exactly the same way also always gives the same access, but otherwise access appears arbitrary and unpredictable. The technique is extended to cover the emerging technology of encrypted computing too.


title: Three-state opinion dynamics in modular networks

abstract: In this work we study the opinion evolution in a community-based population with intergroup interactions. We address two issues. First, we consider that such intergroup interactions can be negative with some probability $p$. We develop a coupled mean-field approximation that still preserves the community structure and it is able to capture the richness of the results arising from our Monte Carlo simulations: continuous and discontinuous order-disorder transitions as well as nonmonotonic ordering for an intermediate community strength. In the second part, we consider only positive interactions, but with the presence of inflexible agents holding a minority opinion. We also consider an indecision noise: a probability $q$ that allows the spontaneous change of opinions to the neutral state. Our results show that the modular structure leads to a nonmonotonic global ordering as $q$ increases. This inclination toward neutrality plays a dual role: a moderated propensity to neutrality helps the initial minority to become a majority, but this noise-driven opinion switching becomes less pronounced if the agents are too susceptible to become neutral.


title: Exact Bootstrap and Permutation Distribution of Wins and Losses in a Hierarchical Trial

abstract: Finkelstein-Schoenfeld, Buyse, Pocock, and other authors have developed generalizations of the Mann-Whitney test that allow for pairwise patient comparisons to include a hierarchy of measurements. Various authors present either asymptotic or randomized methods for analyzing the wins. We use graph theory concepts to derive exact means and variances for the number of wins, as a replacement for approximate values obtained from bootstrap analysis or random sampling from the permutation distribution. The time complexity of our algorithm is $O(N^2)$, where $N$ is the total number of patients. In any situation where the mean and variance of a bootstrap sample are used to draw conclusions, our methodology will be faster and more accurate than the randomized bootstrap or permutation test.


title: Winding Number of $r$-modular sequences and Applications to the Singularity Content of a Fano Polygon

abstract: By generalising the notion of a unimodular sequence, we create an expression for the winding number of certain ordered sets of lattice points. Since the winding number of the vertices of a Fano polygon is necessarily one, we use this expression as a restriction to classify all Fano polygons without T-singularities and whose basket of residual singularities is of the form $\left\{ \frac{1}{r}(1,s_{1}), \frac{1}{r}(1,s_{2}), \ldots, \frac{1}{r}(1,s_{k}) \right\}$ for $k,r \in \mathbb{Z}_{>0}$, and $1 \leq s_{i} < r$ is coprime to $r$.


title: Genius

abstract: arXiv admin note: This submission has been withdrawn by arXiv administrators due to inflammatory content and unprofessional language


title: Symmetry and correlation effects on band structure explain the anomalous transport properties of (111) LaAlO$_3$/SrTiO$_3$

abstract: The interface between the two insulating oxides SrTiO$_3$ and LaAlO$_3$ gives rise to a two-dimensional electron system with intriguing transport phenomena, including superconductivity, which are controllable by a gate. Previous measurements on the (001) interface have shown that the superconducting critical temperature, the Hall density, and the frequency of quantum oscillations, vary nonmonotonically and in a correlated fashion with the gate voltage. In this paper we experimentally demonstrate that the (111) interface features a qualitatively distinct behavior, in which the frequency of Shubnikov-de Haas oscillations changes monotonically, while the variation of other properties is nonmonotonic albeit uncorrelated. We develop a theoretical model, incorporating the different symmetries of these interfaces as well as electronic-correlation-induced band competition. We show that the latter dominates at (001), leading to similar nonmonotonicity in all observables, while the former is more important at (111), giving rise to highly curved Fermi contours, and accounting for all its anomalous transport measurements.


title: Open XXZ chain and boundary modes at zero temperature

abstract: We study the open XXZ spin chain in the anti-ferromagnetic regime and for generic longitudinal magnetic fields at the two boundaries. We discuss the ground state via the Bethe ansatz and we show that, for a chain of even length L and in a regime where both boundary magnetic fields are equal and bounded by a critical field, the spectrum is gapped and the ground state is doubly degenerate up to exponentially small corrections in L. We connect this degeneracy to the presence of a boundary root, namely an excitation localized at one of the two boundaries. We compute the local magnetization at the left edge of the chain and we show that, due to the existence of a boundary root, this depends also on the value of the field at the opposite edge, even in the half-infinite chain limit. Moreover we give an exact expression for the large time limit of the spin autocorrelation at the boundary, which we explicitly compute in terms of the form factor between the two quasi-degenerate ground states. This, as we show, turns out to be equal to the contribution of the boundary root to the local magnetization. We finally discuss the case of chains of odd length.

categories: cond-mat.stat-mech math-ph math.MP nlin.SI


title: Securing Fog-to-Things Environment Using Intrusion Detection System Based On Ensemble Learning

abstract: The growing interest in the Internet of Things (IoT) applications is associated with an augmented volume of security threats. In this vein, the Intrusion detection systems (IDS) have emerged as a viable solution for the detection and prevention of malicious activities. Unlike the signature-based detection approaches, machine learning-based solutions are a promising means for detecting unknown attacks. However, the machine learning models need to be accurate enough to reduce the number of false alarms. More importantly, they need to be trained and evaluated on realistic datasets such that their efficacy can be validated on real-time deployments. Many solutions proposed in the literature are reported to have high accuracy but are ineffective in real applications due to the non-representativity of the dataset used for training and evaluation of the underlying models. On the other hand, some of the existing solutions overcome these challenges but yield low accuracy which hampers their implementation for commercial tools. These solutions are majorly based on single learners and are therefore directly affected by the intrinsic limitations of each learning algorithm. The novelty of this paper is to use the most realistic dataset available for intrusion detection called NSL-KDD, and combine multiple learners to build ensemble learners that increase the accuracy of the detection. Furthermore, a deployment architecture in a fog-to-things environment that employs two levels of classifications is proposed. In such architecture, the first level performs an anomaly detection which reduces the latency of the classification substantially, while the second level, executes attack classifications, enabling precise prevention measures. Finally, the experimental results demonstrate the effectiveness of the proposed IDS in comparison with the other state-of-the-arts on the NSL-KDD dataset.


title: Slightly Ultra-violet Freeze-in a Hidden Gluonic Sector

abstract: The dark glueball (DGB) from a hidden Yang-Mills sector is a simple non-WIMP dark matter candidate characterized by very few parameters. However, it suffers the over dense issue. To overcome it, in general the dark sector is required to be hierarchically cooler than the visible sector. To naturally generate the desired hierarchy, in this paper we introduce higher dimensional operators coupling the dark gauge field strength tensor to the standard model (SM) Higgs doublets or gauge field strength tensors. By tracking the different phases of the universe from the end of inflation, prethermalization, reheating to the radiation dominance era, we show that these operators can make the DGB be a viable dark matter candidate over a wide mass region, from the sub-GeV to multi-PeV or even beyond. At the same time, these operators open decay channels of DGB to the SM species, and partial of the parameter space could leave hints in the cosmic ray.


title: Two-loop $N$-jettiness soft function for $pp \to 2j$ production

abstract: We calculate the two-loop soft function for $pp \to jj$, $e^+e^- \to 4j$ or $e p \to 3j$ when the $N$-jettiness observable is measured. The result presented here makes up the necessary piece for realizing the full next-to-next-to-leading order predictions for these processes using the $N$-jettiness subtraction scheme.


title: Z_3 - graded colour Dirac equations for quarks, confinement and generalized Lorentz symmetries

abstract: We propose a modification of standard QCD description of the colour triplet of quarks describing quark fields endowed with colour degree of freedom by introducing a 12-component colour generalization of Dirac spinor, with built-in Z_3 grading playing an important algebraic role in quark confinement. In "colour Dirac equations" the SU(3) colour symmetry is entangled with the Z_3-graded generalization of Lorentz symmetry, containing three 6-parameter sectors related by Z_3 maps. The generalized Lorentz covariance requires simultaneous presence of 24 colour Dirac multiplets, which lead to the description of all internal symmetries of quarks: besides SU(3) \times SU(2) \times U(1), the flavour symmetries and three quark families.


title: Topological boundaries of unitary representations

abstract: We introduce and study a generalization of the notion of the Furstenberg boundary of a discrete group $\Gamma$ to the setting of a general unitary representation $\pi: \Gamma \to B(\mathcal H_\pi)$. This space, which we call the "Furstenberg-Hamana boundary" of the pair $(\Gamma, \pi)$, is a $\Gamma$-invariant subspace of $B(\mathcal H_\pi)$ that carries a canonical $C^*$-algebra structure. In many natural cases, including when $\pi$ is a quasi-regular representation, the Furstenberg-Hamana boundary of $\pi$ is commutative, but can be non-commutative in general. We study various properties of this boundary, and give some applications.


title: Multi-Tier Buffer Management and Storage System Design for Non-Volatile Memory

abstract: The design of the buffer manager in database management systems (DBMSs) is influenced by the performance characteristics of volatile memory (DRAM) and non-volatile storage (e.g., SSD). The key design assumptions have been that the data must be migrated to DRAM for the DBMS to operate on it and that storage is orders of magnitude slower than DRAM. But the arrival of new non-volatile memory (NVM) technologies that are nearly as fast as DRAM invalidates these previous assumptions. This paper presents techniques for managing and designing a multi-tier storage hierarchy comprising of DRAM, NVM, and SSD. Our main technical contributions are a multi-tier buffer manager and a storage system designer that leverage the characteristics of NVM. We propose a set of optimizations for maximizing the utility of data migration between different devices in the storage hierarchy. We demonstrate that these optimizations have to be tailored based on device and workload characteristics. Given this, we present a technique for adapting these optimizations to achieve a near-optimal buffer management policy for an arbitrary workload and storage hierarchy without requiring any manual tuning. We finally present a recommendation system for designing a multi-tier storage hierarchy for a target workload and system cost budget. Our results show that the NVM-aware buffer manager and storage system designer improve throughput and reduce system cost across different transaction and analytical processing workloads.


title: Non-Gaussian quantum states of a multimode light field

abstract: Even though Gaussian quantum states of multimode light are promising quantum resources due to their scalability, non-Gaussianity is indispensable for quantum technologies, in particular to reach quantum computational advantage. However, embodying non-Gaussianity in a multimode Gaussian state remains a challenge as controllable non-Gaussian operations are hard to implement in a multimode scenario. Here, we report the first generation of non-Gaussian quantum states of a multimode light field by subtracting a photon in a desired mode from multimode Gaussian states, and observe negativity of the Wigner function. For entangled Gaussian states, we observe that photon subtraction makes non-Gaussianity spread among various entangled modes. In addition to applications in quantum technologies, our results shed new light on non-Gaussian multimode entanglement with particular emphasis on quantum networks.


title: Phenomenology of a universal super weak $SU(N)_{w}$ color hypothesis

abstract: In this work we will propose a new universal super weak $SU(N)_{w}$ (or self interacting vector bosons) color to which all the SM fermions are assumed to be coupled universally whose confining radius is in the range of the size of galaxies. We will argue that the model has some very interesting consequences such as it could be able to explain the observed rotation velocity anomalies in large galaxies without requirement of specific DM particle. We will also show that it could constitute most of the observed mass of a galaxy, similar like the proton mass which is mostly made up of color interaction dynamics as shown recently, which could explain the observed DM in the rotation velocities of galaxies in galaxy clusters. Also when the N is very small, we will show that it could explain the Big Bang and Hubble's law, Dark Energy, and tentatively also flavor and neutrino oscillation.


title: Geometric tangential analysis and sharp regularity for degenerate pdes

abstract: We provide a broad overview on qualitative versus quantitative regularity estimates in the theory of degenerate parabolic pdes. The former relates to DiBenedetto's revolutionary method of intrinsic scaling, while the latter is achieved by means of what has been termed geometric tangential analysis. We discuss, in particular, sharp estimates for the parabolic p-Poisson equation, for the porous medium equation and for the doubly nonlinear equation.


title: Light with a self-torque: extreme-ultraviolet beams with time-varying orbital angular momentum

abstract: Twisted light fields carrying orbital angular momentum (OAM) provide powerful capabilities for applications in optical communications, microscopy, quantum optics and microparticle rotation. Here we introduce and experimentally validate a new class of light beams, whose unique property is associated with a temporal OAM variation along a pulse: the self-torque of light. Self-torque is a phenomenon that can arise from matter-field interactions in electrodynamics and general relativity, but to date, there has been no optical analog. In particular, the self-torque of light is an inherent property, which is distinguished from the mechanical torque exerted by OAM beams when interacting with physical systems. We demonstrate that self-torqued beams in the extreme-ultraviolet (EUV) naturally arise as a necessary consequence of angular momentum conservation in non-perturbative high-order harmonic generation when driven by time-delayed pulses with different OAM. In addition, the time-dependent OAM naturally induces an azimuthal frequency chirp, which provides a signature for monitoring the self-torque of high-harmonic EUV beams. Such self-torqued EUV beams can serve as unique tools for imaging magnetic and topological excitations, for launching selective excitation of quantum matter, and for manipulating molecules and nanostructures on unprecedented time and length scales.


title: Results from EDGES High-Band: III. New Constraints on Parameters of the Early Universe

abstract: We present new constraints on parameters of cosmic dawn and the epoch of reionization derived from the EDGES High-Band spectrum ($90-190$ MHz). The parameters are probed by evaluating global $21$ cm signals generated with the recently developed Global21cm tool. This tool uses neural networks trained and tested on $\sim 30,000$ spectra produced with semi-numerical simulations that assume the standard thermal evolution of the cosmic microwave background and the intergalactic medium. From our analysis, we constrain at $68\%$ (1) the minimum virial circular velocity of star-forming halos to $V_{\rm c}<19.3$ km s$^{-1}$, (2) the X-ray heating efficiency of early sources to $f_{\rm X}>0.0042$, and (3) the low-energy cutoff of the X-ray spectral energy distribution to $\nu_{\rm min}<2.3$ keV. We also constrain the star-formation efficiency ($f_*$), the electron scattering optical depth ($\tau_{\rm e}$), and the mean-free path of ionizing photons ($R_{\rm mfp}$). We re-compute the constraints after incorporating into the analysis four estimates for the neutral hydrogen fraction from high-$z$ quasars and galaxies, and a prior on $\tau_{\rm e}$ from Planck $2018$. The largest impact of the external observations is on the parameters that most directly characterize reionization. Specifically, we derive the combined $68\%$ constraints $\tau_{\rm e}<0.063$ and $R_{\rm mfp}>27.5$ Mpc. The external observations also have a significant effect on $V_{\rm c}$ due to its degeneracy with $\tau_{\rm e}$, while the constraints on $f_*$, $f_{\rm X}$, and $\nu_{\rm min}$, remain primarily determined by EDGES.


title: Effective estimates on the top Lyapunov exponent for random matrix products

abstract: We study the top Lyapunov exponents of random products of positive $2 \times 2$ matrices and obtain an efficient algorithm for its computation. As in the earlier work of Pollicott, the algorithm is based on the Fredholm theory of determinants of trace-class linear operators. In this article we obtain a simpler expression for the approximations which only require calculation of the eigenvalues of finite matrix products and not the eigenvectors. Moreover, we obtain effective bounds on the error term in terms of two explicit constants: a constant which describes how far the set of matrices are from all being column stochastic, and a constant which measures the minimal amount of projective contraction of the positive quadrant under the action of the matrices.


title: Infinitesimal and Infinite Numbers as an Approach to Quantum Mechanics

abstract: Non-Archimedean mathematics is an approach based on fields which contain infinitesimal and infinite elements. Within this approach, we construct a space of a particular class of generalized functions, ultrafunctions. The space of ultrafunctions can be used as a richer framework for a description of a physical system in quantum mechanics. In this paper, we provide a discussion of the space of ultrafunctions and its advantages in the applications of quantum mechanics, particularly for the Schr\"{o}dinger equation for a Hamiltonian with the delta function potential.


title: NAOMI: Non-Autoregressive Multiresolution Sequence Imputation

abstract: Missing value imputation is a fundamental problem in spatiotemporal modeling, from motion tracking to the dynamics of physical systems. Deep autoregressive models suffer from error propagation which becomes catastrophic for imputing long-range sequences. In this paper, we take a non-autoregressive approach and propose a novel deep generative model: Non-AutOregressive Multiresolution Imputation (NAOMI) to impute long-range sequences given arbitrary missing patterns. NAOMI exploits the multiresolution structure of spatiotemporal data and decodes recursively from coarse to fine-grained resolutions using a divide-and-conquer strategy. We further enhance our model with adversarial training. When evaluated extensively on benchmark datasets from systems of both deterministic and stochastic dynamics. NAOMI demonstrates significant improvement in imputation accuracy (reducing average prediction error by 60% compared to autoregressive counterparts) and generalization for long range sequences.


title: Galaxy clusters and a possible variation of the fine structure constant

abstract: Galaxy clusters have been used as a cosmic laboratory to verify a possible time variation of fundamental constants. Particularly, it has been shown that the ratio $Y_{SZ}D_{A}^{2}/C_{XZS}Y_X $, which is expected to be constant with redshift, can be used to probe a variation of the fine structure constant, $\alpha$. In this ratio, $Y_{SZ}D_{A}^{2}$ is the integrated comptonization parameter of a galaxy cluster obtained via Sunyaev-Zel'dovich (SZ) effect observations multiplied by its angular diameter distance, $D_A$, $Y_X$ is the X-ray counterpart and $C_{XSZ}$ is an arbitrary constant. Using a combination of SZ and X-ray data, a recent analysis found $Y_{SZ}D_{A}^{2}/C_{XZS}Y_X = {\rm{C}} \alpha(z)^{3.5}$, where ${\rm{C}}$ is a constant. In this paper, following previous results that suggest that a variation of $\alpha$ necessarily leads to a violation of the cosmic distance duality relation, $D_L/D_A(1+z)^2 = 1$, where $D_L$ is the luminosity distance of a given source, we derive a new expression, $Y_{SZ}D_{A}^{2}/C_{XSZ}Y_X = {\rm{C}} \alpha^{3.5} \eta^{-1}(z)$, where $\eta(z) = D_L/D_A(1+z)^2$. In particular, considering the direct relation $\eta(z) \propto \alpha(z)^{1/2}$, derived from a class of dilaton runaway models, %class of modified gravity theories, and 61 measurements of the ratio $Y_{SZ}D_{A}^{2}/C_{XSZ}Y_X$ provided by the Planck collaboration, we discuss bounds on a possible variation of $\alpha$. We also estimate the value of the constant $ {\rm{C}}$, which is compatible with the unity at $2\sigma$ level, indicating that the assumption of isothermality for the temperature profile of the galaxy clusters used in the analysis holds.


title: Classifier Suites for Insider Threat Detection

abstract: Better methods to detect insider threats need new anticipatory analytics to capture risky behavior prior to losing data. In search of the best overall classifier, this work empirically scores 88 machine learning algorithms in 16 major families. We extract risk features from the large CERT dataset, which blends real network behavior with individual threat narratives. We discover the predictive importance of measuring employee sentiment. Among major classifier families tested on CERT, the random forest algorithms offer the best choice, with different implementations scoring over 98% accurate. In contrast to more obscure or black-box alternatives, random forests are ensembles of many decision trees and thus offer a deep but human-readable set of detection rules (>2000 rules). We address performance rankings by penalizing long execution times against higher median accuracies using cross-fold validation. We address the relative rarity of threats as a case of low signal-to-noise (< 0.02% malicious to benign activities), and then train on both under-sampled and over-sampled data which is statistically balanced to identify nefarious actors.


title: Grayscale-to-color: Single-step fabrication of bespoke multispectral filter arrays

abstract: Conventional cameras, such as in smartphones, capture wideband red, green and blue (RGB) spectral components, replicating human vision. Multispectral imaging (MSI) captures spatial and spectral information beyond our vision but typically requires bulky optical components and is expensive. Snapshot multispectral image sensors have been proposed as a key enabler for a plethora of MSI applications, from diagnostic medical imaging to remote sensing. To achieve low-cost and compact designs, spatially variant multispectral filter arrays (MSFAs) based on thin-film optical components are deposited atop image sensors. Conventional MSFAs achieve spectral filtering through either multi-layer stacks or pigment, requiring: complex mixtures of materials; additional lithographic steps for each additional wavelength; and large thicknesses to achieve high transmission efficiency. By contrast, we show here for the first time a single-step grayscale lithographic process that enables fabrication of bespoke MSFAs based on the Fabry-Perot resonances of spatially variant metal-insulator-metal (MIM) cavities, where the exposure dose controls insulator (cavity) thickness. We demonstrate customizable MSFAs scalable up to N-wavelength bands spanning the visible and near-infrared with high transmission efficiency (~75%) and narrow linewidths (~50 nm). Using this technique, we achieve multispectral imaging of several spectrally distinct target using our bespoke MIM-MSFAs fitted to a monochrome CMOS image sensor. Our unique framework provides an attractive alternative to conventional MSFA manufacture, by reducing both fabrication complexity and cost of these intricate optical devices, while increasing customizability.


title: Shining a Light on the QGP - Electroweak Probes Experimental Summary

abstract: Objects which are only subject to the electroweak force are an ideal probe of QCD in high density and temperature environments as they carry information about the conditions during their production out of the QGP without interacting with it. Thus they can be used to characterize the initial state as well as several properties of the QGP and its evolution. Within this article the recent results regarding these electroweak probes presented at the 9$^{th}$ Hard Probes Conference (Aix-les-Bains, France, 2018) will be summarized. In particular the following questions will be addressed: Can we determine the necessary energy and particle density for the QGP creation using electromagnetic probes? Can we use light-by-light scattering in heavy-ion collisions to do precision tests of QED and measure the magnetic field of the QGP? How are quark jets modified by the presence of the QGP? What can we learn about the initial state and scaling properties in pp, p(d)-A and A-A collisions from the production of high \pt\ photons, Z$^0$ and W$^\pm$ bosons? In the version provided on arXiv, additional plots are included in the appendix with respect to the version submitted for publication in the journal.


title: Distant Vehicle Detection Using Radar and Vision

abstract: For autonomous vehicles to be able to operate successfully they need to be aware of other vehicles with sufficient time to make safe, stable plans. Given the possible closing speeds between two vehicles, this necessitates the ability to accurately detect distant vehicles. Many current image-based object detectors using convolutional neural networks exhibit excellent performance on existing datasets such as KITTI. However, the performance of these networks falls when detecting small (distant) objects. We demonstrate that incorporating radar data can boost performance in these difficult situations. We also introduce an efficient automated method for training data generation using cameras of different focal lengths.


title: Future heavy-ion facilities: FCC-AA

abstract: The operation of the Future Circular Collider (FCC) with heavy ions would provide Pb-Pb and p-Pb collisions at sqrt{s_NN}= 39 and 63 TeV, respectively, per nucleon-nucleon collision, with projected per-month integrated luminosities of up to 110/nb and 29/pb, respectively. This document outlines the unique and broad physics opportunities with heavy ions at the energy frontier opened by FCC.


title: On the Instability of Saturn's Hypothetical Retrograde Co-orbitals

abstract: We find an interesting fact that fictitious retrograde co-orbitals of Saturn, or small bodies inside the retrograde 1:1 resonance with Saturn, are highly unstable in our numerical simulations. It is shown that in the presence of Jupiter, the retrograde co-orbitals will get ejected from Saturn's co-orbital space within a timescale of 10 Myr. This scenario reminds us of the instability of Saturn Trojans caused by both the Great Inequality and the secular resonances. Therefore, we carry out in-depth inspections on both mechanisms and prove that the retrograde resonance overlap, raised by Great Inequality, cannot serve as an explanation for the instability of retrograde co-orbitals, due to the weakness of the retrograde 2:5 resonance with Jupiter at a low eccentricity. However, we discover that both $\nu_5$ and $\nu_6$ secular resonances contribute to the slow growth of the eccentricity, therefore, are possibly the primary causes of the instability inside Saturn's retrograde co-orbital space.


title: The evolution of DARWIN: current status of wind models for AGB stars

abstract: The slow, dense winds observed in evolved asymptotic giant branch (AGB) stars are usually attributed to a combination of dust formation in the dynamical inner atmosphere and momentum transfer from stellar photons interacting with the newly formed dust particles. Wind models calculated with the DARWIN code, using this mass-loss scenario, have successfully produced outflows with dynamical and photometric properties compatible with observations, for both C-type and M-type AGB stars. Presented here is an overview of the DARWIN models currently available and what output these models produce, as well as future plans.


title: Comparative Study of the Surface Potential of Magnetic and Non-magnetic Spherical Objects in a Magnetized RF Discharge Plasma

abstract: We report measurements of the time-averaged surface floating potential of magnetic and non-magnetic spherical probes (or large dust particles) immersed in a magnetized capacitively coupled discharge. In this study, the size of the spherical probes is taken greater than the Debye length. The surface potential of a spherical probe first increases, i.e. becomes more negative at low magnetic field (B $<$ 0.05 T), attains a maximum value and decreases with further increase of the magnetic field strength (B $>$ 0.05 T). The rate of change of the surface potential in the presence of a B-field mainly depends on the background plasma and types of material of the objects. The results show that the surface potential of the magnetic sphere is higher (more negative) compared to the non-magnetic spherical probe. Hence, the smaller magnetic sphere collects more negative charges on its surface than a bigger non-magnetic sphere in a magnetized plasma. The different sized spherical probes have nearly the same surface potential above a threshold magnetic field (B $>$ 0.03 T), implicating a smaller role of size dependence on the surface potential of spherical objects. The variation of the surface potential of the spherical probes is understood on the basis of a modification of the collection currents to their surface due to charge confinement and cross-field diffusion in the presence of an external magnetic field.


title: The Frobenius morphism in invariant theory II

abstract: Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=Gr(2,n)$ defined over an algebraically closed field $k$ of characteristic $p \geq \max\{n-2,3\}$. In this paper we give a description of the decomposition of $R$, considered as graded $R^{p^r}$-module, for $r \geq 2$. This is a companion paper to our earlier paper, where the case $r=1$ was treated, and taken together, our results imply that $R$ has finite F-representation type (FFRT). Though it is expected that all rings of invariants for reductive groups have FFRT, ours is the first non-trivial example of such a ring for a group which is not linearly reductive. As a corollary, we show that the ring of differential operators $D_k(R)$ is simple, that $\mathbb{G}$ has global finite F-representation type (GFFRT) and that $R$ provides a noncommutative resolution for $R^{p^r}$.


title: Understanding spatial correlation in eye-fixation maps for visual attention in videos

abstract: In this paper, we present an analysis of recorded eye-fixation data from human subjects viewing video sequences. The purpose is to better understand visual attention for videos. Utilizing the eye-fixation data provided in the CRCNS (Collaborative Research in Computational Neuroscience) dataset, this paper focuses on the relation between the saliency of a pixel and that of its direct neighbors, without making any assumption about the structure of the eye-fixation maps. By employing some basic concepts from information theory, the analysis shows substantial correlation between the saliency of a pixel and the saliency of its neighborhood. The analysis also provides insights into the structure and dynamics of the eye-fixation maps, which can be very useful in understanding video saliency and its applications.


title: The influence of Fermi motion on the comparison of the polarization transfer to a proton in elastic $\vec ep$ and quasi-elastic $\vec eA$ scattering

abstract: A comparison between polarization-transfer to a bound proton in quasi-free kinematics by the A$(\vec{e},e'\vec p)$ knockout reaction and that in elastic scattering off a free proton can provide information on the characteristics of the bound proton. In the past the reported measurements have been compared to those of a free proton with zero initial momentum. We introduce, for the first time, expressions for the polarization-transfer components when the proton is initially in motion and compare them to the $^2$H data measured at the Mainz Microtron (MAMI). We show the ratios of the transverse ($P_x$) and longitudinal ($P_z$) components of the polarization transfer in $^2\textrm{H}(\vec{e},e'\vec p)\textrm{n}$, to those of elastic scattering off a "moving proton", assuming the proton's initial (Fermi) momentum equals the negative missing momentum in the measured reaction. We found that the correction due to the proton motion is up to 20\% at high missing momentum. However the effect on the double ratio $\frac{(P_x/P_z)^A}{(P_x/P_z)^{^1\!\textrm{H}}}$ is largely canceled out, as shown for both $^2$H and $^{12}$C data. This implies that the kinematics is not the primary cause for the deviations between quasi-elastic and elastic scattering reported previously.


title: Avoiding instabilities in antisymmetric tensor field driven inflation

abstract: Models of inflation with antisymmetric tensor studied in the past are plagued with ghost instability even in an unperturbed FRW background. We show that it is possible to avoid ghosts in an unperturbed FRW background by considering the most general kinetic term for antisymmetric tensor field. The kinetic part acquires a new gauge symmetry violating term whose effect on perturbed modes is to prevent the appearance of nondynamical modes, and thus avoid ghosts. For completeness, we perform a check for gradient instability and derive the conditions for perturbations to be free of gradient instability.


title: Trends in the extremes of environments associated with severe US thunderstorms

abstract: Severe thunderstorms can have devastating impacts. Concurrently high values of convective available potential energy (CAPE) and storm relative helicity (SRH) are known to be conducive to severe weather, so high values of PROD=$\sqrt{\mathrm{CAPE}} \times$SRH have been used to indicate high risk of severe thunderstorms. We consider the extreme values of these three variables for a large area of the contiguous US over the period 1979-2015, and use extreme-value theory and a multiple testing procedure to show that there is a significant time trend in the extremes for PROD maxima in April, May and August, for CAPE maxima in April, May and June, and for maxima of SRH in April and May. These observed increases in CAPE are also relevant for rainfall extremes and are expected in a warmer climate, but have not previously been reported. Moreover, we show that the El Ni\~no-Southern Oscillation explains variation in the extremes of PROD and SRH in February. Our results suggest that the risk from severe thunderstorms in April and May is increasing in parts of the US where it was already high, and that the risk from storms in February tends to be higher over the main part of the region during La Ni\~na years. Our results differ from those obtained in earlier studies using extreme-value techniques to analyze a quantity similar to PROD.


title: Egyptian multiplication and some of its ramifications

abstract: Multiplication and exponentiation can be defined by equations in which one of the operands is written as the sum of powers of two. When these powers are non-negative integers, the operand is integer; without this restriction it is a fraction. The defining equation can be used in evaluation mode or in solving mode. In the former case we obtain "Egyptian" multiplication, dating from the 17th century BC. In solving mode we obtain an efficient algorithm for division by repeated subtraction, dating from the 20th century AD. In the exponentiation case we also distinguish between evaluation mode and solving mode. Evaluation mode yields a possibly new algorithm for raising to a fractional power. Solving mode yields the algorithm for logarithms invented by Briggs in the 17th century AD.


title: A morphospace of functional configuration to assess configural breadth based on brain functional networks

abstract: The best approach to quantify human brain functional reconfigurations in response to varying cognitive demands remains an unresolved topic in network neuroscience. We propose that such functional reconfigurations may be categorized into three different types: i) Network Configural Breadth, ii) Task-to-Task transitional reconfiguration, and iii) Within-Task reconfiguration. In order to quantify these reconfigurations, we propose a mesoscopic framework focused on functional networks (FNs) or communities. To do so, we introduce a 2D network morphospace that relies on two novel mesoscopic metrics, Trapping Efficiency (TE) and Exit Entropy (EE), which capture topology and integration of information within and between a reference set of FNs. In this study, we use this framework to quantify the Network Configural Breadth across different tasks. We show that the metrics defining this morphospace can differentiate FNs, cognitive tasks and subjects. We also show that network configural breadth significantly predicts behavioral measures, such as episodic memory, verbal episodic memory, fluid intelligence and general intelligence. In essence, we put forth a framework to explore the cognitive space in a comprehensive manner, for each individual separately, and at different levels of granularity. This tool that can also quantify the FN reconfigurations that result from the brain switching between mental states.


title: Testing Continuous Spontaneous Localization with Fermi liquids

abstract: Collapse models describe phenomenologically the quantum-to-classical transition by adding suitable nonlinear and stochastic terms to the Schroedinger equation, thus (slightly) modifying the dynamics of quantum systems. Experimental bounds on the collapse parameters have been derived from various experiments involving a plethora of different systems, from single atoms to gravitational wave detectors. Here, we give a comprehensive treatment of the Continuous Spontaneous Localization (CSL) model, the most studied among collapse models, for Fermi liquids. We consider both the white and non-white noise case. Application to various astrophysical sources is presented.


title: Transfer in Deep Reinforcement Learning Using Successor Features and Generalised Policy Improvement

abstract: The ability to transfer skills across tasks has the potential to scale up reinforcement learning (RL) agents to environments currently out of reach. Recently, a framework based on two ideas, successor features (SFs) and generalised policy improvement (GPI), has been introduced as a principled way of transferring skills. In this paper we extend the SFs & GPI framework in two ways. One of the basic assumptions underlying the original formulation of SFs & GPI is that rewards for all tasks of interest can be computed as linear combinations of a fixed set of features. We relax this constraint and show that the theoretical guarantees supporting the framework can be extended to any set of tasks that only differ in the reward function. Our second contribution is to show that one can use the reward functions themselves as features for future tasks, without any loss of expressiveness, thus removing the need to specify a set of features beforehand. This makes it possible to combine SFs & GPI with deep learning in a more stable way. We empirically verify this claim on a complex 3D environment where observations are images from a first-person perspective. We show that the transfer promoted by SFs & GPI leads to very good policies on unseen tasks almost instantaneously. We also describe how to learn policies specialised to the new tasks in a way that allows them to be added to the agent's set of skills, and thus be reused in the future.


title: Arithmetic behaviour of Hecke eigenvalues of Siegel cusp forms of degree two

abstract: Let $F$ and $G$ be Siegel cusp forms for $\Sp_4(\Z)$ and weights $k_1, k_2$ respectively. Also let $F$ and $G$ be Hecke eigenforms lying in distinct eigen spaces. Further suppose that neither $F$ nor $G$ is a Saito-Kurokawa lift. In this article, we study simultaneous arithmetic behaviour of Hecke eigenvalues of these Hecke eigenforms.


title: A Novel Bulk-Optics Scheme for Quantum Walk with High Phase Stability

abstract: A novel bulk optics scheme for quantum walks is presented. It consists of a one-dimensional lattice built on two concatenated displaced Sagnac interferometers that make it possible to reproduce all the possible trajectories of an optical quantum walk. Because of the closed loop configuration, the interferometric structure is intrinsically stable in phase. Moreover, the lattice structure is highly configurable, as any phase component perceived by the walker is accessible, and finally, all output modes can be measured at any step of the quantum walk evolution. We report here on the experimental implementation of ordered and disordered quantum walks.


title: Recovering the characteristic functions of the Sturm-Liouville differential operators with singular potentials on star-type graph with cycle

abstract: We consider Sturm-Liouville operators with singular potentials from the class on star-type graph with cycle, which consist the edges with commensurable lengths. Asymptotic representation for eigenvalues for such operators is obtained. Recovering of the characteristic function the Sturm-Liouville operators with the singular potentials is considered.


title: Bootstrapping Robotic Ecological Perception from a Limited Set of Hypotheses Through Interactive Perception

abstract: To solve its task, a robot needs to have the ability to interpret its perceptions. In vision, this interpretation is particularly difficult and relies on the understanding of the structure of the scene, at least to the extent of its task and sensorimotor abilities. A robot with the ability to build and adapt this interpretation process according to its own tasks and capabilities would push away the limits of what robots can achieve in a non controlled environment. A solution is to provide the robot with processes to build such representations that are not specific to an environment or a situation. A lot of works focus on objects segmentation, recognition and manipulation. Defining an object solely on the basis of its visual appearance is challenging given the wide range of possible objects and environments. Therefore, current works make simplifying assumptions about the structure of a scene. Such assumptions reduce the adaptivity of the object extraction process to the environments in which the assumption holds. To limit such assumptions, we introduce an exploration method aimed at identifying moveable elements in a scene without considering the concept of object. By using the interactive perception framework, we aim at bootstrapping the acquisition process of a representation of the environment with a minimum of context specific assumptions. The robotic system builds a perceptual map called relevance map which indicates the moveable parts of the current scene. A classifier is trained online to predict the category of each region (moveable or non-moveable). It is also used to select a region with which to interact, with the goal of minimizing the uncertainty of the classification. A specific classifier is introduced to fit these needs: the collaborative mixture models classifier. The method is tested on a set of scenarios of increasing complexity, using both simulations and a PR2 robot.


title: Tunneling through bridges: Bohmian non-locality from higher-derivative gravity

abstract: A classical origin for the Bohmian quantum potential, as that potential term arises in the quantum mechanical treatment of black holes and Einstein-Rosen (ER) bridges, can be based on 4th-order extensions of Einstein's equations. The required 4th-order extension of general relativity is given by adding quadratic curvature terms with coefficients that maintain a fixed ratio, as their magnitudes approach zero, with classical general relativity as a singular limit. If entangled particles are connected by a Planck-width ER bridge, as conjectured by Maldacena and Susskind, then a connection by a traversable Planck-scale wormhole, allowed in 4th-order gravity, describes such entanglement in the ontological interpretation. It is hypothesized that higher-derivative gravity can account for the nonlocal part of the quantum potential generally.


title: Modelling the Effect of Mass-Draining on Prominence Eruptions

abstract: Quiescent solar prominences are observed to exist within the solar atmosphere for up to several solar rotations. Their eruption is commonly preceded by a slow increase in height that can last from hours to days. This increase in the prominence height is believed to be due to their host magnetic flux rope transitioning through a series of neighbouring quasi-equilibria before the main loss-of-equilibrium that drives the eruption. Recent work suggests that the removal of prominence mass from a stable, quiescent flux rope is one possible cause for this change in height. However, these conclusions are drawn from observations and are subject to interpretation. Here we present a simple model to quantify the effect of "mass-draining" during the pre-eruptive height-evolution of a solar flux rope. The flux rope is modeled as a line current suspended within a background potential magnetic field. We first show that the inclusion of mass, up to $10^{12}$~kg, can modify the height at which the line current experiences loss-of-equilibrium by up to 14\%. Next, we show that the rapid removal of mass prior to the loss-of-equilibrium can allow the height of the flux rope to increase sharply and without upper bound as it approaches its loss-of-equilibrium point. This indicates that the critical height for the loss-of-equilibrium can occur at a range of heights depending explicitly on the amount and evolution of mass within the flux rope. Finally, we demonstrate that for the same amount of drained mass, the effect on the height of the flux rope is up to two order of magnitude larger for quiescent than for active region prominences.


title: Machine-learning of atomic-scale properties based on physical principles

abstract: We briefly summarize the kernel regression approach, as used recently in materials modelling, to fitting functions, particularly potential energy surfaces, and highlight how the linear algebra framework can be used to both predict and train from linear functionals of the potential energy, such as the total energy and atomic forces. We then give a detailed account of the Smooth Overlap of Atomic Positions (SOAP) representation and kernel, showing how it arises from an abstract representation of smooth atomic densities, and how it is related to several popular density-based representations of atomic structure. We also discuss recent generalisations that allow fine control of correlations between different atomic species, prediction and fitting of tensorial properties, and also how to construct structural kernels---applicable to comparing entire molecules or periodic systems---that go beyond an additive combination of local environments.


title: On 2-knots and connected sums with projective planes

abstract: In this paper, we generalize a result of Satoh to show that for any odd natural $n$, the connected sum of the $n$-twist spun sphere of a knot $K$ and an unknotted projective plane in the 4-sphere is equivalent to the same unknotted projective plane. We additionally provide a fix to a small error in Satoh's proof of the case that $K$ is a 2-bridge knot.


title: The finite volume method on a Schwarzschild background

abstract: We introduce a class of nonlinear hyperbolic conservation laws on a Schwarzschild black hole background and derive several properties satisfied by (possibly weak) solutions. Next, we formulate a numerical approximation scheme which is based on the finite volume methodology and takes the curved geometry into account. An interesting feature of our model is that no boundary conditions is required at the black hole horizon boundary. We establish that this scheme converges to an entropy weak solution to the initial value problem and, in turn, our analysis also provides us with a theory of existence and stability for a new class of conservation laws.


title: The range of all regularities for polynomial ideals with a given Hilbert function

abstract: Given the Hilbert function $u$ of a closed subscheme of a projective space over an infinite field $K$, let $m_u$ and $M_u$ be, respectively, the minimum and the maximum among all the Castelnuovo-Mumford regularities of schemes with Hilbert function $u$. I show that, for every integer $m$ such that $m_u \leq m \leq M_u$, there exists a scheme with Hilbert function $u$ and Castelnuovo-Mumford regularity $m$. As a consequence, the analogous algebraic result for an O-sequence $f$ and homogeneous polynomial ideals over $K$ with Hilbert function $f$ holds too. Although this result does not need any explicit computation, I also describe how to compute a scheme with the above requested properties. Precisely, I give a method to construct a strongly stable ideal defining such a scheme.


title: CoreNEURON : An Optimized Compute Engine for the NEURON Simulator

abstract: The NEURON simulator has been developed over the past three decades and is widely used by neuroscientists to model the electrical activity of neuronal networks. Large network simulation projects using NEURON have supercomputer allocations that individually measure in the millions of core hours. Supercomputer centers are transitioning to next generation architectures and the work accomplished per core hour for these simulations could be improved by an order of magnitude if NEURON was able to better utilize those new hardware capabilities. In order to adapt NEURON to evolving computer architectures, the compute engine of the NEURON simulator has been extracted and has been optimized as a library called CoreNEURON. This paper presents the design, implementation and optimizations of CoreNEURON. We describe how CoreNEURON can be used as a library with NEURON and then compare performance of different network models on multiple architectures including IBM BlueGene/Q, Intel Skylake, Intel MIC and NVIDIA GPU. We show how CoreNEURON can simulate existing NEURON network models with 4-7x less memory usage and 2-7x less execution time while maintaining binary result compatibility with NEURON.


title: Electronic Transport and Thermopower in 2D and 3D Heterostructures--A Theory Perspective

abstract: In this review, we discuss the impact of interfaces and heterojuctions on the electronic and thermoelectric transport properties of materials. We review recent progress in understanding electronic transport in two-dimensional (2D) materials ranging from graphene to transition metal dichalcogenides (TMDs), their homojunctions (grain boundaries), lateral heterojunctions (such as graphene/MoS$_2$ lateral interfaces), and vertical van der Waals (vdW) heterostructures. We also review work in thermoelectric properties of 2D heterojunctions, as well as their applications in creating devices such as resonant tunneling diodes (RTDs). Lastly, we turn our focus to work in three-dimensional (3D) heterostructures. While transport in 3D heterostructures has been researched for several decades, here we review recent progress in theory and simulation of quantum effects on transport via the Wigner and non-equilibrium Green's functions (NEGF) approaches. These simulation techniques have been successfully applied toward understanding the impact of heterojunctions on the thermoelectric properties, with applications in energy harvesting, and electron resonant tunneling, with applications in RTDs. We conclude that tremendous progress has been made in both simulation and experiments toward the goal of understanding transport in heterostructures and this progress will soon be parlayed into improved energy converters and quantum nanoelectronic devices.


title: The Core Design of a Small Modular Pressurised Water Reactor for Commercial Marine Propulsion

abstract: If international agreements regarding the need to significantly reduce greenhouse gas emissions are to be met then there is a high probability that the shipping industry will have to dramatically reduce its greenhouse gas emissions. For emission reductions from ships greater than around 40\% then alternatives to fossil fuels - such as nuclear energy - will very likely be required. A Small Modular Pressurised Water Reactor design has been developed specifically to meet the requirements of a large container ship with a power requirement of 110~MWe. Container ships have a number of requirements - including a small crew size and reduced outages associated with refuelling - that result in a greater focus on design simplifications, including the elimination of the chemical reactivity control system during power operation and a long core life. We have developed a novel, soluble-boron free, low power density core that does not require refuelling for 15 years. The neutronic and fuel performance behaviour of this system has been studied with conventional UO2 fuel. The size of the pressure vessel has been limited to 3.5 metres in diameter. Furthermore, to ensure the survivability of the cladding material, the coolant outlet temperature has been reduced to 285degC from 320degC as in conventional GWe-class PWRs, with a resulting reduction in thermal efficiency to 25%. The UO2 core design was able to satisfactorily meet the majority of requirements placed upon the system assuming that fuel rod burnups can be limited to 100 GWd/tHM. The core developed here represents the first workable design of a commercial marine reactor using conventional fuel, which makes realistic the idea of using nuclear reactors for shipping.


title: Beyond the clustering coefficient: A topological analysis of node neighbourhoods in complex networks

abstract: In Network Science node neighbourhoods, also called ego-centered networks have attracted large attention. In particular the clustering coefficient has been extensively used to measure their local cohesiveness. In this paper, we show how, given two nodes with the same clustering coefficient, the topology of their neighbourhoods can be significantly different, which demonstrates the need to go beyond this simple characterization. We perform a large scale statistical analysis of the topology of node neighbourhoods of real networks by first constructing their clique complexes, and then computing their Betti numbers. We are able to show significant differences between the topology of node neighbourhoods of real networks and the stochastic topology of null models of random simplicial complexes revealing local organisation principles of the node neighbourhoods. Moreover we observe that a large scale statistical analysis of the topological properties of node neighbourhoods is able to clearly discriminate between power-law networks, and planar road networks.


title: On checkable codes in group algebras

abstract: We classify, in terms of the structure of the finite group G, all group algebras KG for which all right ideals are right annihilators of principal left ideals. This means in the language of coding theory that we classify code-checkable group algebras KG which have been considered so far only for abelian groups G. Optimality of checkable codes and asymptotic results are discussed.


title: Meeting the Scaling Challenge for Post-Silicon Nanoelectronics using CaF2 Insulators

abstract: Two-dimensional (2D) semiconductors have been suggested both for ultimately-scaled field-effect transistors (FETs) and More-than-Moore nanoelectronics. However, these targets can not be reached without accompanying gate insulators which are scalable into the nanometer regime. Despite the considerable progress in the search for channel materials with high mobilities and decent bandgaps, finding high-quality insulators compatible with 2D technologies has remained a challenge. Typically used oxides (e.g. SiO2, Al2O3 and HfO2) are amorphous when scaled, while two-dimensional hBN exhibits excessive gate leakages. To overcome this bottleneck, we extend the natural stacking properties of 2D heterostructures to epitaxial fluorite (CaF2), which forms a quasi van der Waals interface with 2D semiconductors. We report scalable single-layer MoS2 FETs with a crystalline CaF2 insulator of about 2 nm thickness, which corresponds to an equivalent oxide thickness of less than 1 nm. While meeting the stringent requirements of low leakage currents, our devices exhibit highly competitive performance and record-small hysteresis. As such, our results present a breakthrough for very large scale integration towards commercially competitive nano-electronic devices.


title: Detecting Axion-like Dark Matter with Linearly Polarized Pulsar Light

abstract: Non-relativistic QCD axions or axion-like particles are among the most popular candidates for cold Dark Matter (DM) in the universe. We proposed to detect axion-like DM, using linearly polarized pulsar light as a probe. Because of birefringence effect potentially caused by an oscillating galactic axion DM background, when pulsar light travels across the galaxy, its linear polarization angle may vary with time. With a soliton+NFW galactic DM density profile, we show that this strategy can potentially probe an axion-photon coupling as small as $\sim 10^{-13}$ GeV$^{-1}$ for axion mass $m_a \sim 10^{-22}-10^{-20}$ eV, given the current measurement accuracy. An exclusion limit stronger than CAST ($ \sim 10^{-10}$ GeV$^{-1}$) and SN1987A ($ \sim 10^{-11}$ GeV$^{-1}$) could be extended up to $m_a \sim 10^{-18}$ eV and $\sim 10^{-19}$ eV, respectively.


title: A QUBO Model for Gaussian Process Variance Reduction

abstract: Gaussian Processes are used in many applications to model spatial phenomena. Within this context, a key issue is to decide the set of locations where to take measurements so as to obtain a better approximation of the underlying function. Current state of the art techniques select such set to minimize the posterior variance of the Gaussian process. We explore the feasibility of solving this problem by proposing a novel Quadratic Unconstrained Binary Optimization (QUBO) model. In recent years this QUBO formulation has gained increasing attention since it represents the input for the specialized quantum annealer D-Wave machines. Hence, our contribution takes an important first step towards the sampling optimization of Gaussian processes in the context of quantum computation. Results of our empirical evaluation shows that the optimum of the QUBO objective function we derived represents a good solution for the above mentioned problem. In fact we are able to obtain comparable and in some cases better results than the widely used submodular technique.


title: Identifying the 3FHL catalog: CTIO results

abstract: Active galactic Nuclei (AGNs) with their relativistic jets pointed towards the observer, form a subclass of luminous gamma-ray sources commonly known as blazars. The study of blazars is essential to improve our understanding on the AGNs emission mechanisms and evolution, as well as to map the extragalactic background light. To do so, however, one needs to correctly classify and measure a redshift for a large sample of these sources. The Third {\it Fermi}--LAT Catalog of High-Energy Sources (3FHL) contains $\approx1160$ blazars reported at energies greater than $10$\,GeV. However $\sim$25\% of these sources are unclassified and $\sim$50\% lack of redshift information. To increase the spectral completeness of the 3FHL catalog, we are working on an optical spectroscopic follow up campaign using 4--m and 8--m telescopes. In this paper, we present the results of the second part of this campaign, where we observed 23 blazars using the 4\,$m$ telescope at CTIO in Chile. We report all the 23 sources to be classified as BL Lacs, a confirmed redshift measurement for 3 sources, a redshift lower limit for 2 sources and a tentative redshift measurement for 3 sources.


title: Critical states in Political Trends. How much reliable is a poll on Twitter? A study by means of the Potts Model

abstract: In recent years, Twitter data related to political trends have tentatively been used to make predictions (poll) about several electoral events. Given $q$ candidates for an election and a time-series of Twitts (short messages), one can extract the $q$ mean trends and the $q(q+1)/2$ Twitt-to-Twitt correlations, and look for the statistical models that reproduce these data. On the base of several electoral events and assuming a stationary regime, we find out the following: i) the maximization of the entropy singles out a microscopic model (single-Twitt-level) that coincides with a $q$-state Potts model having suitable couplings and external fields to be determined via an inverse problem from the two sets of data; ii) correlations decay as $1/N_{eff}$, where $N_{eff}$ is a small fraction of the mean number of Twitts; iii) the simplest statistical models that reproduce these correlations are the multinomial distribution (MD), characterized by $q$ external fields, and the mean-field Potts model (MFP), characterized by one coupling; iv) remarkably, this coupling turns out to be always close to its critical value. This results in a MD or MFP model scenario that discriminates between cases in which polls are reliable and not reliable, respectively. More precisely, predictions based on polls should be avoided whenever the data maps to a MFP because anomalous large fluctuations (if $q=2$) or sudden jumps (if $q\geq 3$) in the trends might take place as a result of a second-order or a first-order phase transition of the MFP, respectively.


title: Continuous-Variable Tomography of Solitary Electrons

abstract: A method for characterising the wave-function of freely-propagating particles would provide a useful tool for developing quantum-information technologies with single electronic excitations. Previous continuous-variable quantum tomography techniques developed to analyse electronic excitations in the energy-time domain have been limited to energies close to the Fermi level. We show that a wideband tomography of single-particle distributions is possible using energy-time filtering and that the Wigner representation of the mixed-state density matrix can be reconstructed for solitary electrons emitted by an on-demand single-electron source. These are highly localised distributions, isolated from the Fermi sea. While we cannot resolve the pure state Wigner function of our excitations due to classical fluctuations, we can partially resolve the chirp and squeezing of the Wigner function imposed by emission conditions and quantify the quantumness of the source. This tomography scheme, when implemented with sufficient experimental resolution, will enable quantum-limited measurements, providing information on electron coherence and entanglement at the individual particle level.


title: Soft gravitational radiation from ultra-relativistic collisions at sub- and sub-sub-leading order

abstract: Using soft-graviton theorems a well-known zero-frequency limit (ZFL) for the gravitational radiation flux $dE^{GW}/d \omega$ is re-derived and extended to order ${{\cal O}}(\omega)$ and ${{\cal O}}(\omega^2)$ for arbitrary massless multi-particle collisions. The (angle-integrated, unpolarized) ${{\cal O}}(\omega)$ correction to the flux turns out to be absent in the case of two-particle elastic collisions. The ${{\cal O}}(\omega^2)$ correction is instead non-vanishing and takes a simple general expression which is then applied to bremsstrahlung from two-particle elastic collisions. For a tree-level process the outcome is finite and consistent with expectations. Instead, if the tree-level form of the soft theorems is used at sub-sub-leading order even when the elastic amplitude needs an all-loop (eikonal) resummation, an unphysical infrared singularity occurs. Its origin can be traced to the infinite Coulomb phase of gravitational scattering in four dimensions. We briefly discuss how to get rid, in principle, of the unwanted divergences and indicate --without carrying out-- a possible procedure to find the proper correction to the naive soft theorems. Nevertheless, if a simple recipe recently proposed for handling these divergences is adopted, we find surprisingly good agreement with results obtained independently via the eikonal approach to transplanckian-energy scattering at large (small) impact parameter (deflection angle), where such Coulomb divergences explicitly cancel out.


title: The cometrizability of generalized metric spaces

abstract: A topological space $X$ is cometrizable if it admits a weaker metrizable topology such that each point $x\in X$ has a (not necessarily open) neighborhood base consisting of metrically closed sets. We study the relation of cometrizable spaces to other generalized metric spaces and prove that all $\mathsf{as}$-cosmic spaces are cometrizable. Also, we present an example of a regular countable space of weight $\omega_1$, which is not cometrizable. Under $\omega_1=\mathfrak c$ this space contains no infinite compact subsets and hence is $\mathsf{cs}$-cosmic. Under $\omega_1<\mathfrak p$ this countable space is Fr\'echet-Urysohn and is not $\mathsf{cs}$-cosmic.


title: Propagation of Spin Waves Through an Interface Between Ferromagnetic and Antiferromagnetic Materials

abstract: Boundary conditions for order parameters at an interface between ferromagnetic (FM) and two-sublattice antiferromagnetic (AFM) materials were obtained in the continuous medium approximation similarly to the approach which allows one to take into account the finite thickness of the FM/FM interface, which is much less than spin wave length. Three order parameters are considered inside an interface of finite thickness with the magnetization $\mathbf{\text{M}}$ of FM, magnetizations of both sublattices $\mathbf{\text{M}}_{1}$ and $\mathbf{\text{M}}_{2}$ of AFM. The uniform and non-uniform exchange between all order parameters are taken into account to the interface energy. Using these boundary conditions, the excitation of a surface evanescent spin wave is considered in AFM when the spin wave in FM falls onto this interface. The coefficients and the phases of transmission and reflection of spin wave through the FM/AFM interface are derived.


title: Equilibrium Asset Pricing with Transaction Costs

abstract: We study risk-sharing economies where heterogenous agents trade subject to quadratic transaction costs. The corresponding equilibrium asset prices and trading strategies are characterised by a system of nonlinear, fully-coupled forward-backward stochastic differential equations. We show that a unique solution generally exists provided that the agents' preferences are sufficiently similar. In a benchmark specification with linear state dynamics, the illiquidity discounts and liquidity premia observed empirically correspond to a positive relationship between transaction costs and volatility.


title: A new approach to stochastic acceleration of electrons in colliding laser fields

abstract: The mechanism of stochastic electron acceleration in colliding laser waves is investigated by employing proper canonical variables and effective time, such that the new Hamiltonian becomes time independent when the perturbative (weaker) laser wave is absent. The performed analytical analysis clearly reveals the physical picture of stochastic electron dynamics. It shows that when the amplitude of the perturbative laser field exceeds some critical value, stochastic electron acceleration occurs within some electron energy range. The conditions, at which the maximum electron energy gained under stochastic acceleration is greatly exceeding the ponderomotive energy scaling based on the amplitude of the dominant laser, are derived.


title: Tensor Robust Principal Component Analysis: Better recovery with atomic norm regularization

abstract: This paper studies tensor-based Robust Principal Component Analysis (RPCA) using atomic-norm regularization. Given the superposition of a sparse and a low-rank tensor, we present conditions under which it is possible to exactly recover the sparse and low-rank components. Our results improve on existing performance guarantees for tensor-RPCA, including those for matrix RPCA. Our guarantees also show that atomic-norm regularization provides better recovery for tensor-structured data sets than other approaches based on matricization. In addition to these performance guarantees, we study a nonconvex formulation of the tensor atomic-norm and identify a class of local minima of this nonconvex program that are globally optimal. We demonstrate the strong performance of our approach in numerical experiments, where we show that our nonconvex model reliably recovers tensors with ranks larger than all of their side lengths, significantly outperforming other algorithms that require matricization.


title: Broadband microwave spectroscopy of semiconductor nanowire-based Cooper-pair transistors

abstract: The Cooper-pair transistor (CPT), a small superconducting island enclosed between two Josephson weak links, is the atomic building block of various superconducting quantum circuits. Utilizing gate-tunable semiconductor channels as weak links, the energy scale associated with the Josephson tunneling can be changed with respect to the charging energy of the island, tuning the extent of its charge fluctuations. Here, we directly demonstrate this control by mapping the energy level structure of a CPT made of an indium arsenide nanowire (NW) with a superconducting aluminum shell. We extract the device parameters based on the exhaustive modeling of the quantum dynamics of the phase-biased nanowire CPT and directly measure the even-odd parity occupation ratio as a function of the device temperature, relevant for superconducting and prospective topological qubits.


title: Subsystem Trace Distance in Quantum Field Theory

abstract: We develop a systematic method to calculate the trace distance between two reduced density matrices in 1+1 dimensional quantum field theories. The approach exploits the path integral representation of the reduced density matrices and an ad hoc replica trick. We then extensively apply this method to the calculation of the distance between reduced density matrices of one interval of length $\ell$ in eigenstates of conformal field theories. When the interval is short, using the operator product expansion of twist operators, we obtain a universal form for the leading order in $\ell$ of the trace distance. We compute the trace distances among the reduced density matrices of several low lying states in two-dimensional free massless boson and fermion theories. We compare our analytic conformal results with numerical calculations in XX and Ising spin chains finding perfect agreement.


title: Magnetic sensitivity in the wing scattering polarization signals of the hydrogen Lyman-alpha line of the solar disk radiation

abstract: The linear polarization produced by scattering processes in the hydrogen Lyman alpha line of the solar disk radiation is a key observable for probing the chromosphere-corona transition region (TR) and the underlying chromospheric plasma. While the line-center signal encodes information on the magnetic field and three-dimensional structure of the TR, the sizable scattering polarization signals that the joint action of partial frequency redistribution (PRD) and J-state interference produce in the Lyman alpha wings have generally been thought to be sensitive only to the thermal structure of the solar atmosphere. Here we show that the wings of the Q/I and U/I scattering polarization profiles of this line are actually sensitive to the presence of chromospheric magnetic fields, with strengths similar to those that produce the Hanle effect in the line core (i.e., between 5 and 100 gauss, approximately). In spite of the fact that the Zeeman splitting induced by such weak fields is very small compared to the total width of the line, the magneto-optical effects that couple the transfer equations for Stokes Q and U are actually able to produce sizable changes in the Q/I and U/I wings. The theoretical results presented here further expand the diagnostic content of the unprecedented spectropolarimetric observations provided by the Chromospheric Lyman-Alpha Spectropolarimeter (CLASP).


title: Go-Explore: a New Approach for Hard-Exploration Problems

abstract: A grand challenge in reinforcement learning is intelligent exploration, especially when rewards are sparse or deceptive. Two Atari games serve as benchmarks for such hard-exploration domains: Montezuma's Revenge and Pitfall. On both games, current RL algorithms perform poorly, even those with intrinsic motivation, which is the dominant method to improve performance on hard-exploration domains. To address this shortfall, we introduce a new algorithm called Go-Explore. It exploits the following principles: (1) remember previously visited states, (2) first return to a promising state (without exploration), then explore from it, and (3) solve simulated environments through any available means (including by introducing determinism), then robustify via imitation learning. The combined effect of these principles is a dramatic performance improvement on hard-exploration problems. On Montezuma's Revenge, Go-Explore scores a mean of over 43k points, almost 4 times the previous state of the art. Go-Explore can also harness human-provided domain knowledge and, when augmented with it, scores a mean of over 650k points on Montezuma's Revenge. Its max performance of nearly 18 million surpasses the human world record, meeting even the strictest definition of "superhuman" performance. On Pitfall, Go-Explore with domain knowledge is the first algorithm to score above zero. Its mean score of almost 60k points exceeds expert human performance. Because Go-Explore produces high-performing demonstrations automatically and cheaply, it also outperforms imitation learning work where humans provide solution demonstrations. Go-Explore opens up many new research directions into improving it and weaving its insights into current RL algorithms. It may also enable progress on previously unsolvable hard-exploration problems in many domains, especially those that harness a simulator during training (e.g. robotics).


title: Knot quandle decompositions

abstract: We show that the fundamental quandle defines a functor from the oriented tangle category to a suitably defined quandle category. Given a tangle decomposition of a link $L$, the fundamental quandle of $L$ may be obtained from the fundamental quandles of tangles. We apply this result to derive a presentation of the fundamental quandle of periodic links, composite knots and satellite knots.


title: Hardware-Guided Symbiotic Training for Compact, Accurate, yet Execution-Efficient LSTM

abstract: Many long short-term memory (LSTM) applications need fast yet compact models. Neural network compression approaches, such as the grow-and-prune paradigm, have proved to be promising for cutting down network complexity by skipping insignificant weights. However, current compression strategies are mostly hardware-agnostic and network complexity reduction does not always translate into execution efficiency. In this work, we propose a hardware-guided symbiotic training methodology for compact, accurate, yet execution-efficient inference models. It is based on our observation that hardware may introduce substantial non-monotonic behavior, which we call the latency hysteresis effect, when evaluating network size vs. inference latency. This observation raises question about the mainstream smaller-dimension-is-better compression strategy, which often leads to a sub-optimal model architecture. By leveraging the hardware-impacted hysteresis effect and sparsity, we are able to achieve the symbiosis of model compactness and accuracy with execution efficiency, thus reducing LSTM latency while increasing its accuracy. We have evaluated our algorithms on language modeling and speech recognition applications. Relative to the traditional stacked LSTM architecture obtained for the Penn Treebank dataset, we reduce the number of parameters by 18.0x (30.5x) and measured run-time latency by up to 2.4x (5.2x) on Nvidia GPUs (Intel Xeon CPUs) without any accuracy degradation. For the DeepSpeech2 architecture obtained for the AN4 dataset, we reduce the number of parameters by 7.0x (19.4x), word error rate from 12.9% to 9.9% (10.4%), and measured run-time latency by up to 1.7x (2.4x) on Nvidia GPUs (Intel Xeon CPUs). Thus, our method yields compact, accurate, yet execution-efficient inference models.


title: Visible and infrared photocurrent enhancement in a graphene-silicon Schottky photodetector through surface-states and electric field engineering

abstract: The design of efficient graphene-silicon (GSi) Schottky junction photodetectors requires detailed understanding of the spatial origin of the photoresponse. Scanning-photocurrent-microscopy (SPM) studies have been carried out in the visible wavelengths regions only, in which the response due to silicon is dominant. Here we present comparative SPM studies in the visible ($\lambda$ = 633nm) and infrared ($\lambda$ = 1550nm) wavelength regions for a number of GSi Schottky junction photodetector architectures, revealing the photoresponse mechanisms for silicon and graphene dominated responses, respectively, and demonstrating the influence of electrostatics on the device performance. Local electric field enhancement at the graphene edges leads to a more than ten-fold increased photoresponse compared to the bulk of the graphene-silicon junction. Intentional design and patterning of such graphene edges is demonstrated as an efficient strategy to increase the overall photoresponse of the devices. Complementary simulations and modeling illuminate observed effects and highlight the importance of considering graphene's shape and pattern and device geometry in the device design.


title: New Results about the Boomerang Uniformity of Permutation Polynomials

abstract: In EUROCRYPT 2018, Cid et al. \cite{BCT2018} introduced a new concept on the cryptographic property of S-boxes: Boomerang Connectivity Table (BCT for short) for evaluating the subtleties of boomerang-style attacks. Very recently, BCT and the boomerang uniformity, the maximum value in BCT, were further studied by Boura and Canteaut \cite{BC2018}. Aiming at providing new insights, we show some new results about BCT and the boomerang uniformity of permutations in terms of theory and experiment in this paper. Firstly, we present an equivalent technique to compute BCT and the boomerang uniformity, which seems to be much simpler than the original definition from \cite{BCT2018}. Secondly, thanks to Carlet's idea \cite{Carlet2018}, we give a characterization of functions $f$ from $\mathbb{F}_{2}^n$ to itself with boomerang uniformity $\delta_{f}$ by means of the Walsh transform. Thirdly, by our method, we consider boomerang uniformities of some specific permutations, mainly the ones with low differential uniformity. Finally, we obtain another class of $4$-uniform BCT permutation polynomials over $\mathbb{F}_{2^n}$, which is the first binomial.


title: Determining r- and (r,s)-Robustness of Digraphs Using Mixed Integer Linear Programming

abstract: There has been an increase in the use of resilient control algorithms based on the graph theoretic properties of $r$- and $(r,s)$-robustness. These algorithms guarantee consensus of normally behaving agents in the presence of a bounded number of arbitrarily misbehaving agents if the values of the integers $r$ and $s$ are sufficiently large. However, determining an arbitrary graph's robustness is a highly nontrivial problem. This paper introduces a novel method for determining the $r$- and $(r,s)$-robustness of digraphs using mixed integer linear programming; to the best of the authors' knowledge it is the first time that mixed integer programming methods have been applied to the robustness determination problem. The approach only requires knowledge of the graph Laplacian matrix, and can be formulated with binary integer variables. Mixed integer programming algorithms such as branch-and-bound are used to iteratively tighten the lower and upper bounds on $r$ and $s$. Simulations are presented which compare the performance of this approach to prior robustness determination algorithms.


title: Relations between abundance characteristics and rotation velocity for star-forming MaNGA galaxies

abstract: We derive rotation curves, surface brightness profiles, and oxygen abundance distributions for 147 late-type galaxies using the publicly available spectroscopy obtained by the MaNGA survey. Changes of the central oxygen abundance (O/H)_0, the abundance at the optical radius (O/H)_R25, and the abundance gradient with rotation velocity V_rot are examined for galaxies with rotation velocities from 90 km/s to 350 km/s. We found that each relation shows a break at V_rot^* ~200 km/s. The central (O/H)_0 abundance increases with rising V_rot and the slope of the (O/H)_0 - V_rot relation is steeper for galaxies with V_rot < V_rot^*. The mean scatter of the central abundances around this relation is 0.053 dex. The relation between the abundance at the optical radius of a galaxy and its rotation velocity is similar; the mean scatter in abundances around this relation is 0.081 dex. The radial abundance gradient expressed in dex/kpc flattens with the increase of the rotation velocity. The slope of the relation is very low for galaxies with V_rot > V_rot^*. The abundance gradient expressed in dex/R25 is rougly constant for galaxies with V_rot < V_rot^*, flattens towards V_rot^*, and then again is roughly constant for galaxies with V_rot > V_rot^*. The change of the gradient expressed in terms of dex/h_d (where h_d is the disc scale length) with rotation velocity is similar to that for gradient in dex/R25. The relations between abundance characteristics and other basic parameters (stellar mass, luminosity, and radius) are also considered.


title: Holographic derivation of a class of short range correlation functions

abstract: We construct a class of backgrounds with a warp factor and anti-de Sitter asymptotics, which are dual to boundary systems that have a ground state with a short-range two-point correlation function. The solutions of probe scalar fields on these backgrounds are obtained by means of confluent hypergeometric functions. The explicit analytical expressions of a class of short-range correlation functions on the boundary and the correlation lengths $\xi$ are derived from gravity computation. The two-point function calculated from gravity side is explicitly shown to exponentially decay with respect to separation in the infrared. Such feature inevitably appears in confining gauge theories and certain strongly correlated condensed matter systems.

categories: hep-th cond-mat.str-el gr-qc math-ph math.MP


title: Sliced Inverse Regression: application to fundamental stellar parameters

abstract: We present a method for deriving stellar fundamental parameters. It is based on a regularized sliced inverse regression (RSIR). We first tested it on noisy synthetic spectra of A, F, G, and K-type stars, and inverted simultaneously their atmospheric fundamental parameters: Teff, log g, [M/H] and vsini. Different learning databases were calculated using a range of sampling in Teff, log g, vsini, and [M/H]. Combined with a principal component analysis (PCA) nearest neighbors (NN) search, the size of the learning database is reduced. A Tikhonov regularization is applied, given the ill-conditioning of SIR. For all spectral types, decreasing the size of the learning database allowed us to reach internal accuracies better than PCA-based NN-search using larger learning databases. For each analyzed parameter, we have reached internal errors that are smaller than the sampling step of the parameter. We have also applied the technique to a sample of observed FGK and A stars. For a selection of well studied stars, the inverted parameters are in agreement with the ones derived in previous studies. The RSIR inversion technique, complemented with PCA pre-processing proves to be efficient in estimating stellar parameters of A, F, G, and K stars.


title: Experimental quantum teleportation

abstract: Quantum teleportation -- the transmission and reconstruction over arbitrary distances of the state of a quantum system -- is demonstrated experimentally. During teleportation, an initial photon which carries the polarization that is to be transferred and one of a pair of entangled photons are subjected to a measurement such that the second photon of the entangled pair acquires the polarization of the initial photon. This latter photon can be arbitrarily far away from the initial one. Quantum teleportation will be a critical ingredient for quantum computation networks.


title: Electronic structure of full-shell InAs/Al hybrid semiconductor-superconductor nanowires: Spin-orbit coupling and topological phase space

abstract: We study the electronic structure of full-shell superconductor-semiconductor nanowires, which have recently been proposed for creating Majorana zero modes, using an eight-band $\vec{k} \cdot \vec{p}$ model within a fully self-consistent Schr\"{o}dinger-Poisson scheme. We find that the spin-orbit coupling induced by the intrinsic radial electric field is generically weak for sub-bands with their minimum near the Fermi energy. Furthermore, we show that the chemical potential windows consistent with the emergence of a topological phase are small and sparse and can only be reached by fine tunning the diameter of the wire. These findings suggest that the parameter space consistent with the realization of a topological phase in full-shell InAs/Al nanowires is, at best, very narrow.


title: The Umami Chaplygin Model

abstract: In this work we study in detail a phenomenological generalization of the Chaplygin cosmological model, which we call as \textit{umami} Chaplygin model. We consider three different cosmological background scenarios in which our fluid can play three different roles: only as a dark energy component; as a dark matter and dark energy component; and as a dark plus baryonic matter and dark energy component. With such analysis we explore the possibility to unify the dark fluids under one single component within the context of General Relativity. We test this hypothesis against the main available data related to the cosmological background, namely: Type Ia supernovae; Baryon Acoustic Oscillations; Quasars; Gamma Ray Bursts; Hubble data from cosmic chronometers; and Cosmic Microwave Background. We eventually compare the statistically efficiency and reliability of our model to describe observational data with respect to the standard $\Lambda$CDM model by means of the Bayesian Evidence. Final results point to a positive (albeit not strong) evidence in favor of a possible unification of dark energy and dark matter with a the \textit{umami} fluid.


title: The effects of three magnons interactions in the magnon-density waves of triangular spin lattices

abstract: We investigate the magnon-density waves proposed as the longitudinal excitations in triangular lattice antiferromagnets by including the cubic and quartic corrections in the large-s expansion. The longitudinal excitation spectra for the two-dimensional (2D) triangular antiferromagnetic model and quasi-one dimensional (quasi-1D) antiferromagnetic materials have been obtained for a general quantum spin number $s$. For the 2D triangular lattice model, we find a significant reduction (about 40 %) in the energy spectra at the zone boundaries due to both the cubic and quartic corrections. For the quasi-1D antiferromagnets, since the cubic term comes from the very weak couplings on the hexagonal planes, they make very little correction to the energy spectra, whereas the major correction contribution comes from the quartic terms in the couplings along the chains with the numerical values for the energy gaps in good agreement with the experimental results as reported earlier (Ref.~41).


title: 3D mesh processing using GAMer 2 to enable reaction-diffusion simulations in realistic cellular geometries

abstract: Recent advances in electron microscopy have enabled the imaging of single cells in 3D at nanometer length scale resolutions. An uncharted frontier for in silico biology is the ability to simulate cellular processes using these observed geometries. Enabling such simulations requires watertight meshing of electron micrograph images into 3D volume meshes, which can then form the basis of computer simulations of such processes using numerical techniques such as the Finite Element Method. In this paper, we describe the use of our recently rewritten mesh processing software, GAMer 2, to bridge the gap between poorly conditioned meshes generated from segmented micrographs and boundary marked tetrahedral meshes which are compatible with simulation. We demonstrate the application of a workflow using GAMer 2 to a series of electron micrographs of neuronal dendrite morphology explored at three different length scales and show that the resulting meshes are suitable for finite element simulations. This work is an important step towards making physical simulations of biological processes in realistic geometries routine. Innovations in algorithms to reconstruct and simulate cellular length scale phenomena based on emerging structural data will enable realistic physical models and advance discovery at the interface of geometry and cellular processes. We posit that a new frontier at the intersection of computational technologies and single cell biology is now open.


title: Cryogenic light detectors with enhanced performance for rare events physics

abstract: We have developed and tested a new way of coupling bolometric light detectors to scintillating crystal bolometers based upon simply resting the light detector on the crystal surface, held in position only by gravity. This straightforward mounting results in three important improvements: (1) it decreases the amount of non-active materials needed to assemble the detector, (2) it substantially increases the light collection efficiency by minimizing the light losses induced by the mounting structure, and (3) it enhances the thermal signal induced in the light detector thanks to the extremely weak thermal link to the thermal bath. We tested this new technique with a 16 cm$^2$ Ge light detector with thermistor readout sitting on the surface of a large TeO$_2$ bolometer. The light collection efficiency was increased by greater than 50\% compared to previously tested alternative mountings. We obtained a baseline energy resolution on the light detector of 20~eV RMS that, together with increased light collection, enabled us to obtain the best $\alpha$ vs $\beta/\gamma$ discrimination ever obtained with massive TeO$_2$ crystals. At the same time we achieved rise and decay times of 0.8 and 1.6 ms, respectively. This superb performance meets all of the requirements for the CUPID (CUORE Upgrade with Particle IDentification) experiment, which is a 1-ton scintillating bolometer follow up to CUORE.


title: On properties of $B$-terms

abstract: $B$-terms are built from the $B$ combinator alone defined by $B\equiv\lambda fgx. f(g~x)$, which is well known as a function composition operator. This paper investigates an interesting property of $B$-terms, that is, whether repetitive right applications of a $B$-term cycles or not. We discuss conditions for $B$-terms to have and not to have the property through a sound and complete equational axiomatization. Specifically, we give examples of $B$-terms which have the cyclic property and show that there are infinitely many $B$-terms which do not have the property. Also, we introduce another interesting property about a canonical representation of $B$-terms that is useful to detect cycles, or equivalently, to prove the cyclic property, with an efficient algorithm.


title: Definable families of theories, related calculi and ranks

abstract: We consider sentence-definable and diagram-definable subfamilies of given families of theories, calculi for these subfamilies, as well dynamics and characteristics of these subfamilies with respect to rank and degree.


title: A New Upper Bound for the Largest Growth Rate of Linear Rayleigh--Taylor Instability

abstract: We investigate the effect of surface tension on the linear Rayleigh--Taylor (RT) instability in stratified incompressible viscous fluids with or without (interface) surface tension. The existence of linear RT instability solutions with largest growth rate $\Lambda$ is proved under the instability condition (i.e., the surface tension coefficient $\vartheta$ is less than a threshold $\vartheta_{\rm c}$) by modified variational method of PDEs. Moreover we find a new upper bound for $\Lambda$. In particular, we observe from the upper bound that $\Lambda$ decreasingly converges to zero, as $\vartheta$ goes from zero to the threshold $\vartheta_{\rm c}$. The convergence behavior of $\Lambda$ mathematically verifies the classical RT instability experiment that the instability growth is limited by surface tension during the linear stage.