title: Forecasting the 2017-2018 Yemen Cholera Outbreak with Machine Learning

abstract: The ongoing Yemen cholera outbreak has been deemed one of the worst cholera outbreaks in history, with over a million people impacted and thousands dead. Triggered by a civil war, the outbreak has been shaped by various political, environmental, and epidemiological factors and continues to worsen. While cholera has several effective treatments, the untimely and inefficient distribution of existing medicines has been the primary cause of cholera mortality. With the hope of facilitating resource allocation, various mathematical models have been created to track the Yemeni outbreak and identify at-risk administrative divisions, called governorates. Existing models are not powerful enough to accurately and consistently forecast cholera cases per governorate over multiple timeframes. To address the need for a complex, reliable model, we offer the Cholera Artificial Learning Model (CALM); a system of 4 extreme-gradient-boosting (XGBoost) machine learning models that forecast the number of new cholera cases a Yemeni governorate will experience from a time range of 2 weeks to 2 months. CALM provides a novel machine learning approach that makes use of rainfall data, past cholera cases and deaths data, civil war fatalities, and inter-governorate interactions represented across multiple time frames. Additionally, the use of machine learning, along with extensive feature engineering, allows CALM to easily learn complex non-linear relations apparent in an epidemiological phenomenon. CALM is able to forecast cholera incidence 2 weeks to 2 months in advance within a margin of just 5 cholera cases per 10,000 people in real-world simulation.


title: Leveraging Communication Topologies Between Learning Agents in Deep Reinforcement Learning

abstract: A common technique to improve learning performance in deep reinforcement learning (DRL) and many other machine learning algorithms is to run multiple learning agents in parallel. A neglected component in the development of these algorithms has been how best to arrange the learning agents involved to improve distributed search. Here we draw upon results from the networked optimization literatures suggesting that arranging learning agents in communication networks other than fully connected topologies (the implicit way agents are commonly arranged in) can improve learning. We explore the relative performance of four popular families of graphs and observe that one such family (Erdos-Renyi random graphs) empirically outperforms the de facto fully-connected communication topology across several DRL benchmark tasks. Additionally, we observe that 1000 learning agents arranged in an Erdos-Renyi graph can perform as well as 3000 agents arranged in the standard fully-connected topology, showing the large learning improvement possible when carefully designing the topology over which agents communicate. We complement these empirical results with a theoretical investigation of why our alternate topologies perform better. Overall, our work suggests that distributed machine learning algorithms could be made more effective if the communication topology between learning agents was optimized.


title: Path Integral Monte Carlo Simulation of Degenerate Electrons: Permutation-Cycle Properties

abstract: Being motivated by the surge of fermionic quantum Monte Carlo simulations at finite temperature, we present a detailed analysis of the permutation-cycle properties of path integral Monte Carlo (PIMC) simulations of degenerate electrons. Particular emphasis is put onto the uniform electron gas in the warm dense matter regime. We carry out PIMC simulations of up to $N=100$ electrons and investigate exchange-cycle frequencies, which are found not to follow any simple exponential law even in the case of ideal fermions due to the finite size of the simulation box. Moreover, we introduce a permutation-cycle correlation function, which allows us to analyse the joint probability to simultaneously find cycles of different lengths within a single configuration. Again, we find that finite-size effects predominate the observed behaviour. Finally, we briefly consider an inhomogeneous system, namely electrons in a $2D$ harmonic trap. We expect our results to be of interest for the further development of fermionic PIMC methods, in particular to alleviate the notorious fermion sign problem.


title: Applicability of Partial Ternary Full Adder in Ternary Arithmetic Units

abstract: This paper explores whether or not a complete ternary full adder, whose input variables can independently be '0', '1', or '2', is indispensable in the arithmetic blocks of adder, subtractor, and multiplier. Our investigations show that none of the mentioned arithmetic units require a complete ternary full adder. Instead, they can be designed by use of partial ternary full adder, whose input carry never becomes '2'. Furthermore, some new ternary compressors are proposed in this paper without the requirement of complete ternary full adder. The usage of partial ternary full adder can help circuit designers to simplify their designs, especially in transistor level.


title: Finding Robust Itemsets Under Subsampling

abstract: Mining frequent patterns is plagued by the problem of pattern explosion making pattern reduction techniques a key challenge in pattern mining. In this paper we propose a novel theoretical framework for pattern reduction. We do this by measuring the robustness of a property of an itemset such as closedness or non-derivability. The robustness of a property is the probability that this property holds on random subsets of the original data. We study four properties: if an itemset is closed, free, non-derivable or totally shattered, and demonstrate how to compute the robustness analytically without actually sampling the data. Our concept of robustness has many advantages: Unlike statistical approaches for reducing patterns, we do not assume a null hypothesis or any noise model and in contrast to noise tolerant or approximate patterns, the robust patterns for a given property are always a subset of the patterns with this property. If the underlying property is monotonic, then the measure is also monotonic, allowing us to efficiently mine robust itemsets. We further derive a parameter-free technique for ranking itemsets that can be used for top-$k$ approaches. Our experiments demonstrate that we can successfully use the robustness measure to reduce the number of patterns and that ranking yields interesting itemsets.


title: Using Machine Learning to Guide Cognitive Modeling: A Case Study in Moral Reasoning

abstract: Large-scale behavioral datasets enable researchers to use complex machine learning algorithms to better predict human behavior, yet this increased predictive power does not always lead to a better understanding of the behavior in question. In this paper, we outline a data-driven, iterative procedure that allows cognitive scientists to use machine learning to generate models that are both interpretable and accurate. We demonstrate this method in the domain of moral decision-making, where standard experimental approaches often identify relevant principles that influence human judgments, but fail to generalize these findings to "real world" situations that place these principles in conflict. The recently released Moral Machine dataset allows us to build a powerful model that can predict the outcomes of these conflicts while remaining simple enough to explain the basis behind human decisions.


title: Probing geometric information using the Unruh effect in the vacuum

abstract: We present a new method by which, in principle, it is possible to "see in absolute darkness," i.e., without exchanging any real quanta through quantum fields. This is possible because objects modify the mode structure of the vacuum in their vicinity. The new method probes the mode structure of the vacuum through the Unruh effect, i.e., by recording the excitation rates of quantum systems that are accelerated.


title: Asteroseismic masses, ages, and core properties of $\gamma$ Doradus stars using gravito-inertial dipole modes and spectroscopy

abstract: The asteroseismic modelling of period spacing patterns from gravito-inertial modes in stars with a convective core is a high-dimensional problem. We utilise the measured period spacing pattern of prograde dipole gravity modes (acquiring $\Pi_0$), in combination with the effective temperature ($T_{\rm eff}$) and surface gravity ($\log g$) derived from spectroscopy, to estimate the fundamental stellar parameters and core properties of 37 $\gamma~$Doradus ($\gamma~$Dor) stars whose rotation frequency has been derived from $\textit{Kepler}$ photometry. We make use of two 6D grids of stellar models, one with step core overshooting and one with exponential core overshooting, to evaluate correlations between the three observables $\Pi_0$, $T_{\rm eff}$, and $\log g$ and the mass, age, core overshooting, metallicity, initial hydrogen mass fraction and envelope mixing. We provide multivariate linear model recipes relating the stellar parameters to be estimated to the three observables ($\Pi_0$, $T_{\rm eff}$, $\log g$). We estimate the (core) mass, age, core overshooting and metallicity of $\gamma~$Dor stars from an ensemble analysis and achieve relative uncertainties of $\sim\!10$ per cent for the parameters. The asteroseismic age determination allows us to conclude that efficient angular momentum transport occurs already early on during the main sequence. We find that the nine stars with observed Rossby modes occur across almost the entire main-sequence phase, except close to core-hydrogen exhaustion. Future improvements of our work will come from the inclusion of more types of detected modes per star, larger samples, and modelling of individual mode frequencies.


title: Conformal-helicity duality & the Hilbert space of free CFTs

abstract: We identify a means to explicitly construct primary operators of free conformal field theories (CFTs) in spacetime dimensions $d=2,~3$, and $4$. Working in momentum space with spinors, we find that the $N$-distinguishable-particle Hilbert space $\mathcal{H}_N$ exhibits a $U(N)$ action in $d=4$ ($O(N)$ in $d=2,3$) which dually describes the decomposition of $\mathcal{H}_N$ into irreducible representations of the conformal group. This $U(N)$ is a natural $N$-particle generalization of the single-particle $U(1)$ little group. The spectrum of primary operators is identified with the harmonics of $N$-particle phase space which, specifically, is shown to be the Stiefel manifold $V_2(\mathbb{C}^N) = U(N)/U(N-2)$ (respectively, $V_2(\mathbb{R}^N)$, $V_1(\mathbb{R}^N)$ in $d=3,2$). Lorentz scalar primaries are harmonics on the Grassmannian $G_2(\mathbb{C}^N) \subset V_2(\mathbb{C}^N)$. We provide a recipe to construct these harmonic polynomials using standard $U(N)$ ($O(N)$) representation theory. We touch upon applications to effective field theory and numerical methods in quantum field theory.


title: Exotic compact object behavior in black hole analogues

abstract: Classical phenomenological aspects of acoustic perturbations on a draining bathtub geometry where a surface with reflectivity $\mathcal{R}$ is set at a small distance from the would-be acoustic horizon, which is excised, are addressed. Like most exotic compact objects featuring an ergoregion but not a horizon, this model is prone to instabilities when $|\mathcal{R}|^2\approx 1$. However, stability can be attained for sufficiently slow drains when $|\mathcal{R}|^2\lesssim70\%$. It is shown that the superradiant scattering of acoustic waves is more effective when their frequency approaches one of the system's quasi-normal mode frequencies.

categories: gr-qc astro-ph.HE hep-ph hep-th physics.flu-dyn


title: A Quantum Interior-Point Predictor-Corrector Algorithm for Linear Programming

