title: Provably Safe Neural Network Controllers via Differential Dynamic Logic

abstract: While neural networks (NNs) have potential as autonomous controllers for Cyber-Physical Systems, verifying the safety of NN based control systems (NNCSs) poses significant challenges for the practical use of NNs, especially when safety is needed for unbounded time horizons. One reason is the intractability of analyzing NNs, ODEs and hybrid systems. To this end, we introduce VerSAILLE (Verifiably Safe AI via Logically Linked Envelopes): The first general approach that allows reusing control theory results for NNCS verification. By joining forces, we exploit the efficiency of NN verification tools while retaining the rigor of differential dynamic logic (dL). Based on provably safe control envelopes in dL, we derive specifications for the NN which is proven via NN verification. We show that a proof of the NN adhering to the specification is mirrored by a dL proof on the infinite-time safety of the NNCS. The NN verification properties resulting from hybrid systems typically contain nonlinear arithmetic and arbitrary logical structures while efficient NN verification merely supports linear constraints. To overcome this divide, we present Mosaic: An efficient, sound and complete verification approach for polynomial real arithmetic properties on piece-wise linear NNs. Mosaic partitions complex verification queries into simple queries and lifts off-the-shelf linear constraint tools to the nonlinear setting in a completeness-preserving manner by combining approximation with exact reasoning for counterexample regions. Our evaluation demonstrates the versatility of VerSAILLE and Mosaic: We prove infinite-time safety on the classical Vertical Airborne Collision Avoidance NNCS verification benchmark for two scenarios while (exhaustively) enumerating counterexample regions in unsafe scenarios. We also show that our approach significantly outperforms State-of-the-Art tools in closed-loop NNV.


title: Analysis and Mortality Prediction using Multiclass Classification for Older Adults with Type 2 Diabetes

abstract: Designing proper treatment plans to manage diabetes requires health practitioners to pay heed to the individuals remaining life along with the comorbidities affecting them. Older adults with Type 2 Diabetes Mellitus (T2DM) are prone to experience premature death or even hypoglycaemia. The structured dataset utilized has 68 potential mortality predictors for 275,190 diabetic U.S. military Veterans aged 65 years or older. A new target variable is invented by combining the two original target variables. Outliers are handled by discretizing the continuous variables. Categorical variables have been dummy encoded. Class balancing is achieved by random under-sampling. A benchmark regression model is built using Multinomial Logistic Regression with LASSO. Chi-Squared and Information Gain are the filter-based feature selection techniques utilized. Classifiers such as Multinomial Logistic Regression, Random Forest, Extreme Gradient Boosting (XGBoost), and One-vs-Rest classifier are employed to build various models. Contrary to expectations, all the models have constantly underperformed. XGBoost has given the highest accuracy of 53.03 percent with Chi-Squared feature selection. All the models have consistently shown an acceptable performance for Class 3 (remaining life is more than 10 years), significantly low for Class 1 (remaining life is up to 5 years), and the worst for Class 2 (remaining life is more than 5 but up to 10 years). Features analysis has deduced that almost all input variables are associated with multiple target classes. The high dimensionality of the input data after dummy encoding seems to have confused the models, leading to misclassifications. The approach taken in this study is ineffective in producing a high-performing predictive model but lays a foundation as this problem has never been viewed from a multiclass classification perspective.


title: ASGEA: Exploiting Logic Rules from Align-Subgraphs for Entity Alignment

abstract: Entity alignment (EA) aims to identify entities across different knowledge graphs that represent the same real-world objects. Recent embedding-based EA methods have achieved state-of-the-art performance in EA yet faced interpretability challenges as they purely rely on the embedding distance and neglect the logic rules behind a pair of aligned entities. In this paper, we propose the Align-Subgraph Entity Alignment (ASGEA) framework to exploit logic rules from Align-Subgraphs. ASGEA uses anchor links as bridges to construct Align-Subgraphs and spreads along the paths across KGs, which distinguishes it from the embedding-based methods. Furthermore, we design an interpretable Path-based Graph Neural Network, ASGNN, to effectively identify and integrate the logic rules across KGs. We also introduce a node-level multi-modal attention mechanism coupled with multi-modal enriched anchors to augment the Align-Subgraph. Our experimental results demonstrate the superior performance of ASGEA over the existing embedding-based methods in both EA and Multi-Modal EA (MMEA) tasks.


title: idwMapper: An interactive and data-driven web mapping framework for visualizing and sensing high-dimensional geospatial (big) data

abstract: We are surrounded by overwhelming big data, which brings substantial advances but meanwhile poses many challenges. Geospatial big data comprises a big portion of big data, and is essential and powerful for decision-making if being utilized strategically. Volumes in size and high dimensions are two of the major challenges that prevent strategic decision-making from (geospatial) big data. Interactive map-based and geovisualization enabled web applications are intuitive and useful to construct knowledge and reveal insights from high-dimensional (geospatial) big data for actionable decision-making. We propose an interactive and data-driven web mapping framework, named idwMapper, for visualizing and sensing high dimensional geospatial (big) data in an interactive and scalable manner. To demonstrate the wide applicability and usefulness of our framework, we have applied our idwMapper framework to three real-world case studies and implemented three corresponding web map applications: iLit4GEE-AI, iWURanking, and iTRELISmap. We expect and hope the three web maps demonstrated in different domains, from literature big data analysis through world university ranking to scholar mapping, will provide a good start and inspire researchers and practitioners in various domains to apply our idwMapper to solve (or at least aid them in solving) their impactful problems.


title: Coherent states in microwave-induced resistance oscillations and zero resistance states

abstract: We investigate irradiated high-mobility two-dimensional electron systems (2DES) under low or moderated magnetic fields. These systems present microwave-induced magnetoresistance oscillations (MIRO) which, as we demonstrate, reveal the presence of coherent states of the quantum harmonic oscillator. We also show that the principle of minimum uncertainty of coherent states is at the heart of MIRO and zero resistance states (ZRS). Accordingly, we are able to explain, based on coherent states, important experimental evidence of these photo-oscillations. Such as their physical origin, their periodicity with the inverse of the magnetic field and their peculiar oscillations minima and maxima positions in regards of the magnetic field. Thus, remarkably enough, we come to the conclusion that 2DES, under low magnetic fields, become a system of quasiclassical states or coherent states and MIRO would be the smoking gun of the existence of these peculiar states is these systems.


title: On sequency-complete and sequency-ordered matrices

abstract: The concept of sequency holds a fundamental significance in signal analysis using Walsh basis functions. In this study, we closely examine the concept of sequency and explore the properties of sequency-complete and sequency-ordered matrices. We obtain results on cardinalities of sets containing sequency-complete and sequency-ordered matrices of arbitrary sizes. We present methods for obtaining interesting classes of sequency-complete and sequency-ordered matrices of arbitrary sizes. We also provide results on the sequencies of columns in tensor products involving two or more matrices.


title: The Evolution of Statistical Induction Heads: In-Context Learning Markov Chains

abstract: Large language models have the ability to generate text that mimics patterns in their inputs. We introduce a simple Markov Chain sequence modeling task in order to study how this in-context learning (ICL) capability emerges. In our setting, each example is sampled from a Markov chain drawn from a prior distribution over Markov chains. Transformers trained on this task form \emph{statistical induction heads} which compute accurate next-token probabilities given the bigram statistics of the context. During the course of training, models pass through multiple phases: after an initial stage in which predictions are uniform, they learn to sub-optimally predict using in-context single-token statistics (unigrams); then, there is a rapid phase transition to the correct in-context bigram solution. We conduct an empirical and theoretical investigation of this multi-phase process, showing how successful learning results from the interaction between the transformer's layers, and uncovering evidence that the presence of the simpler unigram solution may delay formation of the final bigram solution. We examine how learning is affected by varying the prior distribution over Markov chains, and consider the generalization of our in-context learning of Markov chains (ICL-MC) task to $n$-grams for $n > 2$.


title: Exploring Value Biases: How LLMs Deviate Towards the Ideal

abstract: Large-Language-Models (LLMs) are deployed in a wide range of applications, and their response has an increasing social impact. Understanding the non-deliberate(ive) mechanism of LLMs in giving responses is essential in explaining their performance and discerning their biases in real-world applications. This is analogous to human studies, where such inadvertent responses are referred to as sampling. We study this sampling of LLMs in light of value bias and show that the sampling of LLMs tends to favour high-value options. Value bias corresponds to this shift of response from the most likely towards an ideal value represented in the LLM. In fact, this effect can be reproduced even with new entities learnt via in-context prompting. We show that this bias manifests in unexpected places and has implications on relevant application scenarios, like choosing exemplars. The results show that value bias is strong in LLMs across different categories, similar to the results found in human studies.


title: Automated Detection and Analysis of Data Practices Using A Real-World Corpus

abstract: Privacy policies are crucial for informing users about data practices, yet their length and complexity often deter users from reading them. In this paper, we propose an automated approach to identify and visualize data practices within privacy policies at different levels of detail. Leveraging crowd-sourced annotations from the ToS;DR platform, we experiment with various methods to match policy excerpts with predefined data practice descriptions. We further conduct a case study to evaluate our approach on a real-world policy, demonstrating its effectiveness in simplifying complex policies. Experiments show that our approach accurately matches data practice descriptions with policy excerpts, facilitating the presentation of simplified privacy information to users.


title: Stability of quasiperiodic superconductors

abstract: We study the effects of quasiperiodicity on the stability of conventional and unconventional superconductors. Quasiperiodicity is modelled using the three-dimensional Aubry-Andre model, a system in which electrons are coupled to a translation-symmetry-breaking potential that is incommensurate with the underlying lattice. Upon increasing the strength of the quasiperiodic potential, the single-particle eigenstates undergo a transition from a ballistic to a diffusive character. Here, we study the instability of the model towards superconductivity. We find that in the ballistic regime, the system is unstable towards both $s$-wave and $p$-wave superconductivity. In contrast, only the conventional $s$-wave instability survives in the intermediate diffusive regime. Our results suggest a version of Anderson's theorem for quasiperiodic systems, relating the normal state dynamics to the stability of conventional and unconventional superconductivity. These findings are relevant vis-a-vis recent studies of superconductivity in quasiperiodic moire structures.


