title: The thesan project: public data release of radiation-hydrodynamic simulations matching reionization-era JWST observations

abstract: Cosmological simulations serve as invaluable tools for understanding the Universe. However, the technical complexity and substantial computational resources required to generate such simulations often limit their accessibility within the broader research community. Notable exceptions exist, but most are not suited for simultaneously studying the physics of galaxy formation and cosmic reionization during the first billion years of cosmic history. This is especially relevant now that a fleet of advanced observatories (e.g. James Webb Space Telescope, Nancy Grace Roman Space Telescope, SPHEREx, ELT, SKA) will soon provide an holistic picture of this defining epoch. To bridge this gap, we publicly release all simulation outputs and post-processing products generated within the THESAN simulation project at https://thesan-project.com. This project focuses on the $z \geq 5.5$ Universe, combining a radiation-hydrodynamics solver (AREPO-RT), a well-tested galaxy formation model (IllustrisTNG) and cosmic dust physics to provide a comprehensive view of the Epoch of Reionization. The THESAN suite includes 16 distinct simulations, each varying in volume, resolution, and underlying physical models. This paper outlines the unique features of these new simulations, the production and detailed format of the wide range of derived data products, and the process for data retrieval. Finally, as a case study, we compare our simulation data with a number of recent observations from the James Webb Space Telescope, affirming the accuracy and applicability of THESAN. The examples also serve as prototypes for how to utilise the released dataset to perform comparisons between predictions and observations.


title: Machine Learning the Dark Matter Halo Mass of Milky Way-Like Systems

abstract: Despite the Milky Way's proximity to us, our knowledge of its dark matter halo is fairly limited, and there is still considerable uncertainty in its halo mass. Many past techniques have been limited by assumptions such as the Galaxy being in dynamical equilibrium as well as nearby galaxies being true satellites of the Galaxy, and/or the need to find large samples of Milky Way analogs in simulations.Here, we propose a new technique based on neural networks that obtains high precision ($<0.14$ dex mass uncertainty) without assuming halo dynamical equilibrium or that neighboring galaxies are all satellites, and which can use information from a wide variety of simulated halos (even those dissimilar to the Milky Way) to improve its performance. This method uses only observable information including satellite orbits, distances to nearby larger halos, and the maximum circular velocity of the largest satellite galaxy. In this paper, we demonstrate a proof-of-concept method on simulated dark matter halos; in future papers in this series, we will apply neural networks to estimate the masses of the Milky Way's and M31's dark matter halos, and we will train variations of these networks to estimate other halo properties including concentration, assembly history, and spin axis.


title: Constraining Cosmology With the CMB $\times$ LIM-Nulling Convergence

abstract: Lensing reconstruction maps from the cosmic microwave background (CMB) provide direct observations of the matter distribution of the universe without the use of a biased tracer. Such maps, however, constitute projected observables along the line of sight that are dominated by their low-redshift contributions. To cleanly access high-redshift information, Maniyar et al. showed that a linear combination of lensing maps from both CMB and line intensity mapping (LIM) observations can exactly null the low-redshift contribution to CMB lensing convergence. In this paper we explore the scientific returns of this nulling technique. We show that LIM-nulling estimators can place constraints on standard $\Lambda$CDM plus neutrino mass parameters that are competitive with traditional CMB lensing. Additionally, we demonstrate that as a clean probe of the high-redshift universe, LIM-nulling can be used for model-independent tests of cosmology beyond $\Lambda$CDM and as a probe of the high-redshift matter power spectrum.


title: Molecular and Ionized Gas in Tidal Dwarf Galaxies: The Spatially Resolved Star-Formation Relation

abstract: Tidal dwarf galaxies (TDGs) are low-mass objects that form within tidal and/or collisional debris ejected from more massive interacting galaxies. We use CO($1-0$) observations from ALMA and integral-field spectroscopy from MUSE to study molecular and ionized gas in three TDGs: two around the collisional galaxy NGC 5291 and one in the late-stage merger NGC 7252. The CO and H$\alpha$ emission is more compact than the HI emission and displaced from the HI dynamical center, so these gas phases cannot be used to study the internal dynamics of TDGs. We use CO, HI, and H$\alpha$ data to measure the surface densities of molecular gas ($\Sigma_{\rm mol}$), atomic gas ($\Sigma_{\rm atom}$) and star-formation rate ($\Sigma_{\rm SFR}$), respectively. We confirm that TDGs follow the same spatially integrated $\Sigma_{\rm SFR}-\Sigma_{\rm gas}$ relation of regular galaxies, where $\Sigma_{\rm gas} = \Sigma_{\rm mol} + \Sigma_{\rm atom}$, even though they are HI dominated. We find a more complex behaviour in terms of the spatially resolved $\Sigma_{\rm SFR}-\Sigma_{\rm mol}$ relation on sub-kpc scales. The majority ($\sim$60$\%$) of SF regions in TDGs lie on the same $\Sigma_{\rm SFR}-\Sigma_{\rm mol}$ relation of normal spiral galaxies but show a higher dispersion around the mean. The remaining fraction of SF regions ($\sim$40$\%$) lie in the starburst region and are associated with the formation of massive super star clusters, as shown by Hubble Space Telescope images. We conclude that the local SF activity in TDGs proceeds in a hybrid fashion, with some regions comparable to normal spiral galaxies and others to extreme starbursts.


title: The contribution of massive haloes to the matter power spectrum in the presence of AGN feedback

abstract: The clustering of matter, as measured by the matter power spectrum, informs us about dark matter and cosmology, as well as baryonic effects on the distribution of matter in the universe. Using cosmological hydrodynamical simulations from the cosmo-OWLS and BAHAMAS simulation projects, we investigate the contribution of power in haloes with various masses, defined by particles within some overdensity region, to the full power spectrum, as well as the power ratio between baryonic and dark matter only (DMO) simulations for a matched (between simulations) and an unmatched set of haloes. We find that the presence of AGN feedback suppresses the power on all scales for haloes of all masses examined ($10^{11.25}\leq M_{500,\mathrm{crit}}\leq 10^{14.75}\,\mathrm{M_\odot}/h$), by ejecting matter from within $r_{500,\mathrm{c}}$ to $r_{200,\mathrm{m}}$ and potentially beyond in massive haloes ($M_{500,\mathrm{crit}}\gtrsim 10^{13}\,\mathrm{M_\odot}/h$), and likely impeding the growth of lower-mass haloes as a consequence. A lower AGN feedback temperature drastically changes the behaviour of high-mass haloes ($M_{500,\mathrm{crit}}\geq 10^{13.25}\,\mathrm{M_\odot}/h$), damping the effects of AGN feedback at small scales, $k\,\gtrsim\,4\,h\mathrm{\,Mpc^{-1}}$. For $k\,\lesssim\,3\,h\mathrm{\,Mpc^{-1}}$, group-sized haloes ($10^{14\pm0.25}\, \mathrm{M_\odot}/h$) dominate the power spectrum, while on smaller scales the combined contributions of lower-mass haloes to the full power spectrum rise above that of the group-sized haloes. Finally, we present a model for the power suppression due to feedback, which combines observed mean halo baryon fractions with halo mass fractions and halo-matter cross-spectra extracted from dark matter only simulations to predict the power suppression to percent-level accuracy down to $k\,\approx\,10\,h\mathrm{\,Mpc^{-1}}$ without any free parameters.


title: CoReCon: an open, community-powered collection of Reionization constraints

abstract: The number of available constraints on the Universe during and before cosmic reionization is rapidly growing. These are often scattered across inhomogeneous formats, unit systems and sampling strategies. In this paper, I introduce CoReCon, a Python package designed to provide a growing set of constraints on key physical quantities related to the Epoch of Reionization and a platform for the high-redshift research community to collect and store, in an open way, current and forthcoming observational constraints.


title: Towards Accurate Modeling of Line-Intensity Mapping One-Point Statistics: Including Extended Profiles

abstract: Line-intensity mapping (LIM) is quickly attracting attention as an alternative technique to probe large-scale structure and galaxy formation and evolution at high redshift. LIM one-point statistics are motivated because they provide access to the highly non-Gaussian information present in line-intensity maps and contribute to break degeneracies between cosmology and astrophysics. Now that promising surveys are underway, an accurate model for the LIM probability distribution function (PDF) is necessary to employ one-point statistics. We consider the impact of extended emission and limited experimental resolution in the LIM PDF for the first time. We find that these effects result in a lower and broader peak at low intensities and a lower tail towards high intensities. Focusing on the distribution of intensities in the observed map, we perform the first model validation of LIM one-point statistics with simulations and find good qualitative agreement. We also discuss the impact on the covariance, and demonstrate that if not accounted for, large biases in the astrophysical parameters can be expected in parameter inference. These effects are also relevant for any summary statistic estimated from the LIM PDF, and must be implemented to avoid biased results. The comparison with simulations shows, however, that there are still deviations, mostly related with the modeling of the clustering of emitters, which encourage further development of the modeling of LIM one-point statistics.


title: How Effective is $N_{eff}$ at Discovering Dark Radiation in a Cosmology with Heavy Particle Decay?

abstract: Any light relic which was in thermal equilibrium with the Standard Model before it freezes out results in a shift in the effective number of neutrino species, $N_{eff}$. This quantity is being measured with increasing precision, and planned experiments would seemingly rule out light particles beyond the Standard Model, even for rather high temperature light particle freeze out. Here we explore how these bounds are loosened if the energy density of the light particles is diluted with respect to that of Standard Model radiation, which can happen if a heavy particle decays into the Standard Model bath after the light particle freezes out. After calculating how heavy state decays alter $N_{eff}$ for light particles beyond the Standard Model, we focus in particular on the case that the heavy decaying particle is a gravitino, and use current bounds on $N_{eff}$ to place constraints on the gravitino mass and the branching ratio into light particles for different values of the reheating temperature of the Universe.


title: Percolation Transition in a Topological Phase

