title: Magic angles and correlations in twisted nodal superconductors

abstract: Motivated by recent advances in the fabrication of twisted bilayers of 2D materials, we consider the low-energy properties of a twisted pair of two-dimensional nodal superconductors. We study both the cases of singlet and triplet superconductors. It is demonstrated that the Bogoliubov-de Gennes (BdG) quasiparticle dispersion undergoes dramatic reconstruction due to the twist. In particular, the velocity of the neutral massless Dirac excitations near the gap nodes is strongly renormalized by the interlayer hopping and vanishes at a ``magic angle'' where in the limit of a circular Fermi surface a quadratic band touching is formed. In addition, it is shown that the BdG disperion can be tuned with an interlayer displacement field, magnetic field, and current, which can suppress the velocity renormalization, create finite BdG Fermi surfaces, or open a gap, respectively. Finally, interactions between quasiparticles are shown to lead to the emergence of a correlated superconducting state breaking time-reversal symmetry in the vicinity of the magic angle. Estimates of the magic angle in a variety of nodal superconductors are presented, ranging from the cuprates to the organic and heavy fermion superconductors, all of which are shown to be promising for the experimental realization of our proposal.


title: Black hole microstates vs. the additivity conjectures

abstract: We argue that one of the following statements must be true: (a) extensive violations of quantum information theory's additivity conjectures exist or (b) there exists a set of `disentangled' black hole microstates that can account for the entire Bekenstein-Hawking entropy, up to at most a subleading $O(1)$ correction. Possibility (a) would be a significant result in quantum communication theory, demonstrating that entanglement can enhance the ability to transmit information much more than has currently been established. Option (b) would provide new insight into the microphysics of black holes. In particular, the disentangled microstates would have to have nontrivial structure at or outside the black hole horizon, assuming the validity of the quantum extremal surface prescription for calculating entanglement entropy in AdS/CFT.


title: The Simons Observatory: the Large Aperture Telescope Receiver (LATR) Integration and Validation Results

abstract: The Simons Observatory (SO) will observe the cosmic microwave background (CMB) from Cerro Toco in the Atacama Desert of Chile. The observatory consists of three 0.5 m Small Aperture Telescopes (SATs) and one 6 m Large Aperture Telescope (LAT), covering six frequency bands centering around 30, 40, 90, 150, 230, and 280 GHz. The SO observations will transform the understanding of our universe by characterizing the properties of the early universe, measuring the number of relativistic species and the mass of neutrinos, improving our understanding of galaxy evolution, and constraining the properties of cosmic reionization. As a critical instrument, the Large Aperture Telescope Receiver (LATR) is designed to cool $\sim$ 60,000 transition-edge sensors (TES) to $<$ 100 mK on a 1.7 m diameter focal plane. The unprecedented scale of the LATR drives a complex design. In this paper, we will first provide an overview of the LATR design. Integration and validation of the LATR design are discussed in detail, including mechanical strength, optical alignment, and cryogenic performance of the five cryogenic stages (80 K, 40 K, 4 K, 1 K, and 100 mK). We will also discuss the microwave-multiplexing ($\mu$Mux) readout system implemented in the LATR and demonstrate the operation of dark prototype TES bolometers. The $\mu$Mux readout technology enables one coaxial loop to read out $\mathcal{O}(10^3)$ TES detectors. Its implementation within the LATR serves as a critical validation for the complex RF chain design. The successful validation of the LATR performance is not only a critical milestone within the Simons Observatory, it also provides a valuable reference for other experiments, e.g. CCAT-prime and CMB-S4.


title: Dissecting the stellar content of Leo I: a dwarf irregular caught in transition

abstract: Leo I is considered one of the youngest dwarf spheroidals (dSph) in the Local Group. Its isolation, extended star formation history (SFH), and recent perigalacticon passage (~1 Gyr ago) make Leo~I one of the most interesting nearby stellar systems. Here, we analyse deep photometric Hubble Space Telescope data via colour-magnitude diagram fitting techniques to study its global and radially-resolved SFH. We find global star formation enhancements in Leo I ~13, 5.5, 2.0, and 1.0 Gyr ago, after which it was substantially quenched. Within the context of previous works focused on Leo I, we interpret the most ancient and the youngest ones as being linked to an early formation (surviving reionisation) and the latest perigalacticon passage (transition from dIrr to dSph), respectively. We clearly identify the presence of very metal poor stars ([Fe/H]~-2) ageing ~5-6 and ~13 Gyr old. We speculate with the possibility that this metal-poor population in Leo I is related to the merging with a low mass system (possibly an ultra-faint dwarf). This event would have triggered star formation (peak of star formation ~5.5 Gyr ago) and accumulated old, metal poor stars from the accreted system in LeoI. Some of the stars born during this event would also form from accreted gas of low-metallicity (giving rise to the 5-6 Gyr low-metallicity tail). Given the intensity and extension of the 2.0 Gyr burst, we hypothesise that this enhancement could also have an external origin. Despite the quenching of star formation around 1 Gyr ago (most probably induced by ram pressure stripping with the Milky Way halo at pericentre), we report the existence of stars as young as 300-500 Myr. We also distinguish two clear spatial regions: the inner ~190 pc presents an homogeneous stellar content (size of the gaseous star forming disc in LeoI from ~4.5 to 1 Gyr ago), whereas the outer regions display a clear positive age gradient.


title: Probing naturally light singlets with a displaced vertex trigger

abstract: We investigate the physics case for a dedicated trigger on a low mass, hadronic displaced vertex at the high luminosity LHC, relying on the CMS phase II track trigger. We estimate the trigger efficiency with a simplified simulation of the CMS track trigger and show that the L1 trigger rate from fake vertices, B meson decays and secondary interactions with the detector material can likely be brought down to the kHz level with a minimal set of cuts. While it would with any doubt be a severe experimental challenge to implement, we conclude that a displaced vertex trigger could open qualitatively new parameter space for exotic Higgs decays, exotic B decays and even direct production of light resonances. We parametrize the physics potential in terms of a singlet scalar mixing with the Standard Model Higgs and an axion-like particle with a coupling to gluons, and review a number or relevant models motivated by the hierarchy and strong CP problems, dark matter and baryogenesis.


title: Orbital pericenters and the inferred dark matter halo structure of satellite galaxies

abstract: Using the phat-ELVIS suite of Milky Way-size halo simulations, we show that subhalo orbital pericenters, $r_{\rm peri}$, correlate with their dark matter halo structural properties. Specifically, at fixed maximum circular velocity, $V_{\rm max}$, subhalos with smaller $r_{\rm peri}$ are more concentrated (have smaller $r_{\rm max}$ values) and have lost more mass, with larger peak circular velocities, $V_{\rm peak}$, prior to infall. These trends provide information that can tighten constraints on the inferred $V_{\rm max}$ and $V_{\rm peak}$ values for known Milky Way satellites. We illustrate this using published pericenter estimates enabled by Gaia for the nine classical Milky Way dwarf spheroidal satellites. The two densest dSph satellites (Draco and Ursa Minor) have relatively small pericenters, and this pushes their inferred $r_{\rm max}$ and $V_{\rm max}$ values lower than they would have been without pericenter information. For Draco, we infer $V_{\rm max} = 23.5 \, \pm 3.3$ km s$^{-1}$ (compared to $27.3 \, \pm 7.1$ km s$^{-1}$ without pericenter information). Such a shift exacerbates the traditional Too Big to Fail problem. Draco's peak circular velocity range prior to infall narrows from $V_{\rm peak} = 21 - 49$ km s$^{-1}$ without pericenter information to $V_{\rm peak} = 25-37$ km s$^{-1}$ with the constraint. Over the full population of classical dwarf spheroidals, we find no correlation between $V_{\rm peak}$ and stellar mass today, indicative of a high level of stochasticity in galaxy formation at stellar masses below $\sim 10^7$ M$_\odot$. As proper motion measurements for dwarf satellites become more precise, they should enable useful priors on the expected structure and evolution of their host dark matter subhalos.


title: Transport in the non-Fermi liquid phase of isotropic Luttinger semimetals

abstract: Luttinger semimetals have quadratic band crossings at the Brillouin zone-center in three spatial dimensions. Coulomb interactions in a model that describes these systems stabilize a non-trivial fixed point associated with a non-Fermi liquid state, also known as the Luttinger-Abrikosov-Beneslavskii phase. We calculate the optical conductivity $\sigma (\omega) $ and the dc conductivity $\sigma_{dc} (T) $ of this phase, by means of the Kubo formula and the Mori-Zwanzig memory matrix method, respectively. Interestingly, we find that $\sigma (\omega) $, as a function of the frequency $\omega$ of an applied ac electric field, is characterized by a small violation of the hyperscaling property in the clean limit, which is in marked contrast to the low-energy effective theories that possess Dirac quasiparticles in the excitation spectrum and obey hyperscaling. Furthermore, the effects of weak short-ranged disorder on the temperature-dependence of $\sigma_{dc} (T)$ give rise to a much stronger power-law suppression at low temperatures compared to the clean limit. Our findings demonstrate that these disordered systems are actually power-law insulators. Our theoretical results agree qualitatively with the data from recent experiments performed on Luttinger semimetal compounds like the pyrochlore iridates [ (Y$_{1-x}$Pr$_x$)$_2$Ir$_2$O$_7$ ].

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.mes-hall hep-th


title: IceCube constraints on Violation of Equivalence Principle

abstract: Among the information provided by high energy neutrinos, a promising possibility is to analyze the effects of a Violation of Equivalence Principle (VEP) on neutrino oscillations. We analyze the recently released IceCube data on atmospheric neutrino fluxes under the assumption of a VEP and obtain updated constraints on the parameter space with the benchmark choice that neutrinos with different masses couple with different strengths to the gravitational field. In this case we find that the VEP parameters times the local gravitational potential at Earth can be constrained at the level of $10^{-27}$. We show that the constraints from atmospheric neutrinos strongly depend on the assumption that the neutrino eigenstates interacting diagonally with the gravitational field coincide with the mass eigenstates, which is not \textit{a priori} justified: this is particularly clear in the case that the basis of diagonal gravitational interaction coincide with the flavor basis, which cannot be constrained by the observation of atmospheric neutrinos. Finally, we quantitatively study the effect of a VEP on the flavor composition of the astrophysical neutrinos, stressing again the interplay with the basis in which the VEP is diagonal: we find that for some choices of such basis the flavor ratio measured by IceCube can significantly change.