title: Connecting stellar and galactic scales: Energetic feedback from stellar wind bubbles to supernova remnants

abstract: Energy and momentum feedback from stars is a key element of models for galaxy formation and interstellar medium dynamics, but resolving the relevant length scales to directly include this feedback remain out of reach of current-generation simulations. We aim to constrain the energy feedback by winds, photoionisation and supernovae (SNe) from massive stars. We measure the thermal and kinetic energy imparted to the interstellar medium on various length scales, calculated from high-resolution 1D radiation-hydrodynamics simulations. Our grid of simulations covers a broad range of densities, metallicities, and state-of-the-art evolutionary models of single and binary stars. We find that a single star or binary system can carve a cavity of tens-of-pc size into the surrounding medium. During the pre-SN phase, post-main-sequence stellar winds and photoionisation dominate. While SN explosions dominate the total energy budget, the pre-SN feedback is of great importance by reducing the circumstellar gas density and delaying the onset of radiative losses in the SN remnant. Contrary to expectations, the metallicity dependence of the stellar wind has little effect on the cumulative energy imparted by feedback to the ISM; the only requirement is the existence of a sufficient level of pre-SN radiative and mechanical feedback. The ambient medium density determines how much and when feedback energy reaches to distance $\gtrsim 10-20$ pc and affects the division between kinetic and thermal feedback. Our results can be used as a sub-grid model for feedback in large-scale simulations of galaxies. The results reinforce that the uncertain mapping of stellar evolution sequences to SN explosion energy is very important to determining the overall feedback energy from a stellar population.


title: "Extended emission" from fallback accretion onto merger remnants

abstract: Using a set of general-relativistic magnetohydrodynamics simulations that include proper neutrino transfer, we assess for the first time the role played by the fallback accretion onto the remnant from a binary neutron-star merger over a timescale of hundreds of seconds. In particular, we find that, independently of the equation of state, the properties of the binary, and the fate of the remnant, the fallback material reaches a total mass of $\gtrsim 10^{-3}\,M_\odot$, i.e. about $50\%$ of the unbound matter, and that the fallback accretion rate follows a power-law in time with slope $\sim t^{-5/3}$. Interestingly, the timescale of the fallback and the corresponding accretion luminosity are in good agreement with the so-called ``extended emission'' observed in short gamma-ray bursts (GRBs). Using a simple electromagnetic emission model based on the self-consistent thermodynamical state of the fallback material heated by r-process nucleosynthesis, we show that this fallback material can shine in the gamma- and X-rays with luminosities $\gtrsim \,10^{48}\,{\rm erg/s}$ for hundreds of seconds, thus making it a good and natural candidate to explain the extended emission in short GRBs. In addition, our model for the emission by the fallback material reproduces well and rather naturally some of the phenomenological traits of the extended emission, such as its softer spectra with respect to the prompt emission and the presence of exponential cutoffs in time. Our results clearly highlight that fallback flows onto merger remnants cannot be neglected and the corresponding emission represents a very promising and largely unexplored avenue to explain the complex phenomenology of GRBs.


title: Type Ia supernova explosion models are inherently multidimensional

abstract: Theoretical and observational approaches to settling the important questions surrounding the progenitor systems and the explosion mechanism of normal Type Ia supernovae have thus far failed. With its unique capability to obtain continuous spectra through the near- and mid-infrared, JWST now offers completely new insights into Type Ia supernovae. In particular, observing them in the nebular phase allows us to directly see the central ejecta and thereby constrain the explosion mechanism. We aim to understand and quantify differences in the structure and composition of the central ejecta of various Type Ia supernova explosion models. We examined the currently most popular explosion scenarios using self-consistent multidimensional explosion simulations of delayed-detonation and pulsationally assisted, gravitationally confined delayed detonation Chandrasekhar-mass models and double-detonation sub-Chandrasekhar-mass and violent merger models. We find that the distribution of radioactive and stable nickel in the final ejecta, both observable in nebular spectra, are significantly different between different explosion scenarios. Therefore, comparing synthetic nebular spectra with JWST observations should allow us to distinguish between explosion models. We show that the explosion ejecta are inherently multidimensional for all models, and the Chandrasekhar-mass explosions simulated in spherical symmetry in particular lead to a fundamentally unphysical ejecta structure. Moreover, we show that radioactive and stable nickel cover a significant range of densities at a fixed velocity of the homologously expanding ejecta. Any radiation transfer postprocessing has to take these variations into account to obtain faithful synthetic observables; this will likely require multidimensional radiation transport simulations.


title: Fundamental, Harmonic, and Third-harmonic Plasma Emission from Beam-plasma Instabilities: A First-principles Precursor for Astrophysical Radio Bursts

abstract: Electromagnetic fundamental and harmonic emission is ubiquitously observed throughout the heliosphere, and in particular it is commonly associated with the occurrence of Type II and III solar radio bursts. Classical analytic calculations for the plasma-emission process, though useful, are limited to idealized situations; a conclusive numerical verification of this theory is still lacking, with earlier studies often providing contradicting results on e.g. the precise parameter space in which fundamental and harmonic emission can be produced. To accurately capture the chain of mechanisms underlying plasma emission - from precursor plasma processes to the generation of electromagnetic waves over long times - we perform large-scale, first-principles simulations of beam-plasma instabilities. By employing a very large number of computational particles we achieve very low numerical noise, and explore (with an array of simulations) a wide parameter space determined by the beam-plasma density ratio and the ion-to-electron temperature ratio. In particular, we observe direct evidence of both fundamental and harmonic plasma emission when the beam-to-background density ratio $\le$0.005 (with beam-to-background energy ratio ~0.5), tightly constraining this threshold. We observe that, asymptotically, in this regime ~0.1% of the initial beam energy is converted into harmonic emission, and ~0.001% into fundamental emission. In contrast with previous studies, we also find that this emission is independent of the ion-to-electron temperature ratio. In addition, we report the direct detection of third-harmonic emission in all of our simulations, at power levels compatible with observations. Our findings have important consequences for understanding the viable conditions leading to plasma emission in space systems, and for the interpretation of observed electromagnetic signals throughout the heliosphere.

categories: astro-ph.SR astro-ph.HE physics.plasm-ph physics.space-ph


title: Existence and absence of Killing horizons in static solutions with symmetries

abstract: Without specifying a matter field nor imposing energy conditions, we study Killing horizons in $n(\ge 3)$-dimensional static solutions in general relativity with an $(n-2)$-dimensional Einstein base manifold. Assuming linear relations $p_{\rm r}\simeq\chi_{\rm r} \rho$ and $p_2\simeq\chi_{\rm t} \rho$ near a Killing horizon between the energy density $\rho$, radial pressure $p_{\rm r}$, and tangential pressure $p_2$ of the matter field, we prove that any non-vacuum solution satisfying $\chi_{\rm r}<-1/3$ ($\chi_{\rm r}\ne -1$) or $\chi_{\rm r}>0$ does not admit a horizon as it becomes a curvature singularity. While many exact solutions with horizons are known for $\chi_{\rm r}=-1$, we construct asymptotic solutions near a Killing horizon for $\chi_{\rm r}\in[-1/3,0)$ and show that a matter field is absent on the horizon for $\chi_{\rm r}\in(-1/3,0)$. In contrast, there exists a matter on the horizon for $\chi_{\rm r}=-1/3$, which is of the Hawking-Ellis type II and may be interpreted as a null dust fluid. Differentiability of the metric on the horizon depends on the value of $\chi_{\rm r}$ and such solutions can be attached to the Schwarzschild-Tangherlini-type vacuum solution at the Killing horizon in a $C^{1,1}$ regular manner without a lightlike thin-shell. Additionally, some of those results are generalized in Lovelock gravity with a maximally symmetric base manifold.


title: Prompt Black Hole Formation in Binary Neutron Star Mergers

abstract: We carry out an in-depth analysis of the prompt-collapse behaviour of binary neutron star (BNS) mergers. To this end, we perform more than $80$ general relativistic BNS merger simulations using a family of realistic Equations of State (EOS) with different stiffness, which feature a first order deconfinement phase transition between hadronic and quark matter. From these simulations we infer the critical binary mass $M_{\rm crit}$ that separates the prompt from the non-prompt collapse regime. We show that the critical mass increases with the stiffness of the EOS and obeys a tight quasi-universal relation, $M_{\rm crit}/M_{\rm TOV}\approx 1.41\pm 0.06$, which links it to the maximum mass $M_{\rm TOV}$ of static neutron stars, and therefore provides a straightforward estimate for the total binary mass beyond which prompt collapse becomes inevitable. In addition, we introduce a novel gauge independent definition for a one-parameter family of threshold masses in terms of curvature invariants of the Riemann tensor which characterizes the development toward a more rapid collapse with increasing binary mass. Using these diagnostics, we find that the amount of matter remaining outside the black hole sharply drops in supercritical mass mergers compared to subcritical ones and is further reduced in mergers where the black hole collapse is induced by the formation of a quark matter core. This implies that $M_{\rm crit}$, particularly for merger remnants featuring quark matter cores, imposes a strict upper limit on the emission of any detectable electromagnetic counterpart in BNS mergers.


title: Neural-network quantum states for many-body physics

abstract: Variational quantum calculations have borrowed many tools and algorithms from the machine learning community in the recent years. Leveraging great expressive power and efficient gradient-based optimization, researchers have shown that trial states inspired by deep learning problems can accurately model many-body correlated phenomena in spin, fermionic and qubit systems. In this review, we derive the central equations of different flavors variational Monte Carlo (VMC) approaches, including ground state search, time evolution and overlap optimization, and discuss data-driven tasks like quantum state tomography. An emphasis is put on the geometry of the variational manifold as well as bottlenecks in practical implementations. An overview of recent results of first-principles ground-state and real-time calculations is provided.


