title: Surface Phonons in the Topological Insulators Bi2Se3 and Bi2Te3

abstract: Raman scattering [K. M. F. Shahil et al., Appl. Phys. Lett. 96, 153103 (2010), V. Gnezdilov et al., Phys. Rev. B 84, 195118 (2011) and H. H. Kung et al., Phys. Rev. B 95, 245406 (2017)], inelastic helium scattering [X. Zhu et al., Phys. Rev. Lett. 107, 186102 (2011)] and photoemission experiments [J. A. Sobota et al., Phys. Rev. Lett. 113, 157401 (2014)] on the topological insulators Bi2Se3 and Bi2Te3 show features in the range ~ 50-160 cm-1, which have been assigned alternatively to Raman-forbidden, bulk infrared modes arising from symmetry breaking at the surface or to surface phonons, which couple to the topologically protected electronic states. Here, we present temperature- and wavelength- dependent Raman studies showing additional modes we ascribe to surface phonons in both Bi2Se3 and Bi2Te3. Our assignment is supported by density functional theory calculations revealing surface phonons at frequencies close to those of the extra peaks in the Raman data. The theoretical results also indicate that these modes are not a consequence of spin-orbit coupling and, thus, that their occurrence is unrelated to the topological properties of these materials.


title: On prime numbers of the form $2^n \pm k$

abstract: Consider the set $\mathcal{K}$ of integers $k$ for which there are infinitely many primes $p$ such that $p+k$ is a power of $2$. The aim of this paper is to show a relationship between $\mathcal{K}$ and the limits points of some set rational numbers related to a sequence of polynomials $C_n(q)$ introduced by Kassel and Reutenauer [KasselReutenauer].


title: A relationship between the ideals of $\mathbb{F}_q\left[x, y, x^{-1}, y^{-1} \right]$ and the Fibonacci numbers

abstract: Let $C_n(q)$ be the number of ideals of codimension $n$ of $\mathbb{F}_q\left[x, y, x^{-1}, y^{-1} \right]$, where $\mathbb{F}_q$ is the finite field with $q$ elements. Kassel and Reutenauer [KasselReutenauer2015A] proved that $C_n(q)$ is a polynomial in $q$ for any fixed value of $n \geq 1$. For $q = \frac{3+\sqrt{5}}{2}$, this combinatorial interpretation of $C_n(q)$ is lost. Nevertheless, an unexpected connexion with Fibonacci numbers appears. Let $f_n$ be the $n$-th Fibonacci number (following the convention $f_0 = 0$, $f_1 = 1$). Define the series $$ F(t) = \sum_{n \geq 1} f_{2n}\,t^n. $$ We will prove that for each $n \geq 1$, $$ C_n\left( \frac{3+\sqrt{5}}{2}\right) = \lambda_n \, \left(f_{2n} \frac{3+\sqrt{5}}{2} - f_{2n-2} \right) , $$ where the integers $\lambda_n \geq 0$ are given by the following generating function $$ \prod_{m \geq 1} \left(1+F\left( t^m\right)\right) = 1 + \sum_{n \geq 1} \lambda_n\,t^n. $$


title: Middle divisors and $\sigma$-palindromic Dyck words

