title: Constraining the Tail-End of Reionization Using Lyman-$\alpha$ Transmission Spikes

abstract: We investigate Lyman-$\alpha$ transmission spikes at $z > 5$ in synthetic quasar spectra, and discuss their connection to the properties of the intergalactic medium and their ability to constrain reionization models. We use state-of-the-art radiation-hydrodynamic simulations from the Cosmic Reionization On Computers series to predict the number of transmission spikes as a function of redshift, both in the ideal case of infinite spectral resolution and in a realistic observational setting. Transmission spikes are produced in highly-ionized underdense regions located in the vicinity of UV sources. We find that most of the predicted spikes are unresolved by current observations, and show that our mock spectra are consistent with observations of the quasar ULAS J1120+0641 in about 15% of the realizations. The spike height correlates with both the gas density and the ionized fraction, but the former link is erased when synthetic spectra are smoothed to realistically achievable spectral resolutions. There exists a linear relationship between spike width and the extent of the associated underdense region, with a slope that is redshift-dependent. In agreement with observations, the spike transmitted flux is suppressed at small distance from bright galaxies as these reside in overdense regions. We argue that this anti-correlation can be used to constrain large-scale density modes.


title: Continuous symmetries and approximate quantum error correction

abstract: Quantum error correction and symmetry arise in many areas of physics, including many-body systems, metrology in the presence of noise, fault-tolerant computation, and holographic quantum gravity. Here we study the compatibility of these two important principles. If a logical quantum system is encoded into $n$ physical subsystems, we say that the code is covariant with respect to a symmetry group $G$ if a $G$ transformation on the logical system can be realized by performing transformations on the individual subsystems. For a $G$-covariant code with $G$ a continuous group, we derive a lower bound on the error correction infidelity following erasure of a subsystem. This bound approaches zero when the number of subsystems $n$ or the dimension $d$ of each subsystem is large. We exhibit codes achieving approximately the same scaling of infidelity with $n$ or $d$ as the lower bound. Leveraging tools from representation theory, we prove an approximate version of the Eastin-Knill theorem: If a code admits a universal set of transversal gates and corrects erasure with fixed accuracy, then, for each logical qubit, we need a number of physical qubits per subsystem that is inversely proportional to the error parameter. We construct codes covariant with respect to the full logical unitary group, achieving good accuracy for large $d$ (using random codes) or $n$ (using codes based on $W$-states). We systematically construct codes covariant with respect to general groups, obtaining natural generalizations of qubit codes to, for instance, oscillators and rotors. In the context of the AdS/CFT correspondence, our approach provides insight into how time evolution in the bulk corresponds to time evolution on the boundary without violating the Eastin-Knill theorem, and our five-rotor code can be stacked to form a covariant holographic code.


title: Probing Muonic Forces and Dark Matter at Kaon Factories

abstract: Rare kaon decays are excellent probes of light, new weakly-coupled particles. If such particles $X$ couple preferentially to muons, they can be produced in $K\to \mu \nu X$ decays. In this letter we evaluate the future sensitivity for this process at NA62 assuming $X$ decays either invisibly or to di-muons. Our main physics target is the parameter space that resolves the $(g-2)_\mu$ anomaly, where $X$ is a gauged $L_\mu-L_\tau$ vector or a muon-philic scalar. The same parameter space can also accommodate dark matter freeze out or reduce the tension between cosmological and local measurements of $H_0$ if the new force decays to dark matter or neutrinos, respectively. We show that for invisible $X$ decays, a dedicated single muon trigger analysis at NA62 could probe much of the remaining $(g-2)_\mu$ favored parameter space. Alternatively, if $X$ decays to muons, NA62 can perform a di-muon resonance search in $K\to 3 \mu \nu$ events and greatly improve existing coverage for this process. Independently of its sensitivity to new particles, we find that NA62 is also sensitive to the Standard Model predicted rate for $K \to 3\mu \nu$, which has never been measured.


title: Photoinduced Floquet topological magnons in Kitaev magnets

abstract: We study periodically driven pure Kitaev model and ferromagnetic phase of the Kitaev-Heisenberg model on the honeycomb lattice by off-resonant linearly and circularly-polarized lights at zero magnetic field. Using a combination of linear spin wave and Floquet theories, we show that the effective time-independent Hamiltonians in the off-resonant regime map onto the corresponding anisotropic static spin model, plus a tunable photoinduced magnetic field along the $[111]$ direction, which precipitates Floquet topological magnons and chiral magnon edge modes. They are tunable by the light amplitude and polarization. Similarly, we show that the thermal Hall effect induced by the Berry curvature of the Floquet topological magnons can also be tuned by the laser field. Our results pave the way for ultrafast manipulation of topological magnons in irradiated Kitaev magnets, and could play a pivotal role in the investigation of ultrafast magnon spin current generation in Kitaev materials.


title: Evaluating the optical classification of Fermi BCUs using machine learning

abstract: In the third catalog of active galactic nuclei detected by the Fermi-LAT (3LAC) Clean Sample, there are 402 blazars candidates of uncertain type (BCU). Due to the limitations of astronomical observation or intrinsic properties, it is difficult to classify blazars using optical spectroscopy. The potential classification of BCUs using machine learning algorithms is essential. Based on the 3LAC Clean Sample, we collect 1420 Fermi blazars with 8 parameters of {\gamma}-ray photon spectral index, radio flux, flux density, curve significance, the integral photon flux in 100 to 300 MeV, 0.3 to 1 GeV, 10 to 100 GeV and variability index. Here, we apply 4 different supervised machine learning (SML) algorithms (\emph{Decision trees, Random forests, support vector machines and Mclust Gaussian finite mixture models}) to evaluate the classification of BCUs based on the direct observational properties. All the 4 methods can perform exceedingly well with a more accuracy and can effective forecast the classification of Fermi BCUs. The evaluating results show the results of these methods (SML) are valid and robust, where, about 1/4 sources are FSRQs and 3/4 are BL Lacs in 400 BCUs, which are consistent with some other recent results. Although a number of factors influence the accuracy of SML, the results are stable at a fixed ratio 1:3 between FSRQs and BL Lacs, which suggests that the SML can provides an effective method to evaluate the potential classification of BCUs. Among the 4 methods, Mclust Gaussian Mixture Modelling has the highest accuracy for our training sample (4/5, seed=123).


title: BSE versus StarTrack: implementations of new wind, remnant-formation, and natal-kick schemes in NBODY7 and their astrophysical consequences

abstract: The masses of stellar-remnant black holes (BH), as a result of their formation via massive single- and binary-stellar evolution, is of high interest in this era of gravitational-wave detection from binary black hole (BBH) and binary neutron star (BNS) mergers. Here we present new developments in the N-body evolution program NBODY7 in regards to its stellar-remnant formation and related schemes. We demonstrate that the newly-implemented stellar-wind and remnant-formation schemes in the NBODY7 code's BSE sector, such as the 'rapid' and the 'delayed' supernova (SN) schemes along with an implementation of pulsational-pair-instability and pair-instability supernova (PPSN/PSN), now produces neutron star (NS) and BH masses that agree nearly perfectly, over large ranges of zero-age-main sequence (ZAMS) mass and metallicity, with those from the StarTrack population-synthesis program. We also demonstrate the new implementations of various natal-kick mechanisms on NSs and BHs such as the 'convection-asymmetry-driven', 'collapse-asymmetry-driven', and 'neutrino-emission-driven' kicks, in addition to a fully consistent implementation of the standard, fallback-dependent, momentum-conserving natal kick. We find that the SN material fallback causes the convection-asymmetry kick to effectively retain similar number and mass of BHs in clusters as for the standard, momentum-conserving kick. The collapse-asymmetry kick would cause nearly all BHs to retain in clusters irrespective of remnant formation model and metallicity, whereas the inference of a large number of BHs in GCs would potentially rule out the neutrino-driven kick mechanism. Pre-SN mergers of massive primordial binaries would cause BH masses to deviate from the single-star ZAMS mass-remnant mass relation. Such mergers, at low metallicities, can produce low-spinning BHs within the PSN mass gap that can be retained in a stellar cluster.


title: Shot noise in the astrophysical gravitational-wave background

abstract: We calculate the noise induced in the anisotropies of the astrophysical gravitational-wave background by finite sampling of both the galaxy distribution and the compact binary coalescence event rate. This shot noise leads to a scale-invariant bias term in the angular power spectrum $C_\ell$, for which we derive a simple analytical expression. We find that this bias dominates over the true cosmological power spectrum in any reasonable observing scenario, and that only with very long observing times and removal of a large number of foreground sources can the true power spectrum be recovered.


title: Optimal Coherent Filtering for Single Noisy Photons

abstract: We introduce a filter using a noise-free quantum buffer with large optical bandwidth that can both filter temporal-spectral modes, as well as inter-convert them and change their frequency. We show that such quantum buffers optimally filter out temporal-spectral noise; producing identical single-photons from many distinguishable noisy single-photon sources with the minimum required reduction in brightness. We then experimentally demonstrate a noise-free quantum buffer in a warm atomic system that is well matched to quantum dots and can outperform all intensity (incoherent) filtering schemes for increasing indistinguishability.


title: On the inexistence of solitons in Einstein-Maxwell-scalar models

abstract: Three non-existence results are established for self-gravitating solitons in Einstein-Maxwell-scalar models, wherein the scalar field is, generically, non-minimally coupled to the Maxwell field via a scalar function $f(\Phi)$. Firstly, a trivial Maxwell field is considered, which yields a consistent truncation of the full model. In this case, using a scaling (Derrick-type) argument, it is established that no stationary and axisymmetric self-gravitating scalar solitons exist, unless the scalar potential energy is somewhere negative in spacetime. This generalises previous results for the static and strictly stationary cases. Thus, rotation alone cannot support self-gravitating scalar solitons in this class of models. Secondly, constant sign couplings are considered. Generalising a previous argument by Heusler for electro-vacuum, it is established that no static self-gravitating electromagnetic-scalar solitons exist. Thus, a varying (but constant sign) electric permittivity alone cannot support static Einstein-Maxwell-scalar solitons. Finally, the second result is generalised for strictly stationary, but not necessarily static, spacetimes, using a Lichnerowicz-type argument, generalising previous results in models where the scalar and Maxwell fields are not directly coupled. The scope of validity of each of these results points out the possible paths to circumvent them, in order to obtain self-gravitating solitons in Einstein-Maxwell-scalar models.