abstract: We introduce a new quantum optimization algorithm for dense Linear Programming problems, which can be seen as the quantization of the Interior Point Predictor-Corrector algorithm \cite{Predictor-Corrector} using a Quantum Linear System Algorithm \cite{DenseHHL}. The (worst case) work complexity of our method is, up to polylogarithmic factors, $O(L\sqrt{n}(n+m)\overline{||M||_F}\bar{\kappa}^2\epsilon^{-2})$ for $n$ the number of variables in the cost function, $m$ the number of constraints, $\epsilon^{-1}$ the target precision, $L$ the bit length of the input data, $\overline{||M||_F}$ an upper bound to the Frobenius norm of the linear systems of equations that appear, $||M||_F$, and $\bar{\kappa}$ an upper bound to the condition number $\kappa$ of those systems of equations. This represents a quantum speed-up in the number $n$ of variables in the cost function with respect to the comparable classical Interior Point algorithms when the initial matrix of the problem $A$ is dense: if we substitute the quantum part of the algorithm by classical algorithms such as Conjugate Gradient Descent, that would mean the whole algorithm has complexity $O(L\sqrt{n}(n+m)^2\bar{\kappa} \log(\epsilon^{-1}))$, or with exact methods, at least $O(L\sqrt{n}(n+m)^{2.373})$. Also, in contrast with any Quantum Linear System Algorithm, the algorithm described in this article outputs a classical description of the solution vector, and the value of the optimal solution.


title: Topological superconductivity at finite temperatures in proximitized magnetic nanowires

abstract: Performing Monte Carlo simulations we study the temperature dependent self--organization of magnetic moments coupled to itinerant electrons in a finite--size one--dimensional nanostructure proximitized to a superconducting reservoir. At low temperature an effective interaction between the localized magnetic moments, that is mediated by itinerant electrons, leads to their helical ordering. This ordering, in turn, affects the itinerant electrons, inducing the topologically nontrivial superconducting phase that hosts the Majorana modes. In a~wide range of system parameters, the spatial periodicity of a spiral order that minimizes the ground state energy turns out to promote the topological phase. We determine the correlation length of such spiral order and study how it is reduced by thermal fluctuations. This reduction is accompanied by suppression of the topological gap (which separates the zero-energy mode from continuum), setting the upper (critical) temperature for existence of the Majorana quasiparticles. Monte Carlo simulations do not rely on any ansatz for configurations of the localized moments, therefore they can be performed for arbitrary model parameters, also beyond the perturbative regime.


title: NIHAO XVIII: Origin of the MOND phenomenology of galactic rotation curves in a LCDM universe

abstract: The phenomenological basis for Modified Newtonian Dynamics (MOND) is the radial-acceleration-relation (RAR) between the observed acceleration, $a=V^2_{rot}(r)/r$, and the acceleration accounted for by the observed baryons (stars and cold gas), $a_{bar}=V_{bar}^2(r)/r$. We show that the RAR arises naturally in the NIHAO sample of 89 high-resolution LCDM cosmological galaxy formation simulations. The overall scatter from NIHAO is just 0.079 dex, consistent with observational constraints. However, we show that the scatter depends on stellar mass. At high masses ($10^9 <M_{star} <10^{11}$ Msun) the simulated scatter is just $\simeq 0.04$ dex, increasing to $\simeq 0.11$ dex at low masses ($10^7 < M_{star} <10^{9}$Msun). Observations show a similar dependence for the intrinsic scatter. At high masses the intrinsic scatter is consistent with the zero scatter assumed by MOND, but at low masses the intrinsic scatter is non-zero, strongly disfavoring MOND. Applying MOND to our simulations yields remarkably good fits to most of the circular velocity profiles. In cases of mild disagreement the stellar mass-to-light ratio and/or "distance" can be tuned to yield acceptable fits, as is often done in observational mass models. In dwarf galaxies with $M_{star}\sim10^6$Msun MOND breaks down, predicting lower accelerations than observed and in our LCDM simulations. The assumptions that MOND is based on (e.g., asymptotically flat rotation curves, zero intrinsic scatter in the RAR), are approximately, but not exactly, true in LCDM. Thus if one wishes to go beyond Newtonian dynamics there is more freedom in the RAR than assumed by MOND.


title: Standard Model Effective Field Theory from On-shell Amplitudes

abstract: We present a general method of constructing unfactorizable on-shell amplitudes (amplitude basis), and build up their one-to-one correspondence to the independent and complete operator basis in effective field theory (EFT). We apply our method to the Standard Model EFT, and identify the amplitude basis in dimension 5 and 6, which correspond to the Weinberg operator and operators in Warsaw basis except for some linear combinations.


title: The 'Big Dipper': The nature of the extreme variability of the AGN SDSS J2232-0806

abstract: SDSS J2232-0806 (the 'Big Dipper') has been identified as a 'slow-blue nuclear hypervariable': a galaxy with no previously known active nucleus, blue colours and large-amplitude brightness evolution occurring on a timescale of years. Subsequent observations have shown that this source does indeed contain an active galactic nucleus (AGN). Our optical photometric and spectroscopic monitoring campaign has recorded one major dimming event (and subsequent rise) over a period of around four years; there is also evidence of previous events consistent with this in archival data recorded over the last twenty years. Here we report an analysis of the eleven optical spectra obtained to date and we assemble a multiwavelength data set including infrared, ultraviolet and X-ray observations. We find that an intrinsic change in the luminosity is the most favoured explanation of the observations, based on a comparison of continuum and line variability and the apparent lagged response of the hot dust. This source, along with several other recently-discovered 'changing-look' objects, demonstrate that AGN can exhibit large-amplitude luminosity changes on timescales much shorter than those predicted by standard thin accretion disc models.


title: Constructing effective field theories via their harmonics

abstract: We consider the construction of operator bases for massless, relativistic quantum field theories, and show this is equivalent to obtaining the harmonic modes of a physical manifold (the kinematic Grassmannian), upon which observables have support. This enables us to recast the approach of effective field theory (EFT) through the lens of harmonic analysis. We explicitly construct harmonics corresponding to low mass dimension EFT operators.


title: Quantum Trace Formulae for the Integrals of the Hyperbolic Ruijsenaars-Schneider model

abstract: We conjecture the quantum analogue of the classical trace formulae for the integrals of motion of the quantum hyperbolic Ruijsenaars-Schneider model. This is done by departing from the classical construction where the corresponding model is obtained from the Heisenberg double by the Poisson reduction procedure. We also discuss some algebraic structures associated to the Lax matrix in the classical and quantum theory which arise upon introduction of the spectral parameter.


title: Abelian Topological Order on Lattice Enriched with Electromagnetic Background

abstract: In topological phases of matter, the interplay between intrinsic topological order and global symmetry is an interesting task. In the study of topological orders with discrete global symmetry, an important systematic approach is the construction of exactly soluble lattice models. However, for continuous global symmetry, in particular the electromagnetic $U(1)$, the lattice approach has been less systematically developed. In this paper, we introduce a systematic construction of effective theories for a large class of abelian topological orders on three-dimensional spacetime lattice with electromagnetic background. We discuss the associated topological properties, including the Hall conductivity and the spin-c nature of the electromagnetic background. Some of these effective spacetime lattice theories can be readily mapped to microscopic Hamiltonians on spatial lattice; others may also shed light on their possible microscopic Hamiltonian realizations. Our approach is based on the gauging of $1$-form $\mathbb{Z}$ symmetries. Our construction is naturally related to the continuum path integral of (doubled) $U(1)$ Chern-Simons theory, through the latter's formal description in terms of Deligne-Beilinson cohomology; when the global symmetry is dropped, our construction can be reduced to the Dijkgraaf-Witten model of associated abelian topological orders, as expected.


title: Single cut and multicut SDDP with cut selection for multistage stochastic linear programs: convergence proof and numerical experiments

abstract: We introduce a variant of Multicut Decomposition Algorithms (MuDA), called CuSMuDA (Cut Selection for Multicut Decomposition Algorithms), for solving multistage stochastic linear programs that incorporates a class of cut selection strategies to choose the most relevant cuts of the approximate recourse functions. This class contains Level 1 and Limited Memory Level 1 cut selection strategies, initially introduced for respectively Stochastic Dual Dynamic Programming (SDDP) and Dual Dynamic Programming (DDP). We prove the almost sure convergence of the method in a finite number of iterations and obtain as a by-product the almost sure convergence in a finite number of iterations of SDDP combined with our class of cut selection strategies. We compare the performance of MuDA, SDDP, and their variants with cut selection (using Level 1 and Limited Memory Level 1) on several instances of a portfolio problem and of an inventory problem. On these experiments, in general, SDDP is quicker (i.e., satisfies the stopping criterion quicker) than MuDA and cut selection allows us to decrease the computational bulk with Limited Memory Level 1 being more efficient (sometimes much more) than Level 1.


title: Naturalness without new particles

abstract: We demonstrate that the physics which resolves naturalness problems need not take the form of new particles and can sometimes manifest itself as higher dimensional operators. As a proof of principle, we present a simple model where the scale of new particles is parametrically separated from that estimated via naturalness arguments applied to self-quartic couplings. In this example, new particles appear far above the scale $m/\sqrt{\lambda}$, where $m$ is the mass of the particle and $\lambda$ is its self-quartic coupling. The shift symmetry responsible for resolving the naturalness problem involves higher dimensional operators rather than new particles.


title: Interacting Majorana fermions in strained nodal superconductors

abstract: Landau levels (LL) have been predicted to emerge in systems with Dirac nodal points under applied non-uniform strain. We consider 2D, $d_{xy}$ singlet (2D-S) and 3D $p \pm i p$ equal-spin triplet (3D-T) superconductors (SCs). We demonstrate the spinful Majorana nature of the bulk gapless zeroth-LLs. Strain along certain directions can induce two topologically distinct phases in the bulk, with zeroth LLs localized at the the interface. These modes are unstable toward ferromagnetism for 2D-S cases. Emergent real-space Majorana fermions in 3D-T allow for more exotic possibilities.


title: First Identification of 10-kpc Scale [CII] 158um Halos around Star-Forming Galaxies at z=5-7

