title: Just Another Method to Compute MTTF from Continuous Time Markov Chain

abstract: The Meantime to Failure is a statistic used to determine how much time a system spends to enter one of its absorption states. This statistic can be used in most areas of knowledge. In engineering, for example, can be used as a measure of equipment reliability, and in business, as a measure of processes performance. This work presents a method to obtain the Meantime to Failure from a Continuous Time Markov Chain models. The method is intuitive and is simpler to be implemented, since, it consists of solving a system of linear equations.


title: A training-free recursive multiresolution framework for diffeomorphic deformable image registration

abstract: Diffeomorphic deformable image registration is one of the crucial tasks in medical image analysis, which aims to find a unique transformation while preserving the topology and invertibility of the transformation. Deep convolutional neural networks (CNNs) have yielded well-suited approaches for image registration by learning the transformation priors from a large dataset. The improvement in the performance of these methods is related to their ability to learn information from several sample medical images that are difficult to obtain and bias the framework to the specific domain of data. In this paper, we propose a novel diffeomorphic training-free approach; this is built upon the principle of an ordinary differential equation. Our formulation yields an Euler integration type recursive scheme to estimate the changes of spatial transformations between the fixed and the moving image pyramids at different resolutions. The proposed architecture is simple in design. The moving image is warped successively at each resolution and finally aligned to the fixed image; this procedure is recursive in a way that at each resolution, a fully convolutional network (FCN) models a progressive change of deformation for the current warped image. The entire system is end-to-end and optimized for each pair of images from scratch. In comparison to learning-based methods, the proposed method neither requires a dedicated training set nor suffers from any training bias. We evaluate our method on three cardiac image datasets. The evaluation results demonstrate that the proposed method achieves state-of-the-art registration accuracy while maintaining desirable diffeomorphic properties.


title: A deep residual learning implementation of Metamorphosis

abstract: In medical imaging, most of the image registration methods implicitly assume a one-to-one correspondence between the source and target images (i.e., diffeomorphism). However, this is not necessarily the case when dealing with pathological medical images (e.g., presence of a tumor, lesion, etc.). To cope with this issue, the Metamorphosis model has been proposed. It modifies both the shape and the appearance of an image to deal with the geometrical and topological differences. However, the high computational time and load have hampered its applications so far. Here, we propose a deep residual learning implementation of Metamorphosis that drastically reduces the computational time at inference. Furthermore, we also show that the proposed framework can easily integrate prior knowledge of the localization of topological changes (e.g., segmentation masks) that can act as spatial regularization to correctly disentangle appearance and shape changes. We test our method on the BraTS 2021 dataset, showing that it outperforms current state-of-the-art methods in the alignment of images with brain tumors.


title: An Embarrassingly Simple Consistency Regularization Method for Semi-Supervised Medical Image Segmentation

abstract: The scarcity of pixel-level annotation is a prevalent problem in medical image segmentation tasks. In this paper, we introduce a novel regularization strategy involving interpolation-based mixing for semi-supervised medical image segmentation. The proposed method is a new consistency regularization strategy that encourages segmentation of interpolation of two unlabelled data to be consistent with the interpolation of segmentation maps of those data. This method represents a specific type of data-adaptive regularization paradigm which aids to minimize the overfitting of labelled data under high confidence values. The proposed method is advantageous over adversarial and generative models as it requires no additional computation. Upon evaluation on two publicly available MRI datasets: ACDC and MMWHS, experimental results demonstrate the superiority of the proposed method in comparison to existing semi-supervised models. Code is available at: https://github.com/hritam-98/ICT-MedSeg


title: Classification of Skin Cancer Images using Convolutional Neural Networks

abstract: Skin cancer is the most common human malignancy(American Cancer Society) which is primarily diagnosed visually, starting with an initial clinical screening and followed potentially by dermoscopic(related to skin) analysis, a biopsy and histopathological examination. Skin cancer occurs when errors (mutations) occur in the DNA of skin cells. The mutations cause the cells to grow out of control and form a mass of cancer cells. The aim of this study was to try to classify images of skin lesions with the help of convolutional neural networks. The deep neural networks show humongous potential for image classification while taking into account the large variability exhibited by the environment. Here we trained images based on the pixel values and classified them on the basis of disease labels. The dataset was acquired from an Open Source Kaggle Repository(Kaggle Dataset)which itself was acquired from ISIC(International Skin Imaging Collaboration) Archive. The training was performed on multiple models accompanied with Transfer Learning. The highest model accuracy achieved was over 86.65%. The dataset used is publicly available to ensure credibility and reproducibility of the aforementioned result.


title: Quantum Extremal Islands Made Easy, Part IV: Massive Black Holes on the Brane

abstract: We study two-dimensional eternal black holes with non-zero mass, where each asymptotic boundary is in contact with a CFT on a circle, following the doubly holographic braneworld models constructed in [arXiv:2006.04851, arXiv:2010.00018, arXiv:2010.16398]. We compute the Page curve of the black hole (or the bath CFTs), which amounts to finding different geodesics in the bulk BTZ geometry with a Randall-Sundrum brane falling into the black hole. We also explore the possibility of including an intrinsic JT gravity action on the brane. As expected, the generalized entropy rises linearly at early times. However, there is a transition to a late-time phase in which the entropy remains constant. The value of the late-time entropy depends on the size of the thermal baths. For a small size, it corresponds to the thermal entropy of the baths, while for large size, it corresponds to twice the horizon entropy of the black hole. The critical size and the Page time are proportional to ratio of the central charges of the conformal defect and the bath CFT.


title: The generalized first law for more general matter

abstract: In previous work, a first law of generalized entropy was derived from semiclassical gravitational dynamics around thermal setups using an assumed relation between the matter modular Hamiltonian and the gravitational stress tensor. Allowing for non-minimal coupling between curvature and any tensor matter fields, we show however, that the modular Hamiltonian of thermal states is given by the integrated bulk Noether current associated to time translation plus a spacetime boundary term. One generally cannot express this in terms of gravitational stress tensor components. Still, working with the correct expression for the modular Hamiltonian, we are able to recover a first law of generalized entropy, with added benefits over the previous result. Firstly, any Wald-Dong contributions to generalized entropy resulting from non-minimal coupling between matter and curvature are included. Secondly, in gravitational equations of motion, we allow for a non-vanishing stress tensor expectation value in the unperturbed background and state, and account for background field perturbations as part of its variation. Finally, the quantum matter is allowed to contribute nontrivially to asymptotic energy, e.g. as is necessary, even for a minimally coupled Maxwell field, to recover the expected thermodynamic first law of charged black holes.


title: Softly-broken $A_4$ or $S_4$ 3HDMs with stable states

abstract: We study multi-Higgs models with a triplet of $A_4$ or $S_4$ symmetry that is softly-broken. Focusing on parameters that softly break the respective symmetries but preserve the directions of the vacuum expectation values of the triplet we analyse the masses of physical states and discuss their decays. In contrast with previously studied symmetries, we find some cases with stable states that are protected by residual symmetries left unbroken by both the soft-breaking parameters and by the vacuum.


title: Comments on classical AdS flux vacua with scale separation

abstract: AdS flux vacua with a parametric separation between the AdS and KK scales have been conjectured to be in the Swampland. We study flux compactifications of massive IIA supergravity with O6 planes which are claimed to allow moduli-stabilised and scale separated AdS$_3$ and AdS$_4$ vacua at arbitrary weak coupling and large volume. A recent refinement of the AdS Distance Conjecture is shown to be inconsistent with the class of AdS$_3$ vacua because the requisite discrete higher form symmetries are absent. We further perform a tree-level study of non-perturbative decays for the nonsupersymmetric versions of the AdS$_3$ solutions, and find that the vacua are stable within this approximation. Finally, we provide an initial investigation of the would-be dual CFT$_2$'s and CFT$_3$'s. We study roughly a dozen different models and find for all AdS$_4$ DGKT-type vacua that the dual operators to the lightest scalars have integer dimensions. For the putative CFT$_2$ dual theories of the AdS$_3$ vacua we find no integer dimensions for the operators.


title: Entanglement negativity, reflected entropy, and anomalous gravitation

abstract: We investigate mixed state entanglement measures of entanglement negativity and reflected entropy for bipartite states in two dimensional conformal field theories with an anomaly through appropriate replica techniques. Furthermore we propose holographic constructions for these measures from the corresponding bulk dual geometries involving topologically massive gravity in AdS$_3$ and find exact agreement with the field theory results. In this connection we extend an earlier holographic proposal for the entanglement negativity to the bulk action with a gravitational Chern-Simons term and compute its contribution to the entanglement wedge cross section dual to the reflected entropy.


title: BICEP/Keck data and Quadratic Gravity

abstract: The recent results of the BICEP and Keck collaborations have put stringent bounds on many inflationary models, including some well-motivated ones. This is certainly the case when gravity remains described by Einstein's theory up to the inflationary scale, but can be avoided by introducing quadratic-in-curvature terms that are effective at that scale. Recently it has also been shown that these terms can UV complete gravity respecting stability and unitarity. Here the predictions of such quadratic gravity are computed and compared with the BICEP/Keck constraints by focusing on some of the inflationary scenarios that are best-motivated from the particle physics point of view and are already ruled out in Einstein gravity: (critical) Higgs inflation and natural inflation. The first scenario can be considered as the most economical option as the inflaton is identified with the only known elementary scalar field in the Standard Model and the near criticality of the Standard Model is used to remain in the perturbative regime. In the second one a pseudo-Nambu-Goldstone boson contributes to the inflationary dynamics and its potential is naturally flat. It is shown that in both scenarios one can restore the agreement with the observational constraints in quadratic gravity.


title: Dissecting the Extended X-ray Emission in the Merging Pair NGC 6240