title: A Survey for Radio Emission from White Dwarfs in the VLA Sky Survey

abstract: Radio emission has been detected from tens of white dwarfs, in particular in accreting systems. Additionally, radio emission has been predicted as a possible outcome of a planetary system around a white dwarf. We searched for 3 GHz radio continuum emission in 846,000 candidate white dwarfs previously identified in Gaia using the Very Large Array Sky Survey (VLASS) Epoch 1 Quick Look Catalogue. We identified 13 candidate white dwarfs with a counterpart in VLASS within 2". Five of those were found not to be white dwarfs in follow-up or archival spectroscopy, whereas seven others were found to be chance alignments with a background source in higher-resolution optical or radio images. The remaining source, WDJ204259.71+152108.06, is found to be a white dwarf and M-dwarf binary with an orbital period of 4.1 days and long-term stochastic optical variability, as well as luminous radio and X-ray emission. For this binary, we find no direct evidence of a background contaminant, and a chance alignment probability of only ~2 per cent. However, other evidence points to the possibility of an unfortunate chance alignment with a background radio and X-ray emitting quasar, including an unusually poor Gaia DR3 astrometric solution for this source. With at most one possible radio emitting white dwarf found, we conclude that strong (> 1-3 mJy) radio emission from white dwarfs in the 3 GHz band is virtually nonexistent outside of interacting binaries.


title: Holographic phenomenology via overlapping degrees of freedom

abstract: The holographic principle suggests that regions of space contain fewer physical degrees of freedom than would be implied by conventional quantum field theory. Meanwhile, in Hilbert spaces of large dimension $2^n$, it is possible to define $N \gg n$ Pauli algebras that are nearly anti-commuting (but not quite) and which can be thought of as "overlapping degrees of freedom". We propose to model the phenomenology of holographic theories by allowing field-theory modes to be overlapping, and derive potential observational consequences. In particular, we build a Fermionic quantum field whose effective degrees of freedom approximately obey area scaling and satisfy a cosmic Bekenstein bound, and compare predictions of that model to cosmic neutrino observations. Our implementation of holography implies a finite lifetime of plane waves, which depends on the overall UV cutoff of the theory. To allow for neutrino flux from blazar TXS 0506+056 to be observable, our model needs to have a cutoff $k_{\mathrm{UV}} \lesssim 500\, k_{\mathrm{LHC}}\,$. This is broadly consistent with current bounds on the energy spectrum of cosmic neutrinos from IceCube, but high energy neutrinos are a potential challenge for our model of holography. We motivate our construction via quantum mereology, i.e. using the idea that EFT degrees of freedom should emerge from an abstract theory of quantum gravity by finding quasi-classical Hilbert space decompositions. We also discuss how to extend the framework to Bosons. Finally, using results from random matrix theory we derive an analytical understanding of the energy spectrum of our theory. The numerical tools used in this work are publicly available within the GPUniverse package, https://github.com/OliverFHD/GPUniverse .


title: Time-dependent microstrata in AdS3

abstract: We use perturbation theory to construct a family of time-dependent microstrata: a set of non-extremal solutions of IIB supergravity asymptotic to $AdS_3 \times S^3 \times T^4$. Our construction shows that the "special locus" constraints of arXiv:2307.13021 can be broken by allowing the solutions to depend on time. We study the secular terms appearing in the perturbation theory. Some of them can be resummed into frequency shifts, with the same interpretation as for the previously-studied microstrata solutions. Other secular terms appear harder to resum, questioning the long-term stability of the solutions.


title: Merger-Driven Growth of Intermediate-mass Black Holes: Constraints from Hubble Space Telescope Imaging of Hyper-luminous X-Ray Sources

abstract: Hyper-luminous X-ray sources (HLXs) are extragalactic off-nuclear X-ray sources with luminosities exceeding the theoretical limit for accretion onto stellar-mass compact objects. Many HLXs may represent intermediate-mass black holes (IMBHs) deposited in galaxy halos through mergers, and properties of the stellar cores surrounding HLXs provide powerful constraints on this scenario. Therefore, we have systematically built the largest sample of HLX candidates with archival Hubble Space Telescope (HST) imaging (24) for the first uniform population study of HLX stellar cores down to low masses. Based on their host galaxy redshifts, at least 21 (88%) have stellar core masses >=10^7 Msun and hence are consistent with accretion onto massive black holes from external galaxies. In 50% of the sample, the HST imaging reveals features connecting the HLXs with their host galaxies, strongly suggesting against the background/foreground contaminant possibility in these cases. Assuming a mass scaling relation for active galactic nuclei and accounting for an estimated contamination fraction of 29%, up to ~60% of our sample may be associated with IMBHs. Similar to previously known HLXs, the X-ray luminosities are systematically elevated relative to their stellar core masses, possibly from merger-driven accretion rate enhancements. The least massive stellar cores are preferentially found at larger nuclear offsets and are more likely to remain wandering in their host galaxy halos. The HLX galaxy occupation fraction is ~10^-2 and has a strong inverse mass dependence. Up to three of the HLX candidates (12%) are potentially consistent with formation within globular clusters or with exceptionally luminous X-ray binaries.


title: Could long-period transients be powered by primordial black hole capture?

abstract: Long-period radio transients have unusual properties that challenge their interpretation as pulsars or magnetars. We examine whether they might instead be powered by primordial black holes (PBHs) making repeated passages through a host star, thereby providing a signature of elusive dark-matter candidates. We demonstrate that constraints derived from the transients' period and period derivative alone already rule out this scenario for most potential host stars. While white dwarfs may satisfy these constraints, they are unlikely to capture PBHs in the required mass range.


title: Proximal Causal Inference for Conditional Separable Effects

abstract: Scientists often pose questions about treatment effects on outcomes conditional on a post-treatment event. However, defining, identifying, and estimating causal effects conditional on post-treatment events requires care, even in perfectly executed randomized experiments. Recently, the conditional separable effect (CSE) was proposed as an interventionist estimand, corresponding to scientifically meaningful questions in these settings. However, while being a single-world estimand, which can be queried experimentally, existing identification results for the CSE require no unmeasured confounding between the outcome and post-treatment event. This assumption can be violated in many applications. In this work, we address this concern by developing new identification and estimation results for the CSE in the presence of unmeasured confounding. We establish nonparametric identification of the CSE in both observational and experimental settings when certain proxy variables are available for hidden common causes of the post-treatment event and outcome. We characterize the efficient influence function for the CSE under a semiparametric model of the observed data law in which nuisance functions are a priori unrestricted. Moreover, we develop a consistent, asymptotically linear, and locally semiparametric efficient estimator of the CSE using modern machine learning theory. We illustrate our framework with simulation studies and a real-world cancer therapy trial.


title: TITAN: A Distributed Large-Scale Trapped-Ion NISQ Computer

abstract: Trapped-Ion (TI) technology offers potential breakthroughs for Noisy Intermediate Scale Quantum (NISQ) computing. TI qubits offer extended coherence times and high gate fidelity, making them appealing for large-scale NISQ computers. Constructing such computers demands a distributed architecture connecting Quantum Charge Coupled Devices (QCCDs) via quantum matter-links and photonic switches. However, current distributed TI NISQ computers face hardware and system challenges. Entangling qubits across a photonic switch introduces significant latency, while existing compilers generate suboptimal mappings due to their unawareness of the interconnection topology. In this paper, we introduce TITAN, a large-scale distributed TI NISQ computer, which employs an innovative photonic interconnection design to reduce entanglement latency and an advanced partitioning and mapping algorithm to optimize matter-link communications. Our evaluations show that TITAN greatly enhances quantum application performance by 56.6% and fidelity by 19.7% compared to existing systems.


title: Exploring the Phase Diagram of the quantum one-dimensional ANNNI model

abstract: In this manuscript, we explore the intersection of QML and TN in the context of the one-dimensional ANNNI model with a transverse field. The study aims to concretely connect QML and TN by combining them in various stages of algorithm construction, focusing on phase diagram reconstruction for the ANNNI model, with supervised and unsupervised techniques. The model's significance lies in its representation of quantum fluctuations and frustrated exchange interactions, making it a paradigm for studying magnetic ordering, frustration, and the presence of a floating phase. It concludes with discussions of the results, including insights from increased system sizes and considerations for future work, such as addressing limitations in QCNN and exploring more realistic implementations of QC.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.stat-mech quant-ph


title: HYACINTH: HYdrogen And Carbon chemistry in theINTerstellar medium in Hydro simulations

abstract: Aims. We present a new sub-grid model, HYACINTH -- HYdrogen And Carbon chemistry in the INTerstellar medium in Hydro simulations, for computing the non-equilibrium abundances of ${\rm H_2}$ and its carbon-based tracers, namely ${\rm CO}$, ${\rm C}$, and ${\rm C^+}$, in cosmological simulations of galaxy formation. Methods. The model accounts for the unresolved density structure in simulations using a variable probability distribution function of sub-grid densities and a temperature-density relation. Included is a simplified chemical network tailored for hydrogen and carbon chemistry within molecular clouds and easily integrated into large-scale simulations with minimal computational overhead. As an example, we apply HYACINTH to a simulated galaxy at redshift $z\sim2.5$ in post-processing and compare the resulting abundances with observations. Results. The chemical predictions from HYACINTH show a good agreement with high-resolution molecular-cloud simulations. We reproduce the $\rm H\,I - {\rm H_2}$ transition in the $f_{\rm H_2} - N_{\rm H}$ plane for both Milky-Way and LMC-like conditions. We also match the $N_{\rm CO} - N_{\rm H_2}$ values inferred from absorption measurements towards Milky-Way molecular clouds. Column density maps reveal that ${\rm CO}$ is concentrated in the peaks of the $\rm H_2$ distribution, while atomic carbon more broadly traces the bulk of ${\rm H_2}$ in our post-processed galaxy. Based on surface density profiles of stars and different gas species in the post-processed galaxy, we find that ${\rm C^+}$ extends farther than all other components and maintains a substantially high surface density out to $\sim 10 \, \rm kpc$. This is similar to the $[\rm C\,II]$ halos found in some recent observations at high redshifts.