abstract: We report the discovery of 10-kpc scale [CII] 158um halos surrounding star-forming galaxies in the early Universe. We choose deep ALMA data of 18 galaxies each with a star-formation rate of ~ 10-70 Msun with no signature of AGN whose [CII] lines are individually detected at z=5.153-7.142, and conduct stacking of the [CII] lines and dust-continuum in the uv-visibility plane. The radial profiles of the surface brightnesses show a 10-kpc scale [CII] halo at the 9.2sigma level significantly extended more than the HST stellar continuum data by a factor of ~5 on the exponential-profile basis, as well as the dust continuum. We also compare the radial profiles of [CII] and Lya halos universally found in star-forming galaxies at this epoch, and find that the scale lengths agree within the 1sigma level. While two independent hydrodynamical zoom-in simulations match the dust and stellar continuum properties, the simulations cannot reproduce the extended [CII] line emission. The existence of the extended [CII] halo is the evidence of outflow remnants in the early galaxies and suggest that the outflows may be dominated by cold-mode outflows expelling the neutral gas.


title: Thermodynamic dislocation theory: Finite deformations

abstract: The present paper extends the thermodynamic dislocation theory initiated by Langer, Bouchbinder and Lookman [2010] to non-uniform finite plastic deformations. The equations of motion are derived from the variational equation involving the free energy density and the positive definite dissipation function. We also consider the simplified theory by neglecting the excess dislocations. For illustration, the problem of finite strain constrained shear of single crystals with one active slip system is solved within the proposed theory.


title: Distinguishing Mergers and Disks in High Redshift Observations of Galaxy Kinematics

abstract: The majority of massive star-forming galaxies at $z\sim2$ have velocity gradients suggestive of rotation, in addition to large amounts of disordered motions. In this paper, we demonstrate that it is challenging to distinguish the regular rotation of a disk galaxy from the orbital motions of merging galaxies with seeing-limited data. However, the merger fractions at $z\sim2$ are likely too low for this to have a large effect on measurements of disk fractions. To determine how often mergers pass for disks, we look to galaxy formation simulations. We analyze $\sim$24000 synthetic images and kinematic maps of 31 high-resolution simulations of isolated galaxies and mergers at $z\sim2$. We determine if the synthetic observations pass criteria commonly used to identify disk galaxies, and whether the results are consistent with their intrinsic dynamical states. Galaxies that are intrinsically mergers pass the disk criteria for anywhere from 0 to 100$\%$ of sightlines. The exact percentage depends strongly on the specific disk criteria adopted, and weakly on the separation of the merging galaxies. Therefore, one cannot tell with certainty whether observations of an individual galaxy indicate a merger or a disk. To estimate the fraction of mergers passing as disks in current kinematics samples, we combine the probability that a merger will pass as a disk with theoretical merger fractions from a cosmological simulation. Taking the latter at face-value, the observed disk fractions are overestimated by small amounts: at most by $5\%$ at high stellar mass ($10^{10-11}$ M$_{\odot}$) and $15\%$ at low stellar mass ($10^{9-10}$ M$_{\odot}$).


title: Special values of generalized multiple Hurwitz zeta function at non-positive integers

abstract: In this paper, we provide an alternative method to calculate the values of generalized multiple Hurwitz zeta function at non-positive integers by means of \emph{Raabe}'s formula and the \textit{Bernoulli} numbers.


title: Thermal Phases of the Neutral Atomic Interstellar Medium -- from Solar Metallicity to Primordial Gas