title: Superconducting correlations out of repulsive interactions on a fractional quantum Hall edge

abstract: We consider a fractional quantum Hall bilayer system with an interface between quantum Hall states of filling fractions $(\nu_{\text{top}},\nu_{\text{bottom}})=(1,1)$ and $(1/3,2)$, motivated by a recent approach to engineering artificial edges~\cite{2018NatPh..14..411R}. We show that random tunneling and strong repulsive interactions within one of the layers will drive the system to a stable fixed point with two counterpropagating charge modes which have attractive interactions. As a result, slowly decaying correlations on the edge become predominantly superconducting. We discuss the resulting observable effects, and derive general requirements for electron attraction in Abelian quantum Hall states. The broader interest in fractional quantum Hall edge with quasi-long range superconducting order lies in the prospects of hosting exotic anyonic boundary excitations, that may serve as a platform for topological quantum computation.


title: Discovery of a directly imaged disk in scattered light around the Sco-Cen member Wray 15-788

abstract: As part of our on-going survey we have carried out high-contrast imaging with VLT/SPHERE/IRDIS to obtain polarized and total intensity images of the young ($11^{+16}_{-7}$Myr old) K3IV star Wray 15-788 within the Lower Centaurus Crux subgroup of Sco-Cen. For the total intensity images, we remove the stellar halo by an approach based on reference star differential imaging in combination with principal component analysis. Both total intensity and polarimetric data resolve a disk around Wray 15-788. Modeling of the stellar spectral energy distribution suggests that this is a protoplanetary disk at a transition stage. We detect a bright, outer ring at a projected separation of $\sim$370mas ($\approx$56au), hints for inner substructures at $\sim$170mas ($\approx$28au) and a gap in between. Only within a position angle range of $60^\circ<\varphi<240^\circ$, we are confident at 5$\sigma$ level to detect actual scattered light flux from the outer ring of the disk; the remaining part is indistinguishable from background noise. For the detected part of the outer ring we determine a disk inclination of $i$=21$^\circ\pm$6$^\circ$ and a position angle of $\varphi$=76$^\circ\pm$16$^\circ$. Furthermore, we find that Wray 15-788 is part of a binary system with the A2V star HD 98363 at a separation of $\sim$50'' ($\approx$6900au). The detection of only half of the outer ring might be due to shadowing by a misaligned inner disk. A potential substellar companion can cause the misalignment of the inner structures and can be responsible for clearing the detected gap from scattering material. We can not, however, rule out the possibility of a non-detection due to our limited signal to noise ratio, combined with brightness azimuthal asymmetry. From our data, we can exclude companions more massive than 10$M_\mathrm{jup}$ within the gap at a separation of $\sim$230mas ($\approx$35au).


title: Swampland Variations on a Theme by KKLT

abstract: The KKLT scenario in a warped throat, if consistent, provides a concrete counterexample to both the AdS scale separation and the dS swampland conjectures. First, we define and analyze the relevant effective field theory for the conifold modulus and the overall Kaehler modulus that both have exponentially small masses. The scalar potential still admits KKLT-like AdS and dS minima. Second, we critically analyze the reliability of the employed Wilsonian effective action by evaluating the masses of light modes localized in the warped throat. The resulting mass spectrum is discussed with respect to the swampland distance conjecture. We find the recently observed emergent nature of the latter not only at large distance points but also at the conifold point motivating a general extension of it. In this respect, KKLT and trans-Planckian field distance are on equal footing. It is pointed out that the reliability of the KKLT minimum will depend on how this emergent behavior is interpreted.


title: Continuous groups of transversal gates for quantum error correcting codes from finite clock reference frames

abstract: Following the introduction of the task of reference frame error correction, we show how, by using reference frame alignment with clocks, one can add a continuous Abelian group of transversal logical gates to any error-correcting code. With this we further explore a way of circumventing the no-go theorem of Eastin and Knill, which states that if local errors are correctable, the group of transversal gates must be of finite order. We are able to do this by introducing a small error on the decoding procedure that decreases with the dimension of the frames used. Furthermore, we show that there is a direct relationship between how small this error can be and how accurate quantum clocks can be: the more accurate the clock, the smaller the error; and the no-go theorem would be violated if time could be measured perfectly in quantum mechanics. The asymptotic scaling of the error is studied under a number of scenarios of reference frames and error models. The scheme is also extended to errors at unknown locations, and we show how to achieve this by simple majority voting related error correction schemes on the reference frames. In the Outlook, we discuss our results in relation to the AdS/CFT correspondence and the Page-Wooters mechanism.


title: Higgs Parity, Strong CP, and Dark Matter