abstract: Transition out of a topological phase is typically characterized by discontinuous changes in topological invariants along with bulk gap closings. However, as a clean system is geometrically punctured, it is natural to ask the fate of an underlying topological phase. To understand this physics we introduce and study both short and long-ranged toy models where a one dimensional topological phase is subjected to bond percolation protocols. We find that non-trivial boundary phenomena follow competing energy scales even while global topological response is governed via geometrical properties of the percolated lattice. Using numerical, analytical and appropriate mean-field studies we uncover the rich phenomenology and the various cross-over regimes of these systems. In particular, we discuss emergence of "fractured topological region" where an overall trivial system contains macroscopic number of topological clusters. Our study shows the interesting physics that can arise from an interplay of geometrical disorder within a topological phase.


title: Learning topological operations on meshes with application to block decomposition of polygons

abstract: We present a learning based framework for mesh quality improvement on unstructured triangular and quadrilateral meshes. Our model learns to improve mesh quality according to a prescribed objective function purely via self-play reinforcement learning with no prior heuristics. The actions performed on the mesh are standard local and global element operations. The goal is to minimize the deviation of the node degrees from their ideal values, which in the case of interior vertices leads to a minimization of irregular nodes.


title: Emergence and cosmic evolution of the Kennicutt-Schmidt relation driven by interstellar turbulence

abstract: The scaling relations between the gas content and star formation rate of galaxies provide useful insights into processes governing their formation and evolution. We investigate the emergence and the physical drivers of the global Kennicutt-Schmidt (KS) relation at $0.25 \leq z \leq 4$ in the cosmological hydrodynamic simulation NewHorizon capturing the evolution of a few hundred galaxies with a resolution of $\sim$ 40 pc. The details of this relation vary strongly with the stellar mass of galaxies and the redshift. A power-law relation $\Sigma_{\rm SFR} \propto \Sigma_{\rm gas}^{a}$ with $a \approx 1.4$, like that found empirically, emerges at $z \approx 2 - 3$ for the most massive half of the galaxy population. However, no such convergence is found in the lower-mass galaxies, for which the relation gets shallower with decreasing redshift. At the galactic scale, the star formation activity correlates with the level of turbulence of the interstellar medium, quantified by the Mach number, rather than with the gas fraction (neutral or molecular), confirming previous works. With decreasing redshift, the number of outliers with short depletion times diminishes, reducing the scatter of the KS relation, while the overall population of galaxies shifts toward low densities. Using pc-scale star formation models calibrated with local Universe physics, our results demonstrate that the cosmological evolution of the environmental and intrinsic conditions conspire to converge towards a significant and detectable imprint in galactic-scale observables, in their scaling relations, and in their reduced scatter.


title: The CO-to-H2 conversion factor of molecular outflows. Rovibrational CO emission in NGC 3256-S resolved by JWST/NIRSpec