title: Absence of Bound States for Quantum Walks and CMV Matrices via Reflections

abstract: We give a criterion based on reflection symmetries in the spirit of Jitomirskaya--Simon to show absence of point spectrum for (split-step) quantum walks and Cantero--Moral--Vel\'azquez (CMV) matrices. To accomplish this, we use some ideas from a recent paper by the authors and their collaborators to implement suitable reflection symmetries for such operators. We give several applications. For instance, we deduce arithmetic delocalization in the phase for the unitary almost-Mathieu operator and singular continuous spectrum for generic CMV matrices generated by the Thue--Morse subshift.


title: Training Bayesian Neural Networks with Sparse Subspace Variational Inference

abstract: Bayesian neural networks (BNNs) offer uncertainty quantification but come with the downside of substantially increased training and inference costs. Sparse BNNs have been investigated for efficient inference, typically by either slowly introducing sparsity throughout the training or by post-training compression of dense BNNs. The dilemma of how to cut down massive training costs remains, particularly given the requirement to learn about the uncertainty. To solve this challenge, we introduce Sparse Subspace Variational Inference (SSVI), the first fully sparse BNN framework that maintains a consistently highly sparse Bayesian model throughout the training and inference phases. Starting from a randomly initialized low-dimensional sparse subspace, our approach alternately optimizes the sparse subspace basis selection and its associated parameters. While basis selection is characterized as a non-differentiable problem, we approximate the optimal solution with a removal-and-addition strategy, guided by novel criteria based on weight distribution statistics. Our extensive experiments show that SSVI sets new benchmarks in crafting sparse BNNs, achieving, for instance, a 10-20x compression in model size with under 3\% performance drop, and up to 20x FLOPs reduction during training compared with dense VI training. Remarkably, SSVI also demonstrates enhanced robustness to hyperparameters, reducing the need for intricate tuning in VI and occasionally even surpassing VI-trained dense BNNs on both accuracy and uncertainty metrics.


title: Superradiant pulse saturation in a Free Electron Laser

abstract: A study is made of the saturation mechanism of a single superradiant spike of radiation in a Free Electron Laser. A one-dimensional (1D) computer model is developed using the Puffin, un-averaged FEL simulation code, which allows sub-radiation wavelength evolution of both the spike radiation field and the electron dynamics to be modelled until the highly non-linear saturation process of the spike is observed. Animations of the process from the start to the end of the interaction are available. The resultant saturated spike duration is at the sub-wavelength scale and has a broad spectrum. The electrons passing through the spike can both lose and gain energy many times greater than that of the normal non-pulsed FEL interaction. A saturation mechanism is proposed and tested via a simple analysis of the 1D FEL equations. The scaling results of the analysis are seen to be in good agreement with the numerical results. A simple model of three dimensional diffraction effects of the radiation is applied to the results of the 1D simulations. This greatly reduces longer wavelengths of the power spectrum, which are seen to be emitted mainly after the electrons have propagated through the spike, and is seen to be in qualitative agreement with recent experimental results.


title: MITS: A Quantum Sorcerer Stone For Designing Surface Codes

abstract: In the evolving landscape of quantum computing, determining the most efficient parameters for Quantum Error Correction (QEC) is paramount. Various quantum computers possess varied types and amounts of physical noise. Traditionally, simulators operate in a forward paradigm, taking parameters such as distance, rounds, and physical error to output a logical error rate. However, usage of maximum distance and rounds of the surface code might waste resources. An approach that relies on trial and error to fine-tune QEC code parameters using simulation tools like STIM can be exceedingly time-consuming. Additionally, daily fluctuations in quantum error rates can alter the ideal QEC settings needed. As a result, there is a crucial need for an automated solution that can rapidly determine the appropriate QEC parameters tailored to the current conditions. To bridge this gap, we present MITS, a tool designed to reverse-engineer the well-known simulator STIM for designing QEC codes. MITS accepts the specific noise model of a quantum computer and a target logical error rate as input and outputs the optimal surface code rounds and code distances. This guarantees minimal qubit and gate usage, harmonizing the desired logical error rate with the existing hardware limitations on qubit numbers and gate fidelity. We explored and compared multiple heuristics and machine learning models for training/designing MITS and concluded that XGBoost and Random Forest regression were most effective, with Pearson correlation coefficients of 0.98 and 0.96 respectively.


title: Incremental Topological Ordering and Cycle Detection with Predictions

abstract: This paper leverages the framework of algorithms-with-predictions to design data structures for two fundamental dynamic graph problems: incremental topological ordering and cycle detection. In these problems, the input is a directed graph on $n$ nodes, and the $m$ edges arrive one by one. The data structure must maintain a topological ordering of the vertices at all times and detect if the newly inserted edge creates a cycle. The theoretically best worst-case algorithms for these problems have high update cost (polynomial in $n$ and $m$). In practice, greedy heuristics (that recompute the solution from scratch each time) perform well but can have high update cost in the worst case. In this paper, we bridge this gap by leveraging predictions to design a learned new data structure for the problems. Our data structure guarantees consistency, robustness, and smoothness with respect to predictions -- that is, it has the best possible running time under perfect predictions, never performs worse than the best-known worst-case methods, and its running time degrades smoothly with the prediction error. Moreover, we demonstrate empirically that predictions, learned from a very small training dataset, are sufficient to provide significant speed-ups on real datasets.


title: Model-assisted estimation of domain totals, areas, and densities in two-stage sample survey designs

abstract: Model-assisted, two-stage forest survey sampling designs provide a means to combine airborne remote sensing data, collected in a sampling mode, with field plot data to increase the precision of national forest inventory estimates, while maintaining important properties of design-based inventories, such as unbiased estimation and quantification of uncertainty. In this study, we present a comprehensive set of model-assisted estimators for domain-level attributes in a two-stage sampling design, including new estimators for densities, and compare the performance of these estimators with standard poststratified estimators. Simulation was used to assess the statistical properties (bias, variability) of these estimators, with both simple random and systematic sampling configurations, and indicated that 1) all estimators were generally unbiased. and 2) the use of lidar in a sampling mode increased the precision of the estimators at all assessed field sampling intensities, with particularly marked increases in precision at lower field sampling intensities. Variance estimators are generally unbiased for model-assisted estimators without poststratification, while model-assisted estimators with poststratification were increasingly biased as field sampling intensity decreased. In general, these results indicate that airborne remote sensing, collected in a sampling mode, can be used to increase the efficiency of national forest inventories.


title: Electronic structure and magnetism in P4/nmm KCoO2

abstract: KCoO2 has been found in 1975 to exist in a unique structure with P4/nmm spacegroup with Co in a square pyramidal coordination with the Co atoms in the plane linked by O in a square arrangement reminiscent of the cuprates but its electronic structure has not been studied until now. Unlike Co atoms in LiCoO2 and NaCoO2 in octahedral coordination, which are non-magnetic band structure insulators, the unusual coordination of d6 Co^{3+} in KCoO2 is here shown to lead to a magnetic stabilization of an insulating structure with high magnetic moments of 4{\mu}B per Co. The electronic band structure is calculated using the quasiparticle self-consistent (QS)GW method and the basic formation of magnetic moments is explained in terms of the orbital decomposition of the bands. The optical dielectric function is calculated using the Bethe-Salpeter equation including only transitions between equal spin bands. The magnetic moments are shown to prefer an antiferromagnetic ordering along the [110] direction. Exchange interactions are calculated from the transverse spin susceptibility and a rigid spin approximation. The N\'eel temperature is estimated using the mean-field and Tyablikov methods and found to be between approximately 100 and 250 K. The band structure in the AFM ordering can be related to the FM ordering by band folding effects. The optical spectra are similar in both structures and show evidence of excitonic features below the quasiparticle gap of about 4 eV.


title: Low-profile Super-Realised Gain Antennas

abstract: This study introduces an novel approach to the design of low-profile superdirective antenna arrays, employing parasitic elements. The proposed design concept was verified through the analysis of a two-element antenna array consisting of strip dipoles, operating at a frequency of $3.5$ GHz within the sub-6 5G frequency band. The antenna array was optimized for realized gain, a key antenna parameter considering both ohmic and return losses. The design parameters included the lengths and widths of the strip dipoles, along with a reactance load connected to the parasitic element. The driven element was excited by a sinusoidal voltage signal with a magnitude of $1$ V, eliminating the need for amplifiers, attenuators, phase shifters, or impedance matching networks. Results demonstrated that this design concept enables the achievement of superdirectivity, with inter-element distances as small as $0.1\lambda$, resulting in low-profile, compact, high directional antenna systems.


title: Equidistant Circular Split Networks

abstract: Phylogenetic networks are generalizations of trees that allow for the modeling of non-tree like evolutionary processes. Split networks give a useful way to construct networks with intuitive distance structures induced from the associated split graph. We explore the polyhedral geometry of distance matrices built from circular split systems which have the added property of being equidistant. We give a characterization of the facet defining inequalities and the extreme rays of the cone of distances that arises from an equidistant network associated to any circular split network. We also explain a connection to the Chan-Robbins-Yuen polytope from geometric combinatorics.


title: The Primordial Black Hole Abundance: The Broader, the Better

abstract: We show that the abundance of primordial black holes, if formed through the collapse of large fluctuations generated during inflation and unless the power spectrum of the curvature perturbation is very peaked, is always dominated by the broadest profile of the compaction function, even though statistically it is not the most frequent. The corresponding threshold is therefore 2/5. This result exacerbates the tension when combining the primordial black hole abundance with the signal seen by pulsar timing arrays and originated from gravitational waves induced by the same large primordial perturbations.


title: PAT-Questions: A Self-Updating Benchmark for Present-Anchored Temporal Question-Answering