abstract: Given a real number $\lambda > 1$, we say that $d|n$ is a $\lambda$-middle divisor of $n$ if $$ \sqrt{\frac{n}{\lambda}} < d \leq \sqrt{\lambda n}. $$ We will prove that there are integers having an arbitrarily large number of $\lambda$-middle divisors. Consider the word $$ \langle\! \langle n \rangle\! \rangle_{\lambda} := w_1 w_2 ... w_k \in \{a,b\}^{\ast}, $$ given by $$ w_i := \left\{ \begin{array}{c l} a & \textrm{if } u_i \in D_n \backslash \left(\lambda D_n\right), \\ b & \textrm{if } u_i \in \left(\lambda D_n\right)\backslash D_n, \end{array} \right. $$ where $D_n$ is the set of divisors of $n$, $\lambda D_n := \{\lambda d: \quad d \in D_n\}$ and $u_1, u_2, ..., u_k$ are the elements of the symmetric difference $D_n \triangle \lambda D_n$ written in increasing order. We will prove that the language $$ \mathcal{L}_{\lambda} := \left\{\langle\! \langle n \rangle\! \rangle_{\lambda} : \quad n \in \mathbb{Z}_{\geq 1} \right\} $$ contains Dyck words having an arbitrarily large number of centered tunnels. We will show a connection between both results.


title: Factorization of Dyck words and the distribution of the divisors of an integer

abstract: In [CaballeroHooleyDelta], we associated a Dyck word $\langle\! \langle n \rangle\! \rangle_{\lambda}$ to any pair $(n, \lambda)$ consisting of an integer $n \geq 1$ and a real number $\lambda > 1$. The goal of the present paper is to show a relationship between the factorization of $\langle\! \langle n \rangle\! \rangle_{\lambda}$ as the concatenation of irreducible Dyck words and the distribution of the divisors of $n$. In particular, we will provide a characterization of $\lambda$-densely divisible numbers (these numbers were introduced in [castryck2014new]).


title: The Asymptotic Binary Goldbach and Lemoine Conjectures

abstract: In this paper we use the former of the authors developed theory of \textbf{circles of partition} to investigate possibilities to prove the binary Goldbach as well as the Lemoine conjecture. We state the \textit{squeeze principle} and its consequences if the set of all odd prime numbers is the base set. With this tool we can prove asymptotic versions of the binary Goldbach as well as the Lemoine conjecture.


title: Cs diffusion in SiC high-energy grain boundaries

abstract: Cesium (Cs) is a radioactive fission product whose release is of concern for Tristructural-Isotropic (TRISO) fuel particles. In this work, Cs diffusion through high energy grain boundaries (HEGBs) of cubic-SiC is studied using an ab-initio based kinetic Monte Carlo (kMC) model. The HEGB environment was modeled as an amorphous SiC (a-SiC), and Cs defect energies were calculated using density functional theory (DFT). From defect energies, it was suggested that the fastest diffusion mechanism as Cs interstitial in an amorphous SiC. The diffusion of Cs interstitial was simulated using a kMC, based on the site and transition state energies sampled from the DFT. The Cs HEGB diffusion exhibited an Arrhenius type diffusion in the range of 1200-1600{\deg}C. The comparison between HEGB results and the other studies suggests not only that the GB diffusion dominates the bulk diffusion, but also that the HEGB is one of the fastest grain boundary paths for the Cs diffusion. The diffusion coefficients in HEGB are clearly a few orders of magnitude lower than the reported diffusion coefficients from in- and out-of- pile samples, suggesting that other contributions are responsible, such as a radiation enhanced diffusion.


title: Quantum Drinfeld Modules and Ray Class Fields of Real Quadratic Global Function Fields

abstract: This is the second in a series of two papers presenting a solution to Hilbert's 12th problem for real quadratic function fields in positive characteristic, in the sense of proving an analog of the Theorem of Weber-Fueter. We also offer a conjectural treatment of the number field case using quasicrystal counterparts of the constructions used in function fields. Let $K/\mathbb{F}_{q}(T)$ be quadratic and real, $\mathcal{O}_{K}$ the integral closure of $\mathbb{F}_{q}[T]$ in $K$. To each $f\in \mathcal{O}_{K}^{\times}$ we associate an order $\mathcal{O}_{f}\subset\mathcal{O}_{K}$ for which $\mathcal{O}_{f}^{\times}/\mathbb{F}_{q}^{\times} =\langle f\rangle$, and consider the ideals $\mathfrak{M}_{f}\subset\mathcal{O}_{f}$ with $f\equiv 1\mod \mathfrak{M}_{f}$. The union of the ray class fields $K_{\mathfrak{M}_{f}}$, as one varies over $f$ and $\mathfrak{M}_{f}$, is the maximal abelian extension of $K$ split over the two primes dividing $\infty$. To $f$ we also associate the quantum Drinfeld module $\rho^{\rm qt} $: a generalization of Drinfeld module whose elements are multi-points. Given $\mathfrak{M}_{f}$ a modulus in the family described above, we may define the module of quantum torsion points $\rho^{\rm qt}[\mathfrak{M}_{f} ] $. The main theorem of the paper is that $K_{\mathfrak{M}_{f}}$ is generated over the Hilbert class field $H_{\mathcal{O}_{f}}$ of $\mathcal{O}_{f}$ by the traces of the multipoints of $\rho^{\rm qt}[\mathfrak{M}_{f} ] $ and their conjugates by the non-trivial element $\varphi\in {\rm Gal}(K/\mathbb{F}_{q}(T))$.


title: Theoretical realization of Mo2P, a novel stable 2D material with superionic conductivity and attractive optical properties

abstract: Mo2P as a new member of the advancing two-dimensional (2D) materials family has been theoretically identified in this study. We conducted extensive density functional theory calculations to explore the crystal structure, dynamical stability, mechanical response, electronic structure and optical properties. Mo2P was found to be metallic with the Fermi energy locating at the d bands of transition metal Mo. A high reflectivity of ~100% at low energies less than 1 eV was observed, introducing Mo2P as a potential candidate for photonic and optoelectronic applications such as transmitting electromagnetic waves devices. Our calculations confirm that the novel 2D structure is dynamically stable and can withstand at high temperatures including 1000 K. Mo2P was found to yield high tensile strength and elastic modulus of 12 GPa.nm and 56 GPa.nm, respectively. We particularly evaluated the application of Mo2P as an anode material for Li and Na-ion rechargeable batteries.


title: Binding energy and nature of the orbitals in fluorinated graphene: a density functional theory study

abstract: We present density functional theory calculations of the binding energies of one, two and three fluorine adatoms on the same side of monolayer graphene. We show that fluorine dimers on graphene in a spin-singlet state are stable against dissociation into isolated fluorine adatoms, suggesting that there is a tendency for fluorine adatoms on a single side of graphene to cluster. Our results suggest that fluorination develops by successive bonding of fluorine atoms to neighbouring carbon atoms on different sublattices, while the spins are arranged to reduce the total magnetisation of the ground state. We find that the finite-size error in the binding energy of a single fluorine atom or dimer on a periodic supercell of graphene scales inversely with the cube of the linear size of the simulation supercell. By using $\pi$-orbital axis analysis, the rehybridisation of the three $\sigma$-orbitals pointing directly along the bonds to the central fluorinated carbon is found to be sp\textsuperscript{2.33}. The rehybridisation of the carbon orbital in the C--F bond is found to be sp\textsuperscript{4.66}.


title: Dynamic Capacity Estimation in Hopfield Networks

abstract: Understanding the memory capacity of neural networks remains a challenging problem in implementing artificial intelligence systems. In this paper, we address the notion of capacity with respect to Hopfield networks and propose a dynamic approach to monitoring a network's capacity. We define our understanding of capacity as the maximum number of stored patterns which can be retrieved when probed by the stored patterns. Prior work in this area has presented static expressions dependent on neuron count $N$, forcing network designers to assume worst-case input characteristics for bias and correlation when setting the capacity of the network. Instead, our model operates simultaneously with the learning Hopfield network and concludes on a capacity estimate based on the patterns which were stored. By continuously updating the crosstalk associated with the stored patterns, our model guards the network from overwriting its memory traces and exceeding its capacity. We simulate our model using artificially generated random patterns, which can be set to a desired bias and correlation, and observe capacity estimates between 93% and 97% accurate. As a result, our model doubles the memory efficiency of Hopfield networks in comparison to the static and worst-case capacity estimate while minimizing the risk of lost patterns.


title: LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report

abstract: Logic-based paradigms are nowadays widely used in many different fields, also thank to the availability of robust tools and systems that allow the development of real-world and industrial applications. In this work we present LoIDE, an advanced and modular web-editor for logic-based languages that also integrates with state-of-the-art solvers.


title: Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning

abstract: In this paper, we propose and evaluate the application of unsupervised machine learning to anomaly detection for a Cyber-Physical System (CPS). We compare two methods: Deep Neural Networks (DNN) adapted to time series data generated by a CPS, and one-class Support Vector Machines (SVM). These methods are evaluated against data from the Secure Water Treatment (SWaT) testbed, a scaled-down but fully operational raw water purification plant. For both methods, we first train detectors using a log generated by SWaT operating under normal conditions. Then, we evaluate the performance of both methods using a log generated by SWaT operating under 36 different attack scenarios. We find that our DNN generates fewer false positives than our one-class SVM while our SVM detects slightly more anomalies. Overall, our DNN has a slightly better F measure than our SVM. We discuss the characteristics of the DNN and one-class SVM used in this experiment, and compare the advantages and disadvantages of the two methods.


title: Simulating Gamma-ray Emission in Star-forming Galaxies

abstract: Star forming galaxies emit GeV- and TeV-gamma rays that are thought to originate from hadronic interactions of cosmic-ray (CR) nuclei with the interstellar medium. To understand the emission, we have used the moving mesh code Arepo to perform magneto-hydrodynamical galaxy formation simulations with self-consistent CR physics. Our galaxy models exhibit a first burst of star formation that injects CRs at supernovae. Once CRs have sufficiently accumulated in our Milky-Way like galaxy, their buoyancy force overcomes the magnetic tension of the toroidal disk field. As field lines open up, they enable anisotropically diffusing CRs to escape into the halo and to accelerate a bubble-like, CR-dominated outflow. However, these bubbles are invisible in our simulated gamma-ray maps of hadronic pion-decay and secondary inverse-Compton emission because of low gas density in the outflows. By adopting a phenomenological relation between star formation rate (SFR) and far-infrared emission and assuming that gamma rays mainly originate from decaying pions, our simulated galaxies can reproduce the observed tight relation between far-infrared and gamma-ray emission, independent of whether we account for anisotropic CR diffusion. This demonstrates that uncertainties in modeling active CR transport processes only play a minor role in predicting gamma-ray emission from galaxies. We find that in starbursts, most of the CR energy is "calorimetrically" lost to hadronic interactions. In contrast, the gamma-ray emission deviates from this calorimetric property at low SFRs due to adiabatic losses, which cannot be identified in traditional one-zone models.


title: Kronos & Krios: Evidence for accretion of a massive, rocky planetary system in a comoving pair of solar-type stars

abstract: We report and discuss the discovery of a comoving pair of bright solar-type stars, HD 240430 and HD 240429, with a significant difference in their chemical abundances. The two stars have an estimated 3D separation of $\approx 0.6$ pc ($\approx 0.01$ pc projected) at a distance of $r\approx 100$ pc with nearly identical three-dimensional velocities, as inferred from Gaia TGAS parallaxes and proper motions, and high-precision radial velocity measurements. Stellar parameters determined from high-resolution Keck HIRES spectra indicate that both stars are $\sim 4$ Gyr old. The more metal-rich of the two, HD 240430, shows an enhancement of refractory ($T_C>1200$ K) elements by $\approx 0.2$ dex and a marginal enhancement of (moderately) volatile elements ($T_C<1200$ K, C, N, O, Na, and Mn). This is the largest metallicity difference found in a wide binary pair yet. Additionally, HD 240430 shows an anomalously high surface lithium abundance ($A(\mathrm{Li})=2.75$), higher than its companion by $0.5$ dex. The proximity in phase-space and ages between the two stars suggests that they formed together with the same composition, at odds with the observed differences in metallicity and abundance patterns. We therefore suggest that the star HD~240430, "Kronos", accreted 15 $M_\oplus$ of rocky material after birth, selectively enhancing the refractory elements as well as lithium in its surface and convective envelope.


title: The effect of nuclear gas distribution on the mass determination of supermassive black holes

abstract: Supermassive black holes reside in the nuclei of most galaxies. Accurately determining their mass is key to understand how the population evolves over time and how the black holes relate to their host galaxies. Beyond the local universe, the mass is commonly estimated assuming virialized motion of gas in the close vicinity to the active black holes, traced through broad emission lines. However, this procedure has uncertainties associated with the unknown distribution of the gas clouds. Here we show that the comparison of black hole masses derived from the properties of the central accretion disc with the virial mass estimate provides a correcting factor, for the virial mass estimations, that is inversely proportional to the observed width of the broad emission lines. Our results suggest that line-of-sight inclination of gas in a planar distribution can account for this effect. However, radiation pressure effects on the distribution of gas can also reproduce our findings. Regardless of the physical origin, our findings contribute to mitigate the uncertainties in current black hole mass estimations and, in turn, will help to further understand the evolution of distant supermassive black holes and their host galaxies.


title: The two most recent thermonuclear supernovae in the Local Group: radio constraints on their progenitors and evolution

abstract: Young supernova remnants (SNRs) provide a unique perspective on supernova (SN) progenitors and connect the late evolution of SNe with the onset of the SNR phase. Here we study SN 1885A and G1.9+0.3, the most recent thermonuclear SNe in the Local Group (with ages $\sim 100$ years) with radio data, which provides a sensitive probe of the SN environment and energetics. We reduce and co-add 4-8 GHz observations from Karl G. Jansky Very Large Array (VLA) to produce the deepest radio image of the M31 central region (RMS noise of 1.3 $\mu$Jy/beam at 6.2 GHz). We detect some diffuse emission near SN 1885A at 2.6 $\sigma$, but the association with SN 1885A is uncertain because diffuse radio emission pervades the M31 central region. The VLA upper limit and HST measurements yield an ambient density, $n_0 < 0.04$ cm$^{-3}$ ($\pm$ 0.03 cm$^{-3}$ due to systematics) for SN 1885A, and kinetic energies, $E_k \sim (1.3-1.7) \times 10^{51}$ ergs for ejecta masses of $1-1.4$ M$_{\odot}$. For the same ejecta mass range, VLA observations of G1.9+0.3 yield $n_0 = 0.18$ cm$^{-3}$, and $E_k = (1-1.3) \times 10^{51}$ ergs. We argue that a sub-Chandrasekhar explosion model may be likely for SN 1885A, in agreement with X-ray studies, but in tension with models for the HST absorption spectra. The analysis of G1.9+0.3 is consistent with both Chandrasekhar and sub-Chandrasekhar SN Ia models, but rules out Type Iax explosions.


title: Casimir recursion relations for general conformal blocks

abstract: We study the structure of series expansions of general spinning conformal blocks. We find that the terms in these expansions are naturally expressed by means of special functions related to matrix elements of Spin(d) representations in Gelfand-Tsetlin basis, of which the Gegenbauer polynomials are a special case. We study the properties of these functions and explain how they can be computed in practice. We show how the Casimir equation in Dolan-Osborn coordinates leads to a simple one-step recursion relation for the coefficients of the series expansion of general spinning conformal block. The form of this recursion relation is determined by 6j symbols of Spin(d-1). In particular, it can be written down in closed form in d=3, d=4, for seed blocks in general dimensions, or in any other situation when the required 6j symbols can be computed. We work out several explicit examples and briefly discuss how our recursion relation can be used for efficient numerical computation of general conformal blocks.


title: Impact and mitigation strategy for future solar flares

abstract: It is widely established that extreme space weather events associated with solar flares are capable of causing widespread technological damage. We develop a simple mathematical model to assess the economic losses arising from these phenomena over time. We demonstrate that the economic damage is characterized by an initial period of power-law growth, followed by exponential amplification and eventual saturation. We outline a mitigation strategy to protect our planet by setting up a magnetic shield to deflect charged particles at the Lagrange point L$_1$, and demonstrate that this approach appears to be realizable in terms of its basic physical parameters. We conclude our analysis by arguing that shielding strategies adopted by advanced civilizations will lead to technosignatures that are detectable by upcoming missions.


title: Polarimetric Analysis of the Long Duration Gamma Ray Burst GRB 160530A With the Balloon Borne Compton Spectrometer and Imager

abstract: A long duration gamma-ray burst, GRB 160530A, was detected by the Compton Spectrometer and Imager (COSI) during the 2016 COSI Super Pressure Balloon campaign. As a Compton telescope, COSI is inherently sensitive to the polarization of gamma-ray sources in the energy range 0.2-5.0 MeV. We measured the polarization of GRB 160530A using 1) a standard method (SM) based on fitting the distribution of azimuthal scattering angles with a modulation curve, and 2) an unbinned, maximum likelihood method (MLM). In both cases, the measured polarization level was below the $99\%$ confidence minimum detectable polarization levels of $72.3 \pm 0.8\%$ (SM) and $57.5 \pm 0.8\%$ (MLM). Therefore, COSI did not detect polarized gamma-ray emission from this burst. Our most constraining $90\%$ confidence upper limit on the polarization level was $46\%$ (MLM).


title: Effect of Angular Momentum Alignment and Strong Magnetic Fields on the Formation of Protostellar Disks