title: Constraints on discrete global symmetries in quantum gravity

abstract: The question whether global symmetries can be realized in quantum-gravity-matter-systems has far-reaching phenomenological consequences. Here, we collect evidence that within an asymptotically safe context, discrete global symmetries of the form $\mathbb{Z}_n$, $n>4$, cannot be realized in a near-perturbative regime. In contrast, an effective-field-theory approach to quantum gravity might feature such symmetries, providing a mechanism to generate mass hierarchies in the infrared without the need for additional fine-tuning.


title: Spontaneous vectorization of electrically charged black holes

abstract: In this work, we generalise the spontaneous scalarization phenomena in Einstein-Maxwell-Scalar models to a higher spin field. The result is an Einstein-Maxwell-Vector model wherein a vector field is non-minimally coupled to the Maxwell invariant by an exponential coupling function. We show that the latter guarantees the circumvention of an associated no-hair theorem when the vector field has the form of an electric field. Different than its scalar counterpart, the new spontaneously vectorized Reissner-Nordstr\"om (RN) black holes are, always, undercharged while being entropically preferable. The solution profile and domain of existence are presented and analysed.


title: Effect of magnon decays on parametrically pumped magnons

abstract: We investigate the influence of magnon decays on the non-equilibrium dynamics of parametrically excited magnons in the magnetic insulator yttrium-iron garnet (YIG). Our investigations are motivated by a recent experiment by Noack et al. [Phys. Status Solidi B 256, 1900121 (2019)] where an enhancement of the spin pumping effect in YIG was observed near the magnetic field strength where magnon decays via confluence of magnons becomes kinematically possible. To explain the experimental findings, we have derived and solved kinetic equations for the non-equilibrium magnon distribution. The effect of magnon decays is taken into account microscopically via collision integrals derived from interaction vertices involving three powers of magnon operators. Our results agree quantitatively with the experimental data.


title: Correlation-Induced Octahedral Rotations in SrMoO$_3$

abstract: Distortions of the oxygen octahedra influence the fundamental electronic structure of perovskite oxides, such as their bandwidth and exchange interactions. Utilizing a fully ab-initio methodology based on density functional theory plus dynamical mean field theory (DFT+DMFT), we study the crystal and magnetic structure of SrMoO$_3$. Comparing our results with DFT+$U$ performed on the same footing, we find that DFT+$U$ overestimates the propensity for magnetic ordering, as well as the octahedral rotations, leading to a different ground state structure. This demonstrates that structural distortions can be highly sensitive to electronic correlation effects, and to the considered magnetic state, even in a moderately correlated metal such as SrMoO$_3$. Moreover, by comparing different downfolding schemes, we demonstrate the robustness of the DFT+DMFT method for obtaining structural properties, highlighting its versatility for applications to a broad range of materials.


title: Bit threads on hypergraphs

abstract: Recent work has characterized the various inequalities that entanglement entropies represented by min-cuts on hypergraphs will satisfy. This collection, the hypergraph entropy cone, can be seen as a generalization of the holographic entropy cone which describes the entropies given by both min-cuts on 2-graphs and those of holographic states in AdS/CFT. In this article we describe a generalization of bit threads which allows us to describe max multiflows on hypergraphs. We further comment on its properties and interpretation in holography.


title: How to GAN Event Unweighting

abstract: Event generation with neural networks has seen significant progress recently. The big open question is still how such new methods will accelerate LHC simulations to the level required by upcoming LHC runs. We target a known bottleneck of standard simulations and show how their unweighting procedure can be improved by generative networks. This can, potentially, lead to a very significant gain in simulation speed.


title: Impact of a Midband Gravitational Wave Experiment On Detectability of Cosmological Stochastic Gravitational Wave Backgrounds

abstract: We make forecasts for the impact a future "midband" space-based gravitational wave experiment, most sensitive to $10^{-2}- 10$ Hz, could have on potential detections of cosmological stochastic gravitational wave backgrounds (SGWBs). Specific proposed midband experiments considered are TianGo, B-DECIGO and AEDGE. We propose a combined power-law integrated sensitivity (CPLS) curve combining GW experiments over different frequency bands, which shows the midband improves sensitivity to SGWBs by up to two orders of magnitude at $10^{-2} - 10$ Hz. We consider GW emission from cosmic strings and phase transitions as benchmark examples of cosmological SGWBs. We explicitly model various astrophysical SGWB sources, most importantly from unresolved black hole mergers. Using Markov Chain Monte Carlo, we demonstrated that midband experiments can, when combined with LIGO A+ and LISA, significantly improve sensitivities to cosmological SGWBs and better separate them from astrophysical SGWBs. In particular, we forecast that a midband experiment improves sensitivity to cosmic string tension $G\mu$ by up to a factor of $10$, driven by improved component separation from astrophysical sources. For phase transitions, a midband experiment can detect signals peaking at $0.1 - 1$ Hz, which for our fiducial model corresponds to early Universe temperatures of $T_*\sim 10^4 - 10^6$ GeV, generally beyond the reach of LIGO and LISA. The midband closes an energy gap and better captures characteristic spectral shape information. It thus substantially improves measurement of the properties of phase transitions at lower energies of $T_* \sim O(10^3)$ GeV, potentially relevant to new physics at the electroweak scale, whereas in this energy range LISA alone will detect an excess but not effectively measure the phase transition parameters. Our modelling code and chains are publicly available.


title: Charged Eigenstate Thermalization, Euclidean Wormholes and Global Symmetries in Quantum Gravity

abstract: We generalize the eigenstate thermalization hypothesis to systems with global symmetries. We present two versions, one with microscopic charge conservation and one with exponentially suppressed violations. They agree for correlation functions of simple operators, but differ in the variance of charged one-point functions at finite temperature. We then apply these ideas to holography and to gravitational low-energy effective theories with a global symmetry. We show that Euclidean wormholes predict a non-zero variance for charged one-point functions, which is incompatible with microscopic charge conservation. This implies that global symmetries in quantum gravity must either be gauged or explicitly broken by non-perturbative effects.


title: New Evidence for Extended HeII Reionization at z>3.5 from HeII Lyman Alpha and Beta Transmission Spikes

abstract: We present new high-resolution (R~14,000) spectra of the two brightest HeII-transparent quasars in the far-UV (FUV) at z>3.5, HE2QSJ2311-1417 (z=3.70) and HE2QSJ1630+0435 (z=3.81), obtained with the Cosmic Origins Spectrograph (COS) on the Hubble Space Telescope (HST). In the predominantly saturated HeII absorption spectra, both sightlines show several isolated resolved (full width at half maximum FWHM>50 km/s) transmission spikes in HeII Ly$\alpha$ and HeII Ly$\beta$. The incidence of such spikes decreases with increasing redshift, but both sightlines show significant spikes at z>3.5, signaling the presence of fully ionized regions in the z>3.5 intergalactic medium (IGM). We employ an automated algorithm to compare the number of detected HeII transmission spikes to predictions from mock spectra created from the outputs of a cubic (100/h cMpc)^3 optically thin Nyx hydrodynamical simulation, assuming a range of UV background photoionization rates $\Gamma_\mathrm{HeII}$. From the incidence of Ly$\alpha$ and Ly$\beta$ transmission spikes we infer similar photoionization rates of $\Gamma_\mathrm{HeII}=2.0^{+0.6}_{-0.5}\times 10^{-15}$s$^{-1}$ at 3.51<z<3.66 and $\Gamma_\mathrm{HeII}=0.9\pm0.3 \times 10^{-15}$s$^{-1}$ at 3.460<z<3.685, respectively. Because the transmission spikes indicate fully ionized regions at z>3.5 along both lines of sight, our observations provide further evidence that HeII reionization had substantially progressed at these redshifts.


title: Speed limits for radiation driven SMBH winds

abstract: Ultra Fast Outflows (UFOs) are an established feature in X-ray spectra of AGNs. According to the standard picture, they are launched at accretion disc scales with relativistic velocities, up to 0.3-0.4 c. Their high kinetic power is enough to induce an efficient feedback on galactic-scale, possibly contributing to the co-evolution between the central supermassive black hole (SMBH) and the host galaxy. It is therefore of paramount importance to fully understand the UFO physics, in particular the forces driving their acceleration and the relation with the accretion flow they originate from. In this paper we investigate the impact of special relativity effects on the radiative pressure exerted onto the outflow. The radiation received by the wind decreases for increasing outflow velocity v, implying that the standard Eddington limit argument has to be corrected according to v. Due to the limited ability of the radiation to counteract the SMBH gravity, we expect to find lower typical velocities with respect to the non-relativistic scenario. We integrate the relativistic-corrected outflow equation of motion for a realistic set of starting conditions. We concentrate on UFO typical values of ionisation, column density and launching radius. We explore a one-dimensional, spherical geometry and a 3D setting with a rotating thin accretion disc. We find that the inclusion of relativistic effects leads to sizeable differences in the wind dynamics and that v is reduced up to 50% with respect to the non-relativistic treatment. We compare our results with a sample of UFO from the literature, and we find that the relativistic-corrected velocities are systematically lower than the reported ones, indicating the need for an additional mechanism, such as magnetic driving, to explain the highest velocity components. These conclusions, derived for AGN winds, have a general applicability.


title: Searching for solar-like oscillations in pre-main sequence stars using APOLLO

