title: Thermal Alteration of Labile Elements in Carbonaceous Chondrites

abstract: Carbonaceous chondrite meteorites are some of the oldest Solar System planetary materials available for study. The CI group has bulk abundances of elements similar to those of the solar photosphere. Of particular interest in carbonaceous chondrite compositions are labile elements, which vaporize and mobilize efficiently during post-accretionary parent-body heating events. Thus, they can record low-temperature alteration events throughout asteroid evolution. However, the precise nature of labile-element mobilization in planetary materials is unknown. Here we characterize the thermally induced movements of the labile elements S, As, Se, Te, Cd, Sb, and Hg in carbonaceous chondrites by conducting experimental simulations of volatile-element mobilization during thermal metamorphism. This process results in appreciable loss of some elements at temperatures as low as 500 K. This work builds on previous laboratory heating experiments on primitive meteorites and shows the sensitivity of chondrite compositions to excursions in temperature. Elements such as S and Hg have the most active response to temperature across different meteorite groups. Labile element mobilization in primitive meteorites is essential for quantifying elemental fractionation that occurred on asteroids early in Solar System history. This work is relevant to maintaining a pristine sample from asteroid (101955) Bennu from the OSIRIS-REx mission and constraining the past orbital history of Bennu. Additionally, we discuss thermal effects on surface processes of near-Earth asteroids, including the thermal history of "rock comets" such as (3200) Phaethon. This work is also critical for constraining the concentrations of contaminants in vaporized water extracted from asteroid regolith as part of future in situ resource utilization for sustained robotic and human space exploration.


title: Secondary Radio and X-ray Emissions from Galaxy Mergers

abstract: Shocks arising in galaxy mergers could accelerate cosmic-ray (CR) ions to TeV-PeV energies. While propagating in the intergalactic medium, these CRs can produce high-energy neutrinos, electron-positron pairs and gamma-rays. In the presence of intergalactic magnetic fields, the secondary pairs will radiate observable emissions through synchrotron radiation and inverse Compton scattering. In this paper, we demonstrate that these emissions can explain the radio and X-ray fluxes of merging galaxies such as NGC 660 and NGC 3256. Using our model in combination with the observations, we can constrain the gas mass, shock velocity, magnetic field and the CR spectral index $s$ of these systems. For NGC 660 a single-zone model with a spectral index $2.1\lesssim s\lesssim2.2$ is able to reproduce simultaneously the radio and X-ray observations, while a simple one-zone scenario with $s\sim2$ can describe the radio and a large fraction of X-ray observations of NGC 3256. Our work provides a useful approach for studying the dynamics and physical parameters of galaxy mergers, which can play an important part in future multi-messenger studies of similar and related extragalactic sources.


title: Combined Diffusion-Relaxometry MRI to Identify Dysfunction in the Human Placenta

abstract: Purpose: A combined diffusion-relaxometry MR acquisition and analysis pipeline for in-vivo human placenta, which allows for exploration of coupling between T2* and apparent diffusion coefficient (ADC) measurements in a sub 10 minute scan time. Methods: We present a novel acquisition combining a diffusion prepared spin-echo with subsequent gradient echoes. The placentas of 17 pregnant women were scanned in-vivo, including both healthy controls and participants with various pregnancy complications. We estimate the joint T2*-ADC spectra using an inverse Laplace transform. Results: T2*-ADC spectra demonstrate clear quantitative separation between normal and dysfunctional placentas. Conclusions: Combined T2*-diffusivity MRI is promising for assessing fetal and maternal health during pregnancy. The T2*-ADC spectrum potentially provides additional information on tissue microstructure, compared to measuring these two contrasts separately. The presented method is immediately applicable to the study of other organs.


title: Universal entanglement of typical states in constrained systems