abstract: We present a detailed spectral and imaging analysis of the central $15''$ radius ($\sim 7.5 \text{ kpc}$) region of the merger galaxy NGC 6240 that makes use of all the available \textit{Chandra}-ACIS data ($0.3 - 3 \text{ keV}$ effective exposure of $\sim 190 \text{ ks}$). This region shows extended X-ray structures with lower energy counterparts imaged in CO, [O III] and H$\alpha$ line emission. We find both photo-ionized phases of possible nuclear excitation and thermal shock-excited emission in the different large-scale components: the north-west "loop" detected in H$\alpha$, the region surrounding the two nuclei, the large outflow region to the north-east detected in [O III], and the southern X-ray extensions. The latter could be the ionization cone of the northern nucleus, with the N counterpart being obscured by the galaxy disk. The radial distribution of the X-ray surface brightness suggests a confined hot interstellar medium at $r < 2.5 \text{ kpc}$, with a free-flowing wind at larger radii; if the confinement is magnetic, we estimate B-field values of $\sim 100\,\mu \text{G}$ , similar to those measured in the halo of M82. The thermal gas of the extended halo at $kT \sim 1 \text{ keV}$ absorbs soft X-rays from the AGN, but not the extreme ultraviolet radiation leading to a rapid increase in $F_{\text{[O III]}}/F_{\text{X}}$ beyond $\sim 3 \text{ kpc}$. The $\alpha$ element to Fe abundance ratios of the thermal components in the different regions of the extended X-ray emission are generally compatible with SNe II yields, confirming the importance of the active star formation in NGC 6240.


title: What's Anomalous in LHC Jets?

abstract: Searches for anomalies are a significant motivation for the LHC and help define key analysis steps, including triggers. We discuss specific examples how LHC anomalies can be defined through probability density estimates, evaluated in a physics space or in an appropriate neural network latent space, and discuss the model-dependence in choosing an appropriate data parameterisation. We illustrate this for classical k-means clustering, a Dirichlet variational autoencoder, and invertible neural networks. For two especially challenging scenarios of jets from a dark sector we evaluate the strengths and limitations of each method.


title: Destroying superconductivity in thin films with an electric field

abstract: In this paper we use a Ginzburg-Landau approach to show that a suitably strong electric field can drive a phase transition from a superconductor to a normal metal. The transition is induced by taking into account corrections to the permittivity due to the superconductive gap and persists even when screening effects are considered. We test the model against recent experimental observations in which a strong electric field has been observed to control the supercurrent in superconducting thin films. We find excellent agreement with the experimental data and are able to explain several observed features. We additionally suggest a way to test our theoretical proposal via superconductor-superconductor electron tunneling.


title: No-short scalar hair theorem for spinning acoustic black holes in a photon-fluid model

