title: Sulfur X-ray absorption in the local ISM

abstract: We present a study S K-edge using high-resolution HETGS {\it Chandra} spectra of 36 low-mas X-ray binaries. For each source, we have estimated column densities for {\rm S}~{\sc i}, {\rm S}~{\sc ii}, {\rm S}~{\sc iii}, {\rm S}~{\sc xiv}, {\rm S}~{\sc xv} and {\rm S}~{\sc xvi} ionic species, which trace the neutral, warm and hot phases of the Galactic interstellar medium. We also estimated column densities for a sample of interstellar dust analogs. We measured their distribution as a function of Galactic latitude, longitude, and distances to the sources. While the cold-warm column densities tend to decrease with the Galactic latitude, we found no correlation with distances or Galactic longitude. This is the first detailed analysis of the sulfur K-edge absorption due to ISM using high-resolution X-ray spectra.


title: The JWST Early Release Science Program for Direct Observations of Exoplanetary Systems IV: NIRISS Aperture Masking Interferometry Performance and Lessons Learned

abstract: We present a performance analysis for the aperture masking interferometry (AMI) mode on board the James Webb Space Telescope Near Infrared Imager and Slitless Spectrograph (JWST/NIRISS). Thanks to self-calibrating observables, AMI accesses inner working angles down to and even within the classical diffraction limit. The scientific potential of this mode has recently been demonstrated by the Early Release Science (ERS) 1386 program with a deep search for close-in companions in the HIP 65426 exoplanetary system. As part of ERS 1386, we use the same data set to explore the random, static, and calibration errors of NIRISS AMI observables. We compare the observed noise properties and achievable contrast to theoretical predictions. We explore possible sources of calibration errors and show that differences in charge migration between the observations of HIP 65426 and point-spread function calibration stars can account for the achieved contrast curves. Lastly, we use self-calibration tests to demonstrate that with adequate calibration NIRISS F380M AMI can reach contrast levels of $\sim9-10$ mag at $\gtrsim \lambda/D$. These tests lead us to observation planning recommendations and strongly motivate future studies aimed at producing sophisticated calibration strategies taking these systematic effects into account. This will unlock the unprecedented capabilities of JWST/NIRISS AMI, with sensitivity to significantly colder, lower-mass exoplanets than lower-contrast ground-based AMI setups, at orbital separations inaccessible to JWST coronagraphy.


title: A Possible Third Body in the X-Ray System GRS 1747-312 and Models with Higher-Order Multiplicity

abstract: GRS 1747-312 is a bright Low-Mass X-ray Binary in the globular cluster Terzan 6, located at a distance of 9.5 kpc from the Earth. It exhibits regular outbursts approximately every 4.5 months, during which periodic eclipses are known to occur. These eclipses have only been observed in the outburst phase, and are not clearly seen when the source is quiescent. Recent Chandra observations of the source were performed in June 2019 and April, June, and August of 2021. Two of these observations captured the source during its outburst, and showed clear flux decreases at the expected time of eclipse. The other two observations occurred when the source was quiescent. We present the discovery of a dip that occurred during the quiescent state. The dip is of longer duration and its time of occurrence does not fit the ephemeris of the shorter eclipses. We study the physical characteristics of the dip and determine that it has all the properties of an eclipse by an object with a well defined surface. We find that there are several possibilities for the nature of the object causing the 5.3 ks eclipse. First, GRS 1747-312 may be an X-ray triple, with an LMXB orbited by an outer third object, which could be an M-dwarf, brown dwarf, or planet. Second, there could be two LMXBs in close proximity to each other, likely bound together. Whatever the true nature of the eclipser, its presence suggests that the GRS 1747-312 system is unique.


title: CoMPosT: Characterizing and Evaluating Caricature in LLM Simulations

abstract: Recent work has aimed to capture nuances of human behavior by using LLMs to simulate responses from particular demographics in settings like social science experiments and public opinion surveys. However, there are currently no established ways to discuss or evaluate the quality of such LLM simulations. Moreover, there is growing concern that these LLM simulations are flattened caricatures of the personas that they aim to simulate, failing to capture the multidimensionality of people and perpetuating stereotypes. To bridge these gaps, we present CoMPosT, a framework to characterize LLM simulations using four dimensions: Context, Model, Persona, and Topic. We use this framework to measure open-ended LLM simulations' susceptibility to caricature, defined via two criteria: individuation and exaggeration. We evaluate the level of caricature in scenarios from existing work on LLM simulations. We find that for GPT-4, simulations of certain demographics (political and marginalized groups) and topics (general, uncontroversial) are highly susceptible to caricature.


title: Modeling Post-Reionization HI Distributions in Fuzzy Dark Matter Cosmologies Using Conditional Normalizing Flows

abstract: Upcoming 21 cm intensity mapping experiments like the Square Kilometer Array (SKA) hold significant potential to constrain the properties of dark matter. In this work, we model neutral hydrogen (HI) distributions using high-resolution hydrodynamical $N$-body simulations of both cold dark matter (CDM) and fuzzy dark matter (FDM) cosmologies in the post-reionization redshift range of $z=3.42-4.94$. We show that the HI abundance decreases in FDM-like cosmologies. Extreme FDM models with $m\sim 10^{-22}$ eV are at odds with a range of measurements. Due to the increased halo bias, the HI bias increases, paralleled by the damped Lyman-$\alpha$ (DLA) bias which we infer from the cross-section of DLAs. The distribution of the latter in extreme FDM models has a high median at the low-mass end, which can be traced to the high column density of cosmic filaments. FDM models exhibit a very similar abundance of DLAs compared to CDM while sub-DLAs are already less abundant. We study the prospects of detecting the brightest HI peaks with SKA1-Low at $z=4.94$, indicating moderate signal-to-noise ratios (SNR) at angular resolution $\theta_A = 2^{\prime}$ with a rapidly declining SNR for lower values of $\theta_{A}$. After training the conditional normalizing flow network HIGlow on 2D HI maps, we interpolate its latent space of axion masses to predict the peak flux for a new, synthetic FDM cosmology, finding good agreement with expectations. This work thus underscores the potential of normalizing flows in capturing complex, non-linear structures within HI maps, offering a versatile tool for conditional sample generation and prediction tasks.


title: How many stars form in galaxy mergers?

abstract: We forward model the difference in stellar age between post-coalescence mergers and a control sample with the same stellar mass, environmental density, and redshift. In particular, we use a pure sample of 445 post-coalescence mergers from the recent visually-confirmed post-coalescence merger sample identified by Bickley et al. and find that post-coalescence mergers are on average younger than control galaxies for $10<\log (M_\star/\mathrm{M}_\odot)<11$. The difference in age from matched controls is up to 1.5 Gyr, highest for lower stellar mass galaxies. We forward model this difference using parametric star formation histories, accounting for the pre-coalescence inspiral phase of enhanced star formation using close pair data, and a final additive burst of star formation at coalescence. We find a best-fitting stellar mass burst fraction of $f_\mathrm{burst}=\Delta M_\star/M_{\star,\mathrm{merger}}=0.18 \pm 0.02$ for $10<\log (M_\star/\mathrm{M}_\odot)<11$ galaxies, with no evidence of a trend in stellar mass. The modeled burst fraction is robust to choice of parametric star formation history, as well as differences in burst duration. The result appears consistent with some prior observationally-derived values, but is significantly higher than that found in hydrodynamical simulations. Using published Luminous InfraRed Galaxy (LIRG) star formation rates, we find a burst duration increasing with stellar mass, from $120-250$ Myr. A comparison to published cold gas measurements indicates there is enough molecular gas available in very close pairs to fuel the burst. Additionally, given our stellar mass burst estimate, the predicted cold gas fraction remaining after the burst is consistent with observed post-coalescence mergers.


title: 2D chemical evolution models II. Effects of multiple spiral arm patterns on O, Eu, Fe and Ba abundance gradients

abstract: According to observations and numerical simulations, the Milky Way could exhibit several spiral arm modes with multiple pattern speeds, wherein the slower patterns are located at larger Galactocentric distances. Our aim is to quantify the effects of the spiral arms on the azimuthal variations of the chemical abundances for oxygen, iron and for the first time for neutron-capture elements (europium and barium) in the Galactic disc. We assume a model based on multiple spiral arm modes with different pattern speeds. The resulting model represents an updated version of previous 2D chemical evolution models. We apply new analytical prescriptions for the spiral arms in a 2D Galactic disc chemical evolution model, exploring the possibility that the spiral structure is formed by the overlap of chunks with different pattern speeds and spatial extent. The predicted azimuthal variations in abundance gradients are dependent on the considered chemical element. Elements synthesised on short time scales (i.e., oxygen and europium in this study) exhibit larger abundance fluctuations. In fact, for progenitors with short lifetimes, the chemical elements restored into the ISM perfectly trace the star formation perturbed by the passage of the spiral arms. The map of the star formation rate predicted by our chemical evolution model with multiple patterns of spiral arms presents arcs and arms compatible with those revealed by multiple tracers (young upper main sequence stars, Cepheids, and distribution of stars with low radial actions). Finally, our model predictions are in good agreement with the azimuthal variations that emerged from the analysis of Gaia DR3 GSP-Spec [M/H] abundance ratios, if at most recent times the pattern speeds match the Galactic rotational curve at all radii.


title: Showcasing a Barren Plateau Theory Beyond the Dynamical Lie Algebra

abstract: Barren plateaus have emerged as a pivotal challenge for variational quantum computing. Our understanding of this phenomenon underwent a transformative shift with the recent introduction of a Lie algebraic theory capable of explaining most sources of barren plateaus. However, this theory requires either initial states or observables that lie in the circuit's Lie algebra. Focusing on parametrized matchgate circuits, in this work we are able to go beyond this assumption and provide an exact formula for the loss function variance that is valid for arbitrary input states and measurements. Our results reveal that new phenomena emerge when the Lie algebra constraint is relaxed. For instance, we find that the variance does not necessarily vanish inversely with the Lie algebra's dimension. Instead, this measure of expressiveness is replaced by a generalized expressiveness quantity: The dimension of the Lie group modules. By characterizing the operators in these modules as products of Majorana operators, we can introduce a precise notion of generalized globality and show that measuring generalized-global operators leads to barren plateaus. Our work also provides operational meaning to the generalized entanglement as we connect it with known fermionic entanglement measures, and show that it satisfies a monogamy relation. Finally, while parameterized matchgate circuits are not efficiently simulable in general, our results suggest that the structure allowing for trainability may also lead to classical simulability.


