title: Nash Soft Actor-Critic LEO Satellite Handover Management Algorithm for Flying Vehicles

abstract: Compared with the terrestrial networks (TN), which can only support limited coverage areas, low-earth orbit (LEO) satellites can provide seamless global coverage and high survivability in case of emergencies. Nevertheless, the swift movement of the LEO satellites poses a challenge: frequent handovers are inevitable, compromising the quality of service (QoS) of users and leading to discontinuous connectivity. Moreover, considering LEO satellite connectivity for different flying vehicles (FVs) when coexisting with ground terminals, an efficient satellite handover decision control and mobility management strategy is required to reduce the number of handovers and allocate resources that align with different users' requirements. In this paper, a novel distributed satellite handover strategy based on Multi-Agent Reinforcement Learning (MARL) and game theory named Nash-SAC has been proposed to solve these problems. From the simulation results, the Nash-SAC-based handover strategy can effectively reduce the handovers by over 16 percent and the blocking rate by over 18 percent, outperforming local benchmarks such as traditional Q-learning. It also greatly improves the network utility used to quantify the performance of the whole system by up to 48 percent and caters to different users requirements, providing reliable and robust connectivity for both FVs and ground terminals.


title: Episodic-free Task Selection for Few-shot Learning

abstract: Episodic training is a mainstream training strategy for few-shot learning. In few-shot scenarios, however, this strategy is often inferior to some non-episodic training strategy, e. g., Neighbourhood Component Analysis (NCA), which challenges the principle that training conditions must match testing conditions. Thus, a question is naturally asked: How to search for episodic-free tasks for better few-shot learning? In this work, we propose a novel meta-training framework beyond episodic training. In this framework, episodic tasks are not used directly for training, but for evaluating the effectiveness of some selected episodic-free tasks from a task set that are performed for training the meta-learners. The selection criterion is designed with the affinity, which measures the degree to which loss decreases when executing the target tasks after training with the selected tasks. In experiments, the training task set contains some promising types, e. g., contrastive learning and classification, and the target few-shot tasks are achieved with the nearest centroid classifiers on the miniImageNet, tiered-ImageNet and CIFAR-FS datasets. The experimental results demonstrate the effectiveness of our approach.


title: ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation

abstract: System Verilog Assertion (SVA) formulation -- a critical yet complex task is a prerequisite in the Formal Property Verification (FPV) process. Traditionally, SVA formulation involves expert-driven interpretation of specifications, which is timeconsuming and prone to human error. However, LLM-informed automatic assertion generation is gaining interest. We designeda novel framework called ChIRAAG, based on OpenAI GPT4, to generate SVA assertions from natural language specifications. ChIRAAG constitutes the systematic breakdown of design specifications into a standardized format, further generating assertions from formatted specifications using LLM. Furthermore, we developed testbenches to verify/validate the LLM-generated assertions. Automatic feedback of log files from the simulation tool to the LLM ensures that the framework can generate correc SVAs automatically. Only 33% of LLM-generated raw assertions had errors. Our results on OpenTitan designs shows that LLMs can streamline and assist engineers in the assertion generation process, reshaping verification workflows.


title: Deep Neural Networks: A Formulation Via Non-Archimedean Analysis

abstract: We introduce a new class of deep neural networks (DNNs) with multilayered tree-like architectures. The architectures are codified using numbers from the ring of integers of non-Archimdean local fields. These rings have a natural hierarchical organization as infinite rooted trees. Natural morphisms on these rings allow us to construct finite multilayered architectures. The new DNNs are robust universal approximators of real-valued functions defined on the mentioned rings. We also show that the DNNs are robust universal approximators of real-valued square-integrable functions defined in the unit interval.


title: New Rotating Black Hole Solutions With Imperfect Fluid Energy-Momentum Tensor In $f(R)$ Gravity

abstract: We find a new class of exact solutions for rotating black holes in $f(R)$ gravity in presence of imperfect fluid. We find that the exact solutions are holographically dual to a hidden conformal field theory. Moreover we consider another class of exact solutions for rotating black holes in $f(R)$ gravity, which is obtained through a Lorentz boost transformation on a static spherical symmetry solutions in $f(R)$ gravity. We also find that the boosted exact solutions are holographically dual to a hidden conformal field theory. Comparing the CFT temperatures and the mode numbers of the two CFTs, we suggest a conjecture that, "Two identical rotating black holes (the same mass and the horizon) in $f(R)$ theory could be distinguished by looking at their dual CFT temperatures, and the dual CFT mode numbers. The rotating black hole in the presence of matter has higher CFT temperatures and higher CFT mode numbers, compared to the vacuum boosted rotating black hole".


title: General uncrossing covering paths inside the axis-aligned bounding box

abstract: Given the finite set of $n_1 \cdot n_2 \cdot \ldots \cdot n_k$ points $G_{n_1,n_2,\ldots,n_k} \subset \mathbb{R}^k$ such that $n_k \geq \cdots \geq n_2 \geq n_1 \in \mathbb{Z}^+$, we introduce a new algorithm, called M$\Lambda$I, which returns an uncrossing covering path inside the minimum axis-aligned bounding box $[0,n_1-1] \times [0,n_2-1] \times \cdots \times [0,n_k-1]$, consisting of $3 \cdot \prod_{i=1}^{k-1} n_i-2$ links of prescribed length $n_k-1$ units. Thus, for any $n_k \geq 3$, the link length of the covering path provided by our M$\Lambda$I-algorithm is smaller than the cardinality of the set $G_{n_1,n_2,\ldots,n_k}$. Furthermore, assuming $k>2$, we present an uncrossing covering path for $G_{3,3,\ldots,3}$, consisting of $20 \cdot 3^{k-3}-2$ straight-line edges that are $2$ units long each, which is constrained by the axis-aligned bounding box $\left[0,4-\sqrt{3}\right] \times \left[0,4-\sqrt{3}\right] \times [0, 2]^{k-2}$.


title: Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM

abstract: Testing plays a pivotal role in ensuring software quality, yet conventional Search Based Software Testing (SBST) methods often struggle with complex software units, achieving suboptimal test coverage. Recent works using large language models (LLMs) for test generation have focused on improving generation quality through optimizing the test generation context and correcting errors in model outputs, but use fixed prompting strategies that prompt the model to generate tests without additional guidance. As a result LLM-generated testsuites still suffer from low coverage. In this paper, we present SymPrompt, a code-aware prompting strategy for LLMs in test generation. SymPrompt's approach is based on recent work that demonstrates LLMs can solve more complex logical problems when prompted to reason about the problem in a multi-step fashion. We apply this methodology to test generation by deconstructing the testsuite generation process into a multi-stage sequence, each of which is driven by a specific prompt aligned with the execution paths of the method under test, and exposing relevant type and dependency focal context to the model. Our approach enables pretrained LLMs to generate more complete test cases without any additional training. We implement SymPrompt using the TreeSitter parsing framework and evaluate on a benchmark challenging methods from open source Python projects. SymPrompt enhances correct test generations by a factor of 5 and bolsters relative coverage by 26% for CodeGen2. Notably, when applied to GPT-4, SymPrompt improves coverage by over 2x compared to baseline prompting strategies.


title: Closed universes in two dimensional gravity

abstract: We study closed universes in simple models of two dimensional gravity, such as Jackiw-Teiteilboim (JT) gravity coupled to matter, and a toy topological model that captures the key features of the former. We find there is a stark contrast, as well as some connections, between the perturbative and non-perturbative aspects of the theory. We find rich semi-classical physics. However, when non-perturbative effects are included there is a unique closed universe state in each theory. We discuss possible meanings and interpretations of this observation.


title: Quantum tunneling from excited states: Recovering imaginary-time instantons from a real-time analysis

abstract: We revisit the path integral description of quantum tunneling and show how it can be generalized to excited states. For clarity, we focus on the simple toy model of a point particle in a double-well potential, for which we perform all steps explicitly. Instead of performing the familiar Wick rotation from physical to imaginary time - which is inconsistent with the requisite boundary conditions when treating tunneling from excited states - we regularize the path integral by adding an infinitesimal complex contribution to the Hamiltonian, while keeping time strictly real. We find that this gives rise to a complex stationary-phase solution, in agreement with recent insights from Picard-Lefshitz theory. We then show that there exists a class of analytic solutions for the corresponding equations of motion, which can be made to match the appropriate boundary conditions in the physically relevant limits of a vanishing regulator and an infinite physical time. We provide a detailed discussion of this non-trivial limit. We find that, for systems without an explicit time-dependence, our approach reproduces the picture of an instanton-like solution defined on a finite Euclidean-time interval. Lastly, we discuss the generalization of our approach to broader classes of systems, for which it serves as a reliable framework for high-precision calculations.


title: Diffuse Axion Background

abstract: Relativistic axions can be readily produced in a broad variety of transient sources, such as axion star bosenova explosions, supernovae or even evaporating primordial black holes. We develop a general framework describing the resulting persistent diffuse axion background (D$a$B) due to accumulated axions from historic transient events. We derive strong constraints on the D$a$B flux from light axions $m\lesssim 10^{-3}\,{\rm eV}$ emitted from sources with energies $\omega \gtrsim{\rm MeV}$ considering the non-observation of excess photons associated with axion-photon coupling from experiments, including COMPTEL, NuSTAR, XMM-Newton, INTEGRAL, EGRET and Fermi. Future searches in experiments such as SKA, JWST, XRISM, Vera C. Rubin Observatory, AMEGO/e-ASTROGAM will allow probing D$a$B and associated axion-photon couplings with unprecedented sensitivity covering a wide range of possible source energies as low as $0.1\,\mu$eV and multiple decades in axion masses. We highlight the differences between astrophysical and dark sector sources of D$a$B. Further, we discuss complementarity with direct detection as well as prospects for other D$a$B searches. Our analysis demonstrates that D$a$B can act as a promising probe of populations of axion emission sources as well as emission mechanisms.


title: Explaining the $\gamma\gamma+X$ Excesses at $\approx$151.5 GeV via the Drell-Yan Production of a Higgs Triplet

