title: Spectroscopic Links Among Giant Planet Irregular Satellites and Trojans

abstract: We collect near-infrared spectra ($\sim0.75-2.55\ \mu m$) of four Jovian irregular satellites and visible spectra ($\sim0.32-1.00\ \mu m$) of two Jovian irregular satellites, two Uranian irregular satellites, and four Neptune Trojans. We find close similarities between observed Jovian irregular satellites and previously characterized Jovian Trojans. However, irregular satellites' unique collisional histories complicate comparisons to other groups. Laboratory study of CM and CI chondrites show that grain size and regolith packing conditions strongly affect spectra of dark, carbonaceous materials. We hypothesize that different activity histories of these objects, which may have originally contained volatile ices that subsequently sublimated, could cause differences in regolith grain-size or packing properties and therefore drive spectral variation. The Uranian satellites Sycorax and Caliban appear similar to TNOs. However, we detect a feature near 0.7 $\mu m$ on Sycorax, suggesting the presence of hydrated materials. While the sample of Neptune Trojans have more neutral spectra than the Uranian satellites we observe, they remain consistent with the broad color distribution of the Kuiper belt. We detect a possible feature near 0.65-0.70 $\mu m$ on Neptune Trojan 2006 RJ103, suggesting that hydrated material may also be present in this population. Characterizing hydrated materials in the outer solar system may provide critical context regarding the origins of hydrated CI and CM chondrite meteorites. We discuss how the hydration state(s) of the irregular satellites constrains the thermal histories of the interiors of their parent bodies, which may have formed among the primordial Kuiper belt.


title: Properties of surfaces with spontaneous curvature

abstract: A model describing cell membranes as optimal shapes with regard to the $L^2$-deficit of their mean curvature to a given constant called spontaneous curvature is considered. It is shown that the corresponding energy functional is lower semi-continuous with respect to oriented varifold convergence on a space of surfaces whose second fundamental form is uniformly bounded in $L^2$. Elementary examples are presented showing that the latter condition is necessary. As a consequence, smoothly embedded minimisers among surfaces of higher genus are obtained. Moreover, it is shown that the diameter of a connected surface is controlled by the $L^1$-deficit of its mean curvature to the spontaneous curvature leading to an improved condition for the existence of minimisers. Finally, the diameter bound can be applied to obtain an isoperimetric inequality.


title: Towards Few-Annotation Learning for Object Detection: Are Transformer-based Models More Efficient ?

abstract: For specialized and dense downstream tasks such as object detection, labeling data requires expertise and can be very expensive, making few-shot and semi-supervised models much more attractive alternatives. While in the few-shot setup we observe that transformer-based object detectors perform better than convolution-based two-stage models for a similar amount of parameters, they are not as effective when used with recent approaches in the semi-supervised setting. In this paper, we propose a semi-supervised method tailored for the current state-of-the-art object detector Deformable DETR in the few-annotation learning setup using a student-teacher architecture, which avoids relying on a sensitive post-processing of the pseudo-labels generated by the teacher model. We evaluate our method on the semi-supervised object detection benchmarks COCO and Pascal VOC, and it outperforms previous methods, especially when annotations are scarce. We believe that our contributions open new possibilities to adapt similar object detection methods in this setup as well.


title: Content and Q-sequences in Mixed Characteristic Local Rings

abstract: It is proved that a system of parameters is always a Q-sequence for several classes of mixed characteristic rings: rings in which the characteristic of the residue field is a nilpotent element, a mixed characteristic analogue of Stanley-Reisner rings, and a mixed characteristic analogue of semigroup rings and toric face rings.


title: Lyapunov-Based Dropout Deep Neural Network (Lb-DDNN) Controller

abstract: Deep neural network (DNN)-based adaptive controllers can be used to compensate for unstructured uncertainties in nonlinear dynamic systems. However, DNNs are also very susceptible to overfitting and co-adaptation. Dropout regularization is an approach where nodes are randomly dropped during training to alleviate issues such as overfitting and co-adaptation. In this paper, a dropout DNN-based adaptive controller is developed. The developed dropout technique allows the deactivation of weights that are stochastically selected for each individual layer within the DNN. Simultaneously, a Lyapunov-based real-time weight adaptation law is introduced to update the weights of all layers of the DNN for online unsupervised learning. A non-smooth Lyapunov-based stability analysis is performed to ensure asymptotic convergence of the tracking error. Simulation results of the developed dropout DNN-based adaptive controller indicate a 38.32% improvement in the tracking error, a 53.67% improvement in the function approximation error, and 50.44% lower control effort when compared to a baseline adaptive DNN-based controller without dropout regularization.


title: Exploring Neutrino Mass Orderings through Supernova Neutrino Detection

abstract: Core-collapse supernovae (SNe) are one of the most powerful cosmic sources of neutrinos, with energies of several MeV. The emission of neutrinos and antineutrinos of all flavors carries away the gravitational binding energy of the compact remnant and drives its evolution from the hot initial to the cold final states. Detecting these neutrinos from Earth and analyzing the emitted signals present a unique opportunity to explore the neutrino mass ordering problem. This research outlines the detection of neutrinos from SNe and their relevance in understanding the neutrino mass ordering. The focus is on developing a model-independent analysis strategy, achieved by comparing distinct detection channels in large underground detectors. The objective is to identify potential indicators of mass ordering within the neutrino sector. Additionally, a thorough statistical analysis is performed on the anticipated neutrino signals for both mass orderings. Despite uncertainties in supernova explosion parameters, an exploration of the parameter space reveals an extensive array of models with significant sensitivity to differentiate between mass orderings. The assessment of various observables and their combinations underscores the potential of forthcoming supernova observations in addressing the neutrino mass ordering problem.


title: The STATiX pipeline for the detection of X-ray transients in three dimensions

abstract: The recent serendipitous discovery of a new population of short duration X-ray transients, thought to be associated with collisions of compact objects or stellar explosions in distant galaxies, has motivated efforts to build up statistical samples by mining X-ray telescope archives. Most searches to date however, do not fully exploit recent developments in the signal and imaging processing research domains to optimise searches for short X-ray flashes. This paper addresses this issue by presenting a new source detection pipeline, STATiX (Space and Time Algorithm for Transients in X-rays), which directly operates on 3-dimensional X-ray data cubes consisting of two spatial and one temporal dimension. The algorithm leverages wavelet transforms and the principles of sparsity to denoise X-ray observations and then detect source candidates on the denoised data cubes. The light curves of the detected sources are then characterised using the Bayesian blocks algorithm to identify flaring periods. We describe the implementation of STATiX in the case of XMM-Newton data, present extensive validation and performance verification tests based on simulations and also apply the pipeline to a small subset of seven XMM-Newton observations, which are known to contain transients sources. In addition to known flares in the selected fields we report a previously unknown short duration transient found by our algorithm that is likely associated with a flaring Galactic star. This discovery demonstrates the potential of applying STATiX to the full XMM-Newton archive.


title: An alternative statistical interpretation for the apparent plateaus in the duration distributions of GRBs

abstract: The existence of a plateau in the short-duration tail of the observed distribution of cosmological Long-soft Gamma Ray Bursts (LGRBs) has been argued as the first direct evidence of Collapsars. A similar plateau in the short-duration tail of the observed duration distribution of Short-hard Gamma Ray Bursts (SGRBs) has been suggested as evidence of compact binary mergers. We present an equally plausible alternative interpretation for this evidence, which is purely statistical. Specifically, we show that the observed plateau in the short-duration tail of the duration distribution of LGRBs can naturally occur in the statistical distributions of strictly positive physical quantities, exacerbated by the effects of mixing with the duration distribution of SGRBs, observational selection effects, and data aggregation (e.g., binning) methodologies. The observed plateau in the short-duration tail of the observed distributions of SGRBs can similarly result from a combination of sample incompleteness and inhomogeneous binning of data. The observed plateau in the short-duration tail of the observed distributions of SGRBs can similarly result from a combination of sample incompleteness and inhomogeneous binning of data. We further confirm the impact of these factors on the observation of a plateau in the duration distributions of Gamma-Ray Bursts (GRBs) through extensive numerical Monte Carlo simulations. Our presented analysis corroborates and strengthens a purely statistical and sample-incompleteness interpretation of the observed plateau in the duration distribution of LGRBs and SGRBs without invoking the physics of Collapsars and jet-propagation through the stellar envelope.


title: Split-NER: Named Entity Recognition via Two Question-Answering-based Classifications

abstract: In this work, we address the NER problem by splitting it into two logical sub-tasks: (1) Span Detection which simply extracts entity mention spans irrespective of entity type; (2) Span Classification which classifies the spans into their entity types. Further, we formulate both sub-tasks as question-answering (QA) problems and produce two leaner models which can be optimized separately for each sub-task. Experiments with four cross-domain datasets demonstrate that this two-step approach is both effective and time efficient. Our system, SplitNER outperforms baselines on OntoNotes5.0, WNUT17 and a cybersecurity dataset and gives on-par performance on BioNLP13CG. In all cases, it achieves a significant reduction in training time compared to its QA baseline counterpart. The effectiveness of our system stems from fine-tuning the BERT model twice, separately for span detection and classification. The source code can be found at https://github.com/c3sr/split-ner.


title: The Acquisition of Physical Knowledge in Generative Neural Networks

abstract: As children grow older, they develop an intuitive understanding of the physical processes around them. Their physical understanding develops in stages, moving along developmental trajectories which have been mapped out extensively in previous empirical research. Here, we investigate how the learning trajectories of deep generative neural networks compare to children's developmental trajectories using physical understanding as a testbed. We outline an approach that allows us to examine two distinct hypotheses of human development - stochastic optimization and complexity increase. We find that while our models are able to accurately predict a number of physical processes, their learning trajectories under both hypotheses do not follow the developmental trajectories of children.


title: Conditional Unscented Autoencoders for Trajectory Prediction