title: A Kripke-Lewis semantics for belief update and belief revision

abstract: We provide a new characterization of both belief update and belief revision in terms of a Kripke-Lewis semantics. We consider frames consisting of a set of states, a Kripke belief relation and a Lewis selection function. Adding a valuation to a frame yields a model. Given a model and a state, we identify the initial belief set K with the set of formulas that are believed at that state and we identify either the updated belief set or the revised belief set, prompted by the input represented by formula A, as the set of formulas that are the consequent of conditionals that (1) are believed at that state and (2) have A as antecedent. We show that this class of models characterizes both the Katsuno-Mendelzon (KM) belief update functions and the AGM belief revision functions, in the following sense: (1) each model gives rise to a partial belief function that can be completed into a full KM/AGM update/revision function, and (2) for every KM/AGM update/revision function there is a model whose associated belief function coincides with it. The difference between update and revision can be reduced to two semantic properties that appear in a stronger form in revision relative to update, thus confirming the finding by Peppas et al. (1996) that, "for a fixed theory K, revising K is much the same as updating K"


title: Why do semi-analytic models predict higher scatter in the stellar mass-halo mass relation than cosmological hydrodynamic simulations?

abstract: Semi-analytic models (SAMs) systematically predict higher stellar-mass scatter at a given halo mass than hydrodynamical simulations and most empirical models. Our goal is to investigate the physical origin of this scatter by exploring modifications to the physics in the SAM Dark Sage. We design two black hole formation models that approximate results from the IllustrisTNG 300-1 hydrodynamical simulation. In the first model, we assign a fixed black hole mass of $10^{6}\, \mathrm{M}_{\odot}$ to every halo that reaches $10^{10.5}\, \mathrm{M}_{\odot}$. In the second model, we disregard any black hole growth as implemented in the standard Dark Sage model. Instead, we force all black hole masses to follow the median black hole mass-halo mass relation in IllustrisTNG 300-1 with a fixed scatter. We find that each model on its own does not significantly reduce the scatter in stellar mass. To do this, we replace the native Dark Sage AGN feedback model with a simple model where we turn off cooling for galaxies with black hole masses above $10^{8}\, \mathrm{M}_{\odot}$. With this additional modification, the SMBH seeding and fixed conditional distribution models find a significant reduction in the scatter in stellar mass at halo masses between $10^{11-14}\, \mathrm{M}_{\odot}$. These results suggest that AGN feedback in SAMs acts in a qualitatively different way than feedback implemented in cosmological simulations. Either or both may require substantial modification to match the empirically inferred scatter in the Stellar Mass Halo Mass Relation (SMHMR).


title: The \textit{JWST} Early Release Science Program for Direct Observations of Exoplanetary Systems III: Aperture Masking Interferometric Observations of the star HIP\,65426 at $\boldsymbol{3.8\,\rm{\mu m}}$

abstract: We present aperture masking interferometry (AMI) observations of the star HIP 65426 at $3.8\,\rm{\mu m}$ as a part of the \textit{JWST} Direct Imaging Early Release Science (ERS) program obtained using the Near Infrared Imager and Slitless Spectrograph (NIRISS) instrument. This mode provides access to very small inner working angles (even separations slightly below the Michelson limit of ${}0.5\lambda/D$ for an interferometer), which are inaccessible with the classical inner working angles of the \textit{JWST} coronagraphs. When combined with \textit{JWST}'s unprecedented infrared sensitivity, this mode has the potential to probe a new portion of parameter space across a wide array of astronomical observations. Using this mode, we are able to achieve a contrast of $\Delta m_{F380M}{\sim }7.8$\,mag relative to the host star at a separation of ${\sim}0.07\arcsec$ but detect no additional companions interior to the known companion HIP\,65426\,b. Our observations thus rule out companions more massive than $10{-}12\,\rm{M\textsubscript{Jup}}$ at separations ${\sim}10{-}20\,\rm{au}$ from HIP\,65426, a region out of reach of ground or space-based coronagraphic imaging. These observations confirm that the AMI mode on \textit{JWST} is sensitive to planetary mass companions orbiting at the water frost line, even for more distant stars at $\sim$100\,pc. This result will allow the planning and successful execution of future observations to probe the inner regions of nearby stellar systems, opening essentially unexplored parameter space.


title: Derivations of rings of infinite matrices

abstract: We describe derivations of several important associative and Lie rings of infinite matrices over general rings of coefficients.


title: Observations of Low and Intermediate Spectral Peak Blazars with the Imaging X-ray Polarimetry Explorer

abstract: We present X-ray polarimetry observations from the Imaging X-ray Polarimetry Explorer (IXPE) of three low spectral peak and one intermediate spectral peak blazars, namely 3C 273, 3C 279, 3C 454.3, and S5 0716+714. For none of these objects was IXPE able to detect X-ray polarization at the 3$\sigma$ level. However, we placed upper limits on the polarization degree at $\sim$10-30\%. The undetected polarizations favor models where the X-ray band is dominated by unpolarized photons upscattered by relativistic electrons in the jets of blazars, although hadronic models are not completely eliminated. We discuss the X-ray polarization upper limits in the context of our contemporaneous multiwavelength polarization campaigns.


title: Self-RAG: Learning to Retrieve, Generate, and Critique through Self-Reflection

abstract: Despite their remarkable capabilities, large language models (LLMs) often produce responses containing factual inaccuracies due to their sole reliance on the parametric knowledge they encapsulate. Retrieval-Augmented Generation (RAG), an ad hoc approach that augments LMs with retrieval of relevant knowledge, decreases such issues. However, indiscriminately retrieving and incorporating a fixed number of retrieved passages, regardless of whether retrieval is necessary, or passages are relevant, diminishes LM versatility or can lead to unhelpful response generation. We introduce a new framework called Self-Reflective Retrieval-Augmented Generation (Self-RAG) that enhances an LM's quality and factuality through retrieval and self-reflection. Our framework trains a single arbitrary LM that adaptively retrieves passages on-demand, and generates and reflects on retrieved passages and its own generations using special tokens, called reflection tokens. Generating reflection tokens makes the LM controllable during the inference phase, enabling it to tailor its behavior to diverse task requirements. Experiments show that Self-RAG (7B and 13B parameters) significantly outperforms state-of-the-art LLMs and retrieval-augmented models on a diverse set of tasks. Specifically, Self-RAG outperforms ChatGPT and retrieval-augmented Llama2-chat on Open-domain QA, reasoning and fact verification tasks, and it shows significant gains in improving factuality and citation accuracy for long-form generations relative to these models.


title: Non-geometric BPS branes on T-folds

abstract: We give a detailed (microscopic) description of the geometric and non-geometric fundamental branes and their bound states in Type II superstring compactifications preserving N=6 supersymmetry. We consider general boundary states that couple to the twisted sector and compute the relevant annulus amplitudes. We check consistency of the construction by relating the transverse channel, corresponding to closed-string tree-level exchange, with the direct open-string loop channel. Focussing on the Type IIA frame, we show that D0-D4 have the expected tension for a geometric brane, while the non-geometric D2-D6 boundary states have a tension equal to $1/\sqrt{K}$ the one of a geometric brane for the $\mathbb{Z}_K$ orbifold. This is consistent with Fricke T-duality of the N=6 model.


title: GenEval: An Object-Focused Framework for Evaluating Text-to-Image Alignment

abstract: Recent breakthroughs in diffusion models, multimodal pretraining, and efficient finetuning have led to an explosion of text-to-image generative models. Given human evaluation is expensive and difficult to scale, automated methods are critical for evaluating the increasingly large number of new models. However, most current automated evaluation metrics like FID or CLIPScore only offer a holistic measure of image quality or image-text alignment, and are unsuited for fine-grained or instance-level analysis. In this paper, we introduce GenEval, an object-focused framework to evaluate compositional image properties such as object co-occurrence, position, count, and color. We show that current object detection models can be leveraged to evaluate text-to-image models on a variety of generation tasks with strong human agreement, and that other discriminative vision models can be linked to this pipeline to further verify properties like object color. We then evaluate several open-source text-to-image models and analyze their relative generative capabilities on our benchmark. We find that recent models demonstrate significant improvement on these tasks, though they are still lacking in complex capabilities such as spatial relations and attribute binding. Finally, we demonstrate how GenEval might be used to help discover existing failure modes, in order to inform development of the next generation of text-to-image models. Our code to run the GenEval framework is publicly available at https://github.com/djghosh13/geneval.


title: Trade-off between Noise and Banding in a Quantum Adder with Qudits

abstract: Quantum addition based on the quantum Fourier transform can be an integral part of a quantum circuit and proved to be more efficient than the existing classical ripple carry adder. Our study includes identifying the quantum resource required in a quantum adder in any arbitrary dimension and its relationship with the performance indicator in the presence of local noise acting on the circuit and when a limited number of controlled rotation operations is permitted, a procedure known as banding. We analytically prove an upper bound on the number of the controlled rotation gates required to accomplish the quantum addition up to an arbitrary defect in the fidelity between the desired and imperfect output. When the environment interacts with individual qudits, we establish a connection between quantum coherence and fidelity of the output. Interestingly, we demonstrate that when banding is employed in the presence of noise, approximate circuits of constant depth outperform circuits with a higher number of controlled rotations, establishing a complementary relationship between the approximate quantum adder and the strength of the noise. We exhibit that utilizing magnetic fields to prepare an initial state that evolves according to a one-dimensional spin chain for a specific amount of time can be a potential technique to implement quantum addition circuits in many-body systems.


title: Value-Biased Maximum Likelihood Estimation for Model-based Reinforcement Learning in Discounted Linear MDPs