abstract: In recent years, our understanding of solar-like oscillations from main sequence to red giant stars has improved dramatically thanks to pristine data collected from space telescopes. One of the remaining open questions focuses around the observational identification of solar-like oscillations in pre-main sequence stars. We aim to develop an improved method to search for solar-like oscillations in pre-main sequence stars and apply it to data collected by the Kepler K2 mission. Our software APOLLO includes a novel way to detect low signal-to-noise ratio solar like oscillations in the presence of a high background level. By calibrating our method using known solar-like oscillators from the main Kepler mission, we apply it to T Tauri stars observed by Kepler K2 and identify several candidate pre-main sequence solar-like oscillators. We find that our method is robust even when applied to time-series of observational lengths as short as those obtained with the TESS satellite in one sector. We identify EPIC 205375290 as a possible candidate for solar-like oscillations in a pre-main sequence star with $\nu_\mathrm{max} \simeq 242\,\mu$Hz. We also derive EPIC 205375290's fundamental parameters to be $T_\mathrm{eff}$ = 3670$\pm$180 K, log $g$ = 3.85$\pm$0.3, $v$sin$i$ = 8 $\pm$ 1 km s$^{-1}$, and about solar metallicity from a high-resolution spectrum obtained from the Keck archive.


title: Numerical Approximations of Coupled Forward-Backward SPDEs

abstract: We propose and study a scheme combining the finite element method and machine learning techniques for the numerical approximations of coupled nonlinear forward-backward stochastic partial differential equations (FBSPDEs) with homogeneous Dirichlet boundary conditions. Precisely, we generalize the pioneering work of Dunst and Prohl [SIAM J. Sci. Comp., 38(2017), 2725--2755] by considering general nonlinear and nonlocal FBSPDEs with more inclusive coupling; self-contained proofs are provided and different numerical techniques for the resulting finite-dimensional equations are adopted. For such FBSPDEs, we first prove the existence and uniqueness of the strong solution as well as of the weak solution. Then the finite element method in the spatial domain leads to approximations of FBSPDEs by finite-dimensional forward-backward stochastic differential equations (FBSDEs) which are numerically computed by using some deep learning-based schemes. The convergence analysis is addressed for the spatial discretization of FBSPDEs, and the numerical examples, including both decoupled and coupled cases, indicate that our methods are quite efficient.


title: BMS algebra as an extension of the Poincar\'e symmetry in light-cone gravity

abstract: We analyze possible local extensions of the Poincar\'e symmetry in light-cone gravity in four dimensions. We use a formalism where we represent the algebra on the two physical degrees of freedom, one with helicity $2$ and the other with helicity $-2$. The representation is non-linearly realized and one of the light-cone momenta is the Hamiltonian, which is hence a non-linear generator of the algebra. We find that this can be locally realized and the Poincar\'e algebra extended to the BMS symmetry without any reference to asymptotic limits.


title: Perceptron Theory Can Predict the Accuracy of Neural Networks

abstract: Multilayer neural networks set the current state of the art for many technical classification problems. But, these networks are still, essentially, black boxes in terms of analyzing them and predicting their performance. Here, we develop a statistical theory for the one-layer perceptron and show that it can predict performances of a surprisingly large variety of neural networks with different architectures. A general theory of classification with perceptrons is developed by generalizing an existing theory for analyzing reservoir computing models and connectionist models for symbolic reasoning known as vector symbolic architectures. Our statistical theory offers three formulas leveraging the signal statistics with increasing detail. The formulas are analytically intractable, but can be evaluated numerically. The description level that captures maximum details requires stochastic sampling methods. Depending on the network model, the simpler formulas already yield high prediction accuracy. The quality of the theory predictions is assessed in three experimental settings, a memorization task for echo state networks (ESNs) from reservoir computing literature, a collection of classification datasets for shallow randomly connected networks, and the ImageNet dataset for deep convolutional neural networks. We find that the second description level of the perceptron theory can predict the performance of types of ESNs, which could not be described previously. The theory can predict deep multilayer neural networks by being applied to their output layer. While other methods for prediction of neural networks performance commonly require to train an estimator model, the proposed theory requires only the first two moments of the distribution of the postsynaptic sums in the output neurons. The perceptron theory compares favorably to other methods that do not rely on training an estimator model.


title: Optical emission lines in the most massive galaxies: morphology, kinematics and ionisation properties

abstract: To better characterize the upper end of the galaxy stellar mass range, the MUSE Most Massive Galaxies (M3G) Survey targeted the most massive galaxies (M$>10^{12}$ M$_{\odot}$) found in the densest known clusters of galaxies at $z\sim0.046$. The sample is composed by 25 early-type galaxies: 14 BCGs, of which 3 are in the densest region of the Shapley Super Cluster (SSC), and 11 massive satellites in the SSC. In this work we aim at deriving the spatial distribution and kinematics of the gas, and discussing its ionisation mechanism and origin in the optical wavelength range with MUSE data. We fit the continuum of the spectra using an extensive library of single stellar population models and model the emission lines employing up to three Gaussian functions. In the M3G sample, ionized-gas was detected in 5 BCGs, of which one is in the densest region of the SSC, and 6 massive satellites in the SSC. Among these objects, [OI] and [NI] were detected in 3 BCGs and one satellite. The gas is centrally concentrated in almost all objects, except for 2 BCGs that show filaments and 2 massive satellites with extended emission. The emission line profiles of 3 BCGs present red/blueshifted components. The presence of dust was revealed by analysing Balmer line ratios obtaining a mean $E(B-V)$ of 0.2-0.3. The emission-line diagnostic diagrams show predominately LINER line ratios with little contamination from star formation. The gas was detected in 80% of fast rotators and 35% of slow rotators. The orientations of stellar and gaseous rotations are aligned with respect to each other for 60% of satellites and 25% of BCGs. The presence of misalignments points to an external origin of the gas for 3 BCGs and 2 satellites. On the other hand, some of these systems are characterized by triaxial and prolate-like stellar rotation that could support an internal origin of the gas even in case of misalignments.


title: The quantum cosmological tilt and the origin of dark matter

abstract: A promising candidate for cold dark matter is primordial black holes (PBH) formed from strong primordial quantum fluctuations. A necessary condition for the formation of PBH's is a change of sign in the tilt governing the anomalous scale invariance of the power spectrum from red at large scales into blue at small scales. Non-perturbative information on the dependence of the power spectrum tilt on energy scale can be extracted from the quantum Fisher information measuring the energy dependence of the quantum phases defining the de Sitter vacua. We show that this non-perturbative quantum tilt goes from a red tilted phase, at large scales, into a blue tilted phase at small scales converging to $n_s=2$ in the UV. This allows the formation of PBH's in the range of masses $\lesssim 10^{20} gr$.


title: Quantum ergodicity in the many-body localization problem

abstract: We generalize Page's result on the entanglement entropy of random pure states to the many-body eigenstates of realistic disordered many-body systems subject to long range interactions. This extension leads to two principal conclusions: first, for increasing disorder the "shells" of constant energy supporting a system's eigenstates fill only a fraction of its full Fock space and are subject to intrinsic correlations absent in synthetic high-dimensional random lattice systems. Second, in all regimes preceding the many-body localization transition individual eigenstates are thermally distributed over these shells. These results, corroborated by comparison to exact diagonalization for an SYK model, are at variance with the concept of "non-ergodic extended states" in many-body systems discussed in the recent literature.


title: Bayesian Optimization -- Multi-Armed Bandit Problem

abstract: In this report, we survey Bayesian Optimization methods focussed on the Multi-Armed Bandit Problem. We take the help of the paper "Portfolio Allocation for Bayesian Optimization". We report a small literature survey on the acquisition functions and the types of portfolio strategies used in papers discussing Bayesian Optimization. We also replicate the experiments and report our findings and compare them to the results in the paper. Code link: https://colab.research.google.com/drive/1GZ14klEDoe3dcBeZKo5l8qqrKf_GmBDn?usp=sharing#scrollTo=XgIBau3O45_V.


title: Resistivity Exponents in 3D-Dirac Semimetals From Electron-Electron Interaction

abstract: We study the resistivity of three-dimensional semimetals with linear dispersion in the presence of on-site electron-electron interaction. The well-known quadratic temperature dependence of the resistivity of conventional metals is turned into an unusual $T^6$-behavior. An analogous change affects the thermal transport, preserving the linearity in $T$ of the ratio between thermal and electrical conductivities. These results hold from weak coupling up to the non-perturbative region of the Mott transition. Our findings yield a natural explanation for the hitherto not understood large exponents characterizing the temperature-dependence of transport experiments on various topological semimetals.


title: Adaptive Verifiable Training Using Pairwise Class Similarity

abstract: Verifiable training has shown success in creating neural networks that are provably robust to a given amount of noise. However, despite only enforcing a single robustness criterion, its performance scales poorly with dataset complexity. On CIFAR10, a non-robust LeNet model has a 21.63% error rate, while a model created using verifiable training and a L-infinity robustness criterion of 8/255, has an error rate of 57.10%. Upon examination, we find that when labeling visually similar classes, the model's error rate is as high as 61.65%. We attribute the loss in performance to inter-class similarity. Similar classes (i.e., close in the feature space) increase the difficulty of learning a robust model. While it's desirable to train a robust model for a large robustness region, pairwise class similarities limit the potential gains. Also, consideration must be made regarding the relative cost of mistaking similar classes. In security or safety critical tasks, similar classes are likely to belong to the same group, and thus are equally sensitive. In this work, we propose a new approach that utilizes inter-class similarity to improve the performance of verifiable training and create robust models with respect to multiple adversarial criteria. First, we use agglomerate clustering to group similar classes and assign robustness criteria based on the similarity between clusters. Next, we propose two methods to apply our approach: (1) Inter-Group Robustness Prioritization, which uses a custom loss term to create a single model with multiple robustness guarantees and (2) neural decision trees, which trains multiple sub-classifiers with different robustness guarantees and combines them in a decision tree architecture. On Fashion-MNIST and CIFAR10, our approach improves clean performance by 9.63% and 30.89% respectively. On CIFAR100, our approach improves clean performance by 26.32%.


title: Axial Magnetoelectric Effect in Dirac semimetals