abstract: Star forming molecular clouds are observed to be both highly magnetized and turbulent. Consequently the formation of protostellar disks is largely dependent on the complex interaction between gravity, magnetic fields, and turbulence. Studies of non-turbulent protostellar disk formation with realistic magnetic fields have shown that these fields are efficient in removing angular momentum from the forming disks, preventing their formation. However, once turbulence is included, disks can form in even highly magnetized clouds, although the precise mechanism remains uncertain. Here we present several high resolution simulations of turbulent, realistically magnetized, high-mass molecular clouds with both aligned and random turbulence to study the role that turbulence, misalignment, and magnetic fields have on the formation of protostellar disks. We find that when the turbulence is artificially aligned so that the angular momentum is parallel to the initial uniform field, no rotationally supported disks are formed, regardless of the initial turbulent energy. We conclude that turbulence and the associated misalignment between the angular momentum and the magnetic field are crucial in the formation of protostellar disks in the presence of realistic magnetic fields.


title: Spatial fluctuations of the intergalactic temperature-density relation after hydrogen reionization

abstract: The thermal state of the post-reionization IGM is sensitive to the timing of reionization and the nature of the ionizing sources. We have modelled here the thermal state of the IGM in cosmological radiative transfer simulations of a realistic, extended, spatially inhomogeneous hydrogen reionization process, carefully calibrated with Ly-alpha forest data. We compare these with cosmological simulations run using a spatially homogeneous ionizing background. The simulations with a realistic growth of ionized regions and a realistic spread in reionization redshifts show, as expected, significant spatial fluctuations in the temperature-density relation (TDR) of the post-reionization IGM. The most recently ionized regions are hottest and exhibit a flatter TDR. In simulations consistent with the average TDR inferred from Ly-alpha forest data, these spatial fluctuations have a moderate but noticeable effect on the statistical properties of the Ly-alpha opacity of the IGM at z ~ 4-6. This should be taken into account in accurate measurements of the thermal properties of the IGM and the free-streaming of dark matter from Ly-alpha forest data in this redshift range. The spatial variations of the TDR predicted by our simulations are, however, smaller by about a factor two than would be necessary to explain the observed large spatial opacity fluctuations on large (> 50 comoving Mpc/h) scales at z > 5.5.


title: Maximum Likelihood Compton Polarimetry with the Compton Spectrometer and Imager

abstract: Astrophysical polarization measurements in the soft gamma-ray band are becoming more feasible as detectors with high position and energy resolution are deployed. Previous work has shown that the minimum detectable polarization (MDP) of an ideal Compton polarimeter can be improved by $\sim 21\%$ when an unbinned, maximum likelihood method is used instead of the standard approach of fitting a sinusoid to a histogram of azimuthal scattering angles. Here we outline a procedure for implementing this maximum likelihood approach for real, non-ideal polarimeters. As an example, we use the recent observation of GRB 160530A with the Compton Spectrometer and Imager. We find that the MDP for this observation is reduced by $20\%$ when the maximum likelihood method is used instead of the standard method.


title: The DEdicated MONitor of EXotransits and Transients (DEMONEXT): System Overview and Year One Results from a Low-Cost Robotic Telescope for Follow-Up of Exoplanetary Transits and Transients

abstract: We report on the design and first year of operations of the DEdicated MONitor of EXotransits and Transients (DEMONEXT). DEMONEXT is a 20 inch (0.5-m) robotic telescope using a PlaneWave CDK20 telescope on a Mathis instruments MI-750/1000 fork mount. DEMONEXT is equipped with a $2048\times2048$ pixel Finger Lakes Instruments (FLI) detector, a 10-position filter wheel with an electronic focuser and $B$, $V$, $R$, $I$, $g'$, $r'$, $i'$, $z'$, and clear filters. DEMONEXT operates in a continuous observing mode and achieves 2-4 mmag raw, unbinned, precision on bright $V<13$ targets with 20-120 second exposures, and 1 mmag precision achieved by binning on 5-6 minute timescales. DEMONEXT maintains sub-pixel ($<0.5$ pixels) target position stability on the CCD over 8 hours in good observing conditions, with degraded performance in poor weather ($<1$ pixel). DEMONEXT achieves 1-10% photometry on single-epoch targets with $V<17$ in 5 minute exposures, with detection thresholds of $V\approx21$. The DEMONEXT automated software has produced 143 planetary candidate transit light curves for the KELT collaboration, and 48 supernovae and transient light curves for the ASAS-SN supernovae group in the first year of operation. DEMONEXT has also observed for a number of ancillary science projects including Galactic microlensing, active galactic nuclei, stellar variability, and stellar rotation.


title: Resonant absorption of bosonic dark matter in molecules

abstract: We propose a new class of bosonic dark matter (DM) detectors based on resonant absorption onto a gas of small polyatomic molecules. Bosonic DM acts on the molecules as a narrow-band perturbation, like an intense but weakly coupled laser. The excited molecules emit the absorbed energy into fluorescence photons that are picked up by sensitive photodetectors with low dark count rates. This setup is sensitive to any DM candidate that couples to electrons, photons, and nuclei, and may improve on current searches by several orders of magnitude in coupling for DM masses between 0.2 eV and 20 eV. This type of detector has excellent intrinsic energy resolution, along with several control variables---pressure, temperature, external electromagnetic fields, molecular species/isotopes---that allow for powerful background rejection methods as well as precision studies of a potential DM signal. The proposed experiment does not require usage of novel exotic materials or futuristic technologies, relying instead on the well-established field of molecular spectroscopy, and on recent advances in single-photon detection. Cooperative radiation effects, which arise due to the large spatial coherence of the nonrelativistic DM field in certain detector geometries, can tightly focus the DM-induced fluorescence photons in a direction that depends on the DM's velocity, possibly permitting a detailed reconstruction of the full 3D velocity distribution in our Galactic neighborhood, as well as further background rejection.

categories: hep-ph hep-th physics.atom-ph physics.optics


title: Conformal field theories and compact curves in moduli spaces

abstract: We show that there are many compact subsets of the moduli space $M_g$ of Riemann surfaces of genus $g$ that do not intersect any symmetry locus. This has interesting implications for $\mathcal{N}=2$ supersymmetric conformal field theories in four dimensions.


title: The Universe is Reionizing at z~7: Bayesian Inference of the IGM Neutral Fraction Using Ly$\alpha$ Emission from Galaxies

abstract: We present a new flexible Bayesian framework for directly inferring the fraction of neutral hydrogen in the intergalactic medium (IGM) during the Epoch of Reionization (EoR, z~6-10) from detections and non-detections of Lyman Alpha (Ly$\alpha$) emission from Lyman break galaxies (LBGs). Our framework combines sophisticated reionization simulations with empirical models of the interstellar medium (ISM) radiative transfer effects on Ly$\alpha$. We assert that the Ly$\alpha$ line profile emerging from the ISM has an important impact on the resulting transmission of photons through the IGM, and that these line profiles depend on galaxy properties. We model this effect by considering the peak velocity offset of Ly$\alpha$ lines from host galaxies' systemic redshifts, which are empirically correlated with UV luminosity and redshift (or halo mass at fixed redshift). We use our framework on the sample of LBGs presented in Pentericci et al. (2014) and infer a global neutral fraction at z~7 of $\overline{x}_\mathrm{HI} = 0.59_{-0.15}^{+0.11}$, consistent with other robust probes of the EoR and confirming reionization is on-going ~700 Myr after the Big Bang. We show that using the full distribution of Ly$\alpha$ equivalent width detections and upper limits from LBGs places tighter constraints on the evolving IGM than the standard Ly$\alpha$ emitter fraction, and that larger samples are within reach of deep spectroscopic surveys of gravitationally lensed fields and JWST NIRSpec.


title: Fibre-optic metadevice for all-optical signal modulation based on coherent absorption

abstract: Recently, coherent control of the optical response of thin films of matter in standing waves has attracted considerable attention, ranging from applications in excitation-selective spectroscopy and nonlinear optics to demonstrations of all-optical image processing. Here we show that integration of metamaterial and optical fibre technologies allows the use of coherently controlled absorption in a fully fiberized and packaged switching metadevice. With this metadevice, that controls light with light in a nanoscale plasmonic metamaterial film on an optical fibre tip, we provide proof-of-principle demonstrations of logical functions XOR, NOT and AND that are performed within a coherent fully fiberized network at wavelengths between 1530 nm and 1565 nm. The metadevice performance has been tested with optical signals equivalent to a bitrate of up to 40 Gbit/s and sub-milliwatt power levels. Since coherent absorption can operate at the single photon level and also with 100 THz bandwidth, we argue that the demonstrated all-optical switch concept has potential applications in coherent and quantum information networks.


title: Infrared Fixed Point Physics in ${\rm SO}(N_c)$ and ${\rm Sp}(N_c)$ Gauge Theories

abstract: We study properties of asymptotically free vectorial gauge theories with gauge groups $G={\rm SO}(N_c)$ and $G={\rm Sp}(N_c)$ and $N_f$ fermions in a representation $R$ of $G$, at an infrared (IR) zero of the beta function, $\alpha_{IR}$, in the non-Abelian Coulomb phase. The fundamental, adjoint, and rank-2 symmetric and antisymmetric tensor fermion representations are considered. We present scheme-independent calculations of the anomalous dimensions of (gauge-invariant) fermion bilinear operators $\gamma_{\bar\psi\psi,IR}$ to $O(\Delta_f^4)$ and of the derivative of the beta function at $\alpha_{IR}$, denoted $\beta'_{IR}$, to $O(\Delta_f^5)$, where $\Delta_f$ is an $N_f$-dependent expansion variable. It is shown that all coefficients in the expansion of $\gamma_{\bar\psi\psi,IR}$ that we calculate are positive for all representations considered, so that to $O(\Delta_f^4)$, $\gamma_{\bar\psi\psi,IR}$ increases monotonically with decreasing $N_f$ in the non-Abelian Coulomb phase. Using this property, we give a new estimate of the lower end of this phase for some specific realizations of these theories.


title: Investigating the interstellar dust through the Fe K-edge