abstract: The CVAE is one of the most widely-used models in trajectory prediction for AD. It captures the interplay between a driving context and its ground-truth future into a probabilistic latent space and uses it to produce predictions. In this paper, we challenge key components of the CVAE. We leverage recent advances in the space of the VAE, the foundation of the CVAE, which show that a simple change in the sampling procedure can greatly benefit performance. We find that unscented sampling, which draws samples from any learned distribution in a deterministic manner, can naturally be better suited to trajectory prediction than potentially dangerous random sampling. We go further and offer additional improvements including a more structured Gaussian mixture latent space, as well as a novel, potentially more expressive way to do inference with CVAEs. We show wide applicability of our models by evaluating them on the INTERACTION prediction dataset, outperforming the state of the art, as well as at the task of image modeling on the CelebA dataset, outperforming the baseline vanilla CVAE. Code is available at https://github.com/boschresearch/cuae-prediction.


title: Primordial Black Holes as Near Infrared Background sources

abstract: The near infrared background (NIRB) is the collective light from unresolved sources observed in the band 1-10 $\mu$m. The measured NIRB angular power spectrum on angular scales $\theta \gtrsim 1$ arcmin exceeds by roughly two order of magnitudes predictions from known galaxy populations. The nature of the sources producing these fluctuations is still unknown. Here we test primordial black holes (PBHs) as sources of the NIRB excess. Considering PBHs as a cold dark matter (DM) component, we model the emission of gas accreting onto PBHs in a cosmological framework. We account for both accretion in the intergalactic medium (IGM) and in DM haloes. We self consistently derive the IGM temperature evolution, considering ionization and heating due to X-ray emission from PBHs. Besides $\Lambda$CDM, we consider a model that accounts for the modification of the linear matter power spectrum due to the presence of PBHs; we also explore two PBH mass distributions, i.e. a $\delta$-function and a lognormal distribution. For each model, we compute the mean intensity and the angular power spectrum of the NIRB produced by PBHs with mass 1-$10^3~\mathrm{M}_{\odot}$. In the limiting case in which the entirety of DM is made of PBHs, the PBH emission contributes $<1$ per cent to the observed NIRB fluctuations. This value decreases to $<0.1$ per cent if current constraints on the abundance of PBHs are taken into account. We conclude that PBHs are ruled out as substantial contributors to the NIRB.


title: Nicolai maps with four-fermion interactions

abstract: Nicolai maps offer an alternative description of supersymmetric theories via nonlinear and nonlocal transformations characterized by the so-called `free-action' and `determinant-matching' conditions. The latter expresses the equality of the Jacobian determinant of the transformation with the one obtained by integrating out the fermions, which so far have been considered only to quadratic terms. We argue that such a restriction is not substantial, as Nicolai maps can be constructed for arbitrary nonlinear sigma models, which feature four-fermion interactions. The fermionic effective one-loop action then gets generalized to higher loops and the perturbative tree expansion of such Nicolai maps receives quantum corrections in the form of fermion loop decorations. The `free-action condition' continues to hold for the classical map, but the `determinant-matching condition' is extended to an infinite hierarchy in fermion loop order. After general considerations for sigma models in four dimensions, we specialize to the case of $\mathbb{C}\mathrm{P}^N$ symmetric spaces and construct the associated Nicolai map. These sigma models admit a formulation with only quadratic fermions via an auxiliary vector field, which does not simplify our analysis.


title: Stability of classical shadows under gate-dependent noise

abstract: Expectation values of observables are routinely estimated using so-called classical shadows$\unicode{x2014}$the outcomes of randomized bases measurements on a repeatedly prepared quantum state. In order to trust the accuracy of shadow estimation in practice, it is crucial to understand the behavior of the estimators under realistic noise. In this work, we prove that any shadow estimation protocol involving Clifford unitaries is stable under gate-dependent noise for observables with bounded stabilizer norm$\unicode{x2014}$originally introduced in the context of simulating Clifford circuits. For these observables, we also show that the protocol's sample complexity is essentially identical to the noiseless case. In contrast, we demonstrate that estimation of `magic' observables can suffer from a bias that scales exponentially in the system size. We further find that so-called robust shadows, aiming at mitigating noise, can introduce a large bias in the presence of gate-dependent noise compared to unmitigated classical shadows. Nevertheless, we guarantee the functioning of robust shadows for a more general noise setting than in previous works. On a technical level, we identify average noise channels that affect shadow estimators and allow for a more fine-grained control of noise-induced biases.


title: Primordial Magnetogenesis in the Two-Higgs-doublet Model

abstract: $\gamma$-ray emission of blazars infer the presence of large-scale magnetic fields in the intergalactic medium, but their origin remains a mystery. Using recent data from MAGIC, H.E.S.S. and $\textit{Fermi}$-LAT, we investigate whether the large-scale magnetic fields in the intergalactic medium could have been generated by a first-order electroweak phase transition in the two-Higgs-doublet model (2HDM). We study two representative scenarios where we vary the initial conditions of the magnetic field and the plasma, assuming either a primordial magnetic field with maximal magnetic helicity or a primordial magnetic field with negligible magnetic helicity in a plasma with kinetic helicity. By considering a primordial magnetic field with maximal helicity and applying the conservative constraints derived from MAGIC and $\textit{Fermi}$-LAT data, we demonstrate that a first-order electroweak phase transition within the 2HDM may account for the observed intergalactic magnetic fields in the case of the strongest transitions. We show that this parameter space also predicts strong gravitational wave signals in the reach of space-based detectors such as LISA, providing a striking multi-messenger signal of the 2HDM.


title: Builder-Blocker General Position Games

abstract: This paper considers a game version of the general position problem in which a general position set is built through adversarial play. Two players in a graph, Builder and Blocker, take it in turns to add a vertex to a set, such that the vertices of this set are always in general position. The goal of Builder is to create a large general position set, whilst the aim of Blocker is to frustrate Builder's plans by making the set as small as possible. The game finishes when no further vertices can be added without creating three-in-a-line and the number of vertices in this set is the game general position number. We determine this number for some common graph classes and provide sharp bounds, in particular for the case of trees. We also discuss the effect of changing the order of the players.


title: Exploring the Role of Molecular Dynamics Simulations in Most Recent Cancer Research: Insights into Treatment Strategies

abstract: Cancer is a complex disease that is characterized by uncontrolled growth and division of cells. It involves a complex interplay between genetic and environmental factors that lead to the initiation and progression of tumors. Recent advances in molecular dynamics simulations have revolutionized our understanding of the molecular mechanisms underlying cancer initiation and progression. Molecular dynamics simulations enable researchers to study the behavior of biomolecules at an atomic level, providing insights into the dynamics and interactions of proteins, nucleic acids, and other molecules involved in cancer development. In this review paper, we provide an overview of the latest advances in molecular dynamics simulations of cancer cells. We will discuss the principles of molecular dynamics simulations and their applications in cancer research. We also explore the role of molecular dynamics simulations in understanding the interactions between cancer cells and their microenvironment, including signaling pathways, proteinprotein interactions, and other molecular processes involved in tumor initiation and progression. In addition, we highlight the current challenges and opportunities in this field and discuss the potential for developing more accurate and personalized simulations. Overall, this review paper aims to provide a comprehensive overview of the current state of molecular dynamics simulations in cancer research, with a focus on the molecular mechanisms underlying cancer initiation and progression.


title: Measuring Behavior Change with Observational Studies: a Review

abstract: Exploring behavioral change in the digital age is imperative for societal progress in the context of 21st-century challenges. We analyzed 148 articles (2000-2023) and built a map that categorizes behaviors and change detection methodologies, platforms of reference, and theoretical frameworks that characterize online behavior change. Our findings uncover a focus on sentiment shifts, an emphasis on API-restricted platforms, and limited theory integration. We call for methodologies able to capture a wider range of behavioral types, diverse data sources, and stronger theory-practice alignment in the study of online behavioral change.


title: Foundations of matroids -- Part 2: Further theory, examples, and computational methods

abstract: In this sequel to "Foundations of matroids - Part 1", we establish several presentations of the foundation of a matroid in terms of small building blocks. For example, we show that the foundation of a matroid M is the colimit of the foundations of all embedded minors of M isomorphic to one of the matroids $U^2_4$, $U^2_5$, $U^3_5$, $C_5$, $C_5^\ast$, $U^2_4\oplus U^1_2$, $F_7$, $F_7^\ast$, and we show that this list is minimal. We establish similar minimal lists of building blocks for the classes of 2-connected and 3-connected matroids. We also establish a presentation for the foundation of a matroid in terms of its lattice of flats. Each of these presentations provides a useful method to compute the foundation of certain matroids, as we illustrate with a number of concrete examples. Combining these techniques with other results in the literature, we are able to compute the foundations of several interesting classes of matroids, including whirls, rank-2 uniform matroids, and projective geometries. In an appendix, we catalogue various 'small' pastures which occur as foundations of matroids, most of which were found with the assistance of a computer, and we discuss some of their interesting properties.


title: A Hybrid Quantum Algorithm for Load Flow

abstract: The goal of the load flow study is to ensure that electrical power is delivered efficiently and reliably to end-users while maintaining the stability and security of the power system. Newton-Raphson is a numerical method used widely for load flow analysis. One of the most computationally expensive steps in this method is an equation-solving step. We propose to replace this step with HHL, a quantum algorithm for solving linear systems of equations. HHL is exponentially faster, but with caveats. In this study, a hybrid quantum algorithm is proposed for solving load flow. The Newton-Raphson method is used as a benchmark to compare the performance of the hybrid quantum algorithm. Although the simulation of the hybrid quantum algorithm takes much time, these preliminary results are encouraging and point to the potential for the use of quantum algorithms to develop hybrid quantum algorithms for load flow analysis and related problems.


title: Dynamic, viscoelasticity-driven shape change of elastomer bilayers