abstract: The multi-lepton anomalies and searches for the associated production of a narrow resonance indicate the existence of a $\approx$151 GeV Higgs with a significance of $>5\sigma$ and $>3.9\sigma$, respectively. On the one hand, these anomalies require a sizable branching fraction of the new scalar to $WW$, while on the other hand, no $ZZ$ signal at this mass has been observed. This suggests that the new boson is the neutral component of an $SU(2)_L$ triplet with zero hypercharge. This field leads to a positive definite shift in the $W$ mass, as preferred by the current global fit, and is produced via the Drell-Yan process $pp\to W^*\to \Delta^0\Delta^\pm$. We use the side-bands of the ATLAS analysis \cite{ATLAS:2023omk} of the associated production of the Standard Model Higgs in the di-photon channel to search for this production mode of the triplet. Since the dominant decays of $\Delta^\pm$ depend only on its mass, the effect in the 22 signal categories considered by ATLAS is completely correlated. We find that the ones most sensitive to the Drell-Yan production of the triplet Higgs show consistent excesses at a mass of $\approx$151.5 GeV. Combining these channels in a likelihood ratio test, a non-zero Br$[\Delta^0\to\gamma\gamma] = 0.66\%$ is preferred by $\approx$3$\sigma$, supporting our conjecture.


title: Infrared finite scattering theory: Scattering states and representations of the BMS group

abstract: Any non-trivial scattering with any massless fields in four spacetime dimensions will generically produce an "out" state with memory which gives rise to infrared divergences in the standard $S$-matrix. To obtain an infrared-finite scattering theory, one must suitably include states with memory. However, except in the case of QED with massive charged particles, asymptotic states with memory that have finite energy and angular momentum have not been constructed for more general theories (e.g. massless QED, Yang-Mills and quantum gravity). To this end, we construct direct-integral representations over the "Lorentz orbit" of a given memory and classify all "orbit space representations" that have well-defined energy and angular momentum. We thereby provide an explicit construction of a large supply of physical states with memory as well as the explicit action of the BMS charges all states. The construction of such states is a key step toward the formulation of an infrared-finite scattering theory. While we primarily focus on the quantum gravitational case, we outline how the methods presented in this paper can be applied to obtain representations of the Poincar\'e group with memory for more general quantum field theories.


title: The formation of compact massive relic galaxies in MOND

abstract: Compact massive relic galaxies are a class of galaxies that exhibit characteristics suggesting they have remained largely unchanged since their initial formation, making them 'relics' of the early universe. These galaxies represent a distinct class characterized by strongly peaked high-velocity dispersion profiles with large rotational velocities. This study investigates the formation of such galaxies within the framework of Milgromian Dynamics (MOND), offering a unique perspective on their origin without invoking the presence of cold or warm dark matter. Our analysis focuses on the collapse dynamics of isolated non-rotating post-Big-Bang gas clouds, revealing kinematic and density profiles comparable to observed compact massive relic galaxies like NGC 1277, Mrk 1216, and PGC 032873. The findings underscore the natural emergence of compact massive relic galaxies within a MOND-based Universe, providing valuable insights into the interplay between gravitational dynamics and galaxy formation.


title: The Power of High Precision Broadband Photometry: Tracing the Milky Way Density Profile with Blue Horizontal Branch stars in the Dark Energy Survey

abstract: Blue Horizontal Branch (BHB) stars, excellent distant tracers for probing the Milky Way's halo density profile, are distinguished in the $(g-r)_0$ vs $(i-z)_0$ color space from another class of stars, blue straggler stars (BSs). We develop a Bayesian mixture model to classify BHB stars using high-precision photometry data from the Dark Energy Survey Data Release 2 (DES DR2). We select $\sim2100$ highly-probable BHBs based on their $griz$ photometry and the associated uncertainties, and use these stars to map the stellar halo over the Galactocentric radial range $20 \lesssim R \lesssim 70$ kpc. After excluding known stellar overdensities, we find that the number density $n_\star$ of BHBs can be represented by a power law density profile $n_\star \propto R^{-\alpha}$ with an index of $\alpha=4.28_{-0.12}^{+0.13}$, consistent with existing literature values. In addition, we examine the impact of systematic errors and the spatial inhomogeneity on the fitted density profile. Our work demonstrates the effectiveness of high-precision $griz$ photometry in selecting BHB stars. The upcoming photometric survey from the Rubin Observatory, expected to reach depths 2-3 magnitudes greater than DES during its 10-year mission, will enable us to investigate the density profile of the Milky Way's halo out to the virial radius, unravelling the complex processes of formation and evolution in our Galaxy.


title: On a class of selection rules without group actions in field theory and string theory

abstract: We discuss a class of selection rules which i) do not come from group actions on fields, ii) are exact at tree level in perturbation theory, iii) are increasingly violated as the loop order is raised, and iv) eventually reduce to selection rules associated with an ordinary group symmetry. We start from basic field-theoretical examples in which fields are labeled by conjugacy classes rather than representations of a group, and discuss generalizations using fusion algebras or hypergroups. We also discuss how such selection rules arise naturally in string theory, such as for non-Abelian orbifolds or other cases with non-invertible worldsheet symmetries.


title: Topological classes of thermodynamics of the static multi-charge AdS black holes in gauged supergravities: Novel temperature-dependent thermodynamic topological phase transition

abstract: In this paper, we investigate, in the framework of the topological approach to black hole thermodynamics, using the generalized off-shell Helmholtz free energy, the topological numbers of the static multi-charge AdS black holes in four- and five-dimensional gauged supergravities. We find that the topological number of the static-charged AdS black holes in four-dimensional Kaluza-Klein (K-K) gauged supergravity theory is $W = 0$, while that of the static-charged AdS black holes in four-dimensional gauged $-iX^0X^1$-supergravity and STU gauged supergravity theories, and five-dimensional Einstein-Maxwell-dilaton-axion (EMDA) gauged supergravity and STU gauged supergravity, and five-dimensional static-charged AdS Horowitz-Sen black hole are both $W = 1$. Furthermore, we observe a novel temperature-dependent thermodynamic topological phase transition that can happen in the four-dimensional static-charged AdS black hole in EMDA gauged supergravity theory, the four-dimensional static-charged AdS Horowitz-Sen black hole, and the five-dimensional static-charged AdS black hole in K-K gauged supergravity theory. We believe that the novel temperature-dependent thermodynamic topological phase transition could help us better understand black hole thermodynamics and, further, shed new light on the fundamental nature of gauged supergravity theories.


title: Microlensing signatures of extended dark objects using machine learning

abstract: This paper presents a machine learning-based method for the detection of the unique gravitational microlensing signatures of extended dark objects, such as boson stars, axion miniclusters and subhalos. We adapt MicroLIA, a machine learning-based package tailored to handle the challenges posed by low-cadence data in microlensing surveys. Using realistic observational timestamps, our models are trained on simulated light curves to distinguish between microlensing by point-like and extended lenses, as well as from other object classes which give a variable magnitude. We show that boson stars, examples of objects with a relatively flat mass distribution, can be confidently identified for $0.8 \lesssim r/r_E\lesssim 3$. Intriguingly, we also find that more sharply peaked structures, such as NFW-subhalos, can be distinctly recognized from point-lenses under regular observation cadence. Our findings significantly advance the potential of microlensing data in uncovering the elusive nature of extended dark objects. The code and dataset used are also provided.


title: The Escape Velocity Profile of the Milky Way from Gaia DR3

abstract: The escape velocity profile of the Milky Way offers a crucial and independent measurement of its underlying mass distribution and dark matter properties. Using a sample of stars from Gaia DR3 with 6D kinematics and strict quality cuts, we obtain an escape velocity profile of the Milky Way from 4 kpc to 11 kpc in Galactocentric radius. To infer the escape velocity in radial bins, we model the tail of the stellar speed distribution with both traditional power law models and a new functional form that we introduce. While power law models tend to rely on extrapolation to high speeds, we find our new functional form gives the most faithful representation of the observed distribution. Using this for the escape velocity profile, we constrain the properties of the Milky Way's dark matter halo modeled as a Navarro-Frenck-White profile. Combined with constraints from the circular velocity at the solar position, we obtain a concentration and mass of $c_{200\rm{c}}^{\rm{DM}} = 13.9^{+6.2}_{-4.3}$ and $\rm{M}_{200\rm{c}}^{\rm{DM}} = 0.55^{+0.15}_{-0.14}\times 10^{12} M_\odot$. This corresponds to a total Milky Way mass of $\rm{M}_{200\rm{c}} = 0.64^{+0.15}_{-0.14}\times 10^{12} M_\odot$, which is on the low end of the historic range of the Galaxy's mass, but in line with other recent estimates.


title: Heavily Obscured AGN detection: a Radio vs X-ray challenge

abstract: In this work, we study the AGN radio detection effectiveness in the major deep extragalactic surveys, considering different AGN obscuration levels, redshift, and AGN bolometric luminosities. We particularly focus on comparing their radio and X-ray detectability, making predictions for present and future radio surveys. We extrapolate the predictions of AGN population synthesis model of cosmic X-ray background (CXB) to the radio band, by deriving the 1.4 GHz luminosity functions of unobscured (i.e. with hydrogen column densities $\log N_{H} <22$), obscured ($22<\log N_{H}<24$) and Compton-thick (CTK, $\log N_{H} >24$) AGN. We then use these functions to forecast the number of detectable AGN based on the area, flux limit, and completeness of a given radio survey and compare it with the AGN number resulting from X-ray predictions. When applied to deep extragalactic fields covered both by radio and X-ray observations, we show that, while X-ray selection is generally more effective in detecting unobscured AGN, the surface density of CTK AGN radio detected is on average $\sim 10$ times larger than the X-ray one, and even greater at high redshifts, considering the current surveys and facilities. Our results suggest that thousands of CTK AGN are already present in current radio catalogs, but most of them escaped any detection in the corresponding X-ray observations. We also present expectations for the number of AGN to be detected by the Square Kilometer Array Observatory (SKAO) in its future deep and wide radio continuum surveys, finding that it will be able to detect more than 2000 AGN at $z>6$ and some tens at $z>10$, more than half of which are expected to be CTK.