abstract: Existing work on Temporal Question Answering (TQA) has predominantly focused on questions anchored to specific timestamps or events (e.g. "Who was the US president in 1970?"). Little work has studied questions whose temporal context is relative to the present time (e.g. "Who was the previous US president?"). We refer to this problem as Present-Anchored Temporal QA (PATQA). PATQA poses unique challenges: (1) large language models (LLMs) may have outdated knowledge, (2) complex temporal relationships (e.g. 'before', 'previous') are hard to reason, (3) multi-hop reasoning may be required, and (4) the gold answers of benchmarks must be continuously updated. To address these challenges, we introduce the PAT-Questions benchmark, which includes single and multi-hop temporal questions. The answers in PAT-Questions can be automatically refreshed by re-running SPARQL queries on a knowledge graph, if available. We evaluate several state-of-the-art LLMs and a SOTA temporal reasoning model (TEMPREASON-T5) on PAT-Questions through direct prompting and retrieval-augmented generation (RAG). The results highlight the limitations of existing solutions in PATQA and motivate the need for new methods to improve PATQA reasoning capabilities.


title: Retrieval-Augmented Generation: Is Dense Passage Retrieval Retrieving?

abstract: Dense passage retrieval (DPR) is the first step in the retrieval augmented generation (RAG) paradigm for improving the performance of large language models (LLM). DPR fine-tunes pre-trained networks to enhance the alignment of the embeddings between queries and relevant textual data. A deeper understanding of DPR fine-tuning will be required to fundamentally unlock the full potential of this approach. In this work, we explore DPR-trained models mechanistically by using a combination of probing, layer activation analysis, and model editing. Our experiments show that DPR training decentralizes how knowledge is stored in the network, creating multiple access pathways to the same information. We also uncover a limitation in this training style: the internal knowledge of the pre-trained model bounds what the retrieval model can retrieve. These findings suggest a few possible directions for dense retrieval: (1) expose the DPR training process to more knowledge so more can be decentralized, (2) inject facts as decentralized representations, (3) model and incorporate knowledge uncertainty in the retrieval process, and (4) directly map internal model knowledge to a knowledge base.


title: Occlusion Resilient 3D Human Pose Estimation

abstract: Occlusions remain one of the key challenges in 3D body pose estimation from single-camera video sequences. Temporal consistency has been extensively used to mitigate their impact but the existing algorithms in the literature do not explicitly model them. Here, we apply this by representing the deforming body as a spatio-temporal graph. We then introduce a refinement network that performs graph convolutions over this graph to output 3D poses. To ensure robustness to occlusions, we train this network with a set of binary masks that we use to disable some of the edges as in drop-out techniques. In effect, we simulate the fact that some joints can be hidden for periods of time and train the network to be immune to that. We demonstrate the effectiveness of this approach compared to state-of-the-art techniques that infer poses from single-camera sequences.


title: Searching the SN 1987A SETI Ellipsoid with TESS

abstract: The SETI Ellipsoid is a strategy for technosignature candidate selection which assumes that extraterrestrial civilizations who have observed a galactic-scale event -- such as supernova 1987A -- may use it as a Schelling point to broadcast synchronized signals indicating their presence. Continuous wide-field surveys of the sky offer a powerful new opportunity to look for these signals, compensating for the uncertainty in their estimated time of arrival. We explore sources in the TESS continuous viewing zone, which corresponds to 5% of all TESS data, observed during the first three years of the mission. Using improved 3D locations for stars from Gaia Early Data Release 3, we identified 32 SN 1987A SETI Ellipsoid targets in the TESS continuous viewing zone with uncertainties better than 0.5 ly. We examined the TESS light curves of these stars during the Ellipsoid crossing event and found no anomalous signatures. We discuss ways to expand this methodology to other surveys, more targets, and different potential signal types.


title: Random telegraph processes with non-local memory

abstract: We study two-state (dichotomous, telegraph) random ergodic continuous-time processes with dynamics depending on their past. We take into account the history of process in an explicit form by introducing an integral non-local memory term into the conditional probability function. We start from an expression for the conditional transition probability function describing additive multi-step binary random chain and show that the telegraph processes can be considered as continuous-time interpolations of discrete-time dichotomous random sequences. An equation involving the memory function and the two-point correlation function of the telegraph process is analytically obtained. This integral equation defines the correlation properties of the processes with given memory functions. It also serves as a tool for solving the inverse problem, namely for generation of a telegraph process with a prescribed pair correlation function. We obtain analytically the correlation functions of the telegraph processes with two exactly solvable examples of memory functions and support these results by numerical simulations of the corresponding telegraph processes.


title: Robustness to Subpopulation Shift with Domain Label Noise via Regularized Annotation of Domains

abstract: Existing methods for last layer retraining that aim to optimize worst-group accuracy (WGA) rely heavily on well-annotated groups in the training data. We show, both in theory and practice, that annotation-based data augmentations using either downsampling or upweighting for WGA are susceptible to domain annotation noise, and in high-noise regimes approach the WGA of a model trained with vanilla empirical risk minimization. We introduce Regularized Annotation of Domains (RAD) in order to train robust last layer classifiers without the need for explicit domain annotations. Our results show that RAD is competitive with other recently proposed domain annotation-free techniques. Most importantly, RAD outperforms state-of-the-art annotation-reliant methods even with only 5% noise in the training data for several publicly available datasets.


title: Surpassing legacy approaches and human intelligence with hybrid single- and multi-objective Reinforcement Learning-based optimization and interpretable AI to enable the economic operation of the US nuclear fleet

abstract: The nuclear sector represents the primary source of carbon-free energy in the United States. Nevertheless, existing nuclear power plants face the threat of early shutdowns due to their inability to compete economically against alternatives such as gas power plants. Optimizing the fuel cycle cost through the optimization of core loading patterns is one approach to addressing this lack of competitiveness. However, this optimization task involves multiple objectives and constraints, resulting in a vast number of candidate solutions that cannot be explicitly solved. While stochastic optimization (SO) methodologies are utilized by various nuclear utilities and vendors for fuel cycle reload design, manual design remains the preferred approach. To advance the state-of-the-art in core reload patterns, we have developed methods based on Deep Reinforcement Learning. Previous research has laid the groundwork for this approach and demonstrated its ability to discover high-quality patterns within a reasonable timeframe. However, there is a need for comparison against legacy methods to demonstrate its utility in a single-objective setting. While RL methods have shown superiority in multi-objective settings, they have not yet been applied to address the competitiveness issue effectively. In this paper, we rigorously compare our RL-based approach against the most commonly used SO-based methods, namely Genetic Algorithm (GA), Simulated Annealing (SA), and Tabu Search (TS). Subsequently, we introduce a new hybrid paradigm to devise innovative designs, resulting in economic gains ranging from 2.8 to 3.3 million dollars per year per plant. This development leverages interpretable AI, enabling improved algorithmic efficiency by making black-box optimizations interpretable. Future work will focus on scaling this method to address a broader range of core designs.


title: How good are my search strings? Reflections on using an existing review as a quasi-gold standard

abstract: Background: Systematic literature studies (SLS) have become a core research methodology in Evidence-based Software Engineering (EBSE). Search completeness, ie, finding all relevant papers on the topic of interest, has been recognized as one of the most commonly discussed validity issues of SLSs. Aim: This study aims at raising awareness on the issues related to search string construction and on search validation using a quasi-gold standard (QGS). Furthermore, we aim at providing guidelines for search string validation. Method: We use a recently completed tertiary study as a case and complement our findings with the observations from other researchers studying and advancing EBSE. Results: We found that the issue of assessing QGS quality has not seen much attention in the literature, and the validation of automated searches in SLSs could be improved. Hence, we propose to extend the current search validation approach by the additional analysis step of the automated search validation results and provide recommendations for the QGS construction. Conclusion: In this paper, we report on new issues which could affect search completeness in SLSs. Furthermore, the proposed guideline and recommendations could help researchers implement a more reliable search strategy in their SLSs.


title: Non-transverse Electromagnetic fields in micro and nano fibers

abstract: We present an analytical and numerical study of electromagnetic modes in micro and nano fibers (MNFs) where the electric and magnetic fields of the modes are not necessarily orthogonal to each other. We first investigate these modes for different fiber structures including photonic crystal fibers. We then discuss two specific applications of these modes: (1) Generation of hypothetical axions that are coupled to the electromagnetic fields through the dot product of electric and magnetic fields of a mode, $\vec{E} \cdot \vec{B}$, and (2) a new type of optical traps (optical tweezers) for chiral atoms with magneto-electric cross coupling, where the confining potential again is proportional to $\vec{E} \cdot \vec{B}$


title: Non-Linear Stability of Spherical Systems in MOND

abstract: We prove the non-linear stability of a large class of spherically symmetric equilibrium solutions of both the collisonless Boltzmann equation and of the Euler equations in MOND. This is the first such stability result that is proven with mathematical rigour in MOND. While we strive to prove our stability theorems, we develop new, genuinely Mondian ideas how arising mathematical difficulties can be solved. At some points it was necessary to restrict our analysis to spherical symmetry. We discuss every point where this extra assumption was necessary and outline which efforts must be undertaken to get along without it in future works. In the end we show on the example of a polytropic model how our stability result can be applied.


title: Star-Forest Decompositions of Complete Graphs

abstract: We deal with the problem of decomposing a complete geometric graph into plane star-forests. In particular, we disprove a recent conjecture by Pach, Saghafian and Schnider by constructing for each $n$ a complete geometric graph on $n$ vertices which can be decomposed into $\frac{n}{2}+1$ plane star-forests. Additionally we prove that for even $n$, every decomposition of complete abstract graph on $n$ vertices into $\frac{n}{2}+1$ star-forests is composed of a perfect matching and $\frac{n}{2}$ star-forests with two edge-balanced components, which we call broken double stars.


title: Standardization of chemically selective atomic force microscopy for metal-oxide surfaces