abstract: Local constraints play an important role in the effective description of many quantum systems. Their impact on dynamics and entanglement thermalization are just beginning to be unravelled. We develop a large $N$ diagrammatic formalism to exactly evaluate the bipartite entanglement of random pure states in large constrained Hilbert spaces. The resulting entanglement spectra may be classified into `phases' depending on their singularities. Our closed solution for the spectra in the simplest class of constraints reveals a non-trivial phase diagram with a Marchenko-Pastur (MP) phase which terminates in a critical point with new singularities. The much studied Rydberg-blockaded/Fibonacci chain lies in the MP phase with a modified Page correction to the entanglement entropy, $\Delta S_1 = 0.513595\cdots$. Our results predict the entanglement of infinite temperature eigenstates in thermalizing constrained systems and provide a baseline for numerical studies.

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


title: Seeing Beyond Appearance - Mapping Real Images into Geometrical Domains for Unsupervised CAD-based Recognition

abstract: While convolutional neural networks are dominating the field of computer vision, one usually does not have access to the large amount of domain-relevant data needed for their training. It thus became common to use available synthetic samples along domain adaptation schemes to prepare algorithms for the target domain. Tackling this problem from a different angle, we introduce a pipeline to map unseen target samples into the synthetic domain used to train task-specific methods. Denoising the data and retaining only the features these recognition algorithms are familiar with, our solution greatly improves their performance. As this mapping is easier to learn than the opposite one (ie to learn to generate realistic features to augment the source samples), we demonstrate how our whole solution can be trained purely on augmented synthetic data, and still perform better than methods trained with domain-relevant information (eg real images or realistic textures for the 3D models). Applying our approach to object recognition from texture-less CAD data, we present a custom generative network which fully utilizes the purely geometrical information to learn robust features and achieve a more refined mapping for unseen color images.


title: Nematic superconductivity stabilized by density wave fluctuations: Possible application to twisted bilayer graphene

abstract: Nematic superconductors possess unconventional superconducting order parameters that spontaneously break rotational symmetry of the underlying crystal. In this work we propose a mechanism for nematic superconductivity stabilized by strong density wave fluctuations in two dimensions. While the weak-coupling theory finds the fully gapped chiral state to be energetically stable, we show that strong density wave fluctuations result in an additional contribution to the free energy of a superconductor with multicomponent order parameters, which generally favors nematic superconductivity. Our theory shades light on the recent observation of rotational symmetry breaking in the superconducting state of twisted bilayer graphene.


title: Optimized Gated Deep Learning Architectures for Sensor Fusion

abstract: Sensor fusion is a key technology that integrates various sensory inputs to allow for robust decision making in many applications such as autonomous driving and robot control. Deep neural networks have been adopted for sensor fusion in a body of recent studies. Among these, the so-called netgated architecture was proposed, which has demonstrated improved performances over the conventional convolutional neural networks (CNN). In this paper, we address several limitations of the baseline negated architecture by proposing two further optimized architectures: a coarser-grained gated architecture employing (feature) group-level fusion weights and a two-stage gated architectures leveraging both the group-level and feature level fusion weights. Using driving mode prediction and human activity recognition datasets, we demonstrate the significant performance improvements brought by the proposed gated architectures and also their robustness in the presence of sensor noise and failures.


title: A Note On the Size of Largest Bins Using Placement With Linear Transformations

abstract: We study the placement of n balls into n bins where balls and bins are represented as two vector spaces over Z 2 . The placement is done according to a linear transformation between the two vector spaces. We analyze the expected size of a largest bin. The only currently known upper bound is O(log n log log n) by Alon et al. and holds for placing n log n balls into n bins. We show that this bound can be improved to O(log n) in the case when n balls are placed into n bins. We use the same basic technique as Alon et al. but give a tighter analysis for this case.


title: A Bidomain Model for Lens Microcirculation

abstract: There exists a large body of research on the lens of mammalian eye over the past several decades. The objective of the current work is to provide a link between the most recent computational models to some of the pioneering work in the 1970s and 80s. We introduce a general non-electro-neutral model to study the microcirculation in lens of eyes. It describes the steady state relationships among ion fluxes, water flow and electric field inside cells, and in the narrow extracellular spaces between cells in the lens. Using asymptotic analysis, we derive a simplified model based on physiological data and compare our results with those in the literature. We show that our simplified model can be reduced further to the first generation models while our full model is consistent with the most recent computational models. In addition, our simplified model captures the main features of the full model. Our results serve as a useful link intermediate between the computational models and the first generation analytical models.


title: Convergence analysis of fixed stress split iterative scheme for small strain anisotropic poroelastoplasticity: a primer

abstract: This work serves as a primer to our efforts in arriving at convergence estimates for the fixed stress split iterative scheme for single phase flow coupled with small strain anisotropic poroelastoplasticity. The fixed stress split iterative scheme solves the flow subproblem with stress tensor fixed using a mixed finite element method, followed by the poromechanics subproblem using a conforming Galerkin method in every coupling iteration at each time step. The coupling iterations are repeated until convergence and Backward Euler is employed for time marching. The convergence analysis is based on studying the equations satisfied by the difference of iterates to show that the iterative scheme is contractive.


title: Optimal Regulation of Blood Glucose Level in Type I Diabetes using Insulin and Glucagon

abstract: The Glucose-Insulin-Glucagon nonlinear model [1-4] accurately describes how the body responds to exogenously supplied insulin and glucagon in patients affected by Type I diabetes. Based on this model, we design infusion rates of either insulin (monotherapy) or insulin and glucagon (dual therapy) that can optimally maintain the blood glucose level within desired limits after consumption of a meal and prevent the onset of both hypoglycemia and hyperglycemia. This problem is formulated as a nonlinear optimal control problem, which we solve using the numerical optimal control package PSOPT. Interestingly, in the case of monotherapy, we find the optimal solution is close to the standard method of insulin based glucose regulation, which is to assume a variable amount of insulin half an hour before each meal. We also find that the optimal dual therapy (that uses both insulin and glucagon) is better able to regulate glucose as compared to using insulin alone. We also propose an ad-hoc rule for both the dosage and the time of delivery of insulin and glucagon.


title: On the Statistics of Urban Street Networks

abstract: We investigate urban street networks as a whole within the frameworks of information physics and statistical physics. Urban street networks are envisaged as evolving social systems subject to a logarithmical entropic equilibrium.


title: Representations and primitive central idempotents of a finite solvable group

abstract: Let $G$ be a finite solvable group. Then $G$ always has a useful presentation, which we call a "long presentation". Using a "long presentation" of $G$, we present an inductive method of constructing the irreducible representations of $G$ over $\mathbb{C}$ and computing the primitive central idempotents of the complex group algebra $\mathbb{C}[G]$. For a finite abelian group, we present a systematic method of constructing the irreducible representations over a field of characteristic either $0$ or prime to order of the group and also a systematic method of computing the primitive central idempotents of the semisimple abelian group algebra.


title: Caracterizaci\'on Formal y An\'alisis Emp\'irico de Mecanismos Incrementales de B\'usqueda basados en Contexto

abstract: The Web has become a potentially infinite information resource, turning into an essential tool for many daily activities. This resulted in an increase in the amount of information available in users' contexts that is not taken into account by current information retrieval systems. This thesis proposes a semisupervised information retrieval technique that helps users to recover context relevant information. The objective of the proposed technique is to reduce the vocabulary gap existing between the knowledge a user has about a specific topic and the relevant documents available in the Web. This thesis presents a method for learning novel terms associated with a thematic context. This is achieved by identifying those terms that are good descriptors and good discriminators of the user's current thematic context. In order to evaluate the proposed method, a theoretical framework for the evaluation of search mechanisms was developed. This served as a guide for the implementation of an evaluation framework that allowed to compare the techniques proposed in this thesis with other techniques existing in the literature. The experimental evidence indicates that the methods proposed in this thesis present significant improvements over previously published techniques. In addition, the evaluation framework was equipped with novel evaluation metrics that favor the exploration of novel material and incorporates a semantic relationship metric between documents. The algorithms developed in this thesis evolve high quality queries, which have the capability of retrieving results that are relevant to the user context. These results have a positive impact on the way users interact with available resources.


title: $\eta$ Carinae: particle acceleration and multi-messenger aspects

abstract: $\eta$ Carinae is composed of two very massive stars orbiting each other in 5.5 years. The primary star features the densest known stellar wind, colliding with that expelled by its companion. The wind collision region dissipates energy and accelerate particles up to relativistic energies, producing non thermal X- and $\gamma$-ray emission detected by Beppo-SAX, INTEGRAL, Swift, Suzaku, Agile, Fermi and H.E.S.S.. The orbital variability of the system provides key diagnostic on the physics involved and on the emission mechanisms. The low-energy component, which cuts off below 10 GeV and varies by a factor < 2 along the orbit, is likely of inverse Compton origin. The high energy component varies by larger factors and differently during the two periastrons observed by Fermi. These variations match the predictions of simula- tions assuming a magnetic field in the range 0.4-1 kG at the surface of the primary star. The high-energy component and the thermal X-ray emission were weaker than expected around the 2014 periastron suggesting a modification of the inner wind density. Diffuse shock acceleration in the complex geometry of the wind collision zone provides a convincing match to the observations and new diagnostic tools to probe the geometry and energetics of the system. A future instrument sensitive in the MeV energy range could discriminate between lepto-hadronic and hadronic models for the gamma-ray emission. At higher energies, the Cherenkov Telescope Array will distinguish orbital modulations of the high-energy component from these of ultraviolet-TeV photo absorption providing a wealth of information constraining acceleration physics in more extreme conditions than found in SNR.


title: 5d and 6d SCFTs Have No Weak Coupling Limit

abstract: We prove that there does not exist any weak coupling limit in the space of superconformal field theories in five and six dimensions, based on an analysis of the representation theory of the corresponding superconformal algebras. Holographically, this implies that superstring theories on AdS$_6$ and AdS$_7$ do not admit tensionless limits. Finally, we discuss the implications of our result on the existence of an action for coincident M5-branes.


title: AGN evolution from galaxy evolution viewpoint - II

abstract: In order to relate the observed evolution of the galaxy stellar mass function and the luminosity function of active galactic nuclei (AGN), we explore a co-evolution scenario in which AGN are associated only with the very last phases of the star-forming life of a galaxy. We derive analytically the connections between the parameters of the observed quasar luminosity functions and galaxy mass functions. The $(m_{\rm bh}/m_{*})_{Qing}$ associated with quenching is given by the ratio of the global black hole accretion rate density (BHARD) and star-formation rate density (SFRD) at the epoch in question. Observational data on the SFRD and BHARD suggests $(m_{\rm bh}/m_{*})_{Qing} \propto (1+z)^{1.5}$ below redshift 2. This evolution reproduces the observed mass-luminosity plane of SDSS quasars, and also reproduces the local $m_{\rm bh}/m_{*}$ relation in passive galaxies. The characteristic Eddington ratio, $\lambda^*$, is derived from both the BHARD/SFRD ratio and the evolving $L^*$ of the AGN population. This increases up to $z \sim 2$ as $\lambda^* \propto (1+z)^{2.5}$ but at higher redshifts, $\lambda^*$ stabilizes at the physically interesting Eddington limit, $\lambda^* \sim 1$. The new model may be thought of as an opposite extreme to our earlier co-evolution scenario in Caplar et al. 2015. The main observable difference between the two co-evolution scenarios, presented here and in Caplar et al. 2015, is in the active fraction of low mass star-forming galaxies. We compare the predictions with the data from deep multi-wavelength surveys and find that the "quenching" scenario developed in the current paper is much to be preferred.


title: Determination of the pole position of the lightest hybrid meson candidate

abstract: Mapping states with explicit gluonic degrees of freedom in the light sector is a challenge, and has led to controversies in the past. In particular, the experiments have reported two different hybrid candidates with spin-exotic signature, pi1(1400) and pi1(1600), which couple separately to eta pi and eta' pi. This picture is not compatible with recent Lattice QCD estimates for hybrid states, nor with most phenomenological models. We consider the recent partial wave analysis of the eta(') pi system by the COMPASS collaboration. We fit the extracted intensities and phases with a coupled-channel amplitude that enforces the unitarity and analyticity of the S-matrix. We provide a robust extraction of a single exotic pi1 resonant pole, with mass and width 1564 +- 24 +- 86 MeV and 492 +- 54 +- 102 MeV, which couples to both eta(') pi channels. We find no evidence for a second exotic state. We also provide the resonance parameters of the a2(1320) and a2'(1700).


title: Probing Cosmic Strings with Gravitational-Wave Fringe

abstract: Cosmic strings are important remnants of early-Universe phase transitions. We show that they can be probed by Gravitational Waves (GWs) from compact binary mergers. If such chirping GW passes by a cosmic string, it is gravitationally lensed and left with a characteristic signal of the lensing -- the GW fringe. It is observable naturally through the frequency chirping of GWs. This allows to probe cosmic strings with small tension $\Delta = 8\pi G \mu = 10^{-6} \text{ -- } 10^{-10}$, just below the current constraint, at high-frequency LIGO-band and mid-band detectors. Although its detection rates are estimated to be small, even a single detection can be used to identify a cosmic string. Contrary to the stochastic GW produced from loop decays only in local $U(1)$ models, the GW fringe can directly probe straight strings model independently. This is also complementary to the existing probes with the strong lensing of light.


title: The Impact of Radio AGN Bubble Composition on the Dynamics and Thermal Balance of the Intracluster Medium

abstract: Feeding and feedback of active galactic nuclei (AGN) are critical for understanding the dynamics and thermodynamics of the intracluster medium (ICM) within the cores of galaxy clusters. While radio bubbles inflated by AGN jets could be dynamically supported by cosmic rays (CRs), the impact of CR-dominated jets are not well understood. In this work, we perform three-dimensional simulations of CR-jet feedback in an isolated cluster atmosphere; we find that CR jets impact the multiphase gas differently than jets dominated by kinetic energy. In particular, CR bubbles can more efficiently uplift the cluster gas and cause an outward expansion of the hot ICM. Due to adiabatic cooling from the expansion and less efficient heating from CR bubbles by direct mixing, the ICM is more prone to local thermal instabilities, which will later enhance chaotic cold accretion onto the AGN. The amount of cold gas formed during the bubble formation and its late-time evolution sensitively depend on whether CR transport processes are included or not. We also find that low-level, subsonic driving of turbulence by AGN jets holds for both kinetic and CR jets; nevertheless, the kinematics is consistent with the Hitomi measurements. Finally, we carefully discuss the key observable signatures of each bubble model, focusing on gamma-ray emission (and related comparison with Fermi), as well as thermal Sunyaev-Zel'dovich constraints.


title: Classical emulation of quantum-coherent thermal machines

abstract: The performance enhancements observed in various models of continuous quantum thermal machines have been linked to the buildup of coherences in a preferred basis. But, is this connection always an evidence of `quantum-thermodynamic supremacy'? By force of example, we show that this is not the case. In particular, we compare a power-driven three-level continuous quantum refrigerator with a four-level combined cycle, partly driven by power and partly by heat. We focus on the weak driving regime and find the four-level model to be superior since it can operate in parameter regimes in which the three-level model cannot, it may exhibit a larger cooling rate, and, simultaneously, a better coefficient of performance. Furthermore, we find that the improvement in the cooling rate matches the increase in the stationary quantum coherences exactly. Crucially, though, we also show that the thermodynamic variables for both models follow from a classical representation based on graph theory. This implies that we can build incoherent stochastic-thermodynamic models with the same steady-state operation or, equivalently, that both coherent refrigerators can be emulated classically. More generally, we prove this for any N-level weakly driven device with a `cyclic' pattern of transitions. Therefore, even if coherence is present in a specific quantum thermal machine, it is often not essential to replicate the underlying energy conversion process.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech math-ph math.MP


title: How to Characterize the Atmosphere of a Transiting Exoplanet

