title: The Binary Black Hole Merger Rate Deviates From the Cosmic Star Formation Rate: A Tug of War Between Metallicity and Delay Times

abstract: Gravitational-wave detectors are now making it possible to investigate how the merger rate of binary black holes (BBHs) evolves with redshift. In this study, we examine whether the BBH merger rate of isolated binaries deviates from a scaled star formation rate density (SFRD) -- a frequently used model in state-of-the-art research. To address this question, we conduct population synthesis simulations using COMPAS with a grid of stellar evolution models, calculate their cosmological merger rates, and compare them to a scaled SFRD. We find that our simulated rates deviate by factors up to $3.5\times$ at $z\sim0$ and $5\times$ at $z\sim 9$ due to two main phenomena: (i) The formation efficiency of BBHs is an order of magnitude higher at low metallicities than at solar metallicity; and (ii) BBHs experience a wide range of delays (from a few Myr to many Gyr) between formation and merger. Deviations are similar when comparing to a $\textit{delayed}$ SFRD, and even larger (up to $\sim 10\times$) when comparing to SFRD-based models scaled to the local merger rate. Interestingly, our simulations find that the BBH delay time distribution is redshift-dependent, increasing the complexity of the redshift distribution of mergers. We find similar results for simulated merger rates of BHNSs and BNSs. We conclude that the rate of BBH, BHNS, and BNS mergers from the isolated channel can significantly deviate from a scaled SFRD, and that future measurements of the merger rate will provide insights into the formation pathways of gravitational-wave sources.


title: The LOFAR Two-metre Sky Survey: The nature of the faint source population and SFR-radio luminosity relation using Prospector

abstract: Spectral energy distribution (SED) fitting has been extensively used to determine the nature of the faint radio source population. Recent efforts have combined fits from multiple SED-fitting codes to account for the host galaxy and any active nucleus that may be present. We show that it is possible to produce similar-quality classifications using a single energy-balance SED fitting code, Prospector, to model up to 26 bands of UV$-$far-infrared aperture-matched photometry for $\sim$31,000 sources in the ELAIS-N1 field from the LOFAR Two-Metre Sky Survey (LoTSS) Deep fields first data release. One of a new generation of SED-fitting codes, Prospector accounts for potential contributions from radiative active galactic nuclei (AGN) when estimating galaxy properties, including star formation rates (SFRs) derived using non-parametric star formation histories. Combining this information with radio luminosities, we classify 92 per cent of the radio sources as a star-forming galaxy, high/low-excitation radio galaxy, or radio-quiet AGN and study the population demographics as a function of 150 MHz flux density, luminosity, SFR, stellar mass, redshift and apparent $r$-band magnitude. Finally, we use Prospector SED fits to investigate the SFR$-$150 MHz luminosity relation for a sample of $\sim$$133,000~3.6~\mu$m-selected $z<1$ sources, finding that the stellar mass dependence is significantly weaker than previously reported, and may disappear altogether at $\log_{10} (\mathrm{SFR}/M_\odot~\mathrm{yr}^{-1}) > 0.5$. This approach makes it significantly easier to classify radio sources from LoTSS and elsewhere, and may have important implications for future studies of star-forming galaxies at radio wavelengths.


title: SAUNAS I: Searching for Low Surface Brightness X-ray Emission with Chandra/ACIS

abstract: We present SAUNAS (Selective Amplification of Ultra Noisy Astronomical Signal), a pipeline designed for detecting diffuse X-ray emission in the data obtained with the Advanced CCD Imaging Spectrometer (ACIS) of the Chandra X-ray Observatory. SAUNAS queries the available observations in the Chandra archive, performs photometric calibration, PSF (point spread function) modeling, and deconvolution, point-source removal, adaptive smoothing, and background correction. This pipeline builds on existing and well-tested software including CIAO, VorBin, and LIRA. We characterize the performance of SAUNAS through several quality performance tests, and demonstrate the broad applications and capabilities of SAUNAS using two galaxies already known to show X-ray emitting structures. SAUNAS successfully detects the 30 kpc X-ray super-wind of NGC 3079 using Chandra/ACIS datasets, matching the spatial distribution detected with more sensitive XMM-Newton observations. The analysis performed by SAUNAS reveals an extended low surface brightness source in the field of UGC 5101 in the 0.3-1.0 keV and 1.0-2.0 keV bands. This source is potentially a background galaxy cluster or a hot gas plume associated with UGC 5101. SAUNAS demonstrates its ability to recover previously undetected structures in archival data, expanding exploration into the low surface brightness X-ray universe with Chandra/ACIS.


title: Mineral Detection of Neutrinos and Dark Matter 2024. Proceedings