abstract: We propose a mechanism to generate a static magnetization via {\em axial magnetoelectric effect} (AMEE). Magnetization ${\bf M} \sim {\bf E}_5(\omega)\times {\bf E}_5^{*}(\omega)$ appears as a result of the transfer of the angular momentum of the axial electric field ${\bf E}_5(t)$ into the magnetic moment in Dirac and Weyl semimetals. We point out similarities and differences between the proposed AMEE and a conventional inverse Faraday effect (IFE). As an example, we estimated the AMEE generated by circularly polarized acoustic waves and find it to be on the scale of microgauss for gigahertz frequency sound. In contrast to a conventional IFE, magnetization rises linearly at small frequencies and fixed sound intensity as well as demonstrates a nonmonotonic peak behavior for the AMEE. The effect provides a way to investigate unusual axial electromagnetic fields via conventional magnetometry techniques.


title: Variational Image Feature Extraction for the EHT

abstract: Imaging algorithms form powerful analysis tools for VLBI data analysis. However, these tools cannot measure certain image features (e.g., ring diameter) by their non-parametric nature. This is unfortunate since these image features are often related to astrophysically relevant quantities such as black hole mass. This paper details a new general image feature extraction technique that applies to a wide variety of VLBI image reconstructions called variational image domain analysis. Unlike previous tools, variational image domain analysis can be applied to any image reconstruction regardless of its structure. To demonstrate its flexibility, we analyze thousands of reconstructions from previous EHT synthetic datasets and recover image features such as diameter, orientation, and asymmetry. By measuring these features, VIDA can help extract astrophysically relevant quantities such as the mass and orientation of M 87.


title: Learning Collision-Free Space Detection from Stereo Images: Homography Matrix Brings Better Data Augmentation

abstract: Collision-free space detection is a critical component of autonomous vehicle perception. The state-of-the-art algorithms are typically based on supervised learning. The performance of such approaches is always dependent on the quality and amount of labeled training data. Additionally, it remains an open challenge to train deep convolutional neural networks (DCNNs) using only a small quantity of training samples. Therefore, this paper mainly explores an effective training data augmentation approach that can be employed to improve the overall DCNN performance, when additional images captured from different views are available. Due to the fact that the pixels of the collision-free space (generally regarded as a planar surface) between two images captured from different views can be associated by a homography matrix, the scenario of the target image can be transformed into the reference view. This provides a simple but effective way of generating training data from additional multi-view images. Extensive experimental results, conducted with six state-of-the-art semantic segmentation DCNNs on three datasets, demonstrate the effectiveness of our proposed training data augmentation algorithm for enhancing collision-free space detection performance. When validated on the KITTI road benchmark, our approach provides the best results for stereo vision-based collision-free space detection.


title: Seiberg-Witten map Invariant Scatterings

abstract: We investigate Scattering amplitudes of the reversible $\theta$-exact Seiberg-Witten (SW) map based noncommutative (NC) quantum electrodynamics, and show explicitly the SW map invariance for all tree-level NCQED $2\to2$ proceses, including M\"oller, Bhabha, Compton, pair annihilation, pair production and light-by-light $(\gamma\gamma\to\gamma\gamma)$ scatterings. We apply our NCQED results to the $\gamma\gamma\to\gamma\gamma$ and $\gamma\gamma\to\ell^+\ell^-$ exclusive processes, convoluted to the ultraperipheral lead $^{208}$Pb ion-ion collisions, recently measured by the ATLAS collaboration at LHC. We demonstrate that $\gamma\gamma\to\gamma\gamma$ is the more appropriate channel to probe NC scale $\Lambda_{\rm NC}$ while both are less efficient than some other probes.


title: A New Approach to Regular & Indeterminate Strings

abstract: In this paper we propose a new, more appropriate definition of regular and indeterminate strings. A regular string is one that is "isomorphic" to a string whose entries all consist of a single letter, but which nevertheless may itself include entries containing multiple letters. A string that is not regular is said to be indeterminate. We begin by proposing a new model for the representation of strings, regular or indeterminate, then go on to describe a linear time algorithm to determine whether or not a string $x = x[1..n]$ is regular and, if so, to replace it by a lexicographically least (lex-least) string $y$ whose entries are all single letters. Furthermore, we connect the regularity of a string to the transitive closure problem on a graph, which in our special case can be efficiently solved. We then introduce the idea of a feasible palindrome array MP of a string, and prove that every feasible MP corresponds to some (regular or indeterminate) string. We describe an algorithm that constructs a string $x$ corresponding to given feasible MP, while ensuring that whenever possible $x$ is regular and if so, then lex-least. A final section outlines new research directions suggested by this changed perspective on regular and indeterminate strings.


title: Magnetic, superconducting, and topological surface states on Fe$_{1+y}$Te$_{1-x}$Se$_{x}$

abstract: The idea of employing non-Abelian statistics for error-free quantum computing ignited interest in recent reports of topological surface superconductivity and Majorana zero modes (MZMs) in FeTe$_{0.55}$Se$_{0.45}$. An associated puzzle is that the topological features and superconducting properties are not observed uniformly across the sample surface. Understanding and practical control of these electronic inhomogeneities present a prominent challenge for potential applications. Here, we combine neutron scattering, scanning angle-resolved photoemission spectroscopy (ARPES), and microprobe composition and resistivity measurements to characterize the electronic state of Fe$_{1+y}$Te$_{1-x}$Se$_{x}$. We establish a phase diagram in which the superconductivity is observed only at sufficiently low Fe concentration, in association with distinct antiferromagnetic correlations, while the coexisting topological surface state occurs only at sufficiently high Te concentration. We find that FeTe$_{0.55}$Se$_{0.45}$ is located very close to both phase boundaries, which explains the inhomogeneity of superconducting and topological states. Our results demonstrate the compositional control required for use of topological MZMs in practical applications.


title: Invisible decays of axion-like particles: constraints and prospects

abstract: Axion-like particles (ALPs) can provide a portal to new states of a dark sector. We study the phenomenology of this portal when the ALP mainly decays invisibly, while its interaction with the standard model sector proceeds essentially via its coupling to electrons and/or photons. We re-analyse existing limits from various collider and beam dump experiments, including in particular ALP production via electron/positron interactions, in addition to the usual production through ALP-photon coupling. We further discuss the interplay between these limits and the intriguing possibility of explaining simultaneously the muon and electron magnetic moment anomalies. Finally, we illustrate the prospects of ALP searches at the LNF positron fixed-target experiment PADME, and the future reach of an upgraded experimental setup.


title: An asymptotic structure of the bifurcation boundary of the perturbed Painlev\'e-2 equation

abstract: Solutions of the perturbed Painlev\'e-2 equation are typical for describing a dynamic bifurcation of soft loss of stability. The bifurcation boundary separates solutions of different types before bifurcation and before loss of stability. This border has a spiral structure. The equations of modulation of the bifurcation boundary depending on the perturbation are obtained. Both analytical and numerical results are given


title: An algebraic characterization of ample type I groupoids

abstract: We give algebraic characterizations of the type I and CCR properties for locally compact second countable, ample Hausdorff groupoids in terms of subquotients of their Boolean inverse semigroups of compact open bisections. It yields in turn algebraic characterizations of both properties for inverse semigroups in terms of subquotients of their booleanizations.


title: A Serre Relation in the $K$-theoretic Hall algebra of surfaces

abstract: We prove a Serre relation in the $K$-theoretic Hall algebra of surfaces constructed by Kapranov-Vasserot and the second author.


title: Fluid velocity from transverse momentum spectra

abstract: We parametrize the transverse momentum distribution of outgoing hadrons in ultrarelativistic nucleus-nucleus collisions as a superposition of boosted thermal distributions. In this approach, which generalizes the conventional blast wave, the momentum distribution is determined by the distribution of the fluid velocity. We analyze the difference between this generalized blast-wave parametrization and a full hydrodynamic calculation. We then apply the generalized blast-wave fit to experimental data on Pb+Pb collisions at $\sqrt{s_{\rm NN}}=2.76\ \mathrm{TeV}$. The fit is reasonable up to $p_t\sim 6\ \mathrm{GeV}$, much beyond the range where hydrodynamics is usually applied, but not perfect. Based on the differences between the fit and the data, we argue that an ideal hydrodynamic calculation cannot fit simultaneously all identified particle spectra, irrespective of the specific implementation. In particular, data display a significant excess of pions at low $p_t$, whose physical interpretation is discussed. Data also show that the distribution of the fluid velocity becomes broader as the collision becomes less central. This broadening is explained by event-by-event hydrodynamic calculations, where it results from the centrality dependence of initial-state fluctuations.


title: Distributed Sensor Networks Deployed Using Soft Growing Robots

abstract: Due to their ability to move without sliding relative to their environment, soft growing robots are attractive for deploying distributed sensor networks in confined spaces. Sensing of the state of such robots would also add to their capabilities as human-safe, adaptable manipulators. However, incorporation of distributed sensors onto soft growing robots is challenging because it requires an interface between stiff and soft materials, and the sensor network needs to undergo significant strain. In this work, we present a method for adding sensors to soft growing robots that uses flexible printed circuit boards with self-contained units of microcontrollers and sensors encased in a laminate armor that protects them from unsafe curvatures. We demonstrate the ability of this system to relay directional temperature and humidity information in hard-to-access spaces. We also demonstrate and characterize a method for sensing the growing robot shape using inertial measurement units deployed along its length, and develop a mathematical model to predict its accuracy. This work advances the capabilities of soft growing robots, as well as the field of soft robot sensing.


title: On the number of generators of an algebra over a commutative ring