abstract: It has recently been revealed that spinning black holes of the photon-fluid model can support acoustic `clouds', stationary density fluctuations whose spatially regular radial eigenfunctions are determined by the $(2+1)$-dimensional Klein-Gordon equation of an effective massive scalar field. Motivated by this intriguing observation, we use {\it analytical} techniques in order to prove a no-short hair theorem for the composed acoustic-black-hole-scalar-clouds configurations. In particular, it is proved that the effective lengths of the stationary bound-state co-rotating acoustic scalar clouds are bounded from below by the series of inequalities $r_{\text{hair}}>{{1+\sqrt{5}}\over{2}}\cdot r_{\text{H}}>r_{\text{null}}$, where $r_{\text{H}}$ and $r_{\text{null}}$ are respectively the horizon radius of the supporting black hole and the radius of the co-rotating null circular geodesic that characterizes the acoustic spinning black-hole spacetime.


title: Joule heating in bad and slow metals

abstract: Heat supplied to a metal is absorbed by the electrons and then transferred to the lattice. In conventional metals energy is released to the lattice by phonons emitted from the Lindhard continuum. However in a `bad' metal, with short mean free path, the low energy Lindhard continuum is destroyed. Furthermore in a `slow' metal, with Fermi velocity less than the sound velocity, particle-hole pairs are kinematically unable to emit phonons. To describe energy transfer to the lattice in these cases we obtain a general Kubo formula for the energy relaxation rate in terms of the electronic density spectral weight $\text{Im} \, G^R_{nn}(\omega_k,k)$ evaluated on the phonon dispersion $\omega_k$. We apply our Kubo formula to the high temperature Hubbard model, using recent data from quantum Monte Carlo and experiments in ultracold atoms to characterize $\text{Im} \, G^R_{nn}(\omega_k,k)$. We furthermore use recent data from electron energy-loss spectroscopy to estimate the energy relaxation rate of the cuprate strange metal to a high energy optical phonon. As a second, distinct, application of our formalism we consider `slow' metals. These are defined to have Fermi velocity less than the sound velocity, so that particle-hole pairs are kinematically unable to emit phonons. We obtain an expression for the energy relaxation rate of a slow metal in terms of the optical conductivity.


title: The cold interstellar medium of galaxies in the Local Universe

abstract: The cold interstellar medium (ISM) plays a central role in the galaxy evolution process. It is the reservoir that fuels galaxy growth via star formation, the repository of material formed by these stars, and a sensitive tracer of internal and external processes that affect entire galaxies. Consequently, significant efforts have gone into systematic surveys of the cold ISM of the galaxies in the local Universe. This review discusses the resulting network of scaling relations connecting the atomic and molecular gas masses of galaxies with their other global properties (stellar masses, morphologies, metallicities, star formation activity...), and their implications for our understanding of galaxy evolution. Key take-home messages are as follows: (1) From a gas perspective, there are three main factors that determine the star formation rate of a galaxy: the total mass of its cold ISM, how much of that gas is molecular, and the rate at which any molecular gas is converted into stars. All three of these factors vary systematically across the local galaxy population. (2) The shape and scatter of both the star formation main sequence and the mass-metallicity relation are deeply linked to the availability of atomic and molecular gas. (3) Future progress will come from expanding our exploration of scaling relations into new parameter space (in particular the regime of dwarf galaxies), better connecting the cold ISM of large samples of galaxies with the environment that feeds them (the circumgalactic medium in particular), and understanding the impact of these large scales on the efficiency of the star formation process on molecular cloud scales.


title: Chemical Evolution of Ytterbium in the Galactic Disk

abstract: Measuring the abundances of neutron-capture elements in Galactic disk stars is an important part of understanding key stellar and galactic processes. In the optical wavelength regime a number of different neutron-capture elements have been measured, however from the infrared H-band only the s-process dominated element cerium has been accurately measured for a large sample of disk stars. The more r-process dominated element ytterbium has only been measured in a small subset of stars so far. In this study we aim to measure the ytterbium (Yb) abundance of local disk giants using the Yb II line at $\lambda_\text{air}$=16498\AA. We also compare the resulting abundance trend with Ce and Eu abundances for the same stars to analyse the s- and r-process contributions. We analyse 30 K-giants with high-resolution H-band spectra using spectral synthesis. The very same stars have already been analysed using high-resolution optical spectra using the same method, but the abundance of Yb was not possible to determine from those spectra due to blending issues for stars with [Fe/H]>-1. In this present analysis, we utilise the stellar parameters determined from the optical analysis. We determined the Yb abundances with an estimated uncertainty for [Yb/Fe] of 0.1 dex. From comparison, the trend of [Yb/Fe] follows closely the [Eu/Fe] trend and has clear s-process enrichment in identified s-rich stars. From the comparison, both the validity of the Yb abundances are ensured, and the theoretical prediction of a roughly 40/60 s-/r-process contribution to Yb's origin is supported. These results show that with a careful and detailed analysis of infrared spectra, reliable Yb abundances can be derived for a wider sample of cooler giants in the range -1.1<[Fe/H]<0.3. This is promising for further studies of the production of Yb and for the r-process channel, key for Galactochemical evolution, in the infrared.


title: Crosstalk in image plane beam combination for optical interferometers

abstract: Image plane beam combination in optical interferometers multiplexes the interference fringes from multiple baselines onto a single detector. The beams of starlight are arranged in a non-redundant pattern at the entrance of the combiner so that the signal from each baseline can be separated from one another in the frequency domain. If the signals from different baselines overlap in the frequency domain, this can give rise to a systematic error in the fringe measurements known as baseline crosstalk. In this paper we quantify crosstalk arising from the combination of atmospheric seeing and beam propagation over distances of order hundreds of metres. We find that in idealised conditions atmospheric wavefront errors and beam propagation do not contribute to crosstalk. However, when aperture stops are included in the optical beam train we observe that wavefront errors can result in squared visibility errors arising from crosstalk as high as $\Delta V^{2} = 6.6\times10^{-3}$ under realistic observing conditions.


title: Microwave Background Temperature at a Redshift of 6.34 from H2O Absorption

abstract: Distortions of the observed cosmic microwave background imprinted by the Sunyaev-Zel'dovich effect toward massive galaxy clusters due to inverse Compton scattering of microwave photons by high-energy electrons provide a direct measurement of the microwave background temperature at redshifts from 0 to 1. Some additional background temperature estimates exist at redshifts from 1.8 to 3.3 based on molecular and atomic line excitation temperatures in quasar absorption line systems, but are model dependent. To date, no deviations from the expected (1+z) scaling behavior of the microwave background temperature have been seen, but the measurements have not extended deeply into the matter-dominated era of the universe at redshifts z>3.3. Here we report the detection of sub-millimeter line absorption from the water molecule against the cosmic microwave background at z=6.34 in a massive starburst galaxy, corresponding to a lookback time of 12.8 Gyr. Radiative pumping of the upper level of the ground-state ortho-H2O(110-101) line due to starburst activity in the dusty galaxy HFLS3 results in a cooling to below the redshifted microwave background temperature, after the transition is initially excited by the microwave background. The strength of this effect implies a microwave background temperature of 16.4-30.2 K (1-sigma range) at z=6.34, which is consistent with a background temperature increase with redshift as expected from the standard CDM cosmology.


title: IceCube and High-Energy Cosmic Neutrinos

abstract: The IceCube experiment discovered PeV-energy neutrinos originating beyond our Galaxy with an energy flux that is comparable to that of TeV-energy gamma rays and EeV-energy cosmic rays. Neutrinos provide the only unobstructed view of the cosmic accelerators that power the highest energy radiation reaching us from the universe. We will review the rationale for building kilometer-scale neutrino detectors that led to the IceCube project, which transformed a cubic kilometer of deep transparent natural Antarctic ice into a neutrino telescope of such a scale. We will summarize the results from the first decade of operations: the status of the observations of cosmic neutrinos and of their first identified source, the supermassive black hole TXS 0506+056. Subsequently, we will introduce the phenomenology associated with cosmic accelerators in some detail. Besides the search for the sources of Galactic and extragalactic cosmic rays, the scientific missions of IceCube and similar instruments under construction in the Mediterranean Sea and Lake Baikal include the observation of Galactic supernova explosions, the search for dark matter, and the study of neutrinos themselves. This review resulted from notes created for summer school lectures and should be accessible to nonexperts.


title: A novel search for high-frequency gravitational waves with low-mass axion haloscopes

abstract: Gravitational waves (GWs) generate oscillating electromagnetic effects in the vicinity of external electric and magnetic fields. We discuss this phenomenon with a particular focus on reinterpreting the results of axion haloscopes based on lumped-element detectors, which probe GWs in the 100 kHz-100 MHz range. Measurements from ABRACADABRA and SHAFT already place bounds on GWs, although the present strain sensitivity is weak. However, we demonstrate that the sensitivity scaling with the volume of such instruments is significant - faster than for axions - and so rapid progress will be made in the future. With no modifications, DMRadio-m$^3$ will have a GW strain sensitivity of $h \sim 10^{-20}$ at 200 MHz. A simple modification of the pickup loop used to readout the induced magnetic flux can parametrically enhance the GW sensitivity, particularly at lower frequencies.

categories: hep-ph astro-ph.CO astro-ph.IM gr-qc hep-ex


title: Head-on collisions of $\ell$-boson stars

abstract: Fully non-linear numerical evolutions of the Einstein-(multi)--Klein-Gordon equations are performed to study head-on collisions of $\ell$-boson stars. Despite being spherically symmetric, $\ell$-boson stars have a (hidden) frame of reference, used in defining their individual multipolar fields. To assess the impact of their relative orientation, we perform simulations with different angles between the axes of the two colliding stars. Additionally, two scenarios are considered for the colliding stars: that they are composites of either the same or different scalar fields. Despite some model-specific behaviours, the simulations generically indicate that: 1) the collision of two sufficiently (and equally) massive stars leads to black hole formation; 2) below a certain mass threshold the end result of the evolution is a bound state of the composite scalar fields, that neither disperses nor collapses into a black hole within the simulation time; 3) this end product (generically) deviates from spherical symmetry and the equipartition of the number of bosonic particles between the different scalar fields composing the initial boson stars is lost, albeit not dramatically. This last observation indicates, albeit without being conclusive, that the end result of these collisions belongs to the previously reported larger family of equilibrium multi-field boson stars, generically non-spherical, and of which $\ell$-boson stars are a symmetry enhanced point. We also extract and discuss the waveforms from the collisions studied.


title: AGN impact on the molecular gas in galactic centers as probed by CO lines

abstract: We present a detailed analysis of the X-ray, infrared, and carbon monoxide (CO) emission for a sample of 35 local ($z \leq 0.15$), active ($L_X \geq 10^{42}$ erg s$^{-1}$) galaxies. Our goal is to infer the contribution of far-ultraviolet (FUV) radiation from star formation (SF), and X-ray radiation from the active galactic nuclei (AGN), respectively producing photodissociation regions (PDRs) and X-ray dominated regions (XDRs), to the molecular gas heating. To this aim, we exploit the CO spectral line energy distribution (CO SLED) as traced by Herschel, complemented with data from single-dish telescopes for the low-J lines, and high-resolution ALMA images of the mid-J CO emitting region. By comparing our results to the Schmidt-Kennicutt relation, we find no evidence for AGN influence on the cold and low-density gas on kpc-scales. On nuclear (r = 250 pc) scales, we find weak correlations between the CO line ratios and either the FUV or X-ray fluxes: this may indicate that neither SF nor AGN radiation dominates the gas excitation, at least at r = 250 pc. From a comparison of the CO line ratios with PDR and XDR models, we find that PDRs can reproduce observations only in presence of extremely high gas densities ($n > 10^5$ cm$^{-3}$). In the XDR case, instead, the models suggest moderate densities ($n \approx 10^{2-4}$ cm$^{-3}$). We conclude that a mix of the two mechanisms (PDR for the mid-J, XDR or possibly shocks for the high-J) is necessary to explain the observed CO excitation in active galaxies.


title: Topological Data Analysis of Black Hole Images

abstract: Features such as photon rings, jets, or hot. spots can leave particular topological signatures in a black hole image. As such, topological data analysis can be used to characterize images resulting from high resolution observations (synthetic or real) of black holes in the electromagnetic sector. We demonstrate that persistent homology allows for this characterization to be made automatically by counting the number of connected components and one-dimensional holes. Further, persistent homology also allows for the distance between connected components or diameter of holes to be extracted from the image. In order to apply persistent homology on synthetic black hole images, we also introduce metronization, a new algorithm to prepare black hole images into a form that is suitable for topological analysis.


title: Experimentally accessible scheme for a fractional Chern insulator in Rydberg atoms

abstract: We present a setup with Rydberg atoms for the realization of a bosonic fractional Chern insulator in artificial matter. The suggested setup relies on Rydberg atoms arranged in a honeycomb lattice, where excitations hop through the lattice by dipolar exchange interactions, and can be interpreted as hard-core bosons. The quantum many-body Hamiltonian is studied within exact diagonalization and DMRG. We identify experimentally accessible parameters where all signatures indicate the appearance of a fractional state with the same topological properties as the $\nu=1/2$ bosonic Laughlin state. We demonstrate an adiabatic ramping procedure, which allows for the preparation of the topological state in a finite system, and demonstrate an experimentally accessible smoking gun signature for the fractional excitations.


title: Induced gravitational waves from the cosmic coincidence

abstract: The induced gravitational wave (GW) background from enhanced primordial scalar perturbations is one of the most promising observational consequences of primordial black hole (PBH) formation from inflation. We investigate the induced GW spectrum $\Omega_{\textrm{IGW}}$ from single-field inflation in the general ultra-slow-roll (USR) framework, restricting the peak frequency band to be inside $10^{-3}$-$1$ Hz and saturating PBH abundance to comprise all dark matter (DM) in the ultralight asteroid-mass window. By invoking successful baryogenesis driven by USR inflation, we verify the viable parameter space for the specific density ratio between baryons and PBH DM observed today, the so-called "cosmic coincidence." We show that the cosmic coincidence requirement bounds the spectral index $n_{\rm UV}$ in the high frequency limit, $\Omega_{\textrm{IGW}}(f\gg 1)\propto f^{-2n_{\rm UV}}$, into $0 < n_{\rm UV} < 1$, which implies that baryogenesis triggered by USR inflation for PBHs in the mass range of $10^{-16}$-$10^{-12} M_\odot$ can be tested by upcoming Advanced LIGO and Virgo data and next generation experiments such as LISA, Einstein Telescope, TianQin and DECIGO.


title: Hierarchical Bayesian Atmospheric Retrieval Modeling for Population Studies of Exoplanet Atmospheres: A Case Study on the Habitable Zone

abstract: With the growing number of spectroscopic observations and observational platforms capable of exoplanet atmospheric characterization, there is a growing need for analysis techniques that can distill information about a large population of exoplanets into a coherent picture of atmospheric trends expressed within the statistical sample. In this work, we develop a Hierarchical Bayesian Atmospheric Retrieval (HBAR) model to infer population-level trends in exoplanet atmospheric characteristics. We demonstrate HBAR on the case of inferring a trend in atmospheric CO2 with incident stellar flux, predicted by the presence of a functioning carbonate-silicate weathering negative feedback cycle, an assumption upon which all calculations of the habitable zone (HZ) rest. Using simulated transmission spectra and JWST-quality observations of rocky planets with H2O, CO2, and N2 bearing atmospheres, we find that the predicted trend in CO2 causes subtle differences in the spectra of order 10 ppm in the 1-5 um range, underscoring the challenge inherent to testing this hypothesis. In the limit of highly precise data (100 stacked transits per planet), we show that our HBAR model is capable of inferring the population-level parameters that characterize the trend in CO2, and we demonstrate that the null hypothesis and other simpler trends can be rejected at high confidence. Although we find that this specific empirical test of the HZ may be prohibitively challenging in the JWST era, the HBAR framework developed in this work may find a more immediate usage for the analysis of gas giant spectra observed with JWST, Ariel, and other upcoming missions.


title: Cooling of Neutron Stars admixed with Light Dark Matter: a case study

abstract: Neutron Stars (NSs) are born as hot, lepton-rich objects that evolve according to the standard paradigm through subsequent stages where they radiate the excess of energy by emitting, first, neutrinos and, later on, photons. Current descriptions based on Standard Model calculations cannot fully explain all the existing cooling data series for the dozens of objects that have been reported. In this work, we consider the intriguing possibility that cooling NSs could be actually admixed with a fraction of light dark matter (LDM), $\chi$. We focus on a particular case study assuming a generic light candidate with mass $m_\chi=0.1$ $\rm GeV/c^2$ that undergoes self-annihilating reactions through pseudoscalar mediators producing neutrinos in the final state. We include one additional feature, allowing thermal conduction from LDM while inside the dark core. By performing simulations of the temperature evolution in the NS, we find that cooling patterns could be distorted by the presence of LDM and discuss these results in light of their observability.


title: Two-loop amplitude generation in OpenLoops

abstract: Numerical tools, such as OpenLoops, provide NLO scattering amplitudes for a very wide range of hard scattering amplitudes in a fully automated way. In order to match the numerical precision of current and future experiments, however, the higher precision of NNLO calculations is essential, and their automation in a similar tool highly desirable. In our approach, D-dimensional amplitudes are decomposed into loop-momentum tensor integrals with coefficients constructed in four dimensions and rational terms. We present a fully generic algorithm for the efficient numerical construction of the tensor coefficients, which constitutes an important building block for an automated NNLO tool.


title: Limiting density of the Fibonacci sequence modulo powers of $p$

abstract: We determine the limiting density, as $\lambda \to \infty$, of residues modulo $p^\lambda$ attained by the Fibonacci sequence. In particular, we show that this density is related to zeros in the sequence of Lucas numbers modulo $p$. The proof uses a piecewise interpolation of the Fibonacci sequence to the $p$-adic numbers and a characterization of Wall-Sun-Sun primes $p$ in terms of the size of a number related to the $p$-adic golden ratio.


title: Situating "Ethics in Mathematics" as a Philosophy of Mathematics Ethics Education

abstract: In this paper, we situate the educational movement of "Ethics in Mathematics," as outlined by the Cambridge University Ethics in Mathematics Project, in the wider area of mathematics ethics education. By focusing on the core message coming out of Ethics in Mathematics, its target group, and educational philosophy, we set it into relation with "Mathematics for Social Justice" and Paul Ernest's recent work on ethics of mathematics. We conclude that, although both Ethics in Mathematics and Mathematics for Social Justice appear antagonistic at first glance, they can be understood as complementary rather than competing educational strategies.


title: Row-strict dual immaculate functions

abstract: We define a new basis of quasisymmetric functions, the row-strict dual immaculate functions, as the generating function of a particular set of tableaux. We establish that this definition gives a function that can also be obtained by applying the $\psi$ involution to the dual immaculate functions of Berg, Bergeron, Saliola, Serrano, and Zabrocki (2014) and establish numerous combinatorial properties for our functions. We give an equivalent formulation of our functions via Bernstein-like operators, in a similar fashion to Berg et. al (2014). We conclude the paper by defining skew dual immaculate functions and hook dual immaculate functions and establishing combinatorial properties for them.


title: Singularity identification for the characterization of topology, geometry, and motion of nematic disclination lines

abstract: We introduce a characterization of disclination lines in three dimensional nematic liquid crystals as a tensor quantity related to the so called rotation vector around the line. This quantity is expressed in terms of the nematic tensor order parameter $\mathbf{Q}$, and shown to decompose as a dyad involving the tangent vector to the disclination line and the rotation vector. Further, we derive a kinematic law for the velocity of disclination lines by connecting this tensor to a topological charge density as in the Halperin-Mazenko description of defects in vector models. Using this framework, analytical predictions for the velocity of interacting line disclinations and of self-annihilating disclination loops are given and confirmed through numerical computation.


title: 0-Hecke modules for row-strict dual immaculate functions

abstract: We introduce a new basis of quasisymmetric functions, the row-strict dual immaculate functions. We construct a cyclic, indecomposable 0-Hecke algebra module for these functions. Our row-strict immaculate functions are related to the dual immaculate functions of Berg-Bergeron-Saliola-Serrano-Zabrocki (2014-15) by the involution $\psi$ on the ring of quasisymmetric functions. We give an explicit description of the effect of $\psi$ on the associated 0-Hecke modules, via the poset induced by the 0-Hecke action on standard immaculate tableaux. This remarkable poset reveals other 0-Hecke submodules and quotient modules, often cyclic and indecomposable, notably for a row-strict analogue of the extended Schur functions studied in Assaf-Searles (2019). Like the dual immaculate function, the row-strict dual immaculate function is the generating function of a suitable set of tableaux, corresponding to a specific descent set. We give a complete combinatorial and representation-theoretic picture by constructing 0-Hecke modules for the remaining variations on descent sets, and showing that \emph{all} the possible variations for generating functions of tableaux occur as characteristics of the 0-Hecke modules determined by these descent sets.


title: New Constraints on Protoplanetary Disk Gas Masses in Lupus

abstract: Gas mass is a fundamental quantity of protoplanetary disks that directly relates to their ability to form planets. Because we are unable to observe the bulk H$_2$ content of disks directly, we rely on indirect tracers to provide quantitative mass estimates. Current estimates for the gas masses of the observed disk population in the Lupus star-forming region are based on measurements of isotopologues of CO. However, without additional constraints, the degeneracy between H$_2$ mass and the elemental composition of the gas leads to large uncertainties in such estimates. Here we explore the gas compositions of seven disks from the Lupus sample representing a range of CO-to-dust ratios. With Band 6 and 7 ALMA observations, we measure line emission for HCO$^+$, HCN, and N$_2$H$^+$. We find a tentative correlation among the line fluxes for these three molecular species across the sample, but no correlation with $^{13}$CO or sub-mm continuum fluxes. For the three disks where N$_2$H$^+$ is detected, we find that a combination of high disk gas masses and sub-interstellar C/H and O/H are needed to reproduce the observed values. We find increases of $\sim$10-100$\times$ previous mass estimates are required to match the observed line fluxes. This study highlights how multi-molecular studies are essential for constraining the physical and chemical properties of the gas in populations of protoplanetary disks and that CO isotopologues alone are not sufficient for determining the mass of many observed disks.


title: Improving Sample Efficiency of Value Based Models Using Attention and Vision Transformers

abstract: Much of recent Deep Reinforcement Learning success is owed to the neural architecture's potential to learn and use effective internal representations of the world. While many current algorithms access a simulator to train with a large amount of data, in realistic settings, including while playing games that may be played against people, collecting experience can be quite costly. In this paper, we introduce a deep reinforcement learning architecture whose purpose is to increase sample efficiency without sacrificing performance. We design this architecture by incorporating advances achieved in recent years in the field of Natural Language Processing and Computer Vision. Specifically, we propose a visually attentive model that uses transformers to learn a self-attention mechanism on the feature maps of the state representation, while simultaneously optimizing return. We demonstrate empirically that this architecture improves sample complexity for several Atari environments, while also achieving better performance in some of the games.


title: A fully Bayesian semi-parametric scalar-on-function regression (SoFR) with measurement error using instrumental variables

abstract: Wearable devices such as the ActiGraph are now commonly used in health studies to monitor or track physical activity. This trend aligns well with the growing need to accurately assess the effects of physical activity on health outcomes such as obesity. When accessing the association between these device-based physical activity measures with health outcomes such as body mass index, the device-based data is considered functions, while the outcome is a scalar-valued. The regression model applied in these settings is the scalar-on-function regression (SoFR). Most estimation approaches in SoFR assume that the functional covariates are precisely observed, or the measurement errors are considered random errors. Violation of this assumption can lead to both under-estimation of the model parameters and sub-optimal analysis. The literature on a measurement corrected approach in SoFR is sparse in the non-Bayesian literature and virtually non-existent in the Bayesian literature. This paper considers a fully nonparametric Bayesian measurement error corrected SoFR model that relaxes all the constraining assumptions often made in these models. Our estimation relies on an instrumental variable (IV) to identify the measurement error model. Finally, we introduce an IV quality scalar parameter that is jointly estimated along with all model parameters. Our method is easy to implement, and we demonstrate its finite sample properties through an extensive simulation. Finally, the developed methods are applied to the National Health and Examination Survey to assess the relationship between wearable-device-based measures of physical activity and body mass index among adults living in the United States.


title: Should I take a walk? Estimating Energy Expenditure from Video Data

abstract: We explore the problem of automatically inferring the amount of kilocalories used by human during physical activity from his/her video observation. To study this underresearched task, we introduce Vid2Burn -- an omni-source benchmark for estimating caloric expenditure from video data featuring both, high- and low-intensity activities for which we derive energy expenditure annotations based on models established in medical literature. In practice, a training set would only cover a certain amount of activity types, and it is important to validate, if the model indeed captures the essence of energy expenditure, (e.g., how many and which muscles are involved and how intense they work) instead of memorizing fixed values of specific activity categories seen during training. Ideally, the models should look beyond such category-specific biases and regress the caloric cost in videos depicting activity categories not explicitly present during training. With this property in mind, Vid2Burn is accompanied with a cross-category benchmark, where the task is to regress caloric expenditure for types of physical activities not present during training. An extensive evaluation of state-of-the-art approaches for video recognition modified for the energy expenditure estimation task demonstrates the difficulty of this problem, especially for new activity types at test-time, marking a new research direction. Dataset and code are available at https://github.com/KPeng9510/Vid2Burn.


title: Reconciling Trends in U.S. Male Earnings Volatility: Results from Survey and Administrative Data

abstract: There is a large literature on earnings and income volatility in labor economics, household finance, and macroeconomics. One strand of that literature has studied whether individual earnings volatility has risen or fallen in the U.S. over the last several decades. There are strong disagreements in the empirical literature on this important question, with some studies showing upward trends, some showing downward trends, and some showing no trends. Some studies have suggested that the differences are the result of using flawed survey data instead of more accurate administrative data. This paper summarizes the results of a project attempting to reconcile these findings with four different data sets and six different data series--three survey and three administrative data series, including two which match survey respondent data to their administrative data. Using common specifications, measures of volatility, and other treatments of the data, four of the six data series show a lack of any significant long-term trend in male earnings volatility over the last 20-to-30+ years when differences across the data sets are properly accounted for. A fifth data series (the PSID) shows a positive net trend but small in magnitude. A sixth, administrative, data set, available only since 1998, shows no net trend 1998-2011 and only a small decline thereafter. Many of the remaining differences across data series can be explained by differences in their cross-sectional distribution of earnings, particularly differences in the size of the lower tail. We conclude that the data sets we have analyzed, which include many of the most important available, show little evidence of any significant trend in male earnings volatility since the mid-1980s.


title: An Optimally-Tuned Starting Point for Single-Shot $GW$ Calculations of Solids

abstract: The dependence of ab initio many-body perturbation theory within the $GW$ approximation on the eigensystem used in calculating quasiparticle corrections limits this method's predictive power. Here, we investigate the accuracy of the recently developed Wannier-localized optimally tuned screened range-separated hybrid (WOT-SRSH) functional as a generalized Kohn-Sham starting point for single-shot $GW$ ($G_0W_0$) calculations for a range of semiconductors and insulators. Comparison to calculations based on well-established functionals, namely PBE, PBE0, and HSE, as well as to self-consistent $GW$ schemes and to experiment, shows that band gaps computed via $G_0W_0$@WOT-SRSH have a level of precision and accuracy that is comparable to that of more advanced methods such as quasiparticle self-consistent $GW$ (QS$GW$) and eigenvalue self-consistent $GW$ (ev$GW$). We also find that $G_0W_0$@WOT-SRSH improves the description of states deeper in the valence band manifold. Finally, we show that $G_0W_0$@WOT-SRSH significantly reduces the sensitivity of computed band gaps to ambiguities in the underlying WOT-SRSH tuning procedure.


title: BFV quantization and BRST symmetries of the gauge invariant fourth-order Pais-Uhlenbeck oscillator

abstract: We perform the BFV-BRST quantization of the fourth-order Pais-Uhlenbeck oscillator (PUO). We show that although the PUO is not naturally constrained in the sense of Dirac-Bergmann, it is possible to profit from the introduction of suitable constraints in phase space in order to obtain a proper BRST invariant quantum system. Starting from its second-class constrained system description, we use the BFFT conversional approach to obtain first-class constraints as gauge symmetry generators. After the Abelianization of the constraints, we obtain the conserved BRST charge, the corresponding BRST transformations and proceed further to the BFV functional quantization of the model. We show that different possible gauge choices can be connected by finite field-dependent BRST transformations.


title: Metric dimension of lexicographic product of some known graphs

abstract: For an ordered set W = {w1,w2,...,wk} of vertices and a vertex v in a connected graph G, the ordered k-vector r(v|W) := (d(v,w1),d(v,w2),...,d(v,wk)) is called the (metric) representation of v with respect to W, where d(x,y) is the distance between the vertices x and y. The set W is called a resolving set for G if distinct vertices of G have distinct representations with respect to W. The minimum cardinality of a resolving set for G is its metric dimension. In this paper, we investigate the metric dimension of the lexicographic product of graphs G and H, G[H] for some known graphs.


title: Pipeflow: An Efficient Task-Parallel Pipeline Programming Framework using Modern C++

abstract: Pipeline is a fundamental parallel programming pattern. Mainstream pipeline programming frameworks count on data abstractions to perform pipeline scheduling. This design is convenient for data-centric pipeline applications but inefficient for algorithms that only exploit task parallelism in pipeline. As a result, we introduce a new task-parallel pipeline programming framework called Pipeflow. Pipeflow does not design yet another data abstraction but focuses on the pipeline scheduling itself, enabling more efficient implementation of task-parallel pipeline algorithms than existing frameworks. We have evaluated Pipeflow on both micro-benchmarks and real-world applications. As an example, Pipeflow outperforms oneTBB 24% and 10% faster in a VLSI placement and a timing analysis workloads that adopt pipeline parallelism to speed up runtimes, respectively.


title: Personalized Federated Learning via Convex Clustering

abstract: We propose a parametric family of algorithms for personalized federated learning with locally convex user costs. The proposed framework is based on a generalization of convex clustering in which the differences between different users' models are penalized via a sum-of-norms penalty, weighted by a penalty parameter $\lambda$. The proposed approach enables "automatic" model clustering, without prior knowledge of the hidden cluster structure, nor the number of clusters. Analytical bounds on the weight parameter, that lead to simultaneous personalization, generalization and automatic model clustering are provided. The solution to the formulated problem enables personalization, by providing different models across different clusters, and generalization, by providing models different than the per-user models computed in isolation. We then provide an efficient algorithm based on the Parallel Direction Method of Multipliers (PDMM) to solve the proposed formulation in a federated server-users setting. Numerical experiments corroborate our findings. As an interesting byproduct, our results provide several generalizations to convex clustering.


title: Point Cloud Compression for Efficient Data Broadcasting: A Performance Comparison

abstract: The worldwide commercialization of fifth generation (5G) wireless networks and the exciting possibilities offered by connected and autonomous vehicles (CAVs) are pushing toward the deployment of heterogeneous sensors for tracking dynamic objects in the automotive environment. Among them, Light Detection and Ranging (LiDAR) sensors are witnessing a surge in popularity as their application to vehicular networks seem particularly promising. LiDARs can indeed produce a three-dimensional (3D) mapping of the surrounding environment, which can be used for object detection, recognition, and topography. These data are encoded as a point cloud which, when transmitted, may pose significant challenges to the communication systems as it can easily congest the wireless channel. Along these lines, this paper investigates how to compress point clouds in a fast and efficient way. Both 2D- and a 3D-oriented approaches are considered, and the performance of the corresponding techniques is analyzed in terms of (de)compression time, efficiency, and quality of the decompressed frame compared to the original. We demonstrate that, thanks to the matrix form in which LiDAR frames are saved, compression methods that are typically applied for 2D images give equivalent results, if not better, than those specifically designed for 3D point clouds.


title: Gradient Based Clustering

abstract: We propose a general approach for distance based clustering, using the gradient of the cost function that measures clustering quality with respect to cluster assignments and cluster center positions. The approach is an iterative two step procedure (alternating between cluster assignment and cluster center updates) and is applicable to a wide range of functions, satisfying some mild assumptions. The main advantage of the proposed approach is a simple and computationally cheap update rule. Unlike previous methods that specialize to a specific formulation of the clustering problem, our approach is applicable to a wide range of costs, including non-Bregman clustering methods based on the Huber loss. We analyze the convergence of the proposed algorithm, and show that it converges to the set of appropriately defined fixed points, under arbitrary center initialization. In the special case of Bregman cost functions, the algorithm converges to the set of centroidal Voronoi partitions, which is consistent with prior works. Numerical experiments on real data demonstrate the effectiveness of the proposed method.


title: Tame pseudofinite theories with wild pseudofinite dimensions

abstract: We construct two pseudofinite theories which are tame from a neostability perspective, yet have pathological fine pseudofinite dimension in all models. These theories serve as counterexamples to potential converses of results by Garcia, Macpherson and Steinhorn relating pseudofinite dimension to tameness. We demonstrate that pseudofinite cardinality in these theories is well behaved with regards to definability, and provide a novel method of proving quantifier elimination using pseudofinite cardinality.


title: Evolution of the isoscalar giant monopole resonance in the Ca isotope chain

abstract: Two recent studies of the evolution of the isoscalar giant monopole resonance (ISGMR) within the calcium isotope chain report conflicting results. One study suggests that the monopole resonance energy, and thus the incompressibility of the nucleus $K_{A}$ increase with mass, which implies that $K_{\tau}$, the asymmetry term in the nuclear incompressibility, has a positive value. The other study reports a weak decreasing trend of the energy moments, resulting in a generally accepted negative value for $K_{\tau}$. An independent measurement of the central region of the ISGMR in the Ca isotope chain is provided to gain a better understanding of the origin of possible systematic trends. Inelastically scattered $\alpha$ particles from a range of calcium targets ($\mathrm{^{40,42,44,48}Ca}$), observed at small scattering angles including 0$^\circ$, were momentum analyzed in the K600 magnetic spectrometer at iThemba LABS, South Africa. Monopole strengths spanning an excitation-energy range between 9.5 and 25.5 MeV were obtained using the difference-of-spectra (DoS) technique. The structure of the $E0$ strength distributions of $^{40,42,44}$Ca agrees well with the results from the previous measurement that supports a weak decreasing trend of the energy moments, while no two datasets agree in the case of $^{48}$Ca. Despite the variation in the structural character of $E0$ strength distribution from different studies, we find for all datasets that the moment ratios, calculated from the ISGMR strength in the excitation-energy range that defines the main resonance region, display at best only a weak systematic sensitivity to a mass increase. Different trends observed in the nuclear incompressibility are caused by contributions to the $E0$ strength outside of the main resonance region, and in particular for high excitation energies.


title: Resolving Extreme Jet Substructure

abstract: We study the effectiveness of theoretically-motivated high-level jet observables in the extreme context of jets with a large number of hard sub-jets (up to $N=8$). Previous studies indicate that high-level observables are powerful, interpretable tools to probe jet substructure for $N\le 3$ hard sub-jets, but that deep neural networks trained on low-level jet constituents match or slightly exceed their performance. We extend this work for up to $N=8$ hard sub-jets, using deep particle-flow networks (PFNs) and Transformer based networks to estimate a loose upper bound on the classification performance. A fully-connected neural network operating on a standard set of high-level jet observables, 135 $\textrm{N}$-subjetiness observables and jet mass, reach classification accuracy of 86.90\%, but fall short of the PFN and Transformer models, which reach classification accuracies of 89.19\% and 91.27\% respectively, suggesting that the constituent networks utilize information not captured by the set of high-level observables. We then identify additional high-level observables which are able to narrow this gap, and utilize LASSO regularization for feature selection to identify and rank the most relevant observables and provide further insights into the learning strategies used by the constituent-based neural networks. The final model contains only 31 high-level observables and is able to match the performance of the PFN and approximate the performance of the Transformer model to within 2\%.


title: FlakeOut: A Geometric Approach to Remove Wind-Blown Snow from Terrestrial Laser Scans

abstract: Wind-blown snow particles often contaminate Terrestrial Laser Scanning (TLS) data of snow covered terrain. However, common filtering techniques fail to filter wind-blown snow and incorrectly filter data from the true surface due to the spatial distribution of wind-blown snow and the TLS scanning geometry. We present FlakeOut, a filter designed specifically to filter wind-blown snowflakes from TLS data. A key aspect of FlakeOut is a low false positive rate of \num{2.8e-4} -- an order of magnitude lower than standard filtering techniques -- which greatly reduces the number of true ground points that are incorrectly removed. This low false positive rate makes FlakeOut appropriate for applications requiring quantitative measurements of the snow surface in light to moderate blowing snow conditions. Additionally, we provide mathematical and software tools to efficiently estimate the false positive rate of filters applied for the purpose of removing erroneous data points that occur very infrequently in a dataset.


title: Order preserving maps on quantum measurements

abstract: We study the partially ordered set of equivalence classes of quantum measurements endowed with the post-processing partial order. The post-processing order is fundamental as it enables to compare measurements by their intrinsic noise and it gives grounds to define the important concept of quantum incompatibility. Our approach is based on mapping this set into a simpler partially ordered set using an order preserving map and investigating the resulting image. The aim is to ignore unnecessary details while keeping the essential structure, thereby simplifying e.g. detection of incompatibility. One possible choice is the map based on Fisher information introduced by Huangjun Zhu, known to be an order morphism taking values in the cone of positive semidefinite matrices. We explore the properties of that construction and improve Zhu's incompatibility criterion by adding a constraint depending on the number of measurement outcomes. We generalize this type of construction to other ordered vector spaces and we show that this map is optimal among all quadratic maps.


title: Three-Qubit-Embedded Split Cayley Hexagon is Contextuality Sensitive

abstract: It is known that there are two non-equivalent embeddings of the split Cayley hexagon of order two into $\mathcal{W}(5,2)$, the binary symplectic polar space of rank three, called classical and skew. Labelling the 63 points of $\mathcal{W}(5,2)$ by the 63 canonical observables of the three-qubit Pauli group subject to the symplectic polarity induced by the (commutation relations between the elements of the) group, the two types of embedding are found to be quantum contextuality sensitive. In particular, we show that the complement of a classically-embedded hexagon is not contextual, whereas that of a skewly-embedded one is.


title: On the Pernici-Wanless Expansion for the Entropy ( and Virial Coefficients ) of a Dimer Gas on an Infinite Regular Lattice

abstract: We work with the following expression for the entropy (density) of a dimer gas on an infinite r-regular lattice lambda(p) = 1/2 [ pln(r)-ln(p)-2(1-p)ln(1-p)-p ]+sum_{k=2}(d_k)(p^k) where the indicated sum converges for density, p, small enough. Pernici has computed the coefficients d_k for k < 13. He found these d_k to be polynomials in certain interesting "geometric quantites" arising in the work of Wanless. Each of these quantities is the number density of isomorphic mappings of some graph into the lattice (graph). So for a bipartite lattice d_2 = c_2 d_3 = c_3 d_4 = c_4 + c_5 hat{G}_1 d_5 = c_6 + c_7 hat{G}_1. The c_i depend only on r. Here hat{G}_1 is the density of mapping classes of the four loop graph into the lattice. The limit of 1/V times the number of such mapping classes into a lattice of volume V as V goes to infinity. The infinite volume limit. There is a simple linear relation that yields the kth virial coefficient from the value of d_k! We feel this expression gives the deepest insight into the virial coefficients so far obtained. What we show in this paper is that such polynomial relations for the d_k in these geometric quantities holds for the d_k for k < 28. Of course we expect it to hold for all k. We use the same computation procedure as Pernici. We note this procedure is not rigorously established. So far a procedure for the physicist, perhaps not the mathematician (their loss). It is a worthy challenge for the mathematical physicist to supply the needed rigor.


title: Physical Design using Differentiable Learned Simulators

abstract: Designing physical artifacts that serve a purpose - such as tools and other functional structures - is central to engineering as well as everyday human behavior. Though automating design has tremendous promise, general-purpose methods do not yet exist. Here we explore a simple, fast, and robust approach to inverse design which combines learned forward simulators based on graph neural networks with gradient-based design optimization. Our approach solves high-dimensional problems with complex physical dynamics, including designing surfaces and tools to manipulate fluid flows and optimizing the shape of an airfoil to minimize drag. This framework produces high-quality designs by propagating gradients through trajectories of hundreds of steps, even when using models that were pre-trained for single-step predictions on data substantially different from the design tasks. In our fluid manipulation tasks, the resulting designs outperformed those found by sampling-based optimization techniques. In airfoil design, they matched the quality of those obtained with a specialized solver. Our results suggest that despite some remaining challenges, machine learning-based simulators are maturing to the point where they can support general-purpose design optimization across a variety of domains.


title: The Impact of Connectivity on the Production and Diffusion of Knowledge

abstract: We study a social bandit problem featuring production and diffusion of knowledge. While higher connectivity enhances knowledge diffusion, it may reduce knowledge production as agents shy away from experimentation with new ideas and free ride on the observation of other agents. As a result, under some conditions, greater connectivity can lead to homogeneity and lower social welfare.


title: Characterizing Particle-Like Charge Migration Dynamics with High-Harmonic Sideband Spectroscopy

abstract: We introduce high-harmonic sideband spectroscopy (HHSS) and show that it can be a robust probe of attosecond charge migration (CM) in a halogenated carbon-chain molecule. We simulate both the CM and harmonic-generation (HHG) dynamics using ab initio time-dependent density-functional theory. We find that CM dynamics initiated along the molecular backbone induces sidebands in the HHG spectrum driven by a delayed laser pulse that is polarized perpendicular to the molecular axis. Monitoring the spectrum as either the HHG laser frequency or the relative delay is scanned allows for the extraction of detailed information about the time-domain characteristics of the CM process.


title: Electric monopole transitions and low-lying level structure in 106Pd

abstract: The structure of 106Pd, populated in the EC/beta+ decay of 106Ag, was investigated at the INFN Legnaro National Laboratories using the Spes Low-energy Internal Conversion Electron Spectrometer (SLICES). The K-internal conversion coefficients of some transitions have been measured and the electric monopole transition strengths, between low-lying 2+ and 0+ states, have been deduced. These experimental data combined with the results from internal conversion electron measurement on 104Pd previously performed by the Florence spectroscopy group were compared with the theoretical values calculated in the framework of the interacting proton-neutron boson model. Good agreement between experimental and theoretical values is found when interpreting the 0+3 level as an intruder state.


title: IFOR: Iterative Flow Minimization for Robotic Object Rearrangement

abstract: Accurate object rearrangement from vision is a crucial problem for a wide variety of real-world robotics applications in unstructured environments. We propose IFOR, Iterative Flow Minimization for Robotic Object Rearrangement, an end-to-end method for the challenging problem of object rearrangement for unknown objects given an RGBD image of the original and final scenes. First, we learn an optical flow model based on RAFT to estimate the relative transformation of the objects purely from synthetic data. This flow is then used in an iterative minimization algorithm to achieve accurate positioning of previously unseen objects. Crucially, we show that our method applies to cluttered scenes, and in the real world, while training only on synthetic data. Videos are available at https://imankgoyal.github.io/ifor.html.


title: New Insights on Target Speaker Extraction

abstract: Speaker extraction (SE) aims to segregate the speech of a target speaker from a mixture of interfering speakers with the help of auxiliary information. Several forms of auxiliary information have been employed in single-channel SE, such as a speech snippet enrolled from the target speaker or visual information corresponding to the spoken utterance. The effectiveness of the auxiliary information in SE is typically evaluated by comparing the extraction performance of SE with uninformed speaker separation (SS) methods. Following this evaluation protocol, many SE studies have reported performance improvement compared to SS, attributing this to the auxiliary information. However, such studies have been conducted on a few datasets and have not considered recent deep neural network architectures for SS that have shown impressive separation performance. In this paper, we examine the role of the auxiliary information in SE for different input scenarios and over multiple datasets. Specifically, we compare the performance of two SE systems (audio-based and video-based) with SS using a common framework that utilizes the recently proposed dual-path recurrent neural network as the main learning machine. Experimental evaluation on various datasets demonstrates that the use of auxiliary information in the considered SE systems does not always lead to better extraction performance compared to the uninformed SS system. Furthermore, we offer insights into the behavior of the SE systems when provided with different and distorted auxiliary information given the same mixture input.


title: Framework for Evaluating Faithfulness of Local Explanations

abstract: We study the faithfulness of an explanation system to the underlying prediction model. We show that this can be captured by two properties, consistency and sufficiency, and introduce quantitative measures of the extent to which these hold. Interestingly, these measures depend on the test-time data distribution. For a variety of existing explanation systems, such as anchors, we analytically study these quantities. We also provide estimators and sample complexity bounds for empirically determining the faithfulness of black-box explanation systems. Finally, we experimentally validate the new properties and estimators.


title: Gravitational Waves: the theorist's Swiss knife

abstract: Gravitational waves provide a novel and powerful way to test astrophysical models of compact objects, early universe processes, beyond the Standard Model particle physics, dark matter candidates, Einstein's theory of General Relativity and extended gravity models, and even quantum gravity candidate theories. A short introduction to the gravitational-wave background and the method we are using to detect it will be presented. Constraints on various astrophysical/cosmological models from the non-detectability of the gravitational-wave background will be discussed. Gravitational waves from transients will be highlighted and their physical implications will be summarised.


title: Evaluation of a Split Flow Model for the Emergency Department

abstract: Split flow models, in which a physician rather than a nurse performs triage, are increasingly being used in hospital emergency departments (EDs) to improve patient flow. Before deciding whether such interventions should be adopted, it is important to understand how split flows causally impact patient flow and outcomes. We employ causal inference methodology to estimate average causal effects of a split flow model on time to be roomed, time to disposition after being roomed, admission decisions, and ED revisits at a large tertiary teaching hospital that uses a split flow model during certain hours each day. We propose a regression discontinuity (RD) design to identify average causal effects, which we formalize with causal diagrams. Using electronic health records data (n = 21,570), we estimate that split flow increases average time to be roomed by about 4.6 minutes (95% CI: [2.9,6.2] minutes) but decreases average time to disposition by 14.4 minutes (95% CI: [4.1,24.7] minutes), leading to an overall reduction in length of stay. Split flow is also found to decrease admission rates by 5.9% (95% CI: [2.3%, 9.4%]) but not at the expense of a significant change in revisit rates. Lastly, we find that the split flow model is especially effective at reducing length of stay during low congestion levels, which mediation analysis partly attributes to early task initiation by the physician assigned to triage.


title: Taut foliations of 3-manifolds with Heegaard genus two

abstract: Let $M$ be a closed, orientable, and irreducible 3-manifold with Heegaard genus two. We prove that if the fundamental group of $M$ is left-orderable then $M$ admits a co-orientable taut foliation.


title: LocUNet: Fast Urban Positioning Using Radio Maps and Deep Learning

abstract: This paper deals with the problem of localization in a cellular network in a dense urban scenario. Global Navigation Satellite Systems (GNSS) typically perform poorly in urban environments, where the likelihood of line-of-sight conditions is low, and thus alternative localization methods are required for good accuracy. We present LocUNet: A deep learning method for localization, based merely on Received Signal Strength (RSS) from Base Stations (BSs), which does not require any increase in computation complexity at the user devices with respect to the device standard operations, unlike methods that rely on time of arrival or angle of arrival information. In the proposed method, the user to be localized reports the RSS from BSs to a Central Processing Unit (CPU), which may be located in the cloud. Alternatively, the localization can be performed locally at the user. Using estimated pathloss radio maps of the BSs, LocUNet can localize users with state-of-the-art accuracy and enjoys high robustness to inaccuracies in the radio maps. The proposed method does not require pre-sampling of the environment; and is suitable for real-time applications, thanks to the RadioUNet, a neural network-based radio map estimator. We also introduce two datasets that allow numerical comparisons of RSS and Time of Arrival (ToA) methods in realistic urban environments.


title: Compiler-Driven Simulation of Reconfigurable Hardware Accelerators

abstract: As customized accelerator design has become increasingly popular to keep up with the demand for high performance computing, it poses challenges for modern simulator design to adapt to such a large variety of accelerators. Existing simulators tend to two extremes: low-level and general approaches, such as RTL simulation, that can model any hardware but require substantial effort and long execution times; and higher-level application-specific models that can be much faster and easier to use but require one-off engineering effort. This work proposes a compiler-driven simulation workflow that can model configurable hardware accelerator. The key idea is to separate structure representation from simulation by developing an intermediate language that can flexibly represent a wide variety of hardware constructs. We design the Event Queue (EQueue) dialect of MLIR, a dialect that can model arbitrary hardware accelerators with explicit data movement and distributed event-based control; we also implement a generic simulation engine to model EQueue programs with hybrid MLIR dialects representing different abstraction levels. We demonstrate two case studies of EQueue-implemented accelerators: the systolic array of convolution and SIMD processors in a modern FPGA. In the former we show EQueue simulation is as accurate as a state-of-the-art simulator, while offering higher extensibility and lower iteration cost via compiler passes. In the latter we demonstrate our simulation flow can guide designer efficiently improve their design using visualizable simulation outputs.


title: Investigating Transfer Learning in Graph Neural Networks

abstract: Graph neural networks (GNNs) build on the success of deep learning models by extending them for use in graph spaces. Transfer learning has proven extremely successful for traditional deep learning problems: resulting in faster training and improved performance. Despite the increasing interest in GNNs and their use cases, there is little research on their transferability. This research demonstrates that transfer learning is effective with GNNs, and describes how source tasks and the choice of GNN impact the ability to learn generalisable knowledge. We perform experiments using real-world and synthetic data within the contexts of node classification and graph classification. To this end, we also provide a general methodology for transfer learning experimentation and present a novel algorithm for generating synthetic graph classification tasks. We compare the performance of GCN, GraphSAGE and GIN across both the synthetic and real-world datasets. Our results demonstrate empirically that GNNs with inductive operations yield statistically significantly improved transfer. Further we show that similarity in community structure between source and target tasks support statistically significant improvements in transfer over and above the use of only the node attributes.


title: The exponential map for time-varying vector fields

abstract: The exponential map that characterises the flows of vector fields is the key in understanding the basic structural attributes of control systems in geometric control theory. However, this map does not exists due to the lack of completeness of flows for general vector fields. An appropriate substitute is devised for the exponential map, not by trying to force flows to be globally defined by any compact assumptions on the manifold, but by categorical development of spaces of vector fields and flows, thus allowing for systematic localisation of such spaces. That is to say, we give a presheaf construction of the exponential map for vector fields with measurable time-dependence and continuous parameter-dependence in the category of general topological spaces. Moreover, all manners of regularity in state are considered, from the minimal locally Lipschitz dependence to holomorphic and real analytic dependence. Using geometric descriptions of suitable topologies for vector fields and for local diffeomorphisms, the homeomorphism of the exponential map is derived by a uniform treatment for all cases of regularities. Finally, a new sort of continuous dependence is proved, that of the fixed time local flow on the parameter which plays an important role in the establishment of the homeomorphism of the exponential map.


title: Ferromagnetism in armchair graphene nanoribbon heterostructures

abstract: We study the properties of flat-bands that appear in a heterostructure composed of strands of different widths of graphene armchair nanoribbons. One of the flat-bands is reminiscent of the one that appears in pristine armchair nanoribbons and has its origin in a quantum mechanical destructive interference effect, dubbed `Wannier orbital states' by Lin et al. in Phys. Rev. B 79, 035405 (2009). The additional flat-bands found in these heterostructures, some reasonably closer to the Fermi level, seem to be generated by a similar interference process. After doing a thorough tight-binding analysis of the band structures of the different kinds of heterostructures, focusing in the properties of the flat-bands, we use Density Functional Theory to study the possibility of magnetic ground states when placing, through doping, the Fermi energy close to the different flat-bands. Our DFT results confirmed the expectation that these heterostructures, after being appropriately hole-doped, develop a ferromagnetic ground state that seems to require, as in the case of pristine armchair nanoribbons, the presence of a dispersive band crossing the flat-band. In addition, we found a remarkable agreement between the tight-binding and DFT results for the charge density distribution of the so-called Wannier orbital states.