abstract: The complex atomic structures and defects of metal-oxide surfaces are vital for a variety of applications in material science and chemistry. While scanning probe microscopy allows accessing atomic-scale structures in real space, elemental discrimination and defect characterization usually rely on indirect assumptions and extensive theoretical modelling. By investigating a variety of different sample systems with increasing structural complexity and inherent defects, we demonstrate that noncontact atomic force microscopy with an O-terminated copper tip allows imaging metal-oxide surfaces with a clear elemental contrast. This universal approach provides not only immediate access to the metal- and oxygen sub-lattices, but also to the chemical and structural configuration of atomic-scale defect structures. The observed contrast can be explained by purely electrostatic interactions between the negatively charged tip apex and the strongly varying electrostatic potential between metal- and oxygen surface sites. These results offer a standardized methodology for the direct structural characterization of even most-complex metal-oxide surfaces, which is highly relevant for a fundamental understanding of atomic-scale processes on these material systems.


title: Generation of heralded vector-polarized single photons in remotely controlled topological classes

abstract: We demonstrate an experimental protocol for the preparation and control of heralded single photons in inhomogeneously polarized states, such as Vector Vortex and Full Poincar\'e beam states. A laser beam is shaped by a voltage-controlled spin-to-orbital angular momentum converter q-plate device which eliminates the need for an interferometer for the robust preparation of high-quality inhomogeneously polarized beams. Such a beam is then used as pump in a spontaneous parametric downconversion (SPDC) photon-pair source. We demonstrate the full pump to heralded single photon transfer of the intensity/phase distributions, as well as of the vector polarization structure. Additionally, we show that by controlling the polarization to which the heralding idler photon is projected before detection, we can toggle between the direct and basis-switched pump-single photon transfer. We show that this non-local control of the heralded single photon pertains also to the topological class of the resulting heralded single photon. We believe that our work will lead to new opportunities in photons-based quantum information processing science.


title: A Low-Dissipation and Scalable GEMM Accelerator with Silicon Nitride Photonics

abstract: Over the past few years, several microring resonator (MRR)-based analog photonic architectures have been proposed to accelerate general matrix-matrix multiplications (GEMMs), which are found in abundance in deep learning workloads.These architectures have dramatically grown in popularity because they offer exceptional throughput and energy efficiency compared to their electronic counterparts. However, such architectures, due to their traditional realization based on the silicon-on-insulator (SOI) material platform, face two shortcomings. First, the high-index contrast of the SOI platform incurs high scattering losses, which mandates the provisioning of high optical input power.Second, SOI waveguides are susceptible to two-photon absorption, which can incur substantial optical signal losses at moderate-to-high signal fan-in. These shortcomings have severely detrimental effects on the achievable parallelism, throughput, and energy efficiency of SOI MRR-based GEMM accelerators. To address these shortcomings, we present a novel Silicon Nitride (SiN)-Based Photonic GEMM Accelerator called SiNPhAR. SiNPhAR architecture employs SiN-based active and passive devices to implement analog GEMM functions. Since the SiN material exhibits lower index contrast and no TPA, the optical signal losses in our SiNPhAR architecture are very low. This advantage significantly enhances the achievable processing parallelism, throughput, and energy efficiency of SiNPhAR architecture, compared to SOI-based photonic GEMM accelerators from prior work. We quantify and compare these benefits of SiNPhAR architecture via our cross-layer evaluation for a benchmark workload comprising four modern deep neural network models. From the system-level performance analysis, SiNPhAR demonstrates at least 1.7x better throughput FPS while consuming at least 2.8x better energy efficiency (FPS/W) than prior SOI-based GEMM accelerators.


title: Towards identifying and minimizing customer-facing documentation debt

abstract: Software documentation often struggles to catch up with the pace of software evolution. The lack of correct, complete, and up-to-date documentation results in an increasing number of documentation defects which could introduce delays in integrating software systems. In our previous study on a bug analysis tool called MultiDimEr, we provided evidence that documentation-related defects contribute to many bug reports. First, we want to identify documentation defect types contributing to documentation defects, thereby identifying documentation debt. Secondly, we aim to find pragmatic solutions to minimize most common documentation defects to pay off the documentation debt in the long run. We investigated documentation defects related to an industrial software system. First, we looked at different documentation types and associated bug reports. We categorized the defects according to an existing documentation defect taxonomy. Based on a sample of 101 defects, we found that most defects are caused by documentation defects falling into the Information Content (What) category (86). Within this category, the documentation defect types Erroneous code examples (23), Missing documentation (35), and Outdated content (19) contributed to most of the documentation defects. We propose to adapt two solutions to mitigate these types of documentation defects. In practice, documentation debt can easily go undetected since a large share of resources and focus is dedicated to delivering high-quality software. We suggest adapting two main solutions to tackle documentation debt by implementing (i) Dynamic Documentation Generation (DDG) and/or (ii) Automated Documentation Testing (ADT), which are both based on defining a single and robust information source for documentation.


title: Minimal Subgroups of ${\rm GL}_2(\mathbb{Z}_{S})$

abstract: Let $E$ be an elliptic curve over a number field $L$ and for a finite set $S$ of primes, let $\rho_{E,S} : {\rm Gal}(\overline{L}/L) \to {\rm GL}_{2}(\mathbb{Z}_{S})$ be the $S$-adic Galois representation. If $L \cap \mathbb{Q}(\zeta_{n}) = \mathbb{Q}$ for all positive integers $n$ whose prime factors are in $S$, then $\det \rho_{E,S} : {\rm Gal}(\overline{L}/L) \to \mathbb{Z}_{S}^{\times}$ is surjective. We say that a finite index subgroup $H \subseteq {\rm GL}_{2}(\mathbb{Z}_{S})$ is \emph{minimal} if $\det : H \to \mathbb{Z}_{S}^{\times}$ is surjective, but $\det : K \to \mathbb{Z}_{S}^{\times}$ is not surjective for any proper closed subgroup $K$ of $H$. We show that there are no minimal subgroups of ${\rm GL}_{2}(\mathbb{Z}_{S})$ unless $S = \{ 2 \}$, while minimal subgroups of ${\rm GL}_{2}(\mathbb{Z}_{2})$ are plentiful. We give models for all the genus $0$ modular curves associated to minimal subgroups of ${\rm GL}_{2}(\mathbb{Z}_{2})$, and construct an infinite family of elliptic curves over imaginary quadratic fields with bad reduction only at $2$ and with minimal $2$-adic image.


title: Adaptive Constellation Multiple Access for Beyond 5G Wireless Systems

abstract: We propose a novel nonorthogonal multiple access (NOMA) scheme referred as adaptive constellation multiple access (ACMA) which addresses key limitations of existing NOMA schemes for beyond 5G wireless systems. Unlike the latter, that are often constrained in choices of allocation of power, modulations and phases to allow enough separation of clusters from users combined signals, ACMA is power, modulation and phase agnostic forming unified constellations instead where distances of all possible neighbouring points are optimized. It includes an algorithm at basestation (BS) calculating phase offsets for users signals such that, when combined, it gives best minimum Euclidean distance of points from all possibilities. The BS adaptively changes the phase offsets whenever system parameters change. We also propose an enhanced receiver using a modified maximum likelihood (MML) method that dynamically exploits information from the BS to blindly estimate correct phase offsets and exploit them to enhance data rate and error performances. Superiority of this scheme, which may also be referred to as AC NOMA, is verified through extensive analyses and simulations.


title: Large Language Models Fall Short: Understanding Complex Relationships in Detective Narratives

abstract: Existing datasets for narrative understanding often fail to represent the complexity and uncertainty of relationships in real-life social scenarios. To address this gap, we introduce a new benchmark, Conan, designed for extracting and analysing intricate character relation graphs from detective narratives. Specifically, we designed hierarchical relationship categories and manually extracted and annotated role-oriented relationships from the perspectives of various characters, incorporating both public relationships known to most characters and secret ones known to only a few. Our experiments with advanced Large Language Models (LLMs) like GPT-3.5, GPT-4, and Llama2 reveal their limitations in inferencing complex relationships and handling longer narratives. The combination of the Conan dataset and our pipeline strategy is geared towards understanding the ability of LLMs to comprehend nuanced relational dynamics in narrative contexts.


title: Building Trees for Probabilistic Prediction via Scoring Rules

abstract: Decision trees built with data remain in widespread use for nonparametric prediction. Predicting probability distributions is preferred over point predictions when uncertainty plays a prominent role in analysis and decision-making. We study modifying a tree to produce nonparametric predictive distributions. We find the standard method for building trees may not result in good predictive distributions and propose changing the splitting criteria for trees to one based on proper scoring rules. Analysis of both simulated data and several real datasets demonstrates that using these new splitting criteria results in trees with improved predictive properties considering the entire predictive distribution.


title: Well-posedness and propagation of chaos for McKean-Vlasov stochastic variational inequalities

abstract: In this paper, we study a broad class of McKean-Vlasov stochastic variational inequalities (MVSVIs), where both the drift coefficient $b$ and the diffusion coefficient $\sigma$ depend on time $t$, the state $X_t$ and its distribution $\mu_t$. We establish the strong well-posedness, when $b$ is superlinear growth and locally Lipschitz continuous, and $\sigma$ is locally H\"older continuous, both with respect to $X_t$ and $\mu_t$. Additionally, we present the first propagation of chaos result for MVSVIs.


title: Resource Allocation in Mobile Networks: A Decision Model Of Jockeying in Queues

abstract: Use-case-specific network slicing in decentralized multi-tenancy cloud environments is a promising approach to bridge the gap between the demand and supply of resources in next-generation communication networks. Our findings associate different slice profiles to queues in a multi-server setting, such that tenants continuously assess their preferences and make rational decisions to minimize the queuing delay. Deviated from classical approaches that statistically model the jockeying phenomena in queuing systems, our work pioneers to setup a behavioral model of jockeying impatient tenants. This will serve as a basis for decentralized management of multi-queue systems, where the decision to jockey is individually made by each tenant upon its up-to-date assessment of expected waiting time. Additionally, we carry out numerical simulations to empirically unravel the parametric dependencies of the tenants' jockeying behavior.