abstract: The chemical and physical properties of interstellar dust in the densest regions of the Galaxy are still not well understood. X-rays provide a powerful probe since they can penetrate gas and dust over a wide range of column densities (up to $10^{24}\ \rm{cm}^{-2}$). The interaction (scattering and absorption) with the medium imprints spectral signatures that reflect the individual atoms which constitute the gas, molecule, or solid. In this work we investigate the ability of high resolution X-ray spectroscopy to probe the properties of cosmic grains containing iron. Although iron is heavily depleted into interstellar dust, the nature of the Fe-bearing grains is still largely uncertain. In our analysis we use iron K-edge synchrotron data of minerals likely present in the ISM dust taken at the European Synchrotron Radiation Facility. We explore the prospects of determining the chemical composition and the size of astrophysical dust in the Galactic centre and in molecular clouds with future X-ray missions. The energy resolution and the effective area of the present X-ray telescopes are not sufficient to detect and study the Fe K-edge, even for bright X-ray sources. From the analysis of the extinction cross sections of our dust models implemented in the spectral fitting program SPEX, the Fe K-edge is promising for investigating both the chemistry and the size distribution of the interstellar dust. We find that the chemical composition regulates the X-ray absorption fine structures in the post edge region, whereas the scattering feature in the pre-edge is sensitive to the mean grain size. Finally, we note that the Fe K-edge is insensitive to other dust properties, such as the porosity and the geometry of the dust.


title: Embedding Deep Networks into Visual Explanations

abstract: In this paper, we propose a novel Explanation Neural Network (XNN) to explain the predictions made by a deep network. The XNN works by learning a nonlinear embedding of a high-dimensional activation vector of a deep network layer into a low-dimensional explanation space while retaining faithfulness i.e., the original deep learning predictions can be constructed from the few concepts extracted by our explanation network. We then visualize such concepts for human to learn about the high-level concepts that the deep network is using to make decisions. We propose an algorithm called Sparse Reconstruction Autoencoder (SRAE) for learning the embedding to the explanation space. SRAE aims to reconstruct part of the original feature space while retaining faithfulness. A pull-away term is applied to SRAE to make the bases of the explanation space more orthogonal to each other. A visualization system is then introduced for human understanding of the features in the explanation space. The proposed method is applied to explain CNN models in image classification tasks. We conducted a human study, which shows that the proposed approach outperforms single saliency map baselines, and improves human performance on a difficult classification tasks. Also, several novel metrics are introduced to evaluate the performance of explanations quantitatively without human involvement.


title: Synthesizing Coupling Proofs of Differential Privacy

abstract: Differential privacy has emerged as a promising probabilistic formulation of privacy, generating intense interest within academia and industry. We present a push-button, automated technique for verifying $\varepsilon$-differential privacy of sophisticated randomized algorithms. We make several conceptual, algorithmic, and practical contributions: (i) Inspired by the recent advances on approximate couplings and randomness alignment, we present a new proof technique called coupling strategies, which casts differential privacy proofs as a winning strategy in a game where we have finite privacy resources to expend. (ii) To discover a winning strategy, we present a constraint-based formulation of the problem as a set of Horn modulo couplings (HMC) constraints, a novel combination of first-order Horn clauses and probabilistic constraints. (iii) We present a technique for solving HMC constraints by transforming probabilistic constraints into logical constraints with uninterpreted functions. (iv) Finally, we implement our technique in the FairSquare verifier and provide the first automated privacy proofs for a number of challenging algorithms from the differential privacy literature, including Report Noisy Max, the Exponential Mechanism, and the Sparse Vector Mechanism.


title: Supervised and Unsupervised Speech Enhancement Using Nonnegative Matrix Factorization

abstract: Reducing the interference noise in a monaural noisy speech signal has been a challenging task for many years. Compared to traditional unsupervised speech enhancement methods, e.g., Wiener filtering, supervised approaches, such as algorithms based on hidden Markov models (HMM), lead to higher-quality enhanced speech signals. However, the main practical difficulty of these approaches is that for each noise type a model is required to be trained a priori. In this paper, we investigate a new class of supervised speech denoising algorithms using nonnegative matrix factorization (NMF). We propose a novel speech enhancement method that is based on a Bayesian formulation of NMF (BNMF). To circumvent the mismatch problem between the training and testing stages, we propose two solutions. First, we use an HMM in combination with BNMF (BNMF-HMM) to derive a minimum mean square error (MMSE) estimator for the speech signal with no information about the underlying noise type. Second, we suggest a scheme to learn the required noise BNMF model online, which is then used to develop an unsupervised speech enhancement system. Extensive experiments are carried out to investigate the performance of the proposed methods under different conditions. Moreover, we compare the performance of the developed algorithms with state-of-the-art speech enhancement schemes using various objective measures. Our simulations show that the proposed BNMF-based methods outperform the competing algorithms substantially.


title: Synthesis of surveillance strategies via belief abstraction

abstract: We study the problem of synthesizing a controller for a robot with a surveillance objective, that is, the robot is required to maintain knowledge of the location of a moving, possibly adversarial target. We formulate this problem as a one-sided partial-information game in which the winning condition for the agent is specified as a temporal logic formula. The specification formalizes the surveillance requirement given by the user, including additional non-surveillance tasks. In order to synthesize a surveillance strategy that meets the specification, we transform the partial-information game into a perfect-information one, using abstraction to mitigate the exponential blow-up typically incurred by such transformations. This enables the use of off-the-shelf tools for reactive synthesis. We use counterexample-guided refinement to automatically achieve abstraction precision that is sufficient to synthesize a surveillance strategy. We evaluate the proposed method on two case-studies, demonstrating its applicability to large state-spaces and diverse requirements.


title: An improvement of D-MORPH method for finding quantum optimal control

abstract: The paper examines the prominent algorithm D-MORPH to search for the optimal control of a quantum system in order to implement desired unitary evolution of the quantum system at the final time, and reveals new mathematical expressions for various orders' corrections to the algorithm, that include information about the commutators of the system's Hamiltonian. Inclusion of such corrections results in faster optimal quantum control's search with high precision, i.e. allows saving of computational resources.


title: Understanding System Characteristics of Online Erasure Coding on Scalable, Distributed and Large-Scale SSD Array Systems

abstract: Large-scale systems with arrays of solid state disks (SSDs) have become increasingly common in many computing segments. To make such systems resilient, we can adopt erasure coding such as Reed-Solomon (RS) code as an alternative to replication because erasure coding can offer a significantly lower storage cost than replication. To understand the impact of using erasure coding on system performance and other system aspects such as CPU utilization and network traffic, we build a storage cluster consisting of approximately one hundred processor cores with more than fifty high-performance SSDs, and evaluate the cluster with a popular open-source distributed parallel file system, Ceph. Then we analyze behaviors of systems adopting erasure coding from the following five viewpoints, compared with those of systems using replication: (1) storage system I/O performance; (2) computing and software overheads; (3) I/O amplification; (4) network traffic among storage nodes; (5) the impact of physical data layout on performance of RS-coded SSD arrays. For all these analyses, we examine two representative RS configurations, which are used by Google and Facebook file systems, and compare them with triple replication that a typical parallel file system employs as a default fault tolerance mechanism. Lastly, we collect 54 block-level traces from the cluster and make them available for other researchers.


title: Tortoise: Interactive System Configuration Repair

abstract: System configuration languages provide powerful abstractions that simplify managing large-scale, networked systems. Thousands of organizations now use configuration languages, such as Puppet. However, specifications written in configuration languages can have bugs and the shell remains the simplest way to debug a misconfigured system. Unfortunately, it is unsafe to use the shell to fix problems when a system configuration language is in use: a fix applied from the shell may cause the system to drift from the state specified by the configuration language. Thus, despite their advantages, configuration languages force system administrators to give up the simplicity and familiarity of the shell. This paper presents a synthesis-based technique that allows administrators to use configuration languages and the shell in harmony. Administrators can fix errors using the shell and the technique automatically repairs the higher-level specification written in the configuration language. The approach (1) produces repairs that are consistent with the fix made using the shell; (2) produces repairs that are maintainable by minimizing edits made to the original specification; (3) ranks and presents multiple repairs when relevant; and (4) supports all shells the administrator may wish to use. We implement our technique for Puppet, a widely used system configuration language, and evaluate it on a suite of benchmarks under 42 repair scenarios. The top-ranked repair is selected by humans 76% of the time and the human-equivalent repair is ranked 1.31 on average.


title: An integral formula for the $Q$-prime curvature in 3-dimensional CR geometry

abstract: We give an integral formula for the total $Q^\prime$-curvature of a three-dimensional CR manifold with positive CR Yamabe constant and nonnegative Paneitz operator. Our derivation includes a relationship between the Green's functions of the CR Laplacian and the $P^\prime$-operator.


title: Learning Ground Traversability from Simulations

abstract: Mobile ground robots operating on unstructured terrain must predict which areas of the environment they are able to pass in order to plan feasible paths. We address traversability estimation as a heightmap classification problem: we build a convolutional neural network that, given an image representing the heightmap of a terrain patch, predicts whether the robot will be able to traverse such patch from left to right. The classifier is trained for a specific robot model (wheeled, tracked, legged, snake-like) using simulation data on procedurally generated training terrains; the trained classifier can be applied to unseen large heightmaps to yield oriented traversability maps, and then plan traversable paths. We extensively evaluate the approach in simulation on six real-world elevation datasets, and run a real-robot validation in one indoor and one outdoor environment.


title: Foundations of Complex Event Processing

abstract: Complex Event Processing (CEP) has emerged as the unifying field for technologies that require processing and correlating distributed data sources in real-time. CEP finds applications in diverse domains, which has resulted in a large number of proposals for expressing and processing complex events. However, existing CEP languages lack from a clear semantics, making them hard to understand and generalize. Moreover, there are no general techniques for evaluating CEP query languages with clear performance guarantees. In this paper we embark on the task of giving a rigorous and efficient framework to CEP. We propose a formal language for specifying complex events, called CEL, that contains the main features used in the literature and has a denotational and compositional semantics. We also formalize the so-called selection strategies, which had only been presented as by-design extensions to existing frameworks. With a well-defined semantics at hand, we study how to efficiently evaluate CEL for processing complex events in the case of unary filters. We start by studying the syntactical properties of CEL and propose rewriting optimization techniques for simplifying the evaluation of formulas. Then, we introduce a formal computational model for CEP, called complex event automata (CEA), and study how to compile CEL formulas into CEA. Furthermore, we provide efficient algorithms for evaluating CEA over event streams using constant time per event followed by constant-delay enumeration of the results. By gathering these results together, we propose a framework for efficiently evaluating CEL with unary filters. Finally, we show experimentally that this framework consistently outperforms the competition, and even over trivial queries can be orders of magnitude more efficient.