abstract: We consider the infinite-horizon linear Markov Decision Processes (MDPs), where the transition probabilities of the dynamic model can be linearly parameterized with the help of a predefined low-dimensional feature mapping. While the existing regression-based approaches have been theoretically shown to achieve nearly-optimal regret, they are computationally rather inefficient due to the need for a large number of optimization runs in each time step, especially when the state and action spaces are large. To address this issue, we propose to solve linear MDPs through the lens of Value-Biased Maximum Likelihood Estimation (VBMLE), which is a classic model-based exploration principle in the adaptive control literature for resolving the well-known closed-loop identification problem of Maximum Likelihood Estimation. We formally show that (i) VBMLE enjoys $\widetilde{O}(d\sqrt{T})$ regret, where $T$ is the time horizon and $d$ is the dimension of the model parameter, and (ii) VBMLE is computationally more efficient as it only requires solving one optimization problem in each time step. In our regret analysis, we offer a generic convergence result of MLE in linear MDPs through a novel supermartingale construct and uncover an interesting connection between linear MDPs and online learning, which could be of independent interest. Finally, the simulation results show that VBMLE significantly outperforms the benchmark method in terms of both empirical regret and computation time.


title: Field Robot for High-throughput and High-resolution 3D Plant Phenotyping

abstract: With the need to feed a growing world population, the efficiency of crop production is of paramount importance. To support breeding and field management, various characteristics of the plant phenotype need to be measured -- a time-consuming process when performed manually. We present a robotic platform equipped with multiple laser and camera sensors for high-throughput, high-resolution in-field plant scanning. We create digital twins of the plants through 3D reconstruction. This allows the estimation of phenotypic traits such as leaf area, leaf angle, and plant height. We validate our system on a real field, where we reconstruct accurate point clouds and meshes of sugar beet, soybean, and maize.


title: Cut it out: Out-of-plane stresses in cell sheet folding of Volvox embryos

abstract: The folding of cellular monolayers pervades embryonic development and disease. It results from stresses out of the plane of the tissue, often caused by cell shape changes including cell wedging via apical constriction. These local cellular changes need not however be compatible with the global shape of the tissue. Such geometric incompatibilities lead to residual stresses that have out-of-plane components in curved tissues, but the mechanics and function of these out-of-plane stresses are poorly understood, perhaps because their quantification has proved challenging. Here, we overcome this difficulty by combining laser ablation experiments and a mechanical model to reveal that such out-of-plane residual stresses exist and also persist during the inversion of the spherical embryos of the green alga Volvox. We show how to quantify the mechanical properties of the curved tissue from its unfurling on ablation, and reproduce the tissue shape sequence at different developmental timepoints quantitatively by our mechanical model. Strikingly, this reveals not only clear mechanical signatures of out-of-plane stresses associated with cell shape changes away from those regions where cell wedging bends the tissue, but also indicates an adaptive response of the tissue to these stresses. Our results thus suggest that cell sheet folding is guided mechanically not only by cell wedging, but also by out-of-plane stresses from these additional cell shape changes.


title: Guarantees for Self-Play in Multiplayer Games via Polymatrix Decomposability

abstract: Self-play is a technique for machine learning in multi-agent systems where a learning algorithm learns by interacting with copies of itself. Self-play is useful for generating large quantities of data for learning, but has the drawback that the agents the learner will face post-training may have dramatically different behavior than the learner came to expect by interacting with itself. For the special case of two-player constant-sum games, self-play that reaches Nash equilibrium is guaranteed to produce strategies that perform well against any post-training opponent; however, no such guarantee exists for multiplayer games. We show that in games that approximately decompose into a set of two-player constant-sum games (called constant-sum polymatrix games) where global $\epsilon$-Nash equilibria are boundedly far from Nash equilibria in each subgame (called subgame stability), any no-external-regret algorithm that learns by self-play will produce a strategy with bounded vulnerability. For the first time, our results identify a structural property of multiplayer games that enable performance guarantees for the strategies produced by a broad class of self-play algorithms. We demonstrate our findings through experiments on Leduc poker.


title: On some counterparts of Rickart $*$-algebras

abstract: In the present paper, we introduce and study counterparts of Rickart involutive algebras, i.e., almost inner Rickart algebras. We prove that a nilpotent associative algebra, which has no nilpotent elements with nonzero square roots, is an almost inner Rickart algebra. A nilpotent associative algebra, which has no nilpotent elements with a square root $b$ such that $b^3\neq 0$, is not an almost inner Rickart algebra if there exists a nonzero element $a$ such that $a^2\neq 0$. As a main result of the paper, we describe a finite-dimensional almost inner Rickart algebra $\mathcal{A}$ over a field $\mathbb{F}$, isomorphic to $\mathbb{F}^n\dot{+} \mathcal{N}$, $n=1,2$, with a nilradical $\mathcal{N}$. Also, we classify finite-dimensional almost inner Rickart algebras over the real or complex numbers with a nonzero nilradical $\mathcal{N}$.


title: Automatic News Summerization

abstract: Natural Language Processing is booming with its applications in the real world, one of which is Text Summarization for large texts including news articles. This research paper provides an extensive comparative evaluation of extractive and abstractive approaches for news text summarization, with an emphasis on the ROUGE score analysis. The study employs the CNN-Daily Mail dataset, which consists of news articles and human-generated reference summaries. The evaluation employs ROUGE scores to assess the efficacy and quality of generated summaries. After Evaluation, we integrate the best-performing models on a web application to assess their real-world capabilities and user experience.


title: DataGarden: Exploring our Community in a VR Data Visualization

abstract: As our society is becoming increasingly data-dependent, more and more people rely on charts and graphs to understand and communicate complex data. While such visualizations effectively reveal meaningful trends, they unavoidably aggregate data into points and bars that are overly simplified depictions of ourselves and our communities. We present DataGarden, a system that supports embodied interactions with humane data representations in an immersive VR environment. Through the system, we explore ways to rethink the traditional visualization approach and allow people to empathize more deeply with the people behind the data.


title: Modular supercuspidal lifts of weight $2$

abstract: We prove that for a non CM Hecke cuspform $f\in S_k(\Gamma_0(N))$ and a prime $p>\max\{k+1,6\}$ and $p\nmid N$ such that the residual $p$-adic Deligne representation $\overline{\rho}_f$ is absolutely irreducible and $\mathrm{SL}_2(\mathbb{F}_p)\subseteq \mathrm{Im}(\overline{\rho}_f)$, there exists a modular supercuspidal lift $\rho_g$ with $g\in S_2(Np^2,\epsilon)$ for some Nebentypus character $\epsilon$. We apply this result to correct a mistake in \cite{dieulefait}, where the micro good dihedral prime $p=43$ is introduced to prove the automorphy of $\mathrm{Sym}^5$ of level $1$ modular forms. We also discuss how this result is versatile enough to prove other instances of Langlands functoriality like, for instance, in the safe chains introduced in \cite{luissara} and \cite{GL2GL2GL2}, where the automorphy of tensor products of certain modular or automorphic representations is established.


title: Group Preference Optimization: Few-Shot Alignment of Large Language Models

abstract: Many applications of large language models (LLMs), ranging from chatbots to creative writing, require nuanced subjective judgments that can differ significantly across different groups. Existing alignment algorithms can be expensive to align for each group, requiring prohibitive amounts of group-specific preference data and computation for real-world use cases. We introduce Group Preference Optimization (GPO), an alignment framework that steers language models to preferences of individual groups in a few-shot manner. In GPO, we augment the base LLM with an independent transformer module trained to predict the preferences of a group for the LLM generations. For few-shot learning, we parameterize this module as an in-context autoregressive transformer and train it via meta-learning on several groups. We empirically validate the efficacy of GPO through rigorous evaluations using LLMs with varied sizes on three human opinion adaptation tasks. These tasks involve adapting to the preferences of US demographic groups, global countries, and individual users. Our results demonstrate that GPO not only aligns models more accurately but also requires fewer group-specific preferences, and less training and inference computing resources, outperforming existing strategies such as in-context steering and fine-tuning methods.


title: Toward an Ontology for Third Generation Systems Thinking

abstract: Systems thinking is a way of making sense about the world in terms of multilevel, nested, interacting systems, their environment, and the boundaries between the systems and the environment. In this paper we discuss the evolution of systems thinking and discuss what is needed for an ontology of the current generation of systems thinking.


title: Quantum spin chains with bond dissipation

abstract: We study the effect of bond dissipation on the one-dimensional antiferromagnetic spin-$1/2$ Heisenberg model. In analogy to the spin-Peierls problem, the dissipative bath is described by local harmonic oscillators that modulate the spin exchange coupling, but instead of a single boson frequency we consider a continuous bath spectrum $\propto \omega^s$. Using an exact quantum Monte Carlo method for retarded interactions, we show that for $s<1$ any finite coupling to the bath induces valence-bond-solid order, whereas for $s>1$ the critical phase of the isolated chain remains stable up to a finite critical coupling. We find that, even in the presence of the gapless bosonic spectrum, the spin-triplet gap remains well defined for any system size, from which we extract a dynamical critical exponent of $z=1$. We provide evidence for a Berezinskii-Kosterlitz-Thouless quantum phase transition that is governed by the SU(2)$_1$ Wess-Zumino-Witten model. Our results suggest that the critical properties of the dissipative system are the same as for the spin-Peierls model, irrespective of the different interaction range, i.e., power-law vs. exponential decay, of the retarded dimer-dimer interaction, indicating that the spin-Peierls criticality is robust with respect to the bosonic density of states.


title: Commitments from Quantum One-Wayness

abstract: One-way functions are central to classical cryptography. They are both necessary for the existence of non-trivial classical cryptosystems, and sufficient to realize meaningful primitives including commitments, pseudorandom generators and digital signatures. At the same time, a mounting body of evidence suggests that assumptions even weaker than one-way functions may suffice for many cryptographic tasks of interest in a quantum world, including bit commitments and secure multi-party computation. This work studies one-way state generators [Morimae-Yamakawa, CRYPTO 2022], a natural quantum relaxation of one-way functions. Given a secret key, a one-way state generator outputs a hard to invert quantum state. A fundamental question is whether this type of quantum one-wayness suffices to realize quantum cryptography. We obtain an affirmative answer to this question, by proving that one-way state generators with pure state outputs imply quantum bit commitments and secure multiparty computation. Along the way, we build an intermediate primitive with classical outputs, which we call a (quantum) one-way puzzle. Our main technical contribution is a proof that one-way puzzles imply quantum bit commitments.


