title: Conditional correlation estimation and serial dependence identification

abstract: It has been recently shown in Jaworski, P., Jelito, D. and Pitera, M. (2024), 'A note on the equivalence between the conditional uncorrelation and the independence of random variables', Electronic Journal of Statistics 18(1), that one can characterise the independence of random variables via the family of conditional correlations on quantile-induced sets. This effectively shows that the localized linear measure of dependence is able to detect any form of nonlinear dependence for appropriately chosen conditioning sets. In this paper, we expand this concept, focusing on the statistical properties of conditional correlation estimators and their potential usage in serial dependence identification. In particular, we show how to estimate conditional correlations in generic and serial dependence setups, discuss key properties of the related estimators, define the conditional equivalent of the autocorrelation function, and provide a series of examples which prove that the proposed framework could be efficiently used in many practical econometric applications.


title: Universality in long-range interacting systems: the effective dimension approach

abstract: Dimensional correspondences have a long history in critical phenomena. Here, we review the effective dimension approach, which relates the scaling exponents of a critical system in $d$ spatial dimensions with power-law decaying interactions $r^{d+\sigma}$ to a local system, i.e., with finite range interactions, in an effective fractal dimension $d_\mathrm{eff}$. This method simplifies the study of long-range models by leveraging known results from their local counterparts. While the validity of this approximation beyond the mean-field level has been long debated, we demonstrate that the effective dimension approach, while approximate for non-Gaussian fixed points, accurately estimates the critical exponents of long-range models with an accuracy typically larger than $97\%$. To do so, we review perturbative RG results, extend the approximation's validity using functional RG techniques, and compare our findings with precise numerical data from conformal bootstrap for the two-dimensional Ising model with long-range interactions.


title: Singular knee identification to support emergence recognition in physical swarm and cellular automata trajectories

abstract: After decades of attention, emergence continues to lack a centralized mathematical definition that leads to a rigorous emergence test applicable to physical flocks and swarms, particularly those containing both deterministic elements (eg, interactions) and stochastic perturbations like measurement noise. This study develops a heuristic test based on singular value curve analysis of data matrices containing deterministic and Gaussian noise signals. The minimum detection criteria are identified, and statistical and matrix space analysis developed to determine upper and lower bounds. This study applies the analysis to representative examples by using recorded trajectories of mixed deterministic and stochastic trajectories for multi-agent, cellular automata, and biological video. Examples include Cucker Smale and Vicsek flocking, Gaussian noise and its integration, recorded observations of bird flocking, and 1D cellular automata. Ensemble simulations including measurement noise are performed to compute statistical variation and discussed relative to random matrix theory noise bounds. The results indicate singular knee analysis of recorded trajectories can detect gradated levels on a continuum of structure and noise. Across the eight singular value decay metrics considered, the angle subtended at the singular value knee emerges with the most potential for supporting cross-embodiment emergence detection, the size of noise bounds is used as an indication of required sample size, and the presence of a large fraction of singular values inside noise bounds as an indication of noise.


title: LLM Granularity for On-the-Fly Robot Control