title: Ultrahigh-Quality Magneto-Optical Resonances of Electromagnetically Induced Absorption in a Buffer-Gas-Filled Vapor Cell

abstract: A new configuration for observation of magneto-optical subnatural-linewidth resonances of electromagnetically induced absorption (EIA) in alkali vapor has been verified experimentally. The configuration includes using two counter-propagating pump and probe light waves with mutually orthogonal linear polarizations, exciting an open optical transition of an alkali atom in the presence of a buffer gas. The main advantage of the novel observation scheme consists in the possibility of obtaining simultaneously high-contrast and quite narrow nonlinear signals. Here a 2.5-cm long rubidium-87 vapor cell filled with Ar buffer gas is used, and the excited optical transition is the F$_g$=2 $\to$ F$_e$=1 of the D$_1$ line. The signals registered reach a contrast of 57.7% with a FWHM of 7.2 mG. The contrast with respect to a wide Doppler pedestal well exceeds 100%. To our knowledge, to date this is the best result for EIA resonances in terms of contrast-to-width ratio. In general, the results demonstrate that the new magneto-optical scheme has very good prospects for various applications in quantum metrology, nonlinear optics and photonics.


title: Instrumentation and its Interaction with the Secondary Beam for the Fermilab Muon Campus

abstract: The Fermilab Muon Campus will host the Muon g-2 experiment - a world class experiment dedicated to the search for signals of new physics. Strict demands are placed on beam diagnostics in order to ensure delivery of high quality beams to the storage ring with minimal losses. In this study, we briefly describe the available secondary beam diagnostics for the Fermilab Muon Campus. Then, with the aid of numerical simulations we detail their interaction with the secondary beam. Finally, we compare our results against theoretical findings.


title: Weak equivalence to Bernoulli shifts for some algebraic actions

abstract: Namely, we prove that if $G$ is a countable, discrete group and $f\in M_{n}(\Z(G))$ is invertible on $\ell^{2}(G)^{\oplus n},$ but $f$ is not invertible in $M_{n}(\Z(G))$, then the measure-preserving action of $G$ on $X_{f}$ equipped with the Haar measure is weakly equivalent to a Bernoulli action. We shall in fact prove this weak equivalence in the case that $f$ has a "formal inverse in $\ell^{2}$".


title: A remark on the invertibility of semi-invertible cocycles

abstract: We observe that under certain conditions on the Lyapunov exponents a semi-invertible cocycle is, indeed, invertible. As a consequence, if a semi-invertible cocycle generated by a H\"{o}lder continuous map $A:M\to M(d, \mathbb{R})$ over a hyperbolic map $f:M\to M$ satisfies a Liv\v{s}ic's type condition, that is, if $A(f^{n-1}(p))\cdot\ldots \cdot A(f(p))A(p)=\text{Id}$ for every $p\in \text{Fix}(f^n)$ then the cocycle is invertible, meaning that $A(x)\in GL(d,\mathbb{R})$ for every $x\in M$, and a Liv\v{s}ic's type theorem is satisfied.


title: General Phase Regularized Reconstruction using Phase Cycling

abstract: Purpose: To develop a general phase regularized image reconstruction method, with applications to partial Fourier imaging, water-fat imaging and flow imaging. Theory and Methods: The problem of enforcing phase constraints in reconstruction was studied under a regularized inverse problem framework. A general phase regularized reconstruction algorithm was proposed to enable various joint reconstruction of partial Fourier imaging, water-fat imaging and flow imaging, along with parallel imaging (PI) and compressed sensing (CS). Since phase regularized reconstruction is inherently non-convex and sensitive to phase wraps in the initial solution, a reconstruction technique, named phase cycling, was proposed to render the overall algorithm invariant to phase wraps. The proposed method was applied to retrospectively under-sampled in vivo datasets and compared with state of the art reconstruction methods. Results: Phase cycling reconstructions showed reduction of artifacts compared to reconstructions with- out phase cycling and achieved similar performances as state of the art results in partial Fourier, water-fat and divergence-free regularized flow reconstruction. Joint reconstruction of partial Fourier + water-fat imaging + PI + CS, and partial Fourier + divergence-free regularized flow imaging + PI + CS were demonstrated. Conclusion: The proposed phase cycling reconstruction provides an alternative way to perform phase regularized reconstruction, without the need to perform phase unwrapping. It is robust to the choice of initial solutions and encourages the joint reconstruction of phase imaging applications.


title: Robust approximation error estimates and multigrid solvers for isogeometric multi-patch discretizations

abstract: In recent publications, the author and his coworkers have shown robust approximation error estimates for B-splines of maximum smoothness and have proposed multigrid methods based on them. These methods allow to solve the linear system arizing from the discretization of a partial differential equation in Isogeometric Analysis in a single-patch setting with convergence rates that are provably robust both in the grid size and the spline degree. In real-world problems, the computational domain cannot be nicely represented by just one patch. In computer aided design, such domains are typically represented as a union of multiple patches. In the present paper, we extend the approximation error estimates and the multigrid solver to this multi-patch case.


title: A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

abstract: Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies is proposed using Datalog expressions. We show that many interesting properties of schema elements can be systematically determined this way. The expressiveness of the proposed analysis is exemplarily shown with the problem of computing induced functional dependencies for derived relations. The propagation of functional dependencies plays an important role in data integration and query optimization but represents an undecidable problem in general. And yet, our rule-based analysis covers all relational operators as well as linear recursive expressions in a systematic way showing the depth of analysis possible by our proposal. The analysis of functional dependencies is well-integrated in a uniform approach to analyzing dependencies between schema elements in general.


title: Dynamic Mobile Edge Caching with Location Differentiation

abstract: Mobile edge caching enables content delivery directly within the radio access network, which effectively alleviates the backhaul burden and reduces round-trip latency. To fully exploit the edge resources, the most popular contents should be identified and cached. Observing that content popularity varies greatly at different locations, to maximize local hit rate, this paper proposes an online learning algorithm that dynamically predicts content hit rate, and makes location-differentiated caching decisions. Specifically, a linear model is used to estimate the future hit rate. Considering the variations in user demand, a perturbation is added to the estimation to account for uncertainty. The proposed learning algorithm requires no training phase, and hence is adaptive to the time-varying content popularity profile. Theoretical analysis indicates that the proposed algorithm asymptotically approaches the optimal policy in the long term. Extensive simulations based on real world traces show that, the proposed algorithm achieves higher hit rate and better adaptiveness to content popularity fluctuation, compared with other schemes.


title: Student ownership of projects in an upper-division optics laboratory course: A multiple case study of successful experiences

abstract: We investigate students' sense of ownership of multiweek final projects in an upper-division optics lab course. Using a multiple case study approach, we describe three student projects in detail. Within-case analyses focused on identifying key issues in each project, and constructing chronological descriptions of those events. Cross-case analysis focused on identifying emergent themes with respect to five dimensions of project ownership: student agency, instructor mentorship, peer collaboration, interest and value, and affective responses. Our within- and cross-case analyses yielded three major findings. First, coupling division of labor with collective brainstorming can help balance student agency, instructor mentorship, and peer collaboration. Second, students' interest in the project and perceptions of its value can increase over time; initial student interest in the project topic is not a necessary condition for student ownership of the project. Third, student ownership is characterized by a wide range of emotions that fluctuate as students alternate between extended periods of struggle and moments of success while working on their projects. These findings not only extend the literature on student ownership into a new educational domain---namely, upper-division physics labs---they also have concrete implications for the design of experimental physics projects in courses for which student ownership is a desired learning outcome. We describe the course and projects in sufficient detail that others can adapt our results to their particular contexts.


title: Road Friction Estimation for Connected Vehicles using Supervised Machine Learning

abstract: In this paper, the problem of road friction prediction from a fleet of connected vehicles is investigated. A framework is proposed to predict the road friction level using both historical friction data from the connected cars and data from weather stations, and comparative results from different methods are presented. The problem is formulated as a classification task where the available data is used to train three machine learning models including logistic regression, support vector machine, and neural networks to predict the friction class (slippery or non-slippery) in the future for specific road segments. In addition to the friction values, which are measured by moving vehicles, additional parameters such as humidity, temperature, and rainfall are used to obtain a set of descriptive feature vectors as input to the classification methods. The proposed prediction models are evaluated for different prediction horizons (0 to 120 minutes in the future) where the evaluation shows that the neural networks method leads to more stable results in different conditions.


title: The Uncertainty Bellman Equation and Exploration

abstract: We consider the exploration/exploitation problem in reinforcement learning. For exploitation, it is well known that the Bellman equation connects the value at any time-step to the expected value at subsequent time-steps. In this paper we consider a similar \textit{uncertainty} Bellman equation (UBE), which connects the uncertainty at any time-step to the expected uncertainties at subsequent time-steps, thereby extending the potential exploratory benefit of a policy beyond individual time-steps. We prove that the unique fixed point of the UBE yields an upper bound on the variance of the posterior distribution of the Q-values induced by any policy. This bound can be much tighter than traditional count-based bonuses that compound standard deviation rather than variance. Importantly, and unlike several existing approaches to optimism, this method scales naturally to large systems with complex generalization. Substituting our UBE-exploration strategy for $\epsilon$-greedy improves DQN performance on 51 out of 57 games in the Atari suite.


title: Heterogeneous Quantum Computing for Satellite Constellation Optimization: Solving the Weighted K-Clique Problem

abstract: NP-hard optimization problems scale very rapidly with problem size, becoming unsolvable with brute force methods, even with supercomputing resources. Typically, such problems have been approximated with heuristics. However, these methods still take a long time and are not guaranteed to find an optimal solution. Quantum computing offers the possibility of producing significant speed-up and improved solution quality. Current quantum annealing (QA) devices are designed to solve difficult optimization problems, but they are limited by hardware size and qubit connectivity restrictions. We present a novel heterogeneous computing stack that combines QA and classical machine learning, allowing the use of QA on problems larger than the hardware limits of the quantum device. These results represent experiments on a real-world problem represented by the weighted k-clique problem. Through this experiment, we provide insight into the state of quantum machine learning.


title: On Deformations of Gorenstein-Projective Modules over Monomial Algebras with no Overlaps