abstract: Thin bilayers made of elastic sheets with different strain recoveries can be used for dynamic shape morphing through ambient stimuli, such as temperature, mass diffusion, and light. As a fundamentally different approach to designing temporal shape change, constituent polymer molecular features (rather than external fields) are leveraged, specifically the viscoelasticity of gelatin bilayers, to achieve dynamic three-dimensional (3D) curls and helical twists. After stretching and releasing, the acquired 3D shape recovers its original flat shape on a timescale originating from the polymer viscoelasticity. The bilayer time-dependent curvature can be accurately predicted from hyperelastic and viscoelastic functions using finite element analysis (FEA). FEA reveals the nonlinear shape dynamics in space and time in quantitative agreement with experiments. The findings present a new frontier in dynamic biomimetic shape-morphing by exploiting intrinsic material properties in contrast with state-of-the-art methods relying on external field variations, moving one step closer to acquiring autonomous shape-shifting capabilities of biological systems.


title: Accurate Computation of the Screening of Scalar Fifth Forces in Galaxies

abstract: Screening mechanisms allow light scalar fields to dynamically avoid the constraints that come from our lack of observation of a long-range fifth force. Galactic scale tests are of particular interest when the light scalar is introduced to explain the dark matter or dark energy that dominates our cosmology. To date, much of the literature that has studied screening in galaxies has described screening using simplifying approximations. In this work, we calculate numerical solutions for scalar fields with screening mechanisms in galactic contexts, and use these to derive new, precise conditions governing where fifth forces are screened. We show that the commonly used binary screened/unscreened threshold can predict a fifth force signal in situations where a fuller treatment does not, leading us to conclude that existing constraints might be significantly overestimated. We show that various other approximations of the screening radius provide a more accurate proxy to screening, although they fail to exactly reproduce the true screening surface in certain regions of parameter space. As a demonstration of our scheme, we apply it to an idealised Milky Way and thus identify the region of parameter space in which the solar system is screened.


title: The Impact of Depth on Compositional Generalization in Transformer Language Models

abstract: To process novel sentences, language models (LMs) must generalize compositionally -- combine familiar elements in new ways. What aspects of a model's structure promote compositional generalization? Focusing on transformers, we test the hypothesis, motivated by theoretical and empirical work, that deeper transformers generalize more compositionally. Simply adding layers increases the total number of parameters; to address this confound between depth and size, we construct three classes of models which trade off depth for width such that the total number of parameters is kept constant (41M, 134M and 374M parameters). We pretrain all models as LMs and fine-tune them on tasks that test for compositional generalization. We report three main conclusions: (1) after fine-tuning, deeper models generalize more compositionally than shallower models do, but the benefit of additional layers diminishes rapidly; (2) within each family, deeper models show better language modeling performance, but returns are similarly diminishing; (3) the benefits of depth for compositional generalization cannot be attributed solely to better performance on language modeling. Because model latency is approximately linear in the number of layers, these results lead us to the recommendation that, with a given total parameter budget, transformers can be made shallower than is typical without sacrificing performance.


title: Deep Learning for Spatiotemporal Big Data: A Vision on Opportunities and Challenges

abstract: With advancements in GPS, remote sensing, and computational simulation, an enormous volume of spatiotemporal data is being collected at an increasing speed from various application domains, spanning Earth sciences, agriculture, smart cities, and public safety. Such emerging geospatial and spatiotemporal big data, coupled with recent advances in deep learning technologies, foster new opportunities to solve problems that have not been possible before. For instance, remote sensing researchers can potentially train a foundation model using Earth imagery big data for numerous land cover and land use modeling tasks. Coastal modelers can train AI surrogates to speed up numerical simulations. However, the distinctive characteristics of spatiotemporal big data pose new challenges for deep learning technologies. This vision paper introduces various types of spatiotemporal big data, discusses new research opportunities in the realm of deep learning applied to spatiotemporal big data, lists the unique challenges, and identifies several future research needs.


title: PriPrune: Quantifying and Preserving Privacy in Pruned Federated Learning

abstract: Federated learning (FL) is a paradigm that allows several client devices and a server to collaboratively train a global model, by exchanging only model updates, without the devices sharing their local training data. These devices are often constrained in terms of communication and computation resources, and can further benefit from model pruning -- a paradigm that is widely used to reduce the size and complexity of models. Intuitively, by making local models coarser, pruning is expected to also provide some protection against privacy attacks in the context of FL. However this protection has not been previously characterized, formally or experimentally, and it is unclear if it is sufficient against state-of-the-art attacks. In this paper, we perform the first investigation of privacy guarantees for model pruning in FL. We derive information-theoretic upper bounds on the amount of information leaked by pruned FL models. We complement and validate these theoretical findings, with comprehensive experiments that involve state-of-the-art privacy attacks, on several state-of-the-art FL pruning schemes, using benchmark datasets. This evaluation provides valuable insights into the choices and parameters that can affect the privacy protection provided by pruning. Based on these insights, we introduce PriPrune -- a privacy-aware algorithm for local model pruning, which uses a personalized per-client defense mask and adapts the defense pruning rate so as to jointly optimize privacy and model performance. PriPrune is universal in that can be applied after any pruned FL scheme on the client, without modification, and protects against any inversion attack by the server. Our empirical evaluation demonstrates that PriPrune significantly improves the privacy-accuracy tradeoff compared to state-of-the-art pruned FL schemes that do not take privacy into account.


title: Constraints on Hidden Sectors Using Rare Kaon Decays

abstract: The charged Kaon meson ($K^+$) features several hadronic decay modes, but the most relevant contribution to its decay width stems from the leptonic decay $K^+ \rightarrow \mu^+ \nu_\mu $. Given the precision acquired on the rare decay mode $K^+ \rightarrow \mu^+ \nu_\mu + X$, one can use the data to set constraints on sub-GeV hidden sectors featuring light species that could contribute to it. Light gauge bosons that couple to muons could give rise to sizeable contributions. In this work, we will use data from the $K^+ \rightarrow \mu^+\nu_{\mu} l^+l^-$, and $K^+ \rightarrow \mu^+ \nu_{\mu} \nu \bar{\nu}$ decays to place limits on light vector bosons present in Two Higgs Doublet Models (2HDM) augmented by an Abelian gauge symmetry, 2HDM-$U(1)_X$. We put our findings into perpective with collider bounds, atomic parity violation, neutrino-electron scattering, and polarized electron scattering probes to show that rare Kaon decays provide competitive bounds in the sub-GeV mass range for different values of $\tan\beta$.


title: Topological Learning for Motion Data via Mixed Coordinates

abstract: Topology can extract the structural information in a dataset efficiently. In this paper, we attempt to incorporate topological information into a multiple output Gaussian process model for transfer learning purposes. To achieve this goal, we extend the framework of circular coordinates into a novel framework of mixed valued coordinates to take linear trends in the time series into consideration. One of the major challenges to learn from multiple time series effectively via a multiple output Gaussian process model is constructing a functional kernel. We propose to use topologically induced clustering to construct a cluster based kernel in a multiple output Gaussian process model. This kernel not only incorporates the topological structural information, but also allows us to put forward a unified framework using topological information in time and motion series.


title: ExPT: Synthetic Pretraining for Few-Shot Experimental Design

abstract: Experimental design is a fundamental problem in many science and engineering fields. In this problem, sample efficiency is crucial due to the time, money, and safety costs of real-world design evaluations. Existing approaches either rely on active data collection or access to large, labeled datasets of past experiments, making them impractical in many real-world scenarios. In this work, we address the more challenging yet realistic setting of few-shot experimental design, where only a few labeled data points of input designs and their corresponding values are available. We approach this problem as a conditional generation task, where a model conditions on a few labeled examples and the desired output to generate an optimal input design. To this end, we introduce Experiment Pretrained Transformers (ExPT), a foundation model for few-shot experimental design that employs a novel combination of synthetic pretraining with in-context learning. In ExPT, we only assume knowledge of a finite collection of unlabelled data points from the input domain and pretrain a transformer neural network to optimize diverse synthetic functions defined over this domain. Unsupervised pretraining allows ExPT to adapt to any design task at test time in an in-context fashion by conditioning on a few labeled data points from the target task and generating the candidate optima. We evaluate ExPT on few-shot experimental design in challenging domains and demonstrate its superior generality and performance compared to existing methods. The source code is available at https://github.com/tung-nd/ExPT.git.


title: Dark matter phenomenology in Z'2 broken singlet extended 2HDM

abstract: Many different approaches have been made to explain the nature of dark matter (DM), but it remains and unsolved mystery of our universe. In this work we examine a type II two-Higgs-doublet model extended by a complex singlet (2HDMS), where the pseudo-scalar component of the singlet acts as a natural DM candidate. The DM candidate is stabilized by a Z'2 symmetry, which is broken spontaneously by the singlet acquiring a vacuum expectation value (vev). This vev in turn causes the scalar component of the singlet to mix with the scalar components of the two doublets, which results in three scalar Higgs particles. Additionally we aim to include an excess around 95 GeV, which was observed at CSM and LEP and can be explained by one of the three scalar Higgs particles. After introducing the model, we apply experimental and theoretical constraints and find a viable benchmark point. We then look into the DM phenomenology as well as collider phenomenology.


title: Demonstrating Agreement between Radio and Fluorescence Measurements of the Depth of Maximum of Extensive Air Showers at the Pierre Auger Observatory

abstract: We show, for the first time, radio measurements of the depth of shower maximum ($X_\text{max}$) of air showers induced by cosmic rays that are compared to measurements of the established fluorescence method at the same location. Using measurements at the Pierre Auger Observatory we show full compatibility between our radio and the previously published fluorescence data set, and between a subset of air showers observed simultaneously with both radio and fluorescence techniques, a measurement setup unique to the Pierre Auger Observatory. Furthermore, we show radio $X_\text{max}$ resolution as a function of energy and demonstrate the ability to make competitive high-resolution $X_\text{max}$ measurements with even a sparse radio array. With this, we show that the radio technique is capable of cosmic-ray mass composition studies, both at Auger and at other experiments.


title: Improved Upper Limits on Gravitational Wave Emission from NS 1987A in SNR 1987A