abstract: This tutorial is an introduction to techniques used to characterize the atmospheres of transiting exoplanets. We intend it to be a useful guide for the undergraduate, graduate student, or postdoctoral scholar who wants to begin research in this field, but who has no prior experience with transiting exoplanets. We begin with a discussion of the properties of exoplanetary systems that allow us to measure exoplanetary spectra, and the principles that underlie transit techniques. Subsequently, we discuss the most favorable wavelengths for observing, and explain the specific techniques of secondary eclipses and eclipse mapping, phase curves, transit spectroscopy, and convolution with spectral templates. Our discussion includes factors that affect the data acquisition, and also a separate discussion of how the results are interpreted. Other important topics that we cover include statistical methods to characterize atmospheres such as stacking, and the effects of stellar activity. We conclude by projecting the future utility of large-aperture observatories such as the James Webb Space Telescope and the forthcoming generation of extremely large ground-based telescopes.


title: r-process enrichment of ultra-faint dwarf galaxies by fast merging double neutron stars

abstract: The recent aLIGO/aVirgo discovery of gravitational waves from the neutron star merger (NSM) GW170817 and the follow up kilonova observations have shown that NSMs produce copious amount of r-process material. However, it is difficult to reconcile the large natal kicks and long average merging times of Double Neutron Stars (DNSs), with the levels of r-process enrichment seen in ultra faint dwarf (UFD) galaxies such as Reticulum II and Tucana III. Assuming that such dwarf systems have lost a significant fraction of their stellar mass through tidal stripping, we conclude that contrary to most current models, it is the DNSs with rather large natal kicks but very short merging timescales that can enrich UFD-type galaxies. These binaries are either on highly eccentric orbits, or form with very short separations due to an additional mass-transfer between the first-born neutron star and a naked helium star, progenitor of the second-born neutron star. These DNSs are born with a frequency that agrees with the statistics of the r-process UFDs, and merge well within the virial radius of their host halos, therefore contributing significantly to their r-process enrichment.


title: Coupled axisymmetric pulsar magnetospheres

abstract: We present solutions of force-free pulsar magnetospheres coupled with a uniform external magnetic field aligned with the dipole magnetic moment of the pulsar. The inclusion of the uniform magnetic field has the following consequences: The equatorial current sheet is truncated to a finite length, the fraction of field lines that are open increases, and the open field lines are confined within a cylindrical surface instead of becoming radial. A strong external magnetic field antiparallel to the dipole allows for solutions where the pulsar magnetic field is fully enclosed within an ellipsoidal surface. Configurations of fully enclosed or confined magnetospheres may appear in a double neutron star (DNS) where one of the components is a slowly rotating, strongly magnetised pulsar and the other a weakly magnetised millisecond pulsar. Depending on the geometry, twisted field lines from the millisecond pulsar could form an asymmetric wind. More dramatic consequences could appear closer to merger: there, the neutron star with the weaker magnetic field may undergo a stage where it alternates between an open and a fully enclosed magnetosphere releasing up $10^{38}$erg. Under favourable combinations of magnetic fields DNSs can spend up to 10$^3$ yr in the coupled phase, implying a Galactic population of $0.02$ systems. Potential observational signatures of this interaction are discussed including the possibility of powering recurring Fast Radio Bursts (FRBs). We also note that the magnetic interaction cannot have any significant effect on the spin evolution of the two pulsars.


title: Solving efficiently the dynamics of many-body localized systems at strong disorder

abstract: We introduce a method to efficiently study the dynamical properties of many-body localized systems in the regime of strong disorder and weak interactions. Our method reproduces qualitatively and quantitatively the real-time evolution with a polynomial effort in system size and independent of the desired time scales. We use our method to study quantum information propagation, correlation functions, and temporal fluctuations in one- and two-dimensional MBL systems. Moreover, we outline strategies for a further systematic improvement of the accuracy and we point out relations of our method to recent attempts to simulate the real-time dynamics of quantum many-body systems in classical or artificial neural networks.


title: Probing the dynamical state, baryon content, and multiphase nature of galaxy clusters with bright background QSOs

abstract: We have initiated a programme to study the physical/dynamical state of gas in galaxy clusters and the impact of the cluster environment on gaseous halos of individual galaxies using X-ray imaging and UV absorption line spectroscopy of background QSOs. Here we report results from the analysis Chandra and XMM-Newton archival data of five galaxy clusters with such QSOs, one of which has an archival UV spectrum. We characterize the gravitational masses and dynamical states, as well as the hot intracluster medium (ICM) properties of these clusters. Most clusters are dynamically disturbed clusters based on the X-ray morphology parameters, the X-ray temperature profiles, the large offset between X-ray peak and brightest cluster galaxy (BCG). The baryon contents in the hot ICM and stars of these clusters within $r_{500}$ are lower than the values expected from the gravitational masses, according to the standard cosmology. We also estimate column densities of the hot ICM along the sightlines toward the background QSOs as well as place upper limits on the warm-hot phase for the one sightline with existing UV observations. These column densities, compared with those of the warm and warm-hot ICM to be measured with UV absorption line spectroscopy, will enable us to probe the relationship among various gaseous phases and their connection to the heating/cooling and dynamical processes of the clusters. Furthermore, our analysis of the archival QSO spectrum probing one cluster underscores the need for high quality, targeted UV observations to robustly constrain the 10$^{5-6}$ K gas phase.


title: A unified numerical approach to semiconductor-superconductor heterostructures

abstract: We develop a unified numerical approach for modeling semiconductor-superconductor heterostructures. Our approach takes into account on equal footing important key ingredients: proximity-induced superconductivity, orbital and Zeeman effect of an applied magnetic field, spin-orbit coupling as well as the electrostatic environment. As a model system, we consider indium arsenide (InAs) nanowires with epitaxial aluminum (Al) shell and demonstrate qualitative agreement of the obtained results with the existing experimental data. Finally, we characterize the topological superconducting phase emerging in a finite magnetic field and calculate the corresponding topological phase diagram.


title: Spectro-astrometry of the pre-transitional star LkCa 15 does not reveal an accreting planet but extended H$\alpha$ emission

abstract: (Abridged) The detection of forming planets in disks around young stars remains elusive, and state-of-the-art observational techniques provide somewhat ambiguous results. It has been reported that the pre-transitional T Tauri star LkCa 15 could host three planets; candidate planet b is in the process of formation, as inferred from its H$\alpha$ emission. However, a more recent work casts doubts on the planetary nature of the previous detections. We have observed LkCa 15 with ISIS/WHT. The spectrograph's slit was oriented towards the last reported position of LkCa 15 b (parallel direction) and 90degr from that (perpendicular). The photocenter and full width half maximum (FWHM) of the Gaussians fitting the spatial distribution at H$\alpha$ and the adjacent continuum were measured. A well-known binary (GU CMa) was used as a calibrator to test the spectro-astrometric performance of ISIS/WHT, recovering consistent photocenter and FWHM signals. However, the photocenter shift predicted for LkCa 15 b is not detected, but the FWHM in H$\alpha$ is broader than in the continuum for both slit positions. Our simulations show that the photocenter and FWHM observations cannot be explained simultaneously by an accreting planet. In turn, both spectro-astrometric observations are naturally reproduced from a roughly symmetric Halpha emitting region centered on the star and extent comparable to the orbit originally attributed to the planet at several au. The extended H$\alpha$ emission around LkCa 15 could be related to a variable disk wind, but additional multi-epoch data and detailed modeling are necessary to understand its physical nature. Spectro-astrometry in H$\alpha$ is able to test the presence of accreting planets and can be used as a complementary technique to survey planet formation in circumstellar disks.


title: Suppression of Qubit Crosstalk in a Tunable Coupling Superconducting Circuit

abstract: Parasitic crosstalk in superconducting quantum devices is a leading limitation for quantum gates. We demonstrate the suppression of static ZZ crosstalk in a two-qubit, two-coupler superconducting circuit, where the frequency of a tunable coupler can be adjusted such that the ZZ interaction from each coupler destructively interfere. We verify the crosstalk elimination with simultaneous randomized benchmarking, and use a parametrically activated iSWAP interaction to achieve a Bell state preparation fidelity of 98.5% and a $\sqrt{\textrm{iSWAP}}$ gate fidelity of 94.8% obtained via quantum process tomography.


title: Diagnosing phases of magnetic insulators via noise magnetometry with spin qubits

abstract: Two-dimensional magnetic insulators exhibit a plethora of competing ground states, such as ordered (anti)ferromagnets, exotic quantum spin liquid states with topological order and anyonic excitations, and random singlet phases emerging in highly disordered frustrated magnets. Here we show how single spin qubits, which interact directly with the low-energy excitations of magnetic insulators, can be used as a diagnostic of magnetic ground states. Experimentally tunable parameters, such as qubit level splitting, sample temperature, and qubit-sample distance, can be used to measure spin correlations with energy and wavevector resolution. Such resolution can be exploited, for instance, to distinguish between fractionalized excitations in spin liquids and spin waves in magnetically ordered states, or to detect anyonic statistics in gapped systems.


title: Constraining astrophysical observables of Galaxy and Supermassive Black Hole Binary Mergers using Pulsar Timing Arrays

abstract: We present an analytic model to describe the supermassive black hole binary (SMBHB) merger rate in the Universe with astrophysical observables: galaxy stellar mass function, pair fraction, merger timescale and black hole - host galaxy relations. We construct observational priors and compute the allowed range of the characteristic spectrum $h_c$ of the gravitational wave background (GWB) to be $10^{-16}<h_c<10^{-15}$ at a frequency of $f=1/{\rm yr}$. We exploit our parametrization to tackle the problem of astrophysical inference from Pulsar Timing Array (PTA) observations. We simulate a series of upper limits and detections and use a nested sampling algorithm to explore the parameter space. Corroborating previous results, we find that the current PTA non-detection does not place significant constraints on any observables; however, either future upper limits or detections will significantly enhance our knowledge of the SMBHB population. If a GWB is not detected at a level of $h_c(f=1/{\rm yr})=10^{-17}$, our current understanding of galaxy and SMBHB mergers is disfavoured at a $5\sigma$ level, indicating a combination of severe binary stalling, over-estimating of the SMBH -- host galaxy relations, and extreme dynamical properties of merging SMBHBs. Conversely, future detections of a Square Kilometre Array (SKA)-type array will allow to constrain the normalization of the SMBHB merger rate in the Universe, the time between galaxy pairing and SMBHB merging, the normalization of the SMBH -- host galaxy relations and the dynamical binary properties, including their eccentricity and density of stellar environment.