abstract: Let $\mathbf{k}$ be a field of arbitrary characteristic, let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be an indecomposable Gorenstein-projective $\Lambda$-module with finite dimension over $\mathbf{k}$. It follows that $V$ has a well-defined versal deformation ring $R(\Lambda, V)$, which is complete local commutative Noetherian $\mathbf{k}$-algebra with residue field $\mathbf{k}$, and which is universal provided that the stable endomorphism ring of $V$ is isomorphic to $\mathbf{k}$. We prove that if $\Lambda$ is a monomial algebra without overlaps, then $R(\Lambda,V)$ is universal and isomorphic either to $\mathbf{k}$ or to $\mathbf{k}[[t]]/(t^2)$


title: Secrecy Rate of Cooperative MIMO in Presence of a Location Constrained Eavesdropper

abstract: We propose and study the cooperative MIMO architecture to enable and to improve the secrecy transmissions between clusters of mobile devices in the presence of an eavesdropper with certain location constraint. The cooperative MIMO system in this paper (referred to as Reconfigurable Distributed MIMO) is formed by temporarily activating clusters of nearby trusted mobile devices, with each cluster being centrally coordinated by its corresponding cluster head. We assume that the transmitters apply a practical eigen-direction precoding scheme to transmit the confidential signal and artificial noise, while the eavesdropper can be located in multiple possible locations in the proximity. We first obtain the expression of the secrecy rate, where the required average mutual information between the transmitters and the eavesdropper is characterized by closed-form approximations. The proposed approximations are especially useful in the secrecy rate maximization, where the original non-convex problem can be solved by the successive convex approximations. Numerical results show that the secrecy rate can be significantly improved by leveraging the location constraint of the eavesdropper, compared to the existing result. We also demonstrate that the secrecy rate can be further improved by increasing the cluster size.


title: Nominal C-Unification

abstract: Nominal unification is an extension of first-order unification that takes into account the \alpha-equivalence relation generated by binding operators, following the nominal approach. We propose a sound and complete procedure for nominal unification with commutative operators, or nominal C-unification for short, which has been formalised in Coq. The procedure transforms nominal C-unification problems into simpler (finite families) of fixpoint problems, whose solutions can be generated by algebraic techniques on combinatorics of permutations.


title: Smooth and Rough Positive Currents

abstract: We study the different notions of semipositivity for (1,1) cohomology classes on K3 surfaces. We first show that every big and nef class (and every nef and rational class) is semiample, and in particular it contains a smooth semipositive representative. By contrast, we show that there exist irrational nef classes with no closed positive current representative which is smooth outside a proper analytic subset. We use this to answer negatively two questions of the second-named author. Using a result of Cantat and Dupont, we also construct examples of projective K3 surfaces with a nef R-divisor which is not semipositive.


title: Decomposition of Third Order Linear Time-Varying System into its Second and First Order Commutative Pairs

abstract: Decomposition is a common tool for synthesis of many physical systems. It is also used for analyzing large scale systems which then known as tearing and reconstruction. On the other hand, commutativity of cascade connected systems have gained a grade deal of interest and its possible benefits have been pointed out on the literature. In this paper, the necessary and sufficient conditions for decomposition of any third order linear time-varying system as a commutative pair of first and second order systems of which parameters are also explicitly expressed, are investigated. Further, additional requirements in case of non-zero initial conditions are derived. This paper highlights the direct formulas for realization of any third order linear time-varying system as a series (cascade) connection of first and second order subsystems. This series connection is commutative so that it is independent from the sequence of subsystems in the connection. Hence, the convenient sequence can be decided by considering the overall performance of the system when the sensitivity, disturbance and robustness effects are considered. Realization covers transient responses as well as steady state responses.


title: A relative, strictly ergodic model theorem for infinite measure-preserving systems

abstract: We prove a model theorem for factor maps between ergodic, infinite measure-preserving systems.


title: Recurrence relations for Apostol-Bernoulli , -Euler and -Genocchi polynomials of higher order

abstract: In \cite{luo2006,luosri2005}, Luo and Srivastava introduced some generalizations of the Apostol -Bernoulli polynomials and the Apostol-Euler polynomials. The main object of this paper is to extend the result of \cite{prevost2010} to these generalized polynomials. More precisely, using the Pad\'{e} approximation of the exponential function, we obtain recurrence relations for Apostol-Bernoulli, Euler and also Genocchi polynomials of higher order. As an application we prove lacunary relation for some particular cases.


title: Remainder Pad\'e approximants for the Hurwitz zeta function

abstract: Following our earlier research, we use the method introduced by the author in \cite{prevost1996} named Remainder Pad\'e Approximant in \cite{rivoalprevost}, to construct approximations of the Hurwitz zeta function. We prove that these approximations are convergent on the positive real line. Applications to new rational approximations of $\zeta(2)$ and $\zeta(3)$ are given.


title: On the number of reachable pairs in a digraph

abstract: A pair $(u, v)$ of (not necessarily distinct) vertices in a directed graph $D$ is called a reachable pair if there exists a directed path from $u$ to $v$. We define the weight of $D$ to be the number of reachable pairs of $D$, which equals the sum of the number of vertices in $D$ and the number of directed edges in the transitive closure of $D$. In this paper, we study the set $W(n)$ of possible weights of directed graphs on $n$ labeled vertices. We prove that $W(n)$ can be determined recursively and describe the integers in the set. Moreover, if $b(n) \geqslant n$ is the least integer for which there is no digraph on $n$ vertices with exactly $b(n)+1$ reachable pairs, we determine $b(n)$ exactly through a simple recursive formula and find an explicit function $g(n)$ such that $|b(n)-g(n)| < 2n$ for all $n \geqslant 3$. Using these results, we are able to approximate $|W(n)|$ -- which is quadratic in $n$ -- with an explicit function that is within $30n$ of $|W(n)|$ for all $n \geqslant 3$, thus answering a question of Rao. Since the weight of a directed graph on $n$ vertices corresponds to the number of elements in a preorder on an $n$ element set and the number of containments among the minimal open sets of a topology on an $n$ point space, our theorems are applicable to preorders and topologies.


title: On Deformations of Gorenstein-projective modules over Nakayama and triangular matrix algebras

abstract: Let $\mathbf{k}$ be a fixed field of arbitrary characteristic, and let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra. Assume that $V$ is a left $\Lambda$-module of finite dimension over $\mathbf{k}$. F. M. Bleher and the author previously proved that $V$ has a well-defined versal deformation ring $R(\Lambda,V)$ which is a local complete commutative Noetherian ring with residue field isomorphic to $\mathbf{k}$. Moreover, $R(\Lambda,V)$ is universal if the endomorphism ring of $V$ is isomorphic to $\mathbf{k}$. In this article we prove that if $\Lambda$ is a basic connected cycle Nakayama algebra without simple modules and $V$ is a Gorenstein-projective left $\Lambda$-module, then $R(\Lambda,V)$ is universal. Moreover, we also prove that the universal deformation rings $R(\Lambda,V)$ and $R(\Lambda, \Omega V)$ are isomorphic, where $\Omega V$ denotes the first syzygy of $V$. This result extends the one obtained by F. M. Bleher and D. J. Wackwitz concerning universal deformation rings of finitely generated modules over self-injective Nakayama algebras. In addition, we also prove the following result concerning versal deformation rings of finitely generated modules over triangular matrix finite dimensional algebras. Let $\Sigma=\begin{pmatrix} \Lambda & B\\0& \Gamma\end{pmatrix}$ be a triangular matrix finite dimensional Gorenstein $\mathbf{k}$-algebra with $\Gamma$ of finite global dimension and $B$ projective as a left $\Lambda$-module. If $\begin{pmatrix} V\\W\end{pmatrix}_f$ is a finitely generated Gorenstein-projective left $\Sigma$-module, then the versal deformation rings $R\left(\Sigma,\begin{pmatrix} V\\W\end{pmatrix}_f\right)$ and $R(\Lambda,V)$ are isomorphic.


title: Relatedness, Knowledge Diffusion, and the Evolution of Bilateral Trade

abstract: During the last decades two important contributions have reshaped our understanding of international trade. First, countries trade more with those with whom they share history, language, and culture, suggesting that trade is limited by information frictions. Second, countries are more likely to start exporting products that are similar to their current exports, suggesting that knowledge diffusion among related industries is a key constrain shaping the diversification of exports. But does knowledge about how to export to a destination also diffuses among related products and geographic neighbors? Do countries need to learn how to trade each product to each destination? Here, we use bilateral trade data from 2000 to 2015 to show that countries are more likely to increase their exports of a product to a destination when: (i) they export related products to it, (ii) they export the same product to the neighbor of a destination, (iii) they have neighbors who export the same product to that destination. Then, we explore the magnitude of these effects for new, nascent, and experienced exporters, (exporters with and without comparative advantage in a product) and also for groups of products with different level of technological sophistication. We find that the effects of product and geographic relatedness are stronger for new exporters, and also, that the effect of product relatedness is stronger for more technologically sophisticated products. These findings support the idea that international trade is shaped by information frictions that are reduced in the presence of related products and experienced geographic neighbors.


title: A Sheaf On The Second Spectrum Of A Module

abstract: Let R be a commutative ring with identity and Specs(M) denote the set all second submodules of an R-module M. In this paper, we construct and study a sheaf of modules, denoted by O(N; M), on Specs(M) equipped with the dual Zariski topology of M, where N is an R-module. We give a characterization of the sections of the sheaf O(N; M) in terms of the ideal transform module. We present some interrelations between algebraic properties of N and the sections of O(N; M). We obtain some morphisms of sheaves induced by ring and module homomorphisms.


title: A probabilistic and multi-objective analysis of lexicase selection and epsilon-lexicase selection

abstract: Lexicase selection is a parent selection method that considers training cases individually, rather than in aggregate, when performing parent selection. Whereas previous work has demonstrated the ability of lexicase selection to solve difficult problems in program synthesis and symbolic regression, the central goal of this paper is to develop the theoretical underpinnings that explain its performance. To this end, we derive an analytical formula that gives the expected probabilities of selection under lexicase selection, given a population and its behavior. In addition, we expand upon the relation of lexicase selection to many-objective optimization methods to describe the behavior of lexicase selection, which is to select individuals on the boundaries of Pareto fronts in high-dimensional space. We show analytically why lexicase selection performs more poorly for certain sizes of population and training cases, and show why it has been shown to perform more poorly in continuous error spaces. To address this last concern, we propose new variants of epsilon-lexicase selection, a method that modifies the pass condition in lexicase selection to allow near-elite individuals to pass cases, thereby improving selection performance with continuous errors. We show that epsilon-lexicase outperforms several diversity-maintenance strategies on a number of real-world and synthetic regression problems.