abstract: We study the thermal structure of the neutral atomic (H {\small I}) interstellar medium across a wide range of metallicities, from supersolar down to vanishing metallicity, and for varying UV intensities and cosmic-ray ionization rates. We calculate self-consistently the gas temperature and species abundances (with a special focus on the residual H$_2$), assuming thermal and chemical steady-state. For solar metallicity, $Z' \equiv 1$, we recover the known result that there exists a pressure range over which the gas is multiphased, with the warm ($\sim 10^4$ K, WNM) and cold ($\sim 100$ K, CNM) phases coexisting at the same pressure. At a metallicity $Z' \approx 0.1$, the CNM is colder (compared to $Z'=1$) due to the reduced efficiency of photoelectric heating. For $Z' \lesssim 0.1$, cosmic-ray ionization becomes the dominant heating mechanism and the WNM-to-CNM transition shifts to ever increasing pressure/density as the metallicity is reduced. For metallicities $Z' \lesssim 0.01$, H$_2$ cooling becomes important, lowering the temperature of the WNM (down to $\approx 600$ K), and smoothing out the multiphase phenomenon. At vanishing metallicities, H$_2$ heating becomes effective and the multiphase phenomenon disappears entirely. We derive analytic expressions for the critical densities for the warm-to-cold phase transition in the different regimes, and the critical metallicities for H$_2$ cooling and heating. We discuss potential implications on the star-formation rates of galaxies and self-regulation theories.


title: Neutrino Tridents at DUNE

abstract: The DUNE near detector will collect an unprecedented large number of neutrino interactions, allowing the precise measurement of rare processes such as neutrino trident production, i.e. the generation of a lepton-antilepton pair through the scattering of a neutrino off a heavy nucleus. The event rate of this process is a powerful probe to a well-motivated parameter space of new physics beyond the Standard Model. In this paper, we perform a detailed sensitivity study of the DUNE near detector to neutrino tridents. We provide state-of-the-art predictions for the Standard Model cross sections and corresponding event rates at the near detector for the nu_mu -> nu_mu mu^+ mu^-, nu_mu -> nu_mu e^+e^- and nu_mu -> nu_e e^+ mu^- trident interactions (and the corresponding anti-neutrino modes), discussing their uncertainties. We analyze all relevant backgrounds, utilize a Geant4-based simulation of the DUNE-near detector liquid argon TPC (the official DUNE simulation at the time of writing this paper), and identify a set of selection cuts that would allow the DUNE near detector to measure the nu_mu -> nu_mu mu^+ mu^- cross section with a ~25% accuracy after running in neutrino and anti-neutrino modes for ~3 years each. This would lead to the most precise measurement of the trident process, surpassing the previous measurement by the CCFR collaboration. We show that this measurement would be highly sensitive to new physics, and, in particular, we find that the parameter space of models with gauged L_mu - L_tau that can explain the (g-2)_mu anomaly could be covered almost entirely. As a byproduct, a new Monte Carlo tool to generate neutrino trident events is made publicly available.


title: Parenting: Safe Reinforcement Learning from Human Input

abstract: Autonomous agents trained via reinforcement learning present numerous safety concerns: reward hacking, negative side effects, and unsafe exploration, among others. In the context of near-future autonomous agents, operating in environments where humans understand the existing dangers, human involvement in the learning process has proved a promising approach to AI Safety. Here we demonstrate that a precise framework for learning from human input, loosely inspired by the way humans parent children, solves a broad class of safety problems in this context. We show that our Parenting algorithm solves these problems in the relevant AI Safety gridworlds of Leike et al. (2017), that an agent can learn to outperform its parent as it "matures", and that policies learnt through Parenting are generalisable to new environments.


title: A dichotomy for minimal hypersurfaces in manifolds thick at infinity

abstract: Let $(M,g)$ be a complete $(n+1)$-dimensional Riemannian manifold with $2\leq n\leq 6$. Our main theorem generalizes the solution of S.-T. Yau's conjecture on the abundance of minimal surfaces and builds on a result of M. Gromov. Suppose that $(M,g)$ has bounded geometry, or more generally is thick at infinity. Then the following dichotomy holds for the space of closed hypersurfaces in $M$: either there are infinitely many saddle points of the $n$-volume functional, or there is none. Additionally, we give a new short proof of the existence of a finite volume minimal hypersurface in finite volume manifolds, we check Yau's conjecture for finite volume hyperbolic 3-manifolds and we extend the density result due to Irie-Marques-Neves when $(M,g)$ is shrinking to zero at infinity.


title: Multi-view Incremental Segmentation of 3D Point Clouds for Mobile Robots

abstract: Mobile robots need to create high-definition 3D maps of the environment for applications such as remote surveillance and infrastructure mapping. Accurate semantic processing of the acquired 3D point cloud is critical for allowing the robot to obtain a high-level understanding of the surrounding objects and perform context-aware decision making. Existing techniques for point cloud semantic segmentation are mostly applied on a single-frame or offline basis, with no way to integrate the segmentation results over time. This paper proposes an online method for mobile robots to incrementally build a semantically-rich 3D point cloud of the environment. The proposed deep neural network, MCPNet, is trained to predict class labels and object instance labels for each point in the scanned point cloud in an incremental fashion. A multi-view context pooling (MCP) operator is used to combine point features obtained from multiple viewpoints to improve the classification accuracy. The proposed architecture was trained and evaluated on ray-traced scans derived from the Stanford 3D Indoor Spaces dataset. Results show that the proposed approach led to 15% improvement in point-wise accuracy and 7% improvement in NMI compared to the next best online method, with only a 6% drop in accuracy compared to the PointNet-based offline approach.


title: On the iron ionization balance of cool stars

abstract: High-resolution spectroscopic studies of solar-type stars have revealed higher iron abundances derived from singly ionized species compared to neutral, violating the ionization equilibrium under the assumption of local thermodynamic equilibrium. In this work, we investigate the overabundances of FeII lines reported in our previous work for a sample of 451 solar-type HARPS stars in the solar neighborhood. The spectroscopic surface gravities of this sample which emerge from the ionization balance, appear underestimated for the K-type stars. In order to understand this behavior, we search our FeII line list for unresolved blends and outliers. First, we use the VALD to identify possible unresolved blends around our lines and calculate which ones are strong enough to cause overestimations in the equivalent width measurements. Second, for our sample we use reference parameters (effective temperature and metallicity) and the Gaia DR2 parallaxes to derive surface gravities (trigonometric gravities) and calculate the FeI and FeII abundances from different line lists. We exclude the FeII lines which produce overabundances above 0.10 dex. The derived surface gravities from the clean line list are now in agreement with the trigonometric. Moreover, the difference between FeI and FeII abundance does not show now a correlation with the effective temperature. Finally, we show that the ionization balance of Ti can provide better estimates of surface gravities than iron. With this analysis, we provide a solution to the ionization balance problem observed in the atmospheres of cool dwarfs.


title: Nonlinear Model Predictive Control for Robust Bipedal Locomotion: Exploring Angular Momentum and CoM Height Changes

abstract: Human beings can utilize multiple balance strategies, e.g. step location adjustment and angular momentum adaptation, to maintain balance when walking under dynamic disturbances. In this work, we propose a novel Nonlinear Model Predictive Control (NMPC) framework for robust locomotion, with the capabilities of step location adjustment, Center of Mass (CoM) height variation, and angular momentum adaptation. These features are realized by constraining the Zero Moment Point within the support polygon. By using the nonlinear inverted pendulum plus flywheel model, the effects of upper-body rotation and vertical height motion are considered. As a result, the NMPC is formulated as a quadratically constrained quadratic program problem, which is solved fast by sequential quadratic programming. Using this unified framework, robust walking patterns that exploit reactive stepping, body inclination, and CoM height variation are generated based on the state estimation. The adaptability for bipedal walking in multiple scenarios has been demonstrated through simulation studies.


title: The Cohen-Macaulay property in derived commutative algebra

abstract: By extending some basic results of Grothendieck and Foxby about local cohomology to commutative DG-rings, we prove new amplitude inequalities about finite DG-modules of finite injective dimension over commutative local DG-rings, complementing results of J{\o}rgensen and resolving a recent conjecture of Minamoto. When these inequalities are equalities, we arrive to the notion of a local-Cohen-Macaulay DG-ring. We make a detailed study of this notion, showing that much of the classical theory of Cohen-Macaulay rings and modules can be generalized to the derived setting, and that there are many natural examples of local-Cohen-Macaulay DG-rings. In particular, local Gorenstein DG-rings are local-Cohen-Macaulay. Our work is in a non-positive cohomological situation, allowing the Cohen-Macaulay condition to be introduced to derived algebraic geometry, but we also discuss extensions of it to non-negative DG-rings, which could lead to the concept of Cohen-Macaulayness in topology.


title: Enhanced Phonon Boundary Scattering at High Temperatures in Hierarchically Disordered Nanostructures

abstract: Boundary scattering in hierarchically disordered nanomaterials is an effective way to reduce the thermal conductivity of thermoelectric materials and increase their performance. In this work we investigate thermal transport in silicon based nanostructured materials in the presence of nanocrystallinity and nanopores at the range of 300 K to 900 K using a Monte Carlo simulation approach. The thermal conductivity in the presence of nanocrystallinity follows the same reduction trend as in the pristine material. We show, however, that the relative reduction is stronger with temperature in the presence of nanocrystallinity, a consequence of the wavevector dependent (q dependent) nature of phonon scattering on the domain boundaries. In particular, as the temperature is raised the proportion of large wavevector phonons increases. Since these phonons are more susceptible to boundary scattering, we show that compared to the wavevector independent thermal conductivity value this q dependent surface scattering could account for even a approx. 40 per cent reduction in the thermal conductivity of nanocrystalline Si. Introduction of nanopores with randomized positions enhances this effect, which suggests that hierarchical nanostructuring is actually more effective at high temperatures than previously thought.


title: A split-step finite-element method for incompressible Navier-Stokes equations with high-order accuracy up-to the boundary

abstract: An efficient and accurate finite-element algorithm is described for the numerical solution of the incompressible Navier-Stokes (INS) equations. The new algorithm that solves the INS equations in a velocity-pressure reformulation is based on a split-step scheme in conjunction with the standard finite-element method. The split-step scheme employed for the temporal discretization of our algorithm completely separates the pressure updates from the solution of velocity variables. When the pressure equation is formed explicitly, the algorithm avoids solving a saddle-point problem; therefore, our algorithm has more flexibility in choosing finite-element spaces. For efficiency and robustness, Lagrange finite elements of equal order for both velocity and pressure are used. Motivated by a post-processing technique that calculates derivatives of a finite element solution with super-convergent error estimates, an alternative numerical boundary condition is proposed for the pressure equation at the discrete level. The new numerical pressure boundary condition that can be regarded as a better implementation of the compatibility boundary condition improves the boundary-layer errors of the pressure solution. Normal-mode analysis is performed using a simplified model problem on a uniform mesh to demonstrate the numerical properties of our methods. Convergence study using $\mathbb{P}_1$ elements confirms the analytical results and demonstrates that our algorithm with the new numerical boundary condition achieves the optimal second-order accuracy for both velocity and pressure up-to the boundary. Benchmark problems are also computed and carefully compared with existing studies. Finally, as an example to illustrate that our approach can be easily adapted for higher-order finite elements, we solve the classical flow-past-a-cylinder problem using $\mathbb{P}_n$ finite elements with $n\geq 1$.


title: Single heavy baryons with chiral partner structure in a three-flavor chiral model

abstract: We construct an effective hadronic model including single heavy baryons (SHBs) belonging to the $(\mathbf{3},\mathbf{3})$ representation under $\mbox{SU}(3)_L \times \mbox{SU}(3)_R$ symmetry, respecting the chiral symmetry and heavy-qaurk spin-flavor symmetry. When the chiral symmetry is spontaneously broken, the SHBs are divided into the baryons with negative parity of $\bar{\mathbf 3}$ representation under $\mbox{SU}(3)$ flavor symmetry which is the chiral partners to the ones with positive parity of ${\mathbf 6}$ representation. We determine the model parameters from the available experimental data for the masses and strong decay widths of $\Sigma_c^{(\ast)}$, $\Lambda_c (2595)$, $\Xi_c (2790)$, and $\Xi_c (2815)$. Then, we predict the masses and strong decay widths of other baryons including $\Xi_b$ with negative parity. We also study radiative decays of SHBs including $\Omega_c^\ast$ and $\Omega_b^\ast$ with positive parity.


title: On the dynamical behaviour of linear higher-order cellular automata and its decidability

abstract: Higher-order cellular automata (HOCA) are a variant of cellular automata (CA) used in many applications (ranging, for instance, from the design of secret sharing schemes to data compression and image processing), and in which the global state of the system at time $t$ depends not only on the state at time $t-1$, as in the original model, but also on the states at time $t-2, \ldots, t-n$, where $n$ is the memory size of the HOCA. We provide decidable characterizations of two important dynamical properties, namely, sensitivity to the initial conditions and equicontinuity, for linear HOCA over the alphabet $\mathbb{Z}_m$. Such characterizations extend the ones shown in [23] for linear CA (LCA) over the alphabet $\mathbb{Z}^{n}_m$ in the case $n=1$. We also prove that linear HOCA of size memory $n$ over $\mathbb{Z}_m$ form a class that is indistinguishable from a specific subclass of LCA over $\mathbb{Z}_m^n$. This enables to decide injectivity and surjectivity for linear HOCA of size memory $n$ over $\mathbb{Z}_m$ using the decidable characterization provided in [2] and [19] for injectivity and surjectivity of LCA over $\mathbb{Z}^n_m$. Finally, we prove an equivalence between LCA over $\mathbb{Z}_m^n$ and an important class of non-uniform CA, another variant of CA used in many applications.


title: A Generalised Solution to Distributed Consensus

abstract: Distributed consensus, the ability to reach agreement in the face of failures and asynchrony, is a fundamental primitive for constructing reliable distributed systems from unreliable components. The Paxos algorithm is synonymous with distributed consensus, yet it performs poorly in practice and is famously difficult to understand. In this paper, we re-examine the foundations of distributed consensus. We derive an abstract solution to consensus, which utilises immutable state for intuitive reasoning about safety. We prove that our abstract solution generalises over Paxos as well as the Fast Paxos and Flexible Paxos algorithms. The surprising result of this analysis is a substantial weakening to the quorum requirements of these widely studied algorithms.


title: Sizes and filtrations in accessible categories

abstract: Accessible categories admit a purely category-theoretic replacement for cardinality: the internal size. Generalizing results and methods from arXiv:1708.06782, we examine set-theoretic problems related to internal sizes and prove several L\"owenheim-Skolem theorems for accessible categories. For example, assuming the singular cardinal hypothesis, we show that a large accessible category has an object in all internal sizes of high-enough cofinality. We also prove that accessible categories with directed colimits have filtrations: any object of sufficiently high internal size is (the retract of) a colimit of a chain of strictly smaller objects.


title: Using an Ancillary Neural Network to Capture Weekends and Holidays in an Adjoint Neural Network Architecture for Intelligent Building Management

abstract: The US EIA estimated in 2017 about 39\% of total U.S. energy consumption was by the residential and commercial sectors. Therefore, Intelligent Building Management (IBM) solutions that minimize consumption while maintaining tenant comfort are an important component in addressing climate change. A forecasting capability for accurate prediction of indoor temperatures in a planning horizon of 24 hours is essential to IBM. It should predict the indoor temperature in both short-term (e.g. 15 minutes) and long-term (e.g. 24 hours) periods accurately including weekends, major holidays, and minor holidays. Other requirements include the ability to predict the maximum and the minimum indoor temperatures precisely and provide the confidence for each prediction. To achieve these requirements, we propose a novel adjoint neural network architecture for time series prediction that uses an ancillary neural network to capture weekend and holiday information. We studied four long short-term memory (LSTM) based time series prediction networks within this architecture. We observed that the ancillary neural network helps to improve the prediction accuracy, the maximum and the minimum temperature prediction and model reliability for all networks tested.


title: Error estimates of a Fourier integrator for the cubic Schr\"odinger equation at low regularity

abstract: We present a new filtered low-regularity Fourier integrator for the cubic nonlinear Schr\"odinger equation based on recent time discretization and filtering techniques. For this new scheme, we perform a rigorous error analysis and establish better convergence rates at low regularity than known for classical schemes in the literature so far. In our error estimates, we combine the better local error properties of the new scheme with a stability analysis based on general discrete Strichartz-type estimates. The latter allow us to handle a much rougher class of solutions as the error analysis can be carried out directly at the level of $L^2$ compared to classical results \black in dimension $d$, \black which are limited to higher-order (sufficiently smooth) Sobolev spaces $H^s$ with $s>d/2$. In particular, we are able to establish a global error estimate in $L^2$ for $H^1$ solutions which is roughly of order $\tau^{ {1\over 2} + { 5-d \over 12} }$ in dimension $d \leq 3$ ($\tau$ denoting the time discretization parameter). This breaks the "natural order barrier" of $\tau^{1/2}$ for $H^1$ solutions which holds for classical numerical schemes (even in combination with suitable filter functions).


title: Expansion of a filtration with a stochastic process: the information drift

abstract: When expanding a filtration with a stochastic process it is easily possible for semimartingale no longer to remain semimartingales in the enlarged filtration. Y. Kchia and P. Protter indicated a way to avoid this pitfall in 2015, but they were unable to give the semimartingale decomposition in the enlarged filtration except for special cases. We provide a way to compute such a decomposition, and moreover we provide a sufficient condition for It\^o processes to remain It\^o processes in the enlarged filtration. This has significance in applications to Mathematical Finance.


title: New classes of $C^1$ robustly transitive maps with persistent critical points

abstract: We exhibit a new large class of $C^1$ open examples of robustly transitive maps displaying persistent critical points in the homotopy class of expanding endomorphisms acting on the two dimensional Torus and the Klein bottle.


title: Securing Voice-driven Interfaces against Fake (Cloned) Audio Attacks

abstract: Voice cloning technologies have found applications in a variety of areas ranging from personalized speech interfaces to advertisement, robotics, and so on. Existing voice cloning systems are capable of learning speaker characteristics and use trained models to synthesize a person's voice from only a few audio samples. Advances in cloned speech generation technologies are capable of generating perceptually indistinguishable speech from a bona-fide speech. These advances pose new security and privacy threats to voice-driven interfaces and speech-based access control systems. The state-of-the-art speech synthesis technologies use trained or tuned generative models for cloned speech generation. Trained generative models rely on linear operations, learned weights, and excitation source for cloned speech synthesis. These systems leave characteristic artifacts in the synthesized speech. Higher-order spectral analysis is used to capture differentiating attributes between bona-fide and cloned audios. Specifically, quadrature phase coupling (QPC) in the estimated bicoherence, Gaussianity test statistics, and linearity test statistics are used to capture generative model artifacts. Performance of the proposed method is evaluated on cloned audios generated using speaker adaptation- and speaker encoding-based approaches. Experimental results for a dataset consisting of 126 cloned speech and 8 bona-fide speech samples indicate that the proposed method is capable of detecting bona-fide and cloned audios with close to a perfect detection rate.


title: Charged spherically symmetric black holes in $f(R)$ gravity and their stability analysis

abstract: A new class of analytic charged spherically symmetric black hole solutions, which behave asymptotically as flat or (A)dS spacetimes, is derived for specific classes of $f(R)$ gravity, i.e., $f(R)=R-2\alpha\sqrt{R}$ and $f(R)=R-2\alpha\sqrt{R-8\Lambda}$, where $\Lambda$ is the cosmological constant. These black holes are characterized by the dimensional parameter $\alpha$ that makes solutions deviate from the standard solutions of general relativity. The Kretschmann scalar and squared Ricci tensor are shown to depend on the parameter $\alpha$ which is not allowed to be zero. Thermodynamical quantities, like entropy, Hawking temperature, quasi-local energy and the Gibbs free energy are calculated. From these calculations, it is possible to put a constrain on the dimensional parameter $\alpha$ to have $0<\alpha<0.5$, so that all thermodynamical quantities have a physical meaning. The interesting result of these calculations is the possibility of a negative black hole entropy. Furthermore, present calculations show that for negative energy, particles inside a black hole, behave as if they have a negative entropy. This fact gives rise to instability for $f_{RR}<0$. Finally, we study the linear metric perturbations of the derived black hole solution. We show that for the odd-type modes, our black hole is always stable and has a radial speed with fixed value equal to $1$. We also, use the geodesic deviation to derive further stability conditions.


title: Multiverse Predictions for Habitability: Number of Potentially Habitable Planets

abstract: How good is our universe at making habitable planets? The answer to this depends on which factors are important for life: Does a planet need to be Earth mass? Does it need to be inside the temperate zone? are systems with hot Jupiters habitable? Here, we adopt different stances on the importance of each of these criteria to determine their effects on the probabilities of measuring the observed values of several physical constants. We find that the presence of planets is a generic feature throughout the multiverse, and for the most part conditioning on their particular properties does not alter our conclusions much. We find conflict with multiverse expectations if planetary size is important and it is found to be uncorrelated with stellar mass, or the mass distribution is too steep. The existence of a temperate circumstellar zone places tight lower bounds on the fine structure constant and electron to proton mass ratio.


title: Uncertainty Analysis of Microsegregation during Laser Powder Bed Fusion

abstract: Quality control in additive manufacturing can be achieved through variation control of the quantity of interest (QoI). We choose in this work the microstructural microsegregation to be our QoI. Microsegregation results from the spatial redistribution of a solute element across the solid-liquid interface that forms during solidification of an alloy melt pool during the laser powder bed fusion process. Since the process as well as the alloy parameters contribute to the statistical variation in microstructural features, uncertainty analysis of the QoI is essential. High-throughput phase-field simulations estimate the solid-liquid interfaces that grow for the melt pool solidification conditions that were estimated from finite element simulations. Microsegregation was determined from the simulated interfaces for different process and alloy parameters. Correlation, regression, and surrogate model analyses were used to quantify the contribution of different sources of uncertainty to the QoI variability. We found negligible contributions of thermal gradient and Gibbs-Thomson coefficient and considerable contributions of solidification velocity, liquid diffusivity, and segregation coefficient on the QoI. Cumulative distribution functions and probability density functions were used to analyze the distribution of the QoI during solidification. Our approach, for the first time, identifies the uncertainty sources and frequency densities of the QoI in the solidification regime relevant to additive manufacturing.


title: Classifying spaces for projections of immersions with controlled singularities

abstract: We give an explicit simple construction for classifying spaces of maps obtained as hyperplane projections of immersions. We prove structure theorems for these classifying spaces.


title: Regularizing Black-box Models for Improved Interpretability

abstract: Most of the work on interpretable machine learning has focused on designing either inherently interpretable models, which typically trade-off accuracy for interpretability, or post-hoc explanation systems, whose explanation quality can be unpredictable. Our method, ExpO, is a hybridization of these approaches that regularizes a model for explanation quality at training time. Importantly, these regularizers are differentiable, model agnostic, and require no domain knowledge to define. We demonstrate that post-hoc explanations for ExpO-regularized models have better explanation quality, as measured by the common fidelity and stability metrics. We verify that improving these metrics leads to significantly more useful explanations with a user study on a realistic task.


title: Improving quantum annealing of the ferromagnetic $ p $-spin model through pausing

abstract: The probability of success of quantum annealing can be improved significantly by pausing the annealer during its dynamics, exploiting thermal relaxation in a controlled fashion. In this paper, we investigate the effect of pausing the quantum annealing of the fully-connected ferromagnetic $ p $-spin model. We numerically show that (i) the optimal pausing point is 60% longer than the avoided crossing time for the analyzed instance, and (ii) at the optimal pausing point, we register a 45% improvement in the probability of success with respect to a quantum annealing with no pauses of the same duration. These results are in line with those observed experimentally for less connected models with the available quantum annealers. The observed improvement for the $ p $-spin model can be up to two orders of magnitude with respect to an isolated quantum dynamics of the same duration.


title: Seven Myths in Machine Learning Research

abstract: We present seven myths commonly believed to be true in machine learning research, circa Feb 2019. This is an archival copy of the blog post at https://crazyoscarchang.github.io/2019/02/16/seven-myths-in-machine-learning-research/ Myth 1: TensorFlow is a Tensor manipulation library Myth 2: Image datasets are representative of real images found in the wild Myth 3: Machine Learning researchers do not use the test set for validation Myth 4: Every datapoint is used in training a neural network Myth 5: We need (batch) normalization to train very deep residual networks Myth 6: Attention $>$ Convolution Myth 7: Saliency maps are robust ways to interpret neural networks


title: Gemini NIFS survey of feeding and feedback in nearbyActive Galaxies - III. Ionized versus warm molecular gasmasses and distributions

abstract: We have used the Gemini Near-Infrared Integral Field Spectrograph (NIFS) in the J and K bands to map the distribution, excitation and kinematics of the ionized HII and warm molecular gas H$_2$, in the inner few 100 pc of 6 nearby active galaxies: NGC 788, Mrk 607, NGC 3227, NGC 3516, NGC 5506, NGC 5899. {For most galaxies, this is the first time that such maps have been obtained}. The ionized and H$_2$ gas show distinct kinematics: while the H$_2$ gas is mostly rotating in the galaxy plane with low velocity dispersion ($\sigma$), the ionized gas usually shows signatures of outflows associated with higher $\sigma$ values, most clearly seen in the [FeII] emission line. These two gas species also present distinct flux distributions: the H$_2$ is more uniformly spread over the whole galaxy plane, while the ionized gas is more concentrated around the nucleus and/or collimated along the ionization axis of its Active Galactic Nucleus (AGN), presenting a steeper gradient in the average surface mass density profile than the H$_2$ gas. The total HII masses cover the range $2\times10^5-2\times10^7$ M$_{\odot}$, with surface mass densities in the range 3-150 M$_{\odot}$ pc$^{-2}$, while for the warm H$_2$ the values are 10$^{3-4}$ times lower. We estimate that the available gas reservoir is at least $\approx$ 100 times more massive than needed to power the AGN. If this gas form new stars the star-formation rates, obtained from the Kennicutt-schmidt scalling relation, are in the range 1-260$\times$ 10$^{-3}$ M$_{\odot}$ yr$^{-1}$. But the gas will also - at least in part - be ejected in the form of the observed otflows.


title: Chandra observations of the Abell S0295 cluster

abstract: We present deep ($205 \rm ks$), \Chandra observations of the \ab295 binary merging cluster ($z=0.30$). In the X-ray image, the secondary component is clearly visible as a surface brightness peak, while the primary cluster has a flatter distribution. We found cool gas ($\sim 6 \rm keV$) associated with the secondary, while the central temperature of the primary does not deviate significantly from the mean temperature of the cluster of $\sim 9.5 \rm keV$. In the vicinity of the primary's core we found the hottest region in the cluster accompanied by a surface brightness discontinuity. We propose that this region corresponds to a shock, for which we estimate a Mach number of $1.24_{-0.22}^{+0.30}$. We found other merger signatures such as a plume of cool gas emerging from the primary cluster and a cold front and a possible bow shock (Mach number of $1.74_{-0.74}^{+1.02}$) leading the secondary cluster. Based on the observed properties in comparison to binary merger simulations from the literature we propose for \ab295 a low mass ratio, off-axis merging scenario, with secondary close to first apocentre. Comparison of our results with strong lensing observations of \ab295 from \cite{Cibirka2018} shows an offset between the total mass peak and the bulk of the gas distribution in the primary cluster. The properties of the merger and the existence of the offset between mass peak and gas make \ab295 a promising candidate for the study of mergers involving non-cool core clusters and the nature of dark matter.


title: Short and Long-term Pattern Discovery Over Large-Scale Geo-Spatiotemporal Data

abstract: Pattern discovery in geo-spatiotemporal data (such as traffic and weather data) is about finding patterns of collocation, co-occurrence, cascading, or cause and effect between geospatial entities. Using simplistic definitions of spatiotemporal neighborhood (a common characteristic of the existing general-purpose frameworks) is not semantically representative of geo-spatiotemporal data. We therefore introduce a new geo-spatiotemporal pattern discovery framework which defines a semantically correct definition of neighborhood; and then provides two capabilities, one to explore propagation patterns and the other to explore influential patterns. Propagation patterns reveal common cascading forms of geospatial entities in a region. Influential patterns demonstrate the impact of temporally long-term geospatial entities on their neighborhood. We apply this framework on a large dataset of traffic and weather data at countrywide scale, collected for the contiguous United States over two years. Our important findings include the identification of 90 common propagation patterns of traffic and weather entities (e.g., rain --> accident --> congestion), which results in identification of four categories of states within the US; and interesting influential patterns with respect to the "location", "duration", and "type" of long-term entities (e.g., a major construction --> more traffic incidents). These patterns and the categorization of the states provide useful insights on the driving habits and infrastructure characteristics of different regions in the US, and could be of significant value for applications such as urban planning and personalized insurance.


title: Relaxation of the Cosmological Constant

abstract: We present a model that naturally tunes a large positive cosmological constant to a small cosmological constant. A slowly rolling scalar field decreases the cosmological constant to a small negative value, causing the universe to contract, thus reheating it. An expanding universe with a small positive cosmological constant can be obtained, respectively, by coupling this solution to any model of a cosmological bounce and coupling the scalar field to a sector that undergoes a technically natural phase transition at the meV scale. A robust prediction of this model is a rolling scalar field today with some coupling to the standard model. This can potentially be experimentally probed in a variety of cosmological and terrestrial experiments, such as probes of the equation of state of dark energy, birefringence in the cosmic microwave background and terrestrial tests of Lorentz violation.


title: Measurement of b-hadron fractions in 13 TeV pp collisions

abstract: The production fractions of $\overline{B}_s^0$ and $\Lambda_b^0$ hadrons, normalized to the sum of $B^-$ and $\overline{B}^0$ fractions, are measured in 13 TeV pp collisions using data collected by the LHCb experiment, corresponding to an integrated luminosity of 1.67/fb. These ratios, averaged over the $b$-hadron transverse momenta from 4 to 25 GeV and pseudorapidity from 2 to 5, are $0.122 \pm 0.006$ for $\overline{B}_s^0$, and $0.259 \pm 0.018$ for $\Lambda_b^0$, where the uncertainties arise from both statistical and systematic sources. The $\Lambda_b^0$ ratio depends strongly on transverse momentum, while the $\overline{B}_s^0$ ratio shows a mild dependence. Neither ratio shows variations with pseudorapidity. The measurements are made using semileptonic decays to minimize theoretical uncertainties. In addition, the ratio of $D^+$ to $D^0$ mesons produced in the sum of $\overline{B}^0$ and $B^-$ semileptonic decays is determined as $0.359\pm0.006\pm 0.009$, where the uncertainties are statistical and systematic.


title: Coherent control of magnon radiative damping with local photon states

abstract: The collective excitation of ordered spins, known as spin waves or magnons, can in principle radiate by emitting travelling photons to an open system when decaying to the ground state. However, in contrast to the electric dipoles, magnetic dipoles contributed by magnons are more isolated from electromagnetic environment with negligible radiation in the vacuum, limiting their application in coherent communication by photons. Recently, strong interaction between cavity standing-wave photons and magnons has been reported, indicating the possible manipulation of magnon radiation via tailoring photon states. Here, with loading an yttrium iron garnet sphere in a one-dimensional circular waveguide cavity in the presence of both travelling and standing photon modes, we demonstrate an efficient photon emissions from magnon and a significant magnon radiative damping with radiation rate found to be proportional to the local density of states (LDOS) of photon. By modulating the LDOS including its magnitude and/or polarization, we can flexibly tune the photon emission and magnon radiative damping on demand. Our findings provide a general way in manipulating photon emission from magnon radiation for harnessing energy and angular momentum generation, transfer and storage modulated by magnon in the cavity and waveguide electrodynamics.


title: Constructive Heuristics for Min-Power Bounded-Hops Symmetric Connectivity Problem

abstract: We consider a Min-Power Bounded-Hops Symmetric Connectivity problem that consists in the construction of communication spanning tree on a given graph, where the total energy consumption spent for the data transmission is minimized and the maximum number of hops between two nodes is bounded by some predefined constant. We focus on the planar Euclidian case of this problem where the nodes are placed at the random uniformly spread points on a square and the power cost necessary for the communication between two network elements is proportional to the squared distance between them. Since this is an NP-hard problem, we propose different polynomial heuristic algorithms for the approximation solution to this problem. We perform a posteriori comparative analysis of the proposed algorithms and present the obtained results in this paper.


title: End-to-end Lyrics Alignment for Polyphonic Music Using an Audio-to-Character Recognition Model

abstract: Time-aligned lyrics can enrich the music listening experience by enabling karaoke, text-based song retrieval and intra-song navigation, and other applications. Compared to text-to-speech alignment, lyrics alignment remains highly challenging, despite many attempts to combine numerous sub-modules including vocal separation and detection in an effort to break down the problem. Furthermore, training required fine-grained annotations to be available in some form. Here, we present a novel system based on a modified Wave-U-Net architecture, which predicts character probabilities directly from raw audio using learnt multi-scale representations of the various signal components. There are no sub-modules whose interdependencies need to be optimized. Our training procedure is designed to work with weak, line-level annotations available in the real world. With a mean alignment error of 0.35s on a standard dataset our system outperforms the state-of-the-art by an order of magnitude.


title: Propagation Modeling Through Foliage in a Coniferous Forest at 28 GHz

abstract: The goal of this article is to investigate the propagation behavior of 28-GHz millimeter wave in coniferous forests and model its basic transmission loss. Field measurements were conducted with a custom-designed sliding correlator sounder. Relevant foliage regions were extracted from high-resolution LiDAR data and satellite images. Our results show that traditional foliage analysis models for lower-frequency wireless communications fail to consistently output correct path loss predictions. Novel fully automated site-specific models are proposed to resolve this issue, yielding 0.9 dB overall improvement and up to 20 dB regional improvement in root mean square errors.


title: Appearance of T$_d^*$ phase across the T$_{d}$-1T$^{\prime}$ phase boundary in Weyl semimetal MoTe$_{2}$

abstract: Using elastic neutron scattering on single crystals of MoTe$_{2}$ and Mo$_{1-x}$W$_{x}$Te$_{2}$ ($x \lesssim 0.01$), the temperature dependence of the recently discovered T$_{d}^{*}$ phase, present between the low temperature orthorhombic T$_{d}$ phase and high temperature monoclinic 1T$^{\prime}$ phase, is explored. The T$_{d}^{*}$ phase appears only on warming from T$_{d}$ and is observed in the hysteresis region prior to the 1T$^{\prime}$ transition. This phase consists of four layers in its unit cell, and is constructed by an "AABB" sequence of layer stacking operations rather than the "AB" and "AA" sequences of the 1T$^{\prime}$ and T$_{d}$ phases, respectively. Though the T$_{d}^{*}$ phase emerges without disorder on warming from T$_{d}$, on cooling from 1T$^{\prime}$ diffuse scattering is observed that suggests a frustrated tendency toward the "AABB" stacking.


title: The KLR-theorem revisited

abstract: For independent random variables $X_1,\ldots, X_n;Y_1,\ldots, Y_n$ with all $X_i$ identically distributed and same for $Y_j$, we study the relation \[E\{a\bar X + b\bar Y|X_1 -\bar X +Y_1 -\bar Y,\ldots,X_n -\bar X +Y_n -\bar Y\}={\rm const}\] with $a, b$ some constants. It is proved that for $n\geq 3$ and $ab>0$ the relation holds iff $X_i$ and $Y_j$ are Gaussian.\\ A new characterization arises in case of $a=1, b= -1$. In this case either $X_i$ or $Y_j$ or both have a Gaussian component. It is the first (at least known to the author) case when presence of a Gaussian component is a characteristic property.


title: Cosmetic surgeries and the Poincare homology sphere

abstract: In this short note, we prove that if a knot in the Poincare homology sphere is homotopically essential, then it does not admit any purely cosmetic surgeries.


title: Efficiency requires innovation

abstract: In estimation a parameter $\theta\in{\mathbb R}$ from a sample $(x_1,\ldots,x_n)$ from a population $P_{\theta}$ a simple way of incorporating a new observation $x_{n+1}$ into an estimator $\tilde\theta_{n} = \tilde\theta_{n}(x_1,\ldots,x_n)$ is transforming $\tilde\theta_n$ to what we call the {\it jackknife extension} $\tilde\theta_{n+1}^{(e)} = \tilde\theta_{n+1}^{(e)}(x_1,\ldots,x_n,x_{n+1})$, \[\tilde\theta_{n+1}^{(e)} = \{\tilde\theta_n (x_1 ,\ldots,x_n)+ \tilde\theta_n (x_{n+1},x_2 ,\ldots,x_n) + \ldots + \tilde\theta_n (x_1 ,\ldots,x_{n-1},x_{n+1})\}/(n+1).\] Though $\tilde\theta_{n+1}^{(e)}$ lacks an innovation the statistician could expect from a larger data set, it is still better than $\tilde\theta_n$, \[{\rm var}(\tilde\theta_{n+1}^{(e)})\leq\frac{n}{n+1} {\rm var}(\tilde\theta_n).\] However, an estimator obtained by jackknife extension for all $n$ is asymptotically efficient only for samples from exponential families. For a general $P_{\theta}$, asymptotically efficient estimators require innovation when a new observation is added to the data. Some examples illustrate the concept.


title: How much does randomness help with locally checkable problems?

abstract: Locally checkable labeling problems (LCLs) are distributed graph problems in which a solution is globally feasible if it is locally feasible in all constant-radius neighborhoods. Vertex colorings, maximal independent sets, and maximal matchings are examples of LCLs. On the one hand, it is known that some LCLs benefit exponentially from randomness---for example, any deterministic distributed algorithm that finds a sinkless orientation requires $\Theta(\log n)$ rounds in the LOCAL model, while the randomized complexity of the problem is $\Theta(\log \log n)$ rounds. On the other hand, there are also many LCLs in which randomness is useless. Previously, it was not known if there are any LCLs that benefit from randomness, but only subexponentially. We show that such problems exist: for example, there is an LCL with deterministic complexity $\Theta(\log^2 n)$ rounds and randomized complexity $\Theta(\log n \log \log n)$ rounds.


title: Democratisation of Usable Machine Learning in Computer Vision

abstract: Many industries are now investing heavily in data science and automation to replace manual tasks and/or to help with decision making, especially in the realm of leveraging computer vision to automate many monitoring, inspection, and surveillance tasks. This has resulted in the emergence of the 'data scientist' who is conversant in statistical thinking, machine learning (ML), computer vision, and computer programming. However, as ML becomes more accessible to the general public and more aspects of ML become automated, applications leveraging computer vision are increasingly being created by non-experts with less opportunity for regulatory oversight. This points to the overall need for more educated responsibility for these lay-users of usable ML tools in order to mitigate potentially unethical ramifications. In this paper, we undertake a SWOT analysis to study the strengths, weaknesses, opportunities, and threats of building usable ML tools for mass adoption for important areas leveraging ML such as computer vision. The paper proposes a set of data science literacy criteria for educating and supporting lay-users in the responsible development and deployment of ML applications.


title: Dynamics of frequency-swept nuclear spin optical pumping in powdered diamond at low magnetic fields

abstract: A broad effort is underway to improve the sensitivity of nuclear magnetic resonance through the use of dynamic nuclear polarization. Nitrogen-vacancy (NV) centers in diamond offer an appealing platform because these paramagnetic defects can be optically polarized efficiently at room temperature. However, work thus far has been mainly limited to single crystals because most polarization transfer protocols are sensitive to misalignment between the NV and magnetic field axes. Here we study the spin dynamics of NV-13C pairs in the simultaneous presence of optical excitation and microwave frequency sweeps at low magnetic fields. We show that a subtle interplay between illumination intensity, frequency sweep rate, and hyperfine coupling strength leads to efficient, sweep-direction-dependent 13C spin polarization over a broad range of orientations of the magnetic field. In particular, our results strongly suggest that finely-tuned, moderately coupled nuclear spins are key to the hyperpolarization process, which makes this mechanism distinct from other known dynamic polarization channels. These findings pave the route to applications where powders are intrinsically advantageous, including the hyper-polarization of target fluids in contact with the diamond surface or the use of hyperpolarized particles as contrast agents for in-vivo imaging.


title: FreeLabel: A Publicly Available Annotation Tool based on Freehand Traces

abstract: Large-scale annotation of image segmentation datasets is often prohibitively expensive, as it usually requires a huge number of worker hours to obtain high-quality results. Abundant and reliable data has been, however, crucial for the advances on image understanding tasks achieved by deep learning models. In this paper, we introduce FreeLabel, an intuitive open-source web interface that allows users to obtain high-quality segmentation masks with just a few freehand scribbles, in a matter of seconds. The efficacy of FreeLabel is quantitatively demonstrated by experimental results on the PASCAL dataset as well as on a dataset from the agricultural domain. Designed to benefit the computer vision community, FreeLabel can be used for both crowdsourced or private annotation and has a modular structure that can be easily adapted for any image dataset.


title: Shake Slice and Shake Concordant Links

abstract: We can construct a 4-manifold by attaching 2-handles to a 4-ball with framing r along the components of a link in the boundary of the 4-ball. We define a link as r-shake slice if there exists embedded spheres that represent the generators of the second homology of the 4-manifold. This naturally extends r-shake slice, a generalization of slice that has previously only been studied for knots, to links of more than one component. We also define a relative notion of shake r-concordance for links and versions with stricter conditions on the embedded spheres that we call strongly r-shake slice and strongly r shake concordance. We provide infinite families of links that distinguish concordance, shake concordance, and strong shake concordance. Moreover, for r=0 we completely characterize shake slice and shake concordant links in terms of concordance and string link infection. This characterization allows us to prove that the first non-vanishing Milnor mu bar invariants are invariants of shake concordance. We also argue that shake concordance does not imply link homotopy.


title: Characterizing the Integrality Gap of the Subtour LP for the Circulant Traveling Salesman Problem

abstract: We consider the integrality gap of the subtour LP relaxation of the Traveling Salesman Problem restricted to circulant instances. De Klerk and Dobre conjectured that the value of the optimal solution to the subtour LP on these instances is equal to an entirely combinatorial lower bound from Van der Veen, Van Dal, and Sierksma. We prove this conjecture by giving an explicit optimal solution to the subtour LP. We then use it to show that the integrality gap of the subtour LP is 2 on circulant instances, making such instances one of the few non-trivial classes of TSP instances for which the integrality gap of the subtour LP is exactly known. We also show that the degree constraints do not strengthen the subtour LP on circulant instances, mimicking the parsimonious property of metric, symmetric TSP instances shown in Goemans and Bertsimas in a distinctly non-metric set of instances.


title: Classification of Schubert Galois groups in Gr(4,9)

abstract: We classify Schubert problems in the Grassmannian of 4-planes in 9-dimensional space by their Galois groups. Of the 31,806 essential Schubert problems in this Grassmannian, there are only 149 whose Galois group does not contain the alternating group. We identify the Galois groups of these 149 -- each is an imprimitive permutation group. These 149 fall into two families according to their geometry. This study suggests a possible classification of Schubert problems whose Galois group is not the full symmetric group, and it begins to establish the inverse Galois problem for Schubert calculus.


title: Absence of Landau-Peierls Instability in the Magnetic Dual Chiral Density Wave Phase of Dense QCD

abstract: We investigate the stability of the Magnetic Dual Chiral Density Wave (MDCDW) phase of cold and dense QCD against collective low-energy fluctuations of the order parameter. The appearance of additional structures in the system free-energy due to the explicit breaking of the rotational and isospin symmetries by the external magnetic field and the field-induced asymmetry of the lowest Landau level modes play a crucial role in the analysis. The new structures not only affect the condensate minimum equations, but also the spectrum of the thermal fluctuations, which lacks the transverse soft modes that typically affect single-modulated inhomogeneous phases in the absence of a magnetic field. Consequently, the long-range order of the MDCDW phase is preserved at finite temperature. The lack of Landau-Peierls instabilities in the MDCDW phase makes this inhomogeneous phase of dense quark matter particularly relevant for the physics of neutron stars.


title: Representations of dual spaces

abstract: We give a nonlinear representation of the duals for a class of Banach spaces. This leads to classroom-friendly proofs of the classical representation theorems $H'=H$ and $(L^p)'=L^q$. Our proofs extend to a family of Orlicz spaces, and yield as an unexpected byproduct a version of the Helly-Hahn-Banach theorem.


title: The Complexity of Max-Min $k$-Partitioning

abstract: In this paper we study a max-min $k$-partition problem on a weighted graph, that could model a robust $k$-coalition formation. We settle the computational complexity of this problem as complete for class $\Sigma_2^P$. This hardness holds even for $k=2$ and arbitrary weights, or $k=3$ and non-negative weights, which matches what was known on \textsc{MaxCut} and \textsc{Min-3-Cut} one level higher in the polynomial hierarchy.


title: A differential-equation model shows the proximate cause of the glass ceiling in European academia

abstract: We introduce a model based on Ordinary Differential Equations to describe how two mutually exclusive groups progress through a career hierarchy, whether in a single organization, or in an entire economic sector. The intended application is to gender imbalance at the top of the academic hierarchy in European Universities, however, the model is entirely generic and may be applied in other contexts also. Previous research on gender imbalance in European universities has focused on large-scale statistical studies. Our model represents a point of departure, as it is deterministic (i.e. based on Ordinary Differential Equations). The model requires a precise definition of the progression rates for the different groups through the hierarchy; these are key parameters governing the dynamics of career progression. The progression rate for each group can be decomposed into a product: the proportion of group members at a low level in the hierarchy who compete for promotion to the next level a given year, multiplied by the in-competition success rate for the group in question. Either of these two parameters can differ across the groups under consideration; this introduces a group asymmetry into the organization's composition. We introduce a glass-ceiling index to summarize this asymmetry succinctly. Using case studies from the literature, we demonstrate how the mathematical framework can pinpoint the proximate cause of the glass ceiling in European academia.


title: Multi-class fundamental diagrams from the Prigogine-Herman-Boltzmann equation

abstract: Our aim in this paper is to establish a theoretical fundamental diagram for a multi-class traffic flow from a gas-kinetic-like traffic model. We start with a multi-class generalization of the Prigogine-Herman-Boltzmann equation to construct the fundamental relation for this system. We show that there exists a critical density which depends on the relative concentration of slow and fast users and describe a procedure to find the threshold value. Finally, our flow-density relation for a two-class mixture of vehicles is contrasted with empirical data in the literature.


title: The State of the Art in Multilayer Network Visualization

abstract: Modelling relationships between entities in real-world systems with a simple graph is a standard approach. However, reality is better embraced as several interdependent subsystems (or layers). Recently the concept of a multilayer network model has emerged from the field of complex systems. This model can be applied to a wide range of real-world datasets. Examples of multilayer networks can be found in the domains of life sciences, sociology, digital humanities and more. Within the domain of graph visualization there are many systems which visualize datasets having many characteristics of multilayer graphs. This report provides a state of the art and a structured analysis of contemporary multilayer network visualization, not only for researchers in visualization, but also for those who aim to visualize multilayer networks in the domain of complex systems, as well as those developing systems across application domains. We have explored the visualization literature to survey visualization techniques suitable for multilayer graph visualization, as well as tools, tasks, and analytic techniques from within application domains. This report also identifies the outstanding challenges for multilayer graph visualization and suggests future research directions for addressing them.


title: A Six-moment Multi-fluid Plasma Model

abstract: We present a six-moment multi-fluid model, which solves the governing equations for both ions and electrons, with pressure anisotropy along and perpendicular to the magnetic field direction, as well as the complete set of Maxwell equations. This set of equations includes the Hall effect, different temperatures for different species and pressure anisotropy. It is more comprehensive than the five-moment equations with isotropic pressures and significantly less expensive than the ten-moment equations with a full pressure tensors. Similarly to the five- and ten-moment equations, the wave speeds are naturally limited by the speed of light, which eliminates the issue of unlimited whistler wave speeds present in Hall magnetohydrodynamics (MHD). It is also possible to simulate multiple negatively charged fluids, which cannot be done in MHD models. The six-moment model is a reasonable description of the plasma outside magnetic reconnection regions and therefore well-suited to be coupled with an embedded particle-in-cell model that covers the reconnection region. Our numerical implementation uses a point-implicit scheme for the stiff source terms, and we use a second-order accurate Rusanov-type scheme with carefully selected wave speeds. For the plasma variables and the magnetic field the maximum wave speed is based on the fast magnetosonic speed of MHD with anisotropic pressures that we derive. For the electric field related variables the speed of light is used. The divergence of the magnetic field and Gauss's law are controlled with a hyperbolic-parabolic scheme. We present a number of numerical tests to demonstrate that this numerical model is robust without being excessively diffusive.


title: Integral cographs and applications

abstract: A graph is called integral if all the eigenvalues of its adjacency matrix are integers. In this paper, we show a cograph that has a balanced cotree $T_{G}(a_{1},\ldots,a_{r-1},0|0,\ldots,0,a_{r})$ is integral computing its spectrum. As an application, these integral cographs can be used to estimate the eigenvalues of any cograph.


title: Data augmentation for low resource sentiment analysis using generative adversarial networks

abstract: Sentiment analysis is a task that may suffer from a lack of data in certain cases, as the datasets are often generated and annotated by humans. In cases where data is inadequate for training discriminative models, generate models may aid training via data augmentation. Generative Adversarial Networks (GANs) are one such model that has advanced the state of the art in several tasks, including as image and text generation. In this paper, I train GAN models on low resource datasets, then use them for the purpose of data augmentation towards improving sentiment classifier generalization. Given the constraints of limited data, I explore various techniques to train the GAN models. I also present an analysis of the quality of generated GAN data as more training data for the GAN is made available. In this analysis, the generated data is evaluated as a test set (against a model trained on real data points) as well as a training set to train classification models. Finally, I also conduct a visual analysis by projecting the generated and the real data into a two-dimensional space using the t-Distributed Stochastic Neighbor Embedding (t-SNE) method.


title: Theoretical study of electron structure of superheavy elements with an open $6d$-shell, Sg, Bh, Hs and Mt

abstract: We use recently developed efficient versions of the configuration interaction method to perform {\em ab initio} calculations of the spectra of superheavy elements seaborgium (Sg, $Z=106$), bohrium (Bh, $Z=107$), hassium (Hs, $Z=108$) and meitnerium (Mt, $Z=109$). We calculate energy levels, ionization potentials, isotope shifts and electric dipole transition amplitudes. Comparison with lighter analogs reveals significant differences caused by strong relativistic effects in superheavy elements. Very large spin-orbit interaction distinguishes subshells containing orbitals with a definite total electron angular momentum $j$. This effect replaces Hund's rule holding for lighter elements.


title: Motion Equivariant Networks for Event Cameras with the Temporal Normalization Transform

abstract: In this work, we propose a novel transformation for events from an event camera that is equivariant to optical flow under convolutions in the 3-D spatiotemporal domain. Events are generated by changes in the image, which are typically due to motion, either of the camera or the scene. As a result, different motions result in a different set of events. For learning based tasks based on a static scene such as classification which directly use the events, we must either rely on the learning method to learn the underlying object distinct from the motion, or to memorize all possible motions for each object with extensive data augmentation. Instead, we propose a novel transformation of the input event data which normalizes the $x$ and $y$ positions by the timestamp of each event. We show that this transformation generates a representation of the events that is equivariant to this motion when the optical flow is constant, allowing a deep neural network to learn the classification task without the need for expensive data augmentation. We test our method on the event based N-MNIST dataset, as well as a novel dataset N-MOVING-MNIST, with significantly more variety in motion compared to the standard N-MNIST dataset. In all sequences, we demonstrate that our transformed network is able to achieve similar or better performance compared to a network with a standard volumetric event input, and performs significantly better when the test set has a larger set of motions than seen at training.


title: Giant Conductivity Modulation of Aluminum Oxide using Focused Ion Beam

abstract: Precise control of the conductivity of semiconductors through doping has enabled the creation of advanced electronic devices, similarly, the ability to control the conductivity in oxides can enable novel advanced electronic and optoelectronic functionalities. While this was successfully shown for moderately insulating oxides, such as In2O3, a reliable method for increasing the conductivity of highly insulating, wide bandgap dielectrics, such as aluminum oxide (Al2O3), has not been reported yet. Al2O3 is a material of significant technological interest, permeating diverse fields of application, thanks to its exceptional mechanical strength and dielectric properties. Here we present a versatile method for precisely changing the conductivity of Al2O3 . Our approach greatly exceeds the magnitude of the best previously reported change of conductivity in an oxide. Our method uses focused ion beam to produce conductive zones with nanoscale resolution within the insulating Al2O3 matrix. We investigated the source of conductivity modulation and identified trap-assisted conduction in the ion damage-induced defects as the main charge transport mechanism. Temperature-dependency of the conductivity and optical characterization of the patterned areas offer further insight into the nature of the conduction mechanism. We also show that the process is extremely reproducible and robust against moderate annealing temperatures and chemical environment. The record conductivity modulation, combined with the nanoscale patterning precision allows the creation of conductive zones within a highly insulating, mechanically hard, chemically inert, and bio-compatible matrix, which could find broad applications in electronics, optoelectronics, and medical implants


title: Low-bit Quantization of Neural Networks for Efficient Inference

abstract: Recent machine learning methods use increasingly large deep neural networks to achieve state of the art results in various tasks. The gains in performance come at the cost of a substantial increase in computation and storage requirements. This makes real-time implementations on limited resources hardware a challenging task. One popular approach to address this challenge is to perform low-bit precision computations via neural network quantization. However, aggressive quantization generally entails a severe penalty in terms of accuracy, and often requires retraining of the network, or resorting to higher bit precision quantization. In this paper, we formalize the linear quantization task as a Minimum Mean Squared Error (MMSE) problem for both weights and activations, allowing low-bit precision inference without the need for full network retraining. The main contributions of our approach are the optimizations of the constrained MSE problem at each layer of the network, the hardware aware partitioning of the network parameters, and the use of multiple low precision quantized tensors for poorly approximated layers. The proposed approach allows 4 bits integer (INT4) quantization for deployment of pretrained models on limited hardware resources. Multiple experiments on various network architectures show that the suggested method yields state of the art results with minimal loss of tasks accuracy.


title: Some steps in the verification of the ordinary character table of the Baby Monster group

abstract: We show the details of certain computations that are described in [BMW19].


title: Autonomous Airline Revenue Management: A Deep Reinforcement Learning Approach to Seat Inventory Control and Overbooking

abstract: Revenue management can enable airline corporations to maximize the revenue generated from each scheduled flight departing in their transportation network by means of finding the optimal policies for differential pricing, seat inventory control and overbooking. As different demand segments in the market have different Willingness-To-Pay (WTP), airlines use differential pricing, booking restrictions, and service amenities to determine different fare classes or products targeted at each of these demand segments. Because seats are limited for each flight, airlines also need to allocate seats for each of these fare classes to prevent lower fare class passengers from displacing higher fare class ones and set overbooking limits in anticipation of cancellations and no-shows such that revenue is maximized. Previous work addresses these problems using optimization techniques or classical Reinforcement Learning methods. This paper focuses on the latter problem - the seat inventory control problem - casting it as a Markov Decision Process to be able to find the optimal policy. Multiple fare classes, concurrent continuous arrival of passengers of different fare classes, overbooking and random cancellations that are independent of class have been considered in the model. We have addressed this problem using Deep Q-Learning with the goal of maximizing the reward for each flight departure. The implementation of this technique allows us to employ large continuous state space but also presents the potential opportunity to test on real time airline data. To generate data and train the agent, a basic air-travel market simulator was developed. The performance of the agent in different simulated market scenarios was compared against theoretically optimal solutions and was found to be nearly close to the expected optimal revenue.


title: Ordered Line Integral Methods for Solving the Eikonal Equation

abstract: We present a family of fast and accurate Dijkstra-like solvers for the eikonal equation and factored eikonal equation which compute solutions on a regular grid by solving local variational minimization problems. Our methods converge linearly but compute significantly more accurate solutions than competing first order methods. In 3D, we present two different families of algorithms which significantly reduce the number of FLOPs needed to obtain an accurate solution to the eikonal equation. One method employs a fast search using local characteristic directions to prune unnecessary updates, and the other uses the theory of constrained optimization to achieve the same end. The proposed solvers are more efficient than the standard fast marching method in terms of the relationship between error and CPU time. We also modify our method for use with the additively factored eikonal equation, which can be solved locally around point sources to maintain linear convergence. We conduct extensive numerical simulations and provide theoretical justification for our approach. A library that implements the proposed solvers is available on GitHub.


title: Row contractions annihilated by interpolating vanishing ideals

abstract: We study similarity classes of commuting row contractions annihilated by what we call higher order vanishing ideals of interpolating sequences. Our main result exhibits a Jordan-type direct sum decomposition for these row contractions. We illustrate how the family of ideals to which our theorem applies is very rich, especially in several variables. We also give two applications of the main result. First, we obtain a purely operator theoretic characterization of interpolating sequences. Second, we classify certain classes of cyclic commuting row contractions up to quasi-similarity in terms of their annihilating ideals. This refines some of our recent work on the topic. We show how this classification is sharp: in general quasi-similarity cannot be improved to similarity. The obstruction to doing so is the existence, or lack thereof, of norm-controlled similarities between commuting tuples of nilpotent matrices, and we investigate this question in detail.