abstract: A theorem of O. Forster says that if $R$ is a noetherian ring of Krull dimension $d$, then any projective $R$-module of rank $n$ can be generated by $d+n$ elements. S. Chase and R. Swan subsequently showed that this bound is sharp: there exist examples that cannot be generated by fewer than $d+n$ elements. We view projective $R$-modules as $R$-forms of the non-unital $R$-algebra where the product of any two elements is $0$. The first two authors generalized Forster's theorem to forms of other algebras (not necessarily commutative, associative or unital); A. Shukla and the third author then showed that this generalized Forster bound is optimal for \'etale algebras. In this paper, we prove new upper and lower bound on the number of generators of an $R$-form of a $k$-algebra, where $k$ is an infinite field and $R$ has finite transcendence degree $d$ over $k$. In particular, we show that, contrary to expectations, for most types of algebras, the generalized Forster bound is far from optimal. Our results are particularly detailed in the case of Azumaya algebras. Our proofs are based on reinterpreting the problem as a question about approximating the classifying stack $BG$, where $G$ is the automorphism group of the algebra in question, by algebraic spaces of a certain form.


title: Planet formation in intermediate-separation binary systems

abstract: We report the first characterisation of the individual discs in the intermediate separation binary systems KK Oph and HD 144668 at millimetre wavelengths. In both systems the circum-primary and the circum-secondary discs are detected in the millimetre continuum emission, but not in $^{13}$CO nor C$^{18}$O lines. Even though the disc structure is only marginally resolved, we find indications of large-scale asymmetries in the outer regions of the primary discs, most likely due to perturbation by the companion. The derived dust masses are firmly above debris disc level for all stars. The primaries have about three times more dust in their discs than the secondaries. In the case of HD 144668 the opacity spectral index of the primary and secondary differ by the large margin of 0.69 which may be a consequence of the secondary disc being more compact. Upper limits on the gas masses imply less than 0.1 M$_{\textrm{jup}}$ in any of these discs, meaning that giant planets can no longer form in them. Considering that there have been no massive gas discs identified to date in intermediate separation binaries (i.e., binaries at a few hundred au separation), this opens space for speculation whether their binarity causes the removal of gas, with tidal interaction truncating the discs and hence shortening the accretion timescale. More systematic studies in this respect are sorely needed.


title: A Statistical Estimation of the Occurrence of Extraterrestrial Intelligence in the Milky Way Galaxy

abstract: In the field of Astrobiology, the precise location, prevalence and age of potential extraterrestrial intelligence (ETI) have not been explicitly explored. Here, we address these inquiries using an empirical galactic simulation model to analyze the spatial-temporal variations and the prevalence of potential ETI within the Galaxy. This model estimates the occurrence of ETI, providing guidance on where to look for intelligent life in the Search for ETI (SETI) with a set of criteria, including well-established astrophysical properties of the Milky Way. Further, typically overlooked factors such as the process of abiogenesis, different evolutionary timescales and potential self-annihilation are incorporated to explore the growth propensity of ETI. We examine three major parameters: 1) the likelihood rate of abiogenesis ({\lambda}A); 2) evolutionary timescales (Tevo); and 3) probability of self-annihilation of complex life (Pann). We found Pann to be the most influential parameter determining the quantity and age of galactic intelligent life. Our model simulation also identified a peak location for ETI at an annular region approximately 4 kpc from the Galactic center around 8 billion years (Gyrs), with complex life decreasing temporally and spatially from the peak point, asserting a high likelihood of intelligent life in the galactic inner disk. The simulated age distributions also suggest that most of the intelligent life in our galaxy are young, thus making observation or detection difficult.


title: SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming

abstract: The second-order cone (SOC) is a class of simple convex cones and optimizing over them can be done more efficiently than with semidefinite programming. It is interesting both in theory and in practice to investigate which convex cones admit a representation using SOCs, given that they have a strong expressive ability. In this paper, we prove constructively that the cone of sums of nonnegative circuits (SONC) admits a SOC representation. Based on this, we give a new algorithm for unconstrained polynomial optimization via SOC programming. We also provide a hybrid numeric-symbolic scheme which combines the numerical procedure with a rounding-projection algorithm to obtain exact nonnegativity certificates. Numerical experiments demonstrate the efficiency of our algorithm for polynomials with fairly large degree and number of variables.


title: Temperature of the three-state quantum walk

abstract: Despite the coined quantum walk being a closed quantum system under a unitary evolution, its Hilbert space can be divided in two sub-spaces, which makes it possible for one to analyze one of the subsystems (the coin or the walker) as an open system in contact with a reservoir. In the present work we calculate the asymptotic reduced density matrix of the coin space of the three-state quantum walk in an infinite line, and use that result to analyze the entanglement between the chirality, and position space. We calculate the von Neumann entropy and the entanglement temperature per mean energy of the system in the asymptotic limit.


title: Sampling and the complexity of nature

abstract: Randomness is an intrinsic feature of quantum theory. The outcome of any quantum measurement will be random, sampled from a probability distribution that is defined by the measured quantum state. The task of sampling from a prescribed probability distribution is therefore a natural technological application of quantum devices. In the research presented in this thesis, I investigate the complexity-theoretic and physical foundations of quantum sampling algorithms. I assess the computational power of natural quantum simulators and close loopholes in the complexity-theoretic argument for the classical intractability of quantum samplers (Part I). I shed light on how and under which conditions quantum sampling devices can be tested or verified in regimes that are not simulable on classical computers (Part II). Finally, I explore the computational boundary between classical and quantum computing devices (Part III). In particular, I develop efficiently computable measures of the infamous Monte Carlo sign problem and assess those measures both in terms of their practicability as a tool for alleviating or easing the sign problem and the computational complexity of this task. An overarching theme of the thesis is the quantum sign problem which arises due to destructive interference between paths -- an intrinsically quantum effect. The (non-)existence of a sign problem takes on the role as a criterion which delineates the boundary between classical and quantum computing devices. I begin the thesis by identifying the quantum sign problem as a root of the computational intractability of quantum output probabilities. It turns out that the intricate structure of the probability distributions the sign problem gives rise to, prohibits their verification from few samples. In an ironic twist, I show that assessing the intrinsic sign problem of a quantum system is again an intractable problem.

categories: quant-ph cond-mat.quant-gas math-ph math.MP


title: Cross-disciplinary learning: A framework for assessing application of concepts across STEM disciplines

abstract: We propose and define the construct, cross-disciplinary learning, which can guide learning and assessment in programs that feature sequential learning across multiple STEM disciplines. Cross-disciplinary learning combines insights from interdisciplinary learning, transfer, and resources frameworks and highlights the processes of resource activation, transformation, and integration to support sensemaking in a novel disciplinary context by drawing on knowledge from other, prerequisite disciplines. We describe two measurement approaches based on this construct: A paired multiple choice instrument set to measure the extent of cross-disciplinary learning, and a think-aloud interview approach to provide insights into which resources are activated, and how they are used, in making sense of an unfamiliar phenomenon. We offer implications for program and course assessment.


title: A note on seminormality of cut polytopes

abstract: We prove that seminormality of cut polytopes is equivalent to normality. This settles two conjectures regarding seminormality of cut polytopes.


title: Electron Energy Spectra and e-e Bremsstrahlung from Anisotropic Electron Distributions in Extreme Solar Flares

abstract: We study the electron energy spectra of two powerful solar flares SOL2003-10-28T 11:06:16 (GOES class X17.2) and SOL2002-07-23T00:18:16 (X4.8) on the basis of HXR and gamma-ray spectra obtained from RHESSI data. Electron-electron (e-e) bremsstrahlung makes a significant contribution to the X-ray flux at energies above 500 keV. In X-ray flux calculations different electron pitch-angle distributions were considered: quasi-transverse and quasi-longitudinal. It was shown that breaks in hard X-ray spectra occur on energies $\epsilon\approx100$ keV with photon spectral-index difference $\Delta\gamma\ge 1$ in the case of quasi-longitudinal anisotropy and hard power-law electron energy spectra. We deduce the parameters of non-thermal electrons energy spectra from RHESSI data for the extreme solar flares of 2003 October 28 and 2002 July 23. After including e-e bremsstrahlung, the non-thermal electrons energy spectra obtained in the thick-target model can be fitted using power-law with spectral index $\delta\approx 5$. For the 2002 July 23 flare, there is a pronounced asymmetry towards the southern footpoint, starting from energies above 100 keV. The separation of HXR sources at energies above 100 keV may be related to a feature of relativistic electron transport in flaring loops.


title: Probing non-Hermitian phase transitions in curved space via quench dynamics

abstract: Non-Hermitian Hamiltonians are relevant to describe the features of a broad class of physical phenomena, ranging from photonics and atomic and molecular systems to nuclear physics and mesoscopic electronic systems. An important question relies on the understanding of the influence of curved background on the static and dynamical properties of non-Hermitian systems. In this work, we study the interplay of geometry and non-Hermitian dynamics by unveiling the existence of curvature-dependent non-Hermitian phase transitions. We investigate a prototypical model of Dirac fermions on a sphere with an imaginary mass term. This exactly-solvable model admits an infinite set of curvature-dependent pseudo-Landau levels. We characterize these phases by computing an order parameter given by the pseudo-magnetization and, independently, the non-Hermitian fidelity susceptibility. Finally, we probe the non-Hermitian phase transitions by computing the (generalized) Loschmidt echo and the dynamical fidelity after a quantum quench of the imaginary mass and find singularities in correspondence of exceptional radii of the sphere.


title: Learning to Stop: Dynamic Simulation Monte-Carlo Tree Search

abstract: Monte Carlo tree search (MCTS) has achieved state-of-the-art results in many domains such as Go and Atari games when combining with deep neural networks (DNNs). When more simulations are executed, MCTS can achieve higher performance but also requires enormous amounts of CPU and GPU resources. However, not all states require a long searching time to identify the best action that the agent can find. For example, in 19x19 Go and NoGo, we found that for more than half of the states, the best action predicted by DNN remains unchanged even after searching 2 minutes. This implies that a significant amount of resources can be saved if we are able to stop the searching earlier when we are confident with the current searching result. In this paper, we propose to achieve this goal by predicting the uncertainty of the current searching status and use the result to decide whether we should stop searching. With our algorithm, called Dynamic Simulation MCTS (DS-MCTS), we can speed up a NoGo agent trained by AlphaZero 2.5 times faster while maintaining a similar winning rate. Also, under the same average simulation count, our method can achieve a 61% winning rate against the original program.