title: Deciphering baryonic feedback with galaxy clusters

abstract: Upcoming cosmic shear analyses will precisely measure the cosmic matter distribution at low redshifts. At these redshifts, the matter distribution is affected by galaxy formation physics, primarily baryonic feedback from star formation and active galactic nuclei. Employing measurements from the Magneticum and IllustrisTNG simulations and a dark matter + baryon (DMB) halo model, this paper demonstrates that Sunyaev-Zel'dovich (SZ) effect observations of galaxy clusters, whose masses have been calibrated using weak gravitational lensing, can constrain the baryonic impact on cosmic shear with statistical and systematic errors subdominant to the measurement errors of DES-Y3 and LSST-Y1. We further dissect the contributions from different scales and halos with different masses to cosmic shear, highlighting the dominant role of SZ clusters at scales critical for cosmic shear analyses. These findings suggest a promising avenue for future joint analyses of Cosmic Microwave Background (CMB) and lensing surveys.


title: Autonomous Quantum Processing Unit: What does it take to construct a self-contained model for quantum computation?

abstract: Computation is an input-output process, where a program encoding a problem to be solved is inserted into a machine that outputs a solution. Whilst a formalism for quantum Turing machines which lifts this input-output feature into the quantum domain has been developed, this is not how quantum computation is physically conceived. Usually, such a quantum computation is enacted by the manipulation of macroscopic control interactions according to a program executed by a classical system. To understand the fundamental limits of computation, especially in relation to the resources required, it is pivotal to work with a fully self-contained description of a quantum computation where computational and thermodynamic resources are not be obscured by the classical control. To this end, we answer the question; "Can we build a physical model for quantum computation that is fully autonomous?", i.e., where the program to be executed as well as the control are both quantum. We do so by developing a framework that we dub the autonomous Quantum Processing Unit (aQPU). This machine, consisting of a timekeeping mechanism, instruction register and computational system allows an agent to input their problem and receive the solution as an output, autonomously. Using the theory of open quantum systems and results from the field of quantum clocks we are able to use the aQPU as a formalism to investigate relationships between the thermodynamics, complexity, speed and fidelity of a desired quantum computation.


title: Decoherence-Free Subspaces Cannot Prevent the Collapse of Wave Functions

abstract: Efficacious quantum information processing relies on extended coherence and precise control. Investigating the limitations surrounding quantum processors is vital for their advancement. In their operation, one challenge is inadvertent wave function collapse. Decoherence-free subspaces, theoretically capable of mitigating specific non unitary dynamics, present a promising avenue. However, our study unveils their inability to safeguard against spontaneous wave function collapse. Thus, the spontaneous-collapse rate becomes a critical limiting factor for quantum systems' physical coherence, restricting the options for maintaining coherence to active error correction.


title: A SPectroscopic survey of biased halos In the Reionization Era (ASPIRE): Impact of Galaxies on the CGM Metal Enrichment at z > 6 Using the JWST and VLT

abstract: We characterize the multiphase circumgalactic medium and galaxy properties at z = 6.0-6.5 in four quasar fields from the James Webb Space Telescope A SPectroscopic survey of biased halos In the Reionization Era (ASPIRE) program. We use the Very Large Telescope/X-shooter spectra of quasar J0305-3150 to identify one new metal absorber at z = 6.2713 with multiple transitions (OI, MgI, FeII and CII). They are combined with the published absorbing systems in Davies et al. (2023a) at the same redshift range to form of a sample of nine metal absorbers at z = 6.03 to 6.49. We identify eight galaxies within 1000 km s$^{-1}$ and 350 kpc around the absorbing gas from the ASPIRE spectroscopic data, with their redshifts secured by [OIII]($\lambda\lambda$4959, 5007) doublets and H$\beta$ emission lines. Our spectral energy distribution fitting indicates that the absorbing galaxies have stellar mass ranging from 10$^{7.2}$ to 10$^{8.8}M_{\odot}$ and metallicity between 0.02 and 0.4 solar. Notably, the z = 6.2713 system in the J0305-3150 field resides in a galaxy overdensity region, which contains two (tentatively) merging galaxies within 350 kpc and seven galaxies within 1 Mpc. We measure the relative abundances of $\alpha$ elements to iron ([$\alpha$/Fe]) and find that the CGM gas in the most overdense region exhibits a lower [$\alpha$/Fe] ratio. Our modeling of the galaxy's chemical abundance favors a top-heavy stellar initial mass function, and hints that we may be witnessing the contribution of the first generation Population III stars to the CGM at the end of reionization epoch.


title: Leptonic neutral-current probes in a short-distance DUNE-like setup

abstract: Precision measurements of neutrino-electron scattering may provide a viable way to test the non-minimal form of the charged and neutral current weak interactions within a hypothetical near-detector setup for the Deep Underground Neutrino Experiment (DUNE). Although low-statistics, these processes are clean and provide information complementing the results derived from oscillation studies. They could shed light on the scale of neutrino mass generation in low-scale seesaw schemes.


title: Quantifying the Effect of Short-timescale Stellar Activity Upon Transit Detection in M Dwarfs

abstract: M dwarf stars comprise 70-80% of the galaxy's stars and host most of its rocky planets. They also importantly differ from Sunlike stars in that they are "active" for billions of years or more: rotating quickly, flaring often, and emitting large amounts of UV and X-ray light. The effects of stellar activity upon both photometry and spectroscopy make their exoplanets more difficult to detect, and M dwarfs exhibit this behavior for thousands of times longer than a typical Sunlike star. While activity signals such as flaring and stellar rotation can be more readily modeled or removed from photometry, the contribution of unresolved stellar activity to transit sensitivity is harder to quantify. In this paper, we investigate the difference in the detectability of planetary transits around a sample of M dwarfs observed by NASA's TESS Mission, characterized by a common stellar radius, effective temperature, and TESS magnitude. Our sample is classified as either "active" or "inactive" based upon the presence of H$\alpha$ in emission. After removing the more readily identifiable signatures of activity: stellar rotation and large flares, we perform an injection-and-recovery analysis of transits for each star. We extract detection sensitivity as a function of planetary radius and orbital period for each star in the sample. Then, we produce averaged sensitivity maps for the "active" stars and the "inactive" stars, for the sake of comparison. We quantify the extent to which signal-to-noise is degraded for transit detection, when comparing an active star to an inactive star of the same temperature and apparent brightness. We aim for these sensitivity maps to be useful to the exoplanet community in future M dwarf occurrence rate studies.


title: The Sun and core-collapse supernovae are leading probes of the neutrino lifetime

abstract: The large distances travelled by neutrinos emitted from the Sun and core-collapse supernovae together with the characteristic energy of such neutrinos provide ideal conditions to probe their lifetime, when the decay products evade detection. We investigate the prospects of probing invisible neutrino decay capitalising on the detection of solar and supernova neutrinos as well as the diffuse supernova neutrino background (DSNB) in the next-generation neutrino observatories Hyper-Kamiokande, DUNE, JUNO, DARWIN, and RES-NOVA. We find that future solar neutrino data will be sensitive to values of the lifetime-to-mass ratio $\tau_1/m_1$ and $\tau_2/m_2$ of $\mathcal{O}(10^{-1} - 10^{-2})$ s/eV. From a core-collapse supernova explosion at $10$ kpc, lifetime-to-mass ratios of the three mass eigenstates of $\mathcal{O}(10^5)$ s/eV could be tested. After $20$ years of data taking, the DSNB would extend the sensitivity reach of $\tau_1/m_1$ to $10^{8}$ s/eV. These results promise an improvement of about $6 -15$ orders of magnitude on the values of the decay parameters with respect to existing limits.


title: Spontaneously Broken $(-1)$-Form U(1) Symmetries

abstract: Spontaneous breaking of symmetries leads to universal phenomena. We extend this notion to $(-1)$-form U(1) symmetries. The spontaneous breaking is diagnosed by a dependence of the vacuum energy on a constant background field $\theta$, which can be probed by the topological susceptibility. This leads to a reinterpretation of the Strong CP problem as arising from a spontaneously broken instantonic symmetry in QCD. We discuss how known solutions to the problem are unified in this framework and explore some, so far unsuccessful, attempts to find new solutions.


title: On the Fate of Stringy Non-Invertible Symmetries

abstract: Non-invertible symmetries in quantum field theory (QFT) generalize the familiar product rule of groups to a more general fusion rule. In many cases, gauged versions of these symmetries can be regarded as dual descriptions of invertible gauge symmetries. One may ask: are there any other types of non-invertible gauge symmetries? In theories with gravity we find a new form of non-invertible gauge symmetry that emerges in the limit of fundamental, tensionless strings. These stringy non-invertible gauge symmetries appear in standard examples such as non-abelian orbifolds. Moving away from the tensionless limit always breaks these symmetries. We also find that both the conventional form of non-invertible gauge symmetries and these stringy generalizations are realized in AdS/CFT. Although generically broken, approximate non-invertible symmetries have implications for Swampland constraints: in certain cases they can be used to prove the existence of towers of states related to the Distance Conjecture, and can sometimes explain the existence of slightly sub-extremal states which fill in the gaps in the sublattice Weak Gravity Conjecture.


title: Chern-Simons bubbles: Lopsided false vacuum decay in axion electrodynamics

abstract: We study axion electrodynamics, including the Chern-Simons interaction term, in the presence of parallel background electric and magnetic fields, as can for example occur in certain models of axion inflation and in the study of dyonic black holes. In this setup, we find a new back-reacted instanton solution which corresponds to the nucleation of an axion domain wall that screens the electromagnetic fields in a process analogous to Schwinger pair production, despite the absence of light charged particles. The full solution includes the effect of the Chern-Simons induced charges and currents on the axion domain wall arising from the Witten and Sikivie (anomalous Hall) effects, respectively. The Euclidean solution has a reduced $O(2)\times O(2)$ symmetry which describes the nucleation of a prolate bubble in its rest-frame. A unique feature of this solution is that the region of lower energy density is outside the bubble rather than inside. We also describe the time evolution of this initial configuration, showing how the bubble can become further elongated along the direction of the background electric and magnetic fields. We describe potential applications of this process in particle physics and cosmology.