abstract: We report on a new search for continuous gravitational waves from NS 1987A, the neutron star born in SN 1987A, using open data from Advanced LIGO and Virgo's third observing run (O3). The search covered frequencies from 35-1050 Hz, more than five times the band of the only previous gravitational wave search to constrain NS 1987A [B. J. Owen et al., ApJL 935, L7 (2022)]. It used an improved code and coherently integrated from 5.10 days to 14.85 days depending on frequency. No astrophysical signals were detected. By expanding the frequency range and using O3 data, this search improved on strain upper limits from the previous search and was sensitive at the highest frequencies to ellipticities of 1.6e-5 and r-mode amplitudes of 4.4e-4, both an order of magnitude improvement over the previous search and both well within the range of theoretical predictions.


title: On the number of neighborly simplices in R^d

abstract: Two $d$-dimensional simplices in $R^d$ are neighborly if its intersection is a $(d-1)$-dimensional set. A family of $d$-dimensional simplices in $R^d$ is called neighborly if every two simplices of the family are neighborly. Let $S_d$ be the maximal cardinality of a neighborly family of $d$-dimensional simplices in $R^d$. Based on the structure of some codes $V\subset \{0,1,*\}^n$ it is shown that $\lim_{d\rightarrow \infty}(2^{d+1}-S_d)=\infty$. Moreover, a result on the structure of codes $V\subset \{0,1,*\}^n$ is given.


title: Radio Measurements of the Depth of Air-Shower Maximum at the Pierre Auger Observatory

abstract: The Auger Engineering Radio Array (AERA), part of the Pierre Auger Observatory, is currently the largest array of radio antenna stations deployed for the detection of cosmic rays, spanning an area of $17$ km$^2$ with 153 radio stations. It detects the radio emission of extensive air showers produced by cosmic rays in the $30-80$ MHz band. Here, we report the AERA measurements of the depth of the shower maximum ($X_\text{max}$), a probe for mass composition, at cosmic-ray energies between $10^{17.5}$ to $10^{18.8}$ eV, which show agreement with earlier measurements with the fluorescence technique at the Pierre Auger Observatory. We show advancements in the method for radio $X_\text{max}$ reconstruction by comparison to dedicated sets of CORSIKA/CoREAS air-shower simulations, including steps of reconstruction-bias identification and correction, which is of particular importance for irregular or sparse radio arrays. Using the largest set of radio air-shower measurements to date, we show the radio $X_\text{max}$ resolution as a function of energy, reaching a resolution better than $15$ g cm$^{-2}$ at the highest energies, demonstrating that radio $X_\text{max}$ measurements are competitive with the established high-precision fluorescence technique. In addition, we developed a procedure for performing an extensive data-driven study of systematic uncertainties, including the effects of acceptance bias, reconstruction bias, and the investigation of possible residual biases. These results have been cross-checked with air showers measured independently with both the radio and fluorescence techniques, a setup unique to the Pierre Auger Observatory.


title: Early detection of inflammatory arthritis to improve referrals using multimodal machine learning from blood testing, semi-structured and unstructured patient records

abstract: Early detection of inflammatory arthritis (IA) is critical to efficient and accurate hospital referral triage for timely treatment and preventing the deterioration of the IA disease course, especially under limited healthcare resources. The manual assessment process is the most common approach in practice for the early detection of IA, but it is extremely labor-intensive and inefficient. A large amount of clinical information needs to be assessed for every referral from General Practice (GP) to the hospitals. Machine learning shows great potential in automating repetitive assessment tasks and providing decision support for the early detection of IA. However, most machine learning-based methods for IA detection rely on blood testing results. But in practice, blood testing data is not always available at the point of referrals, so we need methods to leverage multimodal data such as semi-structured and unstructured data for early detection of IA. In this research, we present fusion and ensemble learning-based methods using multimodal data to assist decision-making in the early detection of IA, and a conformal prediction-based method to quantify the uncertainty of the prediction and detect any unreliable predictions. To the best of our knowledge, our study is the first attempt to utilize multimodal data to support the early detection of IA from GP referrals.


title: Constraining primordial black hole masses through $f(R)$ gravity scalarons in Big Bang Nucleosynthesis

abstract: Big Bang Nucleosynthesis (BBN) is a strong probe for constraining new physics including gravitation. $f(R)$ gravity theory is an interesting alternative to general relativity which introduces additional degrees of freedom known as scalarons. In this work we demonstrate the existence of black hole solutions in $f(R)$ gravity and develop a relation between scalaron mass and black hole mass. We have used observed bound on the freezeout temperature to constrain scalaron mass range by modifying the cosmic expansion rate at the BBN epoch. The mass range of primordial black holes (PBHs) which are astrophysical dark matter candidates is deduced. The range of scalaron mass which does not spoil the BBN era is found to be $10^{-16}-10^4 \text{ eV}$ for both relativistic and non-relativistic scalarons. The window $10^{-16}-10^{-14}$ eV of scalaron mass obtained from solar system constraint on PPN parameter is compatible with the BBN bound derived in this work. The PBH mass range is obtained as $10^6-10^{-14}\text{ }M_{\odot}$. Scalarons constrained by BBN are also eligible to accommodate axion like dark matter particles. The problem of ultra-light PBHs ($M \le 10^{-24} \text{ }M_\odot$) not constrained by the present study of BBN is still open. Estimation of deuterium (D) fraction and relative D+$^3$He abundance in the $f(R)$ gravity scenario shows that the BBN history mimics that of general relativity. While the PBH mass range is eligible for non-baryonic dark matter, the BBN bounded scalarons provide with an independent strong field test of $f(R)$ gravity. The PBH mass range obtained in the study is discussed in relation to future astronomical measurements.


title: Light focusing and additive manufacturing through highly scattering media using upconversion nanoparticles

abstract: Light-based additive manufacturing holds great potential in the field of bioprinting due to its exceptional spatial resolution, enabling the reconstruction of intricate tissue structures. However, printing through biological tissues is severely limited due to the strong optical scattering within the tissues. The propagation of light is scrambled to form random speckle patterns, making it impossible to print features at the diffraction-limited size with conventional printing approaches. The poor tissue penetration depth of ultra-violet or blue light, which is commonly used to trigger photopolymerization, further limits the fabrication of high cell-density tissue constructs. Recently, several strategies based on wavefront shaping have been developed to manipulate the light and refocus it inside scattering media to a diffraction-limited spot. In this study, we present a high-resolution additive manufacturing technique using upconversion nanoparticles and a wavefront shaping method that does not require measurement from an invasive detector, i.e., it is a non-invasive technique. Upconversion nanoparticles convert near-infrared light to ultraviolet and visible light. The ultraviolet light serves as a light source for photopolymerization and the visible light as a guide star for digital light shaping. The incident light pattern is manipulated using the feedback information of the guide star to focus light through the tissue. In this way, we experimentally demonstrate that near-infrared light can be non-invasively focused through a strongly scattering medium. By exploiting the optical memory effect, we further demonstrate micro-meter resolution additive manufacturing through highly scattering media such as a 300-{\mu}m-thick chicken breast. This study provides a proof of concept of high-resolution additive manufacturing through turbid media with potential application in tissue engineering.


title: Strategies to Harness the Transformers' Potential: UNSL at eRisk 2023

abstract: The CLEF eRisk Laboratory explores solutions to different tasks related to risk detection on the Internet. In the 2023 edition, Task 1 consisted of searching for symptoms of depression, the objective of which was to extract user writings according to their relevance to the BDI Questionnaire symptoms. Task 2 was related to the problem of early detection of pathological gambling risks, where the participants had to detect users at risk as quickly as possible. Finally, Task 3 consisted of estimating the severity levels of signs of eating disorders. Our research group participated in the first two tasks, proposing solutions based on Transformers. For Task 1, we applied different approaches that can be interesting in information retrieval tasks. Two proposals were based on the similarity of contextualized embedding vectors, and the other one was based on prompting, an attractive current technique of machine learning. For Task 2, we proposed three fine-tuned models followed by decision policy according to criteria defined by an early detection framework. One model presented extended vocabulary with important words to the addressed domain. In the last task, we obtained good performances considering the decision-based metrics, ranking-based metrics, and runtime. In this work, we explore different ways to deploy the predictive potential of Transformers in eRisk tasks.


title: Boundary layer instability beneath periodic internal solitary waves

abstract: We investigated the stability of the bottom boundary layer (BBL) beneath periodic internal solitary waves (ISWs) of depression over a flat bottom through two-dimensional direct numerical simulations. We explored the effects of variation in wave Reynolds number $Re_{ISW}$ and wave period on the nature of the instability, and energy production in the separated BBL. The instability characteristics and rate of vortex shedding of the BBL were strongly dependent on $Re_{ISW}$. The BBL was laminar and convectively unstable at $Re_{ISW}$ 90 and 300, respectively. At $Re_{ISW}=300$, the convective wave packet was periodically amplified by each successive ISW, until vortex-shedding occurred. This implies noise-amplification behavior and suggests that the discrepancies in the critical $Re_{ISW}$, for vortex shedding between lab and different numerical simulations, are due to differences in background seed noise. Instability energy decreased under the front shoulder of the ISW, analogous to flow relaminarization under a favourable pressure gradient. At larger $Re_{ISW}=900$, the BBL was initially convectively unstable, and then the instability tracked with the ISW, characteristic of global instability, regardless of the ISW periodicity. The simulated initial convective instability at both $Re_{ISW}$ 300 and 900 is in agreement with local linear stability analysis which predicts that the instability group speed is always lower than the ISW celerity. Increased free-stream perturbations and larger $Re_{ISW}$ shift the location of vortex shedding (and enhanced bed shear stress) closer to the ISW trough, thereby potentially changing the location of maximum sediment resuspension from the ISW, in agreement with field observations at higher $Re_{ISW}$.


title: A Linearized Semiclassical dynamics study of the multi-quantum vibrational relaxation of NO scattering from a Au(111) Surface

abstract: The vibrational relaxation of NO molecules scattering from an Au(111) surface has served as the focus of efforts to understand nonadiabatic energy transfer at metal-molecule interfaces. Experimental measurements and previous theoretical efforts suggest that multi-quantal NO vibrational energy relaxation occurs via electron hole pair excitations in the metal. Here, using a Linearized Semiclassical approach, we accurately predict the vibrational relaxation of NO from $\nu_i=3$ state for different incident translational energies. We also accurately capture the central role of transient electron transfer from the metal to the molecule in mediating vibrational relaxation process, but fall short of quantitatively predicting the full extent of multi-quantum relaxation for high incident vibrational excitations ($\nu_i = 16$).