title: Relaxation times do not capture logical qubit dynamics

abstract: Quantum error correction procedures have the potential to enable faithful operation of large-scale quantum computers. They protect information from environmental decoherence by storing it in logical qubits, built from ensembles of entangled physical qubits according to suitably tailored quantum error correcting encodings. To date, no generally accepted framework to characterise the behaviour of logical qubits as quantum memories has been developed. In this work, we show that generalisations of well-established figures of merit of physical qubits, such as relaxation times, to logical qubits fail and do not capture dynamics of logical qubits. We experimentally illustrate that, in particular, spatial noise correlations can give rise to rich and counter-intuitive dynamical behavior of logical qubits. We show that a suitable set of observables, formed by code space population and logical operators within the code space, allows one to track and characterize the dynamical behaviour of logical qubits. Awareness of these effects and the efficient characterisation tools used in this work will help to guide and benchmark experimental implementations of logical qubits.


title: Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps

abstract: This paper proposes a new reactive temporal logic planning algorithm for multiple robots that operate in environments with unknown geometry modeled using occupancy grid maps. The robots are equipped with individual sensors that allow them to continuously learn a grid map of the unknown environment using existing Simultaneous Localization and Mapping (SLAM) methods. The goal of the robots is to accomplish complex collaborative tasks, captured by global Linear Temporal Logic (LTL) formulas. The majority of existing LTL planning approaches rely on discrete abstractions of the robot dynamics operating in known environments and, as a result, they cannot be applied to the more realistic scenarios where the environment is initially unknown. In this paper, we address this novel challenge by proposing the first reactive, abstraction-free, and distributed LTL planning algorithm that can be applied for complex mission planning of multiple robots operating in unknown environments. The proposed algorithm is reactive, i.e., planning is adapting to the updated environmental map and abstraction-free as it does not rely on designing abstractions of the robot dynamics. Also, our algorithm is distributed in the sense that the global LTL task is decomposed into single-agent reachability problems constructed online based on the continuously learned map. The proposed algorithm is complete under mild assumptions on the structure of the environment and the sensor models. We provide extensive numerical simulations and hardware experiments that illustrate the theoretical analysis and show that the proposed algorithm can address complex planning tasks for large-scale multi-robot systems in unknown environments.


title: Quantizing data for distributed learning

abstract: We consider machine learning applications that train a model by leveraging data distributed over a trusted network, where communication constraints can create a performance bottleneck. A number of recent approaches propose to overcome this bottleneck through compression of gradient updates. However, as models become larger, so does the size of the gradient updates. In this paper, we propose an alternate approach to learn from distributed data that quantizes data instead of gradients, and can support learning over applications where the size of gradient updates is prohibitive. Our approach leverages the dependency of the computed gradient on data samples, which lie in a much smaller space in order to perform the quantization in the smaller dimension data space. At the cost of an extra gradient computation, the gradient estimate can be refined by conveying the difference between the gradient at the quantized data point and the original gradient using a small number of bits. Lastly, in order to save communication, our approach adds a layer that decides whether to transmit a quantized data sample or not based on its importance for learning. We analyze the convergence of the proposed approach for smooth convex and non-convex objective functions and show that we can achieve order optimal convergence rates with communication that mostly depends on the data rather than the model (gradient) dimension. We use our proposed algorithm to train ResNet models on the CIFAR-10 and ImageNet datasets, and show that we can achieve an order of magnitude savings over gradient compression methods. These communication savings come at the cost of increasing computation at the learning agent, and thus our approach is beneficial in scenarios where communication load is the main problem.


title: Maximality of Laplacian Algebras, with Applications to Invariant Theory

abstract: We show Laplacian algebras are maximal, and give applications to the Classical Invariant Theory of real orthogonal representations of compact groups, including: The solution of the Inverse Invariant Theory problem for finite groups. An if-and-only-if criterion for when a separating set is a generating set. And the introduction of a class of generalized polarizations which, in a certain class of representations (including all representations of finite groups), always generates the algebra of invariants of their diagonal representations.


title: Prediction of High-Performance Computing Input/Output Variability and Its Application to Optimization for System Configurations

abstract: Performance variability is an important measure for a reliable high performance computing (HPC) system. Performance variability is affected by complicated interactions between numerous factors, such as CPU frequency, the number of input/output (IO) threads, and the IO scheduler. In this paper, we focus on HPC IO variability. The prediction of HPC variability is a challenging problem in the engineering of HPC systems and there is little statistical work on this problem to date. Although there are many methods available in the computer experiment literature, the applicability of existing methods to HPC performance variability needs investigation, especially, when the objective is to predict performance variability both in interpolation and extrapolation settings. A data analytic framework is developed to model data collected from large-scale experiments. Various promising methods are used to build predictive models for the variability of HPC systems. We evaluate the performance of the methods by measuring prediction accuracy at previously unseen system configurations. We also discuss a methodology for optimizing system configurations that uses the estimated variability map. The findings from method comparisons and developed tool sets in this paper yield new insights into existing statistical methods and can be beneficial for the practice of HPC variability management. This paper has supplementary materials online.


title: When Physical Unclonable Function Meets Biometrics

abstract: As the Covid-19 pandemic grips the world, healthcare systems are being reshaped, where the e-health concepts become more likely to be accepted. Wearable devices often carry sensitive information from users which are exposed to security and privacy risks. Moreover, users have always had the concern of being counterfeited between the fabrication process and vendors' storage. Hence, not only securing personal data is becoming a crucial obligation, but also device verification is another challenge. To address biometrics authentication and physically unclonable functions (PUFs) need to be put in place to mitigate the security and privacy of the users. Among biometrics modalities, Electrocardiogram (ECG) based biometric has become popular as it can authenticate patients and monitor the patient's vital signs. However, researchers have recently started to study the vulnerabilities of the ECG biometric systems and tried to address the issues of spoofing. Moreover, most of the wearable is enabled with CPU and memories. Thus, volatile memory-based (NVM) PUF can be easily placed in the device to avoid counterfeit. However, many research challenged the unclonability characteristics of PUFs. Thus, a careful study on these attacks should be sufficient to address the need. In this paper, our aim is to provide a comprehensive study on the state-of-the-art developments papers based on biometrics enabled hardware security.


title: The Design and Implementation of a Verified File System with End-to-End Data Integrity

abstract: Despite significant research and engineering efforts, many of today's important computer systems suffer from bugs. To increase the reliability of software systems, recent work has applied formal verification to certify the correctness of such systems, with recent successes including certified file systems and certified cryptographic protocols, albeit using quite different proof tactics and toolchains. Unifying these concepts, we present the first certified file system that uses cryptographic primitives to protect itself against tampering. Our certified file system defends against adversaries that might wish to tamper with the raw disk. Such an "untrusted storage" threat model captures the behavior of storage devices that might silently return erroneous bits as well as adversaries who might have limited access to a disk, perhaps while in transit. In this paper, we present IFSCQ, a certified cryptographic file system with strong integrity guarantees. IFSCQ combines and extends work on cryptographic file systems and formally certified file systems to prove that our design is correct. It is the first certified file system that is secure against strong adversaries that can maliciously corrupt on-disk data and metadata, including attempting to roll back the disk to earlier versions of valid data. IFSCQ achieves this by constructing a Merkle hash tree of the whole disk, and by proving that tampered disk blocks will always be detected if they ever occur. We demonstrate that IFSCQ runs with reasonable overhead while detecting several kinds of attacks.


title: Line bundles on rigid spaces in the $v$-topology

abstract: For a smooth rigid space $X$ over a perfectoid field extension $K$ of $\mathbb Q_p$, we investigate how the $v$-Picard group of the associated diamond $X^\diamondsuit$ differs from the analytic Picard group of $X$. To this end, we construct a left-exact "Hodge--Tate logarithm" sequence \[0\to \mathrm{Pic}_{\mathrm{an}}(X)\to \mathrm{Pic}_v(X^\diamondsuit)\to H^0(X,\Omega_X^1)\{-1\}.\] We deduce some analyticity criteria which have applications to $p$-adic modular forms. For algebraically closed $K$, we show that the sequence is also right-exact if $X$ is proper or one-dimensional. In contrast, we show that for the affine space $\mathbb A^n$, the image of the Hodge--Tate logarithm consists precisely of the closed differentials. It follows that up to a splitting, $v$-line bundles may be interpreted as Higgs bundles. For proper $X$, we use this to construct the $p$-adic Simpson correspondence of rank one.


title: A Software Engineering Perspective on Engineering Machine Learning Systems: State of the Art and Challenges

abstract: Context: Advancements in machine learning (ML) lead to a shift from the traditional view of software development, where algorithms are hard-coded by humans, to ML systems materialized through learning from data. Therefore, we need to revisit our ways of developing software systems and consider the particularities required by these new types of systems. Objective: The purpose of this study is to systematically identify, analyze, summarize, and synthesize the current state of software engineering (SE) research for engineering ML systems. Method: I performed a systematic literature review (SLR). I systematically selected a pool of 141 studies from SE venues and then conducted a quantitative and qualitative analysis using the data extracted from these studies. Results: The non-deterministic nature of ML systems complicates all SE aspects of engineering ML systems. Despite increasing interest from 2018 onwards, the results reveal that none of the SE aspects have a mature set of tools and techniques. Testing is by far the most popular area among researchers. Even for testing ML systems, engineers have only some tool prototypes and solution proposals with weak experimental proof. Many of the challenges of ML systems engineering were identified through surveys and interviews. Researchers should conduct experiments and case studies, ideally in industrial environments, to further understand these challenges and propose solutions. Conclusion: The results may benefit (1) practitioners in foreseeing the challenges of ML systems engineering; (2) researchers and academicians in identifying potential research questions; and (3) educators in designing or updating SE courses to cover ML systems engineering.


title: Interacting color strings as the origin of the liquid behavior of the quark-gluon plasma