title: Structure and large scale environment of galaxy pairs in the S-PLUS DR4

abstract: In this paper, we use photometric data from the S-PLUS DR4 survey to identify isolated galaxy pairs and analyse their characteristics and properties. Our results align with previous spectroscopic studies, particularly in luminosity function parameters, suggesting a consistent trait among galaxy systems. Our findings reveal a high fraction of red galaxies across all samples, irrespective of projected distance, velocity difference, or luminosity ratio. We found that the proximity of a neighbour to its central galaxy influences its colour due to environmental effects. We also found that central and neighbour have different behaviours: central galaxies maintain a stable red colour regardless of luminosity, while neighbour colours vary based on luminosity ratios. When the central is significantly brighter, the neighbour tends to be less red. According to our division in red, blue and mixed pairs, we found evidence of galactic conformity. Red pair fractions increase in closer pairs and in pairs of similar luminosity, indicating shared environments promoting red galaxy formation. Analysing local density, the expected colour-density relation is of course recovered, but it is strongly determined by the stellar mass of the pair. In denser environments, the red pair fractions increase, blue pairs decrease and for mixed pairs it depends on their stellar mass: more massive mixed pairs decrease their fraction whereas the lower massive ones increase it. These results shed light on the intricate relationship between galaxy pairs, their characteristics, and environmental influences on colour, providing insights into their evolutionary histories.


title: Designing for Sustained Motivation: A Review of Self-Determination Theory in Behaviour Change Technologies

abstract: Recent years have seen a surge in applications and technologies aimed at motivating users to achieve personal goals and improve their wellbeing. However, these often fail to promote long-term behaviour change, and sometimes even backfire. We consider how self-determination theory (SDT), a metatheory of human motivation and wellbeing, can help explain why such technologies fail, and how they may better help users internalise the motivation behind their goals and make enduring changes in their behaviour. In this work, we systematically reviewed 15 papers in the ACM Digital Library that apply SDT to the design of behaviour change technologies (BCTs). We identified 50 suggestions for design features in BCTs, grounded in SDT, that researchers have applied to enhance user motivation. However, we find that SDT is often leveraged to optimise engagement with the technology itself rather than with the targeted behaviour change per se. When interpreted through the lens of SDT, the implication is that BCTs may fail to cultivate sustained changes in behaviour, as users' motivation depends on their enjoyment of the intervention, which may wane over time. An underexplored opportunity remains for designers to leverage SDT to support users to internalise the ultimate goals and value of certain behaviour changes, enhancing their motivation to sustain these changes in the long term.


title: Exploring Felix Klein's contested modernism

abstract: An alleged opposition between David Hilbert and Felix Klein as modern vs countermodern has been pursued by marxist historian Herbert Mehrtens and others. Scholars such as Epple, Grattan-Guinness, Gray, Quinn, Rowe, and recently Siegmund-Schultze and Mazzotti have voiced a range of opinions concerning Mehrtens' dialectical methodology. We explore contrasting perspectives on Klein's contested modernism, as well as Hilbert's and Klein's views on intuition, logic, and physics. We analyze Jeremy Gray's comment on Klein's ethnographic speculations concerning Jewish mathematicians and find it to be untenable. We argue that Mehrtens was looking for countermoderns at the wrong address.


title: Comparing Template-based and Template-free Language Model Probing

abstract: The differences between cloze-task language model (LM) probing with 1) expert-made templates and 2) naturally-occurring text have often been overlooked. Here, we evaluate 16 different LMs on 10 probing English datasets -- 4 template-based and 6 template-free -- in general and biomedical domains to answer the following research questions: (RQ1) Do model rankings differ between the two approaches? (RQ2) Do models' absolute scores differ between the two approaches? (RQ3) Do the answers to RQ1 and RQ2 differ between general and domain-specific models? Our findings are: 1) Template-free and template-based approaches often rank models differently, except for the top domain-specific models. 2) Scores decrease by up to 42% Acc@1 when comparing parallel template-free and template-based prompts. 3) Perplexity is negatively correlated with accuracy in the template-free approach, but, counter-intuitively, they are positively correlated for template-based probing. 4) Models tend to predict the same answers frequently across prompts for template-based probing, which is less common when employing template-free techniques.


title: Gravitational Bound Waveforms from Amplitudes

abstract: With the aim of computing bound waveforms from scattering amplitudes, we explore gravitational two-body dynamics using the Schwinger-Dyson equations and Bethe-Salpeter recursion. We show that the tree-level scattering waveform admits a natural analytic continuation, in rapidity, to the bound waveform, which we confirm from an independent calculation, in the Post-Newtonian expansion, of the time-domain multipoles at large eccentricity. We demonstrate consistency of this scattering-to-bound map with the Damour-Deruelle prescription for orbital elements in the quasi-Keplerian parametrization (which enters into the evaluation of the multipoles) and with the analytic continuation, in the binding energy, of radiated energy and angular momentum at 3PM.


title: Migration of low-mass planets in inviscid disks: the effect of radiation transport on the dynamical corotation torque

abstract: Low-mass planets migrate in the type-I regime. In the inviscid limit, the contrast between the vortensity trapped inside the planet's corotating region and the background disk vortensity leads to a dynamical corotation torque, which is thought to slow down inward migration. We investigate the effect of radiative cooling on low-mass planet migration using inviscid 2D hydrodynamical simulations. We find that cooling induces a baroclinic forcing on material U-turning near the planet, resulting in vortensity growth in the corotating region, which in turn weakens the dynamical corotation torque and leads to 2-3x faster inward migration. This mechanism is most efficient when cooling acts on a timescale similar to the U-turn time of material inside the corotating region, but is nonetheless relevant for a substantial radial range in a typical disk (5-50 au). As the planet migrates inwards, the contrast between the vortensity inside and outside the corotating region increases and partially regulates the effect of baroclinic forcing. As a secondary effect, we show that radiative damping can further weaken the vortensity barrier created by the planet's spiral shocks, supporting inward migration. Finally, we highlight that a self-consistent treatment of radiative diffusion as opposed to local cooling is critical in order to avoid overestimating the vortensity growth and the resulting migration rate.


title: Common Sense Reasoning for Deep Fake Detection