title: One Leak Will Sink A Ship: WebRTC IP Address Leaks

abstract: The introduction of the WebRTC API to modern browsers has brought about a new threat to user privacy. This API causes a range of client IP addresses to become available to a visited website via JavaScript even if a VPN is in use. This a potentially serious problem for users utilizing VPN services for anonymity. In order to better understand the magnitude of this issue, we tested widely used browsers and VPN services to discover which client IP addresses can be revealed and in what circumstances. In most cases, at least one of the client addresses is leaked. The number and type of leaked IP addresses are affected by the choices of browser and VPN service, meaning that privacy-sensitive users should choose their browser and their VPN provider with care. We conclude by proposing countermeasures which can be used to help mitigate this issue.


title: Differential Privacy on Finite Computers

abstract: We consider the problem of designing and analyzing differentially private algorithms that can be implemented on {\em discrete} models of computation in {\em strict} polynomial time, motivated by known attacks on floating point implementations of real-arithmetic differentially private algorithms (Mironov, CCS 2012) and the potential for timing attacks on expected polynomial-time algorithms. As a case study, we examine the basic problem of approximating the histogram of a categorical dataset over a possibly large data universe $\mathcal{X}$. The classic Laplace Mechanism (Dwork, McSherry, Nissim, Smith, TCC 2006 and J. Privacy \& Confidentiality 2017) does not satisfy our requirements, as it is based on real arithmetic, and natural discrete analogues, such as the Geometric Mechanism (Ghosh, Roughgarden, Sundarajan, STOC 2009 and SICOMP 2012), take time at least linear in $|\mathcal{X}|$, which can be exponential in the bit length of the input. In this paper, we provide strict polynomial-time discrete algorithms for approximate histograms whose simultaneous accuracy (the maximum error over all bins) matches that of the Laplace Mechanism up to constant factors, while retaining the same (pure) differential privacy guarantee. One of our algorithms produces a sparse histogram as output. Its "per-bin accuracy" (the error on individual bins) is worse than that of the Laplace Mechanism by a factor of $\log|\mathcal{X}|$, but we prove a lower bound showing that this is necessary for any algorithm that produces a sparse histogram. A second algorithm avoids this lower bound, and matches the per-bin accuracy of the Laplace Mechanism, by producing a compact and efficiently computable representation of a dense histogram, it is based on an $(n+1)$-wise independent implementation of an appropriately clamped version of the Discrete Geometric Mechanism.


title: Zero-Shot Learning to Manage a Large Number of Place-Specific Compressive Change Classifiers

abstract: With recent progress in large-scale map maintenance and long-term map learning, the task of change detection on a large-scale map from a visual image captured by a mobile robot has become a problem of increasing criticality. Previous approaches for change detection are typically based on image differencing and require the memorization of a prohibitively large number of mapped images in the above context. In contrast, this study follows the recent, efficient paradigm of change-classifier-learning and specifically employs a collection of place-specific change classifiers. Our change-classifier-learning algorithm is based on zero-shot learning (ZSL) and represents a place-specific change classifier by its training examples mined from an external knowledge base (EKB). The proposed algorithm exhibits several advantages. First, we are required to memorize only training examples (rather than the classifier itself), which can be further compressed in the form of bag-of-words (BoW). Secondly, we can incorporate the most recent map into the classifiers by straightforwardly adding or deleting a few training examples that correspond to these classifiers. Thirdly, we can share the BoW vocabulary with other related task scenarios (e.g., BoW-based self-localization), wherein the vocabulary is generally designed as a rich, continuously growing, and domain-adaptive knowledge base. In our contribution, the proposed algorithm is applied and evaluated on a practical long-term cross-season change detection system that consists of a large number of place-specific object-level change classifiers.


title: Design, Modeling, and Geometric Control on SE(3) of a Fully-Actuated Hexarotor for Aerial Interaction

abstract: In this work we present the optimization-based design and control of a fully-actuated omnidirectional hexarotor. The tilt angles of the propellers are designed by maximizing the control wrench applied by the propellers. This maximizes (a) the agility of the UAV, (b) the maximum payload the UAV can hover with at any orientation, and (c) the interaction wrench that the UAV can apply to the environment in physical contact. It is shown that only axial tilting of the propellers with respect to the UAV's body yields optimal results. Unlike the conventional hexarotor, the proposed hexarotor can generate at least 1.9 times the maximum thrust of one rotor in any direction, in addition to the higher control torque around the vehicle's upward axis. A geometric controller on SE(3) is proposed for the trajectory tracking problem for the class of fully actuated UAVs. The proposed controller avoids singularities and complexities that arise when using local parametrizations, in addition to being invariant to a change of inertial coordinate frame. The performance of the controller is validated in simulation.


title: The Brother Higgs

abstract: We present a version of the twin Higgs mechanism with minimal symmetry structure and particle content. The model is built upon a composite Higgs theory with global $SO(6)/SO(5)$ symmetry breaking. The leading contribution to the Higgs potential, from the top sector, is solely cancelled via the introduction of a Standard Model neutral top partner. We show that the inherent $Z_2$ breaking of this construction is under control and of the right size to achieve electroweak symmetry breaking, with a fine-tuning at the level of $5-10\%$, and compatibly with the observed Higgs mass. We briefly discuss the particular phenomenological features of this scenario.


title: Multiplicity results for a quasilinear equation with singular nonlinearity

abstract: For an open, bounded domain $\Om$ in $\mathbb{R}^N$ which is strictly convex with $C^2$ boundary, we show that there exists a $\land>0$ such that the singular quasilinear problem \begin{eqnarray*} &-\delp u =\cfrac{\lambda}{u^{\del}}+u^q\,\,\mbox{in}\,\,\Om\\ &u=0\,\,\mbox{on}\,\,\partial\Om;\, \,\,u>0\,\,\mbox{in}\,\,\Om \end{eqnarray*} admits atleast two solution $ u$ and $v$ in $W^{1,p}_{loc}(\Om)\cap L^{\infty}(\Om)$ for any $\del>0$ and $0<\lam<\land$ provided $1<p<N$ and $p-1<q<\frac{p(N-1)}{N-p}-1$.\\ Moreover the solutions $u$ and $v$ are such that $u^{\alp}$ and $v^{\alp}$ are in $W^{1,p}_0(\Om)$ for some $\alp>0$.


title: Search-based Motion Planning for Quadrotors using Linear Quadratic Minimum Time Control

abstract: In this work, we propose a search-based planning method to compute dynamically feasible trajectories for a quadrotor flying in an obstacle-cluttered environment. Our approach searches for smooth, minimum-time trajectories by exploring the map using a set of short-duration motion primitives. The primitives are generated by solving an optimal control problem and induce a finite lattice discretization on the state space which can be explored using a graph-search algorithm. The proposed approach is able to generate resolution-complete (i.e., optimal in the discretized space), safe, dynamically feasibility trajectories efficiently by exploiting the explicit solution of a Linear Quadratic Minimum Time problem. It does not assume a hovering initial condition and, hence, is suitable for fast online re-planning while the robot is moving. Quadrotor navigation with online re-planning is demonstrated using the proposed approach in simulation and physical experiments and comparisons with trajectory generation based on state-of-art quadratic programming are presented.


title: Stability Analysis of Fractional Differential Equations with Unknown Parameters

abstract: In this paper, the stability of fractional differential equations (FDEs) with unknown parameters is studied. FDEs bring many advantages to model the physical systems in the nature or man-made systems in the industry. Because this representation has a property between linear differential equations and nonlinear differential equations. Therefore, the designer may use the FDEs to model complex systems instead of nonlinear differential equations which have hard mathematical background. Using the graphical based D-decomposition method, we investigate the parametric stability analysis of FDEs without complicated mathematical analysis. To achieve this, stability boundaries are obtained firstly, and then the stability region set depending on the unknown parameters is found. The applicability of the presented method is shown considering some benchmark equations which are often used to verify the results of a new method. Simulation examples shown that the method is simple and give reliable stability results.


title: Discovery of very-high-energy emission from RGB J2243+203 and derivation of its redshift upper limit

abstract: Very-high-energy (VHE; $>$ 100 GeV) gamma-ray emission from the blazar RGB J2243+203 was discovered with the VERITAS Cherenkov telescope array, during the period between 21 and 24 December 2014. The VERITAS energy spectrum from this source can be fit by a power law with a photon index of $4.6 \pm 0.5$, and a flux normalization at 0.15 TeV of $(6.3 \pm 1.1) \times 10^{-10} ~ \textrm{cm}^{-2} \textrm{s}^{-1} \textrm{TeV}^{-1}$. The integrated \textit{Fermi}-LAT flux from 1 GeV to 100 GeV during the VERITAS detection is $(4.1 \pm 0.8) \times 10^{\textrm{-8}} ~\textrm{cm}^{\textrm{-2}}\textrm{s}^{\textrm{-1}}$, which is an order of magnitude larger than the four-year-averaged flux in the same energy range reported in the 3FGL catalog, ($4.0 \pm 0.1 \times 10^{\textrm{-9}} ~ \textrm{cm}^{\textrm{-2}}\textrm{s}^{\textrm{-1}}$). The detection with VERITAS triggered observations in the X-ray band with the \textit{Swift}-XRT. However, due to scheduling constraints \textit{Swift}-XRT observations were performed 67 hours after the VERITAS detection, not simultaneous with the VERITAS observations. The observed X-ray energy spectrum between 2 keV and 10 keV can be fitted with a power-law with a spectral index of $2.7 \pm 0.2$, and the integrated photon flux in the same energy band is $(3.6 \pm 0.6) \times 10^{-13} ~\textrm{cm}^{-2} \textrm{s}^{-1}$. EBL model-dependent upper limits of the blazar redshift have been derived. Depending on the EBL model used, the upper limit varies in the range from z $<~0.9$ to z $<~1.1$.


title: Creating and Characterizing a Diverse Corpus of Sarcasm in Dialogue