abstract: We study the radial distribution function of the color sources (strings) formed in hadronic collisions and the requirements to obtain a liquid. As a repulsive interaction is needed, we incorporate a concentric core in the strings as well as the probability that a string allows core-core overlaps. We find systems where the difference between the gas-liquid and confined-deconfined phase transition temperatures is small. This explains the experimentally observed liquid behavior of the quark-gluon plasma above the confined-deconfined transition temperature.


title: Improving living biomass C-stock loss estimates by combining optical satellite, airborne laser scanning, and NFI data

abstract: Policy measures and management decisions aiming at enhancing the role of forests in mitigating climate-change require reliable estimates of C-stock dynamics in greenhouse gas inventories (GHGIs). Aim of this study was to assemble design-based estimators to provide estimates relevant for GHGIs using national forest inventory (NFI) data. We improve basic expansion (BE) estimates of living-biomass C-stock loss using field-data only, by leveraging with remotely-sensed auxiliary data in model-assisted (MA) estimates. Our case studies from Norway, Sweden, Denmark, and Latvia covered an area of >70 Mha. Landsat-based Forest Cover Loss (FCL) and one-time wall-to-wall airborne laser scanning (ALS) data served as auxiliary data. ALS provided information on the C-stock before a potential disturbance indicated by FCL. The use of FCL in MA estimators resulted in considerable efficiency gains which in most cases were further increased by using ALS in addition. A doubling of efficiency was possible for national estimates and even larger efficiencies were observed at the sub-national level. Average annual estimates were considerably more precise than pooled estimates using NFI data from all years at once. The combination of remotely-sensed with NFI field data yields reliable estimates which is not necessarily the case when using remotely-sensed data without reference observations.


title: Probing ultrafast laser plasma processes inside solids with resonant small-angle X-ray scattering

abstract: Extreme states of matter exist throughout the universe e.g. inside planetary cores, stars or astrophysical jets. Such conditions are generated in the laboratory in the interaction of powerful lasers with solids, and their evolution can be probed with femtosecond precision using ultra-short X-ray pulses to study laboratory astrophysics, laser-fusion research or compact particle acceleration. X-ray scattering (SAXS) patterns and their asymmetries occurring at X-ray energies of atomic bound-bound transitions contain information on the volumetric nanoscopic distribution of density, ionization and temperature. Buried heavy ion structures in high intensity laser irradiated solids expand on the nanometer scale following heat diffusion, and are heated to more than 2 million Kelvin. These experiments demonstrate resonant SAXS with the aim to better characterize dynamic processes in extreme laboratory plasmas.


title: Improving model calibration with accuracy versus uncertainty optimization

abstract: Obtaining reliable and accurate quantification of uncertainty estimates from deep neural networks is important in safety-critical applications. A well-calibrated model should be accurate when it is certain about its prediction and indicate high uncertainty when it is likely to be inaccurate. Uncertainty calibration is a challenging problem as there is no ground truth available for uncertainty estimates. We propose an optimization method that leverages the relationship between accuracy and uncertainty as an anchor for uncertainty calibration. We introduce a differentiable accuracy versus uncertainty calibration (AvUC) loss function that allows a model to learn to provide well-calibrated uncertainties, in addition to improved accuracy. We also demonstrate the same methodology can be extended to post-hoc uncertainty calibration on pretrained models. We illustrate our approach with mean-field stochastic variational inference and compare with state-of-the-art methods. Extensive experiments demonstrate our approach yields better model calibration than existing methods on large-scale image classification tasks under distributional shift.


title: FBSDE based Neural Network Algorithms for High-Dimensional Quasilinear Parabolic PDEs

abstract: In this paper, we propose forward and backward stochastic differential equations (FBSDEs) based deep neural network (DNN) learning algorithms for the solution of high dimensional quasilinear parabolic partial differential equations (PDEs), which are related to the FBSDEs by the Pardoux-Peng theory. The algorithms rely on a learning process by minimizing the pathwise difference between two discrete stochastic processes, defined by the time discretization of the FBSDEs and the DNN representation of the PDE solutions, respectively. The proposed algorithms are shown to generate DNN solutions for a 100-dimensional Black--Scholes--Barenblatt equation, accurate in a finite region in the solution space, and has a convergence rate similar to that of the Euler--Maruyama discretization used for the FBSDEs. As a result, a Richardson extrapolation technique over time discretizations can be used to enhance the accuracy of the DNN solutions. For time oscillatory solutions, a multiscale DNN is shown to improve the performance of the FBSDE DNN for high frequencies.


title: Implications of the Dark-LMA solution for neutrino mass matrices

abstract: In this work we have re-investigated two different kinds of texture zero ansatz of the low energy neutrino mass matrix in view of the Dark-Large-Mixing-Angle (DLMA) solution of the solar neutrino problem which can arise in the presence of non-standard interactions. In particular we revisit the cases of (i) one zero mass matrices when the lowest neutrino mass is zero and (ii) one zero texture with a vanishing minor. In our study we find that for most of the cases, the texture zero conditions which are allowed for the LMA solution, are also allowed for the DLMA solution. However, we found two textures belonging to the case of one zero texture with a vanishing minor where LMA solution does not give a viable solution whereas DLMA solution does. We analyze all the possible texture zero cases belonging to these two kinds of texture zero structures in detail and present correlations between different parameters. We also present the predictions for the effective neutrino mass governing neutrino-less double beta decay for the allowed textures.


title: The search for radio emission from the exoplanetary systems 55 Cancri, $\upsilon$ Andromedae, and $\tau$ Bo\"{o}tis using LOFAR beam-formed observations

abstract: Observing planetary auroral radio emission is the most promising method to detect exoplanetary magnetic fields, the knowledge of which will provide valuable insights into the planet's interior structure, atmospheric escape, and habitability. We present LOFAR-LBA circularly polarized beamformed observations of the exoplanetary systems 55 Cancri, $\upsilon$ Andromedae, and $\tau$ Bo\"{o}tis. We tentatively detect circularly polarized bursty emission from the $\tau$ Bo\"{o}tis system in the range 14-21 MHz with a flux density of $\sim$890 mJy and with a significance of $\sim$3$\sigma$. For this detection, no signal is seen in the OFF-beams, and we do not find any potential causes which might cause false positives. We also tentatively detect slowly variable circularly polarized emission from $\tau$ Bo\"{o}tis in the range 21-30 MHz with a flux density of $\sim$400 mJy and with a statistical significance of $>$8$\sigma$. The slow emission is structured in the time-frequency plane and shows an excess in the ON-beam with respect to the two simultaneous OFF-beams. Close examination casts some doubts on the reality of the slowly varying signal. We discuss in detail all the arguments for and against an actual detection. Furthermore, a $\sim$2$\sigma$ marginal signal is found from the $\upsilon$ Andromedae system and no signal is detected from the 55 Cancri system. Assuming the detected signals are real, we discuss their potential origin. Their source probably is the $\tau$ Bootis planetary system, and a possible explanation is radio emission from the exoplanet $\tau$ Bootis b via the cyclotron maser mechanism. Assuming a planetary origin, we derived limits for the planetary polar surface magnetic field strength, finding values compatible with theoretical predictions. Further low-frequency observations are required to confirm this possible first detection of an exoplanetary radio signal. [Abridged]


title: All-Optical Dissipative Discrete Time Crystals

abstract: Time crystals are periodic states exhibiting spontaneous symmetry breaking in either time-independent or periodically forced quantum many-body systems. Spontaneous modification of discrete time translation symmetry in a periodically driven physical system can create a discrete time crystal (DTC). DTCs constitute a state of matter with properties such as temporal rigid long-range order and coherence which are inherently desirable for quantum computing and quantum information processing. Despite their appeal, experimental demonstrations of DTCs are scarce and hence many significant aspects of their behavior remain unexplored. Here, we report the experimental observation and theoretical investigation of photonic DTCs in a Kerr-nonlinear optical microcavity. Empowered by the simultaneous self-injection locking of two independent lasers with arbitrarily large frequency separation to two cavity modes and a dissipative soliton, this room-temperature all-optical platform enables observing novel states like DTCs carrying defects, and realizing long-awaited phenomena such as DTC phase transitions and mutual interactions. To the best of our knowledge, this is the first experimental demonstration of a dissipative DTC, as well as the concurrent self-injection locking of two continuous-wave lasers to different modes of the same family in a Kerr cavity. Combined with monolithic fabrication, it can result in chip-scale DTCs, paving the way for liberating time crystals from sophisticated laboratory setups and propelling them toward real-world applications.


title: High-performance Generic Neutrino Detection in a LArTPC near the Earth's Surface with the MicroBooNE Detector

abstract: Large Liquid Argon Time Projection Chambers (LArTPCs) are being increasingly adopted in neutrino oscillation experiments because of their superb imaging capabilities through the combination of both tracking and calorimetry in a fully active volume. Active LArTPC neutrino detectors at or near the Earth's surface, such as the MicroBooNE experiment, present a unique analysis challenge because of the large flux of cosmic-ray muons and the slow drift of ionization electrons. We present a novel Wire-Cell-based high-performance generic neutrino-detection technique implemented in MicroBooNE. The cosmic-ray background is reduced by a factor of 1.4$\times10^{5}$ resulting in a 9.7\% cosmic contamination in the selected neutrino candidate events, for visible energies greater than 200~MeV, while the neutrino signal efficiency is retained at 88.4\% for $\nu_{\mu}$ charged-current interactions in the fiducial volume in the same energy region. This significantly improved performance compared to existing reconstruction algorithms, marks a major milestone toward reaching the scientific goals of LArTPC neutrino oscillation experiments operating near the Earth's surface.


title: Exact Exchange with Range-separated Algorithm for Thermodynamic Limit of Periodic Hartree-Fock Theory

abstract: The expensive cost of computing exact exchange in periodic systems limits the application range of density functional theory with hybrid functionals. To reduce the computational cost of exact change, we present a range-separated algorithm to compute electron repulsion integrals for Gaussian-type crystal basis. The algorithm splits the full-range Coulomb interactions into short-range and long-range parts, which are respectively computed in real and reciprocal space. This approach significantly reduces the overall computational cost as integrals can be efficiently computed in both regions. The algorithm can efficiently handle large numbers of k points with limited CPU and memory resources. As a demonstration, we performed an all-electron k-point Hartree-Fock calculation for LiH crystal with 1 million Gaussian basis functions, which was completed on a desktop computer in 1400 CPU hours.