title: Unified Enhancement of Privacy Bounds for Mixture Mechanisms via $f$-Differential Privacy

abstract: Differentially private (DP) machine learning algorithms incur many sources of randomness, such as random initialization, random batch subsampling, and shuffling. However, such randomness is difficult to take into account when proving differential privacy bounds because it induces mixture distributions for the algorithm's output that are difficult to analyze. This paper focuses on improving privacy bounds for shuffling models and one-iteration differentially private gradient descent (DP-GD) with random initializations using $f$-DP. We derive a closed-form expression of the trade-off function for shuffling models that outperforms the most up-to-date results based on $(\epsilon,\delta)$-DP. Moreover, we investigate the effects of random initialization on the privacy of one-iteration DP-GD. Our numerical computations of the trade-off function indicate that random initialization can enhance the privacy of DP-GD. Our analysis of $f$-DP guarantees for these mixture mechanisms relies on an inequality for trade-off functions introduced in this paper. This inequality implies the joint convexity of $F$-divergences. Finally, we study an $f$-DP analog of the advanced joint convexity of the hockey-stick divergence related to $(\epsilon,\delta)$-DP and apply it to analyze the privacy of mixture mechanisms.

categories: stat.ML cs.CR cs.LG math.ST stat.ME stat.TH


title: Deep Learning-Enabled Text Semantic Communication under Interference: An Empirical Study