title: Exploring the consequences of cyber attacks on Powertrain Cyber Physical Systems

abstract: This paper proposes a novel approach for the study of cyber-attacks against the powertrain of a generic vehicle. The proposed model is composed by a a generic Internal Combustion engine and a speed controller, that communicate through a Controller Area Network (CAN) bus. We consider a threat model composed by three representative attack scenarios designed to modify the output of the model, thus affecting the rotational speed of the engine. Two attack scenarios target both vehicle sensor systems and CAN communication, while one attack scenario only requires injection of CAN messages. To the best of our knowledge, this is the first attempt of modeling the consequences of realistic cyber attacks against a modern vehicle.


title: A classification of harmonic weak Maa{\ss} forms of half-integral weight

abstract: We classify Harish-Chandra modules generated by the pullback to the metaplectic group of harmonic weak Maa{\ss} forms with exponential growth allowed at the cusps. This extends work by Schulze-Pillot and parallels recent work by Bringmann-Kudla, who investigated the case of integral weights. We realize each of our cases via a regularized theta lift of an integral weight harmonic weak Maa{\ss} form. Harish-Chandra modules in both integral and half-integral weight that occur need not be irreducible. Therefore, our display of the role that the theta lifting takes in this picture, we hope, contributes to an initial understanding of a theta correspondence for extensions of Harish-Chandra modules.