title: Thin and Deep Gaussian Processes

abstract: Gaussian processes (GPs) can provide a principled approach to uncertainty quantification with easy-to-interpret kernel hyperparameters, such as the lengthscale, which controls the correlation distance of function values. However, selecting an appropriate kernel can be challenging. Deep GPs avoid manual kernel engineering by successively parameterizing kernels with GP layers, allowing them to learn low-dimensional embeddings of the inputs that explain the output data. Following the architecture of deep neural networks, the most common deep GPs warp the input space layer-by-layer but lose all the interpretability of shallow GPs. An alternative construction is to successively parameterize the lengthscale of a kernel, improving the interpretability but ultimately giving away the notion of learning lower-dimensional embeddings. Unfortunately, both methods are susceptible to particular pathologies which may hinder fitting and limit their interpretability. This work proposes a novel synthesis of both previous approaches: Thin and Deep GP (TDGP). Each TDGP layer defines locally linear transformations of the original input data maintaining the concept of latent embeddings while also retaining the interpretation of lengthscales of a kernel. Moreover, unlike the prior solutions, TDGP induces non-pathological manifolds that admit learning lower-dimensional representations. We show with theoretical and experimental results that i) TDGP is, unlike previous models, tailored to specifically discover lower-dimensional manifolds in the input data, ii) TDGP behaves well when increasing the number of layers, and iii) TDGP performs well in standard benchmark datasets.


title: Analyticity and supershift with regular sampling

abstract: The notion of supershift (in itself a generalization of the notion of superoscillation arising in quantum mechanics) expresses the fact that the sampling of a function in an interval allows to compute the values of the function far from the interval. In this paper we study the relation between supershift and real analyticity. We use a classical result due to Serge Bernstein to show that real analyticity for a complex valued function implies a strong form of supershift. On the other hand, we use a parametric version of a result by Leonid Kantorovitch to show that the converse is not true. We additionally study the stability of functions that satisfy suitable supershift requirements under multiplication by complex numbers or primitivization.


title: The bifiltration of a relation and extended Dowker duality

abstract: We explain how homotopical information of two composeable relations can be organized in two simplicial categories that augment the relations row and column complexes. We show that both of these categories realize to weakly equivalent spaces, thereby extending Dowker's duality theorem. We also prove a functorial version of this result. Specializing the above construction a bifiltration of Dowker complexes that coherently incorporates the total weights of a relation's row and column complex into one single object is introduced. This construction is motivated by challenges in data analysis that necessitate the simultaneous study of a data matrix rows and columns. To illustrate the applicability of our constructions for solving those challenges we give an appropriate reconstruction result.


title: Scaling limits of slim and fat trees

abstract: We consider Galton--Watson trees conditioned on both the total number of vertices $n$ and the number of leaves $k$. The focus is on the case in which both $k$ and $n$ grow to infinity and $k = \alpha n + O(1)$, with $\alpha \in (0, 1)$. Assuming the exponential decay of the offspring distribution, we show that the rescaled random tree converges in distribution to Aldous' Continuum Random Tree with respect to the Gromov--Hausdorff topology. The scaling depends on a parameter $\sigma^\ast$ which we calculate explicitly. Additionally, we compute the limit for the degree sequences of these random trees.


title: Efficient Online Learning with Offline Datasets for Infinite Horizon MDPs: A Bayesian Approach

abstract: In this paper, we study the problem of efficient online reinforcement learning in the infinite horizon setting when there is an offline dataset to start with. We assume that the offline dataset is generated by an expert but with unknown level of competence, i.e., it is not perfect and not necessarily using the optimal policy. We show that if the learning agent models the behavioral policy (parameterized by a competence parameter) used by the expert, it can do substantially better in terms of minimizing cumulative regret, than if it doesn't do that. We establish an upper bound on regret of the exact informed PSRL algorithm that scales as $\tilde{O}(\sqrt{T})$. This requires a novel prior-dependent regret analysis of Bayesian online learning algorithms for the infinite horizon setting. We then propose the Informed RLSVI algorithm to efficiently approximate the iPSRL algorithm.


title: Multi-stage Large Language Model Correction for Speech Recognition

abstract: In this paper, we investigate the usage of large language models (LLMs) to improve the performance of competitive speech recognition systems. Different from previous LLM-based ASR error correction methods, we propose a novel multi-stage approach that utilizes uncertainty estimation of ASR outputs and reasoning capability of LLMs. Specifically, the proposed approach has two stages: the first stage is about ASR uncertainty estimation and exploits N-best list hypotheses to identify less reliable transcriptions; The second stage works on these identified transcriptions and performs LLM-based corrections. This correction task is formulated as a multi-step rule-based LLM reasoning process, which uses explicitly written rules in prompts to decompose the task into concrete reasoning steps. Our experimental results demonstrate the effectiveness of the proposed method by showing 10% ~ 20% relative improvement in WER over competitive ASR systems -- across multiple test domains and in zero-shot settings.


title: Detuning the BSW Effect with Longitudinal String Spreading

abstract: Black holes are interesting astrophysical objects that have been studied as systems sensitive to quantum gravitational data. The accelerated geometry in the exterior of extremal black holes can induce large center-of-mass energies between particles with particular momenta at the horizon. This is known as the Ba\~nados-Silk-West (BSW) effect. For point particles, the BSW effect requires tuning to have the collision coincide with the horizon. However, this tuning is relaxed for string-theoretic objects. String scattering amplitudes are large in the Regge limit, occurring at large center-of-mass energies and shallow scattering angles, parametrically surpassing quantum field theoretic amplitudes. In this limit, longitudinal string spreading is induced between strings with a large difference in light-cone momenta, and this spread can be used to 'detune' the BSW effect. With this in mind, quantum gravitational data, as described by string theory, may play an important role in near horizon dynamics of extremal Kerr black holes. Further, though it may be hard to realize astrophysically, this system acts as a natural particle accelerator for probing the nature of small-scale physics at Planckian energies.


title: HMN: Generalization of Heterogeneous and Multi-layered Network

abstract: A network may have different types of entities and their relations. Further, there could be additional layers of ties. The former is referred to as Heterogeneous networks, while the latter is known as Multi-layer networks. The present paper provides a generalized network model, namely, a Heterogeneous Multi-layered Network (HMN), which can simultaneously be multi-layered and heterogeneous. The model can represent homogeneous networks as well. We define different structural measures in an HMN. We proved that the sets of all homogeneous, heterogeneous and multi-layered networks are subsets of the set of all HMNs. Accordingly, we established the equivalency of the proposed structural measures of HMNs with that of homogeneous, heterogeneous, and multi-layered networks. Following that, we show how our proposed HMN is more efficient in tasks such as link prediction. In addition, we present a novel parameterized algorithm (with complexity analysis) for generating synthetic HMNs. The networks generated from our proposed algorithm are more consistent in modelling the layer-wise degree distribution of a real-world Twitter network (represented as HMN) than those generated by existing models. Moreover, we also show that our algorithm is more effective in modelling an air-transportation multiplex network when compared to an algorithm designed specifically for the task.


title: Learning Lens Blur Fields

abstract: Optical blur is an inherent property of any lens system and is challenging to model in modern cameras because of their complex optical elements. To tackle this challenge, we introduce a high-dimensional neural representation of blur$-$$\textit{the lens blur field}$$-$and a practical method for acquiring it. The lens blur field is a multilayer perceptron (MLP) designed to (1) accurately capture variations of the lens 2D point spread function over image plane location, focus setting and, optionally, depth and (2) represent these variations parametrically as a single, sensor-specific function. The representation models the combined effects of defocus, diffraction, aberration, and accounts for sensor features such as pixel color filters and pixel-specific micro-lenses. To learn the real-world blur field of a given device, we formulate a generalized non-blind deconvolution problem that directly optimizes the MLP weights using a small set of focal stacks as the only input. We also provide a first-of-its-kind dataset of 5D blur fields$-$for smartphone cameras, camera bodies equipped with a variety of lenses, etc. Lastly, we show that acquired 5D blur fields are expressive and accurate enough to reveal, for the first time, differences in optical behavior of smartphone devices of the same make and model.


title: Diver Interest via Pointing in Three Dimensions: 3D Pointing Reconstruction for Diver-AUV Communication

abstract: This paper presents Diver Interest via Pointing in Three Dimensions (DIP-3D), a method to relay an object of interest from a diver to an autonomous underwater vehicle (AUV) by pointing that includes three-dimensional distance information to discriminate between multiple objects in the AUV's camera image. Traditional dense stereo vision for distance estimation underwater is challenging because of the relative lack of saliency of scene features and degraded lighting conditions. Yet, including distance information is necessary for robotic perception of diver pointing when multiple objects appear within the robot's image plane. We subvert the challenges of underwater distance estimation by using sparse reconstruction of keypoints to perform pose estimation on both the left and right images from the robot's stereo camera. Triangulated pose keypoints, along with a classical object detection method, enable DIP-3D to infer the location of an object of interest when multiple objects are in the AUV's field of view. By allowing the scuba diver to point at an arbitrary object of interest and enabling the AUV to autonomously decide which object the diver is pointing to, this method will permit more natural interaction between AUVs and human scuba divers in underwater-human robot collaborative tasks.


title: A classification of anomalous actions through model action absorption

abstract: We discuss a strategy for classifying anomalous actions through model action absorption. We use this to upgrade existing classification results for Rokhlin actions of finite groups on C$^*$-algebras, with further assuming a UHF-absorption condition, to a classification of anomalous actions on these C$^*$-algebras.


title: A new space of generalised vector-valued functions of Bounded Variation