title: A Study of Quantum Field Theories in AdS at Finite Coupling

abstract: We study the $O(N)$ and Gross-Neveu models at large $N$ on AdS$_{d+1}$ background. Thanks to the isometries of AdS, the observables in these theories are constrained by the SO$(d,2)$ conformal group even in the presence of mass deformations, as was discussed by Callan and Wilczek, and provide an interesting two-parameter family of quantities which interpolate between the S-matrices in flat space and the correlators in CFT with a boundary. For the actual computation, we judiciously use the spectral representation to resum loop diagrams in the bulk. After the resummation, the AdS $4$-particle scattering amplitude is given in terms of a single unknown function of the spectral parameter. We then "bootstrap" the unknown function by requiring the absence of double-trace operators in the boundary OPE. Our results are at leading nontrivial order in $\frac{1}{N}$, and include the full dependence on the quartic coupling, the mass parameters, and the AdS radius. In the bosonic $O(N)$ model we study both the massive phase and the symmetry-breaking phase, which exists even in AdS$_2$ evading Coleman's theorem, and identify the AdS analogue of a resonance in flat space. We then propose that symmetry breaking in AdS implies the existence of a conformal manifold in the boundary conformal theory. We also provide evidence for the existence of a critical point with bulk conformal symmetry, matching existing results and finding new ones for the conformal boundary conditions of the critical theories. For the Gross-Neveu model we find a bound state, which interpolates between the familiar bound state in flat space and the displacement operator at the critical point.


title: Baryon-induced dark matter cores in the EAGLE simulations

abstract: We examine the formation of dark matter (DM) cores in dwarf galaxies simulated with the EAGLE model of galaxy formation. As in earlier work, we find that the star formation (SF) gas density threshold ($\rho_{\rm th}$) plays a critical role. At low thresholds (LT), gas is unable to reach densities high enough to dominate the gravitational potential before being dispersed by feedback from supernovae. LT runs show little effect on the inner DM profile, even in systems with extended and bursty SF, two ingredients often cited as critical for core formation. For higher thresholds, gas is able to dominate the gravitational potential before being ejected by feedback. This can lead to a substantial reduction in the inner DM content, but only if the gas is gravitationally important over an extended period of time, allowing the halo to contract before gas removal. Rapid assembly and removal of gas in short SF bursts is less effective at altering the inner DM content. Subsequent gas accretion may draw DM back in and reform a cusp, unless SF is bursty enough to prevent it, preserving the core. Thus, for the EAGLE SF+feedback model, there is no simple relation between core formation and SF history, contrary to recent claims. The dependence of the inner DM content of dwarfs on $\rho_{\rm th}$ hinders robust predictions and the interpretation of observations. A simulation of a $(12 \rm \ Mpc)^3$ volume with high $\rho_{\rm th}$ results in dwarfs with sizeable cores over a limited halo mass range, but with insufficient variety in mass profiles to explain the observed diversity of dwarf galaxy rotation curves.


title: Red Supergiants in the JWST Era. I: Near-IR Photometric Diagnostics

abstract: The Near Infrared Camera (NIRCam) on the James Webb Space Telescope (JWST) will be an incredibly powerful instrument for studying red supergiants (RSGs). The high luminosities and red peak wavelengths of these stars make them ideal targets for JWST/NIRCam. With effective photometric diagnostics in place, imaging RSG populations in multiple filters will make it possible to determine these stars' physical properties and, in cases where JWST pre-explosion imaging is available, to identify RSG supernova progenitors. This paper uses observed and model spectra of Galactic RSGs to simulate JWST/NIRCam near-IR photometry and colors, quantify and test potential diagnostics of effective temperature and bolometric magnitude, and present photometric techniques for separating background RSG and foreground dwarf populations. While results are presented for the full suite of near-IR filters, this work shows that (F070W-F200W) is the JWST/NIRCam color index most sensitive to effective temperature, F090W is the best band for determining bolometric magnitude, and the (F070W-F090W) vs. (F090W-F200W) color-color diagram can be used to separate foreground dwarf and background RSG samples. The combination of these three filters is recommended as the best suite of photometric observations to use when studying RSGs with JWST.


title: The ALMA Detection of Extraplanar 13CO in a Ram-pressure-stripped Galaxy and Its Implication

abstract: NGC 4522 is a Virgo spiral that is currently undergoing active ram pressure stripping. In previous single-dish observations, 12CO emission was detected outside of the stellar disk, some of which coincides with the extraplanar HI gas and H$\alpha$ patches. The extraplanar gas identified in multi-wavelength data makes this galaxy an ideal case to study the impact of pressure due to the cluster medium on the interstellar gas of various phases. In this Letter, we present the high-resolution 12CO(1-0) and 13CO(1-0) data of NGC 4522 obtained using the Atacama Large Millimeter/submillimeter Array (ALMA). In particular, we report here the extraplanar 13CO detection that has never before been seen in ram-pressure-stripped galaxies. As the main donor of 13C in the interstellar medium is evolved stars, the presence of 13CO strongly suggests that heavy elements likely originated from the galactic disk, not from the newly formed stars in situ. Even though it is still inconclusive whether it is stripped in atomic form or as molecules, this study provides evidence for the ram pressure stripping of heavy elements, which can chemically enrich the halo gas, and potentially the intracluster medium, in the case that they are pushed strongly enough to escape the galaxy.


title: Weyl anomaly and the $C$-function in $\lambda$-deformed CFTs

abstract: For a general $\lambda$-deformation of current algebra CFTs we compute the exact Weyl anomaly coefficient and the corresponding metric in the couplings space geometry. By incorporating the exact $\beta$-function found in previous works we show that the Weyl anomaly is in fact the exact Zamolodchikov's $C$-function interpolating between exact CFTs occurring in the UV and in the IR. We provide explicit examples with the anisotropic $SU(2)$ case presented in detail. The anomalous dimension of the operator driving the deformation is also computed in general. Agreement is found with special cases existing already in the literature.


title: Uniform CSP Parameterized by Solution Size is in W[1]

abstract: We show that the uniform Constraint Satisfaction Problem (CSP) parameterized by the size of the solution is in W[1] (the problem is W[1]-hard and it is easy to place it in W[3]). Given a single "free" element of the domain, denoted by $0$, we define the size of an assignment as the number of variables that are mapped to a value other than $0$. Named by Kolaitis and Vardi (2000), uniform CSP means that the input contains the domain and the list of tuples of each relation in the instance. Uniform CSP is polynomial time equivalent to homomorphism problem and also to evaluation of conjunctive queries on relational databases. It also has applications in artificial intelligence. We do not restrict the problem to any (finite or infinite) family of relations. Marx and Bulatov (2014) showed that Uniform CSP restricted to some finite family of relations (thus with a bound on the arity of relations) and over any finite domain is either W[1]-complete or fixed parameter tractable. We then prove that parameterized Subset Sum with weights bounded by $n^k$ is in W[1]. Abboud et al. (2014) have already proved it, but our proof is much shorter and arguably more intuitive. Lastly, we study the weighted CSP over the Boolean Domain, where each variable is assigned a weight, and given a target value, it should be decided if there is a satisfying assignment of size $k$ (the parameter) such that the weight of its $1$-variables adds up to the target value. We prove that if the weights are bounded by $n^k$, then the problem is in W[1]. Our proofs give a nondeterministic RAM program with special properties deciding the problem. First defined by Chen et al. (2005), such programs characterize W[1].


title: Using learning to control artificial avatars in human motor coordination tasks

abstract: Designing artificial cyber-agents able to interact with human safely, smartly and in a natural way is a current open problem in control. Solving such an issue will allow the design of cyber-agents capable of co-operatively interacting with people in order to fulfil common joint tasks in a multitude of different applications. This is particularly relevant in the context of healthcare applications. Indeed, the use has been proposed of artificial agents interacting and coordinating their movements with those of a patient suffering from social or motor disorders. Specifically, it has been shown that an artificial agent exhibiting certain kinematic properties could provide innovative and efficient rehabilitation strategies for these patients. Moreover, it has also been shown that the level of motor coordination is enhanced if these kinematic properties are similar to those of the individual it is interacting with. In this paper we discuss, first, a new method based on Markov Chains to confer "human motor characteristics" on a virtual agent, so as that it can coordinate its motion with that of a target individual while exhibiting specific kinematic properties. Then, we embed such synthetic model in a control architecture based on reinforcement learning to synthesize a cyber-agent able to mimic the behaviour of a specific human performing a joint motor task with one or more individuals.


title: Are We Looking at Neutrino Absorption Spectra at IceCube?

abstract: The observed spectrum of ultrahigh energy neutrinos at IceCube might be indicative of absorption of such neutrinos in ultralight dark matter halos. We point out that various features of this spectrum can be explained by such absorptions. For a light $Z^\prime$-mediated $t$-channel interaction between dark matter and neutrinos, we propose a novel mechanism of absorption of these neutrinos at particular energies. This can save the models of AGN predicting large neutrino flux at energies more than a PeV.


title: Local transversely product singularities

abstract: In the main result of this paper we prove that a codimension one foliation of $\mathbb{P}^n$, which is locally a product near every point of some codimension two component of the singular set, has a Kupka component. In particular, we obtain a generalization of a known result of Calvo Andrade and Brunella about foliations with a Kupka component.


title: Possible detection of gamma rays from Epsilon Eridani