abstract: We analyze JWST/NIRSpec observations of the CO rovibrational v=1-0 band at 4.67um around the dust-embedded southern active galactic nucleus (AGN) of NGC3256 (d=40Mpc; L(IR)=10^11.6 Lsun). We classify the CO v=1-0 spectra into three categories based on the behavior of P- and R-branches of the band: (a) both branches in absorption toward the nucleus; (b) P-R asymmetry (P-branch in emission and R-branch in absorption) along the disk of the galaxy; and (c) both branches in emission in the outflow region above and below the disk. In this paper, we focus on the outflow. The CO v=1-0 emission can be explained by the vibrational excitation of CO in the molecular outflow by the bright mid-IR ~4.7um continuum from the AGN up to r~250pc. We model the ratios between the P(J+2) and R(J) transitions of the band to derive the physical properties (column density, kinetic temperature, and CO-to-H2 conversion factor, alpha_CO) of the outflowing gas. We find that the 12CO v=1-0 emission is optically thick for J<4, while the 13CO v=1-0 emission remains optically thin. From the P(2)/R(0) ratio, we identify a temperature gradient in the outflow from >40K in the central 100pc to <15K at 250pc sampling the cooling of the molecular gas in the outflow. We used three methods to derive alpha_CO in eight 100pc (0.5") apertures in the outflow by fitting the P(J+2)/R(J) ratios with non-LTE models. We obtain low median alpha_CO factors (0.40-0.61) x 3.2e-4/[CO/H2] Msun (K km/s/pc2)^-1 in the outflow regions. This implies that outflow rates and energetics might be overestimated if a ULIRG-like alpha_CO, which is 1.3-2 times larger, is assumed. The reduced alpha_CO can be explained if the outflowing molecular clouds are not virialized. We also report the first extragalactic detection of a broad (sigma=0.0091um) spectral feature at 4.645um associated with aliphatic deuterium on polycyclic aromatic hydrocarbons (D_n-PAH).


title: Topological Triviality of Flat Hamiltonians

abstract: Landau levels play a key role in theoretical models of the quantum Hall effect. Each Landau level is degenerate, flat and topologically non-trivial. Motivated by Landau levels, we study tight-binding Hamiltonians whose energy levels are all flat. We demonstrate that in two dimensions, for such Hamiltonians, the flat bands must be topologically trivial. To that end, we show that the projector onto each flat band is necessarily strictly local. Our conclusions do not need the assumption of lattice translational invariance.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el math-ph math.MP


title: Operationally independent events can influence each other in quantum theory

abstract: In any known description of nature, two physical systems are considered independent of each other if any action on one of the systems does not change the other system. From our classical intuitions about the world, we further conclude that these two systems are not affecting each other in any possible way, and thus these two systems are causally disconnected or they do not influence each other. Building on this idea, we show that in quantum theory such a notion of classical independence is not satisfied, that is, two quantum systems can still influence each other even if any operation on one of the systems does not create an observable effect on the other. For our purpose, we consider the framework of quantum networks and construct a linear witness utilizing the Clauser-Horne-Shimony-Holt inequality. We also discuss one of the interesting applications resulting from the maximal violation of classical independence towards device-independent certification of quantum states and measurements.


title: The $q-$state Potts model from the Nonperturbative Renormalization Group

abstract: We study the $q$-state Potts model for $q$ and the space dimension $d$ arbitrary real numbers using the Derivative Expansion of the Nonperturbative Renormalization Group at its leading order, the local potential approximation (LPA and LPA'). We determine the curve $q_c(d)$ separating the first ($q>q_c(d)$) and second ($q<q_c(d)$) order phase transition regions for $2.8<d\leq 4$. At small $\epsilon=4-d$ and $\delta=q-2$ the calculation is performed in a double expansion in these parameters and we find $q_c(d)=2+a \epsilon^2$ with $a\simeq 0.1$. For finite values of $\epsilon$ and $\delta$, we obtain this curve by integrating the LPA and LPA' flow equations. We find that $q_c(d=3)=2.11(7)$ which confirms that the transition is of first order in $d=3$ for the three-state Potts model.


title: Leveraging Large Language Models for Automated Dialogue Analysis

abstract: Developing high-performing dialogue systems benefits from the automatic identification of undesirable behaviors in system responses. However, detecting such behaviors remains challenging, as it draws on a breadth of general knowledge and understanding of conversational practices. Although recent research has focused on building specialized classifiers for detecting specific dialogue behaviors, the behavior coverage is still incomplete and there is a lack of testing on real-world human-bot interactions. This paper investigates the ability of a state-of-the-art large language model (LLM), ChatGPT-3.5, to perform dialogue behavior detection for nine categories in real human-bot dialogues. We aim to assess whether ChatGPT can match specialized models and approximate human performance, thereby reducing the cost of behavior detection tasks. Our findings reveal that neither specialized models nor ChatGPT have yet achieved satisfactory results for this task, falling short of human performance. Nevertheless, ChatGPT shows promising potential and often outperforms specialized detection models. We conclude with an in-depth examination of the prevalent shortcomings of ChatGPT, offering guidance for future research to enhance LLM capabilities.


title: When the moduli space is an orbifold: Spontaneous breaking of continuous non-invertible symmetries

abstract: We investigate theories of Nambu-Goldstone bosons where the spontaneously broken continuous symmetry is non-invertible. In such theories, the vacua generically parameterize an orbifold. We study in detail the simplest example of a single free scalar with shift symmetry, modded by reflection symmetry. At singular points of the vacuum manifold, we show that the spectrum of NG excitations is reduced, in particular there are no single-particle states. At the smooth points, on the other hand, single NG modes are present. We show that this is a consequence of the fact that at those points one can construct invertible operators implementing the continuous symmetry on the Hilbert space.


title: Discovering Long-lived Particles at DUNE

abstract: Long-lived particles (LLPs) arise in many theories beyond the Standard Model. These may be copiously produced from meson decays (or through their mixing with the LLP) at neutrino facilities and leave a visible decay signal in nearby neutrino detectors. We compute the expected sensitivity of the DUNE liquid argon (LAr) and gaseous argon (GAr) near detectors (ND) to light LLP decays. In doing so, we determine the expected backgrounds for both detectors, which have been largely overlooked in the literature, taking into account their angular and energy resolution. We show that searches for LLP decays into muon pairs, or into three pions, would be extremely clean. Conversely, decays into two photons would be affected by large backgrounds from neutrino interactions for both near detectors; finally, the reduced signal efficiency for $e^+ e^-$ pairs leads to a reduced sensitivity for ND-LAr. Our results are first presented in a model-independent way, as a function of the mass of the new state and its lifetime. We also provide detailed calculations for several phenomenological models with axion-like particles (coupled to gluons, to electroweak bosons, or to quark currents). Some of our results may also be of interest for other neutrino facilities using a similar detector technology (e.g. MicroBooNE, SBND, ICARUS, or the T2K Near Detector).


title: Ollivier curvature, Isoperimetry, concentration, and Log-Sobolev inequalitiy

abstract: We introduce a Laplacian separation principle for the the eikonal equation on Markov chains. As application, we prove an isoperimetric concentration inequality for Markov chains with non-negative Ollivier curvature. That is, every single point from the concentration profile yields an estimate for every point of the isoperimetric estimate. Applying to exponential and Gaussian concentration, we obtain affirmative answers to two open quesions by Erbar and Fathi. Moreover, we prove that the modified log-Sobolev constant is at least the minimal Ollivier Ricci curvature, assuming non-negative Ollivier sectional curvature, i.e., the Ollivier Ricci curvature when replacing the $\ell_1$ by the $\ell_\infty$ Wasserstein distance. This settles a recent open Problem by Pedrotti. We give a simple example showing that non-negative Ollivier sectional curvature is necessary to obtain a modified log-Sobolev inequality via positive Ollivier Ricci bound. This provides a counterexample to a conjecture by Peres and Tetali.


title: Non-smooth Control Barrier Functions for Stochastic Dynamical Systems

abstract: Uncertainties arising in various control systems, such as robots that are subject to unknown disturbances or environmental variations, pose significant challenges for ensuring system safety, such as collision avoidance. At the same time, safety specifications are getting more and more complex, e.g., by composing multiple safety objectives through Boolean operators resulting in non-smooth descriptions of safe sets. Control Barrier Functions (CBFs) have emerged as a control technique to provably guarantee system safety. In most settings, they rely on an assumption of having deterministic dynamics and smooth safe sets. This paper relaxes these two assumptions by extending CBFs to encompass control systems with stochastic dynamics and safe sets defined by non-smooth functions. By explicitly considering the stochastic nature of system dynamics and accommodating complex safety specifications, our method enables the design of safe control strategies in uncertain and complex systems. We provide formal guarantees on the safety of the system by leveraging the theoretical foundations of stochastic CBFs and non-smooth safe sets. Numerical simulations demonstrate the effectiveness of the approach in various scenarios.


title: AGIBench: A Multi-granularity, Multimodal, Human-referenced, Auto-scoring Benchmark for Large Language Models

abstract: Large language models (LLMs) like ChatGPT have revealed amazing intelligence. How to evaluate the question-solving abilities of LLMs and their degrees of intelligence is a hot-spot but challenging issue. First, the question-solving abilities are interlaced with different ability branches like understanding and massive knowledge categories like mathematics. Second, the inputs of questions are multimodal that may involve text and images. Third, the response format of LLMs is diverse and thus poses great challenges for result extraction and evaluation. In this paper, we propose AGIBench -- a multi-granularity, multimodal, human-referenced, and auto-scoring benchmarking methodology for LLMs. Instead of a collection of blended questions, AGIBench focuses on three typical ability branches and adopts a four-tuple <ability branch, knowledge, difficulty, modal> to label the attributes of each question. First, it supports multi-granularity benchmarking, e.g., per-question, per-ability branch, per-knowledge, per-modal, per-dataset, and per-difficulty level granularities. Second, it contains multimodal input, including text and images. Third, it classifies all the questions into five degrees of difficulty according to the average accuracy rate of abundant educated humans (human-referenced). Fourth, it adopts zero-shot learning to avoid introducing additional unpredictability and provides an auto-scoring method to extract and judge the result. Finally, it defines multi-dimensional metrics, including accuracy under the average, worst, best, and majority voting cases, and repeatability. AGIBench is publically available from \url{https://www.benchcouncil.org/agibench}.


title: Level Up: Private Non-Interactive Decision Tree Evaluation using Levelled Homomorphic Encryption

abstract: As machine learning as a service continues gaining popularity, concerns about privacy and intellectual property arise. Users often hesitate to disclose their private information to obtain a service, while service providers aim to protect their proprietary models. Decision trees, a widely used machine learning model, are favoured for their simplicity, interpretability, and ease of training. In this context, Private Decision Tree Evaluation (PDTE) enables a server holding a private decision tree to provide predictions based on a client's private attributes. The protocol is such that the server learns nothing about the client's private attributes. Similarly, the client learns nothing about the server's model besides the prediction and some hyperparameters. In this paper, we propose two novel non-interactive PDTE protocols, XXCMP-PDTE and RCC-PDTE, based on two new non-interactive comparison protocols, XXCMP and RCC. Our evaluation of these comparison operators demonstrates that our proposed constructions can efficiently evaluate high-precision numbers. Specifically, RCC can compare 32-bit numbers in under 10 milliseconds. We assess our proposed PDTE protocols on decision trees trained over UCI datasets and compare our results with existing work in the field. Moreover, we evaluate synthetic decision trees to showcase scalability, revealing that RCC-PDTE can evaluate a decision tree with over 1000 nodes and 16 bits of precision in under 2 seconds. In contrast, the current state-of-the-art requires over 10 seconds to evaluate such a tree with only 11 bits of precision.


title: A Distributed Data-Parallel PyTorch Implementation of the Distributed Shampoo Optimizer for Training Neural Networks At-Scale

abstract: Shampoo is an online and stochastic optimization algorithm belonging to the AdaGrad family of methods for training neural networks. It constructs a block-diagonal preconditioner where each block consists of a coarse Kronecker product approximation to full-matrix AdaGrad for each parameter of the neural network. In this work, we provide a complete description of the algorithm as well as the performance optimizations that our implementation leverages to train deep networks at-scale in PyTorch. Our implementation enables fast multi-GPU distributed data-parallel training by distributing the memory and computation associated with blocks of each parameter via PyTorch's DTensor data structure and performing an AllGather primitive on the computed search directions at each iteration. This major performance enhancement enables us to achieve at most a 10% performance reduction in per-step wall-clock time compared against standard diagonal-scaling-based adaptive gradient methods. We validate our implementation by performing an ablation study on training ImageNet ResNet50, demonstrating Shampoo's superiority over standard training recipes with minimal hyperparameter tuning.


title: Secondary accretion of dark matter in intermediate mass-ratio inspirals: Dark-matter dynamics and gravitational-wave phase

abstract: When particle dark matter is bound gravitationally around a massive black hole in sufficiently high densities, the dark matter will affect the rate of inspiral of a secondary compact object that forms a binary with the massive black hole. In this paper, we revisit previous estimates of the impact of dark-matter accretion by black-hole secondaries on the emitted gravitational waves. We identify a region of parameter space of binaries for which estimates of the accretion were too large (specifically, because the dark-matter distribution was assumed to be unchanging throughout the process, and the secondary black hole accreted more mass in dark matter than that enclosed within the orbit of the secondary). To restore consistency in these scenarios, we propose and implement a method to remove dark-matter particles from the distribution function when they are accreted by the secondary. This new feedback procedure then satisfies mass conservation, and when evolved with physically reasonable initial data, the mass accreted by the secondary no longer exceeds the mass enclosed within its orbital radius. Comparing the simulations with accretion feedback to those without this feedback, including feedback leads to a smaller gravitational-wave dephasing from binaries in which only the effects of dynamical friction are being modeled. Nevertheless, the dephasing can be hundreds to almost a thousand gravitational-wave cycles, an amount that should allow the effects of accretion to be inferred from gravitational-wave measurements of these systems.


title: Belief Control Barrier Functions for Risk-aware Control

abstract: Ensuring safety in real-world robotic systems is often challenging due to unmodeled disturbances and noisy sensor measurements. To account for such stochastic uncertainties, many robotic systems leverage probabilistic state estimators such as Kalman filters to obtain a robot's belief, i.e. a probability distribution over possible states. We propose belief control barrier functions (BCBFs) to enable risk-aware control synthesis, leveraging all information provided by state estimators. This allows robots to stay in predefined safety regions with desired confidence under these stochastic uncertainties. BCBFs are general and can be applied to a variety of robotic systems that use extended Kalman filters as state estimator. We demonstrate BCBFs on a quadrotor that is exposed to external disturbances and varying sensing conditions. Our results show improved safety compared to traditional state-based approaches while allowing control frequencies of up to 1kHz.


title: Waveguide QED in the Dipole Gauge

abstract: In recent studies on ultrastrong coupling between matter and light in cavities, the significance of gauge choice when employing the widely-used two-level approximation has been highlighted. Expanding upon these investigations, we extend the analysis to waveguide QED, where we demonstrate that truncations performed in the dipole gauge also yield accurate results. To illustrate this point, we consider the case of a dipole coupled to a cavity array. Various numerical and analytical techniques have been employed to investigate the low-energy dynamics of the system. Leveraging these theoretical tools, we argue that single photon scattering is an ideal method for investigating gauge-related issues. Our findings reveal two novel effects in the scattering spectra, which cannot be reproduced in a truncated model using the Coulomb gauge. Firstly, the primary resonance is modified due to a Lamb shift contribution. Secondly, we observe asymmetric transmission amplitudes surrounding this resonance, reflecting the asymmetry of the spectral density in this model. Additionally, we explore other features in the scattering spectra resulting from ultrastrong couplings, such as the emergence of Fano resonances and inelastic channels. Finally, we propose an experimental test of our ideas in the context of circuit QED.


title: Nonlocality activation in a photonic quantum network

abstract: Bell nonlocality refers to correlations between two distant, entangled particles that challenge classical notions of local causality. Beyond its foundational significance, nonlocality is crucial for device-independent technologies like quantum key distribution and randomness generation. Nonlocality quickly deteriorates in the presence of noise, and restoring nonlocal correlations requires additional resources. These often come in the form of many instances of the input state and joint measurements, incurring a significant resource overhead. Here, we experimentally demonstrate that single copies of Bell-local states, incapable of violating any standard Bell inequality, can give rise to nonlocality after being embedded into a quantum network of multiple parties. We subject the initial entangled state to a quantum channel that broadcasts part of the state to two independent receivers and certify the nonlocality in the resulting network by violating a tailored Bell-like inequality. We obtain these results without making any assumptions about the prepared states, the quantum channel, or the validity of quantum theory. Our findings have fundamental implications for nonlocality and enable the practical use of nonlocal correlations in real-world applications, even in scenarios dominated by noise.


title: On Solving Fixed Charge Transportation Problems Having Interval Valued Parameters

abstract: In this article, we propose a new method for solving the interval fixed charge transportation problem (IFCTP), wherein the parameters (associated cost, fixed cost, supply, and demand) are represented by interval numbers. First, an equivalent bi-objective fixed charge transportation problem (FCTP) is derived from the given IFCTP, and then the equivalent crisp problem is solved using a fuzzy programming technique. To demonstrate the solution procedure, two existing numerical examples (Safi and Razmjoo {\cite{bakp1}}) are coded and solved in LINGO 19.0. We establish the effectiveness of our proposed method through a comparison of the results achieved with those of two pre-existing methods.


title: Leveraging Large Language Models and Weak Supervision for Social Media data annotation: an evaluation using COVID-19 self-reported vaccination tweets

abstract: The COVID-19 pandemic has presented significant challenges to the healthcare industry and society as a whole. With the rapid development of COVID-19 vaccines, social media platforms have become a popular medium for discussions on vaccine-related topics. Identifying vaccine-related tweets and analyzing them can provide valuable insights for public health research-ers and policymakers. However, manual annotation of a large number of tweets is time-consuming and expensive. In this study, we evaluate the usage of Large Language Models, in this case GPT-4 (March 23 version), and weak supervision, to identify COVID-19 vaccine-related tweets, with the purpose of comparing performance against human annotators. We leveraged a manu-ally curated gold-standard dataset and used GPT-4 to provide labels without any additional fine-tuning or instructing, in a single-shot mode (no additional prompting).


title: Minimum Bitrate Neuromorphic Encoding for Continuous-Time Gauss-Markov Processes

abstract: In this work, we study minimum data rate tracking of a dynamical system under a neuromorphic event-based sensing paradigm. We begin by bridging the gap between continuous-time (CT) system dynamics and information theory's causal rate distortion theory. We motivate the use of non-singular source codes to quantify bitrates in event-based sampling schemes. This permits an analysis of minimum bitrate event-based tracking using tools already established in the control and information theory literature. We derive novel, nontrivial lower bounds to event-based sensing, and compare the lower bound with the performance of well-known schemes in the established literature.


title: Primordial Black Hole versus Inflaton: Two Chief Systems of the World

abstract: We compare the dark matter(DM) production processes and its parameters space in the background of reheating obtained from two chief systems in the early Universe: the inflaton $\phi$ and the primordial black holes (PBHs). We concentrated on the mechanism where DMs are universally produced only from the PBH decay and the generation of the standard model plasma from both inflton and PBHs. Whereas the distribution of Primordial Black Holes behaves like dust, the inflaton phenomenology depends strongly on its equation of state after the inflationary phase, which in turn is conditioned by the nature of the potential $V(\phi)$. Depending upon the initial mass and population of PBHs, a large range of DM mass is shown to be viable if reheating is controlled by PBHs itself. Inflaton-dominated reheating is observed to further widen such possibilities depending on the initial population of black holes and its mass as well as the coupling of the inflaton to the standard model sector.


title: A Differentiable Perturbation-based Weak Lensing Shear Estimator

abstract: Upcoming imaging surveys will use weak gravitational lensing to study the large-scale structure of the Universe, demanding sub-percent accuracy for precise cosmic shear measurements. We present a new differentiable implementation of our perturbation-based shear estimator (FPFS), using JAX, which is publicly available as part of a new suite of analytic shear algorithms called AnaCal. This code can analytically calibrate the shear response of any nonlinear observable constructed with the FPFS shapelets and detection modes utilizing auto-differentiation (AD), generalizing the formalism to include a family of shear estimators with corrections for detection and selection biases. Using the AD capability of JAX, it calculates the full Hessian matrix of the non-linear observables, which improves the previously presented second-order noise bias correction in the shear estimation. As an illustration of the power of the new AnaCal framework, we optimize the effective galaxy number density in the space of the generalized shear estimators using an LSST-like galaxy image simulation for the ten-year LSST. For the generic shear estimator, the magnitude of the multiplicative bias $|m|$ is below $3\times 10^{-3}$ (99.7% confidence interval), and the effective galaxy number density is improved by 5%. We also discuss some planned future additions to the AnaCal software suite to extend its applicability beyond the FPFS measurements.


title: The maximum size of adjacency-crossing graphs

abstract: An adjacency-crossing graph is a graph that can be drawn such that every two edges that cross the same edge share a common endpoint. We show that the number of edges in an $n$-vertex adjacency-crossing graph is at most $5n-10$. If we require the edges to be drawn as straight-line segments, then this upper bound becomes $5n-11$. Both of these bounds are tight. The former result also follows from a very recent and independent work of Cheong et al.\cite{cheong2023weakly} who showed that the maximum size of weakly and strongly fan-planar graphs coincide. By combining this result with the bound of Kaufmann and Ueckerdt\cite{KU22} on the size of strongly fan-planar graphs and results of Brandenburg\cite{Br20} by which the maximum size of adjacency-crossing graphs equals the maximum size of fan-crossing graphs which in turn equals the maximum size of weakly fan-planar graphs, one obtains the same bound on the size of adjacency-crossing graphs. However, the proof presented here is different, simpler and direct.


title: Exceptional point induced quantum phase synchronization and entanglement dynamics in mechanically coupled gain-loss oscillators

abstract: The optomechanical cavity (OMC) system has been a paradigm in the manifestation of continuous variable quantum information over the past decade. This paper investigates how quantum phase synchronization relates to bipartite Gaussian entanglement in coupled gain-loss mechanical oscillators, where the gain and loss rates are engineered by driving the cavity with blue and red detuned lasers, respectively. We examine the role of exceptional point in a deterministic way of producing self-sustained oscillations that induce robust quantum correlations among quadrature fluctuations of the oscillators. Particularly, steady phase synchronization dynamics along with the entanglement phenomena are observed in the effective weak coupling regime above a critical driving power. These phenomena are further verified by observing the mechanical squeezing and phase space rotations of the Wigner distributions. Additionally, we discuss how the oscillators frequency mismatches and decoherence due to thermal phonons impact the system dynamics. These findings hold promise for applications in phonon-based quantum communication and information processing.


title: Homeostasis in Gene Regulatory Networks

abstract: In this paper, we use the framework of infinitesimal homeostasis to study general design principles for the occurrence of homeostasis in gene regulatory networks. We assume that the dynamics of the genes explicitly includes both transcription and translation, keeping track of both mRNA and protein concentrations. Given a GRN we construct an associated Protein-mRNA Network (PRN), where each individual (mRNA and protein) concentration corresponds to a node and the edges are defined in such a way that the PRN becomes a bipartite directed graph. By simultaneously working with the GRN and the PRN we are able to apply our previous results about the classification of homeostasis types (i.e., topologically defined homeostasis generating mechanism) and their corresponding homeostasis patterns. Given an arbitrarily large and complex GRN $\mathcal{G}$ and its associated PRN $\mathcal{R}$, we obtain a correspondence between all the homeostasis types (and homeostasis patterns) of $\mathcal{G}$ and a subset the homeostasis types (and homeostasis patterns) of $\mathcal{R}$. Moreover, we completely characterize the homeostasis types of the PRN that do not have GRN counterparts.


title: $Q$-voter model with independence on signed random graphs: homogeneous approximations

abstract: The $q$-voter model with independence is generalized to signed random graphs and studied by means of Monte Carlo simulations and theoretically using the mean field approximation and different forms of the pair approximation. In the signed network with quenched disorder, positive and negative signs associated randomly with the links correspond to reinforcing and antagonistic interactions, promoting, respectively, the same or opposite orientations of two-state spins representing agents' opinions; otherwise, the opinions are called mismatched. With probability $1-p$, the agents change their opinions if the opinions of all members of a randomly selected $q$-neighborhood are mismatched, and with probability $p$, they choose an opinion randomly. The model on networks with finite mean degree $\langle k \rangle$ and fixed fraction of the antagonistic interactions $r$ exhibits ferromagnetic transition with varying the independence parameter $p$, which can be first- or second-order, depending on $q$ and $r$, and disappears for large $r$. Besides, numerical evidence is provided for the occurrence of the spin-glass-like transition for large $r$. The order and critical lines for the ferromagnetic transition on the $p$ vs. $r$ phase diagram obtained in Monte Carlo simulations are reproduced qualitatively by the mean field approximation. Within the range of applicability of the pair approximation, for the model with $\langle k \rangle$ finite but $\langle k \rangle \gg q$, predictions of the homogeneous pair approximation concerning the ferromagnetic transition show much better quantitative agreement with numerical results for small $r$ but fail for larger $r$. A more advanced signed homogeneous pair approximation is formulated which distinguishes between classes of active links with a given sign connecting nodes occupied by agents with mismatched opinions...


title: DF-TransFusion: Multimodal Deepfake Detection via Lip-Audio Cross-Attention and Facial Self-Attention

abstract: With the rise in manipulated media, deepfake detection has become an imperative task for preserving the authenticity of digital content. In this paper, we present a novel multi-modal audio-video framework designed to concurrently process audio and video inputs for deepfake detection tasks. Our model capitalizes on lip synchronization with input audio through a cross-attention mechanism while extracting visual cues via a fine-tuned VGG-16 network. Subsequently, a transformer encoder network is employed to perform facial self-attention. We conduct multiple ablation studies highlighting different strengths of our approach. Our multi-modal methodology outperforms state-of-the-art multi-modal deepfake detection techniques in terms of F-1 and per-video AUC scores.


title: Asymmetric Capture into Neptunian 1:2 Resonance

abstract: The asymmetric resonance configuration characterized by the critical angle librating around centres other than 0 or 180 degree, is found in the 1:N mean motion resonance. The asymmetric 1:2 resonance with Neptune is of particular interest because the two asymmetric islands seem to host different populations, and this might be a direct clue to understanding the early evolution of the Solar system. The asymmetry has been investigated from both observational and theoretical perspectives, but conclusions among studies vary widely. In this paper using toy models, we carefully designed a series of tests to systematically study the capture of planetesimals into the leading and trailing resonance islands. Although these tests may not reproduce exactly the real processes the Solar system experienced, they reveal some typical dynamics in the resonance capture. Since the real Twotinos have small to moderate inclinations, as the first attempt, we adopted in this paper planar models to investigate the mechanisms that may lead to asymmetric capture by the leading and trailing islands, including their size variation during the outward migration of Neptune, the stickiness of the leading island, and the migration slowdown effect. Particularly, we find that the ratio between the populations of the leading and trailing islands can be easily tuned by introducing the slowdown effect in the migration model, thus may be not a good tracer of the migration history. However, the eccentricity of objects trapped in two asymmetric islands may conserve some valuable information of the early evolution of the Solar system.


title: RackBlox: A Software-Defined Rack-Scale Storage System with Network-Storage Co-Design

abstract: Software-defined networking (SDN) and software-defined flash (SDF) have been serving as the backbone of modern data centers. They are managed separately to handle I/O requests. At first glance, this is a reasonable design by following the rack-scale hierarchical design principles. However, it suffers from suboptimal end-to-end performance, due to the lack of coordination between SDN and SDF. In this paper, we co-design the SDN and SDF stack by redefining the functions of their control plane and data plane, and splitting up them within a new architecture named RackBlox. RackBlox decouples the storage management functions of flash-based solid-state drives (SSDs), and allow the SDN to track and manage the states of SSDs in a rack. Therefore, we can enable the state sharing between SDN and SDF, and facilitate global storage resource management. RackBlox has three major components: (1) coordinated I/O scheduling, in which it dynamically adjusts the I/O scheduling in the storage stack with the measured and predicted network latency, such that it can coordinate the effort of I/O scheduling across the network and storage stack for achieving predictable end-to-end performance; (2) coordinated garbage collection (GC), in which it will coordinate the GC activities across the SSDs in a rack to minimize their impact on incoming I/O requests; (3) rack-scale wear leveling, in which it enables global wear leveling among SSDs in a rack by periodically swapping data, for achieving improved device lifetime for the entire rack. We implement RackBlox using programmable SSDs and switch. Our experiments demonstrate that RackBlox can reduce the tail latency of I/O requests by up to 5.8x over state-of-the-art rack-scale storage systems.


title: Vortex Fiber Nulling for Exoplanet Observations: Implementation and First Light

abstract: Vortex fiber nulling (VFN) is a single-aperture interferometric technique for detecting and characterizing exoplanets separated from their host star by less than a diffracted beam width. VFN uses a vortex mask and single mode fiber to selectively reject starlight while coupling off-axis planet light with a simple optical design that can be readily implemented on existing direct imaging instruments that can feed light to an optical fiber. With its axially symmetric coupling region peaking within the inner working angle of conventional coronagraphs, VFN is more efficient at detecting new companions at small separations than conventional direct imaging, thereby increasing the yield of on-going exoplanet search campaigns. We deployed a VFN mode operating in K band ($2.0{-}2.5~\mu$m) on the Keck Planet Imager and Characterizer (KPIC) instrument at the Keck II Telescope. In this paper we present the instrument design of this first on-sky demonstration of VFN and the results from on-sky commissioning, including planet and star throughput measurements and predicted flux-ratio detection limits for close-in companions. The instrument performance is shown to be sufficient for detecting a companion $10^3$ times fainter than a $5^{\mathrm{th}}$ magnitude host star in 1 hour at a separation of 50 mas (1.1$\lambda/D$). This makes the instrument capable of efficiently detecting substellar companions around young stars. We also discuss several routes for improvement that will reduce the required integration time for a detection by a factor ${>}$3.


title: CaloShowerGAN, a Generative Adversarial Networks model for fast calorimeter shower simulation

abstract: In particle physics, the demand for rapid and precise simulations is rising. The shift from traditional methods to machine learning-based approaches has led to significant advancements in simulating complex detector responses. CaloShowerGAN is a new approach for fast calorimeter simulation based on Generative Adversarial Network (GAN). We use Dataset 1 of the Fast Calorimeter Simulation Challenge 2022 to demonstrate the efficacy of the model to simulate calorimeter showers produced by photons and pions. The dataset is originated from the ATLAS experiment, and we anticipate that this approach can be seamlessly integrated into the ATLAS system. This development marks a significant improvement compared to the deployed GANs by ATLAS and could offer substantial enhancement to the current ATLAS fast simulations.


title: Well-posedness of Constrained Evolutionary Differential Variational-Hemivariational Inequalities

abstract: A system of a first order history-dependent evolutionary variational-hemivariational inequality with unilateral constraints coupled with a nonlinear ordinary differential equation in a Banach space is studied. Based on a fixed point theorem for history dependent operators, results on the well-posedness of the system are proved. Existence, uniqueness, continuous dependence of the solution on the data, and the solution regularity are established. Two applications of dynamic problems from contact mechanics illustrate the abstract results. First application is a unilateral viscoplastic frictionless contact problem which leads to a hemivariational inequality for the velocity field, and the second one deals with a viscoelastic frictional contact problem which is described by a variational inequality.


title: Overview of Memotion 3: Sentiment and Emotion Analysis of Codemixed Hinglish Memes

abstract: Analyzing memes on the internet has emerged as a crucial endeavor due to the impact this multi-modal form of content wields in shaping online discourse. Memes have become a powerful tool for expressing emotions and sentiments, possibly even spreading hate and misinformation, through humor and sarcasm. In this paper, we present the overview of the Memotion 3 shared task, as part of the DeFactify 2 workshop at AAAI-23. The task released an annotated dataset of Hindi-English code-mixed memes based on their Sentiment (Task A), Emotion (Task B), and Emotion intensity (Task C). Each of these is defined as an individual task and the participants are ranked separately for each task. Over 50 teams registered for the shared task and 5 made final submissions to the test set of the Memotion 3 dataset. CLIP, BERT modifications, ViT etc. were the most popular models among the participants along with approaches such as Student-Teacher model, Fusion, and Ensembling. The best final F1 score for Task A is 34.41, Task B is 79.77 and Task C is 59.82.


title: Pattern Avoidance in Weak Ascent Sequences

abstract: In this paper, we study pattern avoidance in weak ascent sequences, giving some results for patterns of length 3. This is an analogous study to one given by Duncan and Steingr\'imsson for ascent sequences \cite{DS}. More precisely, we provide systematically the generating functions for the number of weak ascent sequences avoiding the patterns $001, 011, 012, 021$, and $102$. Additionally, we establish bijective connections between pattern-avoiding weak ascent sequences and other combinatorial objects, such as compositions, upper triangular 01-matrices, and plane trees.


title: A Q-learning Approach for Adherence-Aware Recommendations

abstract: In many real-world scenarios involving high-stakes and safety implications, a human decision-maker (HDM) may receive recommendations from an artificial intelligence while holding the ultimate responsibility of making decisions. In this letter, we develop an "adherence-aware Q-learning" algorithm to address this problem. The algorithm learns the "adherence level" that captures the frequency with which an HDM follows the recommended actions and derives the best recommendation policy in real time. We prove the convergence of the proposed Q-learning algorithm to the optimal value and evaluate its performance across various scenarios.


title: Minimum Bayes' Risk Decoding for System Combination of Grammatical Error Correction Systems

abstract: For sequence-to-sequence tasks it is challenging to combine individual system outputs. Further, there is also often a mismatch between the decoding criterion and the one used for assessment. Minimum Bayes' Risk (MBR) decoding can be used to combine system outputs in a manner that encourages better alignment with the final assessment criterion. This paper examines MBR decoding for Grammatical Error Correction (GEC) systems, where performance is usually evaluated in terms of edits and an associated F-score. Hence, we propose a novel MBR loss function directly linked to this form of criterion. Furthermore, an approach to expand the possible set of candidate sentences is described. This builds on a current max-voting combination scheme, as well as individual edit-level selection. Experiments on three popular GEC datasets and with state-of-the-art GEC systems demonstrate the efficacy of the proposed MBR approach. Additionally, the paper highlights how varying reward metrics within the MBR decoding framework can provide control over precision, recall, and the F-score in combined GEC systems.


title: Ethnicity and Biometric Uniqueness: Iris Pattern Individuality in a West African Database

abstract: We conducted more than 1.3 million comparisons of iris patterns encoded from images collected at two Nigerian universities, which constitute the newly available African Human Iris (AFHIRIS) database. The purpose was to discover whether ethnic differences in iris structure and appearance such as the textural feature size, as contrasted with an all-Chinese image database or an American database in which only 1.53% were of African-American heritage, made a material difference for iris discrimination. We measured a reduction in entropy for the AFHIRIS database due to the coarser iris features created by the thick anterior layer of melanocytes, and we found stochastic parameters that accurately model the relevant empirical distributions. Quantile-Quantile analysis revealed that a very small change in operational decision thresholds for the African database would compensate for the reduced entropy and generate the same performance in terms of resistance to False Matches. We conclude that despite demographic difference, individuality can be robustly discerned by comparison of iris patterns in this West African population.


title: The externally definable Ramsey property and fixed points on type spaces

abstract: We discuss the externally definable Ramsey property, a weakening of the Ramsey property for ultrahomogeneous structures, where the only colourings considered are those that are externally definable: that is, definable with parameters in an elementary extension. We show a number of basic results analogous to the classical Ramsey theory, and show that, for an ultrahomogeneous structure M, the externally definable Ramsey property is equivalent to the dynamical statement that, for each natural number n, every subflow of the space of n-types with parameters in M has a fixed point. We discuss a range of examples, including results regarding the lexicographic product of structures.


title: Directed Sets of Topology -- Tukey Representation and Rejection

abstract: Every directed set is Tukey equivalent to (a) the family of all compact subsets, ordered by inclusion, of a (locally compact) space, to (b) a neighborhood filter, ordered by reverse inclusion, of a point (of a compact space, and of a topological group), and to (c) the universal uniformity, ordered by reverse inclusion, of a space. Two directed sets are Tukey equivalent if they are cofinally equivalent in the sense that they can both be order embedded cofinally in a third directed set. In contrast, any totally bounded uniformity is Tukey equivalent to $[\kappa]^{<\omega}$, the collection of all finite subsets of $\kappa$, where $\kappa$ is the cofinality of the uniformity. All other Tukey types are `rejected' by totally bounded uniformities. Equivalently, a compact space $X$ has weight (minimal size of a base) equal to $\kappa$ if and only if the neighborhood filter of the diagonal is Tukey equivalent to $[\kappa]^{<\omega}$. A number of questions from the literature are answered with the aid of the above results.


title: Power corrections to the photon polarization tensor in a hot and dense medium of massive fermions

abstract: We compute the $\mathcal{O}(k^2)$ terms (power corrections) of the photon polarization tensor in a hot and dense medium of particles with a small but finite mass, i.e., $0< m\ll T, \mu$. We perform our calculations within the hard thermal loop approximation in the real-time formalism, and evaluate the first nonzero mass corrections. For a renormalization scale $\bar{\Lambda}\sim T$, these mass contributions determine the temperature dependence of the power corrections. These results have direct implications in the computation of electric and magnetic susceptibilities of hot and dense media in equilibrium. We address such implications and make comparisons with previous results.


title: SocioHub: An Interactive Tool for Cross-Platform Social Media Data Collection

abstract: Social media is inherently about connecting and interacting with others. Different social media platforms have unique characteristics and user bases. Moreover, people use different platforms for various social and entertainment purposes. Analyzing cross-platform user behavior can provide insights into the preferences and expectations of users on each platform. By understanding how users behave and interact across platforms, we can build an understanding of content consumption patterns, enhance communication and social interactions, and tailor platform-specific strategies. We can further gather insights into how users navigate and engage with their platforms on different devices. In this work, we develop a tool SocioHub, which enables users to gather data on multiple social media platforms in one place. This tool can help researchers gain insights into different data attributes for users across social media platforms such as Twitter, Instagram, and Mastodon. Keywords: Social Media Platforms, Twitter, Instagram, Mastodon.


title: Exploring the Benefits of Differentially Private Pre-training and Parameter-Efficient Fine-tuning for Table Transformers

abstract: For machine learning with tabular data, Table Transformer (TabTransformer) is a state-of-the-art neural network model, while Differential Privacy (DP) is an essential component to ensure data privacy. In this paper, we explore the benefits of combining these two aspects together in the scenario of transfer learning -- differentially private pre-training and fine-tuning of TabTransformers with a variety of parameter-efficient fine-tuning (PEFT) methods, including Adapter, LoRA, and Prompt Tuning. Our extensive experiments on the ACSIncome dataset show that these PEFT methods outperform traditional approaches in terms of the accuracy of the downstream task and the number of trainable parameters, thus achieving an improved trade-off among parameter efficiency, privacy, and accuracy. Our code is available at github.com/IBM/DP-TabTransformer.


title: Machine Translation Models Stand Strong in the Face of Adversarial Attacks

abstract: Adversarial attacks expose vulnerabilities of deep learning models by introducing minor perturbations to the input, which lead to substantial alterations in the output. Our research focuses on the impact of such adversarial attacks on sequence-to-sequence (seq2seq) models, specifically machine translation models. We introduce algorithms that incorporate basic text perturbation heuristics and more advanced strategies, such as the gradient-based attack, which utilizes a differentiable approximation of the inherently non-differentiable translation metric. Through our investigation, we provide evidence that machine translation models display robustness displayed robustness against best performed known adversarial attacks, as the degree of perturbation in the output is directly proportional to the perturbation in the input. However, among underdogs, our attacks outperform alternatives, providing the best relative performance. Another strong candidate is an attack based on mixing of individual characters.


title: Strong-Weak Integrated Semi-supervision for Unsupervised Single and Multi Target Domain Adaptation

abstract: Unsupervised domain adaptation (UDA) focuses on transferring knowledge learned in the labeled source domain to the unlabeled target domain. Despite significant progress that has been achieved in single-target domain adaptation for image classification in recent years, the extension from single-target to multi-target domain adaptation is still a largely unexplored problem area. In general, unsupervised domain adaptation faces a major challenge when attempting to learn reliable information from a single unlabeled target domain. Increasing the number of unlabeled target domains further exacerbate the problem rather significantly. In this paper, we propose a novel strong-weak integrated semi-supervision (SWISS) learning strategy for image classification using unsupervised domain adaptation that works well for both single-target and multi-target scenarios. Under the proposed SWISS-UDA framework, a strong representative set with high confidence but low diversity target domain samples and a weak representative set with low confidence but high diversity target domain samples are updated constantly during the training process. Both sets are fused to generate an augmented strong-weak training batch with pseudo-labels to train the network during every iteration. The extension from single-target to multi-target domain adaptation is accomplished by exploring the class-wise distance relationship between domains and replacing the strong representative set with much stronger samples from peer domains via peer scaffolding. Moreover, a novel adversarial logit loss is proposed to reduce the intra-class divergence between source and target domains, which is back-propagated adversarially with a gradient reverse layer between the classifier and the rest of the network. Experimental results based on three benchmarks, Office-31, Office-Home, and DomainNet, show the effectiveness of the proposed SWISS framework.


title: Implementation Guidance for Wood Harvesting and Storage

abstract: This implementation guidance focuses on carbon removal and sequestration via wood harvesting and storage (WHS), a process where woody biomass, with the embedded carbon, is stored for long timescales in shallow geologic storage. The engineering structure designed to ensure such durable storage by preventing biomass decomposition is called a Wood Vault. This guidance contains the requirements for a basic Wood Vault project, and is intended to aid project developers, verifiers, and registries in this space. It describes a set of requirements that govern the end-to-end process of carbon removal and sequestration. This includes carbon accounting, wood sourcing via wood residual (WR) utilization, Wood Vault construction and maintenance, as well as processes for monitoring, verification, and credit issuance. Carbon accounting requirements include baseline, or counterfactual specification, and full life cycle analysis (LCA) within a specified process boundary. For the vault itself, the guidance describes a buried vault with the burial chamber covered by a layer of low permeability material to create anoxic condition. Other types of vaults can also be used to adjust to local environmental, transport, and economic constraints. Monitoring and verification requirements include in-situ sensors, gas sampling, sample excavations, and site maintenance. This guidance also contemplates land ownership and legal assurances, as well as environmental and societal impact assessments. The implementation guidance concludes with recommendations regarding auditing, certification and carbon credit issuance.


title: Evaluating HPX and Kokkos on RISC-V using an Astrophysics Application Octo-Tiger

abstract: In recent years, computers based on the RISC-V architecture have raised broad interest in the high-performance computing (HPC) community. As the RISC-V community develops the core instruction set architecture (ISA) along with ISA extensions, the HPC community has been actively ensuring HPC applications and environments are supported. In this context, assessing the performance of asynchronous many-task runtime systems (AMT) is essential. In this paper, we describe our experience with porting of a full 3D adaptive mesh-refinement, multi-scale, multi-model, and multi-physics application, Octo-Tiger, that is based on the HPX AMT, and we explore its performance characteristics on different RISC-V systems. Considering the (limited) capabilities of the RISC-V test systems we used, Octo-Tiger already shows promising results and good scaling. We, however, expect that exceptional hardware support based on dedicated ISA extensions (such as single-cycle context switches, extended atomic operations, and direct support for HPX's global address space) would allow for even better performance results.


title: ASPED: An Audio Dataset for Detecting Pedestrians

abstract: We introduce the new audio analysis task of pedestrian detection and present a new large-scale dataset for this task. While the preliminary results prove the viability of using audio approaches for pedestrian detection, they also show that this challenging task cannot be easily solved with standard approaches.


title: Bayesian topology inference on partially known networks from input-output pairs

abstract: We propose a sampling algorithm to perform system identification from a set of input-output graph signal pairs. The dynamics of the systems we study are given by a partially known adjacency matrix and a generic parametric graph filter of unknown parameters. The methodology we employ is built upon the principles of annealed Langevin diffusion. This enables us to draw samples from the posterior distribution instead of following the classical approach of point estimation using maximum likelihood. We investigate how to harness the prior information inherent in a dataset of graphs of different sizes through the utilization of graph neural networks. We demonstrate, via numerical experiments involving both real-world and synthetic networks, that integrating prior knowledge into the estimation process enhances estimation performance.


title: Hierarchical Multi-Task Learning Framework for Session-based Recommendations

abstract: While session-based recommender systems (SBRSs) have shown superior recommendation performance, multi-task learning (MTL) has been adopted by SBRSs to enhance their prediction accuracy and generalizability further. Hierarchical MTL (H-MTL) sets a hierarchical structure between prediction tasks and feeds outputs from auxiliary tasks to main tasks. This hierarchy leads to richer input features for main tasks and higher interpretability of predictions, compared to existing MTL frameworks. However, the H-MTL framework has not been investigated in SBRSs yet. In this paper, we propose HierSRec which incorporates the H-MTL architecture into SBRSs. HierSRec encodes a given session with a metadata-aware Transformer and performs next-category prediction (i.e., auxiliary task) with the session encoding. Next, HierSRec conducts next-item prediction (i.e., main task) with the category prediction result and session encoding. For scalable inference, HierSRec creates a compact set of candidate items (e.g., 4% of total items) per test example using the category prediction. Experiments show that HierSRec outperforms existing SBRSs as per next-item prediction accuracy on two session-based recommendation datasets. The accuracy of HierSRec measured with the carefully-curated candidate items aligns with the accuracy of HierSRec calculated with all items, which validates the usefulness of our candidate generation scheme via H-MTL.


title: Distributionally Robust Transfer Learning

abstract: Many existing transfer learning methods rely on leveraging information from source data that closely resembles the target data. However, this approach often overlooks valuable knowledge that may be present in different yet potentially related auxiliary samples. When dealing with a limited amount of target data and a diverse range of source models, our paper introduces a novel approach, Distributionally Robust Optimization for Transfer Learning (TransDRO), that breaks free from strict similarity constraints. TransDRO is designed to optimize the most adversarial loss within an uncertainty set, defined as a collection of target populations generated as a convex combination of source distributions that guarantee excellent prediction performances for the target data. TransDRO effectively bridges the realms of transfer learning and distributional robustness prediction models. We establish the identifiability of TransDRO and its interpretation as a weighted average of source models closest to the baseline model. We also show that TransDRO achieves a faster convergence rate than the model fitted with the target data. Our comprehensive numerical studies and analysis of multi-institutional electronic health records data using TransDRO further substantiate the robustness and accuracy of TransDRO, highlighting its potential as a powerful tool in transfer learning applications.


title: Automatic quantification of abdominal subcutaneous and visceral adipose tissue in children, through MRI study, using total intensity maps and Convolutional Neural Networks

abstract: Childhood overweight and obesity is one of the main health problems in the world since it is related to the early appearance of different diseases, in addition to being a risk factor for later developing obesity in adulthood with its health and economic consequences. Visceral abdominal tissue (VAT) is strongly related to the development of metabolic and cardiovascular diseases compared to abdominal subcutaneous adipose tissue (ASAT). Therefore, precise and automatic VAT and ASAT quantification methods would allow better diagnosis, monitoring and prevention of diseases caused by obesity at any stage of life. Currently, magnetic resonance imaging is the standard for fat quantification, with Dixon sequences being the most useful. Different semiautomatic and automatic ASAT and VAT quantification methodologies have been proposed. In particular, the semi-automated quantification methodology used commercially through the cloud-based service AMRA R Researcher stands out due to its extensive validation in different studies. In the present work, a database made up of Dixon MRI sequences, obtained from children between 7 and 9 years of age, was studied. Applying a preprocessing to obtain what we call total intensity maps, a convolutional neural network (CNN) was proposed for the automatic quantification of ASAT and VAT. The quantifications obtained from the proposed methodology were compared with quantifications previously made through AMRA R Researcher. For the comparison, correlation analysis, Bland-Altman graphs and non-parametric statistical tests were used. The results indicated a high correlation and similar precisions between the quantifications of this work and those of AMRA R Researcher. The final objective is that the proposed methodology can serve as an accessible and free tool for the diagnosis, monitoring and prevention of diseases related to childhood obesity.


title: Automatic detection of solar flares observed at 45 GHz by the POEMAS telescope

abstract: Every 11 years, the Sun goes through periods of activity, with the occurrence of many solar flares and mass ejections, both energetic phenomena of magnetic origin. Due to its effects on Earth, the study of solar activity is of paramount importance. POEMAS (Polarization of Millimeter Emission of Solar Activity) is a system of two telescopes, installed at CASLEO (El Leoncito Astronomical Complex) in Argentina, which monitors the Sun at two millimeter wavelengths (corresponding frequencies of 45 and 90 GHz). The objective of this work is to automatically detect solar flares observed by the polarimeter. First it is necessary to eliminate the background noise, caused mainly by instrumental problems, from the light curves of millimeter solar emission. The methodology used to exclude the noise proposed in this work is to use the tendency of time series. The subtraction of this model from the light curves provides the input to automate the detection of solar flares using artificial intelligence techniques. A Neural Network was trained to recognize patterns and analyze a dataset in order to identify solar flares. Previously, a total of 30 flares had been visually identified and analyzed in the POEMAS database between 2011/11/22 and 2013/12/10. The methodology presented here confirmed 87% of these events, moreover the neural network was able to identify at least 9 new events. As the neural network was trained to detect impulsive events (lasting less than 5 min), long duration bursts were not automatically detected, nor were they detected visually due to the background noise of the telescope. Visual inspection of the POEMAS data, when comparing with microwave data from the RSTN, allowed the identification of an additional 10 long-duration solar flares at 45 GHz. We discuss some problems encountered and possible solutions for future work.


title: Dominant role of charge ordering on high harmonic generation in Pr_{0.6}Ca_{0.4}MnO_{3}

abstract: High-harmonic generation (HHG) is a typical high-order nonlinear optical phenomenon and can be used to probe electronic structures of solids. Here, we investigate the temperature dependence of HHG from Pr_{0.6}Ca_{0.4}MnO_{3} in the range of 7 K to 294 K including the charge ordering (CO) transition and magnetic transition temperatures. The high-harmonic intensity remains almost constant in the high-temperature charge-disordered phase. However, as the temperature is lowered, it starts to gradually increase near the CO transition temperature where an optical gap related to the CO phase appears. The anomalous gap energy dependence resembles the one recently reported in a Mott insulator. We attribute the HHG suppression at high temperatures to the destructive interference among high-harmonic emissions from thermally activated multiple CO configurations. Our results suggest that HHG is a promising tool for probing the fluctuation of local order in strongly correlated systems.


title: Desenvolvimento de modelo para predi\c{c}\~ao de cota\c{c}\~oes de a\c{c}\~ao baseada em an\'alise de sentimentos de tweets

abstract: Training machine learning models for predicting stock market share prices is an active area of research since the automatization of trading such papers was available in real time. While most of the work in this field of research is done by training Neural networks based on past prices of stock shares, in this work, we use iFeel 2.0 platform to extract 19 sentiment features from posts obtained from microblog platform Twitter that mention the company Petrobras. Then, we used those features to train XBoot models to predict future stock prices for the referred company. Later, we simulated the trading of Petrobras' shares based on the model's outputs and determined the gain of R$88,82 (net) in a 250-day period when compared to a 100 random models' average performance.


title: Nontraditional models of $\Gamma$-Cartan pairs

abstract: This paper explores the tension between multiple models and rigidity for groupoid $C^*$-algebras. We begin by identifying $\Gamma$-Cartan subalgebras $D$ inside twisted groupoid $C^*$-algebras $C^*_r(G, \omega)$, using similar techniques to those developed in [DGN$^+$20]. When $D \not= C_0(G^{(0)})$, [BFPR21, Theorem 4.19] then gives another groupoid $H$, and a twist $\Sigma$ over $H$, so that $D \cong C_0(H^{(0)})$ and $C^*_r(G, \omega) \cong C^*_r(H; \Sigma)$. However, there is a close relationship between $G$ and $H$. In addition to showing how to construct $H$ and $\Sigma$ in terms of $G$ and $\omega$, we also show how to reconstruct $G$ from $H$ if we assume the 2-cocycle $\omega$ is trivial. This latter construction involves a new type of twisting datum, which may be of independent interest.


title: Identifying Bayesian Optimal Experiments for Uncertain Biochemical Pathway Models

abstract: Pharmacodynamic (PD) models are mathematical models of cellular reaction networks that include drug mechanisms of action. These models are useful for studying predictive therapeutic outcomes of novel drug therapies in silico. However, PD models are known to possess significant uncertainty with respect to constituent parameter data, leading to uncertainty in the model predictions. Furthermore, experimental data to calibrate these models is often limited or unavailable for novel pathways. In this study, we present a Bayesian optimal experimental design approach for improving PD model prediction accuracy. We then apply our method using simulated experimental data to account for uncertainty in hypothetical laboratory measurements. This leads to a probabilistic prediction of drug performance and a quantitative measure of which prospective laboratory experiment will optimally reduce prediction uncertainty in the PD model. The methods proposed here provide a way forward for uncertainty quantification and guided experimental design for models of novel biological pathways.


title: Text Encoders Lack Knowledge: Leveraging Generative LLMs for Domain-Specific Semantic Textual Similarity

abstract: Amidst the sharp rise in the evaluation of large language models (LLMs) on various tasks, we find that semantic textual similarity (STS) has been under-explored. In this study, we show that STS can be cast as a text generation problem while maintaining strong performance on multiple STS benchmarks. Additionally, we show generative LLMs significantly outperform existing encoder-based STS models when characterizing the semantic similarity between two texts with complex semantic relationships dependent on world knowledge. We validate this claim by evaluating both generative LLMs and existing encoder-based STS models on three newly collected STS challenge sets which require world knowledge in the domains of Health, Politics, and Sports. All newly collected data is sourced from social media content posted after May 2023 to ensure the performance of closed-source models like ChatGPT cannot be credited to memorization. Our results show that, on average, generative LLMs outperform the best encoder-only baselines by an average of 22.3% on STS tasks requiring world knowledge. Our results suggest generative language models with STS-specific prompting strategies achieve state-of-the-art performance in complex, domain-specific STS tasks.


title: In-plane structure of the electric double layer in the primitive model using classical density functional theory

abstract: The electric double layer (EDL) has a pivotal role in screening charges on surfaces as in supercapacitor electrodes or colloidal and polymer solutions. Its structure is determined by correlations between the finite-sized ionic charge carriers of the underlying electrolyte and, this way, these correlations affect the properties of the EDL and of applications utilizing EDLs. We study the structure of EDLs within classical density functional theory (DFT) in order to uncover whether a structural transition in the first layer of the EDL that is driven by changes in the surface potential depends on specific particle interactions or has a general footing. This transition has been found in full-atom simulations. Thus far, investigating the in-plane structure of the EDL for the primitive model (PM) using DFT proved a challenge. We show here that the use of an appropriate functional predicts the in-plane structure of EDLs in excellent agreement with molecular dynamics (MD) simulations. This provides the playground to investigate how the structure factor within a layer parallel to a charged surface changes as function of both the applied surface potential and its separation from the surface. We discuss pitfalls in properly defining an in-plane structure factor and fully map out the structure of the EDL within the PM for a wide range of electrostatic electrode potentials. However, we do not find any signature of a structural crossover and conclude that the previously reported effect is not fundamental but rather occurs due to the specific force field of ions used in the simulations.


title: Quantum character varieties

abstract: In this survey article for the Encyclopedia of Mathematical Physics, 2nd Edition, I give an introduction to quantum character varieties and quantum character stacks, with an emphasis on the unification between four different approaches to their construction.


title: Forecasts on interacting dark energy with standard sirens

abstract: We present the predictions with standard sirens at Gravitational Waves detectors, such as the Laser Interferometer Space Antenna (LISA) and the Einstein Telescope (ET), for interacting dark energy theories. We focus on four models characterised by couplings between the dark energy field and the dark matter fluid arising from conformal or disformal transformations of the metric, along with an exponential self-interacting potential. To this purpose we construct mock catalogues and perform a Markov Chain Monte Carlo analysis by considering ET and LISA standard sirens, and also their combination with Baryon Acoustic Oscillations (BAO) and Supernovae Ia (SNIa) data. We find that in all the four models considered, the accuracy on the $H_0$ parameter increases by one order of magnitude at 1$\sigma$ when compared to the SNIa+BAO data set, possibly shedding light in the future on the origin of the $H_0$-tension. The combination of standard sirens with SNIa+BAO allows to improve the accuracy on some coupling and exponential parameters, hinting at future prospects for constraining interactions in the dark sector.


title: Evaluating Homomorphic Operations on a Real-World Processing-In-Memory System

abstract: Computing on encrypted data is a promising approach to reduce data security and privacy risks, with homomorphic encryption serving as a facilitator in achieving this goal. In this work, we accelerate homomorphic operations using the Processing-in- Memory (PIM) paradigm to mitigate the large memory capacity and frequent data movement requirements. Using a real-world PIM system, we accelerate the Brakerski-Fan-Vercauteren (BFV) scheme for homomorphic addition and multiplication. We evaluate the PIM implementations of these homomorphic operations with statistical workloads (arithmetic mean, variance, linear regression) and compare to CPU and GPU implementations. Our results demonstrate 50-100x speedup with a real PIM system (UPMEM) over the CPU and 2-15x over the GPU in vector addition. For vector multiplication, the real PIM system outperforms the CPU by 40-50x. However, it lags 10-15x behind the GPU due to the lack of native sufficiently wide multiplication support in the evaluated first-generation real PIM system. For mean, variance, and linear regression, the real PIM system performance improvements vary between 30x and 300x over the CPU and between 10x and 30x over the GPU, uncovering real PIM system trade-offs in terms of scalability of homomorphic operations for varying amounts of data. We plan to make our implementation open-source in the future.


title: Not obviously manipulable allotment rules

abstract: In the problem of allocating a single non-disposable commodity among agents whose preferences are single-peaked, we study a weakening of strategy-proofness called not obvious manipulability (NOM). If agents are cognitively limited, then NOM is sufficient to describe their strategic behavior. We characterize a large family of own-peak-only rules that satisfy efficiency, NOM, and a minimal fairness condition. We call these rules "simple". In economies with excess demand, simple rules fully satiate agents whose peak amount is less than or equal to equal division and assign, to each remaining agent, an amount between equal division and his peak. In economies with excess supply, simple rules are defined symmetrically. These rules can be thought of as a two-step procedure that involves solving a claims problem. We also show that the single-plateaued domain is maximal for the characterizing properties of simple rules. Therefore, even though replacing strategy-proofness with NOM greatly expands the family of admissible rules, the maximal domain of preferences involved remains basically unaltered.


title: AmodalSynthDrive: A Synthetic Amodal Perception Dataset for Autonomous Driving

abstract: Unlike humans, who can effortlessly estimate the entirety of objects even when partially occluded, modern computer vision algorithms still find this aspect extremely challenging. Leveraging this amodal perception for autonomous driving remains largely untapped due to the lack of suitable datasets. The curation of these datasets is primarily hindered by significant annotation costs and mitigating annotator subjectivity in accurately labeling occluded regions. To address these limitations, we introduce AmodalSynthDrive, a synthetic multi-task multi-modal amodal perception dataset. The dataset provides multi-view camera images, 3D bounding boxes, LiDAR data, and odometry for 150 driving sequences with over 1M object annotations in diverse traffic, weather, and lighting conditions. AmodalSynthDrive supports multiple amodal scene understanding tasks including the introduced amodal depth estimation for enhanced spatial understanding. We evaluate several baselines for each of these tasks to illustrate the challenges and set up public benchmarking servers. The dataset is available at http://amodalsynthdrive.cs.uni-freiburg.de.


title: Online Infinite-Dimensional Regression: Learning Linear Operators

abstract: We consider the problem of learning linear operators under squared loss between two infinite-dimensional Hilbert spaces in the online setting. We show that the class of linear operators with uniformly bounded $p$-Schatten norm is online learnable for any $p \in [1, \infty)$. On the other hand, we prove an impossibility result by showing that the class of uniformly bounded linear operators with respect to the operator norm is \textit{not} online learnable. Moreover, we show a separation between sequential uniform convergence and online learnability by identifying a class of bounded linear operators that is online learnable but uniform convergence does not hold. Finally, we prove that the impossibility result and the separation between uniform convergence and learnability also hold in the batch setting.


title: Anharmonic coherent dynamics of the soft phonon mode of a PbTe crystal

abstract: We investigate the ultrafast optical response of PbTe to an intense single-cycle terahertz pulse, resonant with the soft transverse optical (TO) phonon mode of the crystal. We detect multifrequency oscillations of the reflectance anisotropy, which we associate with nonlinear motion of the TO phonon oscillator excited directly by the terahertz pulse. Our observation of monotonically decaying optical anisotropy together with second harmonic oscillations of the TO mode is an evidence of a transient non-centrosymmetric state of the crystal lattice that can be accompanied by the ferroelectric order. We suppose that this state is induced in the PbTe crystal by the intense terahertz pulse via alignment of the local polar nanodomains. This hypothesis is partially supported by the observation of coherent phonons near the satellite phonon mode frequency that are impulsively generated by a femtosecond laser pulse and are considerably enhanced by a synchronous terahertz pulse.


title: Synthetic Text Generation using Hypergraph Representations

abstract: Generating synthetic variants of a document is often posed as text-to-text transformation. We propose an alternate LLM based method that first decomposes a document into semantic frames and then generates text using this interim sparse format. The frames are modeled using a hypergraph, which allows perturbing the frame contents in a principled manner. Specifically, new hyperedges are mined through topological analysis and complex polyadic relationships including hierarchy and temporal dynamics are accommodated. We show that our solution generates documents that are diverse, coherent and vary in style, sentiment, format, composition and facts.


title: Commands as AI Conversations

abstract: Developers and data scientists often struggle to write command-line inputs, even though graphical interfaces or tools like ChatGPT can assist. The solution? "ai-cli," an open-source system inspired by GitHub Copilot that converts natural language prompts into executable commands for various Linux command-line tools. By tapping into OpenAI's API, which allows interaction through JSON HTTP requests, "ai-cli" transforms user queries into actionable command-line instructions. However, integrating AI assistance across multiple command-line tools, especially in open source settings, can be complex. Historically, operating systems could mediate, but individual tool functionality and the lack of a unified approach have made centralized integration challenging. The "ai-cli" tool, by bridging this gap through dynamic loading and linking with each program's Readline library API, makes command-line interfaces smarter and more user-friendly, opening avenues for further enhancement and cross-platform applicability.


title: The Art of Planetary Science: Art as a Tool for Scientific Inquiry and Public Discourse around Space Exploration

abstract: Art can be a powerful tool in science engagement efforts to help facilitate learning and public discourse around space and space exploration. The Art of Planetary Science is an annual exhibition combining science and art which aims to help people to connect more meaningfully to science outside of traditional education models. Works solicited from scientists and from the public explore the beauty of the universe, as well as communicate and abstract scientific concepts from an artistic framework. These events offer the public a unique perspective on science and an opportunity to participate in dialogue around how and why we explore space. As an extension of the exhibition, a series of workshops for artists and educators focuses on techniques in creating science-driven art and how it can be used as a tool for scientific inquiry. We will discuss our success with these efforts and the important role that art can play in shaping the evolving narrative of humanity's relationship to space.


title: Query-Dependent Prompt Evaluation and Optimization with Offline Inverse RL

abstract: In this study, we aim to enhance the arithmetic reasoning ability of Large Language Models (LLMs) through zero-shot prompt optimization. We identify a previously overlooked objective of query dependency in such optimization and elucidate two ensuing challenges that impede the successful and economical design of prompt optimization techniques. One primary issue is the absence of an effective method to evaluate prompts during inference when the golden answer is unavailable. Concurrently, learning via interactions with the LLMs to navigate the expansive natural language prompting space proves to be resource-intensive. To address this, we introduce Prompt-OIRL, which harnesses offline inverse reinforcement learning to draw insights from offline prompting demonstration data. Such data exists as by-products when diverse prompts are benchmarked on open-accessible datasets. With Prompt-OIRL, the query-dependent prompt optimization objective is achieved by first learning an offline reward model. This model can evaluate any query-prompt pairs without accessing LLMs. Subsequently, a best-of-N strategy is deployed to recommend the optimal prompt. Our experimental evaluations across various LLM scales and arithmetic reasoning datasets underscore both the efficacy and economic viability of the proposed approach.


title: An improved protocol for ExactlyN with more than 3 players

abstract: The ExactlyN problem in the number-on-forehead (NOF) communication setting asks $k$ players, each of whom can see every input but their own, if the $k$ input numbers add up to $N$. Introduced by Chandra, Furst and Lipton in 1983, ExactlyN is important for its role in understanding the strength of randomness in communication complexity with many players. It is also tightly connected to the field of combinatorics: its $k$-party NOF communication complexity is related to the size of the largest corner-free subset in $[N]^{k-1}$. In 2021, Linial and Shraibman gave more efficient protocols for ExactlyN for 3 players. As an immediate consequence, this also gave a new construction of larger corner-free subsets in $[N]^2$. Later that year Green gave a further refinement to their argument. These results represent the first improvements to the highest-order term for $k=3$ since the famous work of Behrend in 1946. In this paper we give a corresponding improvement to the highest-order term for all $k>3$, the first since Rankin in 1961. That is, we give a more efficient protocol for ExactlyN as well as larger corner-free sets in higher dimensions. Nearly all previous results in this line of research approached the problem from the combinatorics perspective, implicitly resulting in non-constructive protocols for ExactlyN. Approaching the problem from the communication complexity point of view and constructing explicit protocols for ExactlyN was key to the improvements in the $k=3$ setting. As a further contribution we provide explicit protocols for ExactlyN for any number of players which serves as a base for our improvement.