abstract: At the confluence of 6G, deep learning (DL), and natural language processing (NLP), DL-enabled text semantic communication (SemCom) has emerged as a 6G enabler by promising to minimize bandwidth consumption, transmission delay, and power usage. Among text SemCom techniques, \textit{DeepSC} is a popular scheme that leverages advancements in DL and NLP to reliably transmit semantic information in low signal-to-noise ratio (SNR) regimes. To understand the fundamental limits of such a transmission paradigm, our recently developed theory \cite{Getu'23_Performance_Limits} predicted the performance limits of DeepSC under radio frequency interference (RFI). Although these limits were corroborated by simulations, trained deep networks can defy classical statistical wisdom, and hence extensive computer experiments are needed to validate our theory. Accordingly, this empirical work follows concerning the training and testing of DeepSC using the proceedings of the European Parliament (Europarl) dataset. Employing training, validation, and testing sets \textit{tokenized and vectorized} from Europarl, we train the DeepSC architecture in Keras 2.9 with TensorFlow 2.9 as a backend and test it under Gaussian multi-interferer RFI received over Rayleigh fading channels. Validating our theory, the testing results corroborate that DeepSC produces semantically irrelevant sentences as the number of Gaussian RFI emitters gets very large. Therefore, a fundamental 6G design paradigm for \textit{interference-resistant and robust SemCom} (IR$^2$ SemCom) is needed.


title: BioInstruct: Instruction Tuning of Large Language Models for Biomedical Natural Language Processing

abstract: To enhance the performance of large language models (LLMs) in biomedical natural language processing (BioNLP) by introducing a domain-specific instruction dataset and examining its impact when combined with multi-task learning principles. We created the BioInstruct, comprising 25,005 instructions to instruction-tune LLMs(LLaMA 1 & 2, 7B & 13B version). The instructions were created by prompting the GPT-4 language model with three-seed samples randomly drawn from an 80 human curated instructions. We employed Low-Rank Adaptation(LoRA) for parameter-efficient fine-tuning. We then evaluated these instruction-tuned LLMs on several BioNLP tasks, which can be grouped into three major categories: question answering(QA), information extraction(IE), and text generation(GEN). We also examined whether categories(e.g., QA, IE, and generation) of instructions impact model performance. Comparing with LLMs without instruction-tuned, our instruction-tuned LLMs demonstrated marked performance gains: 17.3% in QA, 5.7% in IE, and 96% in Generation tasks. Our 7B-parameter instruction-tuned LLaMA 1 model was competitive or even surpassed other LLMs in the biomedical domain that were also fine-tuned from LLaMA 1 with vast domain-specific data or a variety of tasks. Our results also show that the performance gain is significantly higher when instruction fine-tuning is conducted with closely related tasks. Our findings align with the observations of multi-task learning, suggesting the synergies between two tasks. The BioInstruct dataset serves as a valuable resource and instruction tuned LLMs lead to the best performing BioNLP applications.


title: Ergodic dichotomy for subspace flows in higher rank

abstract: In this paper, we obtain an ergodic dichotomy for {\it directional} flows, more generally, subspace flows, for a class of discrete subgroups of a connected semisimple real algebraic group $G$, called transverse subgroups. The class of transverse subgroups of $G$ includes all discrete subgroups of rank one Lie groups, Anosov subgroups and their relative versions. Let $\Gamma$ be a Zariski dense $\theta$-transverse subgroup for a subset $\theta$ of simple roots. Let $L_\theta=A_\theta S_\theta$ be the Levi subgroup associated with $\theta$ where $A_\theta$ is the central maximal real split torus and $S_\theta$ is the product of a semisimple subgroup and a compact torus. There is a canonical $\Gamma$-invariant subspace $\tilde \Omega_{\theta}$ of $ G/S_\theta$ on which $\Gamma$ acts properly discontinuously. Setting $\Omega_\theta=\Gamma \backslash \tilde \Omega_\theta$, we consider the subspace flow given by $A_W=\exp W$ for any linear subspace $W< \frak a_\theta$. Our main theorem is a Hopf-Tsuji-Sullivan type dichotomy for the ergodicity of $(\Omega_\theta, A_W, \mathsf m)$ with respect to a Bowen-Margulis-Sullivan measure $\mathsf m$ satisfying a certain hypothesis. As an application, we obtain the codimension dichotomy for a $\theta$-Anosov subgroup $\Gamma <G$: for any subspace $W<\mathfrak{a}_\theta$ containing a vector $u$ in the interior of the $\theta$-limit cone of $\Gamma$, we have $\operatorname{codim} W \le 2$ if and only if the $A_W$-action on $(\Omega_\theta, \mathsf{m}_u)$ is ergodic where $\mathsf{m}_u$ is the Bowen-Margulis-Sullivan measure associated with $u$.


title: Model for the structure function constant for index of refraction fluctuations in Rayleigh-Benard turbulence

abstract: A model for the structure function constant associated with index of refraction fluctuations in Rayleigh-Benard turbulence is developed. The model is based upon the following assumptions: (1) the turbulence is homogeneous and isotropic at or near the mid-plane, (2) the rate of production is in balance with the rate of dissipation, (3) an inertial region exists, and (4) estimates for the rate of dissipation of temperature fluctuations and of turbulent kinetic energy can be made by assuming that the large-scale turbulence is dissipated in one eddy turnover time. From these assumptions, the dependence of the structure function on the geometry, heat flux, and the properties of the fluid is obtained. The model predicts that the normalized structure function constant is independent of the Rayleigh number. To verify the model, numerical simulations of Rayleigh-Benard turbulence were performed using two different approaches: an in-house code based on a pseudo-spectral method, and a finite volume code which employs a model for the smallest scales of the turbulence. The model was found to agree with the results of the simulations, thereby lending support for the assumptions underlying the theory.


title: Scaling Up Differentially Private LASSO Regularized Logistic Regression via Faster Frank-Wolfe Iterations

abstract: To the best of our knowledge, there are no methods today for training differentially private regression models on sparse input data. To remedy this, we adapt the Frank-Wolfe algorithm for $L_1$ penalized linear regression to be aware of sparse inputs and to use them effectively. In doing so, we reduce the training time of the algorithm from $\mathcal{O}( T D S + T N S)$ to $\mathcal{O}(N S + T \sqrt{D} \log{D} + T S^2)$, where $T$ is the number of iterations and a sparsity rate $S$ of a dataset with $N$ rows and $D$ features. Our results demonstrate that this procedure can reduce runtime by a factor of up to $2,200\times$, depending on the value of the privacy parameter $\epsilon$ and the sparsity of the dataset.


title: Using Fibonacci Numbers and Chebyshev Polynomials to Express Fox Coloring Groups and Alexander-Burau-Fox Modules of Diagrams of Wheel Graphs

abstract: In this paper we compute the Reduced Fox Coloring Group of the diagrams of Wheel Graphs which can also be represented at the closure of the braids $(\sigma_1 \sigma_2^{-1})^n$. In doing so, we utilize Fibonacci numbers and their properties. Following this, we generalize our result to compute the Alexander-Burau-Fox Module over the ring $\mathbb{Z}[t^{\pm 1}]$ for the same class of links. In our computation, Chebyshev polynomials function as a generalization of Fibonacci Numbers.


title: Interacting internal waves explain global patterns of interior ocean mixing

abstract: Across the stable density stratification of the abyssal ocean, deep dense water is slowly propelled upward by sustained, though irregular, turbulent mixing. The resulting mean upwelling is key to setting large-scale oceanic circulation properties, such as heat and carbon transport. It is generally accepted that in the ocean interior, this turbulent mixing is caused mainly by breaking internal waves, which are predominantly generated by winds and tides, interact nonlinearly, thereby fluxing energy down to ever smaller scales, and finally become unstable, break and mix the water column. This paradigm forms the conceptual backbone of the widely used Finescale Parameterization. This formula estimates small-scale mixing from the readily observable internal wave activity at larger scales and theoretical scaling laws for the downscale nonlinear energy flux, but has never been fully explained theoretically. Here, we close this gap using wave-wave interaction theory with input from both localized high-resolution experiments and combined global observational datasets. We find near-ubiquitous agreement between our predictions, derived from first-principles alone, and the observed mixing patterns in the global ocean interior. Our findings lay the foundations for a new type of wave-driven mixing parameterization for ocean general circulation models that is entirely physics-based, which is key to reliably represent climate states that differ substantially from today's.

categories: physics.ao-ph nlin.CD physics.flu-dyn physics.geo-ph


title: 'Person' == Light-skinned, Western Man, and Sexualization of Women of Color: Stereotypes in Stable Diffusion

abstract: We study stereotypes embedded within one of the most popular text-to-image generators: Stable Diffusion. We examine what stereotypes of gender and nationality/continental identity does Stable Diffusion display in the absence of such information i.e. what gender and nationality/continental identity is assigned to `a person', or to `a person from Asia'. Using vision-language model CLIP's cosine similarity to compare images generated by CLIP-based Stable Diffusion v2.1 verified by manual examination, we chronicle results from 136 prompts (50 results/prompt) of front-facing images of persons from 6 different continents, 27 nationalities and 3 genders. We observe how Stable Diffusion outputs of `a person' without any additional gender/nationality information correspond closest to images of men and least with persons of nonbinary gender, and to persons from Europe/North America over Africa/Asia, pointing towards Stable Diffusion having a concerning representation of personhood to be a European/North American man. We also show continental stereotypes and resultant harms e.g. a person from Oceania is deemed to be Australian/New Zealander over Papua New Guinean, pointing to the erasure of Indigenous Oceanic peoples, who form a majority over descendants of colonizers both in Papua New Guinea and in Oceania overall. Finally, we unexpectedly observe a pattern of oversexualization of women, specifically Latin American, Mexican, Indian and Egyptian women relative to other nationalities, measured through an NSFW detector. This demonstrates how Stable Diffusion perpetuates Western fetishization of women of color through objectification in media, which if left unchecked will amplify this stereotypical representation. Image datasets are made publicly available.


title: Polychromatic Colorings of Geometric Hypergraphs via Shallow Hitting Sets

abstract: A range family $\mathcal{R}$ is a family of subsets of $\mathbb{R}^d$, like all halfplanes, or all unit disks. Given a range family $\mathcal{R}$, we consider the $m$-uniform range capturing hypergraphs $\mathcal{H}(V,\mathcal{R},m)$ whose vertex-sets $V$ are finite sets of points in $\mathbb{R}^d$ with any $m$ vertices forming a hyperedge $e$ whenever $e = V \cap R$ for some $R \in \mathcal{R}$. Given additionally an integer $k \geq 2$, we seek to find the minimum $m = m_{\mathcal{R}}(k)$ such that every $\mathcal{H}(V,\mathcal{R},m)$ admits a polychromatic $k$-coloring of its vertices, that is, where every hyperedge contains at least one point of each color. Clearly, $m_{\mathcal{R}}(k) \geq k$ and the gold standard is an upper bound $m_{\mathcal{R}}(k) = O(k)$ that is linear in $k$. A $t$-shallow hitting set in $\mathcal{H}(V,\mathcal{R},m)$ is a subset $S \subseteq V$ such that $1 \leq |e \cap S| \leq t$ for each hyperedge $e$; i.e., every hyperedge is hit at least once but at most $t$ times by $S$. We show for several range families $\mathcal{R}$ the existence of $t$-shallow hitting sets in every $\mathcal{H}(V,\mathcal{R},m)$ with $t$ being a constant only depending on $\mathcal{R}$. This in particular proves that $m_{\mathcal{R}}(k) \leq tk = O(k)$ in such cases, improving previous polynomial bounds in $k$. Particularly, we prove this for the range families of all axis-aligned strips in $\mathbb{R}^d$, all bottomless and topless rectangles in $\mathbb{R}^2$, and for all unit-height axis-aligned rectangles in $\mathbb{R}^2$.


title: Computational Design of Magnetic Soft Shape-Forming Catheters using the Material Point Method

abstract: Magnetic Soft Catheters (MSCs) are capable of miniaturization due to the use of an external magnetic field for actuation. Through careful design of the magnetic elements within the MSC and the external magnetic field, the shape along the full length of the catheter can be precisely controlled. However, modeling of the magnetic-soft material is challenging due to the complex relationship between magnetic and elastic stresses within the material. Approaches based on traditional Finite Element Methods (FEM) lead to high computation time and rely on proprietary implementations. In this work, we showcase the use of our recently presented open-source simulation framework based on the Material Point Method (MPM) for the computational design of magnetic soft catheters to realize arbitrary shapes in 3D, and to facilitate follow-the-leader shape-forming insertion.


title: Time Scale Calculus: A New Approach to Multi-Dose Pharmacokinetic Modeling

abstract: In this paper, we use Time Scale Calculus (TSC) to formulate and solve pharmacokinetic models exploring multiple dose dynamics. TSC is a mathematical framework that allows the modeling of dynamical systems comprising continuous and discrete processes. This characteristic makes TSC particularly suited for multi-dose pharmacokinetic problems, which inherently feature a blend of continuous processes (such as absorption, metabolization, and elimination) and discrete events (drug intake). We use this toolkit to derive analytical expressions for blood concentration trajectories under various multi-dose regimens across several flagship pharmacokinetic models. We demonstrate that this mathematical framework furnishes an alternative and simplified way to model and retrieve analytical solutions for multi-dose dynamics. For instance, it enables the study of blood concentration responses to arbitrary dose regimens and facilitates the characterization of the long-term behavior of the solutions, such as their steady state.


title: Modeling random directions of changes in simplex-valued data

abstract: We propose models and algorithms for learning about random directions in simplex-valued data. The models are applied to the study of income level proportions and their changes over time in a geostatistical area. There are several notable challenges in the analysis of simplex-valued data: the measurements must respect the simplex constraint and the changes exhibit spatiotemporal smoothness and may be heterogeneous. To that end, we propose Bayesian models that draw from and expand upon building blocks in circular and spatial statistics by exploiting a suitable transformation for the simplex-valued data. Our models also account for spatial correlation across locations in the simplex and the heterogeneous patterns via mixture modeling. We describe some properties of the models and model fitting via MCMC techniques. Our models and methods are applied to an analysis of movements and trends of income categories using the Home Mortgage Disclosure Act data.


title: Addressing Weak Decision Boundaries in Image Classification by Leveraging Web Search and Generative Models

abstract: Machine learning (ML) technologies are known to be riddled with ethical and operational problems, however, we are witnessing an increasing thrust by businesses to deploy them in sensitive applications. One major issue among many is that ML models do not perform equally well for underrepresented groups. This puts vulnerable populations in an even disadvantaged and unfavorable position. We propose an approach that leverages the power of web search and generative models to alleviate some of the shortcomings of discriminative models. We demonstrate our method on an image classification problem using ImageNet's People Subtree subset, and show that it is effective in enhancing robustness and mitigating bias in certain classes that represent vulnerable populations (e.g., female doctor of color). Our new method is able to (1) identify weak decision boundaries for such classes; (2) construct search queries for Google as well as text for generating images through DALL-E 2 and Stable Diffusion; and (3) show how these newly captured training samples could alleviate population bias issue. While still improving the model's overall performance considerably, we achieve a significant reduction (77.30\%) in the model's gender accuracy disparity. In addition to these improvements, we observed a notable enhancement in the classifier's decision boundary, as it is characterized by fewer weakspots and an increased separation between classes. Although we showcase our method on vulnerable populations in this study, the proposed technique is extendable to a wide range of problems and domains.


title: A classification of curious Galois groups as direct products

abstract: Let $N$ be a positive integer. Let $\operatorname{H}$ be a group of level $N$ and let $E$ be an elliptic curve defined over the rationals with $\textit{j}_{E} \neq 0, 1728$. Then the image $\overline{\rho}_{E,N}\left(\operatorname{Gal}\left(\overline{\mathbb{Q}}/\mathbb{Q}\right)\right)$, of the mod-$N$ Galois representation attached to $E$, is conjugate to a subgroup of $\operatorname{H}$ if and only if $E$ corresponds to a non-cuspidal rational point on the modular curve $\operatorname{X}_{\operatorname{H}}$ generated by $\operatorname{H}$. In this article, we are interested when $\overline{\rho}_{E,N}(G_{\mathbb{Q}})$ is precisely $\operatorname{H}$. More precisely, we classify all groups $\operatorname{H}$ that are direct products of subgroups $\operatorname{H}$ for which $\operatorname{X}_{\operatorname{H}}$ contains infinitely many non-cuspidal rational points but there is no elliptic curve $E/\mathbb{Q}$ such that $\overline{\rho}_{E,N}\left(\operatorname{Gal}\left(\overline{\mathbb{Q}}/\mathbb{Q}\right)\right)$ is conjugate to $\operatorname{H}$.


title: Counterfactual fairness for small subgroups

abstract: While methods for measuring and correcting differential performance in risk prediction models have proliferated in recent years, most existing techniques can only be used to assess fairness across relatively large subgroups. The purpose of algorithmic fairness efforts is often to redress discrimination against groups that are both marginalized and small, so this sample size limitation often prevents existing techniques from accomplishing their main aim. We take a three-pronged approach to address the problem of quantifying fairness with small subgroups. First, we propose new estimands built on the "counterfactual fairness" framework that leverage information across groups. Second, we estimate these quantities using a larger volume of data than existing techniques. Finally, we propose a novel data borrowing approach to incorporate "external data" that lacks outcomes and predictions but contains covariate and group membership information. This less stringent requirement on the external data allows for more possibilities for external data sources. We demonstrate practical application of our estimators to a risk prediction model used by a major Midwestern health system during the COVID-19 pandemic.


title: On the Prospects of a de Broglie-Bohm-Barbour-Bertotti Theory

abstract: Pure shape dynamics (PSD) is a novel implementation of the relational framework originally proposed by Julian Barbour and Bruno Bertotti. PSD represents a Leibnizian/Machian approach to physics in that it completely describes the dynamical evolution of a physical system without resorting to any structure external to the system itself. The chapter discusses how PSD effectively describes a de Broglie-Bohm N-body system and the conceptual benefits of such a relational description. The analysis will highlight the new directions in the quest for an understanding of the nature of the wave function that are opened up by a modern relationalist elaboration on de Broglie's and Bohm's original insights.


title: Unveiling the Limits of Learned Local Search Heuristics: Are You the Mightiest of the Meek?

abstract: In recent years, combining neural networks with local search heuristics has become popular in the field of combinatorial optimization. Despite its considerable computational demands, this approach has exhibited promising outcomes with minimal manual engineering. However, we have identified three critical limitations in the empirical evaluation of these integration attempts. Firstly, instances with moderate complexity and weak baselines pose a challenge in accurately evaluating the effectiveness of learning-based approaches. Secondly, the absence of an ablation study makes it difficult to quantify and attribute improvements accurately to the deep learning architecture. Lastly, the generalization of learned heuristics across diverse distributions remains underexplored. In this study, we conduct a comprehensive investigation into these identified limitations. Surprisingly, we demonstrate that a simple learned heuristic based on Tabu Search surpasses state-of-the-art (SOTA) learned heuristics in terms of performance and generalizability. Our findings challenge prevailing assumptions and open up exciting avenues for future research and innovation in combinatorial optimization.


title: PolyThrottle: Energy-efficient Neural Network Inference on Edge Devices

abstract: As neural networks (NN) are deployed across diverse sectors, their energy demand correspondingly grows. While several prior works have focused on reducing energy consumption during training, the continuous operation of ML-powered systems leads to significant energy use during inference. This paper investigates how the configuration of on-device hardware-elements such as GPU, memory, and CPU frequency, often neglected in prior studies, affects energy consumption for NN inference with regular fine-tuning. We propose PolyThrottle, a solution that optimizes configurations across individual hardware components using Constrained Bayesian Optimization in an energy-conserving manner. Our empirical evaluation uncovers novel facets of the energy-performance equilibrium showing that we can save up to 36 percent of energy for popular models. We also validate that PolyThrottle can quickly converge towards near-optimal settings while satisfying application constraints.


title: Robust Estimation of Realized Correlation: New Insight about Intraday Fluctuations in Market Betas

abstract: Time-varying volatility is an inherent feature of most economic time-series, which causes standard correlation estimators to be inconsistent. The quadrant correlation estimator is consistent but very inefficient. We propose a novel subsampled quadrant estimator that improves efficiency while preserving consistency and robustness. This estimator is particularly well-suited for high-frequency financial data and we apply it to a large panel of US stocks. Our empirical analysis sheds new light on intra-day fluctuations in market betas by decomposing them into time-varying correlations and relative volatility changes. Our results show that intraday variation in betas is primarily driven by intraday variation in correlations.


title: Spatial Joint Species N-Mixture Models for Multi-Source Observational Data with Application to Wild Deer Population Abundance

abstract: Accurate predictions of the populations and spatial distributions of wild animal species is critical from a species management and conservation perspective. Culling is a measure taken for various reasons, including when overpopulation of a species is observed or suspected. Thus accurate estimates of population numbers are essential for specifying, monitoring, and evaluating the impact of such programmes. Population data for wild animals is generally collated from various sources and at differing spatial resolutions. Citizen science projects typically provide point referenced data, whereas site surveys, hunter reports, and official government data may be aggregated and released at a small area or regional level. Jointly modelling these data resources involves overcoming challenges of spatial misalignment. In this article, we develop an N mixture modelling methodology for joint modelling of species populations in the presence of spatially misaligned data, motivated by the three main species of wild deer in the Republic of Ireland; fallow, red and sika. Previous studies of deer populations investigated the distribution and abundance on a species by species basis, failing to account for possible correlation between individual species and the impact of ecological covariates on their distributions.


title: Proton and carbon-ion minibeam therapy: from modeling to treatment

abstract: Arrays of minibeams of protons and $^{12}$C in tissue-like media were modeled with Geant4 toolkit. A set of beam energies was used in simulations to provide a Spead-out Bragg peak (SOBP) extended by 6 cm in depth for protons as well as for $^{12}$C. In both cases, beams of 0.3 mm or 0.5 mm FWHM were arranged at the entrance to a water phantom either on a rectangular or an hexagonal grid to compare two kinds of projectiles and different minibeam patterns. Differential and cumulative dose-volume histograms (DVH) were calculated and compared for protons and $^{12}$C as dose uniformity metrics. A uniform dose distribution was easily achieved with protons due to an enhanced lateral scattering of these projectiles in comparison to $^{12}$C. The cumulative DVHs calculated for 0.3 mm or 0.5 mm minibeams almost coincide in the target volume, but diverge for different grid patterns. In contrast, cumulative entry DVHs were found similar for both grid patterns, but different for 0.3 mm and 0.5 mm minibeams.


title: Emotional Theory of Mind: Bridging Fast Visual Processing with Slow Linguistic Reasoning

abstract: The emotional theory of mind problem requires facial expressions, body pose, contextual information and implicit commonsense knowledge to reason about the person's emotion and its causes, making it currently one of the most difficult problems in affective computing. In this work, we propose multiple methods to incorporate the emotional reasoning capabilities by constructing "narrative captions" relevant to emotion perception, that includes contextual and physical signal descriptors that focuses on "Who", "What", "Where" and "How" questions related to the image and emotions of the individual. We propose two distinct ways to construct these captions using zero-shot classifiers (CLIP) and fine-tuning visual-language models (LLaVA) over human generated descriptors. We further utilize these captions to guide the reasoning of language (GPT-4) and vision-language models (LLaVa, GPT-Vision). We evaluate the use of the resulting models in an image-to-language-to-emotion task. Our experiments showed that combining the "Fast" narrative descriptors and "Slow" reasoning of language models is a promising way to achieve emotional theory of mind.


title: Adaptive Anchor Label Propagation for Transductive Few-Shot Learning

abstract: Few-shot learning addresses the issue of classifying images using limited labeled data. Exploiting unlabeled data through the use of transductive inference methods such as label propagation has been shown to improve the performance of few-shot learning significantly. Label propagation infers pseudo-labels for unlabeled data by utilizing a constructed graph that exploits the underlying manifold structure of the data. However, a limitation of the existing label propagation approaches is that the positions of all data points are fixed and might be sub-optimal so that the algorithm is not as effective as possible. In this work, we propose a novel algorithm that adapts the feature embeddings of the labeled data by minimizing a differentiable loss function optimizing their positions in the manifold in the process. Our novel algorithm, Adaptive Anchor Label Propagation}, outperforms the standard label propagation algorithm by as much as 7% and 2% in the 1-shot and 5-shot settings respectively. We provide experimental results highlighting the merits of our algorithm on four widely used few-shot benchmark datasets, namely miniImageNet, tieredImageNet, CUB and CIFAR-FS and two commonly used backbones, ResNet12 and WideResNet-28-10. The source code can be found at https://github.com/MichalisLazarou/A2LP.


title: State-Dependent Dynamic Tube MPC: A Novel Tube MPC Method with a Fuzzy Model of Disturbances

abstract: Most real-world systems are affected by external disturbances, which may be impossible or costly to measure. For instance, when autonomous robots move in dusty environments, the perception of their sensors is disturbed. Moreover, uneven terrains can cause ground robots to deviate from their planned trajectories. Thus, learning the external disturbances and incorporating this knowledge into the future predictions in decision-making can significantly contribute to improved performance. Our core idea is to learn the external disturbances that vary with the states of the system, and to incorporate this knowledge into a novel formulation for robust tube model predictive control (TMPC). Robust TMPC provides robustness to bounded disturbances considering the known (fixed) upper bound of the disturbances, but it does not consider the dynamics of the disturbances. This can lead to highly conservative solutions. We propose a new dynamic version of robust TMPC (with proven robust stability), called state-dependent dynamic TMPC (SDD-TMPC), which incorporates the dynamics of the disturbances into the decision-making of TMPC. In order to learn the dynamics of the disturbances as a function of the system states, a fuzzy model is proposed. We compare the performance of SDD-TMPC, MPC, and TMPC via simulations, in designed search-and-rescue scenarios. The results show that, while remaining robust to bounded external disturbances, SDD-TMPC generates less conservative solutions and remains feasible in more cases, compared to TMPC.


title: Generative retrieval-augmented ontologic graph and multi-agent strategies for interpretive large language model-based materials design

abstract: Transformer neural networks show promising capabilities, in particular for uses in materials analysis, design and manufacturing, including their capacity to work effectively with both human language, symbols, code, and numerical data. Here we explore the use of large language models (LLMs) as a tool that can support engineering analysis of materials, applied to retrieving key information about subject areas, developing research hypotheses, discovery of mechanistic relationships across disparate areas of knowledge, and writing and executing simulation codes for active knowledge generation based on physical ground truths. When used as sets of AI agents with specific features, capabilities, and instructions, LLMs can provide powerful problem solution strategies for applications in analysis and design problems. Our experiments focus on using a fine-tuned model, MechGPT, developed based on training data in the mechanics of materials domain. We first affirm how finetuning endows LLMs with reasonable understanding of domain knowledge. However, when queried outside the context of learned matter, LLMs can have difficulty to recall correct information. We show how this can be addressed using retrieval-augmented Ontological Knowledge Graph strategies that discern how the model understands what concepts are important and how they are related. Illustrated for a use case of relating distinct areas of knowledge - here, music and proteins - such strategies can also provide an interpretable graph structure with rich information at the node, edge and subgraph level. We discuss nonlinear sampling strategies and agent-based modeling applied to complex question answering, code generation and execution in the context of automated force field development from actively learned Density Functional Theory (DFT) modeling, and data analysis.

categories: cs.CL cond-mat.dis-nn cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph


title: Systems Interoperability Types: A Tertiary Study

abstract: Interoperability has been a focus of attention over at least four decades, with the emergence of several interoperability types (or levels), diverse models, frameworks, and solutions, also as a result of a continuous effort from different domains. The current heterogeneity in technologies such as blockchain, IoT and new application domains such as Industry 4.0 brings not only new interaction possibilities but also challenges for interoperability. Moreover, confusion and ambiguity in the current understanding of interoperability types exist, hampering stakeholders' communication and decision making. This work presents an updated panorama of software-intensive systems interoperability with particular attention to its types. For this, we conducted a tertiary study that scrutinized 37 secondary studies published from 2012 to 2023, from which we found 36 interoperability types associated with 117 different definitions, besides 13 interoperability models and six frameworks in various domains. This panorama reveals that the concern with interoperability has migrated from technical to social-technical issues going beyond the software systems' boundary and still requiring solving many open issues. We also address the urgent actions and also potential research opportunities to leverage interoperability as a multidisciplinary research field to achieve low-coupled, cost-effective, and interoperable systems.


title: Cosmological simulations of mixed ultralight dark matter

abstract: The era of precision cosmology allows us to test the composition of the dark matter. Mixed ultralight or fuzzy dark matter (FDM) is a cosmological model with dark matter composed of a combination of particles of mass $m\leq 10^{-20}\;\mathrm{eV}$, with an astrophysical de Broglie wavelength, and particles with a negligible wavelength sharing the properties of cold dark matter (CDM). In this work, we simulate cosmological volumes with a dark matter wave function for the ultralight component coupled gravitationally to CDM particles. We investigate the impact of a mixture of CDM and FDM in various proportions $(0\%,\;1\%,\;10\%,\;50\%,\;100\%)$ and for ultralight particle masses ranging over five orders of magnitude $(2.5\times 10^{-25}\;\mathrm{eV}-2.5\times 10^{-21}\;\mathrm{eV})$. To track the evolution of density perturbations in the non-linear regime, we adapt the simulation code AxioNyx to solve the CDM dynamics coupled to a FDM wave function obeying the Schr\"odinger-Poisson equations. We obtain the non-linear power spectrum and study the impact of the wave effects on the growth of structure on different scales. We confirm that the steady-state solution of the Schr\"odinger-Poisson system holds at the center of halos in the presence of a CDM component when it composes $50\%$ or less of the dark matter but find no stable density core when the FDM accounts for $10\%$ or less of the dark matter. We implement a modified friends-of-friends halo finder and find good agreement between the observed halo abundance and the predictions from the adapted halo model axionHMCode.


title: A low cost, flexible atmospheric pressure plasma jet device with good antimicrobial efficiency

abstract: Plasma sources suitable to generate low temperature plasmas has been fundamental for the advances in plasma medicine. In this research field, plasma sources must comply with stringent conditions for clinical applications. The main requirement to be met is the patient and operator's safety and the ethical requirement of effectivity, which encompasses the electrical regulations, potential device toxicity and effectiveness in relation to the desired treatment. All these issues are addressed by the German pre-standard DIN SPEC 91315:2014-06 (DINSpec), which deals with the safety limits, risk assessment and biological efficacy of plasma sources aimed for medical applications. In this work, a low cost, user-friendly and flexible atmospheric pressure plasma jet (APPJ) device was characterized following the DINSpec guidelines. The device, which is still under development, proved to be safe for medical applications. It is capable of producing an APPJ with low patient leakage current and UV emission, gas temperature lower than 40 {\deg}C, production of harmful gases within the safety limits and low cytotoxicity. The most differentiating feature is that the device presented good antimicrobial efficacy even operating at frequency of the order of just a few hundred Hz, a value below that of most devices reported in the literature.


title: Partial regularity for $BV^\mathcal{B}$ minimizers

abstract: We prove an $\varepsilon$-regularity theorem for $BV^\mathcal{B}$ minimizers of strongly $\mathcal{B}$-quasiconvex functionals with linear growth, where $\mathcal{B}$ is an elliptic operator of the first order. This generalises to the $BV^\mathcal{B}$ setting the analogous result for $BV$ functions by F. Gmeineder and J. Kristensen [Arch. Rational Mech. Anal. 232 (2019)]. The results of this work cannot be directly derived from the $\mathcal{B} =\nabla$ case essentially because of Ornstein's "non-inequality". This adaptation requires an abstract local Poincar\'e inequality and a fine Fubini-type property to avoid the use of trace theorems, which in general fail when $\mathcal{B}$ is elliptic.


title: Early Detection of Depression and Eating Disorders in Spanish: UNSL at MentalRiskES 2023

abstract: MentalRiskES is a novel challenge that proposes to solve problems related to early risk detection for the Spanish language. The objective is to detect, as soon as possible, Telegram users who show signs of mental disorders considering different tasks. Task 1 involved the users' detection of eating disorders, Task 2 focused on depression detection, and Task 3 aimed at detecting an unknown disorder. These tasks were divided into subtasks, each one defining a resolution approach. Our research group participated in subtask A for Tasks 1 and 2: a binary classification problem that evaluated whether the users were positive or negative. To solve these tasks, we proposed models based on Transformers followed by a decision policy according to criteria defined by an early detection framework. One of the models presented an extended vocabulary with important words for each task to be solved. In addition, we applied a decision policy based on the history of predictions that the model performs during user evaluation. For Tasks 1 and 2, we obtained the second-best performance according to rankings based on classification and latency, demonstrating the effectiveness and consistency of our approaches for solving early detection problems in the Spanish language.


title: Influence of Electrode Structuring Techniques on the Performance of All-Solid-State Batteries

abstract: All-solid-state batteries (ASSBs) offer a promising route to safer batteries with superior energy density compared to conventional Li-ion batteries (LIBs). However, the design of the composite cathode and optimization of the underlying microstructure is one of the aspects requiring intensive research. Achieving both high energy and power density remains challenging due to limitations in ionic conductivity and active material loading. Using structure-resolved simulations, we investigate the potential of perforated and layered electrode designs to enhance ASSB performance. Design strategies showing significant performance increase in LIBs are evaluated regarding their application to ASSBs. Composite cathodes with solid electrolyte channels in the structure do not significantly increase cell performance compared to unstructured electrodes. However, the design with a two-layer cathode proves promising. The layered structure effectively balances improved ionic transport due to increased solid electrolyte fraction at the separator side and substantial active material loading through increased active material fraction at the current collector side of the cathode. Our research highlights key challenges in ASSB development and provides a clear direction for future studies in the field.


title: Connection between partial pressure, volatility, and the Soret effect elucidated using simulations of non-ideal supercritical fluid mixtures

abstract: Building on recent simulation work, it is demonstrated using molecular-dynamics (MD) simulations of two-component fluid mixtures that the chemical contribution to the Soret effect in two-component non-ideal fluid mixtures arises due to differences in how the partial pressures of the components respond to temperature and density gradients. Further insight is obtained by reviewing the connection between activity and deviations from Raoult's law in the measurement of the vapor pressure of a liquid mixture. A new parameter $\gamma_{s}^{S}$, defined in a manner similar to the activity coefficient, is used to characterize differences deviations from ``ideal'' behavior. It is then shown that the difference $\gamma_{2}^{S}-\gamma_{1}^{S}$ is predictive of the sign of the Soret coefficient and is correlated to its magnitude. We hence connect the Soret effect to the relative volatility of the components of a fluid mixture, with the more volatile component enriched in the low-density, high-temperature region, and the less volatile component enriched in the high-density, low-temperature region. Because $\gamma_{s}^{S}$ is closely connected to the activity coefficient, this suggests the possibility that measurement of partial vapor pressures might be used to indirectly determine the Soret coefficient. It is proposed that the insight obtained here is quite general and should be applicable to a wide range of materials systems. An attempt is made to understand how these results might apply to other materials systems including interstitials in solids and multicomponent solids with interdiffusion occurring via a vacancy mechanism.


title: Slices in the loop spaces of symmetric varieties and the formality conjecture

abstract: We construct transversal slices to the closures of spherical and Iwahori orbits in loop spaces of symmetric varieties generalizing a construction of Mars-Springer in the finite dimensional setting. We show that those slices are isomorphic to certain Lagrangian subvarieties of the affine Grassmannian slices. We provide applications to the formality conjecture in relative Langlands duality.


title: Improved Bayesian Regret Bounds for Thompson Sampling in Reinforcement Learning

abstract: In this paper, we prove the first Bayesian regret bounds for Thompson Sampling in reinforcement learning in a multitude of settings. We simplify the learning problem using a discrete set of surrogate environments, and present a refined analysis of the information ratio using posterior consistency. This leads to an upper bound of order $\widetilde{O}(H\sqrt{d_{l_1}T})$ in the time inhomogeneous reinforcement learning problem where $H$ is the episode length and $d_{l_1}$ is the Kolmogorov $l_1-$dimension of the space of environments. We then find concrete bounds of $d_{l_1}$ in a variety of settings, such as tabular, linear and finite mixtures, and discuss how how our results are either the first of their kind or improve the state-of-the-art.


title: Evolutionary Tabletop Game Design: A Case Study in the Risk Game

abstract: Creating and evaluating games manually is an arduous and laborious task. Procedural content generation can aid by creating game artifacts, but usually not an entire game. Evolutionary game design, which combines evolutionary algorithms with automated playtesting, has been used to create novel board games with simple equipment; however, the original approach does not include complex tabletop games with dice, cards, and maps. This work proposes an extension of the approach for tabletop games, evaluating the process by generating variants of Risk, a military strategy game where players must conquer map territories to win. We achieved this using a genetic algorithm to evolve the chosen parameters, as well as a rules-based agent to test the games and a variety of quality criteria to evaluate the new variations generated. Our results show the creation of new variations of the original game with smaller maps, resulting in shorter matches. Also, the variants produce more balanced matches, maintaining the usual drama. We also identified limitations in the process, where, in many cases, where the objective function was correctly pursued, but the generated games were nearly trivial. This work paves the way towards promising research regarding the use of evolutionary game design beyond classic board games.


title: Nash or Stackelberg? -- A comparative study for game-theoretic AV decision-making

abstract: This paper studies game-theoretic decision-making for autonomous vehicles (AVs). A receding horizon multi-player game is formulated to model the AV decision-making problem. Two classes of games, including Nash game and Stackelber games, are developed respectively. For each of the two games, two solution settings, including pairwise games and multi-player games, are introduced, respectively, to solve the game in multi-agent scenarios. Comparative studies are conducted via statistical simulations to gain understandings of the performance of the two classes of games and of the two solution settings, respectively. The simulations are conducted in intersection-crossing scenarios, and the game performance is quantified by three metrics: safety, travel efficiency, and computational time.