abstract: We use the Fermi-LAT gamma-ray observatory to search for gamma-ray emission from four nearby, debris disk-hosting main sequence stars: $\tau$ Ceti, $\epsilon$ Eridani, Fomalhaut, and Vega. For three stars ($\tau$ Ceti, Fomalhaut, and Vega), we establish upper limits that are consistent with theoretical expectations. For $\epsilon$ Eridani, we find a possible spatially coincident source with a soft energy spectrum of $dN/dE \sim E^{-3.6}$. However, at this stage we are unable to rule out that this emission is due to a more extended feature in the diffuse background. In the interpretation that the emission is due to $\epsilon$ Eridani, the $> 100$ MeV gamma-ray luminosity is $\sim 10^{27}$ erg/s $\simeq 3\times 10^{-7}$ L$_\odot$, which is $\sim 10^{10}$ times the gamma-ray luminosity from the disk of the quiet Sun. We find $\lesssim 2 \sigma$ evidence of source variability over a $\sim 7$ year timescale. In the interpretation that the gamma-ray emission from $\epsilon$ Eridani itself, we consider two possible models: 1) cosmic-ray collisions with solid bodies in the debris disk which extends out $\sim$60 AU from the host star, and 2) emission from the stellar activity. For the former model, assuming a total disk mass consistent with infrared measurements, we find that the size distribution of bodies is steeper than expected for a collisional cascade state. If confirmed as being associated with $\epsilon$ Eridani, this would be the first indication of gamma-ray emission from the vicinity of a main sequence star other than the Sun.


title: Validation of a computer code for the energy consumption of a building, with application to optimal electric bill pricing

abstract: In this paper, we propose a practical Bayesian framework for the calibration and validation of a computer code, and apply it to a case study concerning the energy consumption forecasting of a building. Validation allows to quantify forecasting uncertainties in view of the code's final use. Here we explore the situation where an energy provider promotes new energy contracts for residential buildings, tailored to each customer's needs, and including a guarantee of energy performance. Based on power field measurements, collected from an experimental building cell over a certain time period, the code is calibrated, effectively reducing the epistemic uncertainty affecting some code parameters (here albedo, thermal bridge factor and convective coefficient). Validation is conducted by testing the goodness of fit of the code with respect to field measures, and then by propagating the a posteriori parametric uncertainty through the code, yielding probabilistic forecasts of the average electric power delivered inside the cell over a given time period. To illustrate the benefits of the proposed Bayesian validation framework, we address the decision problem for an energy supplier offering a new type of contract, wherein the customer pays a fixed fee chosen in advance, based on an overall energy consumption forecast. According to Bayesian decision theory, we show how to choose such a fee optimally from the point of view of the supplier, in order to balance short-terms benefits with customer loyalty.


title: Tunable amplification and cooling of a diamond resonator with a microscope

abstract: Controlling the dynamics of mechanical resonators is central to many quantum science and metrology applications. Optomechanical control of diamond resonators is attractive owing to diamond's excellent physical properties and its ability to host electronic spins that can be coherently coupled to mechanical motion. Using a confocal microscope, we demonstrate tunable amplification and damping of a diamond nanomechanical resonator's motion. Observation of both normal mode cooling from room temperature to 80K, and amplification into self--oscillations with $60\,\mu\text{W}$ of optical power is observed via waveguide optomechanical readout. This system is promising for quantum spin-optomechanics, as it is predicted to enable optical control of stress-spin coupling with rates of $\sim$ 1 MHz (100 THz) to ground (excited) states of diamond nitrogen vacancy centers.


title: String Bits and Gluing of Metastring Strips

abstract: In this essay, we review the meta-string formulation proposed by Freidel, Leigh, Minic in a recent paper. Our work focuses on the construction of a closed-string world-sheet from gluing of Nakamura strips. We review the symplectic current formulation for determining the gluing condition for a single strip. We then study the two-strip scenario in a new notation to rigorously derive the boundary equations of motion and finally generalize our result to N -strips. We find the conjugate momenta to the strip separation variable and relate it to the midpoint velocity of a strip. We see the natural evolution of meta-D-branes in meta- string theory from the strip picture. Finally, we motivate and show the connection of the strip picture to the string-bit picture put forward by Klebanov and Susskind and conjecture the relation to the Chan-Paton factors.


title: Types for tame p-adic groups

abstract: Let k be a non-archimedean local field with residual characteristic p. Let G be a connected reductive group over k that splits over a tamely ramified field extension of k. Suppose p does not divide the order of the Weyl group of G. Then we show that every smooth irreducible complex representation of G(k) contains an $\mathfrak{s}$-type of the form constructed by Kim and Yu and that every irreducible supercuspidal representation arises from Yu's construction. This improves an earlier result of Kim, which held only in characteristic zero and with a very large and ineffective bound on p. By contrast, our bound on p is explicit and tight, and our result holds in positive characteristic as well. Moreover, our approach is more explicit in extracting an input for Yu's construction from a given representation.


title: Inverse continuity of the numerical range map for Hilbert space operators

abstract: We describe continuity properties of the multivalued inverse of the numerical range map $f_A:x \mapsto \left\langle Ax, x \right\rangle$ associated with a linear operator $A$ defined on a complex Hilbert space $\mathcal{H}$. We prove in particular that $f_A^{-1}$ is strongly continuous at all points of the interior of the numerical range $W(A)$. We give examples where strong and weak continuity fail on the boundary and address special cases such as normal and compact operators.


title: Multi-resolution filters for massive spatio-temporal data

abstract: Spatio-temporal data sets are rapidly growing in size. For example, environmental variables are measured with ever-higher resolution by increasing numbers of automated sensors mounted on satellites and aircraft. Using such data, which are typically noisy and incomplete, the goal is to obtain complete maps of the spatio-temporal process, together with proper uncertainty quantification. We focus here on real-time filtering inference in linear Gaussian state-space models. At each time point, the state is a spatial field evaluated on a very large spatial grid, making exact inference using the Kalman filter computationally infeasible. Instead, we propose a multi-resolution filter (MRF), a highly scalable and fully probabilistic filtering method that resolves spatial features at all scales. We prove that the MRF matrices exhibit a particular block-sparse multi-resolution structure that is preserved under filtering operations through time. We also discuss inference on time-varying parameters using an approximate Rao-Blackwellized particle filter, in which the integrated likelihood is computed using the MRF. We compare the MRF to existing approaches in a simulation study and a real satellite-data application.


title: Towards Lattice Quantum Chromodynamics on FPGA devices

abstract: In this paper we describe a single-node, double precision Field Programmable Gate Array (FPGA) implementation of the Conjugate Gradient algorithm in the context of Lattice Quantum Chromodynamics. As a benchmark of our proposal we invert numerically the Dirac-Wilson operator on a 4-dimensional grid on three Xilinx hardware solutions: Zynq Ultrascale+ evaluation board, the Alveo U250 accelerator and the largest device available on the market, the VU13P device. In our implementation we separate software/hardware parts in such a way that the entire multiplication by the Dirac operator is performed in hardware, and the rest of the algorithm runs on the host. We find out that the FPGA implementation can offer a performance comparable with that obtained using current CPU or Intel's many core Xeon Phi accelerators. A possible multiple node FPGA-based system is discussed and we argue that power-efficient High Performance Computing (HPC) systems can be implemented using FPGA devices only.


title: External Electron Injection for the AWAKE Experiment

abstract: We summarize and explain the realization of witness particle injection into wakefields for the AWAKE experiment. In AWAKE, the plasma wakefields are driven by a self-modulating relativistic proton bunch. To demonstrate that these wakefields can accelerate charged particles, we inject a \unit[10-20]{MeV} electron bunch produced by a photo-injector. We summarize the experimental challenges of this injection process and present our plans for the near future.


title: Interactions of Astrophysical Neutrinos with Dark Matter: A model building perspective

abstract: We explore the possibility that high energy astrophysical neutrinos can interact with the dark matter on their way to Earth. Keeping in mind that new physics might leave its signature at such energies, we have considered all possible topologies for effective interactions between neutrino and dark matter. Building models, that give rise to a significant flux suppression of astrophysical neutrinos at Earth, is rather difficult. We present a $Z^{\prime}$-mediated model in this context. Encompassing a large variety of models, a wide range of dark matter masses from $10^{-21}$ eV up to a TeV, this study aims at highlighting the challenges one encounters in such a model building endeavour after satisfying various cosmological constraints, collider search limits and electroweak precision measurements.


title: Resolvent Trace Asymptotics on Stratified Spaces

abstract: Let $(M,g)$ be a compact smoothly stratified pseudomanifold with an iterated cone-edge metric satisfying a spectral Witt condition. Under these assumptions the Hodge-Laplacian $\Delta$ is essentially self-adjoint. We establish the asymptotic expansion for the resolvent trace of $\Delta$. Our method proceeds by induction on the depth and applies in principle to a larger class of second-order differential operators of regular-singular type, e.g., Dirac Laplacians. Our arguments are functional analytic, do not rely on microlocal techniques and are very explicit. The results of this paper provide a basis for studying index theory and spectral invariants in the setting of smoothly stratified spaces and in particular allow for the definition of zeta-determinants and analytic torsion in this general setup.


title: Approximation of Lipschitz functions preserving boundary values

abstract: Given an open subset $\Omega$ of a Banach space and a Lipschitz function $u_0: \overline{\Omega} \to \mathbb{R},$ we study whether it is possible to approximate $u_0$ uniformly on $\Omega$ by $C^k$-smooth Lipschitz functions which coincide with $u_0$ on the boundary $\partial \Omega$ of $\Omega$ and have the same Lipschitz constant as $u_0.$ As a consequence, we show that every $1$-Lipschitz function $u_0: \overline{\Omega} \to \mathbb{R},$ defined on the closure $\overline{\Omega}$ of an open subset $\Omega$ of a finite dimensional normed space of dimension $n \geq 2$, and such that the Lipschitz constant of the restriction of $u_0$ to the boundary of $\Omega$ is less than $1$, can be uniformly approximated by differentiable $1$-Lipschitz functions $w$ which coincide with $u_0$ on $\partial \Omega$ and satisfy the equation $\| D w\|_* =1$ almost everywhere on $\Omega.$ This result does not hold in general without assumption on the restriction of $u_0$ to the boundary of $\Omega$.


title: Moreau-Type Characterizations of Polar Cones