title: Gamma Ray Signals from Cosmic Ray Scattering on Axion-Like Particles

abstract: Dark Matter (DM) may be comprised of axion-like particles (ALPs) with couplings to photons and the standard model fermions. In this paper we study photon signals arising from cosmic ray (CR) electron scattering on background ALPs. For a range of masses we find that these bounds can place competitive new constraints on the ALP-electron coupling, although in many models lifetime constraints may supersede these bounds. In addition to current Fermi constraints, we also consider future e-Astrogram bounds which will have greater sensitivity to ALP-CR induced gamma-rays.


title: Motion Adaptive Deblurring with Single-Photon Cameras

abstract: Single-photon avalanche diodes (SPADs) are a rapidly developing image sensing technology with extreme low-light sensitivity and picosecond timing resolution. These unique capabilities have enabled SPADs to be used in applications like LiDAR, non-line-of-sight imaging and fluorescence microscopy that require imaging in photon-starved scenarios. In this work we harness these capabilities for dealing with motion blur in a passive imaging setting in low illumination conditions. Our key insight is that the data captured by a SPAD array camera can be represented as a 3D spatio-temporal tensor of photon detection events which can be integrated along arbitrary spatio-temporal trajectories with dynamically varying integration windows, depending on scene motion. We propose an algorithm that estimates pixel motion from photon timestamp data and dynamically adapts the integration windows to minimize motion blur. Our simulation results show the applicability of this algorithm to a variety of motion profiles including translation, rotation and local object motion. We also demonstrate the real-world feasibility of our method on data captured using a 32x32 SPAD camera.


title: Origin and dynamical evolution of the asteroid belt

abstract: The asteroid belt was dynamically shaped during and after planet formation. Despite representing a broad ring of stable orbits, the belt contains less than one one-thousandth of an Earth mass. The asteroid orbits are dynamically excited with a wide range in eccentricity and inclination and their compositions are diverse, with a general trend toward dry objects in the inner belt and more water-rich objects in the outer belt. Here we review models of the asteroid belt's origins and dynamical history. The classical view is that the belt was born with several Earth masses in planetesimals, then strongly depleted. However, it is possible that very few planetesimals ever formed in the asteroid region and that the belt's story is one of implantation rather than depletion. A number of processes may have implanted asteroids from different regions of the Solar System, dynamically removed them, and excited their orbits. During the gaseous disk phase these include the effects of giant planet growth and migration and sweeping secular resonances. After the gaseous disk phase these include scattering from resident planetary embryos, chaos in the giant planets' orbits, the giant planet instability, and long-term dynamical evolution. Different global models for Solar System formation imply contrasting dynamical histories of the asteroid belt. Vesta and Ceres may have been implanted from opposite regions of the Solar System -- Ceres from the Jupiter-Saturn region and Vesta from the terrestrial planet region -- and could therefore represent very different formation conditions.


title: Online Resource Allocation with Stochastic Resource Consumption

abstract: We consider an online resource allocation problem where multiple resources, each with an individual initial capacity, are available to serve random requests arriving sequentially over multiple discrete time periods. At each time period, one request arrives and its associated reward and size are drawn independently from a known distribution that could be resource-dependent. Upon its arrival and revealing itself, an online decision has to be made on whether or not to accept the request. If accepted, another online decision should also be made to specify on assigning which resource to serve the request, then a certain amount of the resource equal to the size of the request will be consumed and a reward will be collected. The objective of the decision maker is to maximize the total collected reward subject to the capacity constraints. We develop near-optimal policies for our problem under two settings separately. When the reward distribution has a finite support, we assume that given each reward realization, the size distributions for different resources are perfectly positive correlated and we propose an adaptive threshold policy. We show that with certain regularity conditions on the size distribution, our policy enjoys an optimal $O(\log T)$ regret bound, where $T$ denotes the total time periods. When the support of the reward distribution is not necessarily finite, we develop another adaptive threshold policy with a $O(\log T)$ regret bound when both the reward and the size of each request are resource-independent and the size distribution satisfies the same conditions.


title: Conical spaces, modular invariance and $c_{p,1}$ holography

abstract: We propose a non-unitary example of holography for the family of two-dimensional logarithmic conformal field theories with negative central charge $c= c_{p,1} = - 6p +13 - 6 p^{-1}$. We argue that at large $p$, these models have a semiclassical gravity-like description which contains, besides the global AdS$_3$ spacetime, a tower of solitonic solutions describing conical excess angles. Evidence comes from the fact that the central charge and the natural modular invariant partition function of such a theory coincide with those of the $c_{p,1}$ model. These theories have an extended chiral W-algebra whose currents have large spin of order $|c|$, and which in the bulk are realized as spinning conical solutions. As a by-product we also find a direct link between geometric actions for exceptional Virasoro coadjoint orbits, which describe fluctuations around the conical spaces, and Felder's free field construction of degenerate representations.


title: Hitting the High Notes: Subset Selection for Maximizing Expected Order Statistics

abstract: We consider the fundamental problem of selecting $k$ out of $n$ random variables in a way that the expected highest or second-highest value is maximized. This question captures several applications where we have uncertainty about the quality of candidates (e.g. auction bids, search results) and have the capacity to explore only a small subset due to an exogenous constraint. For example, consider a second price auction where system constraints (e.g., costly retrieval or model computation) allow the participation of only $k$ out of $n$ bidders, and the goal is to optimize the expected efficiency (highest bid) or expected revenue (second highest bid). We study the case where we are given an explicit description of each random variable. We give a PTAS for the problem of maximizing the expected highest value. For the second-highest value, we prove a hardness result: assuming the Planted Clique Hypothesis, there is no constant factor approximation algorithm that runs in polynomial time. Surprisingly, under the assumption that each random variable has monotone hazard rate (MHR), a simple score-based algorithm, namely picking the $k$ random variables with the largest $1/\sqrt{k}$ top quantile value, is a constant approximation to the expected highest and second highest value, \emph{simultaneously}.


abstract: In this paper, we study a novel problem, Minimum Robust Multi-Submodular Cover for Fairness (MinRF), as follows: given a ground set $V$; $m$ monotone submodular functions $f_1,...,f_m$; $m$ thresholds $T_1,...,T_m$ and a non-negative integer $r$, MinRF asks for the smallest set $S$ such that for all $i \in [m]$, $\min_{|X| \leq r} f_i(S \setminus X) \geq T_i$. We prove that MinRF is inapproximable within $(1-\epsilon)\ln m$; and no algorithm, taking fewer than exponential number of queries in term of $r$, is able to output a feasible set to MinRF with high certainty. Three bicriteria approximation algorithms with performance guarantees are proposed: one for $r=0$, one for $r=1$, and one for general $r$. We further investigate our algorithms' performance in two applications of MinRF, Information Propagation for Multiple Groups and Movie Recommendation for Multiple Users. Our algorithms have shown to outperform baseline heuristics in both solution quality and the number of queries in most cases.


title: Template Matching with Ranks

abstract: We consider the problem of matching a template to a noisy signal. Motivated by some recent proposals in the signal processing literature, we suggest a rank-based method and study its asymptotic properties using some well-established techniques in empirical process theory combined with H\'ajek's projection method. The resulting estimator of the shift is shown to achieve a parametric rate of convergence and to be asymptotically normal. Some numerical simulations corroborate these findings.


title: NVIDIA SimNet^{TM}: an AI-accelerated multi-physics simulation framework

abstract: We present SimNet, an AI-driven multi-physics simulation framework, to accelerate simulations across a wide range of disciplines in science and engineering. Compared to traditional numerical solvers, SimNet addresses a wide range of use cases - coupled forward simulations without any training data, inverse and data assimilation problems. SimNet offers fast turnaround time by enabling parameterized system representation that solves for multiple configurations simultaneously, as opposed to the traditional solvers that solve for one configuration at a time. SimNet is integrated with parameterized constructive solid geometry as well as STL modules to generate point clouds. Furthermore, it is customizable with APIs that enable user extensions to geometry, physics and network architecture. It has advanced network architectures that are optimized for high-performance GPU computing, and offers scalable performance for multi-GPU and multi-Node implementation with accelerated linear algebra as well as FP32, FP64 and TF32 computations. In this paper we review the neural network solver methodology, the SimNet architecture, and the various features that are needed for effective solution of the PDEs. We present real-world use cases that range from challenging forward multi-physics simulations with turbulence and complex 3D geometries, to industrial design optimization and inverse problems that are not addressed efficiently by the traditional solvers. Extensive comparisons of SimNet results with open source and commercial solvers show good correlation.


title: An integer programming formulation using convex polygons for the convex partition problem

abstract: A convex partition of a point set P in the plane is a planar partition of the convex hull of P with empty convex polygons or internal faces whose extreme points belong to P. In a convex partition, the union of the internal faces give the convex hull of P and the interiors of the polygons are pairwise disjoint. Moreover, no polygon is allowed to contain a point of P in its interior. The problem is to find a convex partition based on the minimum number of internal faces. The problem has been shown to be NP-Hard and was recently used in the CG:SHOP Challenge 2020. We propose a new integer linear programming (IP) formulation that considerably improves over the existing one. It relies on the representation of faces as opposed to segments and points. A number of geometric properties are used to strengthen it. Data sets of 100 points are easily solved to optimality and the lower bounds provided by the model can be computed up to 300 points.


title: Relative Embeddability of von Neumann Algebras and Amalgamated Free Products

abstract: In this paper we study conditions under which, for an inclusion of finite von Neumann algebras $N \subseteq M$, we have the reduced amalgamated free product $\ast_N M$ is embeddable into $(R \bar{\otimes} N_1)^\omega$ for some other finite von Neumann algebra $N_1$, where $R$ is the hyperfinite $\textrm{II}_1$ factor.