abstract: The second "Mineral Detection of Neutrinos and Dark Matter" (MDvDM'24) meeting was held January 8-11, 2024 in Arlington, VA, USA, hosted by Virginia Tech's Center for Neutrino Physics. This document collects contributions from this workshop, providing an overview of activities in the field. MDvDM'24 was the second topical workshop dedicated to the emerging field of mineral detection of neutrinos and dark matter, following a meeting hosted by IFPU in Trieste, Italy in October 2022. Mineral detectors have been proposed for a wide variety of applications, including searching for dark matter, measuring various fluxes of astrophysical neutrinos over gigayear timescales, monitoring nuclear reactors, and nuclear disarmament protocols; both as paleo-detectors using natural minerals that could have recorded the traces of nuclear recoils for timescales as long as a billion years and as detectors recording nuclear recoil events on laboratory timescales using natural or artificial minerals. Contributions to this proceedings discuss the vast physics potential, the progress in experimental studies, and the numerous challenges lying ahead on the path towards mineral detection. These include a better understanding of the formation and annealing of recoil defects in crystals; identifying the best classes of minerals and, for paleo-detectors, understanding their geology; modeling and control of the relevant backgrounds; developing, combining, and scaling up imaging and data analysis techniques; and many others. During the last years, MDvDM has grown rapidly and gained attention. Small-scale experimental efforts focused on establishing various microscopic readout techniques are underway at institutions in North America, Europe and Asia. We are looking ahead to an exciting future full of challenges to overcome, surprises to be encountered, and discoveries lying ahead of us.

categories: astro-ph.CO astro-ph.IM hep-ex hep-ph physics.ins-det


title: Dynamical Freezing in Exactly Solvable Models of Driven Chaotic Quantum Dots

abstract: The late-time equilibrium behavior of generic interacting models is determined by the coupled hydrodynamic equations associated with the globally conserved quantities. In the presence of an external time-dependent drive, non-integrable systems typically thermalize to an effectively infinite-temperature state, losing all memory of their initial states. However, in the presence of a large time-periodic Floquet drive, there exist special points in phase-space where the strongly interacting system develops approximate {\it emergent} conservation laws. Here we present results for an exactly solvable model of two coupled chaotic quantum dots with multiple orbitals interacting via random two and four-fermion interactions in the presence of a Floquet drive. We analyze the phenomenology of dynamically generated freezing using a combination of exact diagonalization, and field-theoretic analysis in the limit of a large number of electronic orbitals. The model displays universal freezing behavior irrespective of whether the theory is averaged over the disorder configurations or not. We present explicit computations for the growth of many-body chaos and entanglement entropy, which demonstrates the long-lived coherence associated with the interacting degrees of freedom even at late-times at the dynamically frozen points. We also compute the slow timescale that controls relaxation away from exact freezing in a high-frequency expansion.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.stat-mech hep-th


title: Two shadows on two backlights: forecasting the Ly-$\alpha$ forest $\times$ CMB Lensing bispectrum from ACT/SO/S4 & DESI

abstract: We forecast the sensitivity of future correlations between CMB lensing and the Lyman-$\alpha$ forest power spectrum. This squeezed-limit bispectrum probes the connection between the Lyman-$\alpha$ transmission and the underlying large-scale matter density field. We recover the measured signal-to-noise (SNR) ratio obtained with Planck$\times$BOSS, and forecast a SNR of $10.3, 14.8$ and $20.2$ for DESI combined with ACT, SO and CMB-S4 respectively. For DESI and SO/CMB-S4, the correlation should be detectable at SNR$\ge 5$ in 5 redshift bins, useful for distinguishing our signal from several contaminants.Indeed, our forecast is affected by large theoretical uncertainties in the current modeling of the signal and its contaminants, such as continuum misestimation bias or damped-Lyman-$\alpha$ absorbers. Quantifying these more accurately will be crucial to enable a reliable cosmological interpretation of this observable in future measurements. We attempt to enumerate the features required in future Lyman-$\alpha$ forest simulations required to do so.


title: A hidden population of active galactic nuclei can explain the overabundance of luminous $z>10$ objects observed by JWST

abstract: The first wave of observations with JWST has revealed a striking overabundance of luminous galaxies at early times ($z>10$) compared to models of galaxies calibrated to pre-JWST data. Early observations have also uncovered a large population of supermassive black holes (SMBHs) at $z>6$. Because many of the high-$z$ objects appear extended, the contribution of active galactic nuclei (AGNs) to the total luminosity has been assumed to be negligible. In this work, we use a semi-empirical model for assigning AGNs to galaxies to show that active galaxies can boost the stellar luminosity function (LF) enough to solve the overabundance problem while simultaneously remaining consistent with the observed morphologies of high-$z$ sources. We construct a model for the composite AGN+galaxy LF by connecting dark matter halo masses to galaxy and SMBH masses and luminosities, accounting for dispersion in the mapping between host galaxy and SMBH mass and luminosity. By calibrating the model parameters -- which characterize the $M_\bullet-M_\star$ relation -- to a compilation of $z>10$ JWST UVLF data, we show that AGN emission can account for the excess luminosity under a variety of scenarios, including one where 10\% of galaxies host BHs of comparable luminosities to their stellar components. Using a sample of simulated objects and real observations, we demonstrate that such low-luminosity AGNs can be `hidden' in their host galaxies and be missed in common morphological analyses. We find that for this explanation to be viable, our model requires a population of BHs that are overmassive ($M_\bullet/M_\star\sim10^{-2}$) with respect to their host galaxies compared to the local relation and are more consistent with the observed relation at $z=4-8$. We explore the implications of this model for BH seed properties and comment on observational diagnostics necessary to further investigate this explanation.


title: Investigating the Cosmological Rate of Compact Object Mergers from Isolated Massive Binary Stars

abstract: Gravitational wave detectors are observing compact object mergers from increasingly far distances, revealing the redshift evolution of the binary black hole (BBH) -- and soon the black hole-neutron star (BHNS) and binary neutron star (BNS) -- merger rate. To help interpret these observations, we investigate the expected redshift evolution of the compact object merger rate from the isolated binary evolution channel. We present a publicly available catalog of compact object mergers and their accompanying cosmological merger rates from population synthesis simulations conducted with the COMPAS software. To explore the impact of uncertainties in stellar and binary evolution, our simulations use two-parameter grids of binary evolution models that vary the common-envelope efficiency with mass transfer accretion efficiency, and supernova remnant mass prescription with supernova natal kick velocity, respectively. We quantify the redshift evolution of our simulated merger rates using the local ($z\sim 0$) rate, the redshift at which the merger rate peaks, and the normalized differential rates (as a proxy for slope). We find that although the local rates span a range of $\sim 10^3$ across our model variations, their redshift-evolutions are remarkably similar for BBHs, BHNSs, and BNSs, with differentials typically within a factor $3$ and peaks of $z\approx 1.2-2.4$ across models. Furthermore, several trends in our simulated rates are correlated with the model parameters we explore. We conclude that future observations of the redshift evolution of the compact object merger rate can help constrain binary models for stellar evolution and gravitational-wave formation channels.


title: JWST Imaging of the Closest Globular Clusters -- I. Possible Infrared Excess Among White Dwarfs in NGC 6397

abstract: We present James Webb Space Telescope observations of the globular cluster NGC 6397 and use them to extend to infrared wavelengths the characterization of the cluster's entire white dwarf (WD) cooling sequence (CS). The data allows us to probe fundamental astrophysical WD properties and to search for evidence in their colors for (or against) the existence of ancient planetary systems. The existing archival Hubble Space Telescope imaging data obtained ~18 years ago reach ultra-deep optical magnitudes (V~31) and allow us to derive a near-perfect separation between field and cluster members. We detect an apparent split in the lower part of the WD CS of NGC 6397. The red part of the WD CS, containing about 25% of the total, exhibits significant IR-excess of up to Delta m_F322W2 ~ 0.5 mag. These infrared excesses require both theoretical and observational follow-ups to confirm their veracity and to ascertain their true nature.


title: Angular momentum transfer in cosmological simulations of Milky Way-mass discs

abstract: Fueling star formation in large, disky galaxies, requires a continuous supply of gas accreting into star-forming regions. Previously, we characterized this accretion in 4 Milky Way mass galaxies ($M_{\rm halo}\sim10^{12}M_{\odot}$) in the FIRE-2 cosmological zoom-in simulations, focusing on runs with cosmic ray physics. At $z\sim0$, gas within the inner circumgalactic medium (iCGM) approaches the disk with comparable angular momentum (AM) to the disk edge, joining in the outer half of the gaseous disk. Within the disk, gas moves inward at velocities of $\sim$1-5~km~s$^{-1}$ while fully rotationally supported. In this study, we analyze the torques that drive these flows. In all cases, we find that the torques in disks enable gas accreted near the disk edge to transport inwards and fuel star formation in the central few kpc. The primary sources of torque come from gravity, hydrodynamical forces, and the sub-grid $P dV$ work done by supernova (SNe) remnants interacting with gas on $\lesssim$10 pc scales. These SNe remnant interactions provide a major source of torque on the gas, inducing negative torques within the inner disk and positive torques in the outer disk. The gas-gas gravitational, hydro, and "feedback" torques all transfer AM outward to where accreting gas is joining the disk, playing an important role in driving inflows and regulating disk structure. Gravitational torques from stars and dark matter provide an AM sink within the innermost regions of the disk and iCGM, respectively. Torques from viscous shearing, magnetic forces, stellar winds, and radiative transfer are largely insignificant.


title: Constraints on conformal ultralight dark matter couplings from the European Pulsar Timing Array

abstract: Millisecond pulsars are extremely precise celestial clocks: as they rotate, the beamed radio waves emitted along the axis of their magnetic field can be detected with radio telescopes, which allows for tracking subtle changes in the pulsars' rotation periods. A possible effect on the period of a pulsar is given by a potential coupling to dark matter, in cases where it is modeled with an "ultralight" scalar field. In this paper, we consider a universal conformal coupling of the dark matter scalar to gravity, which in turn mediates an effective coupling between pulsars and dark matter. If the dark matter scalar field is changing in time, as expected in the Milky Way, this effective coupling produces a periodic modulation of the pulsar rotational frequency. By studying the time series of observed radio pulses collected by the European Pulsar Timing Array experiment, we present constraints on the coupling of dark matter, improving on existing bounds. These bounds can also be regarded as constraints on the parameters of scalar-tensor theories of the Fierz-Jordan-Brans-Dicke and Damour-Esposito-Far\`{e}se types in the presence of a (light) mass potential term.

categories: astro-ph.HE astro-ph.CO astro-ph.GA gr-qc hep-ph


title: JWST Imaging of the Closest Globular Clusters -- II. Discovery of Brown Dwarfs in NGC 6397 and Measurement of Age from the Brown Dwarf Cooling Sequence, using SANDee - a New Grid of Model Isochrones across the Hydrogen-Burning Limit

abstract: Globular clusters contain vast repositories of metal-poor stars that represent some of the oldest stellar generations in the Universe. The archaeological footprint of early Galactic evolution may be retained in the measurable properties of globular clusters, such as their ages, mass functions and chemical abundances. Until recently, all photometric studies of globular clusters were restricted to stellar members. Now, the sensitivity of JWST can extend this analysis to the substellar regime. If detected in sufficient numbers, brown dwarf members can provide tight constraints on the properties of their parent population. We present SANDee - a new grid of stellar models that accurately represent the color-magnitude diagrams of globular clusters across the hydrogen-burning limit at a wide range of metallicities. Using JWST NIRCam photometry and the new models, we identify three brown dwarfs in the globular cluster NGC 6397 with effective temperatures of 1300-1800 K, confirmed by both proper motion and model fitting. We use the observed luminosities of discovered brown dwarfs to obtain the first age estimate of a globular cluster from its substellar cooling sequence: 13.4 +/- 3.3 Gyr. We also derive the local mass function of the cluster across the hydrogen-burning limit and find it to be top-heavy, suggesting extensive dynamical evolution. We expect that the constraints on both age and mass function of NGC 6397 derived in this work can be greatly improved by a second epoch of NIRCam imaging in the same field.


title: $\textit{JWST}$ Imaging of the Closest Globular Clusters$\,-\,$III. Multiple Populations along the low-mass Main Sequence stars of NGC$\,$6397

abstract: Thanks to its exceptional near-infrared photometry, $\textit{JWST}$ can effectively contribute to the discovery, characterization, and understanding of multiple stellar populations in globular clusters, especially at low masses where the $\textit{Hubble}$ $\textit{Space}$ $\textit{Telescope}$ ($\textit{HST}$) faces limitations. This paper continues the efforts of the $\textit{JWST}$ GO-1979 program in exploring the faintest members of the globular cluster NGC$\,$6397. Here we show that the combination of $\textit{HST}$ and $\textit{JWST}$ data allows us to identify two groups of MS stars (MSa, the first-generation, and MSb, the second-generation group). We measured the ratio between the two groups and combined it with measurements from the literature focused on more central fields and more massive stars compared to our study. We find that the MSa and MSb stars are present in a $\approx$30-70 ratio regardless of the distance from the centre of the cluster and the mass of the stars used so far.


title: Explainable AI (XAI) in Image Segmentation in Medicine, Industry, and Beyond: A Survey

abstract: Artificial Intelligence (XAI) has found numerous applications in computer vision. While image classification-based explainability techniques have garnered significant attention, their counterparts in semantic segmentation have been relatively neglected. Given the prevalent use of image segmentation, ranging from medical to industrial deployments, these techniques warrant a systematic look. In this paper, we present the first comprehensive survey on XAI in semantic image segmentation. This work focuses on techniques that were either specifically introduced for dense prediction tasks or were extended for them by modifying existing methods in classification. We analyze and categorize the literature based on application categories and domains, as well as the evaluation metrics and datasets used. We also propose a taxonomy for interpretable semantic segmentation, and discuss potential challenges and future research directions.


title: The SDSS-V Local Volume Mapper (LVM): Scientific Motivation and Project Overview

abstract: We present the Sloan Digital Sky Survey V (SDSS-V) Local Volume Mapper (LVM). The LVM is an integral-field spectroscopic survey of the Milky Way, Magellanic Clouds, and of a sample of local volume galaxies, connecting resolved pc-scale individual sources of feedback to kpc-scale ionized interstellar medium (ISM) properties. The 4-year survey covers the southern Milky Way disk at spatial resolutions of 0.05 to 1 pc, the Magellanic Clouds at 10 pc resolution, and nearby large galaxies at larger scales totaling $>4300$ square degrees of sky, and more than 55M spectra. It utilizes a new facility of alt-alt mounted siderostats feeding 16 cm refractive telescopes, lenslet-coupled fiber-optics, and spectrographs covering 3600-9800A at R ~ 4000. The ultra-wide field IFU has a diameter of 0.5 degrees with 1801 hexagonally packed fibers of 35.3 arcsec apertures. The siderostats allow for a completely stationary fiber system, avoiding instability of the line spread function seen in traditional fiber feeds. Scientifically, LVM resolves the regions where energy, momentum, and chemical elements are injected into the ISM at the scale of gas clouds, while simultaneously charting where energy is being dissipated (via cooling, shocks, turbulence, bulk flows, etc.) to global scales. This combined local and global view enables us to constrain physical processes regulating how stellar feedback operates and couples to galactic kinematics and disk-scale structures, such as the bar and spiral arms, as well as gas in- and out-flows.


title: Uniaxial stress effect on the electronic structure of quantum materials

abstract: Uniaxial stress has proven to be a powerful experimental tuning parameter for effectively controlling lattice, charge, orbital, and spin degrees of freedom in quantum materials. In addition, its ability to manipulate the symmetry of materials has garnered significant attention. Recent technical progress to combine uniaxial stress cells with quantum oscillation and angle-resolved photoemission techniques allowed to study the electronic structure as function of uniaxial stress. This review provides an overview on experimental advancements in methods and examines studies on diverse quantum materials, encompassing the semimetal WTe2, the unconventional superconductor Sr2RuO4, Fe-based superconductors, and topological materials.


title: Gluon Mass Generation from Renormalons and Resurgence

abstract: We establish a link between the concepts of infrared renormalons, infrared fixed point, and dynamical nonperturbative mass generation of gluons in pure Yang-Mills theories. By utilizing recent results in the resurgent analysis of renormalons through non-linear ordinary differential equations, we develop a new description for the gluon propagator, thereby realizing the Schwinger mechanism. Specifically, this approach leads to a nonperturbative, dynamic mass generation for Yang-Mills gauge bosons in the deep infrared region, a phenomenon closely associated with color confinement. Furthermore, we present arguments about the limit of applicability of the Borel-Ecalle resummation of the renormalons by comparing it with the Kallen-Lehman representation of the gluon propagator.


title: Universal non-Hermitian flow in one-dimensional PT-symmetric quantum criticalities

abstract: The critical point of a topological phase transition is described by a conformal field theory (CFT), where the finite-size corrections to the ground state energy are uniquely related to its central charge. We study the finite-size scaling of the energy of non-Hermitian Su-Schrieffer-Heeger (SSH) model with parity and time-reversal symmetry ($\mathcal{PT}$) symmetry. We find that under open boundary condition (OBC), the energy scaling $E(L)\sim c/L$ reveals a negative central charge $c=-2$ at the non-Hermitian critical point, indicative of a non-unitary CFT. Furthermore, we discover a universal scaling function capturing the flow of a system from Dirac CFT with $c=1$ to a non-unitary CFT with $c=-2$. The scaling function demonstrates distinct behaviors at topologically non-trivial and trivial sides of critical points. Notably, within the realm of topological criticality, the scaling function exhibits an universal rise-dip-rise pattern, manifesting a characteristic singularity inherent in the non-Hermitian topological critical points. The analytic expression of the scaling function has been derived and is in good agreement with the numerical results.


title: Spectral form factor in chaotic, localized, and integrable open quantum many-body systems

abstract: We numerically study the spectral statistics of open quantum many-body systems (OQMBS) as signatures of quantum chaos (or the lack thereof), using the dissipative spectral form factor (DSFF), a generalization of the spectral form factor to complex spectra. We show that the DSFF of chaotic OQMBS generically displays the $\textit{quadratic}$ ramp-plateau behaviour of the Ginibre ensemble from random matrix theory, in contrast to the linear ramp-plateau behaviour of the Gaussian ensemble in closed quantum systems. Furthermore, in the presence of many-body interactions, such RMT behaviour emerges only after a time scale $\tau_{\mathrm{dev}}$, which generally increases with system size for sufficiently large system size, and can be identified as the non-Hermitian analogue of the $\textit{many-body Thouless time}$. The universality of the random matrix theory behavior is demonstrated by surveying twelve models of OQMBS, including random Kraus circuits (quantum channels) and random Lindbladians (Liouvillians) in several symmetry classes, as well as Lindbladians of paradigmatic models such as the Sachdev-Ye-Kitaev (SYK), XXZ, and the transverse field Ising models. We devise an unfolding and filtering procedure to remove variations of the averaged density of states which would otherwise hide the universal RMT-like signatures in the DSFF for chaotic OQMBS. Beyond chaotic OQMBS, we study the spectral statistics of non-chaotic OQMBS, specifically the integrable XX model and a system in the many-body localized (MBL) regime in the presence of dissipation, which exhibit DSFF behaviours distinct from the ramp-plateau behaviour of random matrix theory. Lastly, we study the DSFF of Lindbladians with the Hamiltonian term set to zero, i.e. only the jump operators are present, and demonstrate that the results of RMT universality and scaling of many-body Thouless time survive even without coherent evolution.

categories: cond-mat.stat-mech hep-th nlin.CD quant-ph


title: Floquet engineered inhomogeneous quantum chaos in critical systems

abstract: We study universal chaotic dynamics of a large class of periodically driven critical systems described by spatially inhomogeneous conformal field theories. By employing an effective curved spacetime approach, we show that the onset of quantum chaotic correlations, captured by the Lyapunov exponent of out-of-time-order correlators (OTOCs), is set by the Hawking temperature of emergent Floquet horizons. Furthermore, scrambling of quantum information is shown to be strongly inhomogeneous, leading to transitions from chaotic to non-chaotic regimes by tuning driving parameters. We finally use our framework to propose a concrete protocol to simulate and measure OTOCs in quantum simulators, by designing an efficient stroboscopic backward time evolution.


title: Celestial strings: field theory, conformally soft limits, and mapping the worldsheet onto the celestial sphere

abstract: We compute the celestial correlators corresponding to tree-level 5-gluon amplitudes in the type I superstring theory. Since celestial correlation functions are obtained by integrating over the full range of energies, there is no obvious analog of the $\alpha' \to 0$ limit in this basis. This is manifestly shown by a factorization of the $\alpha '$ dependence in the celestial string amplitudes. Consequently, the question arises as to how the field theory limit is recovered from string theory in the celestial basis. This problem has been addressed in the literature for the case of 4-gluon amplitudes at tree level, where the forward scattering limit of the stringy factor was identified as a limit in which celestial Yang-Mills 4-point function is recovered. Here, we extend the analysis to the case with five gluons, for which the string moduli space allows for more types of limits, thus allowing to investigate this aspect in more detail. Based on celestial data only, we study the regime in which one arrives at the correct celestial field theory limit. We also study other properties of the celestial string amplitudes, namely, the conformally soft theorem, effective field theory expansion in the conformal basis, and a map that arises in the regime of high-energy/large-scaling dimension that connects the punctured string worldsheet to the insertion of primary operators in the celestial CFT for the massless $n$-point string amplitude.


title: A Classification-Based Adaptive Segmentation Pipeline: Feasibility Study Using Polycystic Liver Disease and Metastases from Colorectal Cancer CT Images

abstract: Automated segmentation tools often encounter accuracy and adaptability issues when applied to images of different pathology. The purpose of this study is to explore the feasibility of building a workflow to efficiently route images to specifically trained segmentation models. By implementing a deep learning classifier to automatically classify the images and route them to appropriate segmentation models, we hope that our workflow can segment the images with different pathology accurately. The data we used in this study are 350 CT images from patients affected by polycystic liver disease and 350 CT images from patients presenting with liver metastases from colorectal cancer. All images had the liver manually segmented by trained imaging analysts. Our proposed adaptive segmentation workflow achieved a statistically significant improvement for the task of total liver segmentation compared to the generic single segmentation model (non-parametric Wilcoxon signed rank test, n=100, p-value << 0.001). This approach is applicable in a wide range of scenarios and should prove useful in clinical implementations of segmentation pipelines.


title: Synthetic Controls with spillover effects: A comparative study

abstract: Iterative Synthetic Control Method is introduced in this study, a modification of the Synthetic Control Method (SCM) designed to improve its predictive performance by utilizing control units affected by the treatment in question. This method is then compared to other SCM modifications: SCM without any modifications, SCM after removing all spillover-affected units, Inclusive SCM, and the SP SCM model. For the comparison, Monte Carlo simulations are utilized, generating artificial datasets with known counterfactuals and comparing the predictive performance of the methods. Generally, the Inclusive SCM performed best in all settings and is relatively simple to implement. The Iterative SCM, introduced in this paper, was in close seconds, with a small difference in performance and a simpler implementation.


title: Explaining models relating objects and privacy

abstract: Accurately predicting whether an image is private before sharing it online is difficult due to the vast variety of content and the subjective nature of privacy itself. In this paper, we evaluate privacy models that use objects extracted from an image to determine why the image is predicted as private. To explain the decision of these models, we use feature-attribution to identify and quantify which objects (and which of their features) are more relevant to privacy classification with respect to a reference input (i.e., no objects localised in an image) predicted as public. We show that the presence of the person category and its cardinality is the main factor for the privacy decision. Therefore, these models mostly fail to identify private images depicting documents with sensitive data, vehicle ownership, and internet activity, or public images with people (e.g., an outdoor concert or people walking in a public space next to a famous landmark). As baselines for future benchmarks, we also devise two strategies that are based on the person presence and cardinality and achieve comparable classification performance of the privacy models.


title: A chiral limit for Chern-Simons-matter theories

abstract: Large N quasi-fermionic Chern-Simons-matter theories have an approximate higher-spin symmetry that strongly constrains their correlation functions. In particular, the 3-point functions for generic spins are combinations of 3 structures (with specific dependence on the positions and helicities), and the coupling-dependence of the coefficient of each structure is uniquely determined. In the past few years, several relations between different structures were found. In this paper we show that all the relations between the structures follow from (or, conversely, they imply) a specific form written by Skvortsov for the vertices of the dual higher-spin gravity theory on four-dimensional anti-de Sitter space, when written in spinor-helicity variables. The dual bulk theory has a specific limit where it simplifies and becomes a "chiral higher-spin gravity theory", and we discuss what can be said about this limit in the dual Chern-Simons-matter theories, where it involves an analytic continuation to complex couplings.


title: Electric dipole moments of charged leptons in models with pseudo-Dirac sterile fermions

abstract: In this work, we address the impact of a small lepton number violation on charged lepton electric dipole moments - EDMs. Low-scale seesaw models protected by lepton number symmetry and leading to pseudo-Dirac pairs in the neutrino heavy spectrum provide a natural explanation for the smallness of neutrino masses with potentially testable consequences. Among which, it was thought that the small mass gap in each pair of pseudo-Dirac neutrinos may induce important contribution to the charged lepton EDMs. Recently, it has been shown that the contribution from some of the Feynman diagrams to charged lepton EDMs exactly cancel by virtue of the Ward-Takahashi identity in quantum electrodynamics. We thus consider here the Standard Model minimally extended with pairs of pseudo-Dirac sterile fermions and derive the complete analytical formula at two loops for the charged lepton EDMs. In addition, we numerically evaluate the order of the predicted EDMs consistent with the experimental bounds and constraints such as neutrino oscillation data, charged lepton flavour violating processes, sterile neutrino direct searches, meson decays, sterile neutrino decays, and cosmological and astrophysical observations. We find that, in the minimal setup accommodating neutrino data (masses and mixings) with only two pseudo-Dirac pairs, the predicted electron EDM is $\mathcal{O}(10^{-36})~e\hspace{0.05cm}\mathrm{cm}$, at most, which is much smaller than the current experimental bound and even future sensitivity. Hopefully, the electron EDM might reach future sensitivity, once extra pseudo-Dirac neutrinos are taken into account. The analytical formulae we derive are generic to any model involving pseudo-Dirac pairs in the heavy neutrino spectrum.


title: Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning

abstract: Answering complex queries over incomplete knowledge graphs (KGs) is a challenging job. Most previous works have focused on learning entity/relation embeddings and simulating first-order logic operators with various neural networks. However, they are bottlenecked by the inability to share world knowledge to improve logical reasoning, thus resulting in suboptimal performance. In this paper, we propose a complex reasoning schema over KG upon large language models (LLMs), containing a curriculum-based logical-aware instruction tuning framework, named LACT. Specifically, we augment the arbitrary first-order logical queries via binary tree decomposition, to stimulate the reasoning capability of LLMs. To address the difficulty gap among different types of complex queries, we design a simple and flexible logic-aware curriculum learning framework. Experiments across widely used datasets demonstrate that LACT has substantial improvements~(brings an average +5.5% MRR score) over advanced methods, achieving the new state-of-the-art. Our code and model will be released at GitHub and huggingface soon.


title: Geometrical Aspects Of Resources Distribution In Quantum Random Circuits

abstract: In this work, we explore how resources are distributed among the states generated by quantum random circuits (QRC). We focus on multipartite non-locality, but we also analyze quantum correlations by appealing to different entanglement and non-classicality measures. We compare universal vs non-universal sets of gates to gain insight into the problem of explaining quantum advantage. By comparing the results obtained with ideal (noiseless) vs noisy intermediate-scale quantum (NISQ) devices, we lay the basis of a certification protocol, which aims to quantify how robust is the resources distribution among the states that a given device can generate.


title: Confidence regions for a persistence diagram of a single image with one or more loops

abstract: Topological data analysis (TDA) uses persistent homology to quantify loops and higher-dimensional holes in data, making it particularly relevant for examining the characteristics of images of cells in the field of cell biology. In the context of a cell injury, as time progresses, a wound in the form of a ring emerges in the cell image and then gradually vanishes. Performing statistical inference on this ring-like pattern in a single image is challenging due to the absence of repeated samples. In this paper, we develop a novel framework leveraging TDA to estimate underlying structures within individual images and quantify associated uncertainties through confidence regions. Our proposed method partitions the image into the background and the damaged cell regions. Then pixels within the affected cell region are used to establish confidence regions in the space of persistence diagrams (topological summary statistics). The method establishes estimates on the persistence diagrams which correct the bias of traditional TDA approaches. A simulation study is conducted to evaluate the coverage probabilities of the proposed confidence regions in comparison to an alternative approach is proposed in this paper. We also illustrate our methodology by a real-world example provided by cell repair.


title: On one-orbit cyclic subspace codes of $\mathcal{G}_q(n,3)$

abstract: Subspace codes have recently been used for error correction in random network coding. In this work, we focus on one-orbit cyclic subspace codes. If $S$ is an $\mathbb{F}_q$-subspace of $\mathbb{F}_{q^n}$, then the one-orbit cyclic subspace code defined by $S$ is \[ \mathrm{Orb}(S)=\{\alpha S \colon \alpha \in \mathbb{F}_{q^n}^*\}, \]where $\alpha S=\lbrace \alpha s \colon s\in S\rbrace$ for any $\alpha\in \mathbb{F}_{q^n}^*$. Few classification results of subspace codes are known, therefore it is quite natural to initiate a classification of cyclic subspace codes, especially in the light of the recent classification of the isometries for cyclic subspace codes. We consider three-dimensional one-orbit cyclic subspace codes, which are divided into three families: the first one containing only $\mathrm{Orb}(\mathbb{F}_{q^3})$; the second one containing the optimum-distance codes; and the third one whose elements are codes with minimum distance $2$. We study inequivalent codes in the latter two families.


title: Polarons in the Cubic Generalized Fr\"ohlich Model: Spontaneous Symmetry Breaking

abstract: Within the variational polaron equation framework, the Fr\"ohlich model for cubic systems with three-fold degenerate electronic bands is numerically solved in the strong coupling regime, for a wide range of its input parameters. By comparing the results to the previously reported ones obtained with the Gaussian Ansatz approach, the inadequacy of the latter is uncovered, especially when degenerate bands are present in a system. Moreover, the symmetry groups of polaronic solutions in the cubic generalized Fr\"ohlich model without spin-orbit coupling are investigated: we provide and discuss a phase diagram of symmetry groups of ground-state polarons, showing spontaneous symmetry breaking. While the cubic symmetry of the three-band degenerate model Hamiltonian corresponds to the full octahedral group $O_h$, lowest-energy polarons possess either $D_{4h}$ or $D_{3d}$ point groups. This phase diagram bears some similarities but differs nevertheless from the one that is obtained by the straight analysis of the band effective masses. The obtained results will provide a firm ground for further exploration of the generalized Fr\"ohlich model and will likely be applicable beyond the model's inherent approximations.


title: Key Patches Are All You Need: A Multiple Instance Learning Framework For Robust Medical Diagnosis

abstract: Deep learning models have revolutionized the field of medical image analysis, due to their outstanding performances. However, they are sensitive to spurious correlations, often taking advantage of dataset bias to improve results for in-domain data, but jeopardizing their generalization capabilities. In this paper, we propose to limit the amount of information these models use to reach the final classification, by using a multiple instance learning (MIL) framework. MIL forces the model to use only a (small) subset of patches in the image, identifying discriminative regions. This mimics the clinical procedures, where medical decisions are based on localized findings. We evaluate our framework on two medical applications: skin cancer diagnosis using dermoscopy and breast cancer diagnosis using mammography. Our results show that using only a subset of the patches does not compromise diagnostic performance for in-domain data, compared to the baseline approaches. However, our approach is more robust to shifts in patient demographics, while also providing more detailed explanations about which regions contributed to the decision. Code is available at: https://github.com/diogojpa99/MedicalMultiple-Instance-Learning.


title: Manipulation of Belief Aggregation Rules

abstract: This paper studies manipulation of belief aggregation rules in the setting where the society first collects individual's probabilistic opinions and then solves a public portfolio choice problem with common utility based on the aggregate belief. First, we show that belief reporting in Nash equilibrium under the linear opinion pool and log utility is identified as the profile of state-contingent wealth shares in parimutuel equilibrium with risk-neutral preference. Then we characterize belief aggregation rules which are Nash-implementable. We provide a necessary and essentially sufficient condition for implementability, which is independent of the common risk attitude.


title: S4: Self-Supervised Sensing Across the Spectrum

abstract: Satellite image time series (SITS) segmentation is crucial for many applications like environmental monitoring, land cover mapping and agricultural crop type classification. However, training models for SITS segmentation remains a challenging task due to the lack of abundant training data, which requires fine grained annotation. We propose S4 a new self-supervised pre-training approach that significantly reduces the requirement for labeled training data by utilizing two new insights: (a) Satellites capture images in different parts of the spectrum such as radio frequencies, and visible frequencies. (b) Satellite imagery is geo-registered allowing for fine-grained spatial alignment. We use these insights to formulate pre-training tasks in S4. We also curate m2s2-SITS, a large-scale dataset of unlabeled, spatially-aligned, multi-modal and geographic specific SITS that serves as representative pre-training data for S4. Finally, we evaluate S4 on multiple SITS segmentation datasets and demonstrate its efficacy against competing baselines while using limited labeled data.


title: High Dynamic Range Scanning Tunneling Microscopy

abstract: We increase the dynamical range of a scanning tunneling microscope (STM) by actively subtracting dominant current-harmonics generated by nonlinearities in the current-voltage characteristics that could saturate the current preamplifier at low junction impedances or high gains. The strict phase relationship between a cosinusoidal excitation voltage and the current-harmonics allows excellent cancellation using the displacement-current of a driven compensating capacitor placed at the input of the preamplifier. Removal of DC currents has no effect on, and removal of the first harmonic only leads to a rigid shift in conductivity that can be numerically reversed by adding the known removal current. Our method requires no permanent change of the hardware but only two phase synchronized voltage sources and a multi-frequency lock-in amplifier to enable high dynamic range spectroscopy and imaging.


title: MMIST-ccRCC: A Real World Medical Dataset for the Development of Multi-Modal Systems

abstract: The acquisition of different data modalities can enhance our knowledge and understanding of various diseases, paving the way for a more personalized healthcare. Thus, medicine is progressively moving towards the generation of massive amounts of multi-modal data (\emph{e.g,} molecular, radiology, and histopathology). While this may seem like an ideal environment to capitalize data-centric machine learning approaches, most methods still focus on exploring a single or a pair of modalities due to a variety of reasons: i) lack of ready to use curated datasets; ii) difficulty in identifying the best multi-modal fusion strategy; and iii) missing modalities across patients. In this paper we introduce a real world multi-modal dataset called MMIST-CCRCC that comprises 2 radiology modalities (CT and MRI), histopathology, genomics, and clinical data from 618 patients with clear cell renal cell carcinoma (ccRCC). We provide single and multi-modal (early and late fusion) benchmarks in the task of 12-month survival prediction in the challenging scenario of one or more missing modalities for each patient, with missing rates that range from 26$\%$ for genomics data to more than 90$\%$ for MRI. We show that even with such severe missing rates the fusion of modalities leads to improvements in the survival forecasting. Additionally, incorporating a strategy to generate the latent representations of the missing modalities given the available ones further improves the performance, highlighting a potential complementarity across modalities. Our dataset and code are available here: https://multi-modal-ist.github.io/datasets/ccRCC


title: A Walk Through $Spin(1,d+1)$

abstract: We construct unitary irreducible representation of the de Sitter group, that forms the basis for the study of $dS_{d+1}$ QFT. Using the intertwining kernel analysis, we discuss bosonic symmetric tensor, and fermionic higher-spinors. Particular care is given to the structure and construction of exceptional series and fermionic operators. We discuss the discrete series, and explain how and why the exceptional series give rise to seemingly non-invariant correlators in de Sitter. Using tools from Clifford analysis, we show that for $d>3$, there are no exceptional fermionic representations, and so no unitary (higher)-gravitino fields. We also consider the structure of representations for $d=3$ and $d=2$, as relevant for the study of $dS_4$, the only space allowing for unitary gravitino and its generalisation, and of $dS_3$.


title: Investigating Wit, Creativity, and Detectability of Large Language Models in Domain-Specific Writing Style Adaptation of Reddit's Showerthoughts

abstract: Recent Large Language Models (LLMs) have shown the ability to generate content that is difficult or impossible to distinguish from human writing. We investigate the ability of differently-sized LLMs to replicate human writing style in short, creative texts in the domain of Showerthoughts, thoughts that may occur during mundane activities. We compare GPT-2 and GPT-Neo fine-tuned on Reddit data as well as GPT-3.5 invoked in a zero-shot manner, against human-authored texts. We measure human preference on the texts across the specific dimensions that account for the quality of creative, witty texts. Additionally, we compare the ability of humans versus fine-tuned RoBERTa classifiers to detect AI-generated texts. We conclude that human evaluators rate the generated texts slightly worse on average regarding their creative quality, but they are unable to reliably distinguish between human-written and AI-generated texts. We further provide a dataset for creative, witty text generation based on Reddit Showerthoughts posts.


title: When a Relation Tells More Than a Concept: Exploring and Evaluating Classifier Decisions with CoReX

abstract: Explanations for Convolutional Neural Networks (CNNs) based on relevance of input pixels might be too unspecific to evaluate which and how input features impact model decisions. Especially in complex real-world domains like biomedicine, the presence of specific concepts (e.g., a certain type of cell) and of relations between concepts (e.g., one cell type is next to another) might be discriminative between classes (e.g., different types of tissue). Pixel relevance is not expressive enough to convey this type of information. In consequence, model evaluation is limited and relevant aspects present in the data and influencing the model decisions might be overlooked. This work presents a novel method to explain and evaluate CNN models, which uses a concept- and relation-based explainer (CoReX). It explains the predictive behavior of a model on a set of images by masking (ir-)relevant concepts from the decision-making process and by constraining relations in a learned interpretable surrogate model. We test our approach with several image data sets and CNN architectures. Results show that CoReX explanations are faithful to the CNN model in terms of predictive outcomes. We further demonstrate that CoReX is a suitable tool for evaluating CNNs supporting identification and re-classification of incorrect or ambiguous classifications.


title: Out-of-distribution detection based on subspace projection of high-dimensional features output by the last convolutional layer

abstract: Out-of-distribution (OOD) detection, crucial for reliable pattern classification, discerns whether a sample originates outside the training distribution. This paper concentrates on the high-dimensional features output by the final convolutional layer, which contain rich image features. Our key idea is to project these high-dimensional features into two specific feature subspaces, leveraging the dimensionality reduction capacity of the network's linear layers, trained with Predefined Evenly-Distribution Class Centroids (PEDCC)-Loss. This involves calculating the cosines of three projection angles and the norm values of features, thereby identifying distinctive information for in-distribution (ID) and OOD data, which assists in OOD detection. Building upon this, we have modified the batch normalization (BN) and ReLU layer preceding the fully connected layer, diminishing their impact on the output feature distributions and thereby widening the distribution gap between ID and OOD data features. Our method requires only the training of the classification network model, eschewing any need for input pre-processing or specific OOD data pre-tuning. Extensive experiments on several benchmark datasets demonstrates that our approach delivers state-of-the-art performance. Our code is available at https://github.com/Hewell0/ProjOOD.


title: ATNPA: A Unified View of Oversmoothing Alleviation in Graph Neural Networks

abstract: Oversmoothing is a commonly observed challenge in graph neural network (GNN) learning, where, as layers increase, embedding features learned from GNNs quickly become similar/indistinguishable, making them incapable of differentiating network proximity. A GNN with shallow layer architectures can only learn short-term relation or localized structure information, limiting its power of learning long-term connection, evidenced by their inferior learning performance on heterophilous graphs. Tackling oversmoothing is crucial to harness deep-layer architectures for GNNs. To date, many methods have been proposed to alleviate oversmoothing. The vast difference behind their design principles, combined with graph complications, make it difficult to understand and even compare their difference in tackling the oversmoothing. In this paper, we propose ATNPA, a unified view with five key steps: Augmentation, Transformation, Normalization, Propagation, and Aggregation, to summarize GNN oversmoothing alleviation approaches. We first outline three themes to tackle oversmoothing, and then separate all methods into six categories, followed by detailed reviews of representative methods, including their relation to the ATNPA, and discussion about their niche, strength, and weakness. The review not only draws in-depth understanding of existing methods in the field, but also shows a clear road map for future study.


title: Stress-induced Eukaryotic Translational Regulatory Mechanisms

abstract: The eukaryotic protein synthesis process entails intricate stages governed by diverse mechanisms to tightly regulate translation. Translational regulation during stress is pivotal for maintaining cellular homeostasis, ensuring the accurate expression of essential proteins crucial for survival. This selective translational control mechanism is integral to cellular adaptation and resilience under adverse conditions. This review manuscript explores various mechanisms involved in selective translational regulation, focusing on mRNA-specific and global regulatory processes. Key aspects of translational control include translation initiation, which is often a rate-limiting step, and involves the formation of the eIF4F complex and recruitment of mRNA to ribosomes. Regulation of translation initiation factors, such as eIF4E, eIF4E2, and eIF2, through phosphorylation and interactions with binding proteins, modulates translation efficiency under stress conditions. This review also highlights the control of translation initiation through factors like the eIF4F complex and the ternary complex and also underscores the importance of eIF2{\alpha} phosphorylation in stress granule formation and cellular stress responses. Additionally, the impact of amino acid deprivation, mTOR signaling, and ribosome biogenesis on translation regulation and cellular adaptation to stress is also discussed. Understanding the intricate mechanisms of translational regulation during stress provides insights into cellular adaptation mechanisms and potential therapeutic targets for various diseases, offering valuable avenues for addressing conditions associated with dysregulated protein synthesis.


title: Generalized Wright Analysis in Infinite Dimensions

abstract: This paper investigates a broad class of non-Gaussian measures, $ \mu_\Psi$, associated with a family of generalized Wright functions, $_m\Psi_q$. First, we study these measures in Euclidean spaces $\mathbb{R}^d$, then define them in an abstract nuclear triple $\mathcal{N}\subset\mathcal{H}\subset\mathcal{N}'$. We study analyticity, invariance properties, and ergodicity under a particular group of automorphisms. Then we show the existence of an Appell system which allows the extension of the non-Gaussian Hilbert space $L^2(\mu_\Psi)$ to the nuclear triple consisting of test functions' and distributions' spaces, $(\mathcal{N})^{1}\subset L^2(\mu_\Psi)\subset(\mathcal{N})_{\mu_\Psi}^{-1}$. Thanks to this triple, we can study Donsker's delta as a well-defined object in the space of distributions $(\mathcal{N})_{\mu_\Psi}^{-1}$.


title: Multiple quantum exceptional, diabolical, and hybrid points in multimode bosonic systems: I. Inherited and genuine singularities

abstract: The existence and degeneracies of quantum exceptional, diabolical, and hybrid (i.e., diabolically degenerated exceptional) singularities of simple bosonic systems composed of up to five modes with damping and/or amplification are analyzed. Their dynamics governed by quadratic non-Hermitian Hamiltonians is followed using the Heisenberg-Langevin equations. Conditions for the observation of inherited quantum hybrid points, observed directly in the dynamics of field operators, having up to third-order exceptional and second-order diabolical degeneracies are revealed. Exceptional and diabolical genuine points and their degeneracies observed in the dynamics of second-order field-operator moments are analyzed. Surprisingly, exceptional degeneracies of only second and third orders are revealed. Nevertheless the analyzed bosonic systems exhibit rich dynamics, also owing to their common second-order diabolical degeneracies.


title: Multiple quantum exceptional, diabolical, and hybrid points in multimode bosonic systems: II. Nonconventional PT-symmetric dynamics and unidirectional coupling

abstract: We analyze the existence and degeneracies of quantum exceptional, diabolical, and hybrid points of simple bosonic systems, composed of up to six modes with damping and/or amplification and exhibiting nonconventional dynamics. They involve the configurations in which the dynamics typical for PT-symmetric systems is observed only in a subspace of the whole Liouville space of the system states (nonconventional PT-symmetric dynamics) as well as those containing unidirectional coupling. The system dynamics described by quadratic non-Hermitian Hamiltonians is governed by the Heisenberg-Langevin equations. Conditions for the observation of inherited quantum hybrid points with up to sixth-order exceptional and second-order diabolical degeneracies are revealed, though relevant only for short-time dynamics. This raises the question of whether higher-order inherited singularities exist in bosonic systems that exhibit physically meaningful behavior at arbitrary times. On the other hand, for short times, unidirectional coupling of various types enables the concatenation of simple bosonic systems with second- and third-order exceptional degeneracies on demand. This approach allows for the creation of arbitrarily high exceptional degeneracies observed in systems with diverse structures. Methods for numerical identifying the quantum exceptional and hybrid points, and determining their degeneracies are discussed. Rich dynamics of higher-order field-operator moments is analyzed from the point of view of the presence of exceptional and diabolical points with their degeneracies in general.


title: WitheredLeaf: Finding Entity-Inconsistency Bugs with LLMs

abstract: Originating from semantic bugs, Entity-Inconsistency Bugs (EIBs) involve misuse of syntactically valid yet incorrect program entities, such as variable identifiers and function names, which often have security implications. Unlike straightforward syntactic vulnerabilities, EIBs are subtle and can remain undetected for years. Traditional detection methods, such as static analysis and dynamic testing, often fall short due to the versatile and context-dependent nature of EIBs. However, with advancements in Large Language Models (LLMs) like GPT-4, we believe LLM-powered automatic EIB detection becomes increasingly feasible through these models' semantics understanding abilities. This research first undertakes a systematic measurement of LLMs' capabilities in detecting EIBs, revealing that GPT-4, while promising, shows limited recall and precision that hinder its practical application. The primary problem lies in the model's tendency to focus on irrelevant code snippets devoid of EIBs. To address this, we introduce a novel, cascaded EIB detection system named WitheredLeaf, which leverages smaller, code-specific language models to filter out most negative cases and mitigate the problem, thereby significantly enhancing the overall precision and recall. We evaluated WitheredLeaf on 154 Python and C GitHub repositories, each with over 1,000 stars, identifying 123 new flaws, 45% of which can be exploited to disrupt the program's normal operations. Out of 69 submitted fixes, 27 have been successfully merged.


title: Orbital perturbation coupling of primary oblateness and solar radiation pressure

abstract: Solar radiation pressure can have a substantial long-term effect on the orbits of high area-to-mass ratio spacecraft, such as solar sails. We present a study of the coupling between radiation pressure and the gravitational perturbation due to polar flattening. Removing the short-period terms via perturbation theory yields a time-dependent two-degree-of-freedom Hamiltonian, depending on one physical and one dynamical parameter. While the reduced model is non-integrable in general, assuming coplanar orbits (i.e., both Spacecraft and Sun on the equator) results in an integrable invariant manifold. We discuss the qualitative features of the coplanar dynamics, and find three regions of the parameters space characterized by different regimes of the reduced flow. For each regime, we identify the fixed points and their character. The fixed points represent frozen orbits, configurations for which the long-term perturbations cancel out to the order of the theory. They are advantageous from the point of view of station keeping, allowing the orbit to be maintained with minimal propellant consumption. We complement existing studies of the coplanar dynamics with a more rigorous treatment, deriving the generating function of the canonical transformation that underpins the use of averaged equations. Furthermore, we obtain an analytical expression for the bifurcation lines that separate the regions with different qualitative flow.


title: Sharp Nonuniqueness in the Transport Equation with Sobolev Velocity Field

abstract: Given a divergence-free vector field ${\bf u} \in L^\infty_t W^{1,p}_x(\mathbb R^d)$ and a nonnegative initial datum $\rho_0 \in L^r$, the celebrated DiPerna--Lions theory established the uniqueness of the weak solution in the class of $L^\infty_t L^r_x$ densities for $\frac{1}{p} + \frac{1}{r} \leq 1$. This range was later improved in [BCDL21] to $\frac{1}{p} + \frac{d-1}{dr} \leq 1$. We prove that this range is sharp by providing a counterexample to uniqueness when $\frac{1}{p} + \frac{d-1}{dr} > 1$. To this end, we introduce a novel flow mechanism. It is not based on convex integration, which has provided a non-optimal result in this context, nor on purely self-similar techniques, but shares features of both, such as a local (discrete) self similar nature and an intermittent space-frequency localization.


title: Evolution of HOD and galaxy properties in filaments and nodes of the cosmic web

abstract: We study the evolution of the Halo Occupation Distribution (HOD) and galaxy properties of nodes and filamentary structures obtained by DisPerSE from the Illustris TNG300-1 hydrodynamical simulation, in the redshift range $0 \leq z \leq 2$. We compute the HOD in filaments and nodes and fit the HOD parameters to study their evolution, taking into account both faint and bright galaxies. In nodes, the number of faint galaxies increases with the decreasing redshift in the low-mass halos, while no significant differences are seen in the high-mass halos. Limiting the HOD to bright galaxies shows that the halos increase in mass more than the number of bright galaxies they accrete. For filaments, no large differences in HOD are found for faint galaxies, although for brighter galaxies the behaviour is similar to that for nodes. The HOD parametrization suggests that filaments have no effect on the mass required to host a galaxy (central or satellite), whereas nodes do. The results of the study indicate that filaments do not seem to affect the stellar mass content of galaxies. In contrast, nodes appear to affect halos with masses below approximately $10^{12.5} h^{-1} M_{\odot}$ at local redshift. The analysis of the galaxy colour evolution shows a reddening towards lower redshift, although these processes seem to be more efficient in massive halos, with a strong effect on the bright galaxies. The general evolution suggests that the building of galaxy population within halos is influenced by both the accretion of faint galaxies and the mass growth of the bright ones.


title: Multi-filter UV to NIR Data-driven Light Curve Templates for Stripped Envelope Supernovae

abstract: While the spectroscopic classification scheme for Stripped envelope supernovae (SESNe) is clear, and we know that they originate from massive stars that lost some or all their envelopes of Hydrogen and Helium, the photometric evolution of classes within this family is not fully characterized. Photometric surveys, like the Vera C. Rubin Legacy Survey of Space and Time, will discover tens of thousands of transients each night and spectroscopic follow-up will be limited, prompting the need for photometric classification and inference based solely on photometry. We have generated 54 data-driven photometric templates for SESNe of subtypes IIb, Ib, Ic, Ic-bl, and Ibn in U/u, B, g, V, R/r, I/i, J, H, Ks, and Swift w2, m2, w1 bands using Gaussian Processes and a multi-survey dataset composed of all well-sampled open-access light curves (165 SESNe, 29531 data points) from the Open Supernova Catalog. We use our new templates to assess the photometric diversity of SESNe by comparing final per-band subtype templates with each other and with individual, unusual and prototypical SESNe. We find that SNe Ibns and Ic-bl exhibit a distinctly faster rise and decline compared to other subtypes. We also evaluate the behavior of SESNe in the PLAsTiCC and ELAsTiCC simulations of LSST light curves highlighting differences that can bias photometric classification models trained on the simulated light curves. Finally, we investigate in detail the behavior of fast-evolving SESNe (including SNe Ibn) and the implications of the frequently observed presence of two peaks in their light curves.


title: ShadowNav: Autonomous Global Localization for Lunar Navigation in Darkness

abstract: The ability to determine the pose of a rover in an inertial frame autonomously is a crucial capability necessary for the next generation of surface rover missions on other planetary bodies. Currently, most on-going rover missions utilize ground-in-the-loop interventions to manually correct for drift in the pose estimate and this human supervision bottlenecks the distance over which rovers can operate autonomously and carry out scientific measurements. In this paper, we present ShadowNav, an autonomous approach for global localization on the Moon with an emphasis on driving in darkness and at nighttime. Our approach uses the leading edge of Lunar craters as landmarks and a particle filtering approach is used to associate detected craters with known ones on an offboard map. We discuss the key design decisions in developing the ShadowNav framework for use with a Lunar rover concept equipped with a stereo camera and an external illumination source. Finally, we demonstrate the efficacy of our proposed approach in both a Lunar simulation environment and on data collected during a field test at Cinder Lakes, Arizona.


title: Generative AI in Cybersecurity

abstract: The dawn of Generative Artificial Intelligence (GAI), characterized by advanced models such as Generative Pre-trained Transformers (GPT) and other Large Language Models (LLMs), has been pivotal in reshaping the field of data analysis, pattern recognition, and decision-making processes. This surge in GAI technology has ushered in not only innovative opportunities for data processing and automation but has also introduced significant cybersecurity challenges. As GAI rapidly progresses, it outstrips the current pace of cybersecurity protocols and regulatory frameworks, leading to a paradox wherein the same innovations meant to safeguard digital infrastructures also enhance the arsenal available to cyber criminals. These adversaries, adept at swiftly integrating and exploiting emerging technologies, may utilize GAI to develop malware that is both more covert and adaptable, thus complicating traditional cybersecurity efforts. The acceleration of GAI presents an ambiguous frontier for cybersecurity experts, offering potent tools for threat detection and response, while concurrently providing cyber attackers with the means to engineer more intricate and potent malware. Through the joint efforts of Duke Pratt School of Engineering, Coalfire, and Safebreach, this research undertakes a meticulous analysis of how malicious agents are exploiting GAI to augment their attack strategies, emphasizing a critical issue for the integrity of future cybersecurity initiatives. The study highlights the critical need for organizations to proactively identify and develop more complex defensive strategies to counter the sophisticated employment of GAI in malware creation.


title: Clones, closed categories, and combinatory logic

abstract: We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We define universal properties for multicategories, and use these to derive familiar rules for products, tensors, and exponentials. Finally we explain how to recover both the category-theoretic syntactic model and its semantic interpretation from the multi-ary framework. We then use these ideas to study the semantic interpretation of combinatory logic and the simply-typed lambda-calculus without products. We introduce extensional SK-clones and show these are sound and complete for both combinatory logic with extensional weak equality and the simply-typed lambda-calculus without products. We then show such SK-clones are equivalent to a variant of closed categories called SK-categories, so the simply-typed lambda-calculus without products is the internal language of SK-categories. As a corollary, we deduce that SK-categories have the same relationship to cartesian monoidal categories that closed categories have to monoidal categories.


title: The orientation dependence of cavity-modified chemistry

abstract: Recent theoretical studies have explored how ultra-strong light--matter coupling can be used as a handle to control chemical transformations. {\em Ab initio} cavity quantum electrodynamics (QED) calculations demonstrate that large changes to reaction energies or barrier heights can be realized by coupling electronic degrees of freedom to vacuum fluctuations associated with an optical cavity mode, provided that large enough coupling strengths can be achieved. In many cases, the cavity effects display a pronounced orientational dependence. In this Perspective, we highlight the critical role that geometry relaxation can play in such studies. As an example, we consider recent work [Nat.~Commun.~{\bf 14}, 2766 (2023)] that explored the influence of an optical cavity on Diels-Alder cycloaddition reactions and reported large changes to reaction enthalpies and barrier heights, as well as the observation that changes in orientation can inhibit the reaction or select for one reaction product or another. Those calculations used fixed molecular geometries optimized in the absence of the cavity and fixed relative orientations of the molecules and the cavity mode polarization axis. Here, we show that, when given a chance to relax in the presence of the cavity, the molecular species reorient in a way that eliminates the orientational dependence. Moreover, in this case, we find that qualitatively different conclusions regarding the impact of the cavity on the thermodynamics of the reaction can be drawn from calculations that consider relaxed versus unrelaxed molecular structures.


title: Balance Reward and Safety Optimization for Safe Reinforcement Learning: A Perspective of Gradient Manipulation

abstract: Ensuring the safety of Reinforcement Learning (RL) is crucial for its deployment in real-world applications. Nevertheless, managing the trade-off between reward and safety during exploration presents a significant challenge. Improving reward performance through policy adjustments may adversely affect safety performance. In this study, we aim to address this conflicting relation by leveraging the theory of gradient manipulation. Initially, we analyze the conflict between reward and safety gradients. Subsequently, we tackle the balance between reward and safety optimization by proposing a soft switching policy optimization method, for which we provide convergence analysis. Based on our theoretical examination, we provide a safe RL framework to overcome the aforementioned challenge, and we develop a Safety-MuJoCo Benchmark to assess the performance of safe RL algorithms. Finally, we evaluate the effectiveness of our method on the Safety-MuJoCo Benchmark and a popular safe RL benchmark, Omnisafe. Experimental results demonstrate that our algorithms outperform several state-of-the-art baselines in terms of balancing reward and safety optimization.


title: 1-Diffractor: Efficient and Utility-Preserving Text Obfuscation Leveraging Word-Level Metric Differential Privacy

abstract: The study of privacy-preserving Natural Language Processing (NLP) has gained rising attention in recent years. One promising avenue studies the integration of Differential Privacy in NLP, which has brought about innovative methods in a variety of application settings. Of particular note are $\textit{word-level Metric Local Differential Privacy (MLDP)}$ mechanisms, which work to obfuscate potentially sensitive input text by performing word-by-word $\textit{perturbations}$. Although these methods have shown promising results in empirical tests, there are two major drawbacks: (1) the inevitable loss of utility due to addition of noise, and (2) the computational expensiveness of running these mechanisms on high-dimensional word embeddings. In this work, we aim to address these challenges by proposing $\texttt{1-Diffractor}$, a new mechanism that boasts high speedups in comparison to previous mechanisms, while still demonstrating strong utility- and privacy-preserving capabilities. We evaluate $\texttt{1-Diffractor}$ for utility on several NLP tasks, for theoretical and task-based privacy, and for efficiency in terms of speed and memory. $\texttt{1-Diffractor}$ shows significant improvements in efficiency, while still maintaining competitive utility and privacy scores across all conducted comparative tests against previous MLDP mechanisms. Our code is made available at: https://github.com/sjmeis/Diffractor.


title: Enhanced primordial gravitational waves from a stiff post-inflationary era due to an oscillating inflaton

abstract: We investigate two classes of inflationary models, which lead to a stiff period after inflation that boosts the signal of primordial gravitational waves (GWs). In both families of models studied, we consider an oscillating scalar condensate, which when far away from the minimum it is overdamped by a warped kinetic term, a la $\alpha$-attractors. This leads to successful inflation. The oscillating condensate is in danger of becoming fragmented by resonant effects when non-linearities take over. Consequently, the stiff phase cannot be prolonged enough to enhance primordial GWs at frequencies observable in the near future for low orders of the envisaged scalar potential. However, this is not the case for a higher-order scalar potential. Indeed, we show that this case results in a boosted GW spectrum that overlaps with future observations without generating too much GW radiation to de-stabilise Big Bang Nucleosynthesis. For example, taking $\alpha={\cal O}(1)$, we find that the GW signal can be safely enhanced up to $\Omega_{\rm GW}(f)\sim 10^{-11}$ at frequency $f\sim 10^2\,$Hz, which will be observable by the Einstein Telescope (ET). Our mechanism ends up with a characteristic GW spectrum, which if observed, can lead to the determination of the inflation energy scale, the reheating temperature and the shape (steepness) of the scalar potential around the minimum.


title: Physics-Informed Neural Networks: Minimizing Residual Loss with Wide Networks and Effective Activations

abstract: The residual loss in Physics-Informed Neural Networks (PINNs) alters the simple recursive relation of layers in a feed-forward neural network by applying a differential operator, resulting in a loss landscape that is inherently different from those of common supervised problems. Therefore, relying on the existing theory leads to unjustified design choices and suboptimal performance. In this work, we analyze the residual loss by studying its characteristics at critical points to find the conditions that result in effective training of PINNs. Specifically, we first show that under certain conditions, the residual loss of PINNs can be globally minimized by a wide neural network. Furthermore, our analysis also reveals that an activation function with well-behaved high-order derivatives plays a crucial role in minimizing the residual loss. In particular, to solve a $k$-th order PDE, the $k$-th derivative of the activation function should be bijective. The established theory paves the way for designing and choosing effective activation functions for PINNs and explains why periodic activations have shown promising performance in certain cases. Finally, we verify our findings by conducting a set of experiments on several PDEs. Our code is publicly available at https://github.com/nimahsn/pinns_tf2.


title: Accounting for the Effects of Probabilistic Uncertainty During Fast Charging of Lithium-ion Batteries

abstract: Batteries are nonlinear dynamical systems that can be modeled by Porous Electrode Theory models. The aim of optimal fast charging is to reduce the charging time while keeping battery degradation low. Most past studies assume that model parameters and ambient temperature are a fixed known value and that all PET model parameters are perfectly known. In real battery operation, however, the ambient temperature and the model parameters are uncertain. To ensure that operational constraints are satisfied at all times in the context of model-based optimal control, uncertainty quantification is required. Here, we analyze optimal fast charging for modest uncertainty in the ambient temperature and 23 model parameters. Uncertainty quantification of the battery model is carried out using non-intrusive polynomial chaos expansion and the results are verified with Monte Carlo simulations. The method is investigated for a constant current--constant voltage charging strategy for a battery for which the strategy is known to be standard for fast charging subject to operating below maximum current and charging constraints. Our results demonstrate that uncertainty in ambient temperature results in violations of constraints on the voltage and temperature. Our results identify a subset of key parameters that contribute to fast charging among the overall uncertain parameters. Additionally, it is shown that the constraints represented by voltage, temperature, and lithium-plating overpotential are violated due to uncertainties in the ambient temperature and parameters. The C-rate and charge constraints are then adjusted so that the probability of violating the degradation acceleration condition is below a pre-specified value. This approach demonstrates a computationally efficient approach for determining fast-charging protocols that take probabilistic uncertainties into account.


title: Leveraging Prompt-Learning for Structured Information Extraction from Crohn's Disease Radiology Reports in a Low-Resource Language

abstract: Automatic conversion of free-text radiology reports into structured data using Natural Language Processing (NLP) techniques is crucial for analyzing diseases on a large scale. While effective for tasks in widely spoken languages like English, generative large language models (LLMs) typically underperform with less common languages and can pose potential risks to patient privacy. Fine-tuning local NLP models is hindered by the skewed nature of real-world medical datasets, where rare findings represent a significant data imbalance. We introduce SMP-BERT, a novel prompt learning method that leverages the structured nature of reports to overcome these challenges. In our studies involving a substantial collection of Crohn's disease radiology reports in Hebrew (over 8,000 patients and 10,000 reports), SMP-BERT greatly surpassed traditional fine-tuning methods in performance, notably in detecting infrequent conditions (AUC: 0.99 vs 0.94, F1: 0.84 vs 0.34). SMP-BERT empowers more accurate AI diagnostics available for low-resource languages.


title: Non-existence of phantoms on some non-generic blowups of the projective plane

abstract: We show that blowups of the projective plane at points lying on a smooth cubic curve do not contain phantoms, provided the points are chosen in very general position on this curve.


title: Intelligent Switching for Reset-Free RL

abstract: In the real world, the strong episode resetting mechanisms that are needed to train agents in simulation are unavailable. The \textit{resetting} assumption limits the potential of reinforcement learning in the real world, as providing resets to an agent usually requires the creation of additional handcrafted mechanisms or human interventions. Recent work aims to train agents (\textit{forward}) with learned resets by constructing a second (\textit{backward}) agent that returns the forward agent to the initial state. We find that the termination and timing of the transitions between these two agents are crucial for algorithm success. With this in mind, we create a new algorithm, Reset Free RL with Intelligently Switching Controller (RISC) which intelligently switches between the two agents based on the agent's confidence in achieving its current goal. Our new method achieves state-of-the-art performance on several challenging environments for reset-free RL.


title: The Gapeev-Shiryaev Conjecture

abstract: The Gapeev-Shiryaev conjecture (originating in Gapeev and Shiryaev (2011) and Gapeev and Shiryaev (2013)) can be broadly stated as follows: Monotonicity of the signal-to-noise ratio implies monotonicity of the optimal stopping boundaries. The conjecture was originally formulated both within (i) sequential testing problems for diffusion processes (where one needs to decide which of the two drifts is being indirectly observed) and (ii) quickest detection problems for diffusion processes (where one needs to detect when the initial drift changes to a new drift). In this paper we present proofs of the Gapeev-Shiryaev conjecture both in (i) the sequential testing setting (under Lipschitz/Holder coefficients of the underlying SDEs) and (ii) the quickest detection setting (under analytic coefficients of the underlying SDEs). The method of proof in the sequential testing setting relies upon a stochastic time change and pathwise comparison arguments. Both arguments break down in the quickest detection setting and get replaced by arguments arising from a stochastic maximum principle for hypoelliptic equations (satisfying Hormander's condition) that is of independent interest. Verification of the Gapeev-Shiryaev conjecture establishes the fact that sequential testing and quickest detection problems with monotone signal-to-noise ratios are amenable to known methods of solution.


title: Automatically Extracting Numerical Results from Randomized Controlled Trials with Large Language Models

abstract: Meta-analyses statistically aggregate the findings of different randomized controlled trials (RCTs) to assess treatment effectiveness. Because this yields robust estimates of treatment effectiveness, results from meta-analyses are considered the strongest form of evidence. However, rigorous evidence syntheses are time-consuming and labor-intensive, requiring manual extraction of data from individual trials to be synthesized. Ideally, language technologies would permit fully automatic meta-analysis, on demand. This requires accurately extracting numerical results from individual trials, which has been beyond the capabilities of natural language processing (NLP) models to date. In this work, we evaluate whether modern large language models (LLMs) can reliably perform this task. We annotate (and release) a modest but granular evaluation dataset of clinical trial reports with numerical findings attached to interventions, comparators, and outcomes. Using this dataset, we evaluate the performance of seven LLMs applied zero-shot for the task of conditionally extracting numerical findings from trial reports. We find that massive LLMs that can accommodate lengthy inputs are tantalizingly close to realizing fully automatic meta-analysis, especially for dichotomous (binary) outcomes (e.g., mortality). However, LLMs -- including ones trained on biomedical texts -- perform poorly when the outcome measures are complex and tallying the results requires inference. This work charts a path toward fully automatic meta-analysis of RCTs via LLMs, while also highlighting the limitations of existing models for this aim.


title: Compactness via Pattern Stepping Bisimulation

abstract: The compactness lemma in programming language theory states that any recursive function can be simulated by a finite unrolling of the function. One important use case it has is in the logical relations proof technique for proving properties of typed programs, such as strong normalization. The relation between recursive functions and their finite counterparts is a special variant of the class of bisimulation relations. However, standard bisimulation proof approaches do not apply to the compactness lemma as properties of the relation vary over execution. As a result, the proof of compactness is often messy because the multiple copies made of the recursive function during execution can be unrolled an inconsistent number of times. We present a new proof technique by indexing the bisimulation relation over the step transitions and utilizing an intermediate "pattern" language to mechanize bookkeeping. This generalization of "pattern stepping bisimulation" obviates the need for contextual approximation within the compactness lemma, and thus extends the compactness lemma to a wider range of programming languages, including those that incorporate control flow effects. We demonstrate this approach by formally verifying the compactness lemma within the Coq theorem prover in the setting of explicit control flow and polymorphism.


title: Adapting Self-Supervised Learning for Computational Pathology

abstract: Self-supervised learning (SSL) has emerged as a key technique for training networks that can generalize well to diverse tasks without task-specific supervision. This property makes SSL desirable for computational pathology, the study of digitized images of tissues, as there are many target applications and often limited labeled training samples. However, SSL algorithms and models have been primarily developed in the field of natural images and whether their performance can be improved by adaptation to particular domains remains an open question. In this work, we present an investigation of modifications to SSL for pathology data, specifically focusing on the DINOv2 algorithm. We propose alternative augmentations, regularization functions, and position encodings motivated by the characteristics of pathology images. We evaluate the impact of these changes on several benchmarks to demonstrate the value of tailored approaches.


title: Investigation on optimal microstructure of dual-phase steel with high strength and ductility by machine learning

abstract: In this study, we developed an inverse analysis framework that proposes a microstructure for dual-phase (DP) steel that exhibits high strength and ductility. The inverse analysis method proposed in this study involves repeated random searches on a model that combines a generative adversarial network (GAN), which generates microstructures, and a convolutional neural network (CNN), which predicts the maximum stress and working limit strain from DP steel microstructures. GAN was trained using images of DP steel microstructures generated by the phase-field method. CNN was trained using images of DP steel microstructures, the maximum stress and the working limit strain calculated by the dislocation-crystal plasticity finite element method. The constructed framework made an efficient search for microstructures possible because of a low-dimensional search space by a latent variable of GAN. The multiple deformation modes were considered in this framework, which allowed the required microstructures to be explored under complex deformation modes. A microstructure with a fine grain size was proposed by using the developed framework.


title: Addressing the Load Estimation Problem: Cell Switching in HAPS-Assisted Sustainable 6G Networks

abstract: This study aims to introduce and address the problem of traffic load estimation in the cell switching concept within the evolving landscape of vertical heterogeneous networks (vHetNets). The problem is that the practice of cell switching faces a significant challenge due to the lack of accurate data on the traffic load of sleeping small base stations (SBSs). This problem makes the majority of the studies in the literature, particularly those employing load-dependent approaches, impractical due to their basic assumption of perfect knowledge of the traffic loads of sleeping SBSs for the next time slot. Rather than developing another advanced cell switching algorithm, this study investigates the impacts of estimation errors and explores possible solutions through established methodologies in a novel vHetNet environment that includes the integration of a high altitude platform (HAPS) as a super macro base station (SMBS) into the terrestrial network. In other words, this study adopts a more foundational perspective, focusing on eliminating a significant obstacle for the application of advanced cell switching algorithms. To this end, we explore the potential of three distinct spatial interpolation-based estimation schemes: random neighboring selection, distance-based selection, and clustering-based selection. Utilizing a real dataset for empirical validations, we evaluate the efficacy of our proposed traffic load estimation schemes. Our results demonstrate that the multi-level clustering (MLC) algorithm performs exceptionally well, with an insignificant difference (i.e., 0.8%) observed between its estimated and actual network power consumption, highlighting its potential to significantly improve energy efficiency in vHetNets.


title: Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving

abstract: Out-of-distribution (OOD) detection is essential in autonomous driving, to determine when learning-based components encounter unexpected inputs. Traditional detectors typically use encoder models with fixed settings, thus lacking effective human interaction capabilities. With the rise of large foundation models, multimodal inputs offer the possibility of taking human language as a latent representation, thus enabling language-defined OOD detection. In this paper, we use the cosine similarity of image and text representations encoded by the multimodal model CLIP as a new representation to improve the transparency and controllability of latent encodings used for visual anomaly detection. We compare our approach with existing pre-trained encoders that can only produce latent representations that are meaningless from the user's standpoint. Our experiments on realistic driving data show that the language-based latent representation performs better than the traditional representation of the vision encoder and helps improve the detection performance when combined with standard representations.


title: Multi-Layer Network Formation through HAPS Base Station and Transmissive RIS-Equipped UAV

abstract: In order to bolster future wireless networks, there has been a great deal of interest in non-terrestrial networks, especially aerial platform stations including the high altitude platform station (HAPS) and uncrewed aerial vehicles (UAV). These platforms can integrate advanced technologies such as reconfigurable intelligent surfaces (RIS) and non-orthogonal multiple access (NOMA). In this regard, this paper proposes a multi-layer network architecture to improve the performance of conventional HAPS super-macro base station (HAPS-SMBS)-assisted UAV. The architecture includes a HAPS-SMBS, UAVs equipped with active transmissive RIS, and ground Internet of things devices. We also consider multiple-input single-output (MISO) technology, by employing multiple antennas at the HAPS-SMBS and a single antenna at the Internet of things devices. Additionally, we consider NOMA as the multiple access technology as well as the existence of hardware impairments as a practical limitation. In particular, we compare the proposed system model with three different scenarios: HAPS-SMBS-assisted UAV that are equipped with active transmissive RIS and supported by single-input single-output system, HAPS-SMBS-assisted UAV that are equipped with amplify-and-forward relaying, and HAPS-SMBS-assisted UAV-equipped with passive transmissive RIS. Sum rate and energy efficiency are used as performance metrics, and the findings demonstrate that, in comparison to all benchmarks, the proposed system yields higher performance gain. Moreover, the hardware impairment limits the system performance at high transmit power levels.


title: Adversarial Attacks on Reinforcement Learning Agents for Command and Control

abstract: Given the recent impact of Deep Reinforcement Learning in training agents to win complex games like StarCraft and DoTA(Defense Of The Ancients) - there has been a surge in research for exploiting learning based techniques for professional wargaming, battlefield simulation and modeling. Real time strategy games and simulators have become a valuable resource for operational planning and military research. However, recent work has shown that such learning based approaches are highly susceptible to adversarial perturbations. In this paper, we investigate the robustness of an agent trained for a Command and Control task in an environment that is controlled by an active adversary. The C2 agent is trained on custom StarCraft II maps using the state of the art RL algorithms - A3C and PPO. We empirically show that an agent trained using these algorithms is highly susceptible to noise injected by the adversary and investigate the effects these perturbations have on the performance of the trained agent. Our work highlights the urgent need to develop more robust training algorithms especially for critical arenas like the battlefield.


title: Sensitivity analysis for matching on high-dimensional predictors: A case study of racial disparity in US mortality

abstract: Matching on a low dimensional vector of scalar covariates consists of constructing groups of individuals in which each individual in a group is within a pre-specified distance from an individual in another group. However, matching in high dimensional spaces is more challenging because the distance can be sensitive to implementation details, caliper width, and measurement error of observations. To partially address these problems, we propose to use extensive sensitivity analyses and identify the main sources of variation and bias. We illustrate these concepts by examining the racial disparity in all-cause mortality in the US using the National Health and Nutrition Examination Survey (NHANES 2003-2006). In particular, we match African Americans to Caucasian Americans on age, gender, BMI and objectively measured physical activity (PA). PA is measured every minute using accelerometers for up to seven days and then transformed into an empirical distribution of all of the minute-level observations. The Wasserstein metric is used as the measure of distance between these participant-specific distributions.