abstract: An exact spacetime parity replicates the $SU(2) \times U(1)$ electroweak interaction, the Higgs boson $H$, and the matter of the Standard Model. This "Higgs Parity" and the mirror electroweak symmetry are spontaneously broken at scale $v' = \left\langle{H'} \right\rangle \gg \left\langle{H}\right\rangle$, yielding the Standard Model below $v'$ with a quartic coupling that essentially vanishes at $v'$: $\lambda_{SM}(v') \sim 10^{-3}$. The strong CP problem is solved as Higgs parity forces the masses of mirror quarks and ordinary quarks to have opposite phases. Dark matter is composed of mirror electrons, $e'$, stabilized by unbroken mirror electromagnetism. These interact with Standard Model particles via kinetic mixing between the photon and the mirror photon, which arises at four-loop level and is a firm prediction of the theory. Physics below $v'$, including the mass and interaction of $e'$ dark matter, is described by $\textit{one fewer parameter}$ than in the Standard Model. The allowed range of $m_{e'}$ is determined by uncertainties in $(\alpha_s, m_t, m_h)$, so that future precision measurements of these will be correlated with the direct detection rate of $e'$ dark matter, which, together with the neutron electric dipole moment, will probe the entire parameter space.


title: Prevalence of radio jets associated with galactic outflows and feedback from quasars

abstract: We present 1-7 GHz high-resolution radio imaging (VLA and e-MERLIN) and spatially-resolved ionized gas kinematics for ten z<0.2 type~2 `obscured' quasars (log [L(AGN)/(erg/s)]>~45) with moderate radio luminosities (log [L(1.4GHz)/(W/Hz)]=23.3-24.4). These targets were selected to have known ionized outflows based on broad [OIII] emission-line components (FWHM~800-1800 km/s). Although `radio-quiet' and not `radio AGN' by many traditional criteria, we show that for nine of the targets, star formation likely accounts for <~10 per cent of the radio emission. We find that ~80-90 per cent of these nine targets exhibit extended radio structures on 1-25 kpc scales. The quasars' radio morphologies, spectral indices and position on the radio size-luminosity relationship reveals that these sources are consistent with being low power compact radio galaxies. Therefore, we favour radio jets as dominating the radio emission in the majority of these quasars. The radio jets we observe are associated with morphologically and kinematically distinct features in the ionized gas, such as increased turbulence and outflowing bubbles, revealing jet-gas interaction on galactic scales. Importantly, such conclusions could not have been drawn from current low-resolution radio surveys such as FIRST. Our observations support a scenario where compact radio jets, with modest radio luminosities, are a crucial feedback mechanism for massive galaxies during a quasar phase.


title: Energy Management in Plug-in Hybrid Electric Vehicles: Convex Optimization Algorithms for Model Predictive Control

abstract: This paper details an investigation into the computational performance of algorithms used for solving a convex formulation of the optimization problem associated with model predictive control for energy management in hybrid electric vehicles with nonlinear losses. A projected interior point method is proposed, where the size and complexity of the Newton step matrix inversion is reduced by applying inequality constraints on the control input as a projection, and its properties are demonstrated through simulation in comparison with an alternating direction method of multipliers (ADMM) algorithm, and general purpose convex optimization software CVX. It is found that the ADMM algorithm has favourable properties when a solution with modest accuracy is required, whereas the projected interior point method is favourable when high accuracy is required, and that both are significantly faster than CVX.


title: Ultra-Stable Environment Control for the NEID Spectrometer: Design and Performance Demonstration

abstract: Two key areas of emphasis in contemporary experimental exoplanet science are the detailed characterization of transiting terrestrial planets, and the search for Earth analog planets to be targeted by future imaging missions. Both of these pursuits are dependent on an order-of-magnitude improvement in the measurement of stellar radial velocities (RV), setting a requirement on single-measurement instrumental uncertainty of order 10 cm/s. Achieving such extraordinary precision on a high-resolution spectrometer requires thermo-mechanically stabilizing the instrument to unprecedented levels. Here, we describe the Environment Control System (ECS) of the NEID Spectrometer, which will be commissioned on the 3.5 m WIYN Telescope at Kitt Peak National Observatory in 2019, and has a performance specification of on-sky RV precision < 50 cm/s. Because NEID's optical table and mounts are made from aluminum, which has a high coefficient of thermal expansion, sub-milliKelvin temperature control is especially critical. NEID inherits its ECS from that of the Habitable-zone Planet Finder (HPF), but with modifications for improved performance and operation near room temperature. Our full-system stability test shows the NEID system exceeds the already impressive performance of HPF, maintaining vacuum pressures below $10^{-6}$ Torr and an RMS temperature stability better than 0.4 mK over 30 days. Our ECS design is fully open-source; the design of our temperature-controlled vacuum chamber has already been made public, and here we release the electrical schematics for our custom Temperature Monitoring and Control (TMC) system.


title: Pulsar Radio Emission Mechanism: Radio Nanoshots as a Low Frequency Afterglow of Relativistic Magnetic Reconnection

abstract: In this Letter we propose that coherent radio emission of Crab, other young energetic pulsars, and millisecond pulsars is produced in the magnetospheric current sheet beyond the light cylinder. We carry out global and local two-dimensional kinetic plasma simulations of reconnection to illustrate the coherent emission mechanism. Reconnection in the current sheet beyond the light cylinder proceeds in the very efficient plasmoid-dominated regime, and current layer gets fragmented into a dynamic chain of plasmoids which undergo successive coalescence. Mergers of sufficiently large plasmoids produce secondary perpendicular current sheets, which are also plasmoid-unstable. Collisions of plasmoids with each other and with the upstream magnetic field eject fast-magnetosonic waves, which propagate upstream across the background field and successfully escape from the plasma as electromagnetic waves that fall in the radio band. This model successfully explains many important features of the observed radio emission from Crab and other pulsars with high magnetic field at the light cylinder: phase coincidence with the high-energy emission, nano-second duration (nanoshots), and extreme instantaneous brightness of individual pulses.


title: Orthogonal Matching Pursuit with Tikhonov and Landweber Regularization

abstract: The Orthogonal Matching Pursuit (OMP) for compressed sensing iterates over a scheme of support augmentation and signal estimation. We present two novel matching pursuit algorithms with intrinsic regularization of the signal estimation step that do not rely on a priori knowledge of the signal's sparsity. An iterative approach allows for a hardware efficient implementation of our algorithm, and enables real-world applications of compressed sensing. We provide a series of numerical examples that demonstrate a good performance, especially when the number of measurements is relatively small.


title: Chronostar: a novel Bayesian method for kinematic age determination. I. Derivation and application to the {\beta} Pictoris Moving Group

abstract: Gaia DR2 provides an unprecedented sample of stars with full 6D phase-space measurements, creating the need for a self-consistent means of discovering and characterising the phase-space overdensities known as moving groups or associations. Here we present Chronostar, a new Bayesian analysis tool that meets this need. Chronostar uses the Expectation-Maximisation algorithm to remove the circular dependency between association membership lists and fits to their phase-space distributions, making it possible to discover unknown associations within a kinematic data set. It uses forward-modelling of orbits through the Galactic potential to overcome the problem of tracing backward stars whose kinematics have significant observational errors, thereby providing reliable ages. In tests using synthetic data sets with realistic measurement errors and complex initial distributions, Chronostar successfully recovers membership assignments and kinematic ages up to ~ 100 Myr. In tests on real stellar kinematic data in the phase-space vicinity of the ${\beta}$ Pictoris Moving Group, Chronostar successfully rediscovers the association without any human intervention, identifies 15 new likely members, corroborates 43 candidate members, and returns a kinematic age of 17.8+-1.2 Myr. In the process we also rediscover the Tucana-Horologium Moving Group, for which we obtain a kinematic age of 36.3+1.3-1.4 Myr.


title: On a tropical version of the Jacobian conjecture

abstract: We prove for a tropical rational map that if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical polynomial map on the plane is an isomorphism if all the Jacobians have the same sign (positive or negative). In addition, for a tropical rational map we prove that if the Jacobians have the same sign and if its preimage is a singleton at least at one regular point then the map is an isomorphism.


title: The JCMT BISTRO Survey: The Magnetic Field In The Starless Core $\rho$ Ophiuchus C

abstract: We report 850~$\mu$m dust polarization observations of a low-mass ($\sim$12 $M_{\odot}$) starless core in the $\rho$ Ophiuchus cloud, Ophiuchus C, made with the POL-2 instrument on the James Clerk Maxwell Telescope (JCMT) as part of the JCMT B-fields In STar-forming Region Observations (BISTRO) survey. We detect an ordered magnetic field projected on the plane of sky in the starless core. The magnetic field across the $\sim$0.1~pc core shows a predominant northeast-southwest orientation centering between $\sim$40$^\circ$ to $\sim$100$^\circ$, indicating that the field in the core is well aligned with the magnetic field in lower-density regions of the cloud probed by near-infrared observations and also the cloud-scale magnetic field traced by Planck observations. The polarization percentage ($P$) decreases with an increasing total intensity ($I$) with a power-law index of $-$1.03 $\pm$ 0.05. We estimate the plane-of-sky field strength ($B_{\mathrm{pos}}$) using modified Davis-Chandrasekhar-Fermi (DCF) methods based on structure function (SF), auto-correlation (ACF), and unsharp masking (UM) analyses. We find that the estimates from the SF, ACF, and UM methods yield strengths of 103 $\pm$ 46 $\mu$G, 136 $\pm$ 69 $\mu$G, and 213 $\pm$ 115 $\mu$G, respectively. Our calculations suggest that the Ophiuchus C core is near magnetically critical or slightly magnetically supercritical (i.e. unstable to collapse). The total magnetic energy calculated from the SF method is comparable to the turbulent energy in Ophiuchus C, while the ACF method and the UM method only set upper limits for the total magnetic energy because of large uncertainties.


title: Classical and quantum dynamics of indirect excitons driven by surface acoustic waves

abstract: We perform explicit time-dependent classical and quantum propagation of a spatially indirect exciton (SIX) driven by surface acoustic waves (SAWs) in a semiconductor heterostructure device. We model the SIX dynamics at different levels of description, from the Euler-Lagrange propagation of structureless classical particles to unitary Schr\"odinger propagation of an electron-hole wave packet in a mean field and to the full quantum propagation of the two-particle complex. A recently proposed beyond mean-field self-energy approach, adding internal virtual transitions to the c.m. dynamics, has been generalized to time-dependent potentials and turns out to describe very well full quantum calculations, while being orders of magnitude numerically less demanding. We show that SAW-driven SIXs are a sensitive probe of scattering potentials in the devices originating, for example, from single impurities or metallic gates, due to competing length and energy scales between the SAW elastic potential, the scattering potential, and the internal electron-hole dynamic of the SIX. Comparison between different approximations allow us to show that internal correlation of the electron-hole pair is crucial in scattering from shallow impurities, where tunneling plays a major role. On the other hand, scattering from broad potentials, i.e., with length scales exceeding the SIX Bohr radius, is well described as the classical dynamics of a pointlike SIX. Recent experiments are discussed in light of our calculations.


title: Superasymptotic and hyperasymptotic approximation to the operator product expansion

abstract: Given an observable and its operator product expansion (OPE), we present expressions that carefully disentangle truncated sums of the perturbative series in powers of $\alpha$ from the non-perturbative (NP) corrections. This splitting is done with NP power accuracy. Analytic control of the splitting is achieved and the organization of the different terms is done along an super/hyper-asymptotic expansion. As a test we apply the methods to the static potential in the large $\beta_0$ approximation. We see the superasymptotic and hyperasymptotic structure of the observable in full glory.


title: Cosmological Magnetic Field and Dark Energy as two sides of the same coin

abstract: It has been recently argued \cite{Barvinsky:2017lfl} that the de Sitter phase in cosmology might be naturally generated as a result of dynamics of the topologically nontrivial sectors in a strongly coupled QCD-like gauge theory in expanding universe. It is known that the de Sitter phase is realized in the history of our Universe twice: the first occurrence is coined as the inflation, while the second time (which is occurring now) is dubbed as the dark energy (DE). The crucial element of the proposal \cite{Barvinsky:2017lfl} is the presence of a nontrivial gauge holonomy which is the source of the vacuum energy leading to the de Sitter behaviour. It has been also argued that the anomalous coupling of the system with the Standard Model (SM) particles leads to the reheating epoch in case of the {\it inflationary} phase. A similar anomalous coupling of the system with the Maxwell $E\&M$ field during the {\it DE epoch} generates the cosmological magnetic field. The intensity of the field is estimated on the level of $10^{-10}$G while the corresponding correlation length reaches the scale of the visible Universe.


title: Zeno Friction and Anti-friction from Quantum Collision Models

abstract: We analyze the quantum mechanics of the friction experienced by a small system as it moves non-destructively with velocity $v$ over a surface. Specifically, we model the interactions between the system and the surface with a \textit{collision model}. We show that, under weak assumptions, the magnitude of the friction induced by this interaction decreases as $1/v$ for large velocities. Specifically, we predict that this phenomenon occurs in the Zeno regime, where each of the system's successive couplings to subsystems of the surface is very brief. In order to investigate the friction at low velocities and with velocity-dependent coupling strengths, we motivate and develop \textit{one-dimensional convex collision models}. Within these models, we obtain an analytic expression for the general friction-velocity dependence. We are thus able to determine exactly the conditions under which the usual friction-velocity dependency arises. Finally, we give examples that demonstrate the possibility, in principle, of anti-friction, in which case the system is accelerated by its interaction with the surface, a phenomenon associated with active materials and inverted level populations.


title: Privacy-cost trade-off in a smart meter system with a renewable energy source and a rechargeable battery

abstract: We study the privacy-cost trade-off in a smart meter (SM) system with a renewable energy source (RES) and a finite-capacity rechargeable battery (RB). Privacy is measured by the mutual information rate between the energy demand and the energy received from the grid, where the latter also determines the cost, and hence, reported by the SM to the utility provider (UP). We consider a renewable energy generation process that fully charges the RB at random time instants, and its realization is assumed to be known also by the UP. We reformulate the problem as a Markov decision process (MDP), and solve it by dynamic programming (DP) to design battery charging and discharging policies that minimize a linear combination of the privacy leakage and energy cost. We also propose a lower bound and two alternative low-complexity energy management policies, one of which is shown numerically to perform close to the MDP solution.


title: Nitrogen Oxide Concentrations in Natural Waters on Early Earth

abstract: A key challenge in origins-of-life studies is estimating the abundances of species relevant to the chemical pathways proposed to have contributed to the emergence of life on early Earth. Dissolved nitrogen oxide anions (NO$_{X}^{-}$), in particular nitrate (NO$_{3}^{-}$) and nitrite (NO$_{2}^{-}$), have been invoked in diverse origins-of-life chemistry, from the oligomerization of RNA to the emergence of protometabolism. Recent work has calculated the supply of NO$_{X}^{-}$ from the prebiotic atmosphere to the ocean, and reported steady-state [NO$_{X}^{-}$] to be high across all plausible parameter space. These findings rest on the assumption that NO$_{X}^{-}$ is stable in natural waters unless processed at a hydrothermal vent. Here, we show that NO$_{X}^{-}$ is unstable in the reducing environment of early Earth. Sinks due to UV photolysis and reactions with reduced iron (Fe$^{2+}$) suppress [NO$_{X}^{-}$] by several orders of magnitude relative to past predictions. For pH$=6.5-8$ and $T=0-50^\circ$C, we find that it is most probable that NO$_{X}^{-}$]$<1~\mu$M in the prebiotic ocean. On the other hand, prebiotic ponds with favorable drainage characteristics may have sustained [NO$_{X}^{-}$]$\geq 1~\mu$M. As on modern Earth, most NO$_{X}^{-}$ on prebiotic Earth should have been present as NO$_{3}^{-}$, due to its much greater stability. These findings inform the kind of prebiotic chemistries that would have been possible on early Earth. We discuss the implications for proposed prebiotic chemistries, and highlight the need for further studies of NO$_{X}^{-}$ kinetics to reduce the considerable uncertainties in predicting [NO$_{X}^{-}$] on early Earth.


title: Founded World Views with Autoepistemic Equilibrium Logic

abstract: Defined by Gelfond in 1991 (G91), epistemic specifications (or programs) are an extension of logic programming under stable models semantics that introducessubjective literals. A subjective literal al-lows checking whether some regular literal is true in all (or in some of) the stable models of the program, being those models collected in a setcalledworld view. One epistemic program may yield several world views but, under the original G91 semantics, some of them resulted from self-supported derivations. During the last eight years, several alternative approaches have been proposed to get rid of these self-supported worldviews. Unfortunately, their success could only be measured by studying their behaviour on a set of common examples in the literature, since no formal property of "self-supportedness" had been defined. To fill this gap, we extend in this paper the idea of unfounded set from standard logic programming to the epistemic case. We define when a world view is founded with respect to some program and propose the foundedness property for any semantics whose world views are always founded. Using counterexamples, we explain that the previous approaches violate foundedness, and proceed to propose a new semantics based on a combination of Moore's Autoepistemic Logic and Pearce's Equilibrium Logic. The main result proves that this new semantics precisely captures the set of founded G91 world views.


title: From Language to Goals: Inverse Reinforcement Learning for Vision-Based Instruction Following

abstract: Reinforcement learning is a promising framework for solving control problems, but its use in practical situations is hampered by the fact that reward functions are often difficult to engineer. Specifying goals and tasks for autonomous machines, such as robots, is a significant challenge: conventionally, reward functions and goal states have been used to communicate objectives. But people can communicate objectives to each other simply by describing or demonstrating them. How can we build learning algorithms that will allow us to tell machines what we want them to do? In this work, we investigate the problem of grounding language commands as reward functions using inverse reinforcement learning, and argue that language-conditioned rewards are more transferable than language-conditioned policies to new environments. We propose language-conditioned reward learning (LC-RL), which grounds language commands as a reward function represented by a deep neural network. We demonstrate that our model learns rewards that transfer to novel tasks and environments on realistic, high-dimensional visual environments with natural language commands, whereas directly learning a language-conditioned policy leads to poor performance.


title: Interaction position, time, and energy resolution in organic scintillator bars with dual-ended readout

abstract: We report on the position, timing, and energy resolution of a range of plastic scintillator bars and reflector treatments using dual-ended silicon photomultiplier readout. These measurements are motivated by the upcoming construction of an optically segmented single-volume neutron scatter camera, in which neutron elastic scattering off of hydrogen is used to kinematically reconstruct the source direction and energy of an incoming neutron. For this application, interaction position resolutions of about 10 mm and timing resolutions of about 1 ns are necessary to achieve the desired efficiency for fission-energy neutrons. The results presented here indicate that this is achievable with an array of $5\times5\times190~\mathrm{mm}^3$ bars of EJ-204 scintillator wrapped in Teflon tape, read out with SensL's J-series $6\times6~\mathrm{mm}^2$ silicon photomultipliers. With two independent setups, we also explore the systematic variability of the position resolution, and show that, in general, using the difference in the pulse arrival time at the two ends is less susceptible to systematic variation than using the log ratio of the charge amplitude of the two ends. Finally, we measure a bias in the absolute time of interactions as a function of position along the bar: the measured interaction time for events at the center of the bar is $\sim$100 ps later than interactions near the SiPM.


title: Status of the undulator-based ILC positron source

abstract: The design of the positron source for the International Linear Collider (ILC) is still under consideration. The baseline design plans to use the electron beam for the positron production before it goes to the IP. The high-energy electrons pass a long helical undulator and generate an intense circularly polarized photon beam which hits a thin conversion target to produce $e^+e^-$ pairs. The resulting positron beam is longitudinally polarized which provides an important benefit for precision physics analyses. In this paper the status of the design studies is presented with focus on ILC250. In particular, the target design and cooling as well as issues of the optical matching device are important for the positron yield. Some possibilities to optimize the system are discussed.


title: Classifying spaces for \'etale algebras with generators

abstract: We construct varieties B(r;An) such that a map X -> B(r;An) corresponds to a degree-n \'etale algebra on X equipped with r generating global sections. We then show that when n = 2, i.e., in the quadratic \'etale case, that the singular cohomology of B(r; An)(R) can be used to reconstruct a famous example of S. Chase and to extend its application to showing that there is a smooth affine r-1-dimensional R-variety on which there are \'etale algebras An of arbitrary degrees n that cannot be generated by fewer than r elements. This shows that in the \'etale algebra case, a bound established by U. First and Z. Reichstein is sharp.


title: The equilibrium size-frequency distribution of small craters reveals the effects of distal ejecta on lunar landscape morphology

abstract: Small craters of the lunar maria are observed to be in a state of equilibrium, in which the rate of production of new craters is, on average, equal to the rate of destruction of old craters. Crater counts of multiple lunar terrains over decades consistently show that the equilibrium cumulative size-frequency distribution (SFD) per unit area of small craters of radius >r is proportional r^(-2), and that the total crater density is a few percent of so-called geometric saturation, which is the maximum theoretical packing density of circular features. While it has long been known that the primary crater destruction mechanism for these small craters is steady diffusive degradation, there are few quantitative constraints on the processes that determine the degradation rate of meter to kilometer scale lunar surface features. Here we combine analytical modeling with a Monte Carlo landscape evolution code known as the Cratered Terrain Evolution Model to place constraints on which processes control the observed equilibrium size-frequency distribution for small craters. We find that the impacts by small distal ejecta fragments, distributed in spatially heterogeneous rays, is the largest contributor to the diffusive degradation which controls the equilibrium SFD of small craters. Other degradation or crater removal mechanisms, such cookie cutting, ejecta burial, seismic shaking, and micrometeoroid bombardment, likely contribute very little to the diffusive topographic degradation of the lunar maria at the meter scale and larger.


title: Lookup Table-Based Consensus Algorithm for Real-Time Longitudinal Motion Control of Connected and Automated Vehicles

abstract: Connected and automated vehicle (CAV) technology is one of the promising solutions to addressing the safety, mobility and sustainability issues of our current transportation systems. Specifically, the control algorithm plays an important role in a CAV system, since it executes the commands generated by former steps, such as communication, perception, and planning. In this study, we propose a consensus algorithm to control the longitudinal motion of CAVs in real time. Different from previous studies in this field where control gains of the consensus algorithm are pre-determined and fixed, we develop algorithms to build up a lookup table, searching for the ideal control gains with respect to different initial conditions of CAVs in real time. Numerical simulation shows that, the proposed lookup table-based consensus algorithm outperforms the authors' previous work, as well as van Arem's linear feedback-based longitudinal motion control algorithm in all four different scenarios with various initial conditions of CAVs, in terms of convergence time and maximum jerk of the simulation run.


title: Taming Dirac strings and timelike loops in vacuum gravity

abstract: The problem of singularities associated with Dirac strings and closed timelike curves in classical solutions of pure gravity is analyzed here. A method to eliminate these is introduced and established first for the Taub-NUT geometry. This is superceded by a smooth solution of first order field equations, which is defined to be a unique extension of the Taub Universe to a degenerate metric phase. As an additional feature, this framework naturally provides a geometric interpretation of the magnetic charge in the context of gravity theory without matter. Finally, exploiting the two phases of the metric determinant, we find a (smooth and unique) continuation of the Misner geometry as well, ridding it of closed timelike worldlines which exist in its otherwise Einsteinian manifestation.


title: Persistent spin dynamics in the pressurized spin-liquid candidate YbMgGaO$_4$

abstract: Single-crystal x-ray diffraction, density-functional band-structure calculations, and muon spin relaxation ($\mu$SR) are used to probe pressure evolution of the triangular spin-liquid candidate YbMgGaO$_4$. The rhombohedral crystal structure is retained up to at least 10 GPa and shows a nearly uniform compression along both in-plane and out-of-plane directions, whereas local distortions caused by the random distribution of Mg$^{2+}$ and Ga$^{3+}$ remain mostly unchanged. The $\mu$SR data confirm persistent spin dynamics up to 2.6 GPa and down to 250 mK with no change in the muon relaxation rate. Longitudinal-field $\mu$SR reveals power-law behavior of the spin-spin autocorrelation function, both at ambient pressure and upon compression.


title: No-gap second-order conditions under $n$-polyhedric constraints and finitely many nonlinear constraints

abstract: We consider an optimization problem subject to an abstract constraint and finitely many nonlinear constraints. Using the recently introduced concept of $n$-polyhedricity, we are able to provide second-order optimality conditions under weak regularity assumptions. In particular, we prove necessary optimality conditions of first and second order under the constraint qualification of Robinson, Zowe and Kurcyusz. Similarly, sufficient optimality conditions are stated. The gap between both conditions is as small as possible.


title: Generalized Gibbs Ensembles of the classical Toda chain

abstract: The Toda chain is the prime example of a classical integrable system with strictly local conservation laws. Relying on the Dumitriu-Edelman matrix model, we obtain the generalized free energy of the Toda chain and thereby establish a mapping to the one-dimensional log-gas with an interaction strength of order 1/N. The (deterministic) local density of states of the Lax matrix is identified as the object, which should evolve according to generalized hydrodynamics. In the current version missing factors of 2 are corrected.


title: Finiteness properties of affine Deligne-Lusztig varieties

abstract: Affine Deligne-Lusztig varieties are closely related to the special fibre of Newton strata in the reduction of Shimura varieties or of moduli spaces of $G$-shtukas. In almost all cases, they are not quasi-compact. In this note we prove basic finiteness properties of affine Deligne-Lusztig varieties under minimal assumptions on the associated group. We show that affine Deligne-Lusztig varieties are locally of finite type, and prove a global finiteness result related to the natural group action. Similar results have previously been known for special situations.


title: An adaptive stochastic Galerkin tensor train discretization for randomly perturbed domains

abstract: A linear PDE problem for randomly perturbed domains is considered in an adaptive Galerkin framework. The perturbation of the domain's boundary is described by a vector valued random field depending on a countable number of random variables in an affine way. The corresponding Karhunen-Lo\`eve expansion is approximated by the pivoted Cholesky decomposition based on a prescribed covariance function. The examined high-dimensional Galerkin system follows from the domain mapping approach, transferring the randomness from the domain to the diffusion coefficient and the forcing. In order to make this computationally feasible, the representation makes use of the modern tensor train format for the implicit compression of the problem. Moreover, an a posteriori error estimator is presented, which allows for the problem-dependent iterative refinement of all discretization parameters and the assessment of the achieved error reduction. The proposed approach is demonstrated in numerical benchmark problems.


title: Experimental pairwise entanglement estimation for an N-qubit system :A machine learning approach for programming quantum hardware

abstract: Designing and implementing algorithms for medium and large scale quantum computers is not easy. In previous work we have suggested, and developed, the idea of using machine learning techniques to train a quantum system such that the desired process is "learned," thus obviating the algorithm design difficulty. This works quite well for small systems. But the goal is macroscopic physical computation. Here, we implement our learned pairwise entanglement witness on Microsoft's Q#, one of the commercially available gate model quantum computer simulators; we perform statistical analysis to determine reliability and reproduceability; and we show that using the machine learning technique called "bootstrapping", we can infer the pattern for mesoscopic N from simulation results for three-, four-, five-, six-, and seven-qubit systems. Our results suggest a fruitful pathway for general quantum computer algorithm design and computation.


title: Energy Deposition along The Helical Undulator at ILC-250GeV

abstract: The positron source of the International Linear Collider is based on a superconducting helical undulator passed by the high-energy electron beam to generate photons which hit a conversion target. Since the photons are circularly polarized the resulting positron beam is polarized. At ILC250, the full undulator is needed to produce the required number of positrons. To keep the power deposition in the undulator walls below the acceptable limit of 1W/m, photon masks must be inserted in the undulator line. The photon mask design requires a detailed study of the power deposition in the walls and masks. This paper describes the power deposition in the undulator wall due to synchrotron radiation.


title: Crypt$\epsilon$: Crypto-Assisted Differential Privacy on Untrusted Servers

abstract: Differential privacy (DP) has steadily become the de-facto standard for achieving privacy in data analysis, which is typically implemented either in the "central" or "local" model. The local model has been more popular for commercial deployments as it does not require a trusted data collector. This increased privacy, however, comes at a cost of utility and algorithmic expressibility as compared to the central model. In this work, we propose, Crypt$\epsilon$, a system and programming framework that (1) achieves the accuracy guarantees and algorithmic expressibility of the central model (2) without any trusted data collector like in the local model. Crypt$\epsilon$ achieves the "best of both worlds" by employing two non-colluding untrusted servers that run DP programs on encrypted data from the data owners. Although straightforward implementations of DP programs using secure computation tools can achieve the above goal theoretically, in practice they are beset with many challenges such as poor performance and tricky security proofs. To this end, Crypt$\epsilon$ allows data analysts to author logical DP programs that are automatically translated to secure protocols that work on encrypted data. These protocols ensure that the untrusted servers learn nothing more than the noisy outputs, thereby guaranteeing DP (for computationally bounded adversaries) for all Crypt$\epsilon$ programs. Crypt$\epsilon$ supports a rich class of DP programs that can be expressed via a small set of transformation and measurement operators followed by arbitrary post-processing. Further, we propose performance optimizations leveraging the fact that the output is noisy. We demonstrate Crypt$\epsilon$'s feasibility for practical DP analysis with extensive empirical evaluations on real datasets.


title: On selecting coarse-grid operators for Parareal and MGRIT applied to linear advection

abstract: We consider the parallel time integration of the linear advection equation with the Parareal and two-level multigrid-reduction-in-time (MGRIT) algorithms. Our aim is to develop a better understanding of the convergence behaviour of these algorithms for this problem, which is known to be poor relative to the diffusion equation, its model parabolic counterpart. Using Fourier analysis, we derive new convergence estimates for these algorithms which, in conjunction with existing convergence theory, provide insight into the origins of this poor performance. We then use this theory to explore improved coarse-grid time-stepping operators. For several high-order discretizations of the advection equation, we demonstrate that there exist non-standard coarse-grid time stepping operators that yield significant improvements over the standard choice of rediscretization.


title: Verification of the ordinary character table of the Baby Monster

abstract: We prove the correctness of the character table of the sporadic simple Baby Monster group that is shown in the Atlas of Finite Groups.


title: Generalized wave-packet model for studying coherence of matter-wave interferometers

abstract: We present a generalized model for the evolution of atomic wave-packets in matter-wave interferometers. This method provides an efficient tool for analyzing the performance of atomic interferometers using atom clouds prepared in a trap as a Bose-Einstein condensate (BEC) or as a thermal ensemble. Predictions of the model for dynamic properties such as wave-packet size and phase are in excellent agreement with explicit numerical solutions of the non-linear Gross-Pitaevskii equations and enable fast calculations of interferometric performance in regimes where full numerical solutions become impractical. As a starting point, the static Thomas-Fermi (TF) approximation for a BEC in a harmonic trap is generalized to the whole range of atom-atom interaction strengths: from non-interacting atoms (low densities) to the standard TF limit (high atomic densities, as long as the condensate approximation still holds). In particular, this generalization allows a good estimation of atomic cloud properties along the transition from a three-dimensional to a quasi-one-dimensional BEC in an elongated trap. We then develop a theoretical model of wave-packet evolution in time-dependent conditions. The model is applicable for a wide range of dynamical problems involving evolution in time-dependent potentials and in a changing mean-field atomic repulsion due to splitting and separation of wave-packets. We use the model for studying two effects that influence interferometric coherence: imperfect spatial recombination in a two-state interferometer (the so-called "Humpty-Dumpty effect") and phase diffusion due to number uncertainty in the two interferometer arms, which was previously studied thoroughly only for interferometric schemes where the BECs in the two arms stay trapped (for example, in a double-well potential).


title: Odd elasticity

abstract: Hooke's law states that the forces or stresses experienced by an elastic object are proportional to the applied deformations or strains. The number of coefficients of proportionality between stress and strain, i.e., the elastic moduli, is constrained by energy conservation. In this Letter, we lift this restriction and generalize linear elasticity to active media with non-conservative microscopic interactions that violate mechanical reciprocity. This generalized framework, which we dub odd elasticity, reveals that two additional moduli can exist in a two-dimensional isotropic solid with active bonds. Such an odd-elastic solid can be regarded as a distributed engine: work is locally extracted, or injected, during quasi-static cycles of deformation. Using continuum equations, coarse-grained microscopic models, and numerical simulations, we uncover phenomena ranging from activity-induced auxetic behavior to wave propagation powered by self-sustained active elastic cycles. Besides providing insights beyond existing hydrodynamic theories of active solids, odd elasticity suggests design principles for emergent autonomous materials.


title: Formalizing Cyber--Physical System Model Transformation via Abstract Interpretation

abstract: Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assumptions remain consistent across every model of a system, and identifying constraints on system design imposed by these modeling assumptions. We have proposed a model transformation approach based on abstract interpretation, a static program analysis technique. Abstract interpretation allows us to define transformations that are provably correct and specific. This work develops the foundations of this approach to model transformation. We define model transformation in terms of abstract interpretation and prove the soundness of our approach. Furthermore, we develop formalisms useful for encoding model properties. This work provides a methodology for relating models of different aspects of a system and for applying modeling techniques from one system domain, such as smart power grids, to other domains, such as water distribution networks.


title: Adversarial Augmentation for Enhancing Classification of Mammography Images

abstract: Supervised deep learning relies on the assumption that enough training data is available, which presents a problem for its application to several fields, like medical imaging. On the example of a binary image classification task (breast cancer recognition), we show that pretraining a generative model for meaningful image augmentation helps enhance the performance of the resulting classifier. By augmenting the data, performance on downstream classification tasks could be improved even with a relatively small training set. We show that this "adversarial augmentation" yields promising results compared to classical image augmentation on the example of breast cancer classification.


title: Optomechanically amplified wavelength conversion in diamond microcavities

abstract: Efficient, low noise conversion between different colors of light is a necessary tool for interfacing quantum optical technologies that have different operating wavelengths. Optomechanically mediated wavelength conversion and amplification is a potential method for realizing this technology, and is demonstrated here in microdisks fabricated from single crystal diamond--a material that can host a wide range of quantum emitters. Frequency up--conversion is demonstrated with internal conversion efficiency of $\sim$45% using both narrow and broadband probe fields, and optomechanical frequency conversion with amplification is demonstrated in the optical regime for the first time.


title: Using Ultra-Wideband Technology in Vehicles for Infrastructure-free Localization

abstract: In this paper, we investigate using Ultra-Wideband (UWB) technology in vehicles for localization as well as other possible infrastructure-free applications. To that end, we first introduce the on-vehicle UWB anchor layout, then conduct a theoretical analysis to shed light on the capabilities and limitations of using UWB anchors with this layout. To verify the analysis conducted, extensive field trials are performed, which yield results that match the predictions of the conducted analysis. Finally, Virtual Pedestrian Traffic Light (VPTL), an infrastructure-free pedestrian traffic light system is introduced as an example application of the presented approach.


title: Micropolar meets Newtonian in three dimensions. The Rayleigh--B{\'e}nard problem for large Prandtl numbers

abstract: We consider the Rayleigh--B\'{e}nard problem for the three--dimensional Boussinesq system for the micropolar fluid. We introduce the notion of the multivalued eventual semiflow and prove the existence of the two-space global attractor $\mathcal{A}^K$ corresponding to weak solutions, for every micropolar parameter $K\geq 0$ denoting the deviation of the considered system from the classical Rayleigh--B\'{e}nard problem for the Newtonian fluid. We prove that for every $K$ the attractor $\mathcal{A}^K$ is the smallest compact, attracting, and invariant set. Moreover, the semiflow restricted to this attractor is single-valued and governed by strong solutions. Further, we prove that the global attractors $\mathcal{A}^K$ converge to $\mathcal{A}^0$ upper semicontinuously in Kuratowski sense as $K\to 0$, and that the projection of $\mathcal{A}^0$ on the restricted phase space corresponding to the classical Rayleigh--B\'{e}nard problem is the global attractor for the latter problem, having the invariance property. These results are established under the assumption that the Prandtl number is relatively large with respect to the Rayleigh number.


title: Dense Depth Estimation in Monocular Endoscopy with Self-supervised Learning Methods

abstract: We present a self-supervised approach to training convolutional neural networks for dense depth estimation from monocular endoscopy data without a priori modeling of anatomy or shading. Our method only requires monocular endoscopic videos and a multi-view stereo method, e.g., structure from motion, to supervise learning in a sparse manner. Consequently, our method requires neither manual labeling nor patient computed tomography (CT) scan in the training and application phases. In a cross-patient experiment using CT scans as groundtruth, the proposed method achieved submillimeter mean residual error. In a comparison study to recent self-supervised depth estimation methods designed for natural video on in vivo sinus endoscopy data, we demonstrate that the proposed approach outperforms the previous methods by a large margin. The source code for this work is publicly available online at https://github.com/lppllppl920/EndoscopyDepthEstimation-Pytorch.


title: The $8Pmmn$ borophene sheet: A solid-state platform for space-time engineering

abstract: We construct the most generic Hamiltonian of the $8Pmmn$ structure of borophene sheet in presence of spin-orbit, as well as background electric and magnetic fields. In addition to spin and valley Hall effects, this structure offers a framework to conveniently manipulate the resulting "tilt" of the Dirac equation by applying appropriate electric fields. Therefore, the tilt can be made space-, as well as time-dependent. The border separating the low-field region with under-tilted Dirac fermions from the high-field region with over-tilted Dirac fermions will correspond to a black-hole horizon. In this way, space-time dependent electric fields can be used to design the metric of the resulting space-time felt by electrons and holes satisfying the tilted Dirac equation. Our platform offers a way to generate analogues of gravitational waves by electric fields (instead of mass sources) which can be detected in solid state spectroscopies as waves of enhanced superconducting correlations.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.supr-con gr-qc


title: Dynamic facilitation theory: A statistical mechanics approach to dynamic arrest

abstract: The modeling of supercooled liquids approaching dynamic arrest has a long tradition, which is documented through a plethora of competing theoretical approaches. Here, we review the modeling of supercooled liquids in terms of dynamic "defects", also called excitations or soft spots, that are able to sustain motion. To this end, we consider a minimal statistical mechanics description in terms of active regions with the order parameter related to their typical size. This is the basis for both Adam-Gibbs and dynamical facilitation theory, which differ in their relaxation mechanism as the liquid is cooled: collective motion of more and more particles vs. concerted hierarchical motion over larger and larger length scales. For the latter, dynamic arrest is possible without a growing static correlation length, and we sketch the derivation of a key result: the parabolic law for the structural relaxation time. We critically discuss claims in favor of a growing static length and argue that the resulting scenarios for pinning and dielectric relaxation are in fact compatible with dynamic facilitation.


title: Development of Head-Mounted Projection Displays for Distributed, Collaborative, Augmented Reality Applications

abstract: Distributed systems technologies supporting 3D visualization and social collaboration will be increasing in frequency and type over time. An emerging type of head-mounted display referred to as the head-mounted projection display (HMPD) was recently developed that only requires ultralight optics (i.e., less than 8 g per eye) that enables immersive multiuser, mobile augmented reality 3D visualization, as well as remote 3D collaborations. In this paper a review of the development of lightweight HMPD technology is provided, together with insight into what makes this technology timely and so unique. Two novel emerging HMPD-based technologies are then described: a teleportal HMPD(T-HMPD) enabling face-to-face communication and visualization of shared 3D virtual objects, and a mobile HMPD (M-HMPD) designed for outdoor wearable visualization and communication. Finally, the use of HMPD in medical visualization and training, as well as in infospaces, two applications developed in the ODA and MIND labs respectively, are discussed.


title: Cross Validation for Penalized Quantile Regression with a Case-Weight Adjusted Solution Path

abstract: Cross validation is widely used for selecting tuning parameters in regularization methods, but it is computationally intensive in general. To lessen its computational burden, approximation schemes such as generalized approximate cross validation (GACV) are often employed. However, such approximations may not work well when non-smooth loss functions are involved. As a case in point, approximate cross validation schemes for penalized quantile regression do not work well for extreme quantiles. In this paper, we propose a new algorithm to compute the leave-one-out cross validation scores exactly for quantile regression with ridge penalty through a case-weight adjusted solution path. Resorting to the homotopy technique in optimization, we introduce a case weight for each individual data point as a continuous embedding parameter and decrease the weight gradually from one to zero to link the estimators based on the full data and those with a case deleted. This allows us to design a solution path algorithm to compute all leave-one-out estimators very efficiently from the full-data solution. We show that the case-weight adjusted solution path is piecewise linear in the weight parameter, and using the solution path, we examine case influences comprehensively and observe that different modes of case influences emerge, depending on the specified quantiles, data dimensions and penalty parameter.


title: Development of an analysis to probe the neutrino mass ordering with atmospheric neutrinos using three years of IceCube DeepCore data

abstract: The Neutrino Mass Ordering (NMO) remains one of the outstanding questions in the field of neutrino physics. One strategy to measure the NMO is to observe matter effects in the oscillation pattern of atmospheric neutrinos above $\sim 1\,\mathrm{GeV}$, as proposed for several next-generation neutrino experiments. Moreover, the existing IceCube DeepCore detector can already explore this type of measurement. We present rthe development and application of two independent analyses to search for the signature of the NMO with three years of DeepCore data. These analyses include a full treatment of systematic uncertainties and a statistically-rigorous method to determine the significance for the NMO from a fit to the data. Both analyses show that the dataset is fully compatible with both mass orderings. For the more sensitive analysis, we observe a preference for Normal Ordering with a $p$-value of $p_\mathrm{IO} = 15.3\%$ and $\mathrm{CL}_\mathrm{s}=53.3\%$ for the Inverted Ordering hypothesis, while the experimental results from both analyses are consistent within their uncertainties. Since the result is independent of the value of $\delta_\mathrm{CP}$ and obtained from energies $E_\nu \gtrsim 5\,\mathrm{GeV}$, it is complementary to recent results from long-baseline experiments. These analyses set the groundwork for the future of this measurement with more capable detectors, such as the IceCube Upgrade and the proposed PINGU detector.


title: Global seasonal variations of the near-surface relative humidity levels on present-day Mars

abstract: We investigate the global seasonal variations of near-surface relative humidity and relevant attributes, like temperature and water vapor volume mixing ratio on Mars using calculations from modelled and measurement data. We focus on 2 am local time snapshots to eliminate daily effects related to differences in insolation, and to be able to compare calculations based on modelling data from the LMDZ GCM with the observations of MGS TES. We study the seasonal effects by examining four specific dates in the Martian year, the northern spring equinox, summer solstice, autumn equinox and winter solstice. We identify three specific zones, where the near-surface relative humidity levels are systematically higher than in their vicinity regardless of season. We find that these areas coincide with low thermal inertia features, which control surface temperatures on the planet, and are most likely covered with unconsolidated fine dust with grain sizes less than $\sim$ 40$\mu$m. By comparing the data of relative humidity, temperature and water vapor volume mixing ratio at two different heights (near-surface, $\sim$ 23 m above the surface), we demonstrate that the thermal inertia could play an important role in determining near-surface humidity levels. We also notice that during the night the water vapor levels drop at $\sim$ 4 m above the surface. This, together with the temperature and thermal inertia values, shows that water vapor likely condenses in the near-surface atmosphere and on the ground during the night at the three aforementioned regions. This condensation may be in the form of brines, wettening of the fine grains or deliquescence. This study specifies areas of interest on the surface of present day Mars for the proposed condensation, which may be examined by in-situ measurements in the future.


title: "A Posteriori" Limited High Order and Robust Residual Distribution Schemes for Transient Simulations of Fluid Flows in Gas Dynamics

abstract: In this paper, we propose a novel approximation strategy for time-dependent hyperbolic systems of conservation laws for the Euler system of gas dynamics that aims to represent the dynamics of strong interacting discontinuities. The goal of our method is to allow an approximation with a high-order of accuracy in smooth regions of the flow, while ensuring robustness and a non-oscillatory behaviour in the regions of steep gradients, in particular across shocks. Following the Multidimensional Optimal Order Detection (MOOD) (Clain et al., Journal of Computational Physics 2011; Diot et al., Computer & Fluids 2012) approach, a candidate solution is computed at a next time level via a high-order accurate explicit scheme (Abgrall, Journal of Scientific Computing 2017; Abgrall et al., Computers & Mathematics with Applications 2018). A so-called detector determines if the candidate solution reveals any spurious oscillations or numerical issue and, if so, only the troubled cells are locally recomputed via a more dissipative scheme. This allows to design a family of "a posteriori" limited, robust and positivity preserving, as well as high accurate, non-oscillatory and effective scheme. Among the detecting criteria of the novel MOOD strategy, two different approaches from literature, based on the work of Clain et al. (Journal of Computational Physics 2011), Diot et al. (Computer & Fluids 2012) and of Vilar (Journal of Computational Physics 2019), are investigated. Numerical examples in 1D and 2D, on structured and unstructured meshes, are proposed to assess the effective order of accuracy for smooth flows, the non-oscillatory behaviour on shocked flows, the robustness and positivity preservation on more extreme flows.


title: The basepoint-freeness threshold and syzygies of abelian varieties

abstract: We show how a natural constant introduced by Jiang and Pareschi for a polarized abelian variety encodes information about the syzygies of the section ring of the polarization. As a particular case this gives a quick and characteristic-free proof of Lazarsfeld's conjecture on syzygies of abelian varieties, originally proved by Pareschi in characteristic zero.


title: A spectral method for solving heat and moisture transfer through consolidated porous media

abstract: This work presents an efficient numerical method based on spectral expansions for simulation of heat and moisture diffusive transfers through multilayered porous materials. Traditionally, by using the finite-difference approach, the problem is discretized in time and space domains (Method of lines) to obtain a large system of coupled Ordinary Differential Equations (ODEs), which is computationally expensive. To avoid such a cost, this paper proposes a reduced-order method that is faster and accurate, using a much smaller system of ODEs. To demonstrate the benefits of this approach, tree case studies are presented. The first one considers nonlinear heat and moisture transfer through one material layer. The second case - highly nonlinear - imposes a high moisture content gradient - simulating a rain like condition - over a two-layered domain, while the last one compares the numerical prediction against experimental data for validation purposes. Results show how the nonlinearities and the interface between materials are easily and naturally treated with the spectral reduced-order method. Concerning the reliability part, predictions show a good agreement with experimental results, which confirm robustness, calculation efficiency and high accuracy of the proposed approach for predicting the coupled heat and moisture transfer through porous materials.


title: Perceptual Quality-preserving Black-Box Attack against Deep Learning Image Classifiers

abstract: Deep neural networks provide unprecedented performance in all image classification problems, taking advantage of huge amounts of data available for training. Recent studies, however, have shown their vulnerability to adversarial attacks, spawning an intense research effort in this field. With the aim of building better systems, new countermeasures and stronger attacks are proposed by the day. On the attacker's side, there is growing interest for the realistic black-box scenario, in which the user has no access to the neural network parameters. The problem is to design efficient attacks which mislead the neural network without compromising image quality. In this work, we propose to perform the black-box attack along a low-distortion path, so as to improve both the attack efficiency and the perceptual quality of the adversarial image. Numerical experiments on real-world systems prove the effectiveness of the proposed approach, both in benchmark classification tasks and in key applications in biometrics and forensics.


title: Microwave Tomography with phaseless data on the calcaneus by means of artificial neural networks

abstract: The aim of this study is to use a Multilayer Perceptron (MLP) Artificial Neural Network (ANN) for phaseless imaging the human heel (modeled as a bilayer dielectric media: bone and surrounding tissue) and the calcaneus cross-section size and location using a two dimensional (2D) microwave tomographic array. Computer simulations were performed over 2D dielectric maps inspired by Computed Tomography (CT) images of human heels for training and testing the MLP. A morphometric analysis was performed to account for the scatterer shape influence on the results. A robustness analysis was also conducted in order to study the MLP performance in noisy conditions. The standard deviations of the relative percentage errors on estimating the dielectric properties of the calcaneus bone were relatively high. Regarding the calcaneus surrounding tissue, the dielectric parameters estimations are better, with relative percentage error standard deviations up to $\approx$ 15 %. The location and size of the calcaneus are always properly estimated with absolute error standard deviations up to $\approx $ 3 mm.


title: An LMI Condition for the Robustness of Constant-Delay Linear Predictor Feedback with Respect to Uncertain Time-Varying Input Delays

abstract: This paper discusses the robustness of the constant-delay predictor feedback in the case of an uncertain time-varying input delay. Specifically, we study the stability of the closed-loop system when the predictor feedback is designed based on the knowledge of the nominal value of the time-varying delay. By resorting to an adequate Lyapunov-Krasovskii functional, we derive an LMI-based sufficient condition ensuring the exponential stability of the closed-loop system for small enough variations of the time-varying delay around its nominal value. These results are extended to the feedback stabilization of a class of diagonal infinite-dimensional boundary control systems in the presence of a time-varying delay in the boundary control input.


title: Power-Based Generation Expansion Planning for Flexibility Requirements

abstract: Flexibility requirements are becoming more relevant in power system planning due to the integration of variable Renewable Energy Sources (vRES). In order to consider these requirements Generation Expansion Planning (GEP) models have recently incorporated Unit Commitment (UC) constraints, using traditional energy-based formulations. However, recent studies have shown that energy-based UC formulations overestimate the actual flexibility of the system. Instead, power-based UC models overcome these problems by correctly modeling ramping constraints and operating reserves. This paper proposes a power-based GEP-UC model that improves the existing models. The proposed model optimizes investment decisions on vRES, Energy Storage Systems (ESS), and thermal technologies. In addition, it includes real-time flexibility requirements, and the flexibility provided by ESS, as well as other UC constraints, e.g., minimum up/down times, startup and shutdown power trajectories, network constraints. The results show that power-based model uses the installed investments more effectively than the energy-based models because it more accurately represents flexibility capabilities and system requirements. For instance, the power-based model obtains less investment (6-12%) and yet it uses more efficiently this investment because operating cost is also lower (2-8%) in a real-time validation. We also propose a semi-relaxed power-based GEP-UC model, which is at least 10 times faster than its full-integer version and without significantly losing accuracy in the results (less than 0.2% error).


title: Stochastic Local Interaction Model with Sparse Precision Matrix for Space-Time Interpolation

abstract: The application of geostatistical and machine learning methods based on Gaussian processes to big space-time data is beset by the requirement for storing and numerically inverting large and dense covariance matrices. Computationally efficient representations of space-time correlations can be constructed using local models of conditional dependence which can reduce the computational load. We formulate a stochastic local interaction model for regular and scattered space-time data that incorporates interactions within controlled space-time neighborhoods. The strength of the interaction and the size of the neighborhood are defined by means of kernel functions and adaptive local bandwidths. Compactly supported kernels lead to finite-size local neighborhoods and consequently to sparse precision matrices that admit explicit expression. Hence, the stochastic local interaction model's requirements for storage are modest and the costly covariance matrix inversion is not needed. We also derive a semi-explicit prediction equation and express the conditional variance of the prediction in terms of the diagonal of the precision matrix. For data on regular space-time lattices, the stochastic local interaction model is equivalent to a Gaussian Markov Random Field.


title: Empathic Autonomous Agents

abstract: Identifying and resolving conflicts of interests is a key challenge when designing autonomous agents. For example, such conflicts often occur when complex information systems interact persuasively with humans and are in the future likely to arise in non-human agent-to-agent interaction. We introduce a theoretical framework for an empathic autonomous agent that proactively identifies potential conflicts of interests in interactions with other agents (and humans) by considering their utility functions and comparing them with its own preferences using a system of shared values to find a solution all agents consider acceptable. To illustrate how empathic autonomous agents work, we provide running examples and a simple prototype implementation in a general-purpose programing language. To give a high-level overview of our work, we propose a reasoning-loop architecture for our empathic agent.


title: Arithmetic of higher-dimensional orbifolds and a mixed Waring problem

abstract: We study the density of rational points on a higher-dimensional orbifold $(\mathbb{P}^{n-1},D)$ when $D$ is a $\mathbb{Q}$-divisor involving hyperplanes. This allows us to address a question of Tanimoto about whether the set of rational points on such an orbifold constitutes a thin set. Our approach relies on the Hardy-Littlewood circle method to first study an asymptotic version of Waring's problem for mixed powers. In doing so we make crucial use of the recent resolution of the main conjecture in Vinogradov's mean value theorem, due to Bourgain-Demeter-Guth and Wooley.


title: Twisted sums of $c_0$ and $C(K)$-spaces: A solution to the CCKY problem

abstract: We consider the class of Banach space $Y$ for which $c_0$ admits a nontrivial twisted sum with $Y$. We present a characterization of such space $Y$ in terms of properties of the $weak^\ast$ topology on $Y^\ast$. We prove that under the continuum hypothesis $c_0$ has a nontrivial twisted sum with every space of the form $Y=C(K)$, where $K$ is compact and not metrizable. This gives a consistent positive solution to a problem posed by Cabello, Castillo, Kalton and Yost.


title: Differential Forms on Hyperelliptic Curves with Semistable Reduction

abstract: Let $C$ be a hyperelliptic curve over a local field $K$ with odd residue characteristic, defined by some affine Weierstrass equation $y^2=f(x)$. We assume that $C$ has semistable reduction and denote by $\mathcal{X} \rightarrow \textrm{Spec}\, \mathcal{O}_K$ its minimal regular model with relative dualizing sheaf $\omega_{\mathcal{X}/ \mathcal{O}_K}$. We show how to directly read off a basis for $H^0(\mathcal{X},\omega_{\mathcal{X}/\mathcal{O}_K})$ from the cluster picture of the roots of $f$. Furthermore we give a formula for the valuation of $\lambda$ such that $\lambda \cdot \frac{dx}{y} \land \dots \land x^{g-1}\frac{dx}{y}$ is a generator for $\det H^0(\mathcal{X},\omega_{\mathcal{X}/\mathcal{O}_K})$.


title: Counting basic-irreducible factors mod $p^k$ in deterministic poly-time and $p$-adic applications

abstract: Finding an irreducible factor, of a polynomial $f(x)$ modulo a prime $p$, is not known to be in deterministic polynomial time. Though there is such a classical algorithm that {\em counts} the number of irreducible factors of $f\bmod p$. We can ask the same question modulo prime-powers $p^k$. The irreducible factors of $f\bmod p^k$ blow up exponentially in number; making it hard to describe them. Can we count those irreducible factors $\bmod~p^k$ that remain irreducible mod $p$? These are called {\em basic-irreducible}. A simple example is in $f=x^2+px \bmod p^2$; it has $p$ many basic-irreducible factors. Also note that, $x^2+p \bmod p^2$ is irreducible but not basic-irreducible! We give an algorithm to count the number of basic-irreducible factors of $f\bmod p^k$ in deterministic poly(deg$(f),k\log p$)-time. This solves the open questions posed in (Cheng et al, ANTS'18 \& Kopp et al, Math.Comp.'19). In particular, we are counting roots $\bmod\ p^k$; which gives the first deterministic poly-time algorithm to compute Igusa zeta function of $f$. Also, our algorithm efficiently partitions the set of all basic-irreducible factors (possibly exponential) into merely deg$(f)$-many disjoint sets, using a compact tree data structure and {\em split} ideals.


title: Optimization of Undulator Parameters for 125 GeV Drive Beam

abstract: In the baseline design of the International Linear Collider (ILC) an undulator-based source is foreseen for the positron source in order to match the physics requirements. The baseline parameters are optimized for the ILC at sqrt(s)=500 GeV, that means an electron drive beam of 250 GeV. Precision measurements in the Higgs sector, however, require measurements at sqrt(s)=250 GeV, i.e. running with the electron drive beam only at 125 GeV, which imposes a challenge for achieving a high yield. Therefore the baseline undulator parameters have to be optimized as much as possible within their technical performances. In this bachelor thesis we therefore present a theoretical study on the radiation spectra of a helical undulator, based on the equation for the radiated synchrotron energy spectral density per solid angle per electron in the relativistic, far-field and point-like charge approximation. From this starting point the following undulator properties are examined: the deposited power in the undulator vessel, which can disrupt the functionality of the undulator magnets, the protective property of a mask on this disturbances and the number of positrons produced by the synchrotron radiation in a Ti6Al4V target. Those quantities were evaluated for various values for parameters as undulator period, undulator length and magnetic flux in order to find optimal baseline parameter sets for sqrt(s)=250 GeV.


title: Biophysics at the coffee shop: lessons learned working with George Oster

abstract: Over the past 50 years, the use of mathematical models, derived from physical reasoning, to describe molecular and cellular systems has evolved from an art of the few to a cornerstone of biological inquiry. George Oster stood out as a pioneer of this paradigm shift from descriptive to quantitative biology not only through his numerous research accomplishments, but also through the many students and postdocs he mentored over his long career. Those of us fortunate enough to have worked with George agree that his sharp intellect, physical intuition and passion for scientific inquiry not only inspired us as scientists but also greatly influenced the way we conduct research. We would like to share a few important lessons we learned from George in honor of his memory and with the hope that they may inspire future generations of scientists.


title: Integer-Valued Functional Data Analysis for Measles Forecasting

abstract: Measles presents a unique and imminent challenge for epidemiologists and public health officials: the disease is highly contagious, yet vaccination rates are declining precipitously in many localities. Consequently, the risk of a measles outbreak continues to rise. To improve preparedness, we study historical measles data both pre- and post-vaccine, and design new methodology to forecast measles counts with uncertainty quantification. We propose to model the disease counts as an integer-valued functional time series: measles counts are a function of time-of-year and time-ordered by year. The counts are modeled using a negative-binomial distribution conditional on a real-valued latent process, which accounts for the overdispersion observed in the data. The latent process is decomposed using an unknown basis expansion, which is learned from the data, with dynamic basis coefficients. The resulting framework provides enhanced capability to model complex seasonality, which varies dynamically from year-to-year, and offers improved multi-month ahead point forecasts and substantially tighter forecast intervals (with correct coverage) compared to existing forecasting models. Importantly, the fully Bayesian approach provides well-calibrated and precise uncertainty quantification for epi-relevent features, such as the future value and time of the peak measles count in a given year. An R package is available online.


title: Mean and variance of first passage time in Markov chains with unknown parameters

abstract: There are known expressions to calculate the moments of the first passage time in Markov chains. Nevertheless, it is commonly forgotten that in most applications the parameters of the Markov chain are constructed using estimates based upon empirical data and in those cases the data sample size should play an important role in estimating the variance. Here we provide a Monte Carlo approach to estimate the first two moments of the passage time in this situation. We illustrate this method with an example using data from the biological field.


title: The mean conformation tensor in viscoelastic turbulence

abstract: This work demonstrates that the popular arithmetic mean conformation tensor frequently used in the analysis of turbulent viscoelastic flows is not a good representative of the ensemble. Alternative means based on recent developments in the literature are proposed, namely, the geometric and log-Euclidean means. These means are mathematically consistent with the Riemannian structure of the manifold of positive-definite tensors, on which the conformation tensor lives, and have useful properties that make them attractive alternatives to the arithmetic mean. Using a turbulent FENE-P channel flow dataset, it is shown that these two alternatives are physically representative of the ensemble. By definition these means minimize the geodesic distance to realizations and exactly preserve the scalar geometric mean of the volume and of the principal stretches. The proposed geometric and log-Euclidean means have a clear physical interpretation and provide an attractive quantity for turbulence modelling.


title: Estimating and Forecasting the Smoking-Attributable Mortality Fraction for Both Genders Jointly in Over 60 Countries

abstract: Smoking is one of the preventable threats to human health and is a major risk factor for lung cancer, upper aero-digestive cancer, and chronic obstructive pulmonary disease. Estimating and forecasting the smoking attributable fraction (SAF) of mortality can yield insights into smoking epidemics and also provide a basis for more accurate mortality and life expectancy projection. Peto et al. (1992) proposed a method to estimate the SAF using the lung cancer mortality rate as an indicator of exposure to smoking in the population of interest. Here we use the same method to estimate the all-age SAF (ASAF) for both genders for over 60 countries. We document a strong and cross-nationally consistent pattern of the evolution of the SAF over time. We use this as the basis for a new Bayesian hierarchical model to project future male and female ASAF from over 60 countries simultaneously. This gives forecasts as well as predictive distributions that can be used to find uncertainty intervals for any quantities of interest. We assess the model using out-of-sample predictive validation, and find that it provides good forecasts and well calibrated forecast intervals.


title: SMART: Secure Magnetoelectric AntifeRromagnet-Based Tamper-Proof Non-Volatile Memory

abstract: The storage industry is moving toward emerging non-volatile memories (NVMs), including the spin-transfer torque magnetoresistive random-access memory (STT-MRAM) and the phase-change memory (PCM), owing to their high density and low-power operation. In this paper, we demonstrate, for the first time, circuit models and performance benchmarking for the domain wall (DW) reversal-based magnetoelectric-antiferromagnetic random access memory (ME-AFMRAM) at cell-level and at array-level. We also provide perspectives for coherent rotation-based memory switching with topological insulator-driven anomalous Hall read-out. In the coherent rotation regime, the ultra-low power magnetoelectric switching coupled with the terahertz-range antiferromagnetic dynamics result in substantially lower energy-per-bit and latency metrics for the ME-AFMRAM compared to other NVMs including STTMRAM and PCM. After characterizing the novel ME-AFMRAM, we leverage its unique properties to build a dense, on-chip, secure NVM platform, called SMART: A Secure Magnetoelectric Antiferromagnet- Based Tamper-Proof Non-Volatile Memory. New NVM technologies open up challenges and opportunities from a data-security perspective. For example, their sensitivity to magnetic fields and temperature fluctuations, and their data remanence after power-down make NVMs vulnerable to data theft and tampering attacks. The proposed SMART memory is not only resilient against data confidentiality attacks seeking to leak sensitive information but also ensures data integrity and prevents Denial-of-Service (DoS) attacks on the memory. It is impervious to particular power side-channel (PSC) attacks which exploit asymmetric read/write signatures for 0 and 1 logic levels, and photonic side-channel attacks which monitor photo-emission signatures from the chip backside.


title: Critical Density of the Abelian Manna Model via a Multi-type Branching Process

abstract: A multi-type branching process is introduced to mimic the evolution of the avalanche activity and determine the critical density of the Abelian Manna model. This branching process incorporates partially the spatio-temporal correlations of the activity, which are essential for the dynamics, in particular in low dimensions. An analytical expression for the critical density in arbitrary dimensions is derived, which significantly improves the results over mean-field theories, as confirmed by comparison to the literature on numerical estimates from simulations. The method can easily be extended to lattices and dynamics other than those studied in the present work.


title: Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case

abstract: Team Semantics generalizes Tarski's Semantics for First Order Logic by allowing formulas to be satisfied or not satisfied by sets of assignments rather than by single assignments. Because of this, in Team Semantics it is possible to extend the language of First Order Logic via new types of atomic formulas that express dependencies between different assignments. Some of these extensions are much more expressive than First Order Logic proper; but the problem of which atoms can instead be added to First Order Logic without increasing its expressive power is still unsolved. In this work, I provide an answer to this question under the additional assumptions (true of most atoms studied so far) that the dependency atoms are relativizable and non-jumping. Furthermore, I show that the global (or Boolean) disjunction connective can be added to any strongly first order family of dependencies without increasing the expressive power, but that the same is not true in general for non strongly first order dependencies.