abstract: A theorem of Moreau (1962) states that given a closed convex cone $C$ and its (negative) polar cone $C^\circ$ in a real Hilbert space $H$, vectors $y \in C$ and $z \in C^\circ$ are metric projections of a vector $u \in H$ on $C$ and $C^\circ$, respectively, if and only if they satisfy the following conditions: $y$ and $z$ are orthogonal and $u = y + z$. We show that these conditions provide characteristic properties of polar cones $C$ and $C^\circ$ in the family of pairs of convex subsets of $H$ or $\mathbb{R}^n$. A related result on separation of $C$ a face of $C^\circ$ in $\mathbb{R}^n$ is proved.


title: The Computational Complexity of Training ReLU(s)

abstract: We consider the computational complexity of training depth-2 neural networks composed of rectified linear units (ReLUs). We show that, even for the case of a single ReLU, finding a set of weights that minimizes the squared error (even approximately) for a given training set is NP-hard. We also show that for a simple network consisting of two ReLUs, the error minimization problem is NP-hard, even in the realizable case. We complement these hardness results by showing that, when the weights and samples belong to the unit ball, one can (agnostically) properly and reliably learn depth-2 ReLUs with $k$ units and error at most $\epsilon$ in time $2^{(k/\epsilon)^{O(1)}}n^{O(1)}$; this extends upon a previous work of Goel, Kanade, Klivans and Thaler (2017) which provided efficient improper learning algorithms for ReLUs.


title: Stroboscopically Robust Gates For Capacitively Coupled Singlet-Triplet Qubits

abstract: Recent work on Ising-coupled double-quantum-dot spin qubits in GaAs with voltage-controlled exchange interaction has shown improved two-qubit gate fidelities from the application of oscillating exchange along with a strong magnetic field gradient between adjacent dots. By examining how noise propagates in the time-evolution operator of the system, we find an optimal set of parameters that provide passive stroboscopic circumvention of errors in two-qubit gates to first order. We predict over 99% two-qubit gate fidelities in the presence of quasistatic and 1/$\textit{f}$ noise, which is an order of magnitude improvement over the typical unoptimized implementation.


title: On the Ulam-Hyers stabilities of {\Psi}-Hilfer fractional differential equation by means of abstract Volterra operator

abstract: In this paper, we consider the new class of the fractional differential equation involving the abstract Volterra operator in the Banach space and investigate existence, uniqueness and stabilities of Ulam--Hyers on the compact interval $\Delta=[a,b]$ and on the infinite interval $I=[a,\infty )$. Our analysis is based on the application of the Banach fixed point theorem and the Gronwall inequality involving generalized $\Psi$-fractional integral. At last, we performed out an application to elucidate the outcomes got.


title: Li-Yorke Chaos for Composition Operators on $L^p$-Spaces

abstract: Li-Yorke chaos is a popular and well-studied notion of chaos. Several simple and useful characterizations of this notion of chaos in the setting of linear dynamics were obtained recently. In this note we show that even simpler and more useful characterizations of Li-Yorke chaos can be given in the special setting of composition operators on $L^p$ spaces. As a consequence we obtain a simple characterization of weighted shifts which are Li-Yorke chaotic. We give numerous examples to show that our results are sharp.


title: The Calder\'on problem for the fractional Schr\"odinger equation with drift

abstract: We investigate the Calder\'on problem for the fractional Schr\"odinger equation with drift, proving that the unknown drift and potential in a bounded domain can be determined simultaneously and uniquely by an infinite number of exterior measurements. In particular, in contrast to its local analogue, this nonlocal problem does \emph{not} enjoy a gauge invariance. The uniqueness result is complemented by an associated logarithmic stability estimate under suitable apriori assumptions. Also uniqueness under finitely many \emph{generic} measurements is discussed. Here the genericity is obtained through \emph{singularity theory} which might also be interesting in the context of hybrid inverse problems. Combined with the results from \cite{GRSU18}, this yields a finite measurements constructive reconstruction algorithm for the fractional Calder\'on problem with drift. The inverse problem is formulated as a partial data type nonlocal problem and it is considered in any dimension $n\geq 1$.


title: Quenched asymptotics for a 1-d stochastic heat equation driven by a rough spatial noise

abstract: In this note we consider the parabolic Anderson model in one dimension with time-independent fractional noise $\dot{W}$ in space. We consider the case $H<\frac{1}{2}$ and get existence and uniqueness of solution. In order to find the quenched asymptotics for the solution we consider its Feynman-Kac representation and explore the asymptotics of the principal eigenvalue for a random operator of the form $\frac{1}{2} \Delta + \dot{W}$.


title: Scalar Asymptotic Charges and Dual Large Gauge Transformations

abstract: In recent years soft factorization theorems in scattering amplitudes have been reinterpreted as conservation laws of asymptotic charges. In gauge, gravity, and higher spin theories the asymptotic charges can be understood as canonical generators of large gauge symmetries. Such a symmetry interpretation has been so far missing for scalar soft theorems. We remedy this situation by treating the massless scalar field in terms of a dual two-form gauge field. We show that the asymptotic charges associated to the scalar soft theorem can be understood as generators of large gauge transformations of the dual two-form field. The dual picture introduces two new puzzles: the charges have very unexpected Poisson brackets with the fields, and the monopole term does not always have a dual gauge transformation interpretation. We find analogs of these two properties in the Kramers-Wannier duality on a finite lattice, indicating that the free scalar theory has new edge modes at infinity that canonically commute with all the bulk degrees of freedom.


title: Dynamic slip wall model for large-eddy simulation

abstract: Wall modelling in large-eddy simulation (LES) is necessary to overcome the prohibitive near-wall resolution requirements in high-Reynolds-number turbulent flows. Most existing wall models rely on assumptions about the state of the boundary layer and require a priori prescription of tunable coefficients. They also impose the predicted wall stress by replacing the no-slip boundary condition at the wall with a Neumann boundary condition in the wall-parallel directions while maintaining the no-transpiration condition in the wall-normal direction. In the present study, we first motivate and analyse the Robin (slip) boundary condition with transpiration (nonzero wall-normal velocity) in the context of wall-modelled LES. The effect of the slip boundary condition on the one-point statistics of the flow is investigated in LES of turbulent channel flow and flat-plate turbulent boundary layer. It is shown that the slip condition provides a framework to compensate for the deficit or excess of mean momentum at the wall. Moreover, the resulting nonzero stress at the wall alleviates the well-known problem of the wall-stress under-estimation by current subgrid-scale (SGS) models. Secondly, we discuss the requirements for the slip condition to be used in conjunction with wall models and derive the equation that connects the slip boundary condition with the stress at the wall. Finally, a dynamic procedure for the slip coefficients is formulated, providing a dynamic slip wall model free of a priori specified coefficients. The performance of the proposed dynamic wall model is tested in a series of LES of turbulent channel flow, non-equilibrium three-dimensional channel flow, and flat-plate turbulent boundary layer. The results show that the dynamic wall model is able to accurately predict one-point turbulence statistics for various flow configurations, Reynolds numbers, and grid resolutions.


title: Facial reduction for exact polynomial sum of squares decompositions

abstract: We study the problem of decomposing a non-negative polynomial as an exact sum of squares (SOS) in the case where the associated semidefinite program is feasible but not strictly feasible (for example if the polynomial has real zeros). Computing symbolically roots of the original polynomial and applying facial reduction techniques, we can solve the problem algebraically or restrict to a subspace where the problem becomes strictly feasible and a numerical approximation can be rounded to an exact solution. As an application, we study the problem of determining when can a rational polynomial that is a sum of squares of polynomials with real coefficients be written as sum of squares of polynomials with rational coefficients, and answer this question for some previously unknown cases. We first prove that if $f$ is the sum of two squares with coefficients in an algebraic extension of ${\mathbb Q}$ of odd degree, then it can always be decomposed as a rational SOS. For the case of more than two polynomials we provide an example of an irreducible polynomial that is the sum of three squares with coefficients in ${\mathbb Q}(\sqrt[3]{2})$ that cannot be decomposed as a rational SOS.


title: Event Coreference Resolution Using Neural Network Classifiers

abstract: This paper presents a neural network classifier approach to detecting both within- and cross- document event coreference effectively using only event mention based features. Our approach does not (yet) rely on any event argument features such as semantic roles or spatiotemporal arguments. Experimental results on the ECB+ dataset show that our approach produces F1 scores that significantly outperform the state-of-the-art methods for both within-document and cross-document event coreference resolution when we use B3 and CEAFe evaluation measures, but gets worse F1 score with the MUC measure. However, when we use the CoNLL measure, which is the average of these three scores, our approach has slightly better F1 for within- document event coreference resolution but is significantly better for cross-document event coreference resolution.


title: A Stable Cut Finite Element Method for Partial Differential Equations on Surfaces: The Helmholtz-Beltrami Operator

abstract: We consider solving the surface Helmholtz equation on a smooth two dimensional surface embedded into a three dimensional space meshed with tetrahedra. The mesh does not respect the surface and thus the surface cuts through the elements. We consider a Galerkin method based on using the restrictions of continuous piecewise linears defined on the tetrahedra to the surface as trial and test functions.Using a stabilized method combining Galerkin least squares stabilization and a penalty on the gradient jumps we obtain stability of the discrete formulation under the condition $h k < C$, where $h$ denotes the mesh size, $k$ the wave number and $C$ a constant depending mainly on the surface curvature $\kappa$, but not on the surface/mesh intersection. Optimal error estimates in the $H^1$ and $L^2$-norms follow.


title: Mach-Zehnder atom interferometer. Quantum and Doppler corrections caused by the finite pulses' durations

abstract: A new approach to the theory of atoms' interaction with chirped Raman pulses is developed. When the pulses have sufficiently close effective wave lengths, which are smaller than the atomic cloud size, equations for the family of the matrix elements of the atomic density matrix in the Wigner representation are derived. The solution, involving linear (in the pulse duration) phase corrections, is obtained for the rectangular pulse. The interferometric part of the atoms' excitation is calculated.


title: On the distribution of the hitting time for the N-urn Ehrenfest model