title: Gradients of brain organization: Smooth sailing from methods development to user community

abstract: Multimodal neuroimaging grants a powerful in vivo window into the structure and function of the human brain. Recent methodological and conceptual advances have enabled investigations of the interplay between large-scale spatial trends, or gradients, in brain structure and function, offering a framework to unify principles of brain organization across multiple scales. Strong community enthusiasm for these techniques has been instrumental in their widespread adoption and implementation to answer key questions in neuroscience. Following a brief review of current literature on this framework, this perspective paper will highlight how pragmatic steps aiming to make gradient methods more accessible to the community propelled these techniques to the forefront of neuroscientific inquiry. More specifically, we will emphasize how interest for gradient methods was catalyzed by data sharing, open-source software development, as well as the organization of dedicated workshops led by a diverse team of early career researchers. To this end, we argue that the growing excitement for brain gradients is the result of coordinated and consistent efforts to build an inclusive community and can serve as a case in point for future innovations and conceptual advances in neuroinformatics. We close this perspective paper by discussing challenges for the continuous refinement of neuroscientific theory, methodological innovation, and real-world translation to maintain our collective progress towards integrated models of brain organization.


title: Enhancing a Many-body Dipolar Rydberg Tweezer Array with Arbitrary Local Controls

abstract: We implement and characterize a protocol that enables arbitrary local controls in a dipolar atom array, where the degree of freedom is encoded in a pair of Rydberg states. Our approach relies on a combination of local addressing beams and global microwave fields. Using this method, we directly prepare two different types of three-atom entangled states, including a W-state and a state exhibiting finite chirality. We verify the nature of the underlying entanglement by performing quantum state tomography. Finally, leveraging our ability to measure multi-basis, multi-body observables, we explore the adiabatic preparation of low-energy states in a frustrated geometry consisting of a pair of triangular plaquettes. By using local addressing to tune the symmetry of the initial state, we demonstrate the ability to prepare correlated states distinguished only by correlations of their chirality (a fundamentally six-body observable). Our protocol is generic, allowing for rotations on arbitrary subgroups of atoms within the array at arbitrary times during the experiment; this extends the scope of capabilities for quantum simulations of the dipolar XY model.


title: Are you Struggling? Dataset and Baselines for Struggle Determination in Assembly Videos

abstract: Determining when people are struggling from video enables a finer-grained understanding of actions and opens opportunities for building intelligent support visual interfaces. In this paper, we present a new dataset with three assembly activities and corresponding performance baselines for the determination of struggle from video. Three real-world problem-solving activities including assembling plumbing pipes (Pipes-Struggle), pitching camping tents (Tent-Struggle) and solving the Tower of Hanoi puzzle (Tower-Struggle) are introduced. Video segments were scored w.r.t. the level of struggle as perceived by annotators using a forced choice 4-point scale. Each video segment was annotated by a single expert annotator in addition to crowd-sourced annotations. The dataset is the first struggle annotation dataset and contains 5.1 hours of video and 725,100 frames from 73 participants in total. We evaluate three decision-making tasks: struggle classification, struggle level regression, and struggle label distribution learning. We provide baseline results for each of the tasks utilising several mainstream deep neural networks, along with an ablation study and visualisation of results. Our work is motivated toward assistive systems that analyze struggle, support users during manual activities and encourage learning, as well as other video understanding competencies.


title: II-MMR: Identifying and Improving Multi-modal Multi-hop Reasoning in Visual Question Answering

abstract: Visual Question Answering (VQA) often involves diverse reasoning scenarios across Vision and Language (V&L). Most prior VQA studies, however, have merely focused on assessing the model's overall accuracy without evaluating it on different reasoning cases. Furthermore, some recent works observe that conventional Chain-of-Thought (CoT) prompting fails to generate effective reasoning for VQA, especially for complex scenarios requiring multi-hop reasoning. In this paper, we propose II-MMR, a novel idea to identify and improve multi-modal multi-hop reasoning in VQA. In specific, II-MMR takes a VQA question with an image and finds a reasoning path to reach its answer using two novel language promptings: (i) answer prediction-guided CoT prompt, or (ii) knowledge triplet-guided prompt. II-MMR then analyzes this path to identify different reasoning cases in current VQA benchmarks by estimating how many hops and what types (i.e., visual or beyond-visual) of reasoning are required to answer the question. On popular benchmarks including GQA and A-OKVQA, II-MMR observes that most of their VQA questions are easy to answer, simply demanding "single-hop" reasoning, whereas only a few questions require "multi-hop" reasoning. Moreover, while the recent V&L model struggles with such complex multi-hop reasoning questions even using the traditional CoT method, II-MMR shows its effectiveness across all reasoning cases in both zero-shot and fine-tuning settings.


title: Non-self-touching paths in plane graphs

abstract: A path in a graph $G$ is called non-self-touching if two vertices are neighbours in the path if and only if they are neighbours in the graph. We investigate the existence of doubly infinite non-self-touching paths in infinite plane graphs. The matching graph $G_*$ of an infinite plane graph $G$ is obtained by adding all diagonals to all faces, and it plays an important role in the theory of site percolation on $G$. The main result of this paper is a necessary and sufficient condition on $G$ for the existence of a doubly infinite non-self-touching path in $G_*$ that traverses some diagonal. This is a key step in proving, for quasi-transitive $G$, that the critical points of site percolation on $G$ and $G_*$ satisfy the strict inequality $p_c(G_*) < p_c(G)$, and it complements the earlier result of Grimmett and Li (Percolation critical points of matching lattice pairs, arXiv:2205.02734), proved by different methods, concerning the case of transitive graphs. Furthermore it implies, for quasi-transitive graphs, that $p_u(G) + p_c(G) \ge 1$, with equality if and only if the graph $G_\Delta$, obtained from $G$ by emptying all separating triangles, is a triangulation. Here, $p_u$ is the critical probability for the existence of a unique infinite open cluster.


title: Persona-DB: Efficient Large Language Model Personalization for Response Prediction with Collaborative Data Refinement

abstract: The increasing demand for personalized interactions with large language models (LLMs) calls for the development of methodologies capable of accurately and efficiently identifying user opinions and preferences. Retrieval augmentation emerges as an effective strategy, as it can accommodate a vast number of users without the costs from fine-tuning. Existing research, however, has largely focused on enhancing the retrieval stage and devoted limited exploration toward optimizing the representation of the database, a crucial aspect for tasks such as personalization. In this work, we examine the problem from a novel angle, focusing on how data can be better represented for more efficient retrieval in the context of LLM customization. To tackle this challenge, we introduce Persona-DB, a simple yet effective framework consisting of a hierarchical construction process to improve generalization across task contexts and collaborative refinement to effectively bridge knowledge gaps among users. In the task of response forecasting, Persona-DB demonstrates superior efficiency in maintaining accuracy with a significantly reduced retrieval size, a critical advantage in scenarios with extensive histories or limited context windows. Our experiments also indicate a marked improvement of over 15% under cold-start scenarios, when users have extremely sparse data. Furthermore, our analysis reveals the increasing importance of collaborative knowledge as the retrieval capacity expands.


title: Chronicles of jockeying in queuing systems

abstract: The relevance of studies in queuing theory in social systems has inspired its adoption in other mainstream technologies with its application in distributed and communication systems becoming an intense research domain. Considerable work has been done regarding the application of the impatient queuing phenomenon in distributed computing to achieve optimal resource sharing and allocation for performance improvement. Generally, there are two types of common impatient queuing behaviour that have been well studied, namely balking and reneging, respectively. In this survey, we are interested in the third type of impatience: jockeying, a phenomenon that draws origins from impatient customers switching from one queue to another. This survey chronicles classical and latest efforts that labor to model and exploit the jockeying behaviour in queuing systems, with a special focus on those related to information and communication systems, especially in the context of Multi-Access Edge Computing. We comparatively summarize the reviewed literature regarding their methodologies, invoked models, and use cases.


title: Absorption and Self-Absorption of [C II] and [O I] Far Infrared Lines Towards a Bright Bubble in the Nessie Infrared Dark Cloud

abstract: Using the upGREAT instrument on SOFIA, we have imaged [C II] 157.74 and [O I] 63.18 micron line emission from a bright photodissociation region (PDR) associated with an ionized ``bubble'' located in the Nessie Nebula, a filamentary infrared dark cloud. A comparison with ATCA data reveals a classic PDR structure, with a uniform progression from ionized gas, to photodissociated gas, and on to molecular gas from the bubble's interior to its exterior. [O I] line emission from the bubble's PDR reveals self-absorption features. Toward a FIR-bright protostar, both [O I] and [C II] show an absorption feature at a velocity of $-18$ km/s, the same velocity as an unrelated foreground molecular cloud. Since the gas density in typical molecular clouds is well below the [O I] and [C II] critical densities, the excitation temperatures for both lines are low (~20 K). The Meudon models demonstrate that the surface of a molecular cloud, externally illuminated by a standard G_0 = 1 interstellar radiation field, can produce absorption features in both transitions. Thus, the commonly observed [O I] and [C II] self-absorption and absorption features plausibly arise from the subthermally excited, externally illuminated, photodissociated envelopes of molecular clouds. The luminous young stellar object AGAL337.916-00.477, located precisely where the expanding bubble strikes the Nessie filament, is associated with two shock tracers: NH3 (3,3) maser emission and SiO 2-1 emission, indicating interaction between the bubble and the filament. The interaction of the expanding bubble with its parental dense filament has triggered star formation.


title: Experimental control of Tollmien-Schlichting waves using the Wiener-Hopf formalism