title: A shortcut to adiabaticity in a cavity with a moving mirror

abstract: Shortcuts to adiabaticity constitute a powerful alternative that speed up time-evolution while mimicking adiabatic dynamics. They are also relevant to clarify fundamental questions such as a precise quantification of the third principle of thermodynamics and quantum speed limits. In this letter we describe, for the first time, how to implement shortcuts to adiabaticity in quantum field theory, for the particular case of a massless scalar field inside a cavity with a moving wall, in 1 + 1 dimensions. The approach is based on the known solution to the problem that exploits the conformal symmetry, and the shortcuts take place whenever there is no dynamical Casimir effect. We obtain a fundamental limit for the efficiency of an Otto cycle with the quantum field as a working system, that depends on the maximum velocity that the mirror can attain. We describe possible experimental realizations of the shortcuts using superconducting circuits.


title: Approximate boundary synchronization by groups for a coupled system of wave equations with coupled Robin boundary conditions

abstract: In this paper, we first give an algebraic characterization of uniqueness of continuation for a coupled system of wave equations with coupled Robin boundary conditions. Then, the approximate boundary controllability and the approximate boundary synchronization by groups for a coupled system of wave equations with coupled Robin boundary controls are developed around this fundamental characterization.


title: Thematic Domain Analysis for Ocean Modeling