abstract: In [15], the authors introduced the space $GBV_\star(\Omega)$ to minimise a class of functionals whose study is motivated by fracture mechanics. In this paper, we extend the definition of $GBV_\star(\Omega)$ to the vectorial case, introducing the space $GBV_\star(\Omega,\mathbb{R}^k)$. We study the main properties of $GBV_\star(\Omega,\mathbb{R}^k)$ and prove a lower semicontinuity result useful for minimisation purposes. With the Direct Method in mind, we adapt the arguments of [15] to show that minimising sequences in $GBV_\star(\Omega,\mathbb{R}^k)$ can be modified to obtain a minimising sequence converging $\mathcal{L}^d$-a.e in $\Omega$.


title: \'Etale structures and the Joyal-Tierney representation theorem in countable model theory

abstract: An \'etale structure over a topological space $X$ is a continuous family of structures (in some first-order language) indexed over $X$. We give an exposition of this fundamental concept from sheaf theory and its relevance to countable model theory and invariant descriptive set theory. We show that many classical aspects of spaces of countable models can be naturally framed and generalized in the context of \'etale structures, including the Lopez-Escobar theorem on invariant Borel sets, an omitting types theorem, and various characterizations of Scott rank. We also present and prove the countable version of the Joyal-Tierney representation theorem, which states that the isomorphism groupoid of an \'etale structure determines its theory up to bi-interpretability; and we explain how special cases of this theorem recover several recent results in the literature on groupoids of models and functors between them.


title: Constructing universal Phenomenology for biological cellular systems: An idiosyncratic review on evolutionary dimensional reduction

abstract: Possibility to establish macroscopic phenomenological theory for biological systems, akin to the akin to the well-established framework of thermodynamics, is briefly reviewed. We introduce the concept of an evolutionary fluctuation-response relationship, which highlights the need for a tight correlation between the variance in phenotypic traits caused by genetic mutations and by internal noise. We provide a distribution theory that allows us to derive these relationships, which suggests that the changes in traits resulting from adaptation and evolution are considerably constrained within a lower-dimensional space. We explore the reasons behind this dimensional reduction, focusing on the constraints posed by the requirements for steady growth and robustness achieved through the evolutionary process. We draw support from recent laboratory and numerical experiments to substantiate our claims. Universality of evolutionary dimensional reduction is presented, whereas potential theoretical formulations for it are discussed. We conclude by briefly considering the prospects of establishing a macroscopic framework that characterizes biological robustness and irreversibility in cell differentiation, as well as an ideal cell model.


title: MUST&P-SRL: Multi-lingual and Unified Syllabification in Text and Phonetic Domains for Speech Representation Learning