abstract: Reactive flow control has been shown as a promising tool to improve, among other aspects, the aerodynamic characteristics of an aircraft. This paper focuses on the use of reactive flow control to attenuate Tollmien-Schlichting (TS) waves over a wing profile. TS waves are an instability mechanism that is one of the first stages of boundary layer transition to turbulence. The Wiener-Hopf technique was used in this work for the experimental boundary layer control. The approach improves previous wave-cancellation techniques that, by constructing control kernels in the frequency domain, lead to control kernels with a non-causal part, i.e., actuation would need future sensor information to be constructed. In practical applications, it is unfeasible to access this type of information. Ignoring the non-causal part of the kernel leads to suboptimal solutions that might significantly degrade the performance of the controller. The Wiener-Hopf formalism allows us to take into account causality constraints in the formulation of the control problem, leading to an optimal realistic solution and a control kernel that is causal by construction. Moreover, it is possible to construct the control strategy based only on the power and cross-spectra obtained experimentally, in a data-driven approach. The present work shows how to apply experimentally the Wiener-Hopf resolvent-based formalism using signals from a wind tunnel experiment, demonstrating that the Tollmien-Schlichting waves can be effectively attenuated via a Wiener-Hopf based controller, which yielded better results than a typical wave-cancellation approach.


title: Kolmogorov widths of a Sobolev class with restrictions on the derivatives in different metrics

abstract: In this paper, we obtain order estimates for the Kolmogorov widths of periodic Sobolev classes with restictions on derivatives of order $r_j$ with respect to $j$th variable in metrics $L_{p_j}$ ($1\le j\le d$).


title: Atom interferometer as a freely falling clock for time-dilation measurements

abstract: Light-pulse atom interferometers based on single-photon transitions are a promising tool for gravitational-wave detection in the mid-frequency band and the search for ultralight dark-matter fields. Here we present a novel measurement scheme that enables their use as freely falling clocks directly measuring relativistic time-dilation effects. The proposal is particularly timely because it can be implemented with no additional requirements in Fermilab's MAGIS-100 experiment or even in the 10-m prototypes that are expected to start operating very soon. This will allow the unprecedented measurement of gravitational time dilation in a local experiment with freely falling atoms, which is out of reach even for the best atomic-fountain clocks based on microwave transitions. The results are supported by a comprehensive treatment of relativistic effects in this kind of interferometers as well as a detailed analysis of the main systematic effects. Furthermore, the theoretical methods developed here constitute a valuable tool for modelling light-pulse atom interferometers based on single-photon transitions in general.


title: Towards Financially Inclusive Credit Products Through Financial Time Series Clustering

abstract: Financial inclusion ensures that individuals have access to financial products and services that meet their needs. As a key contributing factor to economic growth and investment opportunity, financial inclusion increases consumer spending and consequently business development. It has been shown that institutions are more profitable when they provide marginalised social groups access to financial services. Customer segmentation based on consumer transaction data is a well-known strategy used to promote financial inclusion. While the required data is available to modern institutions, the challenge remains that segment annotations are usually difficult and/or expensive to obtain. This prevents the usage of time series classification models for customer segmentation based on domain expert knowledge. As a result, clustering is an attractive alternative to partition customers into homogeneous groups based on the spending behaviour encoded within their transaction data. In this paper, we present a solution to one of the key challenges preventing modern financial institutions from providing financially inclusive credit, savings and insurance products: the inability to understand consumer financial behaviour, and hence risk, without the introduction of restrictive conventional credit scoring techniques. We present a novel time series clustering algorithm that allows institutions to understand the financial behaviour of their customers. This enables unique product offerings to be provided based on the needs of the customer, without reliance on restrictive credit practices.


title: On Segal entropy

abstract: The paper is devoted to the investigation of Segal's entropy in semifinite von Neumann algebras. The following questions are dealt with: semicontinuity, the 'ideal-like' structure of the linear span of the set of operators with finite entropy, and topological properties of the set of operators with finite as well as infinite entropy. In our analysis, full generality is aimed at, in particular, the operators for which the entropy is considered are not assumed to belong to the underlying von Neumann algebra, instead, they are arbitrary positive elements in the space $L^1$ over the algebra.


title: Bridging Causal Discovery and Large Language Models: A Comprehensive Survey of Integrative Approaches and Future Directions

abstract: Causal discovery (CD) and Large Language Models (LLMs) represent two emerging fields of study with significant implications for artificial intelligence. Despite their distinct origins, CD focuses on uncovering cause-effect relationships from data, and LLMs on processing and generating humanlike text, the convergence of these domains offers novel insights and methodologies for understanding complex systems. This paper presents a comprehensive survey of the integration of LLMs, such as GPT4, into CD tasks. We systematically review and compare existing approaches that leverage LLMs for various CD tasks and highlight their innovative use of metadata and natural language to infer causal structures. Our analysis reveals the strengths and potential of LLMs in both enhancing traditional CD methods and as an imperfect expert, alongside the challenges and limitations inherent in current practices. Furthermore, we identify gaps in the literature and propose future research directions aimed at harnessing the full potential of LLMs in causality research. To our knowledge, this is the first survey to offer a unified and detailed examination of the synergy between LLMs and CD, setting the stage for future advancements in the field.


title: Ricci flow on Courant algebroids

abstract: We develop a theory of Ricci flow for metrics on Courant algebroids which unifies and extends the analytic theory of various geometric flows, yielding a general tool for constructing solutions to supergravity equations. We prove short time existence and uniqueness of solutions on compact manifolds, in turn showing that the Courant isometry group is preserved by the flow. We show a scalar curvature monotonicity formula and prove that generalized Ricci flow is a gradient flow, extending fundamental works of Hamilton and Perelman. Using these we show a convergence result for certain nonsingular solutions to generalized Ricci flow.


title: Scalable Analysis of Bipartite Experiments

abstract: Bipartite Experiments are randomized experiments where the treatment is applied to a set of units (randomization units) that is different from the units of analysis, and randomization units and analysis units are connected through a bipartite graph. The scale of experimentation at large online platforms necessitates both accurate inference in the presence of a large bipartite interference graph, as well as a highly scalable implementation. In this paper, we describe new methods for inference that enable practical, scalable analysis of bipartite experiments: (1) We propose CA-ERL, a covariate-adjusted variant of the exposure-reweighted-linear (ERL) estimator [9], which empirically yields 60-90% variance reduction. (2) We introduce a randomization-based method for inference and prove asymptotic validity of a Wald-type confidence interval under graph sparsity assumptions. (3) We present a linear-time algorithm for randomization inference of the CA-ERL estimator, which can be easily implemented in query engines like Presto or Spark. We evaluate our methods both on a real experiment at Meta that randomized treatment on Facebook Groups and analyzed user-level metrics, as well as simulations on synthetic data. The real-world data shows that our CA-ERL estimator reduces the confidence interval (CI) width by 60-90% (compared to ERL) in a practical setting. The simulations using synthetic data show that our randomization inference procedure achieves correct coverage across instances, while the ERL estimator has incorrectly small CI widths for instances with large true effect sizes and is overly conservative when the bipartite graph is dense.


title: Fisher-Riemann geometry for nonparametric probability densities

abstract: In this article we aim to obtain the Fisher Riemann geodesics for nonparametric families of probability densities as a weak limit of the parametric case with increasing number of parameters.


title: Awareness of self-control

abstract: Economists modeled self-control problems in decisions of people with the time-inconsistence preferences model. They argued that the source of self-control problems could be uncertainty and temptation. This paper uses an experimental test offered to individuals instantaneous reward and future rewards to measure awareness of self-control problems in a tempting condition and also measure the effect of commitment and flexibility cost on their welfare. The quasi-hyperbolic discounting model with time discount factor and present bias at the same time was used for making a model for measuring awareness and choice reversal conditions. The test showed 66% awareness of self-control (partially naive behaviors) in individuals. The welfare implication for individuals increased with commitment and flexibility costs. The result can be useful in marketing and policy-making fields design precisely offers for customers and society.


title: AFaCTA: Assisting the Annotation of Factual Claim Detection with Reliable LLM Annotators

abstract: With the rise of generative AI, automated fact-checking methods to combat misinformation are becoming more and more important. However, factual claim detection, the first step in a fact-checking pipeline, suffers from two key issues that limit its scalability and generalizability: (1) inconsistency in definitions of the task and what a claim is, and (2) the high cost of manual annotation. To address (1), we review the definitions in related work and propose a unifying definition of factual claims that focuses on verifiability. To address (2), we introduce AFaCTA (Automatic Factual Claim deTection Annotator), a novel framework that assists in the annotation of factual claims with the help of large language models (LLMs). AFaCTA calibrates its annotation confidence with consistency along three predefined reasoning paths. Extensive evaluation and experiments in the domain of political speech reveal that AFaCTA can efficiently assist experts in annotating factual claims and training high-quality classifiers, and can work with or without expert supervision. Our analyses also result in PoliClaim, a comprehensive claim detection dataset spanning diverse political topics.


title: On the classification of skew Hadamard matrices of order 36 and related structures

abstract: Two skew Hadamard matrices are considered {\sf SH}-equivalent if they are similar by a signed permutation matrix. This paper determines the number of {\sf SH}-inequivalent skew Hadamard matrices of order $36$ for some types. We also study ternary self-dual codes and association schemes constructed from the skew Hadamard matrices of order $36$.


title: Tailoring Polarization in WSe$_2$ Quantum Emitters through Deterministic Strain Engineering

abstract: Quantum emitters in transition metal dichalcogenides (TMDs) have recently emerged as a promising platform for generating single photons for optical quantum information processing. In this work, we present an approach for deterministically controlling the polarization of fabricated quantum emitters in a tungsten diselenide (WSe$_2$) monolayer. We employ novel nanopillar geometries with long and sharp tips to induce a controlled directional strain in the monolayer, and we report on fabricated WSe$_2$ emitters producing single photons with a high degree of polarization $(99\pm 4 \%)$ and high purity ($g^{(2)}(0) = 0.030 \pm 0.025$). Our work paves the way for the deterministic integration of TMD-based quantum emitters for future photonic quantum technologies.