abstract: In this paper, we consider the N-urn Ehrenfest model. By utilizing an auxiliary continuous-time Markov chain, we obtain the explicit formula for the Laplace transform of the hitting time from a single state to a set A of states where A satisfies some symmetric properties. After obtaining the Laplace transform, we are able to compute the high-order moments(especially, variance) for the hitting time.


title: Null Points in the Magnetosphere of a Plunging Neutron Star

abstract: We explore the structure of a dipole-type vacuum field of a slowly rotating magnetic star near the horizon of a supermassive black hole, where the structure of field lines becomes highly distorted by effects of strong gravity. Such a situation may occur near a neutron star in the final stages of a plunging trajectory into a galactic center. We solve Maxwell's equations in the Rindler approximation for the rotating conducting source of dipolar magnetic field arbitrarily inclined with respect to the axis of rotation. For the fixed inclination angle we calculate the field including the radiative terms while in the general case we discuss the electromagnetic field considering the near-field terms only. In the latter case we investigate the emergence of magnetic null points within the vacuum magnetosphere. Null points become highly relevant in the presence of astrophysical plasma where they are connected with processes of magnetic reconnection and mass ejection.


title: AMG based on compatible weighted matching for GPUs

abstract: We describe main issues and design principles of an efficient implementation, tailored to recent generations of Nvidia Graphics Processing Units (GPUs), of an Algebraic Multigrid (AMG) preconditioner previously proposed by one of the authors and already available in the open-source package BootCMatch: Bootstrap algebraic multigrid based on Compatible weighted Matching for standard CPU. The AMG method relies on a new approach for coarsening sparse symmetric positive definite (spd) matrices, named "coarsening based on compatible weighted matching". It exploits maximum weight matching in the adjacency graph of the sparse matrix, driven by the principle of compatible relaxation, providing a suitable aggregation of unknowns which goes beyond the limits of the usual heuristics applied in the current methods. We adopt an approximate solution of the maximum weight matching problem, based on a recently proposed parallel algorithm, referred as the Suitor algorithm, and show that it allow us to obtain good quality coarse matrices for our AMG on GPUs. We exploit inherent parallelism of modern GPUs in all the kernels involving sparse matrix computations both for the setup of the preconditioner and for its application in a Krylov solver, outperforming preconditioners available in Nvidia AmgX library. We report results about a large set of linear systems arising from discretization of scalar and vector partial differential equations (PDEs).


title: Vorticity and stream function formulations for the 2D Navier-Stokes equations in a bounded domain

abstract: The main purpose of this work is to provide a Hilbertian functional framework for the analysis of the planar Navier-Stokes (NS) equations either in vorticity or in stream function formulation. The fluid is assumed to occupy a bounded possibly multiply connected domain. The velocity field satisfies either homogeneous (no-slip boundary conditions) or prescribed Dirichlet boundary conditions. We prove that the analysis of the 2D Navier-Stokes equations can be carried out in terms of the so-called nonprimitive variables only (vorticity field and stream function) without resorting to the classical NS theory (stated in primitive variables, i.e. velocity and pressure fields). Both approaches (in primitive and nonprimitive variables) are shown to be equivalent for weak (Leray) and strong (Kato) solutions. Explicit Bernoulli-like formulas are derived and allow recovering the pressure field from the vorticity fields or the stream function. In the last section, the functional framework described earlier leads to a simplified rephrasing of the vorticity dynamics, as introduced by Maekawa in [52]. At this level of regularity, the vorticity equation splits into a coupling between a parabolic and an elliptic equation corresponding respectively to the non-harmonic and harmonic parts of the vorticity equation. By exploiting this structure it is possible to prove new existence and uniqueness results, as well as the exponential decay of the palinstrophy (that is, loosely speaking, the $H^1$ norm of the vorticity) for large time, an estimate which was not known so far.


title: Sensitivity of the Geomagnetic Octupole to a Stably Stratified Layer in the Earth's Core

abstract: Current "Earth-like" numerical dynamo simulations are able to reproduce many characteristics of the observed geomagnetic field. One notable exception is the geomagnetic octupolar component. Here we investigate whether a stably stratified layer at the top of the core, a missing ingredient in standard dynamo simulations, can explain the observed geomagnetic octupole. Through numerical simulations, we find that the existence of a stable layer has significant influence on the octupolar-to-dipolar ratio of the magnetic field. Particularly, we find that a 60 km stable layer with relatively strong stability or a 130 km layer with relatively weak stability are compatible with the observations, but a 350 km stable layer, as suggested by recent seismological evidence, is not compatible with Earth's octupole field over the past 10,000 years.


title: On the ground states of the Ostrovskyi equation and their stabilit

abstract: The Ostrovskyi (Ostrovskyi-Vakhnenko/short pulse) equations are ubiquitous models in mathematical physics. They describe water waves under the action of a Coriolis force as well as the amplitude of a "short" pulse in an optical fiber. In this paper, we rigorously construct ground traveling waves for these models as minimizers of the Hamiltonian functional for any fixed $L^2$ norm. The existence argument proceeds via the method of compensated compactness, but it requires surprisingly detailed Fourier analysis arguments to rule out the non-vanishing of the limits of the minimizing sequences. We show that all of these waves are weakly non-degenerate and spectrally stable.


title: Ice Rule Fragility via Topological Charge Transfer in Artificial Colloidal Ice

abstract: Artificial particle ices are model systems of constrained, interacting particles. They have been introduced theoretically to study ice-manifolds emergent from frustration, along with domain wall and grain boundary dynamics, doping, pinning-depinning, controlled transport of topological defects, avalanches, and memory effects. Recently such particle-based ices have been experimentally realized with vortices in nano-patterned superconductors or gravitationally trapped colloids. Here we demonstrate that, although these ices are generally considered equivalent to magnetic spin ices, they can access a novel spectrum of phenomenologies that are inaccessible to the latter. With experiments, theory and simulations we demonstrate that in mixed coordination geometries, entropy-driven negative monopoles spontaneously appear at a density determined by the vertex-mixture ratio. Unlike its spin-based analogue, the colloidal system displays a "fragile ice" manifold, where local energetics oppose the ice rule, which is instead enforced through conservation of the global topological charge. The fragile colloidal ice, stabilized by topology, can be spontaneously broken by topological charge transfer.


title: Non-thermal quantum engine in transmon qubits

abstract: The design and implementation of quantum technologies necessitates the understanding of thermodynamic processes in the quantum domain. In stark contrast to macroscopic thermodynamics, at the quantum scale processes generically operate far from equilibrium and are governed by fluctuations. Thus, experimental insight and empirical findings are indispensable in developing a comprehensive framework. To this end, we theoretically propose an experimentally realistic quantum engine that uses transmon qubits as working substance. We solve the dynamics analytically and calculate its efficiency.


title: Rethinking multiscale cardiac electrophysiology with machine learning and predictive modelling

abstract: We review some of the latest approaches to analysing cardiac electrophysiology data using machine learning and predictive modelling. Cardiac arrhythmias, particularly atrial fibrillation, are a major global healthcare challenge. Treatment is often through catheter ablation, which involves the targeted localized destruction of regions of the myocardium responsible for initiating or perpetuating the arrhythmia. Ablation targets are either anatomically defined, or identified based on their functional properties as determined through the analysis of contact intracardiac electrograms acquired with increasing spatial density by modern electroanatomic mapping systems. While numerous quantitative approaches have been investigated over the past decades for identifying these critical curative sites, few have provided a reliable and reproducible advance in success rates. Machine learning techniques, including recent deep-learning approaches, offer a potential route to gaining new insight from this wealth of highly complex spatio-temporal information that existing methods struggle to analyse. Coupled with predictive modelling, these techniques offer exciting opportunities to advance the field and produce more accurate diagnoses and robust personalised treatment. We outline some of these methods and illustrate their use in making predictions from the contact electrogram and augmenting predictive modelling tools, both by more rapidly predicting future states of the system and by inferring the parameters of these models from experimental observations.


title: On motivic obstructions to Witt cancellation for quadratic forms over schemes

abstract: The paper provides computations of the first non-vanishing $\mathbb{A}^1$-homotopy sheaves of the orthogonal Stiefel varieties which are relevant for the unstable isometry classification of quadratic forms over smooth affine schemes over perfect fields of characteristic $\neq 2$. Together with the $\mathbb{A}^1$-representability for quadratic forms, this provides the first obstructions for rationally trivial quadratic forms to split off a hyperbolic plane. For even-rank quadratic forms, this first obstruction is a refinement of the Euler class of Edidin and Graham. A couple of consequences are discussed, such as improved splitting results over algebraically closed base fields as well as examples where the obstructions are nontrivial.


title: Hereditarily non Uniformly Perfect non-Autonomous Julia Sets

abstract: Hereditarily non uniformly perfect (HNUP) sets were introduced by Stankewitz, Sugawa, and Sumi in \cite{SSS} who gave several examples of such sets based on Cantor set-like constructions using nested intervals. We exhibit a class of examples in non-autonomous iteration where one considers compositions of polynomials from a sequence which is in general allowed to vary. In particular, we give a sharp criterion for when Julia sets from our class will be HNUP and we show that the maximum possible Hausdorff dimension of $1$ for these Julia sets can be attained. The proof of the latter considers the Julia set as the limit set of a non-autonomous conformal iterated function system and we calculate the Hausdorff dimension using a version of Bowen's formula given in the paper by Rempe-Gillen and Urb\'{a}nski \cite{RU}.


title: Capacity of Private Linear Computation for Coded Databases

abstract: We consider the problem of private linear computation (PLC) in a distributed storage system. In PLC, a user wishes to compute a linear combination of $f$ messages stored in noncolluding databases while revealing no information about the coefficients of the desired linear combination to the databases. In extension of our previous work we employ linear codes to encode the information on the databases. We show that the PLC capacity, which is the ratio of the desired linear function size and the total amount of downloaded information, matches the maximum distance separable (MDS) coded capacity of private information retrieval for a large class of linear codes that includes MDS codes. In particular, the proposed converse is valid for any number of messages and linear combinations, and the capacity expression depends on the rank of the coefficient matrix obtained from all linear combinations.