abstract: Assistive robots have attracted significant attention due to their potential to enhance the quality of life for vulnerable individuals like the elderly. The convergence of computer vision, large language models, and robotics has introduced the `visuolinguomotor' mode for assistive robots, where visuals and linguistics are incorporated into assistive robots to enable proactive and interactive assistance. This raises the question: \textit{In circumstances where visuals become unreliable or unavailable, can we rely solely on language to control robots, i.e., the viability of the `linguomotor` mode for assistive robots?} This work takes the initial steps to answer this question by: 1) evaluating the responses of assistive robots to language prompts of varying granularities; and 2) exploring the necessity and feasibility of controlling the robot on-the-fly. We have designed and conducted experiments on a Sawyer cobot to support our arguments. A Turtlebot robot case is designed to demonstrate the adaptation of the solution to scenarios where assistive robots need to maneuver to assist. Codes will be released on GitHub soon to benefit the community.


title: Major Entity Identification: A Generalizable Alternative to Coreference Resolution

abstract: The limited generalization of coreference resolution (CR) models has been a major bottleneck in the task's broad application. Prior work has identified annotation differences, especially for mention detection, as one of the main reasons for the generalization gap and proposed using additional annotated target domain data. Rather than relying on this additional annotation, we propose an alternative formulation of the CR task, Major Entity Identification (MEI), where we: (a) assume the target entities to be specified in the input, and (b) limit the task to only the frequent entities. Through extensive experiments, we demonstrate that MEI models generalize well across domains on multiple datasets with supervised models and LLM-based few-shot prompting. Additionally, the MEI task fits the classification framework, which enables the use of classification-based metrics that are more robust than the current CR metrics. Finally, MEI is also of practical use as it allows a user to search for all mentions of a particular entity or a group of entities of interest.


title: HYPERmotion: Learning Hybrid Behavior Planning for Autonomous Loco-manipulation

abstract: Enabling robots to autonomously perform hybrid motions in diverse environments can be beneficial for long-horizon tasks such as material handling, household chores, and work assistance. This requires extensive exploitation of intrinsic motion capabilities, extraction of affordances from rich environmental information, and planning of physical interaction behaviors. Despite recent progress has demonstrated impressive humanoid whole-body control abilities, they struggle to achieve versatility and adaptability for new tasks. In this work, we propose HYPERmotion, a framework that learns, selects and plans behaviors based on tasks in different scenarios. We combine reinforcement learning with whole-body optimization to generate motion for 38 actuated joints and create a motion library to store the learned skills. We apply the planning and reasoning features of the large language models (LLMs) to complex loco-manipulation tasks, constructing a hierarchical task graph that comprises a series of primitive behaviors to bridge lower-level execution with higher-level planning. By leveraging the interaction of distilled spatial geometry and 2D observation with a visual language model (VLM) to ground knowledge into a robotic morphology selector to choose appropriate actions in single- or dual-arm, legged or wheeled locomotion. Experiments in simulation and real-world show that learned motions can efficiently adapt to new tasks, demonstrating high autonomy from free-text commands in unstructured scenes. Videos and website: hy-motion.github.io/


title: Electric Conductivity of QCD Matter and Dilepton Spectra in Heavy-Ion Collisions

abstract: The electric conductivity, $\sigma_{\rm el}$, is a fundamental transport coefficient of QCD matter that can be related to the zero-energy limit of the electromagnetic (EM) spectral function at vanishing 3-momentum in the medium. The EM spectral function is also the central quantity to describe the thermal emission rates and pertinent spectra of photon and dilepton radiation in heavy-ion collisions. Employing a model for dilepton rates that combines hadronic many-body theory with nonperturbative QGP emission constrained by lattice-QCD which describes existing dilepton measurements in heavy-ion collisions, we investigate the sensitivity of low-mass dilepton spectra in Pb-Pb collisions at the LHC to $\sigma_{\rm el}$. In particular, we disentangle the contributions from QGP and hadronic emission, and identify signatures that can help to extract $\sigma_{\rm el}$ from high-precision experimental data expected to be attainable with future detector systems at the LHC.


title: OpenDebateEvidence: A Massive-Scale Argument Mining and Summarization Dataset

abstract: We introduce OpenDebateEvidence, a comprehensive dataset for argument mining and summarization sourced from the American Competitive Debate community. This dataset includes over 3.5 million documents with rich metadata, making it one of the most extensive collections of debate evidence. OpenDebateEvidence captures the complexity of arguments in high school and college debates, providing valuable resources for training and evaluation. Our extensive experiments demonstrate the efficacy of fine-tuning state-of-the-art large language models for argumentative abstractive summarization across various methods, models, and datasets. By providing this comprehensive resource, we aim to advance computational argumentation and support practical applications for debaters, educators, and researchers. OpenDebateEvidence is publicly available to support further research and innovation in computational argumentation. Access it here: https://huggingface.co/datasets/Yusuf5/OpenCaselist


title: Growth of high redshift supermassive black holes from heavy seeds in the BRAHMA cosmological simulations: Implications of overmassive black holes

abstract: JWST has recently revealed a large population of accreting black holes (BHs) in the early Universe. Even after accounting for possible systematic biases, the high-z $M_*-M_{\rm \rm bh}$ relation derived from these objects by Pacucci et al. (2023 P23 relation) is above the local scaling relation by $>3\sigma$. To understand the implications of potentially overmassive high-z BH populations, we study the BH growth at $z\sim4-7$ using the $[18~\mathrm{Mpc}]^3$ BRAHMA suite of cosmological simulations with systematic variations of heavy seed models that emulate direct collapse black hole (DCBH) formation. In our least restrictive seed model, we place $\sim10^5~M_{\odot}$ seeds in halos with sufficient dense and metal-poor gas. To model conditions for direct collapse, we impose additional criteria based on a minimum Lyman Werner flux (LW flux $=10~J_{21}$), maximum gas spin, and an environmental richness criterion. The high-z BH growth in our simulations is merger dominated, with a relatively small contribution from gas accretion. For the most restrictive simulation that includes all the above seeding criteria for DCBH formation, the high-z $M_*-M_{\rm bh}$ relation falls significantly below the P23 relation (by factor of $\sim10$ at $z\sim4$). Only by excluding the spin and environment based criteria, and by assuming $\lesssim750~\mathrm{Myr}$ delay times between host galaxy mergers and subsequent BH mergers, are we able to reproduce the P23 relation. Overall, our results suggest that if high-z BHs are indeed systematically overmassive, assembling them would require more efficient heavy seeding channels, higher initial seed masses, additional contributions from lighter seeds to BH mergers, and / or more efficient modes for BH accretion.


title: Algebraic proof of modular form inequalities for optimal sphere packings

abstract: We give algebraic proofs of Viazovska and Cohn-Kumar-Miller-Radchenko-Viazovska's modular form inequalities for 8 and 24-dimensional optimal sphere packings.


title: Thin-film quartz for high-coherence piezoelectric phononic crystal resonators

abstract: Piezoelectric phononic crystal resonators (PCRs) are a promising platform for acoustic quantum processing, yet their performance is currently limited by coupling to an ensemble of saturable two-level system (TLS) defects within the resonator material. Motivated by its excellent bulk mechanical properties and high crystallinity, we address this by fabricating PCRs from a new substrate: thin-film quartz. At single-phonon powers and millikelvin temperatures -- requisite conditions for quantum phononic processing -- we demonstrate large internal mechanical quality factors, $Q_i > 160,000$. This represents an order of magnitude improvement in single-phonon lifetimes for piezoelectric PCR. We characterize the loss channels in these devices and find that, although improved, the low-power response is still limited by coupling to a TLS bath and that a significant portion of the TLSs are associated with the aluminum coupling electrodes. To explore the high-power response we perform ringdown measurements and demonstrate high-power quality factor-frequency products $Q_i \cdot f = 1.4 \times 10^{16}$ Hz.


title: Modelling the evolution of the Galactic disc scale height traced by open clusters

abstract: Context. The scale height of the spatial distribution of open clusters (OCs) in the Milky Way exhibits a well known increase with age which is usually interpreted as evidence for dynamical heating of the disc or of the disc having been thicker in the past. Aims. We address the increase of the scale height with age of the OC population from a different angle. We propose that the apparent thickening of the disc can be largely explained as a consequence of a stronger disruption of OCs near the Galactic plane by disc phenomena, namely encounters with giant molecular clouds (GMCs). Methods. We present a computational model that forms OCs with different initial masses and follows their orbits while subjecting them to different disruption mechanisms. To setup the model and infer its parameters, we use and analyse a Gaia-based OC catalogue (Dias et al. 2021). We investigate both the spatial and age distributions of the OC population and discuss the completeness of the sample. The simulation results are then compared to the observations. Results. Consistent with previous studies, the observations reveal that the SH of the spatial distribution of OCs increases with age. We find that it is very likely that the OC sample is incomplete even for the solar neighbourhood. The model simulations successfully reproduce the SH increase with age and the total number of OCs that survive with age up to 1 Gyr. For older OCs, the predicted SH from the model starts deviating from the observations, although remaining within the uncertainties of the observations. This can be related with effects of incompleteness and/or simplifications in the model. Conclusions. A selective disruption of OCs near the galactic plane through GMC encounters is able to explain the SH evolution of the OC population.


title: Advantage Alignment Algorithms

abstract: The growing presence of artificially intelligent agents in everyday decision-making, from LLM assistants to autonomous vehicles, hints at a future in which conflicts may arise from each agent optimizing individual interests. In general-sum games these conflicts are apparent, where naive Reinforcement Learning agents get stuck in Pareto-suboptimal Nash equilibria. Consequently, opponent shaping has been introduced as a method with success at finding socially beneficial equilibria in social dilemmas. In this work, we introduce Advantage Alignment, a family of algorithms derived from first principles that perform opponent shaping efficiently and intuitively. This is achieved by aligning the advantages of conflicting agents in a given game by increasing the probability of mutually-benefiting actions. We prove that existing opponent shaping methods, including LOLA and LOQA, implicitly perform Advantage Alignment. Compared to these works, Advantage Alignment mathematically simplifies the formulation of opponent shaping and seamlessly works for continuous action domains. We also demonstrate the effectiveness of our algorithm in a wide range of social dilemmas, achieving state of the art results in each case, including a social dilemma version of the Negotiation Game.


title: MagMar III -- Resisting the Pressure, Is the Magnetic Field Overwhelmed in NGC6334I?

abstract: We report on ALMA observations of polarized dust emission at 1.2 mm from NGC6334I, a source known for its significant flux outbursts. Between five months, our data show no substantial change in total intensity and a modest 8\% variation in linear polarization, suggesting a phase of stability or the conclusion of the outburst. The magnetic field, inferred from this polarized emission, displays a predominantly radial pattern from North-West to South-East with intricate disturbances across major cores, hinting at spiral structures. Energy analysis of CS$(J=5 \rightarrow 4)$ emission yields an outflow energy of approximately $3.5\times10^{45}$ ergs, aligning with previous interferometric studies. Utilizing the Davis-Chandrasekhar-Fermi method, we determined magnetic field strengths ranging from 1 to 11 mG, averaging at 1.9 mG. This average increases to 4 $\pm 1$ mG when incorporating Zeeman measurements. Comparative analyses using gravitational, thermal, and kinetic energy maps reveal that magnetic energy is significantly weaker, possibly explaining the observed field morphology. We also find that the energy in the outflows and the expanding cometary {\HII} region is also larger than the magnetic energy, suggesting that protostellar feedback maybe the dominant driver behind the injection of turbulence in NGC6334I at the scales sampled by our data. The gas in NGC6334I predominantly exhibits supersonic and trans-Alfvenic conditions, transitioning towards a super-Alfvenic regime, underscoring a diminished influence of the magnetic field with increasing gas density. These observations are in agreement with prior polarization studies at 220 GHz, enriching our understanding of the dynamic processes in high-mass star-forming regions.


title: Experimental Validation of Cooperative RSS-based Localization with Unknown Transmit Power, Path Loss Exponent, and Precise Anchor Location

abstract: Received signal strength (RSS)--based cooperative localization has gained significant attention due to its straightforward system architectures and cost-effectiveness. In this paper, we propose Cooperative Localization Techniques (with Unknown Parameters), referred to as CTUP(s), which consider uncertainty in anchor nodes' locations and assume the transmit power and \textcolor{blue}{path loss exponent (PLE)} to be unknown. Unlike prior studies, CTUP(s) address unknowns by estimating these parameters, along with the location of target nodes. The non-convex and non-linear nature of the maximum likelihood (ML) estimator of the problem is addressed through relaxation techniques, employing Taylor series expansion, semidefinite relaxation (SDR), and the epigraph method. The resulting problem is solved using semidefinite second-order cone programming (SDP-SOCP), leveraging the precision of SDP and the simplicity of SOCP. We deployed an extensive network comprising 50 BLE nodes covering an area of 640~m $\times$ 180~m to gather RSS data. The precise location of the nodes is obtained using real-time kinematics global positioning system (RTK-GPS), which is treated as the ground truth. Furthermore, to replicate real-world scenarios, we recorded the positions of the anchor nodes using a standard GPS, thereby introducing uncertainty into the anchor node locations. Extensive simulation and hardware experimentation demonstrate the superior performance of CTUP compared to existing techniques.


title: Torsion-free Modules over Commutative Domains of Krull Dimension One

abstract: Let $R$ be a domain of Krull dimension one, we study when the class $\mathcal{F}$ of modules over $R$ that are arbitrary direct sums of finitely generated torsion-free modules is closed under direct summands. If $R$ is local, we show that $\mathcal{F}$ is closed under direct summands if and only if any indecomposable, finitely generated, torsion-free module has local endomorphism ring. If, in addition, $R$ is noetherian this is equivalent to say that the normalization of $R$ is a local ring. If $R$ is an $h$-local domain of Krull dimension $1$ and $\mathcal{F}_R$ is closed under direct summands, then the property is inherited by the localizations of $R$ at maximal ideals. Moreover, any localizations of $R$ at a maximal ideal, except maybe one, satisfies that any finitely generated ideal is $2$-generated. The converse is true when the domain $R$ is, in addition, integrally closed, or noetherian semilocal or noetherian with module-finite normalization. Finally, over a commutative domain of finite character and with no restriction on the Krull dimension, we show that the isomorphism classes of countable generated modules in $\mathcal{F}$ are determined by their genus.


title: Co-training for Low Resource Scientific Natural Language Inference

abstract: Scientific Natural Language Inference (NLI) is the task of predicting the semantic relation between a pair of sentences extracted from research articles. The automatic annotation method based on distant supervision for the training set of SciNLI (Sadat and Caragea, 2022b), the first and most popular dataset for this task, results in label noise which inevitably degenerates the performance of classifiers. In this paper, we propose a novel co-training method that assigns weights based on the training dynamics of the classifiers to the distantly supervised labels, reflective of the manner they are used in the subsequent training epochs. That is, unlike the existing semi-supervised learning (SSL) approaches, we consider the historical behavior of the classifiers to evaluate the quality of the automatically annotated labels. Furthermore, by assigning importance weights instead of filtering out examples based on an arbitrary threshold on the predicted confidence, we maximize the usage of automatically labeled data, while ensuring that the noisy labels have a minimal impact on model training. The proposed method obtains an improvement of 1.5% in Macro F1 over the distant supervision baseline, and substantial improvements over several other strong SSL baselines. We make our code and data available on Github.


title: Drilling hyperbolic groups

abstract: Given a hyperbolic group $G$ and a maximal infinite cyclic subgroup $\langle g \rangle$, we define a drilling of $G$ along $g$, which is a relatively hyperbolic group pair $(\widehat{G}, P)$. This is inspired by the well-studied procedure of drilling a hyperbolic 3-manifold along an embedded geodesic. We prove that, under suitable conditions, a hyperbolic group with $2$-sphere boundary admits a drilling where the resulting relatively hyperbolic group pair $(\widehat{G}, P)$ has relatively hyperbolic boundary $S^2$. This allows us to reduce the Cannon Conjecture (in the residually finite case) to a relative version.


title: Compression of the Channel State Information with Deep Learning

abstract: This paper proposes the use of deep autoencoders to compress the channel information in a multiple input and multiple output (MIMO) system. Although autoencoders perform lossy compression, they still have adequate usefulness when applied to MIMO system channel state information (CSI) compression. To demonstrate their impact on the CSI, we measure the performance of the system under two different channel models for different compression ratios. We show through simulation that the run-time complexity of this deep autoencoder is irrelative to the compression ratio and that useful compression ratios depend on the channel model and the signal to noise ratio.


title: Comprehensive survey of hybrid equations of state in neutron star mergers and constraints on the hadron-quark phase transition

abstract: We perform an extensive study of equation of state (EoS) models featuring a phase transition from hadronic to deconfined quark matter in neutron star merger simulations. We employ three different hadronic EoSs, a constant speed of sound parameterization for the quark phase and a Maxwell construction to generate a large sample of hybrid EoS models. We systematically vary the onset density and density jump of the phase transition as well as the quark matter stiffness and simulate binary neutron star mergers to infer how the properties of the phase transition affect the gravitational-wave signal. In total we simulate mergers with 245 different hybrid EoS models. In particular, we explore in which scenarios a phase transition would be detectable by a characteristically increased postmerger gravitational-wave frequency compared to an estimate from the inspiral signal assuming a purely hadronic EoS. We find that the density jump at the transition (latent heat) has the largest impact on the gravitational-wave frequencies, while the influence of the stiffness of quark matter is smaller. We quantify which range of phase transition properties would be compatible with a certain magnitude or absence of the gravitational-wave postmerger frequency shift. By means of these dependencies, a future detection will thus directly yield constraints on the allowed features of the hadron-quark phase transition.


title: Exploring Design Choices for Building Language-Specific LLMs

abstract: Despite rapid progress in large language models (LLMs), their performance on a vast majority of languages remain unsatisfactory. In this paper, we study building language-specific LLMs by adapting monolingual and multilingual LLMs. We conduct systematic experiments on how design choices (base model selection, vocabulary extension, and continued fine-tuning) impact the adapted LLM, both in terms of efficiency (how many tokens are needed to encode the same amount of information) and end task performance. We find that (1) the initial performance before the adaptation is not always indicative of the final performance. (2) Efficiency can easily improved with simple vocabulary extension and continued fine-tuning in most LLMs we study, and (3) The optimal adaptation method is highly language-dependent, and the simplest approach works well across various experimental settings. Adapting English-centric models can yield better results than adapting multilingual models despite their worse initial performance on low-resource languages. Together, our work lays foundations on efficiently building language-specific LLMs by adapting existing LLMs.


title: Galaxy evolution in compact groups II. Witnessing the influence of major structures in their evolution

abstract: Compact groups (CGs) of galaxies are extreme environments for morphological transformations and the cessation of star formation. Our objective is to understand the dynamics of CGs and how their surrounding environment impacts galaxy properties. We selected a sample of 340 CGs in the Stripe 82 region, totaling 1083 galaxies, and a control sample of 2281 field galaxies. We find that at least 27\% of our sample of CGs are part of major structures, i.e. non-isolated CGs. We find a bimodality in the effective radius ($R_e$)-S\'ersic index ($n$) plane for all transition galaxies (those with $(u-r) > 2.3$ and $n<2.5$) in CGs. Additionally, transition galaxies in isolated CGs populate more densely the $R_e-n$ plane for $n < 1.75$. In contrast, transition galaxies in non-isolated CGs have smoothly increasing $n$ values, suggesting these galaxies have already suffered morphological transformation, and primarily contribute to the distribution of more compact galaxies in the $R_e-n$ plane for all transition galaxies in CGs. We also find significant differences in the specific star-formation rate (sSFR) distribution between the late-type galaxies (LTGs) ($(u-r)<2.3$ and $n< 2.5$) in non-isolated CGs and the same type of galaxies in the control sample, suggesting that the evolution of LTGs differs in non-isolated CGs. Early-type galaxies ($(u-r)>2.3$ and $n>2.5$) and transition galaxies in non-isolated CGs have lower sSFR values and a higher fraction of quenched galaxies, compared to those in isolated CGs. Based on our results, we propose an evolutionary scenario where the major structures in which the CGs are embedded accelerate the morphological transformations of their members. Our findings highlight the importance of considering the larger structures in which CGs may be located, when analysing the properties of their galaxy, as this can significantly affect the evolution of CGs and their galaxies.


title: Observation of a Synchro-betatron Instability in Fermilab Booster

abstract: In preparation for PIP-II, there has been interest in running the Fermilab Booster at a higher current more indicative of the PIP-II era operation. In July 2023, an experiment was performed to study collective instabilities over the transition crossing at the Fermilab Booster. Over the transition crossing, the synchrotron tune becomes small and synchro-betatron instabilities become possible. During the experiment, an intensity threshold was observed, above which a dipole instability with losses concentrated in the tail of the bunch. These losses are consistent with the Convective Instability.


title: Insights into LLM Long-Context Failures: When Transformers Know but Don't Tell

abstract: Large Language Models (LLMs) exhibit positional bias, struggling to utilize information from the middle or end of long contexts. Our study explores LLMs' long-context reasoning by probing their hidden representations. We find that while LLMs encode the position of target information, they often fail to leverage this in generating accurate responses. This reveals a disconnect between information retrieval and utilization, a "know but don't tell" phenomenon. We further analyze the relationship between extraction time and final accuracy, offering insights into the underlying mechanics of transformer models.


title: Correlated and Critical Phenomena in Multipartite Quantum Non-Markovianity

abstract: We consider the problem of the general assessment of non-Markovianity in multipartite open quantum systems. To this end, we elaborate on a previously introduced non-Markovian measure to formulate a finite and additive quantifier with appropriate asymptotic behavior. We then study the dynamics of two two-level atoms in a resonant cavity as a function of their interatomic distance using an exact treatment. We observe a critical behavior in the non-Markovianity in the form of a Markovian to non-Markovian transition at a finite distance and a discontinuity in the limit of infinitely close atoms. Additionally, in this limit of highly correlated dynamics, non-Markovianity can emerge when the size of the system exceeds a critical threshold.


title: This Looks Better than That: Better Interpretable Models with ProtoPNeXt

abstract: Prototypical-part models are a popular interpretable alternative to black-box deep learning models for computer vision. However, they are difficult to train, with high sensitivity to hyperparameter tuning, inhibiting their application to new datasets and our understanding of which methods truly improve their performance. To facilitate the careful study of prototypical-part networks (ProtoPNets), we create a new framework for integrating components of prototypical-part models -- ProtoPNeXt. Using ProtoPNeXt, we show that applying Bayesian hyperparameter tuning and an angular prototype similarity metric to the original ProtoPNet is sufficient to produce new state-of-the-art accuracy for prototypical-part models on CUB-200 across multiple backbones. We further deploy this framework to jointly optimize for accuracy and prototype interpretability as measured by metrics included in ProtoPNeXt. Using the same resources, this produces models with substantially superior semantics and changes in accuracy between +1.3% and -1.5%. The code and trained models will be made publicly available upon publication.


title: The $\rho$ meson magnetic dipole moment from BaBar $e^+e^- \to \pi^+ \pi^-\pi^0 \pi^0 $ cross section measurement

abstract: We obtain the value of the magnetic dipole moment of the $\rho$ meson using data from the BaBar Collaboration for the $e^{+} e^{-} \to \pi^+ \pi^- 2 \pi^0$ process, in the center of mass energy range from 0.9 to 1.8 GeV. We describe the $\gamma^* \to 4\pi$ vertex using a vector meson dominance model, including the intermediate resonant contributions relevant at these energies. We find $\mu_\rho = 2.7 \pm 0.3 $ in $e/2 m_\rho$ units. We improve on the previous extracted value, where preliminary data from the same collaboration was used, by considering definite data, better grounded values of the parameters involved and explicit gauge invariant description of the process.


title: Homology manifolds and euclidean bundles

abstract: We construct a Poincar\'e complex whose periodic total surgery obstruction vanishes but whose Spivak normal fibration does not admit a reduction to a stable euclidean bundle. This contradicts the conjunction of two claims in the literature: Namely, on the one hand that a Poincar\'e complex with vanishing periodic total surgery obstruction is homotopy equivalent to a homology manifold, which appears in work of Bryant--Ferry--Mio--Weinberger, and on the other that the Spivak normal fibration of a homology manifold always admits a reduction to a stable euclidean bundle, which appears in work of Ferry--Pedersen.


title: Bidirectional Transformer Representations of (Spanish) Ambiguous Words in Context: A New Lexical Resource and Empirical Analysis

abstract: Lexical ambiguity -- where a single wordform takes on distinct, context-dependent meanings -- serves as a useful tool to compare across different large language models' (LLMs') ability to form distinct, contextualized representations of the same stimulus. Few studies have systematically compared LLMs' contextualized word embeddings for languages beyond English. Here, we evaluate multiple bidirectional transformers' (BERTs') semantic representations of Spanish ambiguous nouns in context. We develop a novel dataset of minimal-pair sentences evoking the same or different sense for a target ambiguous noun. In a pre-registered study, we collect contextualized human relatedness judgments for each sentence pair. We find that various BERT-based LLMs' contextualized semantic representations capture some variance in human judgments but fall short of the human benchmark, and for Spanish -- unlike English -- model scale is uncorrelated with performance. We also identify stereotyped trajectories of target noun disambiguation as a proportion of traversal through a given LLM family's architecture, which we partially replicate in English. We contribute (1) a dataset of controlled, Spanish sentence stimuli with human relatedness norms, and (2) to our evolving understanding of the impact that LLM specification (architectures, training protocols) exerts on contextualized embeddings.


title: Faraday tomography of LoTSS-DR2 data: III. Revealing the Local Bubble and the complex of local interstellar clouds in the high-latitude inner Galaxy

abstract: In this work, we present a new mosaic created with the second release of LOFAR Two-Metre Sky Survey data (LoTSS-DR2), which probes polarised synchrotron emission in the high-latitude inner Galaxy. Our objective is to characterise the observed emission through multi-tracer analysis to better understand the volume and the structures that may be observed with LOFAR. Furthermore, we exploit Faraday depth as a unique tool to probe the diffuse magnetised structure in the local ISM. We produced a mosaic Faraday cube of LoTSS-DR2 data by applying a rotation measure synthesis algorithm. From the cube, we constructed Faraday moment maps to characterise the nature of spectra. Additionally, we quantified the linear depolarisation canals using the Rolling Hough transform and used them to search for alignment with other data sets. Utilising LoTSS-DR2 observations alongside complementary data sets including Planck polarisation data, HI emission maps, and starlight polarisation measurements, we estimated the distance to the Faraday structures. The Faraday cube reveals an ordered structure across two-thirds of the observed area, whose orientation aligns well with that of both the HI filaments and the magnetic field. We estimate the minimum distance to the Faraday structures to be between 40 and 80 pc, which puts them in the vicinity of the Local Bubble wall. The emission is organised in a large gradient in Faraday depth whose origin we associate with the curved wall of the Local Bubble. Comparing our data with a model of the Local Bubble wall, we conclude that we might be probing a contribution of the medium inside the Local Bubble cavity as well, corresponding to the complex of local interstellar clouds. Moreover, we propose a toy model incorporating an ionised front of finite thickness into the Local Bubble wall, as a curved, cold neutral shell alone is insufficient to produce the observed gradient.


title: Dravidian language family through Universal Dependencies lens

abstract: The Universal Dependencies (UD) project aims to create a cross-linguistically consistent dependency annotation for multiple languages, to facilitate multilingual NLP. It currently supports 114 languages. Dravidian languages are spoken by over 200 million people across the word, and yet there are only two languages from this family in UD. This paper examines some of the morphological and syntactic features of Dravidian languages and explores how they can be annotated in the UD framework.


title: Intercity Connectivity and Innovation

abstract: Urban outputs, from economy to innovation, are known to grow as a power of a city's population. But, since large cities tend to be central in transportation and communication networks, the effects attributed to city size may be confounded with those of intercity connectivity. Here, we map intercity networks for the world's two largest economies (the United States and China) to explore whether a city's position in the networks of communication, human mobility, and scientific collaboration explains variance in a city's patenting activity that is unaccounted for by its population. We find evidence that models incorporating intercity connectivity outperform population-based models and exhibit stronger predictive power for patenting activity, particularly for technologies of more recent vintage (which we expect to be more complex or sophisticated). The effects of intercity connectivity are more robust in China, even after controlling for population, GDP, and education, but not in the United States once adjusted for GDP and education. This divergence suggests distinct urban network dynamics driving innovation in these regions. In China, models with social media and mobility networks explain more heterogeneity in the scaling of innovation, whereas in the United States, scientific collaboration plays a more significant role. These findings support the significance of a city's position within the intercity network in shaping its success in innovative activities.


title: Uniform Convergence of Adversarially Robust Classifiers

abstract: In recent years there has been significant interest in the effect of different types of adversarial perturbations in data classification problems. Many of these models incorporate the adversarial power, which is an important parameter with an associated trade-off between accuracy and robustness. This work considers a general framework for adversarially-perturbed classification problems, in a large data or population-level limit. In such a regime, we demonstrate that as adversarial strength goes to zero that optimal classifiers converge to the Bayes classifier in the Hausdorff distance. This significantly strengthens previous results, which generally focus on $L^1$-type convergence. The main argument relies upon direct geometric comparisons and is inspired by techniques from geometric measure theory.


title: TAGLAS: An atlas of text-attributed graph datasets in the era of large graph and language models

abstract: In this report, we present TAGLAS, an atlas of text-attributed graph (TAG) datasets and benchmarks. TAGs are graphs with node and edge features represented in text, which have recently gained wide applicability in training graph-language or graph foundation models. In TAGLAS, we collect and integrate more than 23 TAG datasets with domains ranging from citation graphs to molecule graphs and tasks from node classification to graph question-answering. Unlike previous graph datasets and benchmarks, all datasets in TAGLAS have a unified node and edge text feature format, which allows a graph model to be simultaneously trained and evaluated on multiple datasets from various domains. Further, we provide a standardized, efficient, and simplified way to load all datasets and tasks. We also provide useful utils like text-to-embedding conversion, and graph-to-text conversion, which can facilitate different evaluation scenarios. Finally, we also provide standard and easy-to-use evaluation utils. The project is open-sourced at https://github.com/JiaruiFeng/TAGLAS and is still under construction. Please expect more datasets/features in the future.


title: Structural chirality and related properties in the periodic inorganic solids: Review and perspectives

abstract: Chirality refers to the asymmetry of objects that cannot be superimposed on their mirror image. It is a concept that exists in various scientific fields and has profound consequences. Although these are perhaps most widely recognized within biology, chemistry, and pharmacology, recent advances in chiral phonons, topological systems, crystal enantiomorphic materials, and magneto-chiral materials have brought this topic to the forefront of condensed matter physics research. Our review discusses the symmetry requirements and the features associated with structural chirality in inorganic materials. This allows us to explore the nature of phase transitions in these systems, the coupling between order parameters, and their impact on the material's physical properties. We highlight essential contributions to the field, particularly recent progress in the study of chiral phonons, altermagnetism, magnetochirality between others. Despite the rarity of naturally occurring inorganic chiral crystals, this review also highlights a significant knowledge gap, presenting challenges and opportunities for structural chirality mostly at the fundamental level, e.g., chiral displacive phase transitions and ferrochirality, possibilities of tuning and switching structural chirality by external means (electric, magnetic, or strain fields), whether chirality could be an independent order parameter, and whether structural chirality could be quantified, etc. Beyond simply summarising this field of research, this review aims to inspire further research in materials science by addressing future challenges, encouraging the exploration of chirality beyond traditional boundaries, and seeking the development of innovative materials with superior or new properties.


title: Evaluating vision-capable chatbots in interpreting kinematics graphs: a comparative study of free and subscription-based models

abstract: This study investigates the performance of eight large multimodal model (LMM)-based chatbots on the Test of Understanding Graphs in Kinematics (TUG-K), a research-based concept inventory. Graphs are a widely used representation in STEM and medical fields, making them a relevant topic for exploring LMM-based chatbots' visual interpretation abilities. We evaluated both freely available chatbots (Gemini 1.0 Pro, Claude 3 Sonnet, Microsoft Copilot, and ChatGPT-4o) and subscription-based ones (Gemini 1.0 Ultra, Gemini 1.5 Pro API, Claude 3 Opus, and ChatGPT-4). We found that OpenAI's chatbots outperform all the others, with ChatGPT-4o showing the overall best performance. Contrary to expectations, we found no notable differences in the overall performance between freely available and subscription-based versions of Gemini and Claude 3 chatbots, with the exception of Gemini 1.5 Pro, available via API. In addition, we found that tasks relying more heavily on linguistic input were generally easier for chatbots than those requiring visual interpretation. The study provides a basis for considerations of LMM-based chatbot applications in STEM and medical education, and suggests directions for future research.


title: A Contrastive Learning Approach to Mitigate Bias in Speech Models

abstract: Speech models may be affected by performance imbalance in different population subgroups, raising concerns about fair treatment across these groups. Prior attempts to mitigate unfairness either focus on user-defined subgroups, potentially overlooking other affected subgroups, or do not explicitly improve the internal representation at the subgroup level. This paper proposes the first adoption of contrastive learning to mitigate speech model bias in underperforming subgroups. We employ a three-level learning technique that guides the model in focusing on different scopes for the contrastive loss, i.e., task, subgroup, and the errors within subgroups. The experiments on two spoken language understanding datasets and two languages demonstrate that our approach improves internal subgroup representations, thus reducing model bias and enhancing performance.


title: A Geometric Splitting of the Motive of $\textrm{GL}_n$

abstract: A paper by Haynes Miller shows that there is a filtration on the unitary groups that splits in the stable homotopy category, where the stable summands are certain Thom spaces over Grassmannians. We give an algebraic version of this result in the context of Voevodsky's tensor triangulated category of stable motivic complexes $\textbf{DM}(k,R)$, where $k$ is a field. Specifically, we show that there are algebraic analogs of the Thom spaces appearing in Miller's splitting that give rise to an analogous splitting of the motive $M(\textrm{GL}_n)$ in $\textbf{DM}(k,R)$, where $\textrm{GL}_n$ is the general linear group scheme over $k$.


title: Absence of a bulk charge density wave signature in x-ray measurements of UTe$_2$

abstract: The long-sought pair density wave (PDW) is an exotic phase of matter in which charge density wave (CDW) order is intertwined with the amplitude or phase of coexisting, superconducting order \cite{Berg2009,Berg2009b}. Originally predicted to exist in copper-oxides, circumstantial evidence for PDW order now exists in a variety of materials. Recently, scanning tunneling microscopy (STM) studies have reported evidence for a three-component charge density wave (CDW) at the surface of the heavy-fermion superconductor, UTe$_2$, persisting below its superconducting transition temperature. Here, we use hard x-ray diffraction measurements on crystals of UTe$_2$ at $T = 1.9$ K and $12$ K to search for a bulk signature of this CDW. Using STM measurements as a constraint, we calculate the expected locations of CDW superlattice peaks, and sweep a large volume of reciprocal space in search of a signature. We failed to find any evidence for a CDW near any of the expected superlattice positions in many Brillouin zones. We estimate an upper bound on the CDW lattice distortion of $u_{max} \lesssim 4 \times 10^{-3} \mathrm{\AA}$. Our results suggest that the CDW observed in STM is either purely electronic, somehow lacking a signature in the structural lattice, or is restricted to the material surface.


title: Broadband Fourier-Transform Optical Photothermal Infrared Spectroscopy and Imaging

abstract: Optical photothermal microscopy is a powerful, emerging method that overcomes the diffraction limit in infrared hyperspectral imaging by utilizing a visible probe laser beam to detect local temperature-induced modulation at the visible diffraction limit. However, the spectral range of this technique has been limited by the tuning range of infrared sources, which is generally restricted to the fingerprint window with commercially available quantum cascade lasers. In this work, ultra-broadband synchrotron infrared radiation was used for infrared photothermal imaging and spectroscopy, spanning the entire mid-infrared range. Both optical- and fluorescence-detected photothermal modalities were performed, demonstrating improved spectral range when compared to optical photothermal microscopy using commercial sources and improved spatial resolution when compared to synchrotron micro-spectroscopy measurements. Following these initial validation studies, synchrotron Fourier-transform optical photothermal infrared spectroscopy (FT-OPTIR) in combination with synchrotron micro-spectroscopy measurements were used to differentiate cells in mouse brain tissue sections.


title: Absence of bulk charge density wave order in the normal state of UTe$_2$

abstract: A spatially modulated superconducting state at zero magnetic field, known as pair density wave (PDW), is a tantalizing state of matter with unique properties. PDWs have been observed in diverse spin-singlet superconductors ranging from high-temperature cuprate and Fe-based superconductors to kagome and two-dimensional chalcogenide compounds. Recent scanning tunneling microscopy (STM) studies reveal that spin-triplet superconductor UTe$_2$ hosts an unprecedented spin-triplet PDW whose wavevectors are indistinguishable from a preceding charge-density wave (CDW) order that survives to temperatures well above the superconducting critical temperature, $T_{c}$. Whether the PDW is the mother or a subordinate order remains unsettled. Here, based on a systematic search for bulk charge order above $T_{c}$ using resonant elastic X-ray scattering (REXS), we show that the structure factor of charge order previously identified by STM is absent in the bulk within the sensitivity of REXS, which implies that the reported CDW order in the normal state of UTe$_2$ is a surface phenomenon. Our results invite two scenarios: either the density-wave orders condense simultaneously at $T_{c}$ in the bulk, in which case PDW order is likely the mother phase, or these modulations are restricted to the surface.


title: Three robust temperature-drift compensation strategies for a MEMS gravimeter

abstract: Gravimeters fabricated with MEMS suffer from temperature-dependent drifts in their long-term stability. We analyze the thermal contributions to the signal, and we propose three mechanisms to mitigate their effects. The first one uses materials that fulfill the condition $\alpha_E=-2 \alpha$, where the thermal expansion is canceled by the temperature variation of the Young's modulus. The second one uses the thermal expansion to introduce a compression that compensates the variation in the force of the spring. In the third one, the expansion compensates the displacement of the proof mass in the sensor, rather than the force. The three mechanisms are robust since they only depend on the temperature of the sensor itself.


title: A Review of Spatial Network Insights and Methods in the Context of Planning: Applications, Challenges, and Opportunities

abstract: With the rise of geospatial big data, new narratives of cities based on spatial networks and flows have replaced the traditional focus on locations. While plenty of research have empirically analyzed network structures, there lacks a state-of-the-art synthesis of applicable insights and methods of spatial networks in the planning context. In this chapter, we reviewed the theories, concepts, methods, and applications of spatial network analysis in cities and their insights for planners from four areas of concern: spatial structures, urban infrastructure optimizations, indications of economic wealth, social capital, and residential mobility, and public health control (especially COVID-19). We also outlined four challenges that planners face when taking the planning knowledge from spatial networks to actions: data openness and privacy, linkage to direct policy implications, lack of civic engagement, and the difficulty to visualize and integrate with GIS. Finally, we envisioned how spatial networks can be integrated into a collaborative planning framework.


title: Voice Disorder Analysis: a Transformer-based Approach

abstract: Voice disorders are pathologies significantly affecting patient quality of life. However, non-invasive automated diagnosis of these pathologies is still under-explored, due to both a shortage of pathological voice data, and diversity of the recording types used for the diagnosis. This paper proposes a novel solution that adopts transformers directly working on raw voice signals and addresses data shortage through synthetic data generation and data augmentation. Further, we consider many recording types at the same time, such as sentence reading and sustained vowel emission, by employing a Mixture of Expert ensemble to align the predictions on different data types. The experimental results, obtained on both public and private datasets, show the effectiveness of our solution in the disorder detection and classification tasks and largely improve over existing approaches.


title: Presolar grains

abstract: The chemical makeup of our solar system is a reflection of Galactic chemical evolution in the local interstellar medium (ISM) over the past ~9 Ga before the formation of the solar system. Although the incorporated ISM dust was mostly destroyed during the solar system formation, a small fraction of the ISM dust, known as presolar grains, is preserved in pristine extraterrestrial materials and identified through their exotic isotopic compositions, pointing to their formation in gas outflows or explosions of ancient stars. Since their stellar birth at more than 4.6 Ga, presolar grains have borne witness to a diverse array of astrophysical and cosmochemical processes. In this chapter, I will review recent progress in utilizing the isotopic and structural compositions of presolar grains to constrain physical mixing processes and dust formation in stars, stellar nucleosynthesis, ISM processes, and the origin and evolution of the solar system.


title: Depth $F_1$: Improving Evaluation of Cross-Domain Text Classification by Measuring Semantic Generalizability

abstract: Recent evaluations of cross-domain text classification models aim to measure the ability of a model to obtain domain-invariant performance in a target domain given labeled samples in a source domain. The primary strategy for this evaluation relies on assumed differences between source domain samples and target domain samples in benchmark datasets. This evaluation strategy fails to account for the similarity between source and target domains, and may mask when models fail to transfer learning to specific target samples which are highly dissimilar from the source domain. We introduce Depth $F_1$, a novel cross-domain text classification performance metric. Designed to be complementary to existing classification metrics such as $F_1$, Depth $F_1$ measures how well a model performs on target samples which are dissimilar from the source domain. We motivate this metric using standard cross-domain text classification datasets and benchmark several recent cross-domain text classification models, with the goal of enabling in-depth evaluation of the semantic generalizability of cross-domain text classification models.


title: Physically Analyzable AI-Based Nonlinear Platoon Dynamics Modeling During Traffic Oscillation: A Koopman Approach

abstract: Given the complexity and nonlinearity inherent in traffic dynamics within vehicular platoons, there exists a critical need for a modeling methodology with high accuracy while concurrently achieving physical analyzability. Currently, there are two predominant approaches: the physics model-based approach and the Artificial Intelligence (AI)--based approach. Knowing the facts that the physical-based model usually lacks sufficient modeling accuracy and potential function mismatches and the pure-AI-based method lacks analyzability, this paper innovatively proposes an AI-based Koopman approach to model the unknown nonlinear platoon dynamics harnessing the power of AI and simultaneously maintain physical analyzability, with a particular focus on periods of traffic oscillation. Specifically, this research first employs a deep learning framework to generate the embedding function that lifts the original space into the embedding space. Given the embedding space descriptiveness, the platoon dynamics can be expressed as a linear dynamical system founded by the Koopman theory. Based on that, the routine of linear dynamical system analysis can be conducted on the learned traffic linear dynamics in the embedding space. By that, the physical interpretability and analyzability of model-based methods with the heightened precision inherent in data-driven approaches can be synergized. Comparative experiments have been conducted with existing modeling approaches, which suggests our method's superiority in accuracy. Additionally, a phase plane analysis is performed, further evidencing our approach's effectiveness in replicating the complex dynamic patterns. Moreover, the proposed methodology is proven to feature the capability of analyzing the stability, attesting to the physical analyzability.


title: A Benchmark Study of Deep-RL Methods for Maximum Coverage Problems over Graphs

abstract: Recent years have witnessed a growing trend toward employing deep reinforcement learning (Deep-RL) to derive heuristics for combinatorial optimization (CO) problems on graphs. Maximum Coverage Problem (MCP) and its probabilistic variant on social networks, Influence Maximization (IM), have been particularly prominent in this line of research. In this paper, we present a comprehensive benchmark study that thoroughly investigates the effectiveness and efficiency of five recent Deep-RL methods for MCP and IM. These methods were published in top data science venues, namely S2V-DQN, Geometric-QN, GCOMB, RL4IM, and LeNSE. Our findings reveal that, across various scenarios, the Lazy Greedy algorithm consistently outperforms all Deep-RL methods for MCP. In the case of IM, theoretically sound algorithms like IMM and OPIM demonstrate superior performance compared to Deep-RL methods in most scenarios. Notably, we observe an abnormal phenomenon in IM problem where Deep-RL methods slightly outperform IMM and OPIM when the influence spread nearly does not increase as the budget increases. Furthermore, our experimental results highlight common issues when applying Deep-RL methods to MCP and IM in practical settings. Finally, we discuss potential avenues for improving Deep-RL methods. Our benchmark study sheds light on potential challenges in current deep reinforcement learning research for solving combinatorial optimization problems.


title: Generating geographically and economically realistic large-scale synthetic contact networks: A general method using publicly available data

abstract: Synthetic contact networks are useful for modeling epidemic spread and social transmission, but data to infer realistic contact patterns that take account of assortative connections at the geographic and economic levels is limited. We developed a method to generate synthetic contact networks for any region of the United States based on publicly available data. First, we generate a synthetic population of individuals within households from US census data using combinatorial optimization. Then, individuals are assigned to workplaces and schools using commute data, employment statistics, and school enrollment data. The resulting population is then connected into a realistic contact network using graph generation algorithms. We test the method on two census regions and show that the synthetic populations accurately reflect the source data. We further show that the contact networks have distinct properties compared to networks generated without a synthetic population, and that those differences affect the rate of disease transmission in an epidemiological simulation. We provide open-source software to generate a synthetic population and contact network for any area within the US.


title: Preferential Multi-Objective Bayesian Optimization

abstract: Preferential Bayesian optimization (PBO) is a framework for optimizing a decision-maker's latent preferences over available design choices. While preferences often involve multiple conflicting objectives, existing work in PBO assumes that preferences can be encoded by a single objective function. For example, in robotic assistive devices, technicians often attempt to maximize user comfort while simultaneously minimizing mechanical energy consumption for longer battery life. Similarly, in autonomous driving policy design, decision-makers wish to understand the trade-offs between multiple safety and performance attributes before committing to a policy. To address this gap, we propose the first framework for PBO with multiple objectives. Within this framework, we present dueling scalarized Thompson sampling (DSTS), a multi-objective generalization of the popular dueling Thompson algorithm, which may be of interest beyond the PBO setting. We evaluate DSTS across four synthetic test functions and two simulated exoskeleton personalization and driving policy design tasks, showing that it outperforms several benchmarks. Finally, we prove that DSTS is asymptotically consistent. As a direct consequence, this result provides, to our knowledge, the first convergence guarantee for dueling Thompson sampling in the PBO setting.


title: On maximizing the number of heads when you need to set aside at least one coin every round

abstract: You play the following game: you start out with $n$ coins that all have probability $p$ to land heads. You toss all of them and you then need to set aside at least one of them, which will not be tossed again. Now you repeat the process with the remaining coins. This continues (for at most $n$ rounds) until all coins have been set aside. Your goal is to maximize the total number of heads you end up with. In this paper we will prove that there exists a constant $p_0 \approx 0.5495021777642$ such that, if $p_0 < p \le 1$ and the number of remaining coins is large enough, then it is optimal to set aside exactly one coin every round, unless all coins landed heads. When $\frac{1}{2} \le p \le p_0$, it is optimal to set aside exactly one coin every round, unless at most one coin came up tails. Let $v_{n,p}$ be the expected number of heads you obtain when using the optimal strategy. We will show that $v_{n,p}$ is larger than or equal to $v_{n-1,p} + 1$ for all $n \ge 3$ and all $p \ge \frac{1}{2}$. When $p < \frac{1}{2}$ there are infinitely many $n$ for which this inequality does not hold. Finally, we will see that for every $p$ with $0 < p \le 1$ the sequence $n - v_{n,p}$ is convergent.


title: Speech Prefix-Tuning with RNNT Loss for Improving LLM Predictions

abstract: In this paper, we focus on addressing the constraints faced when applying LLMs to ASR. Recent works utilize prefixLM-type models, which directly apply speech as a prefix to LLMs for ASR. We have found that optimizing speech prefixes leads to better ASR performance and propose applying RNNT loss to perform speech prefix-tuning. This is a simple approach and does not increase the model complexity or alter the inference pipeline. We also propose language-based soft prompting to further improve with frozen LLMs. Empirical analysis on realtime testset from 10 Indic languages demonstrate that our proposed speech prefix-tuning yields improvements with both frozen and fine-tuned LLMs. Our recognition results on an average of 10 Indics show that the proposed prefix-tuning with RNNT loss results in a 12\% relative improvement in WER over the baseline with a fine-tuned LLM. Our proposed approches with the frozen LLM leads to a 31\% relative improvement over basic soft-prompting prefixLM.


title: On complete generators of certain Lie algebras on Danielewski surfaces

abstract: We study the Lie algebra of polynomial vector fields on a smooth Danielewski surface of the form $x y = p(z)$. We provide explicitly given generators to show that: 1. The Lie algebra of polynomial vector fields is generated by $6$ complete vector fields. 2. The Lie algebra of volume-preserving polynomial vector fields is generated by finitely many vector fields, whose number depends on the degree of the Danielewski surface. 3. There exists a Lie sub-algebra generated by $4$ LNDs whose flows generate a group that acts infinitely transitively on the Danielewski surface.


title: Do LLMs Have Distinct and Consistent Personality? TRAIT: Personality Testset designed for LLMs with Psychometrics

abstract: The idea of personality in descriptive psychology, traditionally defined through observable behavior, has now been extended to Large Language Models (LLMs) to better understand their behavior. This raises a question: do LLMs exhibit distinct and consistent personality traits, similar to humans? Existing self-assessment personality tests, while applicable, lack the necessary validity and reliability for precise personality measurements. To address this, we introduce TRAIT, a new tool consisting of 8K multi-choice questions designed to assess the personality of LLMs with validity and reliability. TRAIT is built on the psychometrically validated human questionnaire, Big Five Inventory (BFI) and Short Dark Triad (SD-3), enhanced with the ATOMIC10X knowledge graph for testing personality in a variety of real scenarios. TRAIT overcomes the reliability and validity issues when measuring personality of LLM with self-assessment, showing the highest scores across three metrics: refusal rate, prompt sensitivity, and option order sensitivity. It reveals notable insights into personality of LLM: 1) LLMs exhibit distinct and consistent personality, which is highly influenced by their training data (i.e., data used for alignment tuning), and 2) current prompting techniques have limited effectiveness in eliciting certain traits, such as high psychopathy or low conscientiousness, suggesting the need for further research in this direction.


title: Single-photon gig in Betelgeuse's occultation

abstract: We present results from the occultation of Betelgeuse by asteroid (319) Leona on December 12, 2023, observed using a 64x64 pixel Single-Photon Avalanche Diode (SPAD) array mounted on a 10-inch telescope at the AstroCamp Observatory in Nerpio, Southeast of Spain, just a few kilometers from the center of the occultation shadow path. This study highlights remarkable advancements in applying SPAD technology in astronomy. The SPAD array's asynchronous readout capacity and photon-counting timestamp mode enabled a temporal resolution of 1 microsecond in our light curve observations of Betelgeuse. Our data analysis addressed challenges inherent to SPAD arrays, such as optical cross-talk and afterpulses, which typically cause the photon statistics to deviate from a Poisson distribution. By adopting a generalized negative binomial distribution for photon statistics, we accurately describe the observational data. This method yielded an optical cross-talk estimation of 1.07% in our SPAD array and confirmed a negligible impact of spurious detected events due to afterpulses. The meticulous statistical examination of photon data underscores our SPAD-array's exceptional performance in conducting precise astronomical observations. The observations revealed a major decrease in Betelgeuse's intensity by 77.78% at the occultation's peak, allowing us to measure Betelgeuse's angular diameter at 57.26 mas in the SDSS g-band. This measurement, employing a simplified occultation model and considering the known properties of Leona, demonstrates the potential of SPAD technology for astronomy and sets a new standard for observing ultra-rapid transient celestial events, providing a valuable public dataset for the astronomical community.


title: Symmetries in 3D photoelectron momentum spectroscopy as precursory methods for dichroic and enantiosensitive measurements

abstract: 3D photoelectron angular distributions (PADs) are measured from an atomic target ionized by ultrafast, elliptical fields of opposite handedness. Comparing these PADs to one another and to numeric simulations, a difficult to avoid systematic error in their orientation is identified and subsequently corrected by imposing the dichroic symmetry by which they are necessarily related. We show that this correction can be directly applied to molecular targets in the same fields. This paves the way for measurement of enantiosensitive information which has yet to be accessed experimentally.


title: SWANN: Shuffling Weights in Crossbar Arrays for Enhanced DNN Accuracy in Deeply Scaled Technologies

abstract: Deep neural network (DNN) accelerators employing crossbar arrays capable of in-memory computing (IMC) are highly promising for neural computing platforms. However, in deeply scaled technologies, interconnect resistance severely impairs IMC robustness, leading to a drop in the system accuracy. To address this problem, we propose SWANN - a technique based on shuffling weights in crossbar arrays which alleviates the detrimental effect of wire resistance on IMC. For 8T-SRAM-based 128x128 crossbar arrays in 7nm technology, SWANN enhances the accuracy from 47.78% to 83.5% for ResNet-20/CIFAR-10. We also show that SWANN can be used synergistically with Partial-Word-LineActivation, further boosting the accuracy. Moreover, we evaluate the implications of SWANN for compact ferroelectric-transistorbased crossbar arrays. SWANN incurs minimal hardware overhead, with less than a 1% increase in energy consumption. Additionally, the latency and area overheads of SWANN are ~1% and ~16%, respectively when 1 ADC is utilized per crossbar array.


title: A nanoindentation study of attenuation in geological materials

abstract: Viscoelastic behavior in geological materials controls a wide range of geophysical phenomena, such as mantle convection. We present a new method for measuring attenuation in single crystals of minerals and in reference materials over a frequency range of 1-1e-4 Hz via nanoindentation. In the experiments, we calculate the phase lag between a sinusoidal load applied to the tip of the nanoindenter and its displacement into and out of the tested sample, which provides a measure of the inverse quality factor 1/Q (i.e., attenuation) of the sample. Experiments were conducted on polymethyl methacrylate (PMMA), indium, halite, olivine and quartz. Attenuation spectrum from our tests on PMMA and indium are in excellent agreement with reported values from past studies. We quantified the natural damping of the nanoindenter and show that it becomes comparable to that of the samples at frequencies greater than 0.1 Hz, but is much lower at lower frequencies.


title: Fermionic dynamical Casimir effect: Magnus expansion

abstract: We study pair creation out of the vacuum, for a system consisting of a massive Dirac field in $1+1$ dimensions, contained between a pair of perfectly reflecting boundaries, one of them oscillating. After analyzing some general properties of the vacuum-decay process, we evaluate the corresponding transition amplitude in a Magnus expansion of the S-matrix. We show how this yields, besides the single-pair creation amplitude, multipair ones, as well as corrections to the single pair amplitude. We also apply it to obtain an approximate, yet explicitly unitary expression for the Bogoliubov transformation between the in and out Fock spaces.


title: Factual Dialogue Summarization via Learning from Large Language Models

abstract: Factual consistency is an important quality in dialogue summarization. Large language model (LLM)-based automatic text summarization models generate more factually consistent summaries compared to those by smaller pretrained language models, but they face deployment challenges in real-world applications due to privacy or resource constraints. In this paper, we investigate the use of symbolic knowledge distillation to improve the factual consistency of smaller pretrained models for dialogue summarization. We employ zero-shot learning to extract symbolic knowledge from LLMs, generating both factually consistent (positive) and inconsistent (negative) summaries. We then apply two contrastive learning objectives on these summaries to enhance smaller summarization models. Experiments with BART, PEGASUS, and Flan-T5 indicate that our approach surpasses strong baselines that rely on complex data augmentation strategies. Our approach achieves better factual consistency while maintaining coherence, fluency, and relevance, as confirmed by various automatic evaluation metrics. We also provide access to the data and code to facilitate future research.


title: Ionization Profile Monitors for the IOTA Proton Beam

abstract: Ionization profile monitors (IPMs) are widely used in accelerators for non-destructive and fast diagnostics of high energy particle beams. Two such monitors - one vertical and one horizontal - are being developed for installation in the IOTA storage ring at Fermilab. They will be used for turn-by-turn (microseconds scale) measurements of the 70 MeV/c IOTA proton beam sizes. In this paper we present the IPMs design (largely following the FNAL Booster IPMs which employ no external guiding magnetic fields), their mechanical, vacuum, and electric subsystems and DAQ, and discuss anticipated effects on the beams circulating in IOTA.


title: MultiAgent Collaboration Attack: Investigating Adversarial Attacks in Large Language Model Collaborations via Debate

abstract: Large Language Models (LLMs) have shown exceptional results on current benchmarks when working individually. The advancement in their capabilities, along with a reduction in parameter size and inference times, has facilitated the use of these models as agents, enabling interactions among multiple models to execute complex tasks. Such collaborations offer several advantages, including the use of specialized models (e.g. coding), improved confidence through multiple computations, and enhanced divergent thinking, leading to more diverse outputs. Thus, the collaborative use of language models is expected to grow significantly in the coming years. In this work, we evaluate the behavior of a network of models collaborating through debate under the influence of an adversary. We introduce pertinent metrics to assess the adversary's effectiveness, focusing on system accuracy and model agreement. Our findings highlight the importance of a model's persuasive ability in influencing others. Additionally, we explore inference-time methods to generate more compelling arguments and evaluate the potential of prompt-based mitigation as a defensive strategy.


title: Qiskit HumanEval: An Evaluation Benchmark For Quantum Code Generative Models

abstract: Quantum programs are typically developed using quantum Software Development Kits (SDKs). The rapid advancement of quantum computing necessitates new tools to streamline this development process, and one such tool could be Generative Artificial intelligence (GenAI). In this study, we introduce and use the Qiskit HumanEval dataset, a hand-curated collection of tasks designed to benchmark the ability of Large Language Models (LLMs) to produce quantum code using Qiskit - a quantum SDK. This dataset consists of more than 100 quantum computing tasks, each accompanied by a prompt, a canonical solution, a comprehensive test case, and a difficulty scale to evaluate the correctness of the generated solutions. We systematically assess the performance of a set of LLMs against the Qiskit HumanEval dataset's tasks and focus on the models ability in producing executable quantum code. Our findings not only demonstrate the feasibility of using LLMs for generating quantum code but also establish a new benchmark for ongoing advancements in the field and encourage further exploration and development of GenAI-driven tools for quantum code generation.


title: Risk thresholds for frontier AI

abstract: Frontier artificial intelligence (AI) systems could pose increasing risks to public safety and security. But what level of risk is acceptable? One increasingly popular approach is to define capability thresholds, which describe AI capabilities beyond which an AI system is deemed to pose too much risk. A more direct approach is to define risk thresholds that simply state how much risk would be too much. For instance, they might state that the likelihood of cybercriminals using an AI system to cause X amount of economic damage must not increase by more than Y percentage points. The main upside of risk thresholds is that they are more principled than capability thresholds, but the main downside is that they are more difficult to evaluate reliably. For this reason, we currently recommend that companies (1) define risk thresholds to provide a principled foundation for their decision-making, (2) use these risk thresholds to help set capability thresholds, and then (3) primarily rely on capability thresholds to make their decisions. Regulators should also explore the area because, ultimately, they are the most legitimate actors to define risk thresholds. If AI risk estimates become more reliable, risk thresholds should arguably play an increasingly direct role in decision-making.


title: Absence of a Bulk Thermodynamic Phase Transition to a Density Wave Phase in UTe2

abstract: Competing and intertwined orders are ubiquitous in strongly correlated electron systems, such as the charge, spin, and superconducting orders in the high-Tc cuprates. Recent scanning tunneling microscopy (STM) measurements provide evidence for a charge density wave (CDW) that coexists with superconductivity in the heavy Fermion metal UTe2. This CDW persists up to at least 7.5 K and, as a CDW breaks the translational symmetry of the lattice, its disappearance is necessarily accompanied by thermodynamic phase transition. Here, we report high-precision thermodynamic measurements of the elastic moduli of UTe2. We observe no signature of a phase transition in the elastic moduli down to a level of 1 part in 10^7, strongly implying the absence of bulk CDW order in UTe2. We suggest that the CDW and associated pair density wave (PDW) observed by STM may be confined to the surface of UTe2.


title: An Advanced Physics-Informed Neural Operator for Comprehensive Design Optimization of Highly-Nonlinear Systems: An Aerospace Composites Processing Case Study

abstract: Deep Operator Networks (DeepONets) and their physics-informed variants have shown significant promise in learning mappings between function spaces of partial differential equations, enhancing the generalization of traditional neural networks. However, for highly nonlinear real-world applications like aerospace composites processing, existing models often fail to capture underlying solutions accurately and are typically limited to single input functions, constraining rapid process design development. This paper introduces an advanced physics-informed DeepONet tailored for such complex systems with multiple input functions. Equipped with architectural enhancements like nonlinear decoders and effective training strategies such as curriculum learning and domain decomposition, the proposed model handles high-dimensional design spaces with significantly improved accuracy, outperforming the vanilla physics-informed DeepONet by two orders of magnitude. Its zero-shot prediction capability across a broad design space makes it a powerful tool for accelerating composites process design and optimization, with potential applications in other engineering fields characterized by strong nonlinearity.


title: Exploring electron affinities, LUMO energies, and band gaps with electron-pair theories

abstract: We introduce the electron attachment equation-of-motion pair coupled cluster doubles (EA-EOM-pCCD) ansatz, which allows us to inexpensively compute electron affinities, energies of unoccupied orbitals, and electron attachment spectra. We assess the accuracy of EA-EOM-pCCD for a representative data set of organic molecules for which experimental data is available, as well as the electron attachment process in uranyl dichloride. EA-EOM-pCCD provides more reliable energies for the LUMO than its ionization potential EOM counterpart for the HOMO. The advantage of EA-EOM-pCCD is demonstrated for rylene and rylene diimide units of different chain lengths, where the differences between theoretical and experimental EAs approach chemical accuracy.


title: Analysis of Linked Files: A Missing Data Perspective

abstract: In many applications, researchers seek to identify overlapping entities across multiple data files. Record linkage algorithms facilitate this task, in the absence of unique identifiers. As these algorithms rely on semi-identifying information, they may miss records that represent the same entity, or incorrectly link records that do not represent the same entity. Analysis of linked files commonly ignores such linkage errors, resulting in biased, or overly precise estimates of the associations of interest. We view record linkage as a missing data problem, and delineate the linkage mechanisms that underpin analysis methods with linked files. Following the missing data literature, we group these methods under three categories: likelihood and Bayesian methods, imputation methods, and weighting methods. We summarize the assumptions and limitations of the methods, and evaluate their performance in a wide range of simulation scenarios.


title: Stirring the false vacuum via interacting quantized bubbles on a 5564-qubit quantum annealer

abstract: False vacuum decay is a potential mechanism governing the evolution of the early Universe, with profound connections to non-equilibrium quantum physics, including quenched dynamics, the Kibble-Zurek mechanism, and dynamical metastability. The non-perturbative character of the false vacuum decay and the scarcity of its experimental probes make the effect notoriously difficult to study, with many basic open questions, such as how the bubbles of true vacuum form, move and interact with each other. Here we utilize a quantum annealer with 5564 superconducting flux qubits to directly observe quantized bubble formation in real time -- the hallmark of false vacuum decay dynamics. Moreover, we develop an effective model that describes the initial bubble creation and subsequent interaction effects. We demonstrate that the effective model remains accurate in the presence of dissipation, showing that our annealer can access coherent scaling laws in driven many-body dynamics of 5564 qubits for over $1\mu$s, i.e., more than 1000 intrinsic qubit time units. This work sets the stage for exploring late-time dynamics of the false vacuum at computationally intractable system sizes, dimensionality, and topology in quantum annealer platforms.


title: Grokking the Sequent Calculus (Functional Pearl)

abstract: The sequent calculus is a proof system which was designed as a more symmetric alternative to natural deduction. The {\lambda}{\mu}{\mu}-calculus is a term assignment system for the sequent calculus and a great foundation for compiler intermediate languages due to its first-class representation of evaluation contexts. Unfortunately, only experts of the sequent calculus can appreciate its beauty. To remedy this, we present the first introduction to the {\lambda}{\mu}{\mu}-calculus which is not directed at type theorists or logicians but at compiler hackers and programming-language enthusiasts. We do this by writing a compiler from a small but interesting surface language to the {\lambda}{\mu}{\mu}-calculus as a compiler intermediate language.


title: Population Activity Recovery: Milestones Unfolding, Temporal Interdependencies, and Relationship with Physical and Social Vulnerability

abstract: Understanding sequential community recovery milestones is crucial for proactive recovery planning and monitoring. This study investigates these milestones related to population activities to examine their temporal interdependencies and evaluate the relationship between recovery milestones and physical (residential property damage) and social vulnerability (household income). This study leverages post-2017 Hurricane Harvey mobility data from Harris County to specify and analyze temporal recovery milestones and their interdependencies. The analysis examined four key milestones: return to evacuated areas, recovery of essential and nonessential services, and the rate of home-switch (moving out of residences). Robust linear regression validates interdependencies between across milestone lags and sequences: achieving earlier milestones accelerates subsequent recovery milestones. The study thus identifies six primary recovery milestone sequences. We found that social vulnerability accounted through the median household income level, rather than physical vulnerability to flooding accounted through the property damage extent, correlates with recovery delays between milestones. We studied variations in recovery sequences across lower and upper quantiles of property damage extent and median household income: lower property damage extent and lower household income show greater representation in the (slowest to recover) sequence, while households with greater damage and higher income are predominant in the group with the (fastest recovery sequences). Milestone sequence variability aligns closely with social vulnerability, independent of physical vulnerability. Understanding the variation in recovery sequences, milestone interdependencies, and social vulnerability disparities provides crucial evidence for targeted interventions.


title: 1+1>2: Can Large Language Models Serve as Cross-Lingual Knowledge Aggregators?

abstract: Large Language Models (LLMs) have garnered significant attention due to their remarkable ability to process information across various languages. Despite their capabilities, they exhibit inconsistencies in handling identical queries in different languages, presenting challenges for further advancement. This paper introduces a method to enhance the multilingual performance of LLMs by aggregating knowledge from diverse languages. This approach incorporates a low-resource knowledge detector specific to a language, a language selection process, and mechanisms for answer replacement and integration. Our experiments demonstrate notable performance improvements, particularly in reducing language performance disparity. An ablation study confirms that each component of our method significantly contributes to these enhancements. This research highlights the inherent potential of LLMs to harmonize multilingual capabilities and offers valuable insights for further exploration.


title: Does GPT Really Get It? A Hierarchical Scale to Quantify Human vs AI's Understanding of Algorithms

abstract: As Large Language Models (LLMs) perform (and sometimes excel at) more and more complex cognitive tasks, a natural question is whether AI really understands. The study of understanding in LLMs is in its infancy, and the community has yet to incorporate well-trodden research in philosophy, psychology, and education. We initiate this, specifically focusing on understanding algorithms, and propose a hierarchy of levels of understanding. We use the hierarchy to design and conduct a study with human subjects (undergraduate and graduate students) as well as large language models (generations of GPT), revealing interesting similarities and differences. We expect that our rigorous criteria will be useful to keep track of AI's progress in such cognitive domains.


title: Online Training of Hopfield Networks using Predictive Coding

abstract: Neuroscience and Artificial Intelligence (AI) have progressed in tandem, each contributing to our understanding of the brain, and inspiring recent developments in biologically-plausible neural networks (NNs) and learning rules. Predictive coding (PC), and its learning rule, have been shown to approximate error backpropagation in a biologically relevant manner, with local weight updates that depend only on the activity of the pre- and post-synaptic neurons. Unlike traditional feedforward NNs where the flow of information goes in one direction, PC models mimic the brain more accurately by passing information bidirectionally: prediction in one direction, and correction/error in the other. PC models learn by clamping some neurons to target values and running the network to equilibrium. At equilibrium, the network calculates its own error gradients right at the location where they are used for weight updates. Traditional backprop requires the computation graph to be feedforward. However, the PC version of backprop does not have this requirement. Amazingly, no one has demonstrated the application of PC learning directly to recurrent neural networks (RNNs). Hopfield networks (HNs) are RNNs that implement a content-addressable memory, learning patterns (or ``memories'') that can be retrieved from partial or corrupted patterns. In this paper, we show that a HN can be trained using the PC learning rules without modification. To our knowledge, this is the first time PC learning has been applied directly to train a RNN, without the need to unroll it in time. Our results indicate that the PC-trained HNs behave like classical HNs.


title: An Exploratory Mixed-Methods Study on General Data Protection Regulation (GDPR) Compliance in Open-Source Software

abstract: Background: Governments worldwide are considering data privacy regulations. These laws, e.g. the European Union's General Data Protection Regulation (GDPR), require software developers to meet privacy-related requirements when interacting with users' data. Prior research describes the impact of such laws on software development, but only for commercial software. Open-source software is commonly integrated into regulated software, and thus must be engineered or adapted for compliance. We do not know how such laws impact open-source software development. Aims: To understand how data privacy laws affect open-source software development. We studied the European Union's GDPR, the most prominent such law. We investigated how GDPR compliance activities influence OSS developer activity (RQ1), how OSS developers perceive fulfilling GDPR requirements (RQ2), the most challenging GDPR requirements to implement (RQ3), and how OSS developers assess GDPR compliance (RQ4). Method: We distributed an online survey to explore perceptions of GDPR implementations from open-source developers (N=56). We further conducted a repository mining study to analyze development metrics on pull requests (N=31462) submitted to open-source GitHub repositories. Results: GDPR policies complicate open-source development processes and introduce challenges for developers, primarily regarding the management of users' data, implementation costs and time, and assessments of compliance. Moreover, we observed negative perceptions of GDPR from open-source developers and significant increases in development activity, in particular metrics related to coding and reviewing activity, on GitHub pull requests related to GDPR compliance. Conclusions: Our findings motivate policy-related resources and automated tools to support data privacy regulation implementation and compliance efforts in open-source software.


title: Wide Field of View Large Aperture Meta-Doublet Eyepiece

abstract: Wide field of view and light weight optics are critical for advanced eyewear, with applications in augmented/virtual reality and night vision. Conventional refractive lenses are often stacked to correct aberrations at wide field of view, leading to limited performance and increased size and weight. In particular, simultaneously achieving wide field of view and large aperture for light collection is desirable but challenging to realize in a compact form-factor. Here, we demonstrate a wide field of view (greater than 60$^\circ$) meta-optic doublet eyepiece with an entrance aperture of 2.1 cm. At the design wavelength of 633 nm, the meta-optic doublet achieves comparable performance to a refractive lens-based eyepiece system. This meta-doublet eyepiece illustrates the potential for meta-optics to play an important role in the development of high-quality monochrome near-eye display and night vision systems.


title: Utilization of G-Programming Language for Educational Control Application: Case Study of Magnetic Levitation of Elastic Beam

abstract: This paper presents the practical employment of G-Programming tools to demonstrate, design, and implement traditional control algorithms upon magnetic levitation system. The complexity of controlling this type of fast dynamic and sensitive system is vital for highlighting the capabilities of LabVIEW G-programming in control education. PID and Lead-Lag controllers are designed and implemented within the LabVIEW environment, with the ability to tune and optimize the controllers utilizing the Virtual Instruments (VIs) of the control design and simulation toolkit. The paper enables the reader to understand the modelling, testing the control action, and dynamic simulation of the system. Then, deploying the control law in real time. It can be concluded that the G programming shows a suitable and easy tool for facilitating hands-on, experiential learning and validation in control systems engineering.


title: Mixed-norm Herz-type Besov-Triebel-Lizorkin spaces

abstract: Based on mixed-norm Herz spaces, Besov and Triebel-Lizorkin spaces, we introduce the so called mixed-norm Herz-type Besov-Triebel-Lizorkin spaces. We present the $\varphi $-transform characterization of these spaces in the sense of Frazier and Jawerth and we prove their Sobolev embeddings. Our embeddings extend and improve Sobolev embeddings of mixed-norm Besov and Triebel-Lizorkin spaces.


title: Resource Allocation with Karma Mechanisms

abstract: Monetary markets serve as established resource allocation mechanisms, typically achieving efficient solutions with limited information. However, they are susceptible to market failures, particularly under the presence of public goods, externalities, or inequality of economic power. Moreover, in many resource allocating contexts, money faces social, ethical, and legal constraints. Consequently, research increasingly explores artificial currencies and non-monetary markets, with Karma emerging as a notable concept. Karma, a non-tradeable, resource-inherent currency for prosumer resources, operates on the principles of contribution and consumption of specific resources. It embodies fairness, near incentive compatibility, Pareto-efficiency, robustness to population heterogeneity, and can incentivize a reduction in resource scarcity. The literature on Karma is scattered across disciplines, varies in scope, and lacks of conceptual clarity and coherence. Thus, this study undertakes a comprehensive review of the Karma mechanism, systematically comparing its resource allocation applications and elucidating overlooked mechanism design elements. Through a systematic mapping study, this review situates Karma within its literature context, offers a structured design parameter framework, and develops a road-map for future research directions.


title: NP-Completeness of the Combinatorial Distance Matrix Realisation Problem

abstract: The $k$-CombDMR problem is that of determining whether an $n \times n$ distance matrix can be realised by $n$ vertices in some undirected graph with $n + k$ vertices. This problem has a simple solution in the case $k=0$. In this paper we show that this problem is polynomial time solvable for $k=1$ and $k=2$. Moreover, we provide algorithms to construct such graph realisations by solving appropriate 2-SAT instances. In the case where $k \geq 3$, this problem is NP-complete. We show this by a reduction of the $k$-colourability problem to the $k$-CombDMR problem. Finally, we discuss the simpler polynomial time solvable problem of tree realisability for a given distance matrix.


title: Symplectic symmetry approach to clustering in atomic nuclei: The case of $^{24}$Mg

abstract: Symplectic symmetry approach to clustering (SSAC) in atomic nuclei, recently proposed, is modified and further developed in more detail. It is firstly applied to the light two-cluster $^{20}$Ne + $\alpha$ system of $^{24}$Mg, the latter exhibiting well developed low-energy $K^{\pi} = 0^{+}_{1}$, $K^{\pi} = 2^{+}_{1}$ and $K^{\pi} = 0^{-}_{1}$ rotational bands in its spectrum. A simple algebraic Hamiltonian, consisting of dynamical symmetry, residual and vertical mixing parts is used to describe these three lowest rotational bands of positive and negative parity in $^{24}$Mg. A good description of the excitation energies is obtain by considering only the $SU(3)$ cluster states restricted to the stretched many-particle Hilbert subspace, built on the leading Pauli allowed $SU(3)$ multiplet for the positive- and negative-parity states, respectively. The coupling to the higher cluster-model configurations allows to describe the known low-lying experimentally observed $B(E2)$ transition probabilities within and between the cluster states of the three bands under consideration without the use of an effective charge.


title: Pathological Regularization Regimes in Classification Tasks

abstract: In this paper we demonstrate the possibility of a trend reversal in binary classification tasks between the dataset and a classification score obtained from a trained model. This trend reversal occurs for certain choices of the regularization parameter for model training, namely, if the parameter is contained in what we call the pathological regularization regime. For ridge regression, we give necessary and sufficient algebraic conditions on the dataset for the existence of a pathological regularization regime. Moreover, our results provide a data science practitioner with a hands-on tool to avoid hyperparameter choices suffering from trend reversal. We furthermore present numerical results on pathological regularization regimes for logistic regression. Finally, we draw connections to datasets exhibiting Simpson's paradox, providing a natural source of pathological datasets.