abstract: The use of irony and sarcasm in social media allows us to study them at scale for the first time. However, their diversity has made it difficult to construct a high-quality corpus of sarcasm in dialogue. Here, we describe the process of creating a large- scale, highly-diverse corpus of online debate forums dialogue, and our novel methods for operationalizing classes of sarcasm in the form of rhetorical questions and hyperbole. We show that we can use lexico-syntactic cues to reliably retrieve sarcastic utterances with high accuracy. To demonstrate the properties and quality of our corpus, we conduct supervised learning experiments with simple features, and show that we achieve both higher precision and F than previous work on sarcasm in debate forums dialogue. We apply a weakly-supervised linguistic pattern learner and qualitatively analyze the linguistic differences in each class.


title: Commutativity and Commutative Pairs of Some Differential Equations

abstract: In this study, explicit differential equations representing commutative pairs of some well-known second-order linear time-varying systems have been derived. The commutativity of these systems are investigated by considering 30 second-order linear differential equations with variable coefficients. It is shown that the system modeled by each one of these equations has a commutative pair with (or without) some conditions or not. There appear special cases such that both, only one or neither of the original system and its commutative pair has explicit analytic solution. Some benefits of commutativity have already been mentioned in the literature but a new application for in cryptology for obscuring transmitted signals in telecommunication is illustrated in this paper.


title: Search for electroweak production of charginos and neutralinos in multilepton final states in proton-proton collisions at $\sqrt{s}=$ 13 TeV

abstract: Results are presented from a search for the direct electroweak production of charginos and neutralinos in signatures with either two or more leptons (electrons or muons) of the same electric charge, or with three or more leptons, which can include up to two hadronically decaying tau leptons. The results are based on a sample of proton-proton collision data collected at $\sqrt{s} =$ 13 TeV, recorded with the CMS detector at the LHC, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The observed event yields are consistent with the expectations based on the standard model. The results are interpreted in simplified models of supersymmetry describing various scenarios for the production and decay of charginos and neutralinos. Depending on the model parameters chosen, mass values between 180 GeV and 1150 GeV are excluded at 95% CL. These results significantly extend the parameter space probed for these particles in searches at the LHC. In addition, results are presented in a form suitable for alternative theoretical interpretations.


title: Metrizability of minimal and unbounded topologies

abstract: In 1987, I. Labuda proved a general representation theorem that, as a special case, shows that the topology of local convergence in measure is the minimal topology on Orlicz spaces and $L_{\infty}$. Minimal topologies connect with the recent, and actively studied, subject of "unbounded convergences". In fact, a Hausdorff locally solid topology $\tau$ on a vector lattice $X$ is minimal iff it is Lebesgue and the $\tau$ and unbounded $\tau$-topologies agree. In this paper, we study metrizability, submetrizability, and local boundedness of the unbounded topology, $u\tau$, associated to $\tau$ on $X$. Regarding metrizability, we prove that if $\tau$ is a locally solid metrizable topology then $u\tau$ is metrizable iff there is a countable set $A$ with $\overline{I(A)}^\tau=X$. We prove that a minimal topology is metrizable iff $X$ has the countable sup property and a countable order basis. In line with the idea that uo-convergence generalizes convergence almost everywhere, we prove relations between minimal topologies and uo-convergence that generalize classical relations between convergence almost everywhere and convergence in measure.


title: Photocurrent in Bismuth Junctions with Graphene

abstract: We report on a room-temperature photodetector utilizing semimetal bismuth nanowire arrays coupled with graphene. The structural flatness and high electron mobility of graphene exhibit great potential for future generations of electronic materials. Bismuth nanowire arrays coupled with graphene have strong absorption because of light trapping. Bismuth (Bi), as a semimetal, complements graphene's gapless and mobility characteristics. Bi also features a long screening length (4 nm) comparable to semiconductors. Raman spectroscopy is used to characterize the charge transfer between graphene and Bi. The analyzed spectrum includes the visible (350 nm) through the near infrared (980 nm) and well into the telecommunication band (1550 nm). Because of photocarrier pair generation and transfer at the interface, the photocurrent generated by the interface built-in field is robust without sacrificing the detection spectrum. We observe a power-law frequency dependence of the photoresponse over three order of magnitude of excitation frequency consistent with a wide distribution of diffusion times. These key properties may enable application of the junctions of graphene with Bi in detector and light harvesting applications.


title: Gaussian Process Latent Force Models for Learning and Stochastic Control of Physical Systems

abstract: This article is concerned with learning and stochastic control in physical systems which contain unknown input signals. These unknown signals are modeled as Gaussian processes (GP) with certain parametrized covariance structures. The resulting latent force models (LFMs) can be seen as hybrid models that contain a first-principles physical model part and a non-parametric GP model part. We briefly review the statistical inference and learning methods for this kind of models, introduce stochastic control methodology for the models, and provide new theoretical observability and controllability results for them.


title: Tailoring Semiconductor Lateral Multi-junctions for Giant Photoconductivity Enhancement

abstract: Semiconductor heterostructures have played a critical role as the enabler for new science and technology. The emergence of transition metal dichalcogenides (TMDs) as atomically thin semiconductors has opened new frontiers in semiconductor heterostructures either by stacking different TMDs to form vertical heterojunctions or by stitching them laterally to form lateral heterojunctions via direct growth. In conventional semiconductor heterostructures, the design of multi-junctions is critical to achieve carrier confinement. Analogously, we report successful synthesis of monolayer WS2/WS2(1-x)Se2x/WS2 multi-junction lateral heterostructure via direct growth by chemical vapor deposition. The grown structures are characterized by Raman, photoluminescence, and annular dark-field scanning transmission electron microscopy to determine its lateral compositional profile. More importantly, using microwave impedance microscopy, we demonstrate that the local photoconductivity in the alloy region can be tailored and enhanced by 2 orders of magnitude over pure WS2. Finite element analysis confirms that this effect is due to the carrier diffusion and confinement into the alloy region. Our work exemplifies the technological potential of atomically thin lateral heterostructures in optoelectronic applications.


title: Combining Search with Structured Data to Create a More Engaging User Experience in Open Domain Dialogue

abstract: The greatest challenges in building sophisticated open-domain conversational agents arise directly from the potential for ongoing mixed-initiative multi-turn dialogues, which do not follow a particular plan or pursue a particular fixed information need. In order to make coherent conversational contributions in this context, a conversational agent must be able to track the types and attributes of the entities under discussion in the conversation and know how they are related. In some cases, the agent can rely on structured information sources to help identify the relevant semantic relations and produce a turn, but in other cases, the only content available comes from search, and it may be unclear which semantic relations hold between the search results and the discourse context. A further constraint is that the system must produce its contribution to the ongoing conversation in real-time. This paper describes our experience building SlugBot for the 2017 Alexa Prize, and discusses how we leveraged search and structured data from different sources to help SlugBot produce dialogic turns and carry on conversations whose length over the semi-finals user evaluation period averaged 8:17 minutes.


title: Multi-Agent Distributed Lifelong Learning for Collective Knowledge Acquisition

abstract: Lifelong machine learning methods acquire knowledge over a series of consecutive tasks, continually building upon their experience. Current lifelong learning algorithms rely upon a single learning agent that has centralized access to all data. In this paper, we extend the idea of lifelong learning from a single agent to a network of multiple agents that collectively learn a series of tasks. Each agent faces some (potentially unique) set of tasks; the key idea is that knowledge learned from these tasks may benefit other agents trying to learn different (but related) tasks. Our Collective Lifelong Learning Algorithm (CoLLA) provides an efficient way for a network of agents to share their learned knowledge in a distributed and decentralized manner, while preserving the privacy of the locally observed data. Note that a decentralized scheme is a subclass of distributed algorithms where a central server does not exist and in addition to data, computations are also distributed among the agents. We provide theoretical guarantees for robust performance of the algorithm and empirically demonstrate that CoLLA outperforms existing approaches for distributed multi-task learning on a variety of data sets.


title: "How May I Help You?": Modeling Twitter Customer Service Conversations Using Fine-Grained Dialogue Acts

abstract: Given the increasing popularity of customer service dialogue on Twitter, analysis of conversation data is essential to understand trends in customer and agent behavior for the purpose of automating customer service interactions. In this work, we develop a novel taxonomy of fine-grained "dialogue acts" frequently observed in customer service, showcasing acts that are more suited to the domain than the more generic existing taxonomies. Using a sequential SVM-HMM model, we model conversation flow, predicting the dialogue act of a given turn in real-time. We characterize differences between customer and agent behavior in Twitter customer service conversations, and investigate the effect of testing our system on different customer service industries. Finally, we use a data-driven approach to predict important conversation outcomes: customer satisfaction, customer frustration, and overall problem resolution. We show that the type and location of certain dialogue acts in a conversation have a significant effect on the probability of desirable and undesirable outcomes, and present actionable rules based on our findings. The patterns and rules we derive can be used as guidelines for outcome-driven automated customer service platforms.


title: Color centers in hexagonal boron nitride monolayers: A group theory and ab-initio analysis

abstract: We theoretically study physical properties of the most promising color center candidates for the recently observed single-photon emissions in hexagonal boron nitride (h-BN) monolayers. Through our group theory analysis combined with density functional theory (DFT) calculations we provide several pieces of evidence that the electronic properties of the color centers match the characters of the experimentally observed emitters. We calculate the symmetry-adapted multi-electron wavefunctions of the defects using group theory methods and analyze the spin-orbit and spin-spin interactions in detail. We also identify the radiative and non-radiative transition channels for each color center. An advanced ab-initio DFT method is then used to compute energy levels of the color centers and their zero-phonon-line (ZPL) emissions. The computed ZPLs, the profile of excitation and emission dipole polarizations, and the competing relaxation processes are discussed and matched with the observed emission lines. By providing evidence for the relation between single-photon emitters and local defects in h-BN, this work provides the first steps towards harnessing quantum dynamics of these color centers.


title: Mode-locking in advection-reaction-diffusion systems: an invariant manifold perspective

abstract: Fronts propagating in two-dimensional advection-reaction-diffusion (ARD) systems exhibit rich topological structure. When the underlying fluid flow is periodic in space and time, the reaction front can lock to the driving frequency. We explain this mode-locking phenomenon using so-called burning invariant manifolds (BIMs). In fact, the mode-locked profile is delineated by a BIM attached to a relative periodic orbit (RPO) of the front element dynamics. Changes in the type (and loss) of mode-locking can be understood in terms of local and global bifurcations of the RPOs and their BIMs. We illustrate these concepts numerically using a chain of alternating vortices in a channel geometry.