abstract: In this paper, we present a methodology for linguistic feature extraction, focusing particularly on automatically syllabifying words in multiple languages, with a design to be compatible with a forced-alignment tool, the Montreal Forced Aligner (MFA). In both the textual and phonetic domains, our method focuses on the extraction of phonetic transcriptions from text, stress marks, and a unified automatic syllabification (in text and phonetic domains). The system was built with open-source components and resources. Through an ablation study, we demonstrate the efficacy of our approach in automatically syllabifying words from several languages (English, French and Spanish). Additionally, we apply the technique to the transcriptions of the CMU ARCTIC dataset, generating valuable annotations available online\footnote{\url{https://github.com/noetits/MUST_P-SRL}} that are ideal for speech representation learning, speech unit discovery, and disentanglement of speech factors in several speech-related fields.


title: Uniform representation of the turbulent velocity profile in an open channel

abstract: A uniform representation of the mean turbulent velocity profile in the sum of a wall function and a wake function is applied to an open channel, quantitatively determining its components. The open channel is thus found to coherently fit in to the same theoretical picture previously drawn for plane Couette, plane closed channel and circular pipe flow, and to share with them a universal law of the wall and a universal logarithmic law with a common value of von K\'arm\'an's constant.


title: A variational data assimilation approach for sparse velocity reference data in coarse RANS simulations through a corrective forcing term

abstract: The Reynolds-averaged Navier-Stokes (RANS) equations provide a computationally efficient method for solving fluid flow problems in engineering applications. However, the use of closure models to represent turbulence effects can reduce their accuracy. To address this issue, recent research has explored data-driven techniques such as data assimilation and machine learning. An efficient variational data assimilation (DA) approach is presented to enhance steady-state eddy viscosity based RANS simulations. To account for model deficiencies, a corrective force term is introduced in the momentum equation. In the case of only velocity reference data, this term can be represented by a potential field and is divergence-free. The DA implementation relies on the discrete adjoint method and approximations for efficient gradient evaluation. The implementation is based on a two-dimensional coupled RANS solver in OpenFOAM, which is extended to allow the computation of the adjoint velocity and pressure as well as the adjoint gradient. A gradient-based optimizer is used to minimize the difference between the simulation results and the reference data. To evaluate this approach, it is compared with alternative data assimilation methods for canonical stationary two-dimensional turbulent flow problems. For the data assimilation, sparsely distributed reference data from averaged high-fidelity simulation results are used. The results suggest that the proposed method achieves the optimization goal more efficiently compared to applying data assimilation for obtaining the eddy viscosity, or a field modifying the eddy viscosity, directly. The method works well for different reference data configurations and runs efficiently by leveraging coarse meshes.


title: Co-Evolution of Stars and Gas: Using Analysis of Synthetic Observations to Investigate the Star-Gas Correlation in STARFORGE

abstract: We explore the relationship between stellar surface density and gas surface density (the star-gas or S-G correlation) in a 20,000 M$_{\odot}$ simulation from the STAR FORmation in Gaseous Environments (STARFORGE) Project. We create synthetic observations based on the Spitzer and Herschel telescopes by modeling active galactic nuclei contamination, smoothing based on angular resolution, cropping the field-of-view, and removing close neighbors and low-mass sources. We extract star-gas properties such as the dense gas mass fraction, the Class II:I ratio, and the S-G correlation ($\Sigma_{\rm YSO}/\Sigma_{\rm gas}$) from the simulation and compare them to observations of giant molecular clouds, young clusters, and star-forming regions, as well as to analytical models. We find that the simulation reproduces trends in the counts of young stellar objects and the median slope of the S-G correlation. This implies that the S-G correlation is not simply the result of observational biases but is in fact a real effect. However, other statistics, such as the Class II:I ratio and dense gas mass fraction, do not always match observed equivalents in nearby clouds. This motivates further observations covering the full simulation age range and more realistic modeling of cloud formation.


title: On Isospectral Integral Circulant Graphs

abstract: Understanding when two non-isomorphic graphs can have the same spectra is a classic problem that is still not completely understood, even for integral circulant graphs. We say that a natural number $N$ satisfies the \emph{integral spectral Ad\`{a}m property (ISAP)} if any two integral circulant graphs of order $N$ with the same spectra must be isomorphic. It seems to be open whether all $N$ satisfy the ISAP; M\"{o}nius and So showed that $N$ satisfies the ISAP if $N = p^k, pq^k,$ or $pqr$. We show that: (a) for any prime factorization structure $N = p_1^{a_1}\cdots p_k^{a_k}$, $N$ satisfies the ISAP for "most" values of the $p_i$; (b) $N=p^2q^n$ satisfy the ISAP if $p,q$ are odd and $(q-1) \nmid (p-1)^2(p+1)$; (c) all $N =p^2q^2$ satisfy the ISAP.


title: Bias and Error Mitigation in Software-Generated Data: An Advanced Search and Optimization Framework Leveraging Generative Code Models

abstract: Data generation and analysis is a fundamental aspect of many industries and disciplines, from strategic decision making in business to research in the physical and social sciences. However, data generated using software and algorithms can be subject to biases and errors. These can be due to problems with the original software, default settings that do not align with the specific needs of the situation, or even deeper problems with the underlying theories and models. This paper proposes an advanced search and optimization framework aimed at generating and choosing optimal source code capable of correcting errors and biases from previous versions to address typical problems in software systems specializing in data analysis and generation, especially those in the corporate and data science world. Applying this framework multiple times on the same software system would incrementally improve the quality of the output results. It uses Solomonoff Induction as a sound theoretical basis, extending it with Kolmogorov Conditional Complexity, a novel adaptation, to evaluate a set of candidate programs. We propose the use of generative models for the creation of this set of programs, with special emphasis on the capabilities of Large Language Models (LLMs) to generate high quality code.


title: Existence of Positive Radial Solutions of General Quasilinear Elliptic Systems

abstract: Let $\Omega\subset\mathbb R^{n}\ (n\geq2)$ be either an open ball $B_R$ centred at the origin or the whole space. We study the existence of positive, radial solutions of quasilinear elliptic systems of the form \begin{equation*} \left\{ \begin{aligned} \Delta_{p} u&=f_1(|x|)g_1(v)|\nabla u|^{\alpha} &&\quad\mbox{ in } \Omega, \\ \Delta_{p} v&=f_2(|x|)g_2(v)h(|\nabla u|) &&\quad\mbox{ in } \Omega, \end{aligned} \right. \end{equation*} where $\alpha\geq 0$, $\Delta_{p}$ is the $p$-Laplace operator, $p>1$, and for $i,j=1,2$ we assume $f_i,g_j,h$ are continuous, non-negative and non-decreasing functions. For functions $g_j$ which grow polynomially, we prove sharp conditions for the existence of positive radial solutions which blow up at $\partial B_{R}$, and for the existence of global solutions.


title: Differentially Private Data Generation with Missing Data

abstract: Despite several works that succeed in generating synthetic data with differential privacy (DP) guarantees, they are inadequate for generating high-quality synthetic data when the input data has missing values. In this work, we formalize the problems of DP synthetic data with missing values and propose three effective adaptive strategies that significantly improve the utility of the synthetic data on four real-world datasets with different types and levels of missing data and privacy requirements. We also identify the relationship between privacy impact for the complete ground truth data and incomplete data for these DP synthetic data generation algorithms. We model the missing mechanisms as a sampling process to obtain tighter upper bounds for the privacy guarantees to the ground truth data. Overall, this study contributes to a better understanding of the challenges and opportunities for using private synthetic data generation algorithms in the presence of missing data.


title: Negative flows for several integrable models

abstract: A construction of negative flows for integrable systems based on the Lax representation and squared eigenfunctions is proposed. Examples considered include the Boussinesq equation and its reduction to the Sawada-Kotera and Kaup-Kupershmidt equations; one of the Drinfeld-Sokolov systems and its reduction to the Krichever-Novikov equation.


title: Towards Optimal Regret in Adversarial Linear MDPs with Bandit Feedback

abstract: We study online reinforcement learning in linear Markov decision processes with adversarial losses and bandit feedback, without prior knowledge on transitions or access to simulators. We introduce two algorithms that achieve improved regret performance compared to existing approaches. The first algorithm, although computationally inefficient, ensures a regret of $\widetilde{\mathcal{O}}\left(\sqrt{K}\right)$, where $K$ is the number of episodes. This is the first result with the optimal $K$ dependence in the considered setting. The second algorithm, which is based on the policy optimization framework, guarantees a regret of $\widetilde{\mathcal{O}}\left(K^{\frac{3}{4}} \right)$ and is computationally efficient. Both our results significantly improve over the state-of-the-art: a computationally inefficient algorithm by Kong et al. [2023] with $\widetilde{\mathcal{O}}\left(K^{\frac{4}{5}}+poly\left(\frac{1}{\lambda_{\min}}\right) \right)$ regret, for some problem-dependent constant $\lambda_{\min}$ that can be arbitrarily close to zero, and a computationally efficient algorithm by Sherman et al. [2023b] with $\widetilde{\mathcal{O}}\left(K^{\frac{6}{7}} \right)$ regret.


title: WaveFlex: A Smart Surface for Private CBRS Wireless Cellular Networks

abstract: We present the design and implementation of WaveFlex, the first smart surface that enhances Private LTE/5G networks operating under the shared-license framework in the Citizens Broadband Radio Service frequency band. WaveFlex works in the presence of frequency diversity: multiple nearby base stations operating on different frequencies, as dictated by a Spectrum Access System coordinator. It also handles time dynamism: due to the dynamic sharing rules of the band, base stations occasionally switch channels, especially when priority users enter the network. Finally, WaveFlex operates independently of the network itself, not requiring access to nor modification of the base station or mobile users, yet it remain compliant with and effective on prevailing cellular protocols. We have designed and fabricated WaveFlex on a custom multi-layer PCB, software defined radio-based network monitor, and supporting control software and hardware. Our experimental evaluation benchmarks an operational Private LTE network running at full line rate. Results demonstrate an 8.50 dB average SNR gain, and an average throughput gain of 4.36 Mbps for a single small cell, and 3.19 Mbps for four small cells, in a realistic indoor office scenario.


title: Global Factors in Non-core Bank Funding and Exchange Rate Flexibility

abstract: We show that fluctuations in the ratio of non-core to core funding in the banking systems of advanced economies are driven by a handful of global factors of both real and financial natures, with country-specific factors playing no significant roles. Exchange rate flexibility helps insulate the non-core to core ratio from such global factors but only significantly so outside periods of major global financial disruptions, as in 2008-2009.


title: NuSTAR and XMM-Newton observations of the binary 4FGL J1405.1-6119. A $\gamma$-ray emitting microquasar?

abstract: 4FGL J1405.1-6119 is a high-mass $\gamma$-ray emitting binary that has been studied at several wavelengths. The nature of this type of binary is still under debate, with three possible scenarios usually invoked to explain the origin of the $\gamma$-ray emission: collisions between the winds of a rapidly rotating neutron star and its companion, collisions between the winds of two massive stars, and non-thermal emission from the jet of a microquasar. We analyze two pairs of simultaneous NuSTAR and XMM-Newton observations to investigate the origin of the radio, X-ray, and $\gamma$-ray emissions. We extracted light curves between 0.5-78 keV from two different epochs, named Epoch 1 and Epoch 2, respectively. We propose a scenario to explain the observations involving a parabolic, mildly relativistic, lepto-hadronic jet. This jet has a compact acceleration region that injects a hard spectrum of relativistic particles. The dominant non-thermal emission processes include synchrotron radiation of electrons, inverse Compton scattering of photons from the stellar radiation field, and the decay of neutral pions resulting from inelastic proton-proton collisions within the bulk matter of the jet. These estimates are in accordance with the values of a super-Eddington lepto-hadronic jet scenario. The compact object could be either a black hole or a neutron star with a low magnetic field. Most of the X-ray emission from the disk could be absorbed by the dense wind that is ejected from the same disk. We conclude that it is possible that the binary 4FGL J1405.1-6119 could be a supercritical microquasar like SS433.


title: Properties and Deviations of Random Sums of Densely Dependent Random Variables

abstract: A classical problem of statistical inference is the valid specification of a model that can account for the statistical dependencies between observations when the true structure is dense, intractable, or unknown. To address this problem, a new variance identity is presented, which is closely related to the Moulton factor. This identity does not require the specification of an entire covariance structure and instead relies on the choice of two summary constants. Using this result, a weak law of large numbers is also established for additive statistics and common variance estimators under very general conditions of statistical dependence. Furthermore, this paper proves a sharper version of Hoeffding's inequality for symmetric and bounded random variables under these same conditions of statistical dependence. Put otherwise, it is shown that, under relatively mild conditions, finite sample inference is possible in common settings such as linear regression, and even when every outcome variable is statistically dependent with all others. All results are extended to estimating equations. Simulation experiments and an application to climate data are also provided.


title: Integrating 3D City Data through Knowledge Graphs

abstract: CityGML is a widely adopted standard by the Open Geospatial Consortium (OGC) for representing and exchanging 3D city models. The representation of semantic and topological properties in CityGML makes it possible to query such 3D city data to perform analysis in various applications, e.g., security management and emergency response, energy consumption and estimation, and occupancy measurement. However, the potential of querying CityGML data has not been fully exploited. The official GML/XML encoding of CityGML is only intended as an exchange format but is not suitable for query answering. The most common way of dealing with CityGML data is to store them in the 3DCityDB system as relational tables and then query them with the standard SQL query language. Nevertheless, for end users, it remains a challenging task to formulate queries over 3DCityDB directly for their ad-hoc analytical tasks, because there is a gap between the conceptual semantics of CityGML and the relational schema adopted in 3DCityDB. In fact, the semantics of CityGML itself can be modeled as a suitable ontology. The technology of Knowledge Graphs (KGs), where an ontology is at the core, is a good solution to bridge such a gap. Moreover, embracing KGs makes it easier to integrate with other spatial data sources, e.g., OpenStreetMap and existing (Geo)KGs (e.g., Wikidata, DBPedia, and GeoNames), and to perform queries combining information from multiple data sources. In this work, we describe a CityGML KG framework to populate the concepts in the CityGML ontology using declarative mappings to 3DCityDB, thus exposing the CityGML data therein as a KG. To demonstrate the feasibility of our approach, we use CityGML data from the city of Munich as test data and integrate OpenStreeMap data in the same area.


title: Currents with corners and counting weighted triangulations

abstract: Let $\Sigma$ be a closed orientable hyperbolic surface. We introduce the notion of a \textit{geodesic current with corners} on $\Sigma$, which behaves like a geodesic current away from certain singularities (the "corners"). We topologize the space of all currents with corners and study its properties. We prove that the space of currents with corners shares many properties with the space of geodesic currents, although crucially, there is no canonical action of the mapping class group nor is there a continuous intersection form. To circumvent these difficulties, we focus on those currents with corners arising from harmonic maps of graphs into $\Sigma$. This leads to the space of \textit{marked harmonic currents with corners}, which admits a natural Borel action by the mapping class group, and an analog of Bonahon's\cite{Bonahon} compactness criterion for sub-level sets of the intersection form against a filling current. As an application, we consider an analog of a curve counting problem on $\Sigma$ for triangulations. Fixing an embedding $\phi$ of a weighted graph $\Gamma$ into $\Sigma$ whose image $\phi(\Gamma)$ is a triangulation of $\Sigma$, let $N_{\phi}(L)$ denote the number of mapping classes $f$ so that a weighted-length minimizing representative in the homotopy class determined by $f \circ \phi$ has length at most $L$. In analogy with theorems of Mirzakhani\cite{Mirzakhani}, Erlandsson-Souto\cite{ErlandssonSouto}, and Rafi-Souto\cite{RafiSouto}, we prove that $N_{\phi}(L)$ grows polynomially of degree $6g-6$ and the limit \[ \lim_{L \rightarrow \infty} \frac{N_{\phi}(L)}{L^{6g-6}}\] exists and has an explicit interpretation depending on the geometry of $\Sigma$, the vector of weights, and the combinatorics of $\phi$ and $\Gamma$.


title: Exploring Musical, Lyrical, and Network Dimensions of Music Sharing Among Depression Individuals

abstract: Depression has emerged as a significant mental health concern due to a variety of factors, reflecting broader societal and individual challenges. Within the digital era, social media has become an important platform for individuals navigating through depression, enabling them to express their emotional and mental states through various mediums, notably music. Specifically, their music preferences, manifested through sharing practices, inadvertently offer a glimpse into their psychological and emotional landscapes. This work seeks to study the differences in music preferences between individuals diagnosed with depression and non-diagnosed individuals, exploring numerous facets of music, including musical features, lyrics, and musical networks. The music preferences of individuals with depression through music sharing on social media, reveal notable differences in musical features and topics and language use of lyrics compared to non-depressed individuals. We find the network information enhances understanding of the link between music listening patterns. The result highlights a potential echo-chamber effect, where depression individual's musical choices may inadvertently perpetuate depressive moods and emotions. In sum, this study underscores the significance of examining music's various aspects to grasp its relationship with mental health, offering insights for personalized music interventions and recommendation algorithms that could benefit individuals with depression.


title: Online Algorithms with Uncertainty-Quantified Predictions

abstract: The burgeoning field of algorithms with predictions studies the problem of using possibly imperfect machine learning predictions to improve online algorithm performance. While nearly all existing algorithms in this framework make no assumptions on prediction quality, a number of methods providing uncertainty quantification (UQ) on machine learning models have been developed in recent years, which could enable additional information about prediction quality at decision time. In this work, we investigate the problem of optimally utilizing uncertainty-quantified predictions in the design of online algorithms. In particular, we study two classic online problems, ski rental and online search, where the decision-maker is provided predictions augmented with UQ describing the likelihood of the ground truth falling within a particular range of values. We demonstrate that non-trivial modifications to algorithm design are needed to fully leverage the UQ predictions. Moreover, we consider how to utilize more general forms of UQ, proposing an online learning framework that learns to exploit UQ to make decisions in multi-instance settings.


title: Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

abstract: Confidentiality, integrity protection, and high availability, abbreviated to CIA, are essential properties for trustworthy data systems. The rise of cloud computing and the growing demand for multiparty applications however means that building modern CIA systems is more challenging than ever. In response, we present the Confidential Consortium Framework (CCF), a general-purpose foundation for developing secure stateful CIA applications. CCF combines centralized compute with decentralized trust, supporting deployment on untrusted cloud infrastructure and transparent governance by mutually untrusted parties. CCF leverages hardware-based trusted execution environments for remotely verifiable confidentiality and code integrity. This is coupled with state machine replication backed by an auditable immutable ledger for data integrity and high availability. CCF enables each service to bring its own application logic, custom multiparty governance model, and deployment scenario, decoupling the operators of nodes from the consortium that governs them. CCF is open-source and available now at https://github.com/microsoft/CCF.


title: The Codegree, Weak Maximum Likelihood Threshold, and the Gorenstein Property of Hierarchical Models

abstract: The codegree of a lattice polytope is the smallest integer dilate that contains a lattice point in the relative interior. The weak maximum likelihood threshold of a statistical model is the smallest number of data points for which there is a non-zero probability that the maximum likelihood estimate exists. The codegree of a marginal polytope is a lower bound on the maximum likelihood threshold of the associated log-linear model, and they are equal when the marginal polytope is normal. We prove a lower bound on the codegree in the case of hierarchical log-linear models and provide a conjectural formula for the codegree in general. As an application, we study when the marginal polytopes of hierarchical models are Gorenstein, including a classification of Gorenstein decomposable models, and a conjectural classification of Gorenstein binary hierarchical models.


title: The orbital period, black hole mass and distance to the X-ray transient GRS 1716-249 (=N Oph 93)

abstract: We present evidence for a 0.278(8) d (=6.7 h) orbital period in the X-ray transient GRS 1716-249 (=N Oph 93), based on a superhump modulation detected during the 1995 mini-outburst plus ellipsoidal variability in quiescence. With a quiescent magnitude of r=23.19+-0.15 N Oph 93 is too faint to warrant a full dynamical study through dedicated time-resolved spectroscopy. Instead, we apply the FWHM-K2 correlation to the disc Halpha emission line detected in Gran Telescopio Canarias spectra and obtain K2=521+-52 km/s. This leads to a mass function f(M)=4.1+-1.2 Msun, thus indicating the presence of a black hole in this historic X-ray transient. Furthermore, from the depth of the Halpha trough and the quiescent light curve we constrain the binary inclination to i=61+-15 deg, while the detection of superhumps sets an upper limit to the donor to compact star mass ratio q=M2/M1<=0.25. Our de-reddened (r-i) colour is consistent with a ~K6 main sequence star that fills its Roche lobe in a 0.278 d orbit. Using all this information we derive a compact object mass M1=6.4+3.2-2.0 Msun at 68 per cent confidence. We also constrain the distance to GRS 1716-249 to 6.9+-1.1 kpc, placing the binary ~0.8 kpc above the Galactic Plane, in support of a large natal kick.


title: RekomGNN: Visualizing, Contextualizing and Evaluating Graph Neural Networks Recommendations

abstract: Content recommendation tasks increasingly use Graph Neural Networks, but it remains challenging for machine learning experts to assess the quality of their outputs. Visualization systems for GNNs that could support this interrogation are few. Moreover, those that do exist focus primarily on exposing GNN architectures for tuning and prediction tasks and do not address the challenges of recommendation tasks. We developed RekomGNN, a visual analytics system that supports ML experts in exploring GNN recommendations across several dimensions and making annotations about their quality. RekomGNN straddles the design space between Neural Network and recommender system visualization to arrive at a set of encoding and interaction choices for recommendation tasks. We found that RekomGNN helps experts make qualitative assessments of the GNN's results, which they can use for model refinement. Overall, our contributions and findings add to the growing understanding of visualizing GNNs for increasingly complex tasks.


title: Connecting the Dots: Range Expansions across Landscapes with Quenched Noise

abstract: When biological populations expand into new territory, the evolutionary outcomes can be strongly influenced by genetic drift, the random fluctuations in allele frequencies. Meanwhile, spatial variability in the environment can also significantly influence the competition between sub-populations vying for space. Little is known about the interplay of these intrinsic and extrinsic sources of noise in population dynamics: When does environmental heterogeneity dominate over genetic drift or vice versa, and what distinguishes their population genetics signatures? Here, in the context of neutral evolution, we examine the interplay between a population's intrinsic, demographic noise and an extrinsic, quenched random noise provided by a heterogeneous environment. Using a multi-species Eden model, we simulate a population expanding over a landscape with random variations in local growth rates and measure how this variability affects genealogical tree structure, and thus genetic diversity. We find that, for strong heterogeneity, the genetic makeup of the expansion front is to a great extent predetermined by the set of fastest paths through the environment. The landscape-dependent statistics of these optimal paths then supersede those of the population's intrinsic noise as the main determinant of evolutionary dynamics. Remarkably, the statistics for coalescence of genealogical lineages, derived from those deterministic paths, strongly resemble the statistics emerging from demographic noise alone in uniform landscapes. This cautions interpretations of coalescence statistics and raises new challenges for inferring past population dynamics.


title: Personalized Soups: Personalized Large Language Model Alignment via Post-hoc Parameter Merging

abstract: While Reinforcement Learning from Human Feedback (RLHF) aligns Large Language Models (LLMs) with general, aggregate human preferences, it is suboptimal for learning diverse, individual perspectives. In this work, we study Reinforcement Learning from Personalized Human Feedback (RLPHF) problem, wherein LLMs are aligned to multiple (sometimes conflicting) preferences by modeling alignment as a Multi-Objective Reinforcement Learning (MORL) problem. Compared to strong single-objective baselines, we show that we can achieve personalized alignment by decomposing preferences into multiple dimensions. These dimensions are defined based on personalizations that are declared as desirable by the user. In this work, we show that they can be efficiently trained independently in a distributed manner and combined effectively post-hoc through parameter merging. The code is available at https://github.com/joeljang/RLPHF.


title: Proving the Existence of a GOR Without Probability

abstract: In this note, we provide a new proof that a $D$-connected graph $G$ on $n$ vertices has a general position orthogonal representation in $\RR^{n-D}$. Our argument, while based on many of the concepts from the original proof due to Lov\'asz, Saks and Schrijver, does not use the probabilistic method.


title: Partially Observable Stochastic Games with Neural Perception Mechanisms

abstract: Stochastic games are a well established model for multi-agent sequential decision making under uncertainty. In practical applications, though, agents often have only partial observability of their environment. Furthermore, agents increasingly perceive their environment using data-driven approaches such as neural networks trained on continuous data. We propose the model of neuro-symbolic partially-observable stochastic games (NS-POSGs), a variant of continuous-space concurrent stochastic games that explicitly incorporates neural perception mechanisms. We focus on a one-sided setting with a partially-informed agent using discrete, data-driven observations and another, fully-informed agent. We present a new method, called one-sided NS-HSVI, for approximate solution of one-sided NS-POSGs, which exploits the piecewise constant structure of the model. Using neural network pre-image analysis to construct finite polyhedral representations and particle-based representations for beliefs, we implement our approach and illustrate its practical applicability to the analysis of pedestrian-vehicle and pursuit-evasion scenarios.


title: On the shape of hypersurfaces with boundary which have zero fractional mean curvature

abstract: We consider hypersurfaces with boundary in $\mathbb{R}^N$ that are the critical points of the fractional area introduced by Paroni, Podio-Guidugli, and Seguin in [R. Paroni, P. Podio-Guidugli, B. Seguin, 2018]. In particular, we study the shape of such hypersurfaces in several simple settings. First, we show that the critical points whose boundary is an $(N-2)$-sphere coincide with $(N-1)$-balls. Second, we show that the critical points whose boundary is the union of two parallel $(N-2)$-spheres do not coincide with two parallel $(N-1)$-balls. Moreover, the interior of the critical points does not intersect the boundary of the convex hull of the two $(N-2)$-spheres, while it can happen in the situation considered by Dipierro, Onoue, and Valdinoci in [S. Dipierro, F. Onoue, E. Valdinoci, 2022]. We also obtain a quantitative bound which may tell us how different the critical points are from the two $(N-1)$-balls. Finally, in the same setting as in the second case, we show that, if the two parallel boundaries are far away from each other, then the critical points are disconnected and, if the two parallel boundaries are close to each other, then the boundaries are in the same connected component of the critical points when $N \geq 3$. Moreover, by computing the fractional mean curvature of a cone with the same boundaries as those of the critical points, we also obtain that the interior of the critical points does not touch the cone if the critical points are contained in either the inside or the outside of the cone.


title: The mechanical radius of the proton

abstract: We present the first determination of the proton mechanical radius. The result was obtained by employing a novel theoretical approach that connects experimental data of deeply virtual Compton scattering with the spin = 2 interaction that is characteristic of gravity coupling with matter. We find that the proton mechanical radius is significantly smaller than its charge radius, consistent with the latest Lattice QCD computation.


title: When Rigidity Hurts: Soft Consistency Regularization for Probabilistic Hierarchical Time Series Forecasting

abstract: Probabilistic hierarchical time-series forecasting is an important variant of time-series forecasting, where the goal is to model and forecast multivariate time-series that have underlying hierarchical relations. Most methods focus on point predictions and do not provide well-calibrated probabilistic forecasts distributions. Recent state-of-art probabilistic forecasting methods also impose hierarchical relations on point predictions and samples of distribution which does not account for coherency of forecast distributions. Previous works also silently assume that datasets are always consistent with given hierarchical relations and do not adapt to real-world datasets that show deviation from this assumption. We close both these gap and propose PROFHiT, which is a fully probabilistic hierarchical forecasting model that jointly models forecast distribution of entire hierarchy. PROFHiT uses a flexible probabilistic Bayesian approach and introduces a novel Distributional Coherency regularization to learn from hierarchical relations for entire forecast distribution that enables robust and calibrated forecasts as well as adapt to datasets of varying hierarchical consistency. On evaluating PROFHiT over wide range of datasets, we observed 41-88% better performance in accuracy and significantly better calibration. Due to modeling the coherency over full distribution, we observed that PROFHiT can robustly provide reliable forecasts even if up to 10% of input time-series data is missing where other methods' performance severely degrade by over 70%.


title: Quantum control of ro-vibrational dynamics and application to light-induced molecular chirality

abstract: Achiral molecules can be made temporarily chiral by excitation with electric fields, in the sense that an average over molecular orientations displays a net chiral signal [Tikhonov et al., Sci. Adv. 8, eade0311 (2022)]. Here, we go beyond the assumption of molecular orientations to remain fixed during the excitation process. Treating both rotations and vibrations quantum mechanically, we identify conditions for the creation of chiral vibrational wavepackets -- with net chiral signals -- in ensembles of achiral molecules which are initially randomly oriented. Based on the analysis of symmetry and controllability, we derive excitation schemes for the creation of chiral wavepackets using a combination of (a) microwave and IR pulses and (b) a static field and a sequence of IR pulses. These protocols leverage quantum rotational dynamics for pump-probe spectroscopy of chiral vibrational dynamics, extending the latter to regions of the electromagnetic spectrum other than the UV.


title: Pragmatic Evaluation of Clarifying Questions with Fact-Level Masking

abstract: The ability to derive useful information by asking clarifying questions (ACQ) is an important element of real life collaboration on reasoning tasks, such as question answering (QA). Existing natural language ACQ challenges, however, evaluate generations based on word overlap rather than the value of the information itself. Word overlap is often an inappropriate metric for question generation since many different questions could be useful in a given situation, and a single question can be phrased many different ways. Instead, we propose evaluating questions pragmatically based on the value of the information they retrieve. Here we present a definition and framework for natural language pragmatic asking of clarifying questions (PACQ), the problem of generating questions that result in answers useful for a reasoning task. We also present fact-level masking (FLM), a procedure for converting natural language datasets into self-supervised PACQ datasets by omitting particular critical facts. Finally, we generate a PACQ dataset from the HotpotQA dataset using FLM and evaluate several zero-shot language models on it. Our experiments show that current zero-shot models struggle to ask questions that retrieve useful information, as compared to human annotators. These results demonstrate an opportunity to use FLM datasets and the PACQ framework to objectively evaluate and improve question generation and other language models.


title: Thermodynamics of frozen stars

abstract: The frozen star is a recent proposal for a non-singular solution of Einstein's equations that describes an ultracompact object which closely resembles a black hole from an external perspective. The frozen star is also meant to be an alternative, classical description of an earlier proposal, the highly quantum polymer model. Here, we show that the thermodynamic properties of frozen stars closely resemble those of black holes: Frozen stars radiate thermally, with a temperature and an entropy that are perturbatively close to those of black holes of the same mass. Their entropy is calculated using the Euclidean-action method of Gibbons and Hawking. We then discuss their dynamical formation by estimating the probability for a collapsing shell of "normal" matter to transition, quantum mechanically, into a frozen star. This calculation followed from a reinterpretation of a transitional region between the Euclidean frozen star and its Schwarzschild exterior as a Euclidean instanton that mediates a phase transition from the Minkowski interior of an incipient Schwarzschild black hole to a microstate of the frozen star interior. It is shown that, up to negligible corrections, the probability of this transition is $e^{-A/4}$, with $A$ being the star's surface area. Taking into account that the dimension of the phase space is $e^{+A/4}$, we conclude that the total probability for the formation of the frozen star is of order unity. The duration of this transition is estimated, which we then use to argue, relying on an analogy to previous results, about the scaling of the magnitude of the off-diagonal corrections to the number operator for the Hawking-like particles. Such scaling was shown to imply that the corresponding Page curve indeed starts to go down at about the Page time, as required by unitarity.


title: A polynomial bound on the number of minimal separators and potential maximal cliques in $P_6$-free graphs of bounded clique number

abstract: In this note we show a polynomial bound on the number of minimal separators and potential maximal cliques in $P_6$-free graphs of bounded clique number.


title: Study of $Z \to ll\gamma$ decays at $\sqrt s~$= 8 TeV with the ATLAS detector

abstract: This paper presents a study of $Z \to ll\gamma~$decays with the ATLAS detector at the Large Hadron Collider. The analysis uses a proton-proton data sample corresponding to an integrated luminosity of 20.2 fb$^{-1}$ collected at a centre-of-mass energy $\sqrt{s}$ = 8 TeV. Integrated fiducial cross-sections together with normalised differential fiducial cross-sections, sensitive to the kinematics of final-state QED radiation, are obtained. The results are found to be in agreement with state-of-the-art predictions for final-state QED radiation. First measurements of $Z \to ll\gamma\gamma$ decays are also reported.


title: Simpler Reductions from Exact Triangle

abstract: In this paper, we provide simpler reductions from Exact Triangle to two important problems in fine-grained complexity: Exact Triangle with Few Zero-Weight $4$-Cycles and All-Edges Sparse Triangle. Exact Triangle instances with few zero-weight $4$-cycles was considered by Jin and Xu [STOC 2023], who used it as an intermediate problem to show $3$SUM hardness of All-Edges Sparse Triangle with few $4$-cycles (independently obtained by Abboud, Bringmann and Fischer [STOC 2023]), which is further used to show $3$SUM hardness of a variety of problems, including $4$-Cycle Enumeration, Offline Approximate Distance Oracle, Dynamic Approximate Shortest Paths and All-Nodes Shortest Cycles. We provide a simple reduction from Exact Triangle to Exact Triangle with few zero-weight $4$-cycles. Our new reduction not only simplifies Jin and Xu's previous reduction, but also strengthens the conditional lower bounds from being under the $3$SUM hypothesis to the even more believable Exact Triangle hypothesis. As a result, all conditional lower bounds shown by Jin and Xu [STOC 2023] and by Abboud, Bringmann and Fischer [STOC 2023] using All-Edges Sparse Triangle with few $4$-cycles as an intermediate problem now also hold under the Exact Triangle hypothesis. We also provide two alternative proofs of the conditional lower bound of the All-Edges Sparse Triangle problem under the Exact Triangle hypothesis, which was originally proved by Vassilevska Williams and Xu [FOCS 2020]. Both of our new reductions are simpler, and one of them is also deterministic -- all previous reductions from Exact Triangle or 3SUM to All-Edges Sparse Triangle (including P\u{a}tra\c{s}cu's seminal work [STOC 2010]) were randomized.


title: General Relativistic Chronometry with Clocks on Ground and in Space

abstract: One of geodesy's main tasks is to determine the gravity field of the Earth. High precision clocks have the potential to provide a new tool in a global determination of the Earth's gravitational potential based on the gravitational redshift. Towards this clock-based gravimetry or chronometry in stationary spacetimes, exact expressions for the relativistic redshift and the timing between observers in various configurations are derived. These observers are assumed to be equipped with standard clocks and move along arbitrary worldlines. It is shown that redshift measurements, involving clocks on ground and/or in space, can be used to determine the (mass) multipole moments of the underlying spacetime. Results shown here are in agreement with the Newtonian potential determination from, e.g., the so-called energy approach. The framework of chronometric geodesy is exemplified in different exact vacuum spacetimes for illustration and future gravity field recovery missions may use clock comparisons as an additional data channel for advanced data fusion.


title: Studying the Effects of Sex-related Differences on Brain Age Prediction using brain MR Imaging

abstract: While utilizing machine learning models, one of the most crucial aspects is how bias and fairness affect model outcomes for diverse demographics. This becomes especially relevant in the context of machine learning for medical imaging applications as these models are increasingly being used for diagnosis and treatment planning. In this paper, we study biases related to sex when developing a machine learning model based on brain magnetic resonance images (MRI). We investigate the effects of sex by performing brain age prediction considering different experimental designs: model trained using only female subjects, only male subjects and a balanced dataset. We also perform evaluation on multiple MRI datasets (Calgary-Campinas(CC359) and CamCAN) to assess the generalization capability of the proposed models. We found disparities in the performance of brain age prediction models when trained on distinct sex subgroups and datasets, in both final predictions and decision making (assessed using interpretability models). Our results demonstrated variations in model generalizability across sex-specific subgroups, suggesting potential biases in models trained on unbalanced datasets. This underlines the critical role of careful experimental design in generating fair and reliable outcomes.


title: Improving Interface Physics Understanding in High-Frequency Cryogenic Normal Conducting Cavities

abstract: As progress towards real implementations of cryogenic high gradient normal conducting accelerating cavities continues, a more mature understanding of the surface physics in this novel environment becomes increasingly necessary. To this end, we here focus on developing a deeper understanding of one cavity figure of merit, the radiofrequency (RF) surface resistivity, $R_s$. A combination of experimental measurements and theory development form the basis of this work. For many cases, existing theory is sufficient but there are nuances leading to systemic errors in prediction which we address here. In addition, for certain cases there exist unexpected local minimum in $R_s$ found at temperatures above 0K. We compare here several alternative models for RF surface resistivity those which incorporate thin film like behavior which we use to predict the location of the local minimum in surface resistivity. Our experimental results focus on C-band frequencies for the benefit of several future cryogenic linear accelerator concepts intended to operate in this regime. To this end we have measured factor of $2.89\pm 0.05$ improvements in quality factor at $77$K and $4.61\pm 0.05$ at 45K. We further describe the test setup and cooling capabilities to address systematic issues associated with the measurements as well as a comparison of RF cavity preparation and the significant effect on $R_s$. Some implications of our measurements to linear accelerators combined with the theoretical considerations are extended to a wider range of frequencies especially the two additional aforementioned bands. Additional possible implications for condensed matter physics studies are mentioned.