abstract: State-of-the-art approaches rely on image-based features extracted via neural networks for the deepfake detection binary classification. While these approaches trained in the supervised sense extract likely fake features, they may fall short in representing unnatural `non-physical' semantic facial attributes -- blurry hairlines, double eyebrows, rigid eye pupils, or unnatural skin shading. However, such facial attributes are generally easily perceived by humans via common sense reasoning. Furthermore, image-based feature extraction methods that provide visual explanation via saliency maps can be hard to be interpreted by humans. To address these challenges, we propose the use of common sense reasoning to model deepfake detection, and extend it to the Deepfake Detection VQA (DD-VQA) task with the aim to model human intuition in explaining the reason behind labeling an image as either real or fake. To this end, we introduce a new dataset that provides answers to the questions related to the authenticity of an image, along with its corresponding explanations. We also propose a Vision and Language Transformer-based framework for the DD-VQA task, incorporating text and image aware feature alignment formulations. Finally, we evaluate our method on both the performance of deepfake detection and the quality of the generated explanations. We hope that this task inspires researchers to explore new avenues for enhancing language-based interpretability and cross-modality applications in the realm of deepfake detection.


title: Critical behavior of the Fredenhagen-Marcu order parameter at topological phase transitions

abstract: A nonlocal string order parameter detecting topological phase transitions has been proposed by Fredenhagen and Marcu (FM). In this work, we find that the FM string order parameter for the toric code in a magnetic field exhibits universal scaling behavior near critical points by directly evaluating it in the infinite string-length limit using infinite Projected Entangled Pair States (iPEPS). Our results thus indicate that the FM string order parameter is a quantitatively good order parameter to characterize topological phase transitions. In the presence of the electric-magnetic duality symmetry, a novel critical exponent can be extracted from the FM string order parameter, which is consistent with the (2+1)D XY universality class. In addition, we argue that only in the regime with emergent 1-form Wilson loop symmetry, the corresponding FM string order parameter can faithfully detect the topological transition.


title: Real-time Traffic Object Detection for Autonomous Driving

abstract: With recent advances in computer vision, it appears that autonomous driving will be part of modern society sooner rather than later. However, there are still a significant number of concerns to address. Although modern computer vision techniques demonstrate superior performance, they tend to prioritize accuracy over efficiency, which is a crucial aspect of real-time applications. Large object detection models typically require higher computational power, which is achieved by using more sophisticated onboard hardware. For autonomous driving, these requirements translate to increased fuel costs and, ultimately, a reduction in mileage. Further, despite their computational demands, the existing object detectors are far from being real-time. In this research, we assess the robustness of our previously proposed, highly efficient pedestrian detector LSFM on well-established autonomous driving benchmarks, including diverse weather conditions and nighttime scenes. Moreover, we extend our LSFM model for general object detection to achieve real-time object detection in traffic scenes. We evaluate its performance, low latency, and generalizability on traffic object detection datasets. Furthermore, we discuss the inadequacy of the current key performance indicator employed by object detection systems in the context of autonomous driving and propose a more suitable alternative that incorporates real-time requirements.


title: CMRNext: Camera to LiDAR Matching in the Wild for Localization and Extrinsic Calibration

abstract: LiDARs are widely used for mapping and localization in dynamic environments. However, their high cost limits their widespread adoption. On the other hand, monocular localization in LiDAR maps using inexpensive cameras is a cost-effective alternative for large-scale deployment. Nevertheless, most existing approaches struggle to generalize to new sensor setups and environments, requiring retraining or fine-tuning. In this paper, we present CMRNext, a novel approach for camera-LIDAR matching that is independent of sensor-specific parameters, generalizable, and can be used in the wild for monocular localization in LiDAR maps and camera-LiDAR extrinsic calibration. CMRNext exploits recent advances in deep neural networks for matching cross-modal data and standard geometric techniques for robust pose estimation. We reformulate the point-pixel matching problem as an optical flow estimation problem and solve the Perspective-n-Point problem based on the resulting correspondences to find the relative pose between the camera and the LiDAR point cloud. We extensively evaluate CMRNext on six different robotic platforms, including three publicly available datasets and three in-house robots. Our experimental evaluations demonstrate that CMRNext outperforms existing approaches on both tasks and effectively generalizes to previously unseen environments and sensor setups in a zero-shot manner. We make the code and pre-trained models publicly available at http://cmrnext.cs.uni-freiburg.de .


title: Magnetic polarons beyond linear spin-wave theory: Mesons dressed by magnons

abstract: When a mobile hole is doped into an antiferromagnet, its movement will distort the surrounding magnetic order and yield a magnetic polaron. The resulting complex interplay of spin and charge degrees of freedom gives rise to very rich physics and is widely believed to be at the heart of high-temperature superconductivity in cuprates. In this paper, we develop a quantitative theoretical formalism, based on the phenomenological parton description, to describe magnetic polarons in the strong coupling regime. We construct an effective Hamiltonian with weak coupling to the spin-wave excitations in the background, making the use of standard polaronic methods possible. Our starting point is a single hole doped into an AFM described by a 'geometric string' capturing the strongly correlated hopping processes of charge and spin degrees of freedom, beyond linear spin-wave approximation. Subsequently, we introduce magnon excitations through a generalized 1/S expansion and derive an effective coupling of these spin-waves to the hole plus the string (the meson) to arrive at an effective polaron Hamiltonian with density-density type interactions. After making a Born-Oppenheimer-type approximation, this system is solved using the self-consistent Born approximation to extract the renormalized polaron properties. We apply our formalism (i) to calculate beyond linear spin-wave ARPES spectra, (ii) to reveal the interplay of ro-vibrational meson excitations, and (ii) to analyze the pseudogap expected at low doping. Moreover, our work paves the way for exploring magnetic polarons out-of equilibrium or in frustrated systems, where weak-coupling approaches are desirable and going beyond linear spin-wave theory becomes necessary.


title: $G$-Connections on principal bundles over complete $G$-varieties

abstract: Let $X$ be a complete variety over an algebraically closed field $k$ of characteristic zero, equipped with an action of an algebraic group $G$. Let $H$ be a reductive group. We study the notion of $G$-connection on a principal $H$-bundle. We give necessary and sufficient criteria for the existence of $G$-connections extending the Atiyah-Weil type criterion for holomorphic connections obtained by Azad and Biswas. We also establish a relationship between the existence of $G$-connection and equivariant structure on a principal $H$-bundle, under the assumption that $G$ is semisimple and simply connected. These results have been obtained by Biswas et al. when the underlying variety is smooth.


title: A study on the dynamic model of a three-phase grid-connected inverter and an innovative method for its verification

abstract: The ever-increasing use of renewable energy sources has underlined the role of power electronic converters as an interface between these resources and the power grid. One application of these converters is in three-phase inverters utilized in a solar power plant to inject active/reactive power to the grid. The dynamic model of power electronic converters is necessary for investigating the overall system stability and the design of the controller for the converters. Generally, the inverter dynamic model is needed to investigate the dynamic behavior of inverters in different applications. This paper is a study of the dynamical model of the grid-connected voltage source inverter, which is extracted by the state-space averaging (SSA) method. This model is verified by applying the values of the operating point to the inverter in Matlab Simulink environment. To attain the steady-state operating point, the zero component of the duty ratio of the converter is required. To obtain this component, the matrix form of the converter's average equations is used. Overally, using the above methods provides a more efficient and clear understanding of the dynamic model of the converter.


title: On the Constant-Depth Circuit Complexity of Generating Quasigroups

abstract: We investigate the constant-depth circuit complexity of the Isomorphism Problem, Minimum Generating Set Problem (MGS), and Sub(quasi)group Membership Problem (Membership) for groups and quasigroups (=Latin squares), given as input in terms of their multiplication (Cayley) tables. Despite decades of research on these problems, lower bounds for these problems even against depth-$2$ AC circuits remain unknown. Perhaps surprisingly, Chattopadhyay, Tor\'an, and Wagner (FSTTCS 2010; ACM Trans. Comput. Theory, 2013) showed that Quasigroup Isomorphism could be solved by AC circuits of depth $O(\log \log n)$ using $O(\log^2 n)$ nondeterministic bits, a class we denote $\exists^{\log^2(n)}FOLL$. We narrow this gap by improving the upper bound for many of these problems to $quasiAC^0$, thus decreasing the depth to constant. In particular, we show: - MGS for quasigroups is in $\exists^{\log^2(n)}\forall^{\log n}NTIME(\mathrm{polylog}(n))\subseteq quasiAC^0$. Papadimitriou and Yannakakis (J. Comput. Syst. Sci., 1996) conjectured that this problem was $\exists^{\log^2(n)}P$-complete; our results refute a version of that conjecture for completeness under $quasiAC^0$ reductions unconditionally, and under polylog-space reductions assuming EXP $\neq$ PSPACE. - MGS for groups is in $AC^{1}(L)$, improving on the previous upper bound of $P$ (Lucchini & Thakkar, J. Algebra, 2024). - Quasigroup Isomorphism belongs to $\exists^{\log^2(n)}AC^0(DTISP(\mathrm{polylog},\log)\subseteq quasiAC^0$, improving on the previous bound of $\exists^{\log^2(n)}L\cap\exists^{\log^2(n)}FOLL\subseteq quasiFOLL$ (Chattopadhyay, Tor\'an, & Wagner, ibid.; Levet, Australas. J. Combin., 2023). Our results suggest that understanding the constant-depth circuit complexity may be key to resolving the complexity of problems concerning (quasi)groups in the multiplication table model.


title: Investigations of $\Lambda$ states with spin-parity $\frac{3}{2}^{\pm}$

abstract: The present study provides spectroscopic investigations of spin-$\frac{3}{2}$ $\Lambda$ baryons with both positive and negative parities. The analysis mainly focuses on three states, namely $1P$, $2P$, and $2S$, and corresponding masses are calculated using the QCD sum rule method. To implement the method, we apply two types of interpolating currents with octet and singlet quantum numbers and compare the corresponding results with the reported masses of experimentally observed states. From the comparisons, it is extracted that the results of interpolating current with octet quantum numbers are in good agreement with the experimentally measured masses. The masses obtained with this interpolating current are $m=1513.64\pm 8.76$ MeV for $1P$ state with $J^P=\frac{3}{2}^-$, $m'=1687.91\pm 0.31$ MeV for $2P$ state with $J^P=\frac{3}{2}^-$ and $\tilde{m}=1882.37 \pm 11.95$ MeV for $2S$ state with $J^P=\frac{3}{2}^+$ and they are consistent with the experimental masses of $\Lambda(1520)$, $\Lambda(1690)$ and $\Lambda(1890)$, respectively, which confirm their spin-parity quantum numbers. Besides, we calculate the corresponding current coupling constants, which are utilized as inputs in the calculations of different form factors defining the widths of the states under study.


title: A Reinforcement Learning Based Controller to Minimize Forces on the Crutches of a Lower-Limb Exoskeleton

abstract: Metabolic energy consumption of a powered lower-limb exoskeleton user mainly comes from the upper body effort since the lower body is considered to be passive. However, the upper body effort of the users is largely ignored in the literature when designing motion controllers. In this work, we use deep reinforcement learning to develop a locomotion controller that minimizes ground reaction forces (GRF) on crutches. The rationale for minimizing GRF is to reduce the upper body effort of the user. Accordingly, we design a model and a learning framework for a human-exoskeleton system with crutches. We formulate a reward function to encourage the forward displacement of a human-exoskeleton system while satisfying the predetermined constraints of a physical robot. We evaluate our new framework using Proximal Policy Optimization, a state-of-the-art deep reinforcement learning (RL) method, on the MuJoCo physics simulator with different hyperparameters and network architectures over multiple trials. We empirically show that our learning model can generate joint torques based on the joint angle, velocities, and the GRF on the feet and crutch tips. The resulting exoskeleton model can directly generate joint torques from states in line with the RL framework. Finally, we empirically show that policy trained using our method can generate a gait with a 35% reduction in GRF with respect to the baseline.


title: Transdisciplinary Multi Modal Approach to Knowledge

abstract: The muti-modal or multi-sensorial perception of nature is presented in this article as part of research devoted to inclusive tools developed in the framework of User Centered Design. This proposal shows that it is possible to work in a transdisciplinary way, establishing feedback not only between designers and final users, but also between humans and computers, to reduce errors and co-design the resources according to personal needs. As part of the present research, we present the basis for a new accessible software, sonoUno, which was designed with the user in mind from the beginning, and we propose a training activity to enhance the user's capacities, expand the detection of different kinds of natural signals, and improve the comprehension of the Human Computer Interfaces, opening new windows to the sciences for diverse populations, not only in education and outreach but also in research. Some examples of the exploitation of these new devices and tools are also presented.


title: Multimodal Neurodegenerative Disease Subtyping Explained by ChatGPT

abstract: Alzheimer's disease (AD) is the most prevalent neurodegenerative disease; yet its currently available treatments are limited to stopping disease progression. Moreover, effectiveness of these treatments is not guaranteed due to the heterogenetiy of the disease. Therefore, it is essential to be able to identify the disease subtypes at a very early stage. Current data driven approaches are able to classify the subtypes at later stages of AD or related disorders, but struggle when predicting at the asymptomatic or prodromal stage. Moreover, most existing models either lack explainability behind the classification or only use a single modality for the assessment, limiting scope of its analysis. Thus, we propose a multimodal framework that uses early-stage indicators such as imaging, genetics and clinical assessments to classify AD patients into subtypes at early stages. Similarly, we build prompts and use large language models, such as ChatGPT, to interpret the findings of our model. In our framework, we propose a tri-modal co-attention mechanism (Tri-COAT) to explicitly learn the cross-modal feature associations. Our proposed model outperforms baseline models and provides insight into key cross-modal feature associations supported by known biological mechanisms.


title: Decomposable Submodular Maximization in Federated Setting

abstract: Submodular functions, as well as the sub-class of decomposable submodular functions, and their optimization appear in a wide range of applications in machine learning, recommendation systems, and welfare maximization. However, optimization of decomposable submodular functions with millions of component functions is computationally prohibitive. Furthermore, the component functions may be private (they might represent user preference function, for example) and cannot be widely shared. To address these issues, we propose a {\em federated optimization} setting for decomposable submodular optimization. In this setting, clients have their own preference functions, and a weighted sum of these preferences needs to be maximized. We implement the popular {\em continuous greedy} algorithm in this setting where clients take parallel small local steps towards the local solution and then the local changes are aggregated at a central server. To address the large number of clients, the aggregation is performed only on a subsampled set. Further, the aggregation is performed only intermittently between stretches of parallel local steps, which reduces communication cost significantly. We show that our federated algorithm is guaranteed to provide a good approximate solution, even in the presence of above cost-cutting measures. Finally, we show how the federated setting can be incorporated in solving fundamental discrete submodular optimization problems such as Maximum Coverage and Facility Location.


title: Exploiting Machine Learning and Disequilibrium in Galaxy Clusters to Obtain a Mass Profile

abstract: We use 3-D K Means clustering to characterize galaxy substructure in the Abell 2146 cluster of galaxies (z = 0.2343). This method objectively characterizes the cluster's substructure using projected position and velocity data for 67 galaxies within a 2.305 Mpc circular region centered on the clusters optical center. The optimal number of substructures is found to be 4. Four distinct substructures with RMS velocity typical of galaxy groups or low mass subclusters, when compared to cosmological simulations of galaxy cluster formation, suggests that Abell 2146 is in the early stages of formation. We utilize this disequilibrium, that is so prevalent in galaxy clusters at all redshifts, to construct a radial mass distribution. Substructures are bound but not virialized. This method is in contrast to previous kinematical analyses, which have assumed virialization, and ignored the ubiquitous clumping of galaxies. The best fitting radial mass profile is much less centrally concentrated than the well known NFW profile, indicating that the dark matter dominated mass distribution is flatter pre-equilibrium, becoming more centrally peaked in equilibrium through merging of substructure.


title: Holomorphic gravity and its regularization of Locally Signed Coordinate Invariance

abstract: We expect the final theory of gravity to have more symmetries than we suspect and our research points in this direction. To start with, standard general coordinate invariance can be extended to complex holomorphic general coordinate transformations. This is possible by introducing a non Riemannian Measure of integration (NRMI) and where we avoid the non holomorphic standard $\sqrt{-g}$ measure of integration. Second, locally signed coordinate transformations where the Jacobian changes sign locally but the Jacobian approaches one asymptotically should be symmetries of Nature. This is unlike globally signed transformations that produce a change of boundary conditions, like in the cases of global parity and global time reversal, which are not symmetries of Nature. The holomorphic extension can regularize the regions of space time where the Jacobian changes sign. Consequences for Quantum Gravity are discussed.


title: Unimodular gravity as an initial value problem

abstract: Unimodular gravity is a compelling modified theory of gravity that offers a natural solution to the cosmological constant problem. However, for unimodular gravity to be considered a viable theory of gravity, one has to show that it has a well-posed initial value formulation. Working in vacuum, we apply Dirac's algorithm to find all the constraints of the theory. Then we prove that, for initial data compatible with these constraints, the evolution is well posed. Finally, we find sufficient conditions for a matter action to preserve the well-posedness of the initial value problem of unimodular gravity. As a corollary, we argue that the "unimodular" restriction on the spacetime volume element can be satisfied by a suitable choice of the lapse function.


title: Accretion of Galaxies around Supermassive Black Holes and a Theoretical Model of the Tully-Fisher and M-Sigma Relations

abstract: The observed Tully-Fisher and Faber-Jackson laws between the baryonic mass of galaxies and the velocity of motion of stars at the edge of galaxies are explained within the framework of the model of accretion of galaxies around supermassive black holes (SMBH). The accretion model can also explain the M-sigma relation between the mass of a supermassive black hole and the velocity of stars in the bulge. The difference in the mechanisms of origin of elliptical galaxies with low angular momentum and disk galaxies with high angular momentum can be associated with 3D and 2D accretion.


title: Making a Long Story Short in Conversation Modeling

abstract: Conversation systems accommodate diverse users with unique personalities and distinct writing styles. Within the domain of multi-turn dialogue modeling, this work studies the impact of varied utterance lengths on the quality of subsequent responses generated by conversation models. Using GPT-3 as the base model, multiple dialogue datasets, and several metrics, we conduct a thorough exploration of this aspect of conversational models. Our analysis sheds light on the complex relationship between utterance lengths and the quality of follow-up responses generated by dialogue systems. Empirical findings suggests that, for certain types of conversations, utterance lengths can be reduced by up to 72% without any noticeable difference in the quality of follow-up responses.


title: Soft-linkedness

abstract: We have revised the softness property introduced by Brendle and Judah, resulting in the definition of a class of posets called $\sigma$-soft-linked. Our research demonstrates that these posets work well to preserve the evasion number as well as the bounding number small in generic extensions. Furthermore, we establish a connection between our concept and the Fr\'echet-linked notion introduced by Mej\'ia.


title: Randomly Monitored Quantum Codes

abstract: Quantum measurement has conventionally been regarded as the final step in quantum information processing, which is essential for reading out the processed information but collapses the quantum state into a classical state. However, recent studies have shown that quantum measurement itself can induce novel quantum phenomena. One seminal example is a monitored random circuit, which can generate long-range entanglement faster than a random unitary circuit. Inspired by these results, in this paper, we address the following question: When quantum information is encoded in a quantum error-correcting code, how many physical qubits should be randomly measured to destroy the encoded information? We investigate this question for various quantum error-correcting codes and derive the necessary and sufficient conditions for destroying the information through measurements. In particular, we demonstrate that for a large class of quantum error-correcitng codes, it is impossible to destroy the encoded information through random single-qubit Pauli measurements when a tiny portion of physical qubits is still unmeasured. Our results not only reveal the extraordinary robustness of quantum codes under measurement decoherence, but also suggest potential applications in quantum information processing tasks.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: Collapse and expansion kinetics of a single polyelectrolyte chain with hydrodynamic interactions

abstract: We investigate the collapse and expansion dynamics of a linear polyelectrolyte (PE) with hydrodynamic interactions. Using dissipative particle dynamics with a bead-spring PE model, long-range electrostatics and explicit ions we examine how the timescales of collapse $t_\text{col}$ and expansion $t_\text{exp}$ depend on the chain length $N$, and obtain scaling relationships $t_\text{col}\sim N^\alpha$ and $t_\text{exp}\sim N^\beta$. For neutral polymers, we derive values of $\alpha=0.94\pm0.01$ and $\beta=1.97\pm0.10$. Interestingly, the introduction of electrostatic interaction markedly shifts $\alpha$ to $\alpha\approx1.4\pm0.1$ for salt concentrations within $c=10^{-4}$ M to $10^{-2}$ M. A reduction in ion-to-monomer size ratio noticeably reduces $\alpha$. On the other hand, the expansion scaling remains approximately constant, $\beta \approx 2$, regardless of salt concentration or ion size considered. We find $\beta > \alpha$ for all conditions considered, implying that expansion is always slower than collapse in the limit of long polymers. This asymmetry is explained by distinct kinetic pathways of collapse and expansion processes.


title: Structure-preserving approximation for the non-isothermal Cahn-Hilliard-Navier-Stokes system

abstract: In this work we propose and analyse a structure-preserving approximation of the non-isothermal Cahn-Hilliard-Navier-Stokes system using conforming finite elements in space and implicit time discretisation with convex-concave splitting. The system is first reformulated into a variational form which reveal the structure of the equations, which is then used in the subsequent approximation.


title: Ptychographic lensless coherent endomicroscopy through a flexible fiber bundle

abstract: Conventional fiber-bundle-based endoscopes allow minimally invasive imaging through flexible multi-core fiber (MCF) bundles by placing a miniature lens at the distal tip and using each core as an imaging pixel. In recent years, lensless imaging through MCFs was made possible by correcting the core-to-core phase distortions pre-measured in a calibration procedure. However, temporally varying wavefront distortions, for instance, due to dynamic fiber bending, pose a challenge for such approaches. Here, we demonstrate a coherent lensless imaging technique based on intensity-only measurements insensitive to core-to-core phase distortions. We leverage a ptychographic reconstruction algorithm to retrieve the phase and amplitude profiles of reflective objects placed at a distance from the fiber tip, using as input a set of diffracted intensity patterns reflected from the object when the illumination is scanned over the MCF cores. Our approach thus utilizes an acquisition process equivalent to confocal microendoscopy, only replacing the single detector with a camera.


title: The Impact of Language Adapters in Cross-Lingual Transfer for NLU

abstract: Modular deep learning has been proposed for the efficient adaption of pre-trained models to new tasks, domains and languages. In particular, combining language adapters with task adapters has shown potential where no supervised data exists for a language. In this paper, we explore the role of language adapters in zero-shot cross-lingual transfer for natural language understanding (NLU) benchmarks. We study the effect of including a target-language adapter in detailed ablation studies with two multilingual models and three multilingual datasets. Our results show that the effect of target-language adapters is highly inconsistent across tasks, languages and models. Retaining the source-language adapter instead often leads to an equivalent, and sometimes to a better, performance. Removing the language adapter after training has only a weak negative effect, indicating that the language adapters do not have a strong impact on the predictions.


title: Simulation and Experimental Analysis of Aerogel Attenuation for High Energy Alpha Particles in Fission Fusion Fragment Rocket Applications

abstract: Emerging studies are geared toward exploring new methods of nuclear rocket propulsion to provide more efficient space transit beyond Earth's orbit. One method is to employ a Fission Fragment Rocket Engine utilizing fissionable layers embedded in a low-density aerogel. A quantitative understanding of particle attenuation is essential for developing a functional prototype that permits fission fragments to escape the layers and contribute to specific impulse rather than being attenuated and generating waste heat. In this investigation, the MCNP code was used to theoretically analyze the attenuation of alpha particles from Am-241 sources within aerogel materials. Simulations were conducted on aerogels with various densities and compositions. These simulations aimed to predict the expected intensity of alpha particles reaching a detector. CR-39 was employed as a Plastic Nuclear Track Detector to assess particle attenuation by the aerogels. The threshold areal density of atoms was found to be around $10^{ 20}$ atoms/$cm^{ 2}$ for the three materials studied in this project. Using a 0.22 mm thick SiO$_2$ aerogel with a density of 90 mg/$cm^{ 3}$, which exceeds the threshold, nearly all alpha particles were attenuated. Conversely, employing a 1.6 mm thick graphene aerogel with a density of 12.5 mg/$cm^{ 3}$ resulted in an average attenuation of 32.3%.


title: Strain induced phase transition from antiferromagnet to altermagnet

abstract: The newly discovered altermagnets are unconventional collinear compensated magnetic systems, exhibiting even (d, g, or i-wave) spin-polarization order in the band structure, setting them apart from conventional collinear ferromagnets and antiferromagnets. Altermagnets offer advantages of spin polarized current akin to ferromagnets, and THz functionalities similar to antifferomagnets, while introducing new novel effects like spin-splitter currents. A key challenge for future applications and functionalization of altermagnets, is to demonstrate controlled transitioning to the altermagnetic phase from other conventional phases in a single material. Here we prove a viable path towards overcoming this challenge through a strain-induced transition from an antiferromagnetic to an altermagnetic phase in ReO$_2$. Combining spin group symmetry analysis and \textit{ab-initio} calculations, we demonstrate that under compressive strain ReO$_2$ undergoes such transition, lifting the Kramer's degeneracy of the band structure of the antiferromagnetic phase in the non-relativistic regime. In addition, we show that this magnetic transition is accompanied by a metal insulator transition, and calculate the distinct spin polarized spectral functions of the two phases, which can be detected in angle resolved photo-emission spectroscopy experiments.


title: Deeper or Wider: A Perspective from Optimal Generalization Error with Sobolev Loss

abstract: Constructing the architecture of a neural network is a challenging pursuit for the machine learning community, and the dilemma of whether to go deeper or wider remains a persistent question. This paper explores a comparison between deeper neural networks (DeNNs) with a flexible number of layers and wider neural networks (WeNNs) with limited hidden layers, focusing on their optimal generalization error in Sobolev losses. Analytical investigations reveal that the architecture of a neural network can be significantly influenced by various factors, including the number of sample points, parameters within the neural networks, and the regularity of the loss function. Specifically, a higher number of parameters tends to favor WeNNs, while an increased number of sample points and greater regularity in the loss function lean towards the adoption of DeNNs. We ultimately apply this theory to address partial differential equations using deep Ritz and physics-informed neural network (PINN) methods, guiding the design of neural networks.


title: Fully Data-Driven Model for Increasing Sampling Rate Frequency of Seismic Data using Super-Resolution Generative Adversarial Networks

abstract: High-quality data is one of the key requirements for any engineering application. In earthquake engineering practice, accurate data is pivotal in predicting the response of structure or damage detection process in an Structural Health Monitoring (SHM) application with less uncertainty. However, obtaining high-resolution data is fraught with challenges, such as significant costs, extensive data channels, and substantial storage requirements. To address these challenges, this study employs super-resolution generative adversarial networks (SRGANs) to improve the resolution of time-history data such as the data obtained by a sensor network in an SHM application, marking the first application of SRGANs in earthquake engineering domain. The time-series data are transformed into RGB values, converting raw data into images. SRGANs are then utilized to upscale these low-resolution images, thereby enhancing the overall sensor resolution. This methodology not only offers potential reductions in data storage requirements but also simplifies the sensor network, which could result in lower installation and maintenance costs. The proposed SRGAN method is rigorously evaluated using real seismic data, and its performance is compared with traditional enhancement techniques. The findings of this study pave the way for cost-effective and efficient improvements in the resolution of sensors used in SHM systems, with promising implications for the safety and sustainability of infrastructures worldwide.


title: Penalized G-estimation for effect modifier selection in a structural nested mean model for repeated outcomes

abstract: Effect modification occurs when the impact of the treatment on an outcome varies based on the levels of other covariates known as effect modifiers. Modeling of these effect differences is important for etiological goals and for purposes of optimizing treatment. Structural nested mean models (SNMMs) are useful causal models for estimating the potentially heterogeneous effect of a time-varying exposure on the mean of an outcome in the presence of time-varying confounding. A data-driven approach for selecting the effect modifiers of an exposure may be necessary if these effect modifiers are a priori unknown and need to be identified. Although variable selection techniques are available in the context of estimating conditional average treatment effects using marginal structural models, or in the context of estimating optimal dynamic treatment regimens, all of these methods consider an outcome measured at a single point in time. In the context of an SNMM for repeated outcomes, we propose a doubly robust penalized G-estimator for the causal effect of a time-varying exposure with a simultaneous selection of effect modifiers and use this estimator to analyze the effect modification in a study of hemodiafiltration. We prove the oracle property of our estimator, and conduct a simulation study for evaluation of its performance in finite samples and for verification of its double-robustness property. Our work is motivated by and applied to the study of hemodiafiltration for treating patients with end-stage renal disease at the Centre Hospitalier de l'Universit\'e de Montr\'eal. We apply the proposed method to investigate the effect heterogeneity of dialysis facility on the repeated session-specific hemodiafiltration outcomes.


title: Vacuum Stability in the one-loop approximation of a 331 Model

abstract: In this study, we analyze the vacuum stability of the economical 331 model at the one-loop level using the renormalization group equations and a single-scale renormalization method. By integrating these equations, we determine stability conditions up to the Planck scale, incorporating constraints from recent experimental data on new Higgs-like bosons, charged scalars, and charged and neutral gauge bosons. Our analysis uncovers intriguing relations between the mass of the heaviest scalar and the masses of exotic quarks, in order to ensure stability of the model up to the Planck scale. For the 331 energy scale used in this work, $18$ TeV, we find an upper bound on the heaviest quark mass of the model, which is not so distant from future LHC runs, serving as bounds to be searched. Additionally, we explore relations between the scalar couplings coming stability and perturbativity conditions. These impose unprecedented constraints on the economical 331 model.


title: Erie: A Declarative Grammar for Data Sonification

abstract: Data sonification-mapping data variables to auditory variables, such as pitch or volume-is used for data accessibility, scientific exploration, and data-driven art (e.g., museum exhibitions) among others. While a substantial amount of research has been made on effective and intuitive sonification design, software support is not commensurate, limiting researchers from fully exploring its capabilities. We contribute Erie, a declarative grammar for data sonification, that enables abstractly expressing auditory mappings. Erie supports specifying extensible tone designs (e.g., periodic wave, sampling, frequency/amplitude modulation synthesizers), various encoding channels, auditory legends, and composition options like sequencing and overlaying. Using standard Web Audio and Web Speech APIs, we provide an Erie compiler for web environments. We demonstrate the expressiveness and feasibility of Erie by replicating research prototypes presented by prior work and provide a sonification design gallery. We discuss future steps to extend Erie toward other audio computing environments and support interactive data sonification.


title: Large Language Models for Mathematical Reasoning: Progresses and Challenges

abstract: Mathematical reasoning serves as a cornerstone for assessing the fundamental cognitive capabilities of human intelligence. In recent times, there has been a notable surge in the development of Large Language Models (LLMs) geared towards the automated resolution of mathematical problems. However, the landscape of mathematical problem types is vast and varied, with LLM-oriented techniques undergoing evaluation across diverse datasets and settings. This diversity makes it challenging to discern the true advancements and obstacles within this burgeoning field. This survey endeavors to address four pivotal dimensions: i) a comprehensive exploration of the various mathematical problems and their corresponding datasets that have been investigated; ii) an examination of the spectrum of LLM-oriented techniques that have been proposed for mathematical problem-solving; iii) an overview of factors and concerns affecting LLMs in solving math; and iv) an elucidation of the persisting challenges within this domain. To the best of our knowledge, this survey stands as one of the first extensive examinations of the landscape of LLMs in the realm of mathematics, providing a holistic perspective on the current state, accomplishments, and future challenges in this rapidly evolving field.


title: Zero fibers of quaternionic quotient singularities

abstract: We propose a generalization of Haiman's conjecture on the diagonal coinvariant rings of real reflection groups to the context of irreducible quaternionic reflection groups (also known as symplectic reflection groups). For a reflection group $W$ acting on a quaternionic vector space $V$, by regarding $V$ as a complex vector space we consider the scheme-theoretic fiber over zero of the quotient map $\pi:V \to V/W$. For $W$ an irreducible reflection group of (quaternionic) rank at least $6$, we show that the ring of functions on this fiber admits a $(g+1)^n$-dimensional quotient arising from an irreducible representation of a symplectic reflection algebra, where $g=2N/n$ with $N$ the number of reflections in $W$ and $n=\mathrm{dim}_\mathbf{H}(V)$, and we conjecture that this holds in general. We observe that in fact the degree of the zero fiber is precisely $g+1$ for the rank one groups (corresponding to the Kleinian singularities). In an appendix, we give a proof that three variants of the Coxeter number, including $g$, are integers.


title: Dolma: an Open Corpus of Three Trillion Tokens for Language Model Pretraining Research

abstract: Information about pretraining corpora used to train the current best-performing language models is seldom discussed: commercial models rarely detail their data, and even open models are often released without accompanying training data or recipes to reproduce them. As a result, it is challenging to conduct and advance scientific research on language modeling, such as understanding how training data impacts model capabilities and limitations. To facilitate scientific research on language model pretraining, we curate and release Dolma, a three-trillion-token English corpus, built from a diverse mixture of web content, scientific papers, code, public-domain books, social media, and encyclopedic materials. We extensively document Dolma, including its design principles, details about its construction, and a summary of its contents. We present analyses and experimental results on intermediate states of Dolma to share what we have learned about important data curation practices. Finally, we open-source our data curation toolkit to enable reproduction of our work as well as support further research in large-scale data curation.


title: Emergency Department Decision Support using Clinical Pseudo-notes

abstract: In this work, we introduce the Multiple Embedding Model for EHR (MEME), an approach that serializes multimodal EHR tabular data into text using pseudo-notes, mimicking clinical text generation. This conversion not only preserves better representations of categorical data and learns contexts but also enables the effective employment of pretrained foundation models for rich feature representation. To address potential issues with context length, our framework encodes embeddings for each EHR modality separately. We demonstrate the effectiveness of MEME by applying it to several decision support tasks within the Emergency Department across multiple hospital systems. Our findings indicate that MEME outperforms traditional machine learning, EHR-specific foundation models, and general LLMs, highlighting its potential as a general and extendible EHR representation strategy.


title: Device-Independent Quantum Key Distribution beyond qubits

abstract: Device-Independent Quantum Key Distribution (DIQKD) aims to generate secret keys between two parties without relying on trust in their employed devices, imposing strict noise constraints for key generation. This study explores the resilience of high-dimensional quantum systems in DIQKD, focusing on a comparison between qubits and qutrits. Lower bounds on achievable key rates are investigated through numerical optimization, while upper bounds are evaluated using the Convex-Combination attack, which has been further extended to account for arbitrary dimensions. The observed difference between these bounds provides insights into noise thresholds and potential enhancements in DIQKD scenarios, prompting debate on the merit of increased dimensions given the associated experimental efforts required.


title: Behind the Myth of Exploration in Policy Gradients

abstract: Policy-gradient algorithms are effective reinforcement learning methods for solving control problems with continuous state and action spaces. To compute near-optimal policies, it is essential in practice to include exploration terms in the learning objective. Although the effectiveness of these terms is usually justified by an intrinsic need to explore environments, we propose a novel analysis and distinguish two different implications of these techniques. First, they make it possible to smooth the learning objective and to eliminate local optima while preserving the global maximum. Second, they modify the gradient estimates, increasing the probability that the stochastic parameter update eventually provides an optimal policy. In light of these effects, we discuss and illustrate empirically exploration strategies based on entropy bonuses, highlighting their limitations and opening avenues for future works in the design and analysis of such strategies.


title: Improving Object Detection Quality in Football Through Super-Resolution Techniques

abstract: This study explores the potential of super-resolution techniques in enhancing object detection accuracy in football. Given the sport's fast-paced nature and the critical importance of precise object (e.g. ball, player) tracking for both analysis and broadcasting, super-resolution could offer significant improvements. We investigate how advanced image processing through super-resolution impacts the accuracy and reliability of object detection algorithms in processing football match footage. Our methodology involved applying state-of-the-art super-resolution techniques to a diverse set of football match videos from SoccerNet, followed by object detection using Faster R-CNN. The performance of these algorithms, both with and without super-resolution enhancement, was rigorously evaluated in terms of detection accuracy. The results indicate a marked improvement in object detection accuracy when super-resolution preprocessing is applied. The improvement of object detection through the integration of super-resolution techniques yields significant benefits, especially for low-resolution scenarios, with a notable 12\% increase in mean Average Precision (mAP) at an IoU (Intersection over Union) range of 0.50:0.95 for 320x240 size images when increasing the resolution fourfold using RLFN. As the dimensions increase, the magnitude of improvement becomes more subdued; however, a discernible improvement in the quality of detection is consistently evident. Additionally, we discuss the implications of these findings for real-time sports analytics, player tracking, and the overall viewing experience. The study contributes to the growing field of sports technology by demonstrating the practical benefits and limitations of integrating super-resolution techniques in football analytics and broadcasting.


title: De-Biased Two-Sample U-Statistics With Application To Conditional Distribution Testing

abstract: In some high-dimensional and semiparametric inference problems involving two populations, the parameter of interest can be characterized by two-sample U-statistics involving some nuisance parameters. In this work we first extend the framework of one-step estimation with cross-fitting to two-sample U-statistics, showing that using an orthogonalized influence function can effectively remove the first order bias, resulting in asymptotically normal estimates of the parameter of interest. As an example, we apply this method and theory to the problem of testing two-sample conditional distributions, also known as strong ignorability. When combined with a conformal-based rank-sum test, we discover that the nuisance parameters can be divided into two categories, where in one category the nuisance estimation accuracy does not affect the testing validity, whereas in the other the nuisance estimation accuracy must satisfy the usual requirement for the test to be valid. We believe these findings provide further insights into and enhance the conformal inference toolbox.


title: The equidistribution of Elliptic Dedekind sums and generalized Selberg-Kloosterman sums

abstract: We show that the values of elliptic Dedekind sums, after normalization, are equidistributed mod 1. The key ingredient is a non-trivial bound on generalized Selberg-Kloosterman sums for discrete subgroups of $\PSL_2(\mathbb C)$ using Poincar\'e series.


title: Network Design for the Traffic Assignment Problem with Mixed-Integer Frank-Wolfe

abstract: We tackle the network design problem for centralized traffic assignment, which can be cast as a mixed-integer convex optimization (MICO) problem. For this task, we propose different formulations and solution methods in both a deterministic and a stochastic setting in which the demand is unknown in the design phase. We leverage the recently proposed Boscia framework, which can solve MICO problems when the main nonlinearity stems from a differentiable objective function. Boscia tackles these problems by branch-and-bound with continuous relaxations solved approximately with Frank-Wolfe algorithms. We compare different linear relaxations and the corresponding subproblems solved by Frank-Wolfe, and alternative problem formulations to identify the situations in which each performs best. Our experiments evaluate the different approaches on instances from the Transportation Networks library and highlight the suitability of the mixed-integer Frank-Wolfe algorithm for this problem. In particular, we find that the Boscia framework is particularly applicable to this problem and that a mixed-integer linear Frank-Wolfe subproblem performs well for the deterministic case, while a penalty-based approach, with decoupled feasible regions for the design and flow variables, dominates other approaches for stochastic instances with many scenarios.


title: Optimizing NILC Extractions of the Thermal Sunyaev-Zeldovich Effect with Deep Learning

abstract: All-sky maps of the thermal Sunyaev-Zel'dovich effect (SZ) tend to suffer from systematic features arising from the component separation techniques used to extract the signal. In this work, we investigate one of these methods known as needlet internal linear combination (NILC) and test its performance on simulated data. We show that NILC estimates are strongly affected by the choice of the spatial localization parameter ($\Gamma$), which controls a bias-variance trade-off. Typically, NILC extractions assume a fixed value of $\Gamma$ over the entire sky, but we show there exists an optimal $\Gamma$ that depends on the SZ signal strength and local contamination properties. Then we calculate the NILC solutions for multiple values of $\Gamma$ and feed the results into a neural network to predict the SZ signal. This extraction method, which we call Deep-NILC, is tested against a set of validation data, including recovered radial profiles of resolved systems. Our main result is that Deep-NILC offers significant improvements over choosing fixed values of $\Gamma$.


title: Continuous Treatment Effects with Surrogate Outcomes

abstract: In many real-world causal inference applications, the primary outcomes (labels) are often partially missing, especially if they are expensive or difficult to collect. If the missingness depends on covariates (i.e., missingness is not completely at random), analyses based on fully observed samples alone may be biased. Incorporating surrogates, which are fully observed post-treatment variables related to the primary outcome, can improve estimation in this case. In this paper, we study the role of surrogates in estimating continuous treatment effects and propose a doubly robust method to efficiently incorporate surrogates in the analysis, which uses both labeled and unlabeled data and does not suffer from the above selection bias problem. Importantly, we establish the asymptotic normality of the proposed estimator and show possible improvements on the variance compared with methods that solely use labeled data. Extensive simulations show our methods enjoy appealing empirical performance.


title: Algorithms for $p$-adic Heights on Hyperelliptic Curves of Arbitrary Reduction

abstract: In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekov\'a\v{r}) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above $p$. We also discuss an alternative method to compute these for odd degree genus 2 curves via $p$-adic sigma functions, via work of the first-named author. For both approaches one needs to choose a splitting of the Hodge filtration. A canonical choice for this is due to Blakestad in the case of an odd degree curve of genus $2$ that has semistable ordinary reduction at $p$. We provide an algorithm to compute Blakestad's splitting, which is conjecturally the unit root splitting for the action of Frobenius. We give several numerical examples, including the first worked quadratic Chabauty example in the literature for a curve with bad reduction.


title: An Evaluation of Calibrated and Uncalibrated High-Resolution RGB Data in Time Series Analysis for Coal Spoil Characterisation: A Comparative Study

abstract: Minor errors in the spoil deposition process, such as placing stronger materials with higher shear strength over weaker ones, can lead to potential dump failure. Irregular deposition and inadequate compaction complicate coal spoil behaviour, necessitating a robust methodology for temporal monitoring. This study explores using unmanned aerial vehicles (UAV) equipped with red-green-blue (RGB) sensors for efficient data acquisition. Despite their prevalence, raw UAV data exhibit temporal inconsistency, hindering accurate assessments of changes over time. This is attributed to radiometric errors in UAV-based sensing arising from factors such as sensor noise, atmospheric scattering and absorption, variations in sun parameters, and variable characteristics of the sensed object over time. To this end, the study introduces an empirical line calibration with invariant targets, for precise calibration across diverse scenes. Calibrated RGB data exhibit a substantial performance advantage, achieving a 90.7% overall accuracy for spoil pile classification using ensemble (subspace discriminant), representing a noteworthy 7% improvement compared to classifying uncalibrated data. The study highlights the critical role of data calibration in optimising UAV effectiveness for spatio-temporal mine dump monitoring. The developed calibration workflow proves robust and reliable across multiple dates. Consequently, these findings play a crucial role in informing and refining sustainable management practices within the domain of mine waste management.