title: The Light Gluino Gap

abstract: A variety of experimental searches and theoretical efforts have constrained gluinos that undergo an all-hadronic decay with no missing energy, as can arise in R-parity violating or stealth supersymmetry. Although the gluino->jj decay is robustly excluded, there is gap in current experimental coverage for gluinos with masses between 51-76 GeV that decay into three light-flavor quarks. In this work, we probe this gap with published multi-jet data from the UA2 experiment. Despite setting the strongest current limit on this region, we find that UA2 data is unable to close this gap for gluino->jjj decays. In addition to this three-jet gap, we note an additional gap for all-hadronic gluino -> n parton decays with $n\geq 4$ for light gluinos (51 GeV < m < 300 GeV) not covered by the current search program.


title: On graph products of multipliers and the Haagerup property for $C^*$-dynamical systems

abstract: We consider the notion of the graph product of actions of groups $\left\{G_v\right\}$ on a $C^*$-algebra $\mathcal{A}$ and show that under suitable commutativity conditions the graph product action $\bigstar_\Gamma \alpha_v: \bigstar_\Gamma G_v \curvearrowright \mathcal{A}$ has the Haagerup property if each action $\alpha_v: G_v \curvearrowright \mathcal{A}$ possesses the Haagerup property. This generalizes the known results on graph products of groups with the Haagerup property. To accomplish this, we introduce the graph product of multipliers associated to the actions and show that the graph product of positive definite multipliers is positive definite. These results have impacts on left transformation groupoids and give an alternative proof of a known result for coarse embeddability. We also record a cohomological characterization of the Haagerup property for group actions.


title: Implicit representation conjecture for semi-algebraic graphs