abstract: Ocean science is a discipline that employs ocean models as an essential research asset. Such scientific modeling provides mathematical abstractions of real-world systems, e.g., the oceans. These models are then coded as implementations of the mathematical abstractions. The developed software systems are called models of the real-world system. To advance the state in engineering such ocean models, we intend to better understand how ocean models are developed and maintained in ocean science. In this paper, we present the results of semi-structured interviews and the Thematic Analysis~(TA) of the interview results to analyze the domain of ocean modeling. Thereby, we identified developer requirements and impediments to model development and evolution, and related themes. This analysis can help to understand where methods from software engineering should be introduced and which challenges need to be addressed. We suggest that other researchers extend and repeat our TA with model developers and research software engineers working in related domains to further advance our knowledge and skills in scientific modeling.


title: Integrable motion of anisotropic space curves and surfaces induced by the Landau-Lifshitz equation

abstract: In this paper, we have studied the geometrical formulation of the Landau-Lifshitz equation (LLE) and established its geometrical equivalent counterpart as some generalized nonlinear Schr\"{o}dinger equation. When the anisotropy vanishes, from this result follows the well-known results corresponding for the isotropic case, i.e. to the Heisenberg ferromagnet equation and the focusing nonlinear Schr\"{o}dinger equation. The relations between the LLE and the differential geometry of space curves in the local and nonlocal cases are studied. Using the well-known Sym-Tafel formula, the soliton surfaces induced by the LLE are briefly considered.