title: Penetrating the Fog: the Path to Efficient CNN Models

abstract: With the increasing demand to deploy convolutional neural networks (CNNs) on mobile platforms, the sparse kernel approach was proposed, which could save more parameters than the standard convolution while maintaining accuracy. However, despite the great potential, no prior research has pointed out how to craft an sparse kernel design with such potential (i.e., effective design), and all prior works just adopt simple combinations of existing sparse kernels such as group convolution. Meanwhile due to the large design space it is also impossible to try all combinations of existing sparse kernels. In this paper, we are the first in the field to consider how to craft an effective sparse kernel design by eliminating the large design space. Specifically, we present a sparse kernel scheme to illustrate how to reduce the space from three aspects. First, in terms of composition we remove designs composed of repeated layers. Second, to remove designs with large accuracy degradation, we find an unified property named information field behind various sparse kernel designs, which could directly indicate the final accuracy. Last, we remove designs in two cases where a better parameter efficiency could be achieved. Additionally, we provide detailed efficiency analysis on the final four designs in our scheme. Experimental results validate the idea of our scheme by showing that our scheme is able to find designs which are more efficient in using parameters and computation with similar or higher accuracy.


title: Pointwise bounds for joint eigenfunctions of quantum completely integrable systems

abstract: Let $(M,g)$ be a compact Riemannian manifold and $P_1:=-h^2\Delta_g+V(x)-E_1$ so that $dp_1\neq 0$ on $p_1=0$. We assume that $P_1$ is quantum completely integrable in the sense that there exist functionally independent pseuodifferential operators $P_2,\dots P_n$ with $[P_i,P_j]=0$, $i,j=1,\dots ,n$. We study the pointwise bounds for the joint eigenfunctions, $u_h$ of the system $\{P_i\}_{i=1}^n$ with $P_1u_h=E_1u_h+o(1)$. We first give polynomial improvements over the standard H\"ormander bounds for typical points in $M$. In two and three dimensions, these estimates agree with the Hardy exponent $h^{-\frac{1-n}{4}}$ and in higher dimensions we obtain a gain of $h^{\frac{1}{2}}$ over the H\"ormander bound. In our second main result, under a real-analyticity assumption on the QCI system, we give exponential decay estimates for joint eigenfunctions at points outside the projection of invariant Lagrangian tori; that is at points $x\in M$ in the "microlocally forbidden" region $p_1^{-1}(E_1)\cap \dots \cap p_n^{-1}(E_n)\cap T^*_xM=\emptyset.$ These bounds are sharp locally near the projection of the invariant tori.


title: Trading locality for time: certifiable randomness from low-depth circuits

abstract: The generation of certifiable randomness is the most fundamental information-theoretic task that meaningfully separates quantum devices from their classical counterparts. We propose a protocol for exponential certified randomness expansion using a single quantum device. The protocol calls for the device to implement a simple quantum circuit of constant depth on a 2D lattice of qubits. The output of the circuit can be verified classically in linear time, and is guaranteed to contain a polynomial number of certified random bits assuming that the device used to generate the output operated using a (classical or quantum) circuit of sub-logarithmic depth. This assumption contrasts with the locality assumption used for randomness certification based on Bell inequality violation or computational assumptions. To demonstrate randomness generation it is sufficient for a device to sample from the ideal output distribution within constant statistical distance. Our procedure is inspired by recent work of Bravyi et al. (Science 2018), who introduced a relational problem that can be solved by a constant-depth quantum circuit, but provably cannot be solved by any classical circuit of sub-logarithmic depth. We develop the discovery of Bravyi et al. into a framework for robust randomness expansion. Our proposal does not rest on any complexity-theoretic conjectures, but relies on the physical assumption that the adversarial device being tested implements a circuit of sub-logarithmic depth. Success on our task can be easily verified in classical linear time. Finally, our task is more noise-tolerant than most other existing proposals that can only tolerate multiplicative error, or require additional conjectures from complexity theory; in contrast, we are able to allow a small constant additive error in total variation distance between the sampled and ideal distributions.


title: Constraints from the S-parameter on models with scalar triplets

abstract: Models with scalar triplets can have a large impact on the electroweak precision S-parameter and have to be dealt "with extreme prejudice". Such models, and in particular the Georgi-Machacek (GM) model, involve a complex triplet scalar containing doubly-charged Higgses plus a real triplet and are of recent phenomenological interests. It turns out that large mass splittings within the triplet will not be allowed by the S-parameter in the absence of extra fermionic degrees of freedom. Simply speaking, having only an extra triplet of scalars severely restricts the mass splitting within that triplet even with the present precision on the S-parameter which will further be improved with the proposed Higgs factories.


title: C*-algebras and their nuclear dimension

abstract: We review the notion of nuclear dimension for C*-algebras introduced by Winter and Zacharias. We explain why it is a non-commutative version of topological dimension. After presenting several examples, we give a brief overview of the state of the art.


title: Sparsity-Based Kalman Filters for Data Assimilation

abstract: Several variations of the Kalman filter algorithm, such as the extended Kalman filter (EKF) and the unscented Kalman filter (UKF), are widely used in science and engineering applications. In this paper, we introduce two algorithms of sparsity-based Kalman filters, namely the sparse UKF and the progressive EKF. The filters are designed specifically for problems with very high dimensions. Different from various types of ensemble Kalman filters (EnKFs) in which the error covariance is approximated using a set of dense ensemble vectors, the algorithms developed in this paper are based on sparse matrix approximations of error covariance. The new algorithms enjoy several advantages. The error covariance has full rank without being limited by a set of ensembles. In addition to the estimated states, the algorithms provide updated error covariance for the next assimilation cycle. The sparsity of error covariance significantly reduces the required memory size for the numerical computation. In addition, the granularity of the sparse error covariance can be adjusted to optimize the parallelization of the algorithms.


title: Steady-state and transient behavior in dynamic atomic force microscopy

abstract: We discuss the influence of external forces on the motion of the tip in dynamic atomic force microscopy (AFM). First, a compact solution for the steady-state problem is derived employing a Fourier approach. Founding on this solution, we present an analytical framework to describe the transient behavior of the tip after perturbations of tip-sample forces and the excitation signal. The static and transient solutions are then combined to obtain the baseband response of the tip, i.e., the deflection signal demodulated with respect to the excitation. The baseband response generalizes the amplitude and phase response of the tip, and we use it to find explicit formulas describing the amplitude and phase modulation following the influence of external forces on the tip. Finally, we apply our results to obtain an accurate dynamic model of the amplitude controller and phase-locked loop (PLL) driving the cantilever in a frequency modulated AFM setup. A special emphasis is put on discussing the tip response in environments of high damping, such as ambient or liquid.


title: Ultrafast Studies of Hot-Hole Dynamics in Au/p-GaN Heterostructures

abstract: Harvesting non-equilibrium hot carriers from photo-excited metal nanoparticles has enabled plasmon-driven photochemical transformations and tunable photodetection with resonant nanoantennas. Despite numerous studies on the ultrafast dynamics of hot electrons, to date, the temporal evolution of hot holes in metal-semiconductor heterostructures remains unknown. An improved understanding of the carrier dynamics in hot-hole-driven systems is needed to help expand the scope of hot-carrier optoelectronics beyond hot-electron-based devices. Here, using ultrafast transient absorption spectroscopy, we show that plasmon-induced hot-hole injection from gold (Au) nanoparticles into the valence band of p-type gallium nitride (p-GaN) occurs within 200 fs, placing hot-hole transfer on a similar timescale as hot-electron transfer. We further observed that the removal of hot holes from below the Au Fermi level exerts a discernible influence on the thermalization of hot electrons above it, reducing the peak electronic temperature and decreasing the electron-phonon coupling time relative to Au samples without a pathway for hot-hole collection. First principles calculations corroborate these experimental observations, suggesting that hot-hole injection modifies the relaxation dynamics of hot electrons in Au nanoparticles through ultrafast modulation of the d-band electronic structure. Taken together, these ultrafast studies substantially advance our understanding of the temporal evolution of hot holes in metal-semiconductor heterostructures and suggest new strategies for manipulating and controlling the energy distributions of hot carriers on ultrafast timescales.


title: A correspondence between modified gravity and General Relativity with scalar fields

abstract: We describe a novel procedure to map the field equations of nonlinear Ricci-based metric-affine theories of gravity, coupled to scalar matter described by a given Lagrangian, into the field equations of General Relativity coupled to a different scalar field Lagrangian. Our analysis considers examples with a single and $N$ real scalar fields, described either by canonical Lagrangians or by generalized functions of the kinetic and potential terms. In particular, we consider several explicit examples involving $f(R)$ theories and the Eddington-inspired Born-Infeld gravity model, coupled to different scalar field Lagrangians. We show how the nonlinearities of the gravitational sector of these theories can be traded to nonlinearities in the matter fields, and how the procedure allows to find new solutions on both sides of the correspondence. The potential of this procedure for applications of scalar field models in astrophysical and cosmological scenarios is highlighted.


title: Deep Neural Network Compression for Aircraft Collision Avoidance Systems

abstract: One approach to designing decision making logic for an aircraft collision avoidance system frames the problem as a Markov decision process and optimizes the system using dynamic programming. The resulting collision avoidance strategy can be represented as a numeric table. This methodology has been used in the development of the Airborne Collision Avoidance System X (ACAS X) family of collision avoidance systems for manned and unmanned aircraft, but the high dimensionality of the state space leads to very large tables. To improve storage efficiency, a deep neural network is used to approximate the table. With the use of an asymmetric loss function and a gradient descent algorithm, the parameters for this network can be trained to provide accurate estimates of table values while preserving the relative preferences of the possible advisories for each state. By training multiple networks to represent subtables, the network also decreases the required runtime for computing the collision avoidance advisory. Simulation studies show that the network improves the safety and efficiency of the collision avoidance system. Because only the network parameters need to be stored, the required storage space is reduced by a factor of 1000, enabling the collision avoidance system to operate using current avionics systems.