abstract: The implicit representation conjecture concerns hereditary families of graphs. Given a graph in such a family, we want to assign some string of bits to each vertex in such a way that we can recover the information about whether 2 vertices are connected or not using only the 2 strings of bits associated with those two vertices. We then want to minimise the length of this string. The conjecture states that if the family is hereditary and small enough (it only has $2^{O(n\ln(n))}$ graphs of size $n$), then $O(\ln(n))$ bits per vertex should be sufficient. The trivial bounds on this problem are that: (1) some families require at least $\ln_2(n)$ bits per vertex ; (2) $(n-1)/2+\ln_2(n)$ bits per vertex are sufficient for all families. In this paper, we will be talking about a special case of the implicit representation conjecture, where the family is semi-algebraic (which roughly means that the vertices are points in some euclidean space, and the edges are defined geometrically, or according to some polynomials). We will first prove that the `obvious' way of storing the information, where we store an approximation of the coordinates of each vertex, doesn't work. Then we will come up with a way of storing the information that requires $O(n^{1-\epsilon})$ bits per vertex, where $\epsilon$ is some small constant depending only on the family. This is a slight improvement over the trivial bound, but is still a long way from proving the conjecture.


title: Graphene mechanical pixels for Interferometric MOdulator Displays (GIMOD)

abstract: Graphene, the carbon monolayer and 2D allotrope of graphite, has the potential to impact technology with a wide range of applications such as optical modulators for high-speed communications. In contrast to modulation devices that rely on plasmonic or electronic effects, MEMS-based modulators can have wider tuning ranges albeit at a lower operating frequency. These properties make electro-optic mechanical modulators ideal for reflective-type display technologies as has been demonstrated previously with SiN membranes in Interferometric MOdulator Displays (IMODs). Despite their low-power consumption and performance in bright environments, IMODs suffer from low frame rates and limited color gamut. Double-layer graphene (DLG) membranes grown by chemical vapor deposition (CVD) can also recreate the interference effect like in IMODs as proven with drumheads displaying Newton's rings. Here, we report on the electro-optical response of CVD DLG mechanical pixels by measuring the change in wavelength-dependent reflectance of a suspended graphene drumhead as a function of electrical gating. We use a spectrometer to measure the wavelength spectrum at different voltages, and find a good agreement with a model based on light interference. Moreover, to verify that gas compression effects do not play an important role, we use a stroboscopic illumination technique to study the electro-optic response of these graphene pixels at frequencies up to 400 Hz. Based on these findings, we demonstrate a continuous full-spectrum reflective-type pixel technology with a Graphene Interferometric MOdulator Display (GIMOD) prototype of 2500 pixels per inch (ppi) equivalent to more than 12K resolution.


title: Cauchy data spaces and Atiyah-Patodi-Singer index on non-compact manifolds

abstract: We study the Cauchy data spaces of the strongly Callias-type operators using maximal domain on manifolds with non-compact boundary, with the aim of understanding the Atiyah-Patodi-Singer index and elliptic boundary value problems.


title: Optimal Sensor Collaboration for Parameter Tracking Using Energy Harvesting Sensors

abstract: In this paper, we design an optimal sensor collaboration strategy among neighboring nodes while tracking a time-varying parameter using wireless sensor networks in the presence of imperfect communication channels. The sensor network is assumed to be self-powered, where sensors are equipped with energy harvesters that replenish energy from the environment. In order to minimize the mean square estimation error of parameter tracking, we propose an online sensor collaboration policy subject to real-time energy harvesting constraints. The proposed energy allocation strategy is computationally light and only relies on the second-order statistics of the system parameters. For this, we first consider an offline non-convex optimization problem, which is solved exactly using semidefinite programming. Based on the offline solution, we design an online power allocation policy that requires minimal online computation and satisfies the dynamics of energy flow at each sensor. We prove that the proposed online policy is asymptotically equivalent to the optimal offline solution and show its convergence rate and robustness. We empirically show that the estimation performance of the proposed online scheme is better than that of the online scheme when channel state information about the dynamical system is available in the low SNR regime. Numerical results are conducted to demonstrate the effectiveness of our approach.


title: Near-infrared scintillation of liquid argon: recent results obtained with the NIR facility at Fermilab

abstract: After a short review of previous attempts to observe and measure the near-infrared scintillation in liquid argon, we present new results obtained with NIR, a dedicated cryostat at the Fermilab Proton Assembly Building (PAB). The new results give confidence that the near-infrared light can be used as the much needed light signal in large liquid argon time projection chambers.11 pages,


title: Realistic Compactification Models in Einstein-Gauss-Bonnet Gravity

abstract: We report the results of a study on the dynamical compactification of spatially flat cosmological models in Einstein-Gauss-Bonnet gravity. The analysis was performed in the arbitrary dimension in order to be more general. We consider both vacuum and $\Lambda$-term cases. Our results suggest that for vacuum case, realistic compactification into the Kasner (power law) regime occurs with any number of dimensions ($D$), while the compactification into the exponential solution occurs only for $D \geqslant 2$. For the $\Lambda$-term case only compactification into the exponential solution exists, and it only occurs for $D \geqslant 2$ as well. Our results, combined with the bounds on Gauss-Bonnet coupling and the $\Lambda$-term ($\alpha, \Lambda$, respectively) from other considerations, allow for the tightening of the existing constraints and forbid $\alpha < 0$.


title: Fluid sensitive nanoscale switching with quantum levitation controlled by $\alpha$-Sn/$\beta$-Sn phase transition

abstract: We analyse the Lifshitz pressure between silica and tin separated by a liquid mixture of bromobenzene and chlorobenzene. We show that the phase transition from semimetallic $\alpha$-Sn to metallic $\beta$-Sn can switch Lifshitz forces from repulsive to attractive. This effect is caused by the difference in dielectric functions of $\alpha$-Sn and $\beta$-Sn, giving both attractive and repulsive contributions to the total Lifshitz pressure at different frequency regions controlled by the composition of the intervening liquid mixture. In this way, one may be able to produce phase transition-controlled quantum levitation in liquid medium.


title: On the structure of solutions for general hyperbolic systems of balance laws

abstract: The paper describes the qualitative structure of BV entropy solutions of a strictly hyperbolic system of balance laws with characteristic fields either piecewise genuinely nonlinear or linearly degenerate. In particular, we provide an accurate description of the local and global wave-front structure of a BV solution generated by a fractional step scheme combined with a wave-front tracking algorithm. This extends the corresponding results by Binahcini and Yu for strictly hyperbolic systems of conservation laws.


title: Convergence in nonlinear laser wakefield accelerators modeling in a Lorentz-boosted frame

abstract: Laser wakefield acceleration modeling using the Lorentz-boosted frame technique in the particle-in-cell code has demonstrated orders of magnitude speedups. A convergence study was previously conducted in cases with external injection in the linear regime and without injection in the nonlinear regime, and the obtained results have shown a convergence within the percentage level. In this article, a convergence study is carried out to model electron self-injection in the 2-1/2D configuration. It is observed that the Lorentz-boosted frame technique is capable of modeling complex particle dynamics with a significant speedup. This result is crucial to curtail the computational time of the modeling of future chains of $10\,\mathrm{GeV}$ laser wakefield accelerator stages with high accuracy.


title: PySEAL: A Python wrapper implementation of the SEAL homomorphic encryption library

abstract: Motivation: The ability to perform operations on encrypted data has a growing number of applications in bioinformatics, with implications for data privacy in health care and biosecurity. The SEAL library is a popular implementation of fully homomorphic encryption developed in C++ by Microsoft Research. Despite the advantages of C++, Python is a flexible and dominant programming language that enables rapid prototyping of bioinformatics pipelines. Results: In an effort to make homomorphic encryption accessible to a broader range of bioinformatics scientists and applications, we present a Python binding implementation of the popular homomorphic encryption library, SEAL, using pybind11. The software contains a Docker image to facilitate easy installation and execution of the SEAL build process. Availability: All code is publicly available at https://github.com/Lab41/PySEAL Contact: lab41@iqt.org Supplementary information: Supplementary information is available on the Lab41 GitHub.


title: Controllability implies mixing I. Convergence in the total variation metric

abstract: This paper is the first part of a project devoted to studying the interconnection between controllability properties of a dynamical system and the large-time asymptotics of trajectories for the associated stochastic system. It is proved that the approximate controllability to a given point and the solid controllability from the same point imply the uniqueness of a stationary measure and exponential mixing in the total variation metric. This result is then applied to random differential equations on a compact Riemannian manifold. In the second part, we shall replace the solid controllability by a stabilisability condition and prove that it is still sufficient for the uniqueness of a stationary distribution, whereas the convergence to it holds in the weaker dual-Lipschitz metric.


title: Controllability implies mixing II. Convergence in the dual-Lipschitz metric

abstract: This paper continues our study of the interconnection between controllability and mixing properties of random dynamical systems. We begin with an abstract result showing that the approximate controllability to a point and a local stabilisation property imply the uniqueness of a stationary measure and exponential mixing in the dual-Lipschitz metric. This result is then applied to the 2D Navier-Stokes system driven by a random force acting through the boundary. A by-product of our analysis is the local exponential stabilisation of the boundary-driven Navier-Stokes system by a regular boundary control.


title: Radiative recombination of large polarons in halide perovskites

abstract: In halide perovskites, electrons (holes) exist as electronic (hole) polarons, excitons, free and trapped electrons (holes). Six kinds of collisions could lead to annihilation of electron and hole, three of them involve polaron(s). In the annihilation channel of each collision process, there is a certain probability to form a dying pair which the average distance between electron and hole is smaller than a critical distance. The annihilation probability per unit time of a collision process is a product of the formation probability of the dying pair in the annihilation channel and the annihilation probability per unit time of dying pair. To annihilate an electronic (hole) polaron, electron (hole) must break away from the distorted environment, which can be achieved either by tunneling or by thermal activation. The observed temperature dependence of monomolecular and bimolecular recombination rates, the peak frequency and line width of photoluminescence spectrum are reproduced.


title: Precoding and Spatial Modulation in the Downlink of MU-MIMO Systems

abstract: This work focuses on the downlink communication of a multiuser MIMO system where the base station antennas and the users' receiving antennas are all active, but at each transmission, only a subset of the receive antennas is selected by the base station to receive the information symbols, and the particular chosen subset (pattern) represents part of the information conveyed to the user. In this paper we present a mathematical model for the system and develop expressions that are fairly general and adequate for its analysis. Based on these expressions we propose a procedure to optimize the choice by the ERB of the sets of antenna patterns to be used in the transmissions to the different users, aiming at the maximization of the detection signal-to-noise ratio. Performance results, with and without the optimization procedure, are presented for different scenarios.


title: SACRE: Supporting contextual requirements' adaptation in modern self-adaptive systems in the presence of uncertainty at runtime

abstract: Runtime uncertainty such as unpredictable resource unavailability, changing environmental conditions and user needs, as well as system intrusions or faults represents one of the main current challenges of self-adaptive systems. Moreover, today's systems are increasingly more complex, distributed, decentralized, etc. and therefore have to reason about and cope with more and more unpredictable events. Approaches to deal with such changing requirements in complex today's systems are still missing. This work presents SACRE (Smart Adaptation through Contextual REquirements), our approach leveraging an adaptation feedback loop to detect self-adaptive systems' contextual requirements affected by uncertainty and to integrate machine learning techniques to determine the best operationalization of context based on sensed data at runtime. SACRE is a step forward of our former approach ACon which focus had been on adapting the context in contextual requirements, as well as their basic implementation. SACRE primarily focuses on architectural decisions, addressing self-adaptive systems' engineering challenges. Furthering the work on ACon, in this paper, we perform an evaluation of the entire approach in different uncertainty scenarios in real-time in the extremely demanding domain of smart vehicles. The real-time evaluation is conducted in a simulated environment in which the smart vehicle is implemented through software components. The evaluation results provide empirical evidence about the applicability of SACRE in real and complex software system domains.


title: Adaptive Matching Pursuit based Online Identification and Control Scheme for Nonlinear Systems

abstract: The complexity of adaptive control of nonlinear time-varying systems requires the use of novel methods that have lower computational complexity as well as ensuring good performance under time-varying parameter changes. In this study, we use adaptive matching pursuit algorithm with wavelet bases for an online identification and control of the nonlinear system with time-varying parameters. We apply the proposed online identification and control scheme to two different benchmark examples of nonlinear system identification and control. Simulation results show that the proposed algorithm, using adaptive matching pursuit with wavelet bases, can effectively identify and control the nonlinear system even in presence of time-varying parameters.


title: Strategic Research Grant Report: Fiber-shaped lithium-ion batteries with metallic electrodes

abstract: We have demonstrated a fiber lithium ion battery (LIB) fabricated by co-twisting a LiFePO4 composite-coated copper wire (cathode) together with an aluminum wire (anode). An all-solid LiPF6 composite layer functioning both as the electrolyte and battery separator is deposited onto the two electrode wires before twisting. To characterize the electrochemical properties of the battery, charge-discharge tests with different C-rates are performed. The fiber LIB has an open-circuit voltage of ~3.4 V, and the typical specific capacity is found to be ~87 mAhg-1 at 0.5 C charge-discharge rate. Besides, the proposed battery has a Coulombic efficiency of more than 82% throughout all the charge-discharge tests. We also find that bending of the fiber battery has insignificant influence on the battery electrochemical properties.


title: On the stability of the positive mass theorem for asymptotically hyperbolic graphs

abstract: The positive mass theorem states that the total mass of a complete asymptotically flat manifold with non-negative scalar curvature is non-negative; moreover, the total mass equals zero if and only if the manifold is isometric to the Euclidean space. Huang and Lee [2015] proved the stability of the Positive Mass Theorem for a class of $n$-dimensional ($n \geq 3$) asymptotically flat graphs with non-negative scalar curvature, in the sense of currents. Motivated by their work and using results of Dahl, Gicquaud and Sakovich [2013], we adapt their ideas to obtain a similar result regarding the stability of the positive mass theorem, in the sense of currents, for a class of $n$-dimensional $(n \geq 3)$ asymptotically hyperbolic graphs with scalar curvature bigger than or equal to $-n(n-1)$.


title: Style Memory: Making a Classifier Network Generative

abstract: Deep networks have shown great performance in classification tasks. However, the parameters learned by the classifier networks usually discard stylistic information of the input, in favour of information strictly relevant to classification. We introduce a network that has the capacity to do both classification and reconstruction by adding a "style memory" to the output layer of the network. We also show how to train such a neural network as a deep multi-layer autoencoder, jointly minimizing both classification and reconstruction losses. The generative capacity of our network demonstrates that the combination of style-memory neurons with the classifier neurons yield good reconstructions of the inputs when the classification is correct. We further investigate the nature of the style memory, and how it relates to composing digits and letters. Finally, we propose that this architecture enables the bidirectional flow of information used in predictive coding, and that such bidirectional networks can help mitigate against being fooled by ambiguous or adversarial input.


title: On Discrimination Discovery and Removal in Ranked Data using Causal Graph

abstract: Predictive models learned from historical data are widely used to help companies and organizations make decisions. However, they may digitally unfairly treat unwanted groups, raising concerns about fairness and discrimination. In this paper, we study the fairness-aware ranking problem which aims to discover discrimination in ranked datasets and reconstruct the fair ranking. Existing methods in fairness-aware ranking are mainly based on statistical parity that cannot measure the true discriminatory effect since discrimination is causal. On the other hand, existing methods in causal-based anti-discrimination learning focus on classification problems and cannot be directly applied to handle the ranked data. To address these limitations, we propose to map the rank position to a continuous score variable that represents the qualification of the candidates. Then, we build a causal graph that consists of both the discrete profile attributes and the continuous score. The path-specific effect technique is extended to the mixed-variable causal graph to identify both direct and indirect discrimination. The relationship between the path-specific effects for the ranked data and those for the binary decision is theoretically analyzed. Finally, algorithms for discovering and removing discrimination from a ranked dataset are developed. Experiments using the real dataset show the effectiveness of our approaches.


title: Local Electronic Structure Changes in Polycrystalline CdTe with CdCl$_2$ Treatment and Air Exposure

abstract: Post-deposition CdCl$_2$ treatment of polycrystalline CdTe is known to increase photovoltaic efficiency. However, the precise chemical, structural, and electronic changes that underpin this improvement are still debated. In this study, spectroscopic photoemission electron microscopy was used to spatially map the vacuum level and ionization energy of CdTe films, enabling the identification of electronic structure variations between grains and grain boundaries. In vacuo preparation and inert transfer of oxide-free CdTe surfaces isolated the separate effects of CdCl$_2$ treatment and ambient oxygen exposure. Qualitatively, grain boundaries displayed lower work function and downward band bending relative to grain interiors, but only after air exposure of CdCl$_2$-treated CdTe. Analysis of numerous space charge regions at grain boundaries (GBs) showed an average depletion width of 290 nm and an average band bending magnitude of 70 meV, corresponding to a GB trap density of 10$^{11}$ cm$^{-2}$ and a net carrier density of 10$^{15}$ cm$^{-3}$. These results suggest that both CdCl$_2$ treatment and oxygen exposure may be independently tuned to enhance CdTe photovoltaic performance by engineering the interface and bulk electronic structure.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.chem-ph physics.ins-det


title: The Orion fingers: H$_2$ temperatures and excitation in an explosive outflow

abstract: We measure H$_2$ temperatures and column densities across the Orion BN/KL explosive outflow from a set of thirteen near-IR H$_2$ rovibrational emission lines observed with the TripleSpec spectrograph on Apache Point Observatory's 3.5-meter telescope. We find that most of the region is well-characterized by a single temperature (~2000-2500 K), which may be influenced by the limited range of upper energy levels (6000-20,000 K) probed by our data set. The H$_2$ column density maps indicate that warm H$_2$ comprises 10$^{-5}$ - 10$^{-3}$ of the total H$_2$ column density near the center of the outflow. Combining column density measurements for co-spatial H$_2$ and CO at T = 2500 K, we measure a CO/H$_2$ fractional abundance of 2$\times$10$^{-3}$, and discuss possible reasons why this value is in excess of the canonical 10$^{-4}$ value, including dust attenuation, incorrect assumptions on co-spatiality of the H$_2$ and CO emission, and chemical processing in an extreme environment. We model the radiative transfer of H$_2$ in this region with UV pumping models to look for signatures of H$_2$ fluorescence from H I Ly$\alpha$ pumping. Dissociative (J-type) shocks and nebular emission from the foreground Orion H II region are considered as possible Ly$\alpha$ sources. From our radiative transfer models, we predict that signatures of Ly$\alpha$ pumping should be detectable in near-IR line ratios given a sufficiently strong source, but such a source is not present in the BN/KL outflow. The data are consistent with shocks as the H$_2$ heating source.


title: Unified thermodynamic uncertainty relations in linear response

abstract: Thermodynamic uncertainty relations (TURs) are recently established relations between the relative uncertainty of time-integrated currents and entropy production in nonequilibrium systems. For small perturbations away from equilibrium, linear response (LR) theory provides the natural framework to study generic nonequilibrium processes. Here we use LR to derive TURs in a straightforward and unified way. Our approach allows us to generalize TURs to systems without local time reversal symmetry, including, for example, ballistic transport, and periodically driven classical and quantum systems. We find that for broken time reversal, the bounds on the relative uncertainty are controlled both by dissipation and by a parameter encoding the asymmetry of the Onsager matrix. We illustrate our results with an example from mesoscopic physics. We also extend our approach beyond linear response: for Markovian dynamics it reveals a connection between the TUR and current fluctuation theorems.


title: Convergence of Gradient Descent on Separable Data

abstract: We provide a detailed study on the implicit bias of gradient descent when optimizing loss functions with strictly monotone tails, such as the logistic loss, over separable datasets. We look at two basic questions: (a) what are the conditions on the tail of the loss function under which gradient descent converges in the direction of the $L_2$ maximum-margin separator? (b) how does the rate of margin convergence depend on the tail of the loss function and the choice of the step size? We show that for a large family of super-polynomial tailed losses, gradient descent iterates on linear networks of any depth converge in the direction of $L_2$ maximum-margin solution, while this does not hold for losses with heavier tails. Within this family, for simple linear models we show that the optimal rates with fixed step size is indeed obtained for the commonly used exponentially tailed losses such as logistic loss. However, with a fixed step size the optimal convergence rate is extremely slow as $1/\log(t)$, as also proved in Soudry et al. (2018). For linear models with exponential loss, we further prove that the convergence rate could be improved to $\log (t) /\sqrt{t}$ by using aggressive step sizes that compensates for the rapidly vanishing gradients. Numerical results suggest this method might be useful for deep networks.


title: Abnormality Detection in Mammography using Deep Convolutional Neural Networks

abstract: Breast cancer is the most common cancer in women worldwide. The most common screening technology is mammography. To reduce the cost and workload of radiologists, we propose a computer aided detection approach for classifying and localizing calcifications and masses in mammogram images. To improve on conventional approaches, we apply deep convolutional neural networks (CNN) for automatic feature learning and classifier building. In computer-aided mammography, deep CNN classifiers cannot be trained directly on full mammogram images because of the loss of image details from resizing at input layers. Instead, our classifiers are trained on labelled image patches and then adapted to work on full mammogram images for localizing the abnormalities. State-of-the-art deep convolutional neural networks are compared on their performance of classifying the abnormalities. Experimental results indicate that VGGNet receives the best overall accuracy at 92.53\% in classifications. For localizing abnormalities, ResNet is selected for computing class activation maps because it is ready to be deployed without structural change or further training. Our approach demonstrates that deep convolutional neural network classifiers have remarkable localization capabilities despite no supervision on the location of abnormalities is provided.


title: Colors and Shapes of the Irregular Planetary Satellites

abstract: It is widely recognized that the irregular satellites of the giant planets were captured from initially heliocentric orbits. However, the mechanism of capture and the source region from which they were captured both remain unknown. We present an optical color survey of 43 irregular satellites of the outer planets conducted using the LRIS camera on the 10-meter telescope at the Keck Observatory in Hawaii. The measured colors are compared to other planetary bodies in search for similarities and differences that may reflect upon the origin of the satellites. We find that ultrared matter (with color index B-R $\ge$ 1.6), while abundant in the Kuiper belt and Centaur populations, is depleted from the irregular satellites. We also use repeated determinations of the absolute magnitudes to make a statistical estimate of the average shape of the irregular satellites. The data provide no evidence that the satellites and the main-belt asteroids are differently shaped, consistent with collisions as the major agent shaping both.


title: The Gaia-ESO Survey: kinematical and dynamical study of four young open clusters

abstract: Context. The origin and dynamical evolution of star clusters is an important topic in stellar astrophysics. Several models have been proposed to understand the formation of bound and unbound clusters and their evolution, and these can be tested by examining the kinematical and dynamical properties of clusters over a wide range of ages and masses. Aims. We use the Gaia-ESO Survey products to study four open clusters (IC 2602, IC 2391, IC 4665, and NGC 2547) that lie in the age range between 20 and 50 Myr. Methods. We employ the gravity index $\gamma$ and the equivalent width of the lithium line at 6708 $\AA$, together with effective temperature $\rm{T_{eff}}$, and the metallicity of the stars in order to discard observed contaminant stars. Then, we derive the cluster radial velocity dispersions $\sigma_c$, the total cluster mass $\rm{M}_{tot}$, and the half mass radius $r_{hm}$. Using the $Gaia$-DR1 TGAS catalogue, we independently derive the intrinsic velocity dispersion of the clusters from the astrometric parameters of cluster members. Results. The intrinsic radial velocity dispersions derived by the spectroscopic data are larger than those derived from the TGAS data, possibly due to the different masses of the considered stars. Using $\rm{M}_{tot}$ and $r_{hm}$ we derive the virial velocity dispersion $\sigma_{vir}$ and we find that three out of four clusters are supervirial. This result is in agreement with the hypothesis that these clusters are dispersing, as predicted by the "residual gas expulsion" scenario. However, recent simulations show that the virial ratio of young star clusters may be overestimated if it is determined using the global velocity dispersion, since the clusters are not fully relaxed.


title: Measurement of Elastoresistivity at Finite Frequency by Amplitude Demodulation

abstract: Elastoresistivity, the relation between resistivity and strain, can elucidate subtle properties of the electronic structure of a material and is an increasingly important tool for the study of strongly correlated materials. To date, elastoresistivity measurements have been predominantly performed with quasi-static (DC) strain. In this work, we demonstrate a method for using AC strain in elastoresistivity measurements. A sample experiencing AC strain has a time-dependent resistivity, which modulates the voltage produced by an AC current; this effect produces time-dependent variations in resisitivity that are directly proportional to the elastoresistivity, and which can be measured more quickly, with less strain on the sample, and with less stringent requirements for temperature stability than the previous DC technique. Example measurements between 10 Hz and 3 kHz are performed on a material with a large, well-characterized and temperature dependent elastoresistivity: the representative iron-based superconductor BaFe$_{1.975}$Co$_{0.025}$As$_2$. These measurements yield a frequency independent elastoresistivity and reproduce results from previous DC elastoresistivity methods to within experimental accuracy. We emphasize that the dynamic (AC) elastoresistivity is a distinct material-specific property that has not previously been considered.


title: First Measurement of the Ti$(e,e^\prime){\rm X}$ Cross Section at Jefferson Lab

abstract: To probe CP violation in the leptonic sector using GeV energy neutrino beams in current and future experiments using argon detectors, precise models of the complex underlying neutrino and antineutrino interactions are needed. The E12-14-012 experiment at Jefferson Lab Hall A was designed to perform a combined analysis of inclusive and exclusive electron scatterings on both argon ($N = 22$) and titanium ($Z = 22$) nuclei using GeV energy electron beams. The measurement on titanium nucleus provides essential information to understand the neutrino scattering on argon, large contribution to which comes from scattering off neutrons. Here we report the first experimental study of electron-titanium scattering as double differential cross section at beam energy $E=2.222$ GeV and electron scattering angle $\theta = 15.541$ deg, measured over a broad range of energy transfer, spanning the kinematical regions in which quasielastic scattering and delta production are the dominant reaction mechanisms. The data provide valuable new information needed to develop accurate theoretical models of the electromagnetic and weak cross sections of these complex nuclei in the kinematic regime of interest to neutrino experiments.


title: Dagger and Dilation in the Category of Von Neumann algebras

abstract: This doctoral thesis is a mathematical study of quantum computing, concentrating on two related, but independent topics. First up are dilations, covered in chapter 2. In chapter 3 "diamond, andthen, dagger" we turn to the second topic: effectus theory. Both chapters, or rather parts, can be read separately and feature a comprehensive introduction of their own.


title: On the Unsolvability of Bosonic Quantum Fields

abstract: Two general unsolvability arguments for interacting bosonic quantum field theories are presented, based on Dyson-Schwinger equations on the lattice and cardinality considerations. The first argument is related to the fact that, on a lattice of size N, the system of lattice Dyson-Schwinger equations closes on a basis of "primitive correlators" which is finite, but grows exponentially with N. By properly defining the continuum limit, one finds for N -> infinity a countably-infinite basis of the primitive correlators. The second argument is that any conceivable exact analytic calculation of the primitive correlators involves, in the continuum limit, a linear system of coupled partial differential equations on an infinite number of unknown functions, namely the primitive correlators, evolving with respect to an infinite number of independent variables.


title: Experimental signature of Quantum Darwinism in photonic cluster states

abstract: We report on an experimental assessment of the emergence of Quantum Darwinism (QD) from engineered open-system dynamics. We use a photonic hyperentangled source of graph states to address the effects that correlations among the elements of a multi-party environment have on the establishment of objective reality ensuing the quantum-to-classical transition. Besides embodying one of the first experimental efforts towards the characterization of QD, our work illustrates the non-trivial consequences that multipartite entanglement and, in turn, the possibility of having environment-to-system back-action have on the features of the QD framework.


title: Costs and Rewards in Priced Timed Automata

abstract: We consider Pareto analysis of reachable states of multi-priced timed automata (MPTA): timed automata equipped with multiple observers that keep track of costs (to be minimised) and rewards (to be maximised) along a computation. Each observer has a constant non-negative derivative which may depend on the location of the MPTA. We study the Pareto Domination Problem, which asks whether it is possible to reach a target location via a run in which the accumulated costs and rewards Pareto dominate a given objective vector. We show that this problem is undecidable in general, but decidable for MPTA with at most three observers. For MPTA whose observers are all costs or all rewards, we show that the Pareto Domination Problem is PSPACE-complete. We also consider an epsilon-approximate Pareto Domination Problem that is decidable without restricting the number and types of observers. We develop connections between MPTA and Diophantine equations. Undecidability of the Pareto Domination Problem is shown by reduction from Hilbert's 10th Problem, while decidability for three observers is shown by a translation to a fragment of arithmetic involving quadratic forms.


title: Existence of ground states for aggregation-diffusion equations

abstract: We analyze free energy functionals for macroscopic models of multi-agent systems interacting via pairwise attractive forces and localized repulsion. The repulsion at the level of the continuous description is modeled by pressure-related terms in the functional making it energetically favorable to spread, while the attraction is modeled through nonlocal forces. We give conditions on general entropies and interaction potentials for which neither ground states nor local minimizers exist. We show that these results are sharp for homogeneous functionals with entropies leading to degenerate diffusions while they are not sharp for fast diffusions. The particular relevant case of linear diffusion is totally clarified giving a sharp condition on the interaction potential under which the corresponding free energy functional has ground states or not.


title: Overcomplete compact representation of two-particle Green's functions

abstract: Two-particle Green's functions and the vertex functions play a critical role in theoretical frameworks for describing strongly correlated electron systems. However, numerical calculations at two-particle level often suffer from large computation time and massive memory consumption. We derive a general expansion formula for the two-particle Green's functions in terms of an overcomplete representation based on the recently proposed "intermediate representation" basis. The expansion formula is obtained by decomposing the spectral representation of the two-particle Green's function. We demonstrate that the expansion coefficients decay exponentially, while all high-frequency and long-tail structures in the Matsubara-frequency domain are retained. This representation therefore enables efficient treatment of two-particle quantities and opens a route to the application of modern many-body theories to realistic strongly correlated electron systems.


title: Amenable purely infinite actions on the non-compact Cantor set

abstract: We prove that any countable non-amenable group G admits a free minimal amenable purely infinite action on the non-compact Cantor set. This answers a question of Kellerhals, Monod and R{\o}rdam.


title: Stability of DC Networks with Generic Load Models

abstract: DC grids are prone to small-signal instabilities due to the presence of tightly controlled loads trying to keep the power consumption constant over range of terminal voltage variations. Th, so-called, constant power load (CPL) represents a classical example of this destabilizing behavior acting as an incremental negative resistance. Real-life DC loads represented by controlled power converters exhibit the CPL behavior over a finite frequency range. There exist a number of methods for stability certification of DC grids which are primarily concerned with the source-load interaction and do not explicitly account for the influence of network. In the present manuscript, we develop a method for stability assessment of arbitrary DC grids by introducing the Augmented Power Dissipation and showing that it's positive definiteness is a sufficient condition for stability. We present an explicit expression for this quantity through load and network impedances and show how it could be directly used for stability certification of networks with arbitrary configuration.


title: $\alpha'$-corrected black holes in String Theory

abstract: We consider the well-known solution of the Heterotic Superstring effective action to zeroth order in $\alpha'$ that describes the intersection of a fundamental string with momentum and a solitonic 5-brane and which gives a 3-charge, static, extremal, supersymmetric black hole in 5 dimensions upon dimensional reduction on $\mathrm{T}^{5}$. We compute explicitly the first-order in $\alpha'$ corrections to this solution, including $\mathrm{SU}(2)$ Yang-Mills fields which can be used to cancel some of these corrections and we study the main properties of this $\alpha'$-corrected solution: supersymmetry, values of the near-horizon and asymptotic charges, behavior under $\alpha'$-corrected T-duality, value of the entropy (using Wald formula directly in 10 dimensions), existence of small black holes etc. The value obtained for the entropy agrees, within the limits of approximation, with that obtained by microscopic methods. The $\alpha'$ corrections coming from Wald's formula prove crucial for this result.


title: Designer Spatial Control of Interactions in Ultracold Gases

abstract: Designer optical control of interactions in ultracold atomic gases has wide application, from creating new quantum phases to modeling the physics of black holes. We demonstrate spatial control of interactions in a two-component cloud of $^6$Li fermions, using electromagnetically induced transparency (EIT) to create a "sandwich" of resonantly and weakly interacting regions. Interaction designs are imprinted on the trapped cloud by two laser beams and manipulated with just MHz changes in the frequency of one beam. We employ radio-frequency spectroscopy to measure the imprinted 1D spatial profiles of the local mean-field interactions and to demonstrate that the tuning range of the scattering length is the same for both optical and magnetic control. All of the data are in excellent agreement with our continuum-dressed state theoretical model of optical control, which includes both the spatial and momentum dependence of the interactions.


title: Modified scattering for the cubic Schr\"odinger equation small data solution on product space

abstract: In this paper we consider the long time behavior of solutions to the cubic nonlinear Schr\"odinger equation posed on the spatial domain $\mathbb{R}\times\mathbb{T}^{d}$, $1\leq d\leq4$. For sufficiently small, smooth, decaying data we prove global existence and derive modified asymptotic dynamics. We also consider the asymptotic completeness problem.


title: Propagation of chaos for topological interactions

abstract: We consider a $N$-particle model describing an alignment mechanism due to a topological interaction among the agents. We show that the kinetic equation, expected to hold in the mean-field limit $N \to \infty$, as following from the previous analysis in [A. Blanchet, P. Degond, Topological interactions in a Boltzmann-type framework, J. Stat. Phys., 163 (2016), pp. 41-60.] can be rigorously derived. This means that the statistical independence (propagation of chaos) is indeed recovered in the limit, provided it is assumed at time zero.


title: A comparison between semi-analytical gas cooling models and cosmological hydrodynamical simulations

abstract: We compare the mass cooling rates and cumulative cooled-down masses predicted by several semi-analytical (SA) cooling models with cosmological hydrodynamical simulations performed using the AREPO code (ignoring processes such as feedback and chemical enrichment). The SA cooling models are the new GALFORM cooling model introduced in Hou et al. (2017), along with two earlier GALFORM cooling models and the L-GALAXIES and MORGANA cooling models. We find that the predictions of the new GALFORM cooling model are generally in best agreement with the simulations. For halos with $M_{\rm halo}\lesssim 3\times 10^{11}\,{\rm M}_{\odot}$, the SA models predict that the timescale for radiative cooling is shorter than or comparable to the gravitational infall timescale. Even though SA models assume that gas falls onto galaxies from a spherical gas halo, while the simulations show that the cold gas is accreted through filaments, both methods predict similar mass cooling rates, because in both cases the gas accretion occurs on similar timescales. For halos with $M_{\rm halo}\gtrsim 10^{12}\,{\rm M}_{\odot}$, gas in the simulations typically cools from a roughly spherical hot gas halo, as assumed in the SA models, but the halo gas gradually contracts during cooling, leading to compressional heating. SA models ignore this heating, and so overestimate mass cooling rates by factors of a few. At low redshifts halo major mergers or a sequence of successive smaller mergers are seen in the simulations to strongly heat the halo gas and suppress cooling, while mergers at high redshifts do not suppress cooling, because the gas filaments are difficult to heat up. The new SA cooling model best captures these effects.


title: Off-resonant all-optical switching dynamics in a ferromagnetic model system

abstract: We present a theoretical study of the the effects of off-resonant polarized optical fields on a ferromagnetic model system. We determine the light-induced dynamics of itinerant carriers in a system that includes magnetism at the mean-field level and spin-orbit coupling. We investigate an all-optical switching process for ferromagnets, which is close to the one proposed by Qaiumzadeh et al. [Phys. Rev. B 88, 064416] for the inverse Faraday effect. By computing the optically driven coherent dynamics together with incoherent scattering mechanisms we go beyond a perturbation expansion in powers of the optical field. We find an important contribution of a dynamic Stark effect coupling of the Raman type between the magnetic bands, which leads to a polarization-dependent effect on the magnetization that may support or oppose switching, but also contributes to demagnetization via an increase in electronic energy.


title: Improved bounds on Brun's constant

abstract: Brun's constant is $B=\sum_{p \in P_{2}} p^{-1} + (p+2)^{-1}$, where the summation is over all twin primes. We improve the unconditional bounds on Brun's constant to $1.840503 < B < 2.288513$, which is about a 13\% improvement on the previous best published result.


title: A smooth zero-entropy diffeomorphism whose product with itself is loosely Bernoulli

abstract: Let $M$ be a smooth compact connected manifold of dimension $d\geq 2$, possibly with boundary, that admits a smooth effective $\mathbb{T}^2$-action $\mathcal{S}=\left\{S_{\alpha,\beta}\right\}_{(\alpha,\beta) \in \mathbb{T}^2}$ preserving a smooth volume $\nu$, and let $\mathcal{B}$ be the $C^{\infty}$ closure of $\left\{h \circ S_{\alpha,\beta} \circ h^{-1} \;:\;h \in \text{Diff}^{\infty}\left(M,\nu\right), (\alpha,\beta) \in \mathbb{T}^2\right\}$. We construct a $C^{\infty}$ diffeomorphism $T \in \mathcal{B}$ with topological entropy $0$ such that $T \times T$ is loosely Bernoulli. Moreover, we show that the set of such $T \in \mathcal{B}$ contains a dense $G_{\delta}$ subset of $\mathcal{B}$. The proofs are based on a two-dimensional version of the approximation-by-conjugation method.


title: Energy-entropy competition and the effectiveness of stochastic gradient descent in machine learning

abstract: Finding parameters that minimise a loss function is at the core of many machine learning methods. The Stochastic Gradient Descent algorithm is widely used and delivers state of the art results for many problems. Nonetheless, Stochastic Gradient Descent typically cannot find the global minimum, thus its empirical effectiveness is hitherto mysterious. We derive a correspondence between parameter inference and free energy minimisation in statistical physics. The degree of undersampling plays the role of temperature. Analogous to the energy-entropy competition in statistical physics, wide but shallow minima can be optimal if the system is undersampled, as is typical in many applications. Moreover, we show that the stochasticity in the algorithm has a non-trivial correlation structure which systematically biases it towards wide minima. We illustrate our argument with two prototypical models: image classification using deep learning, and a linear neural network where we can analytically reveal the relationship between entropy and out-of-sample error.


title: Regularity theory for the Isaacs equation through approximation methods

abstract: In this paper, we propose an approximation method to study the regularity of solutions to the Isaacs equation. This class of problems plays a paramount role in the regularity theory for fully nonlinear elliptic equations. First, it is a model-problem of a non-convex operator. In addition, the usual mechanisms to access regularity of solutions fall short in addressing these equations. We approximate an Isaacs equation by a Bellman one, and make assumptions on the latter to recover information for the former. Our techniques produce results in Sobolev and H\"older spaces; we also examine a few consequences of our main findings.


title: Iron and silicate dust growth in the Galactic interstellar medium: clues from element depletions

abstract: The interstellar abundances of refractory elements indicate a substantial depletion from the gas phase, that increases with gas density. Our recent model of dust evolution, based on hydrodynamic simulations of the lifecycle of giant molecular clouds (GMCs) proves that the observed trend for [Si$_{gas}$/H] is driven by a combination of dust growth by accretion in the cold diffuse interstellar medium (ISM) and efficient destruction by supernova (SN) shocks (Zhukovska et al. 2016). With an analytic model of dust evolution, we demonstrate that even with optimistic assumptions for the dust input from stars and without destruction of grains by SNe it is impossible to match the observed [Si$_{gas}$/H]$-n_H$ relation without growth in the ISM. We extend the framework developed in our previous work for silicates to include the evolution of iron grains and address a long-standing conundrum: ``Where is the interstellar iron?'. Much higher depletion of Fe in the warm neutral medium compared to Si is reproduced by the models, in which a large fraction of interstellar iron (70%) is locked as inclusions in silicate grains, where it is protected from sputtering by SN shocks. The slope of the observed [Fe$_{gas}$/H]$-n_H$ relation is reproduced if the remaining depleted iron resides in a population of metallic iron nanoparticles with sizes in the range of 1-10nm. Enhanced collision rates due to the Coulomb focusing are important for both silicate and iron dust models to match the observed slopes of the relations between depletion and density and the magnitudes of depletion at high density.


title: A Hybrid Heuristic for a Broad Class of Vehicle Routing Problems with Heterogeneous Fleet

abstract: We consider a family of Rich Vehicle Routing Problems (RVRP) which have the particularity to combine a heterogeneous fleet with other attributes, such as backhauls, multiple depots, split deliveries, site dependency, open routes, duration limits, and time windows. To efficiently solve these problems, we propose a hybrid metaheuristic which combines an iterated local search with variable neighborhood descent, for solution improvement, and a set partitioning formulation, to exploit the memory of the past search. Moreover, we investigate a class of combined neighborhoods which jointly modify the sequences of visits and perform either heuristic or optimal reassignments of vehicles to routes. To the best of our knowledge, this is the first unified approach for a large class of heterogeneous fleet RVRPs, capable of solving more than 12 problem variants. The efficiency of the algorithm is evaluated on 643 well-known benchmark instances, and 71.70\% of the best known solutions are either retrieved or improved. Moreover, the proposed metaheuristic, which can be considered as a matheuristic, produces high quality solutions with low standard deviation in comparison with previous methods. Finally, we observe that the use of combined neighborhoods does not lead to significant quality gains. Contrary to intuition, the computational effort seems better spent on more intensive route optimization rather than on more intelligent and frequent fleet re-assignments.


title: Structure and generation of crossing-critical graphs

abstract: We study c-crossing-critical graphs, which are the minimal graphs that require at least c edge-crossings when drawn in the plane. For c=1 there are only two such graphs without degree-2 vertices, K_5 and K_3,3, but for any fixed c>1 there exist infinitely many c-crossing-critical graphs. It has been previously shown that c-crossing-critical graphs have bounded path-width and contain only a bounded number of internally disjoint paths between any two vertices. We expand on these results, providing a more detailed description of the structure of crossing-critical graphs. On the way towards this description, we prove a new structural characterisation of plane graphs of bounded path-width. Then we show that every c-crossing-critical graph can be obtained from a c-crossing-critical graph of bounded size by replicating bounded-size parts that already appear in narrow "bands" or "fans" in the graph. This also gives an algorithm to generate all the c-crossing-critical graphs of at most given order n in polynomial time per each generated graph.


title: Generalized convex hull construction for materials discovery

abstract: High-throughput computational materials searches generate large databases of locally-stable structures. Conventionally, the needle-in-a-haystack search for the few experimentally-synthesizable compounds is performed using a convex hull construction, which identifies structures stabilized by manipulation of a particular thermodynamic constraint (for example pressure or composition) chosen based on prior experimental evidence or intuition. To address the biased nature of this procedure we introduce a generalized convex hull framework. Convex hulls are constructed on data-driven principal coordinates, which represent the full structural diversity of the database. Their coupling to experimentally-realizable constraints hints at the conditions that are most likely to stabilize a given configuration. The probabilistic nature of our framework also addresses the uncertainty stemming from the use of approximate models during database construction, and eliminates redundant structures. The remaining small set of candidates that have a high probability of being synthesizable provide a much needed starting point for the determination of viable synthetic pathways.


title: Lower Bounds for the Exponential Domination Number of $C_m \times C_n$

abstract: A vertex $v$ in a porous exponential dominating set assigns weight $\left(\tfrac{1}{2}\right)^{dist(v,u)}$ to vertex $u$. A porous exponential dominating set of a graph $G$ is a subset of $V(G)$ such that every vertex in $V(G)$ has been assigned a sum weight of at least 1. In this paper the porous exponential dominating number, denoted by $\gamma_e^*(G)$, for the graph $G = C_m \times C_n$ is discussed. Anderson et. al. proved that $\frac{mn}{15.875}\le \gamma_e^*(C_m \times C_n) \le \frac{mn}{13}$ and conjectured that $\frac{mn}{13}$ is also the asymptotic lower bound. We use a linear programing approach to sharpen the lower bound to $\frac{mn}{13.7619 + \epsilon(m,n)}$.


title: The morphospace of language networks

abstract: Language can be described as a network of interacting objects with different qualitative properties and complexity. These networks include semantic, syntactic, or phonological levels and have been found to provide a new picture of language complexity and its evolution. A general approach considers language from an information theory perspective that incorporates a speaker, a hearer, and a noisy channel. The later is often encoded in a matrix connecting the signals used for communication with meanings to be found in the real world. Most studies of language evolution deal in a way or another with such theoretical contraption and explore the outcome of diverse forms of selection on the communication matrix that somewhat optimizes communication. This framework naturally introduces networks mediating the communicating agents, but no systematic analysis of the underlying landscape of possible language graphs has been developed. Here we present a detailed analysis of network properties on a generic model of a communication code, which reveals a rather complex and heterogeneous morphospace of language networks. Additionally, we use curated data of English words to locate and evaluate real languages within this language morphospace. Our findings indicate a surprisingly simple structure in human language unless particles are introduced in the vocabulary, with the ability of naming any other concept. These results refine and for the first time complement with empirical data a lasting theoretical tradition around the framework of \emph{least effort language}.


title: Magnetospheric Multi-Scale Observations of High-Energy Electrons and Protons in the Vicinity of Southern High-Altitude Cusp Boundaries

abstract: Recent Magnetosphere Multiscale (MMS) observations found 238 high energy (> 40 keV) electron "leaking" events in the the magnetosheath [Cohen et al., 2017]. While several sources have been proposed, the dominant mechanism or origin of these particles is not well understood. We have analyzed MMS locations during these these events and found that most of these electron leaking events were observed close to the southern high-altitude cusp and associated boundaries, so these events may have a high-latitude source. Here we present a new case study of observations of a MMS encounter of southern magnetospheric cusp boundaries. In the magnetosheath side of the southern cusp, MMS observes both parallel streaming energetic ions, as well as a population with 90 degree pitch angles. Subsequently, MMS detects plasma flows and magnetic field rotation consistent with magnetic reconnection (operating above and dawn-ward of the MMS spacecraft), finally entering a depressed magnetic field region with nearly stagnant flow. The depressed field region is occupied by high-fluxes of trapped high-energy electrons and protons, which resemble the Cluster observations of cusp diamagnetic cavities at the northern hemisphere [Nykyri et al., 2011a]. However, the local magnetic field geometry during the prevailing IMF orientation is not favorable for magnetic reconnection to directly create a cavity in this location. We show that the plasma flows that were observed prior to cavity observation satisfy the onset condition for the Kelvin-Helmholtz instability for 50 percent of all available k-vector directions.


title: Variations of Hodge Structures of Rank Three k-Higgs Bundles and Moduli Spaces of Holomorphic Triples

abstract: There is an isomorphism between the moduli spaces of $\sigma$-stable holomorphic triples and some of the critical submanifolds of the moduli space of $k$-Higgs bundles of rank three, whose elements $(E,\varphi^k)$ correspond to variations of Hodge structure, VHS. There are special embeddings on the moduli spaces of $k$-Higgs bundles of rank three. The main objective here is to study the cohomology of the critical submanifolds of such moduli spaces, extending those embeddings to moduli spaces of holomorphic triples.


title: ROUGE 2.0: Updated and Improved Measures for Evaluation of Summarization Tasks

abstract: Evaluation of summarization tasks is extremely crucial to determining the quality of machine generated summaries. Over the last decade, ROUGE has become the standard automatic evaluation measure for evaluating summarization tasks. While ROUGE has been shown to be effective in capturing n-gram overlap between system and human composed summaries, there are several limitations with the existing ROUGE measures in terms of capturing synonymous concepts and coverage of topics. Thus, often times ROUGE scores do not reflect the true quality of summaries and prevents multi-faceted evaluation of summaries (i.e. by topics, by overall content coverage and etc). In this paper, we introduce ROUGE 2.0, which has several updated measures of ROUGE: ROUGE-N+Synonyms, ROUGE-Topic, ROUGE-Topic+Synonyms, ROUGE-TopicUniq and ROUGE-TopicUniq+Synonyms; all of which are improvements over the core ROUGE measures.


title: Coherent Plasma-Curvature Radiation in FRB

abstract: Curvature radiation is a natural candidate for the emission mechanism of FRB. However, FRB spectra have structure with $\Delta \nu/\nu \sim \text{0.03--0.2}$, inconsistent with the very smooth spectrum of curvature radiation. Although this spectral structure might be attributed to chromatic scintillation or lensing, in four FRB high spectral resolution data indicate scintillation decorrelation bandwidths much narrower than the observed $\sim \text{30--300}$ MHz spectral structure. Some of the observed structure may be intrinsic to the radiation mechanism. I suggest that the observed spectral structure reflects the spatial structure of a clumpy radiating charge distribution, and that the characteristic curvature radiation frequency may be much higher than the observed frequencies. In this coupled plasma-curvature radiation process the radiated spectra are the product of the spectra of the plasma wave and that of incoherent curvature radiation. The argument applies to all coherent radiation processes, including those that produce pulsar nanoshots. The implied FRB "clump" charges are large, and produce electrostatic potentials that suggest electron Lorentz factors $\gtrsim 10^2$. The result applies generally to coherently radiating sources.


title: A facility for radiation hardness studies based on the Bern medical cyclotron

abstract: The development of instrumentation to be operated in high-radiation environments is one of the main challenges in fundamental research. Besides space and nuclear applications, particle physics experiments also need radiation-hard devices. The focus of this paper is a new irradiation facility based on the medical cyclotron located at the Bern University Hospital (Insespital), which is used as a controlled 18 MeV proton source. The adjustable beam current allows for dose rate dependent characterisation over a large dynamic range, from 0.1 to 1000 Grad per hour. The beam can be tuned so that the user can obtain the desired irradiation conditions. A complete study of the device under irradiation is possible thanks to dedicated beam monitoring systems as well as a power control system for the device under irradiation, which can be operated on-line. Further characterisations of the irradiated devices are possible thanks to a laboratory equipped with gamma spectroscopy detectors, ammeters and transient current technique setups.


title: Tactile Regrasp: Grasp Adjustments via Simulated Tactile Transformations

abstract: This paper presents a novel regrasp control policy that makes use of tactile sensing to plan local grasp adjustments. Our approach determines regrasp actions by virtually searching for local transformations of tactile measurements that improve the quality of the grasp. First, we construct a tactile-based grasp quality metric using a deep convolutional neural network trained on over 2800 grasps. The quality of each grasp, a continuous value between 0 and 1, is determined experimentally by measuring its resistance to external perturbations. Second, we simulate the tactile imprints associated with robot motions relative to the initial grasp by performing rigid-body transformations of the given tactile measurements. The newly generated tactile imprints are evaluated with the learned grasp quality network and the regrasp action is chosen to maximize the grasp quality. Results show that the grasp quality network can predict the outcome of grasps with an average accuracy of 85% on known objects and 75% on a cross validation set of 12 objects. The regrasp control policy improves the success rate of grasp actions by an average relative increase of 70% on a test set of 8 objects.


title: Density matrix approach for quantum free-electron lasers

abstract: The density matrix in the Lindblad form is used to describe the behavior of the Free-Electron Laser (FEL) operating in a quantum regime. The detrimental effects of the spontaneous emission on coherent FEL operation are taken into account. It is shown that the density matrix formalism provides a simple method to describe the dynamics of electrons and radiation field in the quantum FEL process. In this work, further insights on the key dynamic parameters (e.g., electron populations, bunching factor, radiation power) are presented. We also derive a simple differential equation that describes the evolution of the radiated power in the linear regime. It is confirmed that the essential results of this work agree with those predicted by a discrete Wigner approach at practical conditions for efficient operation of quantum FELs.


title: Characterizations of canonically compactifiable graphs via intrinsic metrics and algebraic properties

abstract: We consider infinite graphs and the associated energy forms. We show that a graph is canonically compactifiable (i.e. all functions of finite energy are bounded) if and only if the underlying set is totally bounded with respect to any finite measure intrinsic metric. Furthermore, we show that a graph is canonically compactifiable if and only if the space of functions of finite energy is an algebra. These results answer questions in a recent work of Georgakopoulos, Haeseler, Keller, Lenz, Wojciechowski.


title: KIC 8462852: Maria Mitchell Observatory Photographic Photometry 1922 to 1991

abstract: A new study of the long-term photometric behavior of the the unusual star KIC 8462852 (Boyajian's Star) has been carried out using archival photographic plates from 1922-1991 taken at the Maria Mitchell Observatory (MMO). We find five episodes of sudden, several day, decreases in magnitude occurring in 1935, 1966, 1978, and two in 1980. Episodes of sudden increase in magnitude appear to occur in 1967 and 1977. Inspection of archival light curves of KIC 8462852 from two previous studies based on the Harvard and the Sonneberg plate collections finds apparent corresponding events to these observed episodes in the MMO light curve. Also, a general trend of $0.12\pm0.02$ magnitudes per century decrease is observed in the MMO light curve, significant, but less than the trend of 0.164$\pm$0.013 observed in the Harvard light curve.


title: The construction and use of LISA sensitivity curves

abstract: The Laser Interferometer Space Antenna (LISA) will open the mHz band of the gravitational wave spectrum for exploration. Sensitivity curves are a useful tool for surveying the types of sources that can be detected by the LISA mission. Here we describe how the sensitivity curve is constructed, and how it can be used to compute the signal-to-noise ratio for a wide range of binary systems. We adopt the 2018 LISA Phase-0 reference design parameters. We consider both sky-averaged sensitivities, and the sensitivity to sources at particular sky locations. The calculations are included in a publicly available {\em Python} notebook.


title: M3Fusion: A Deep Learning Architecture for Multi-{Scale/Modal/Temporal} satellite data fusion

abstract: Modern Earth Observation systems provide sensing data at different temporal and spatial resolutions. Among optical sensors, today the Sentinel-2 program supplies high-resolution temporal (every 5 days) and high spatial resolution (10m) images that can be useful to monitor land cover dynamics. On the other hand, Very High Spatial Resolution images (VHSR) are still an essential tool to figure out land cover mapping characterized by fine spatial patterns. Understand how to efficiently leverage these complementary sources of information together to deal with land cover mapping is still challenging. With the aim to tackle land cover mapping through the fusion of multi-temporal High Spatial Resolution and Very High Spatial Resolution satellite images, we propose an End-to-End Deep Learning framework, named M3Fusion, able to leverage simultaneously the temporal knowledge contained in time series data as well as the fine spatial information available in VHSR information. Experiments carried out on the Reunion Island study area asses the quality of our proposal considering both quantitative and qualitative aspects.


title: MultiSIMNRA: a computational tool for self-consistent ion beam analysis using SIMNRA

abstract: SIMNRA is widely adopted by the scientific community of ion beam analysis for interpretation of nuclear scattering analysis. Taking advantage of its recognized reliability and quality of the simulations, we developed a computer program that use parallel sessions of SIMNRA to perform self-consistent analysis for energy spectra of a given sample obtained using different techniques or experimental setups. In this paper, we present a result using MultiSIMNRA on self-consistent analysis for a multielemental thin film produced by magnetron sputtering. The results demonstrate the potentialities of the self-consistent analysis and its feasibility when using MultiSIMNRA.


title: Segmentation of Drosophila Heart in Optical Coherence Microscopy Images Using Convolutional Neural Networks

abstract: Convolutional neural networks are powerful tools for image segmentation and classification. Here, we use this method to identify and mark the heart region of Drosophila at different developmental stages in the cross-sectional images acquired by a custom optical coherence microscopy (OCM) system. With our well-trained convolutional neural network model, the heart regions through multiple heartbeat cycles can be marked with an intersection over union (IOU) of ~86%. Various morphological and dynamical cardiac parameters can be quantified accurately with automatically segmented heart regions. This study demonstrates an efficient heart segmentation method to analyze OCM images of the beating heart in Drosophila.


title: A hierarchy of topological systems with completely positive entropy

abstract: We define a hierarchy of systems with topological completely positive entropy in the context of continuous countable amenable group actions on compact metric spaces. For each countable ordinal we construct a dynamical system on the corresponding level of the aforementioned hierarchy and provide subshifts of finite type for the first three levels. We give necessary and sufficient conditions for entropy pairs by means of the asymptotic relation on systems with the pseudo-orbit tracing property, and thus create a bridge between a result by Pavlov and a result by Meyerovitch. As a corollary, we answer negatively an open question by Pavlov regarding necessary conditions for completely positive entropy.


title: Admissible perturbations and false instabilities in PT-symmetric quantum systems

abstract: In ${\cal PT}-$symmetric quantum mechanics one of the most characteristic mathematical features of the formalism is the explicit Hamiltonian-dependence of the physical Hilbert space of states ${\cal H}={\cal H}(H)$. Some of the most important physical consequences are discussed, with emphasis on the dynamical regime in which the system is close to the quantum phase transition. Consistent perturbation treatment of such a regime is proposed. An illustrative application of the innovated perturbation theory to a non-Hermitian but ${\cal PT}-$symmetric user-friendly family of $J-$parametric "discrete anharmonic" quantum Hamiltonians $H=H(\vec{\lambda})$ is given. The models are shown to admit the standard probabilistic interpretation if and only if the parameters remain compatible with the reality of the spectrum, $\vec{\lambda} \in {\cal D}^{(physical)}$. In contradiction to the conventional wisdom the systems are shown stable with respect to the admissible perturbations lying inside the domain ${\cal D}^{(physical)}$. This observation holds even in the immediate vicinity of the phase-transition boundaries $\partial {\cal D}^{(physical)}$.

categories: quant-ph math-ph math.MP math.NA physics.optics


title: Yang-Mills for probabilists

abstract: The rigorous construction of quantum Yang-Mills theories, especially in dimension four, is one of the central open problems of mathematical physics. Construction of Euclidean Yang-Mills theories is the first step towards this goal. This article presents a formulation of some of the core aspects this problem as problems in probability theory. The presentation begins with an introduction to the basic setup of Euclidean Yang-Mills theories and lattice gauge theories. This is followed by a discussion of what is meant by a continuum limit of lattice gauge theories from the point of view of theoretical physicists. Some of the main issues are then posed as problems in probability. The article ends with a brief review of the mathematical literature.


title: Accessing finite momentum excitations of the one-dimensional Bose-Hubbard model using superlattice modulation spectroscopy

abstract: We investigate the response to superlattice modulation of a bosonic quantum gas confined to arrays of tubes emulating the one-dimensional Bose-Hubbard model. We demonstrate, using both time-dependent density matrix renormalization group and linear response theory, that such a superlattice modulation gives access to the excitation spectrum of the Bose-Hubbard model at finite momenta. Deep in the Mott-insulator, the response is characterized by a narrow energy absorption peak at a frequency approximately corresponding to the onsite interaction strength between bosons. This spectroscopic technique thus allows for an accurate measurement of the effective value of the interaction strength. On the superfluid side, we show that the response depends on the lattice filling. The system can either respond at infinitely small values of the modulation frequency or only above a frequency threshold. We discuss our numerical findings in light of analytical results obtained for the Lieb-Liniger model. In particular, for this continuum model, bosonization predicts power-law onsets for both responses.


title: Analyzing the Gamma-ray Sky with Wavelets

abstract: We analyze the gamma-ray sky at energies of 0.5 to 50 GeV using the undecimated wavelet transform on the sphere. Focusing on the inner $60^{\circ} \times 60^{\circ}$ of the sky, we identify and characterize four separate residuals beyond the expected Milky Way diffuse emission. We detect the \textit{Fermi} Bubbles, finding compelling evidence that they are diffuse in nature and contain very little small-scale structure. We detect the "cocoon" inside the Southern Bubble, and we also identify its northern counterpart above 2 GeV. The Northern Cocoon lies along the same axis but is $\sim 30 \%$ dimmer than the southern one. We characterize the Galactic center excess, which we find extends up to $20^{\circ}$ in $|b|$. At latitudes $|b| \leq 5^{\circ}$ we find evidence for power in small angular scales that could be the result of point-source contributions, but for $|b| \geq 5^{\circ}$ the Galactic center excess is dominantly diffuse in its nature. Our findings show that either the Galactic center excess and {\it Fermi} Bubbles connect smoothly or that the Bubbles brighten significantly below $15^\circ$ in latitude. We find that the Galactic center excess appears off-center by a few degrees towards negative $\ell$. Additionally, we find and characterize two emissions along the Galactic disk centered at $\ell \simeq +25^{\circ}$ and $-20^{\circ}$. These emissions are significantly more elongated along the Galactic disk than the Galactic center excess.

categories: astro-ph.HE astro-ph.CO astro-ph.GA astro-ph.IM hep-ph


title: Uniformity thresholds for the asymptotic size of extremal Berge-$F$-free hypergraphs

abstract: Let $F = (U,E)$ be a graph and $\mathcal{H} = (V,\mathcal{E})$ be a hypergraph. We say that $\mathcal{H}$ contains a Berge-$F$ if there exist injections $\psi:U\to V$ and $\varphi:E\to \mathcal{E}$ such that for every $e=\{u,v\}\in E$, $\{\psi(u),\psi(v)\}\subset\varphi(e)$. Let $ex_r(n,F)$ denote the maximum number of hyperedges in an $r$-uniform hypergraph on $n$ vertices which does not contain a Berge-$F$. For small enough $r$ and non-bipartite $F$, $ex_r(n,F)=\Omega(n^2)$; we show that for sufficiently large $r$, $ex_r(n,F)=o(n^2)$. Let $thres(F) = \min\{r_0 :ex_r(n,F) = o(n^2) \text{ for all } r \ge r_0 \}$. We show lower and upper bounds for $thres(F)$, the uniformity threshold of $F$. In particular, we obtain that $thres(\triangle) = 5$, improving a result of Gy\H{o}ri. We also study the analogous problem for linear hypergraphs. Let $ex^L_r(n,F)$ denote the maximum number of hyperedges in an $r$-uniform linear hypergraph on $n$ vertices which does not contain a Berge-$F$, and let the linear unformity threshold $thres^L(F) = \min\{r_0 :ex^L_r(n,F) = o(n^2) \text{ for all } r \ge r_0 \}$. We show that $thres^L(F)$ is equal to the chromatic number of $F$.


title: Characteristic directions of two-dimensional biholomorphisms

abstract: We prove that for each characteristic direction $[v]$ of a tangent to the identity diffeomorphism of order $k+1$ in $\mathbb{C}^2$ there exist either an analytic curve of fixed points tangent to $[v]$ or $k$ parabolic manifolds where all the orbits are tangent to $[v]$, and that at least one of these parabolic manifolds is or contains a parabolic curve.


title: Multi-spinon and holon excitations probed by resonant inelastic x-ray scattering on doped one-dimensional antiferromagnets

abstract: Resonant inelastic x-ray scattering (RIXS) at the oxygen $K$-edge has recently accessed multi-spinon excitations in the one-dimensional antiferromagnet (1D-AFM) \sco, where four-spinon excitations are resolved separately from the two-spinon continuum. This technique, therefore, provides new opportunities to study fractionalized quasiparticle excitations in doped 1D-AFMs. To this end, we carried out exact diagonalization studies of the doped $t$-$J$ model and provided predictions for oxygen $K$-edge RIXS experiments on doped 1D-AFMs. We show that the RIXS spectra are rich, containing distinct two- and four-spinon excitations, dispersive (anti)holon excitations, and combinations thereof. Our results highlight how RIXS complements inelastic neutron scattering experiments by accessing additional charge and spin components of fractionalized quasiparticles.


title: Using electron irradiation to probe iron - based superconductors

abstract: High energy electron irradiation is an efficient way to create vacancy-interstitial Frenkel pairs in crystal lattice, thereby inducing controlled non-magnetic point - like scattering centers. In combination with London penetration depth and resistivity measurements, the irradiation was particularly useful as a phase - sensitive probe of the superconducting order parameter in iron - based superconductors lending strongest support to sign - changing $s_{\pm}$ pairing. Here we review the key results on the effect of electron irradiation in iron-based superconductors.


title: Widefield imaging of superconductor vortices with electron spins in diamond

abstract: Understanding the mechanisms behind high-$T_{c}$ Type-II superconductors (SC) is still an open task in condensed matter physics. One way to gain further insight into the microscopic mechanisms leading to superconductivity is to study the magnetic properties of the SC in detail, for example by studying the properties of vortices and their dynamics. In this work we describe a new method of wide-field imaging magnetometry using nitrogen-vacancy (NV) centers in diamond to image vortices in an yttrium barium copper oxide (YBCO) thin film. We demonstrate quantitative determination of the magnetic field strength of the vortex stray field, the observation of vortex patterns for different cooling fields and direct observation of vortex pinning in our disordered YBCO film. This method opens prospects for imaging of the magnetic-stray fields of vortices at frequencies from DC to several megahertz within a wide range of temperatures which allows for the study of both high-$T_{C}$ and low-$T_{C}$ SCs. The wide temperature range allowed by NV center magnetometry also makes our approach applicable for the study of phenomena like island superconductivity at elevated temperatures (e.g. in metal nano-clusters).


title: Loading Classical Data into a Quantum Computer

abstract: This document describes a family of quantum circuits which load classical data into a quantum state. When loading $N$ classical bits, the result quantum state is of order $\log_2(N)$ qubits. Furthermore the gate depth of the data loading circuit is of order $\log_2(N)$. Limitations to the efficiency of the data loading process such as the Holevo bound are discussed. Methods to improve the efficiency of the data loading procedure such as combining classical compression techniques with quantum decompression circuitry, are also discussed. Simulations using the Quipper language were conducted to verify the circuits behavior.


title: Compact Discrete Breathers on Flat Band Networks

abstract: Linear wave equations on flat band networks host compact localized eigenstates (CLS). Nonlinear wave equations on translationally invariant flat band networks can host compact discrete breathers - time periodic and spatially compact localized solutions. Such solutions can appear as one-parameter families of continued linear compact eigenstates, or as discrete sets on families of non-compact discrete breathers, or even on purely dispersive networks with fine-tuned nonlinear dispersion. In all cases, their existence relies on destructive interference. We use CLS amplitude distribution properties and orthogonality conditions to derive existence criteria and stability properties for compact discrete breathers as continued CLS.


title: Thermodynamics of Restricted Boltzmann Machines and related learning dynamics

abstract: We investigate the thermodynamic properties of a Restricted Boltzmann Machine (RBM), a simple energy-based generative model used in the context of unsupervised learning. Assuming the information content of this model to be mainly reflected by the spectral properties of its weight matrix $W$, we try to make a realistic analysis by averaging over an appropriate statistical ensemble of RBMs. First, a phase diagram is derived. Otherwise similar to that of the Sherrington- Kirkpatrick (SK) model with ferromagnetic couplings, the RBM's phase diagram presents a ferromagnetic phase which may or may not be of compositional type depending on the kurtosis of the distribution of the components of the singular vectors of $W$. Subsequently, the learning dynamics of the RBM is studied in the thermodynamic limit. A "typical" learning trajectory is shown to solve an effective dynamical equation, based on the aforementioned ensemble average and explicitly involving order parameters obtained from the thermodynamic analysis. In particular, this let us show how the evolution of the dominant singular values of $W$, and thus of the unstable modes, is driven by the input data. At the beginning of the training, in which the RBM is found to operate in the linear regime, the unstable modes reflect the dominant covariance modes of the data. In the non-linear regime, instead, the selected modes interact and eventually impose a matching of the order parameters to their empirical counterparts estimated from the data. Finally, we illustrate our considerations by performing experiments on both artificial and real data, showing in particular how the RBM operates in the ferromagnetic compositional phase.


title: Bouncing Cosmology made simple

abstract: We introduce the "wedge diagram," an intuitive way to illustrate how cosmological models with a classical (non-singular) bounce generically resolve fundamental problems in cosmology. These include the well-known horizon, flatness, and inhomogeneity problems; the small tensor-to-scalar ratio observed in the cosmic microwave background; the low entropy at the beginning of a hot, expanding phase; and the avoidance of quantum runaway. The same diagrammatic approach can be used to compare with other cosmological scenarios.


title: The relationship between Class I and Class II methanol masers at high angular resolution

abstract: We have used the Australia Telescope Compact Array (ATCA) to make the first high resolution observations of a large sample of class~I methanol masers in the 95-GHz ($8_0$--$7_1$A$^+$) transition. The target sources consist of a statistically complete sample of 6.7-GHz class~II methanol masers with an associated 95-GHz class~I methanol maser, enabling a detailed study of the relationship between the two methanol maser classes at arcsecond angular resolution. These sources have been previously observed at high resolution in the 36- and 44-GHz transitions, allowing comparison between all three class~I maser transitions. In total, 172 95-GHz maser components were detected across the 32 target sources. We find that at high resolution, when considering matched maser components, a 3:1 flux density ratio is observed between the 95- and 44-GHz components, consistent with a number of previous lower angular resolution studies. The 95-GHz maser components appear to be preferentially located closer to the driving sources and this may indicate that this transition is more strongly inverted nearby to background continuum sources. We do not observe an elevated association rate between 95-GHz maser emission and more evolved sources, as indicated by the presence of 12.2-GHz class~II masers. We find that in the majority of cases where both class~I and class~II methanol emission is observed, some component of the class~I emission is associated with a likely outflow candidate.


title: An Accurate and Efficient Algorithm for The Time-fractional Molecular Beam Epitaxy Model with Slope Selection

abstract: In this paper, we propose a time-fractional molecular beam epitaxy (MBE) model with slope selection and its efficient, accurate, full discrete, linear numerical approximation. The numerical scheme utilizes the fast algorithm for the Caputo fractional derivative operator in time discretization and Fourier spectral method in spatial discretization. Refinement tests are conducted to verify the $2-\alpha$ order of time convergence, with $\alpha \in (0, 1]$ the fractional order of derivative. Several numerical simulations are presented to demonstrate the accuracy and efficiency of our newly proposed scheme. By exploring the fast algorithm calculating the Caputo fractional derivative, our numerical scheme makes it practice for long time simulation of MBE coarsening, which is essential for MBE model in practice. With the proposed fractional MBE model, we observe that the scaling law for the energy decays as $ O(t^{-\frac{\alpha}{3}})$ and the roughness increases as $O(t^{\frac{\alpha}{3}})$, during the coarsening dynamics with random initial condition. That is to say, the coarsening rate of MBE model could be manipulated by the fractional order $\alpha$, and it is linearly proportional to $\alpha$. This is the first time in literature to report/discover such scaling correlation. It provides a potential application field for fractional differential equations. Besides, the numerical approximation strategy proposed in this paper can be readily applied to study many classes of time-fractional and high dimensional phase field models.


title: Harmonic Analysis on the Ad\`ele Ring of $\Q$

abstract: The ring of finite ad\`eles $\Af$ of the rational numbers $\Q$ is obtained in this article as a completion of $\Q$ with respect to a certain non--Archimedean metric. This ultrametric allows to represent any finite ad\`ele as a series generalizing $m$--adic analysis. The description made provides a new perspective for the adelic Fourier analysis on $\Af$, which also permits to introduce new oscillatory integrals. By incorporating the infinite prime, the mentioned results are extended to the complete ring of ad\`eles $\A$} of $\Q$.


title: Supercurrent in ferromagnetic Josephson junctions with heavy metal interlayers

abstract: The lengthscale over which supercurrent from conventional BCS, $s$-wave, superconductors ($S$) can penetrate an adjacent ferromagnetic ($F$) layer depends on the ability to convert singlet Cooper pairs into triplet Cooper pairs. Spin aligned triplet Cooper pairs are not dephased by the ferromagnetic exchange interaction, and can thus penetrate an $F$ layer over much longer distances than singlet Cooper pairs. These triplet Cooper pairs carry a dissipationless spin current and are the fundamental building block for the fledgling field of superspintronics. Singlet-triplet conversion by inhomogeneous magnetism is well established. Here, we describe an attempt to use spin orbit coupling as a new mechanism to mediate singlet-triplet conversion in $S-F-S$ Josephson junctions. We report that the addition of thin Pt spin-orbit coupling layers in our Josephson junctions significantly increases supercurrent transmission, however the decay length of the supercurrent is not found to increase. We attribute the increased supercurrent transmission to Pt acting as a buffer layer to improve the growth of the Co $F$ layer.


title: Secure Minimum Time Planning Under Environmental Uncertainty: an Extended Treatment

abstract: Cyber Physical Systems (CPS) are becoming ubiquitous and affect the physical world, yet security is seldom at the forefront of their design. This is especially true of robotic control algorithms which seldom consider the effect of a cyber attack on mission objectives and success. This work presents a secure optimal control algorithm in the face of a cyber attack on a robot's knowledge of the environment. This work focuses on cyber attack, but the results generalize to incomplete or outdated information of an environment. This work fuses ideas from robust control, optimal control, and sensor based planning to provide a generalization of stopping distance in 3D. The planner is implemented in simulation and its properties are analyzed.


title: Learning Scene Gist with Convolutional Neural Networks to Improve Object Recognition

abstract: Advancements in convolutional neural networks (CNNs) have made significant strides toward achieving high performance levels on multiple object recognition tasks. While some approaches utilize information from the entire scene to propose regions of interest, the task of interpreting a particular region or object is still performed independently of other objects and features in the image. Here we demonstrate that a scene's 'gist' can significantly contribute to how well humans can recognize objects. These findings are consistent with the notion that humans foveate on an object and incorporate information from the periphery to aid in recognition. We use a biologically inspired two-part convolutional neural network ('GistNet') that models the fovea and periphery to provide a proof-of-principle demonstration that computational object recognition can significantly benefit from the gist of the scene as contextual information. Our model yields accuracy improvements of up to 50% in certain object categories when incorporating contextual gist, while only increasing the original model size by 5%. This proposed model mirrors our intuition about how the human visual system recognizes objects, suggesting specific biologically plausible constraints to improve machine vision and building initial steps towards the challenge of scene understanding.


title: An Online Algorithm for Learning Buyer Behavior under Realistic Pricing Restrictions

abstract: We propose a new efficient online algorithm to learn the parameters governing the purchasing behavior of a utility maximizing buyer, who responds to prices, in a repeated interaction setting. The key feature of our algorithm is that it can learn even non-linear buyer utility while working with arbitrary price constraints that the seller may impose. This overcomes a major shortcoming of previous approaches, which use unrealistic prices to learn these parameters making them unsuitable in practice.


title: Moment-Based Quantile Sketches for Efficient High Cardinality Aggregation Queries

abstract: Interactive analytics increasingly involves querying for quantiles over sub-populations of high cardinality datasets. Data processing engines such as Druid and Spark use mergeable summaries to estimate quantiles, but summary merge times can be a bottleneck during aggregation. We show how a compact and efficiently mergeable quantile sketch can support aggregation workloads. This data structure, which we refer to as the moments sketch, operates with a small memory footprint (200 bytes) and computationally efficient (50ns) merges by tracking only a set of summary statistics, notably the sample moments. We demonstrate how we can efficiently and practically estimate quantiles using the method of moments and the maximum entropy principle, and show how the use of a cascade further improves query time for threshold predicates. Empirical evaluation on real-world datasets shows that the moments sketch can achieve less than 1 percent error with 15 times less merge overhead than comparable summaries, improving end query time in the MacroBase engine by up to 7 times and the Druid engine by up to 60 times.


title: Existence Results for the Nonlinear Hodge Minimal Surface Energy

abstract: Given a compact Riemannian manifold $(M^n,g)$ and a fixed cohomology class, $[\alpha^*] \in H^k(M)$, we consider the existence of a minimizer $\alpha \in [\alpha^*]$ of the generalized minimal surface energy $\int_M \sqrt{1+|\alpha|^2} dV_g$. When $k = 1$, we prove the existence of unique minimizers for every cohomology class $[\alpha^*]$. Next, when $k > 1$, we construct examples of singular solutions for finite cohomology class $[\alpha^*] \in H^k(S^k \times S^k,g)$, where $g$ is conformal to the standard metric on $S^k \times S^k$. Additionally, we show that when $k=2$, these singular solutions are also solutions to the Born Infeld equation.


title: Exoplanets Torqued by the Combined Tides of a Moon and Parent Star

abstract: In recent years, there has been interest in Earth-like exoplanets in the habitable zones of low mass stars ($\sim0.1-0.6\,M_\odot$). Furthermore, it has been argued that a large moon may be important for stabilizing conditions on a planet for life. If these two features are combined, then an exoplanet can feel a similar tidal influence from both its moon and parent star, leading to potentially interesting dynamics. The moon's orbital evolution depends on the exoplanet's initial spin period $P_0$. When $P_0$ is small, transfer of the exoplanet's angular momentum to the moon's orbit can cause the moon to migrate outward sufficiently to be stripped by the star. When $P_0$ is large, the moon migrates less and the star's tidal torques spin down the exoplanet. Tidal interactions then cause the moon to migrate inward until it is likely tidally disrupted by the exoplanet and potentially produces rings. While one may think that these findings preclude the presence of moons for the exoplanets of low mass stars, in fact a wide range of timescales are found for the loss or destruction of the moon; it can take $\sim10^6-10^{10}\,{\rm yrs}$ depending on the system parameters. When the moon is still present, the combined tidal torques force the exoplanet to spin asynchronously with respect to both its moon and parent star, which tidally heats the exoplanet. This can produce heat fluxes comparable to those currently coming through the Earth, arguing that combined tides may be a method for driving tectonic activity in exoplanets.


title: SysML/KAOS Domain Models and B System Specifications

abstract: In this paper, we use a combination of the SysML/KAOS requirements engineering method, an extension of SysML, with concepts of the KAOS goal model, and of the B System formal method. Translation rules from a SysML/KAOS goal model to a B System specification have been defined. They allow to obtain a skeleton of the B System specification. To complete it, we have defined a language to express the domain model associated to the goal model. The translation of this domain model gives the structural part of the B System specification. The contribution of this paper is the description of translation rules from SysML/KAOS domain models to B System specifications. We also present the formal verification of these rules and we describe an open source tool that implements the languages and the rules. Finally, we provide a review of the application of the SysML/KAOS method on case studies such as for the formal specification of the hybrid ERTMS/ETCS level 3 standard.