title: Towards Positive Jacobian: Learn to Postprocess Diffeomorphic Image Registration with Matrix Exponential

abstract: We present a postprocessing layer for deformable image registration to make a registration field more diffeomorphic by encouraging Jacobians of the transformation to be positive. Diffeomorphic image registration is important for medical imaging studies because of the properties like invertibility, smoothness of the transformation, and topology preservation/non-folding of the grid. Violation of these properties can lead to destruction of the neighbourhood and the connectivity of anatomical structures during image registration. Most of the recent deep learning methods do not explicitly address this folding problem and try to solve it with a smoothness regularization on the registration field. In this paper, we propose a differentiable layer, which takes any registration field as its input, computes exponential of the Jacobian matrices of the input and reconstructs a new registration field from the exponentiated Jacobian matrices using Poisson reconstruction. Our proposed Poisson reconstruction loss enforces positive Jacobians for the final registration field. Thus, our method acts as a post-processing layer without any learnable parameters of its own and can be placed at the end of any deep learning pipeline to form an end-to-end learnable framework. We show the effectiveness of our proposed method for a popular deep learning registration method Voxelmorph and evaluate it with a dataset containing 3D brain MRI scans. Our results show that our post-processing can effectively decrease the number of non-positive Jacobians by a significant amount without any noticeable deterioration of the registration accuracy, thus making the registration field more diffeomorphic. Our code is available online at https://github.com/Soumyadeep-Pal/Diffeomorphic-Image-Registration-Postprocess.


title: Amplification of mechanical quadratures using weak values

abstract: An interferometric arrangement is proposed in which the technique of weak value amplification is implemented in order to enlarge the effect of a single photon on the quadratures of a movable mirror of an optical cavity. The photon interacts weakly with the mirror via radiation pressure and is post-selected in the dark port of the interferometer. The real and imaginary parts of weak values of angular momentum type photonic operators produce an amplification of the mirror quadratures, which is large as compared to the scenario in which all photons are taken into consideration, i.e. when no post-selection is performed. The effect is studied both for a mirror initialized in a thermal and coherent states. For a thermal state, the weak value amplification effect is boosted with the number of particles of the mirror, which occurs due to the imaginary part of the weak values.


title: An Empirical Study of Modular Bias Mitigators and Ensembles

abstract: There are several bias mitigators that can reduce algorithmic bias in machine learning models but, unfortunately, the effect of mitigators on fairness is often not stable when measured across different data splits. A popular approach to train more stable models is ensemble learning. Ensembles, such as bagging, boosting, voting, or stacking, have been successful at making predictive performance more stable. One might therefore ask whether we can combine the advantages of bias mitigators and ensembles? To explore this question, we first need bias mitigators and ensembles to work together. We built an open-source library enabling the modular composition of 10 mitigators, 4 ensembles, and their corresponding hyperparameters. Based on this library, we empirically explored the space of combinations on 13 datasets, including datasets commonly used in fairness literature plus datasets newly curated by our library. Furthermore, we distilled the results into a guidance diagram for practitioners. We hope this paper will contribute towards improving stability in bias mitigation.


title: Ultrahigh-Pressure Magnesium Hydrosilicates as Reservoirs of Water in Early Earth

abstract: The origin of water on the Earth is a long-standing mystery, requiring a comprehensive search for hydrous compounds, stable at conditions of the deep Earth and made of Earth-abundant elements. Previous studies usually focused on the current range of pressure-temperature conditions in the Earth's mantle and ignored a possible difference in the past, such as the stage of the core-mantle separation. Here, using ab initio evolutionary structure prediction, we find that only two magnesium hydrosilicate phases are stable at megabar pressures, $\alpha$-Mg$_2$SiO$_5$H$_2$ and $\beta$-Mg$_2$SiO$_5$H$_2$, stable at 262-338 GPa and >338 GPa,respectively (all these pressures now lie within the Earth's iron core). Both are superionic conductors with quasi-one-dimensional proton diffusion at relevant conditions. In the first 30 million years of Earth's history, before the Earth's core was formed, these must have existed in the Earth, hosting much of Earth's water. As dense iron alloys segregated to form the Earth's core, Mg$_2$SiO$_5$H$_2$ phases decomposed and released water. Thus, now-extinct Mg$_2$SiO$_5$H$_2$ phases have likely contributed in a major way to the evolution of our planet.


title: ADG-Pose: Automated Dataset Generation for Real-World Human Pose Estimation

abstract: Recent advancements in computer vision have seen a rise in the prominence of applications using neural networks to understand human poses. However, while accuracy has been steadily increasing on State-of-the-Art datasets, these datasets often do not address the challenges seen in real-world applications. These challenges are dealing with people distant from the camera, people in crowds, and heavily occluded people. As a result, many real-world applications have trained on data that does not reflect the data present in deployment, leading to significant underperformance. This article presents ADG-Pose, a method for automatically generating datasets for real-world human pose estimation. These datasets can be customized to determine person distances, crowdedness, and occlusion distributions. Models trained with our method are able to perform in the presence of these challenges where those trained on other datasets fail. Using ADG-Pose, end-to-end accuracy for real-world skeleton-based action recognition sees a 20% increase on scenes with moderate distance and occlusion levels, and a 4X increase on distant scenes where other models failed to perform better than random.


title: On Wilson's theorem about domains of attraction and tubular neighborhoods

abstract: In this paper, we show that the domain of attraction of a compact asymptotically stable submanifold of a finite-dimensional smooth manifold of an autonomous system is homeomorphic to its tubular neighborhood. The compactness of the attractor is crucial, without which this result is false; two counterexamples are provided to demonstrate this.


title: Lagrangian Manifold Monte Carlo on Monge Patches

abstract: The efficiency of Markov Chain Monte Carlo (MCMC) depends on how the underlying geometry of the problem is taken into account. For distributions with strongly varying curvature, Riemannian metrics help in efficient exploration of the target distribution. Unfortunately, they have significant computational overhead due to e.g. repeated inversion of the metric tensor, and current geometric MCMC methods using the Fisher information matrix to induce the manifold are in practice slow. We propose a new alternative Riemannian metric for MCMC, by embedding the target distribution into a higher-dimensional Euclidean space as a Monge patch and using the induced metric determined by direct geometric reasoning. Our metric only requires first-order gradient information and has fast inverse and determinants, and allows reducing the computational complexity of individual iterations from cubic to quadratic in the problem dimensionality. We demonstrate how Lagrangian Monte Carlo in this metric efficiently explores the target distributions.


title: Ranging-Based Localizability Optimization for Mobile Robotic Networks

abstract: In robotic networks relying on noisy range measurements between agents for cooperative localization, the achievable positioning accuracy strongly strongly depends on the network geometry. This motivates the problem of planning robot trajectories in such multi-robot systems in a way that maintains high localization accuracy. We present potential-based planning methods, where localizability potentials are introduced to characterize the quality of the network geometry for cooperative position estimation. These potentials are based on Cramer Rao Lower Bounds (CRLB) and provide a theoretical lower bound on the error covariance achievable by any unbiased position estimator. In the process, we establish connections between CRLBs and the theory of graph rigidity, which has been previously used to plan the motion of robotic networks. We develop decentralized deployment algorithms appropriate for large networks, and we use equality-constrained CRLBs to extend the concept of localizability to scenarios where additional information about the relative positions of the ranging sensors is known. We illustrate the resulting robot deployment methodology through simulated examples and an experiment.


title: Near Resonant Approximation of the Rotating Stratified Boussinesq system on a 3-Torus

abstract: Based on a novel treatment of near resonances, we introduce a new approximation for the rotating stratified Boussinesq system on three-dimensional tori with arbitrary aspect ratios. The rotation and stratification parameters are arbitrary and not equal. We obtain global existence for the proposed nonlinear system for arbitrarily large initial data. This system is sufficiently accurate, with an important feature of coupling effects between slow and fast modes. The key to global existence is a sharp counting of the relevant number of nonlinear interactions. An additional regularity advantage arises from a careful examination of some mixed type interaction coefficients. In a wider context, the significance of our near resonant approach is a delicate balance between the inclusion of more interacting modes and the improvement of regularity properties, compared to the well-studied singular limit approach based on exact resonance.


title: ColloSSL: Collaborative Self-Supervised Learning for Human Activity Recognition

abstract: A major bottleneck in training robust Human-Activity Recognition models (HAR) is the need for large-scale labeled sensor datasets. Because labeling large amounts of sensor data is an expensive task, unsupervised and semi-supervised learning techniques have emerged that can learn good features from the data without requiring any labels. In this paper, we extend this line of research and present a novel technique called Collaborative Self-Supervised Learning (ColloSSL) which leverages unlabeled data collected from multiple devices worn by a user to learn high-quality features of the data. A key insight that underpins the design of ColloSSL is that unlabeled sensor datasets simultaneously captured by multiple devices can be viewed as natural transformations of each other, and leveraged to generate a supervisory signal for representation learning. We present three technical innovations to extend conventional self-supervised learning algorithms to a multi-device setting: a Device Selection approach which selects positive and negative devices to enable contrastive learning, a Contrastive Sampling algorithm which samples positive and negative examples in a multi-device setting, and a loss function called Multi-view Contrastive Loss which extends standard contrastive loss to a multi-device setting. Our experimental results on three multi-device datasets show that ColloSSL outperforms both fully-supervised and semi-supervised learning techniques in majority of the experiment settings, resulting in an absolute increase of upto 7.9% in F_1 score compared to the best performing baselines. We also show that ColloSSL outperforms the fully-supervised methods in a low-data regime, by just using one-tenth of the available labeled data in the best case.