title: Electrical control of superconducting spin valves using ferromagnetic helices

abstract: The geometrical properties of a helical ferromagnet are shown theoretically to control the critical temperature of a proximity-coupled superconductor. Using the Usadel equation for diffusive spin transport, we provide self-consistent analysis of how curvature and torsion modulate the proximity effect. When the helix is attached to a piezoelectric actuator, the pitch of the helix -- and hence the superconducting transition -- can be controlled electrically.


title: Coherent Heat Transfer Leads to Genuine Quantum Enhancement in Performances of Continuous Engines

abstract: The conventional continuous quantum heat engines rely on incoherent heat transfer with the baths and, thus, have limited capability to outperform their classical counterparts. In this work, we introduce distinct continuous quantum heat engines that utilize coherent heat transfer with baths, yielding significant quantum enhancement in performance. These continuous engines, termed as coherent engines, consist of one qutrit system and two photonic baths and enable coherent heat transfer via two-photon transitions involving three-body interactions between the system and hot and cold baths. The closest quantum incoherent analogs are those that only allow incoherent heat transfer between the qutrit and the baths via one-photon transitions relying on two-body interactions between the system and hot or cold baths. We demonstrate that coherent engines deliver much higher power output and a much lower signal-to-noise ratio in power, where the latter signifies the reliability of an engine, compared to incoherent engines. Coherent engines manifest more non-classical features than incoherent engines because they violate the classical thermodynamic uncertainty relation by a greater amount and for a wider range of parameters. Importantly, coherent engines can operate close to or at the fundamental lower limit on reliability given by the quantum version of the thermodynamic uncertainty relation, making them highly reliable. These genuine enhancements in performance by hundreds of folds over incoherent engines and the saturation of the quantum limit by coherent engines are directly attributed to its capacity to harness higher energetic coherence which is, again, a consequence of coherent heat transfer. The experimental feasibility of coherent engines and the improved understanding of how quantum properties can enhance performance may find important implications in emerging quantum technologies.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech physics.app-ph physics.optics


title: Vector meson production using the Balitsky-Kovchegov equation including the dipole orientation

abstract: In this proceedings a solution of the target-rapidity Balitsky-Kovchegov (BK) equation is presented considering the complete impact-parameter dependence, including the orientation of the dipole with respect to the impact-parameter vector. The target-rapidity formulation of the BK equation introduces non-locality in rapidity. Three different prescriptions are considered to take into account the rapidities preceding the initial condition. The solutions are used to compute the structure functions of the proton and the diffractive photo- and electro-production of J/{\psi} off protons. The predictions agree well with HERA data, confirming that the target-rapidity Balitsky-Kovchegov equation with the full impact-parameter dependence is a viable tool to study the small Bjorken-x limit of perturbative QCD at current facilities like RHIC and LHC as well as in future colliders like the EIC.


title: Reflections on an M-theoretic Emergence Proposal

abstract: In a pedagogical manner, we review recent developments in the investigation of the Emergence Proposal. Although it is fair to say that this idea is still at an exploratory level and a fully coherent picture has yet to be developed, we put it into perspective to previous work on the swampland program and on emergence in QG. In view of the emergent string conjecture, we argue and provide evidence that it is not the emergent string but rather the decompactification limit which is a natural candidate for the potential realization of the Emergence Proposal. This resonates in a compelling way with old ideas of emergence in M(-atrix) theory and gives rise to a number of further speculations.


title: BatSort: Enhanced Battery Classification with Transfer Learning for Battery Sorting and Recycling

abstract: Battery recycling is a critical process for minimizing environmental harm and resource waste for used batteries. However, it is challenging, largely because sorting batteries is costly and hardly automated to group batteries based on battery types. In this paper, we introduce a machine learning-based approach for battery-type classification and address the daunting problem of data scarcity for the application. We propose BatSort which applies transfer learning to utilize the existing knowledge optimized with large-scale datasets and customizes ResNet to be specialized for classifying battery types. We collected our in-house battery-type dataset of small-scale to guide the knowledge transfer as a case study and evaluate the system performance. We conducted an experimental study and the results show that BatSort can achieve outstanding accuracy of 92.1% on average and up to 96.2% and the performance is stable for battery-type classification. Our solution helps realize fast and automated battery sorting with minimized cost and can be transferred to related industry applications with insufficient data.


title: Measuring Arbitrage Losses and Profitability of AMM Liquidity

abstract: This paper presents the results of a comprehensive empirical study of losses to arbitrageurs (following the formalization of loss-versus-rebalancing by [Milionis et al., 2022]) incurred by liquidity providers on automated market makers (AMMs). We show that those losses exceed the fees earned by liquidity providers across many of the largest AMM liquidity pools (on Uniswap). Remarkably, we also find that the Uniswap v2 pools are more profitable for passive LPs than their Uniswap v3 counterparts. We also investigate how arbitrage losses change with block times. As expected, arbitrage losses decrease when block production is faster. However, the rate of the decline varies significantly across different trading pairs. For instance, when comparing 100ms block times to Ethereum's current 12-second block times, the decrease in losses to arbitrageurs ranges between 20% to 70%, depending on the specific trading pair.


title: Congruence subgroups of braid groups and crystallographic quotients. Part II

abstract: Following previous work on congruence subgroups and crystallographic braid groups, we study the lower central series of congruence braid groups related to the braid group $B_3$, showing in particular that corresponding quotients are almost crystallographic.


title: Metallicity dependence of dust growth in a protoplanetary disk

abstract: In the context of planet formation, growth from micron-sized grains to kilometer-sized planetesimals is a crucial question. Since the dust growth rate depends on the amount of dust, realizing planet formation scenarios based on dust growth is challenging in environments with low metallicity, i.e. less dust. We investigate dust growth during disk evolution, particularly focusing on the relationship with metallicity. We perform two-dimensional thin-disk hydrodynamic simulations to track the disk evolution over 300 kyr from its formation. The dust motion is solved separately from the gas motion, with its distribution changing due to drag forces from the gas. Dust size growth is also accounted for, with the magnitude of the drag force varying according to the dust size. We employ three models with metallicities of 1.0, 0.1, and 0.01 ${\rm Z}_{\odot}$, i.e. dust-to-gas mass ratios of 10$^{-2}$, 10$^{-3}$, and 10$^{-4}$, respectively. In the disks with the metallicities $\ge0.1$ ${\rm Z}_{\odot}$, the dust radii reach cm sizes, consistent with estimations from the dust growth timescale. Conversely, for the metallicity of 0.01 ${\rm Z}_{\odot}$, the maximum dust size is only 10$^{-2}$ cm, with almost no growth observed across the entire disk scale ($\sim$100 au). At the metallicities $\ge0.1$ ${\rm Z}_{\odot}$, the decoupling between grown dust and gas leads to non-uniform dust-to-gas mass ratios. However, deviations from the canonical value of this ratio have no impact on the gravitational instability of the disk. The formation of dust rings is confirmed in the innermost part of the disk ($\sim$10--30 au). The dust rings where the dust-to-gas mass ratio is enhanced, and the Stokes number reaches $\sim$0.1, are suitable environments for the streaming instability. We conjecture that planetesimal formation occurs through the streaming instability in these dust rings.


title: Quantum Spin Liquids in Weak Mott Insulators with a Spin-Orbit Coupling

abstract: The weak Mott insulating regime of the triangular lattice Hubbard model exhibits a rich magnetic phase diagram as a result of the ring exchange interaction in the spin Hamiltonian. These phases include the Kalmeyer-Laughlin type chiral spin liquid (CSL) and a valence bond solid (VBS). A natural question arises regarding the robustness of these phases in the presence of a weak spin-orbit coupling (SOC). In this study, we derive the effective spin model for the spin-orbit coupled triangular lattice Hubbard model in the weak Mott insulting regime, including all SOC-mediated spin-bilinears and ring-exchange interactions. We then construct a simplified spin model keeping only the most relevant SOC-mediated spin interactions. Using infinite density matrix renormalization group (iDMRG) we show that the CSL and VBS phases of the triangular lattice Hubbard model can be stabilized in the presence of a weak SOC. The stabilization results from a compensation between the Dzyaloshinskii-Moriya interaction and a SOC-mediated ring exchange interaction. We also provide additional qualitative arguments to intuitively understand the compensation mechanism in the iDMRG quantum phase diagrams. This mechanism for stabilization can potentially be useful for the experimental realization of quantum spin liquids.


title: Slax: A Composable JAX Library for Rapid and Flexible Prototyping of Spiking Neural Networks

abstract: Recent advances to algorithms for training spiking neural networks (SNNs) often leverage their unique dynamics. While backpropagation through time (BPTT) with surrogate gradients dominate the field, a rich landscape of alternatives can situate algorithms across various points in the performance, bio-plausibility, and complexity landscape. Evaluating and comparing algorithms is currently a cumbersome and error-prone process, requiring them to be repeatedly re-implemented. We introduce Slax, a JAX-based library designed to accelerate SNN algorithm design, compatible with the broader JAX and Flax ecosystem. Slax provides optimized implementations of diverse training algorithms, allowing direct performance comparison. Its toolkit includes methods to visualize and debug algorithms through loss landscapes, gradient similarities, and other metrics of model behavior during training.


title: Replicability analysis of high dimensional data accounting for dependence

abstract: Replicability is the cornerstone of scientific research. We study the replicability of data from high-throughput experiments, where tens of thousands of features are examined simultaneously. Existing replicability analysis methods either ignore the dependence among features or impose strong modelling assumptions, producing overly conservative or overly liberal results. Based on $p$-values from two studies, we use a four-state hidden Markov model to capture the structure of local dependence. Our method effectively borrows information from different features and studies while accounting for dependence among features and heterogeneity across studies. We show that the proposed method has better power than competing methods while controlling the false discovery rate, both empirically and theoretically. Analyzing datasets from genome-wide association studies reveals new biological insights that otherwise cannot be obtained by using existing methods.


title: Self-Labeling in Multivariate Causality and Quantification for Adaptive Machine Learning

abstract: Adaptive machine learning (ML) aims to allow ML models to adapt to ever-changing environments with potential concept drift after model deployment. Traditionally, adaptive ML requires a new dataset to be manually labeled to tailor deployed models to altered data distributions. Recently, an interactive causality based self-labeling method was proposed to autonomously associate causally related data streams for domain adaptation, showing promising results compared to traditional feature similarity-based semi-supervised learning. Several unanswered research questions remain, including self-labeling's compatibility with multivariate causality and the quantitative analysis of the auxiliary models used in the self-labeling. The auxiliary models, the interaction time model (ITM) and the effect state detector (ESD), are vital to the success of self-labeling. This paper further develops the self-labeling framework and its theoretical foundations to address these research questions. A framework for the application of self-labeling to multivariate causal graphs is proposed using four basic causal relationships, and the impact of non-ideal ITM and ESD performance is analyzed. A simulated experiment is conducted based on a multivariate causal graph, validating the proposed theory.


title: Ground State Preparation via Dynamical Cooling

abstract: Quantum algorithms for probing ground-state properties of quantum systems require good initial states. Projection-based methods such as eigenvalue filtering rely on inputs that have a significant overlap with the low-energy subspace, which can be challenging for large, strongly-correlated systems. This issue has motivated the study of physically-inspired dynamical approaches such as thermodynamic cooling. In this work, we introduce a ground-state preparation algorithm based on the simulation of quantum dynamics. Our main insight is to transform the Hamiltonian by a shifted sign function via quantum signal processing, effectively mapping eigenvalues into positive and negative subspaces separated by a large gap. This automatically ensures that all states within each subspace conserve energy with respect to the transformed Hamiltonian. Subsequent time-evolution with a perturbed Hamiltonian induces transitions to lower-energy states while preventing unwanted jumps to higher energy states. The approach does not rely on a priori knowledge of energy gaps and requires no additional qubits to model a bath. Furthermore, it makes $\tilde{\mathcal{O}}(d^{\,3/2}/\epsilon)$ queries to the time-evolution operator of the system and $\tilde{\mathcal{O}}(d^{\,3/2})$ queries to a block-encoding of the perturbation, for $d$ cooling steps and an $\epsilon$-accurate energy resolution. Our results provide a framework for combining quantum signal processing and Hamiltonian simulation to design heuristic quantum algorithms for ground-state preparation.


title: Systematic Biases in Estimating the Properties of Black Holes Due to Inaccurate Gravitational-Wave Models

abstract: Gravitational-wave (GW) observations of binary black-hole (BBH) coalescences are expected to address outstanding questions in astrophysics, cosmology, and fundamental physics. Realizing the full discovery potential of upcoming LIGO-Virgo-KAGRA (LVK) observing runs and new ground-based facilities hinges on accurate waveform models. Using linear-signal approximation methods and Bayesian analysis, we start to assess our readiness for what lies ahead using two state-of-the-art quasi-circular, spin-precessing models: \texttt{SEOBNRv5PHM} and \texttt{IMRPhenomXPHM}. We ascertain that current waveforms can accurately recover the distribution of masses in the LVK astrophysical population, but not spins. We find that systematic biases increase with detector-frame total mass, binary asymmetry, and spin-precession, with most such binaries incurring parameter biases, extending up to redshifts $\sim3$ in future detectors. Furthermore, we examine three ``golden'' events characterized by large mass ratios, significant spin magnitudes, and high precession, evaluating how systematic biases may affect their scientific outcomes. Our findings reveal that current waveforms fail to enable the unbiased measurement of the Hubble-Lema\^itre parameter from loud signals, even for current detectors. Moreover, highly asymmetric systems within the lower BH mass-gap exhibit biased measurements of the secondary-companion mass, which impacts the physics of both neutron stars and formation channels. Similarly, we deduce that the primary mass of massive binaries ($ > 60 M_\odot$) will also be biased, affecting supernova physics. Future progress in analytical calculations and numerical-relativity simulations, crucial for calibrating the models, must target regions of the parameter space with significant biases to develop more accurate models. Only then can precision GW astronomy fulfill the promise it holds.


title: Late-time asymptotics of small data solutions for the Vlasov-Poisson system

abstract: In this paper, we study the precise late-time asymptotic behaviour of small data solutions for the Vlasov-Poisson system in dimension three. First, we show that the spatial density and the force field satisfy asymptotic self-similar polyhomogeneous expansions. Moreover, we obtain an enhanced modified scattering result for this non-linear system. We show that the distribution function converges, with an arbitrary rate, to a regular distribution function along high order modifications to the characteristics of the linearised problem. We exploit a hierarchy of asymptotic conservation laws for the distribution function. As an application, we show late-time tails for the spatial density and the force field, where the coefficients in the tails are obtained in terms of the scattering state. Finally, we prove that the distribution function (up to normalisation) converges weakly to a Dirac mass on the zero velocity set.


title: A linear operator bounded in all Besov but not in Triebel-Lizorkin spaces

abstract: We construct a linear operator $T:\mathscr S'(\mathbb R^n)\to \mathscr S'(\mathbb R^n)$ such that $T:\mathscr B_{pq}^s(\mathbb R^n)\to\mathscr B_{pq}^s(\mathbb R^n)$ for all $0<p,q\le\infty$ and $s\in\mathbb R$, but $T(\mathscr F_{pq}^s(\mathbb R^n))\not\subset \mathscr F_{pq}^s(\mathbb R^n)$ unless $p=q$. As a result Triebel-Lizorkin spaces cannot be interpolated from Besov spaces unless $p=q$. In the appendix we purpose a question for the interpolation framework via structured Banach spaces.


title: Towards Explainable Automated Neuroanatomy

abstract: We present a novel method for quantifying the microscopic structure of brain tissue. It is based on the automated recognition of interpretable features obtained by analyzing the shapes of cells. This contrasts with prevailing methods of brain anatomical analysis in two ways. First, contemporary methods use gray-scale values derived from smoothed version of the anatomical images, which dissipated valuable information from the texture of the images. Second, contemporary analysis uses the output of black-box Convolutional Neural Networks, while our system makes decisions based on interpretable features obtained by analyzing the shapes of individual cells. An important benefit of this open-box approach is that the anatomist can understand and correct the decisions made by the computer. Our proposed system can accurately localize and identify existing brain structures. This can be used to align and coregistar brains and will facilitate connectomic studies for reverse engineering of brain circuitry.


title: Defect Fusion and Casimir Energy in Higher Dimensions

abstract: We study the operator algebra of extended conformal defects in more than two spacetime dimensions. Such algebra structure encodes the combined effect of multiple impurities on physical observables at long distances as well as the interactions among the impurities. These features are formalized by a fusion product which we define for a pair of defects, after isolating divergences that capture the effective potential between the defects, which generalizes the usual Casimir energy. We discuss general properties of the corresponding fusion algebra and contrast with the more familiar cases that involve topological defects. We also describe the relation to a different defect setup in the shape of a wedge. We provide explicit examples to illustrate these properties using line defects and interfaces in the Wilson-Fisher CFT and the Gross-Neveu(-Yukawa) CFT and determine the defect fusion data thereof.


title: Centrality Estimators for Probability Density Functions

abstract: In this report, we explore the data selection leading to a family of estimators maximizing a centrality. The family allows a nice properties leading to accurate and robust probability density function fitting according to some criteria we define. We establish a link between the centrality estimator and the maximum likelihood, showing that the latter is a particular case. Therefore, a new probability interpretation of Fisher maximum likelihood is provided. We will introduce and study two specific centralities that we have named H\"older and Lehmer estimators. A numerical simulation is provided showing the effectiveness of the proposed families of estimators opening the door to development of new concepts and algorithms in machine learning, data mining, statistics, and data analysis.


title: Label Propagation Training Schemes for Physics-Informed Neural Networks and Gaussian Processes

abstract: This paper proposes a semi-supervised methodology for training physics-informed machine learning methods. This includes self-training of physics-informed neural networks and physics-informed Gaussian processes in isolation, and the integration of the two via co-training. We demonstrate via extensive numerical experiments how these methods can ameliorate the issue of propagating information forward in time, which is a common failure mode of physics-informed machine learning.


title: Downscaling GRACE-derived ocean bottom pressure anomalies using self-supervised data fusion

abstract: The gravimetry measurements from the Gravity Recovery and Climate Experiment (GRACE) and its follow-on (GRACE-FO) satellite mission provide an essential way to monitor changes in ocean bottom pressure ($p_b$), which is a critical variable in understanding ocean circulation. However, the coarse spatial resolution of the GRACE(-FO) fields blurs important spatial details, such as $p_b$ gradients. In this study, we employ a self-supervised deep learning algorithm to downscale global monthly $p_b$ anomalies derived from GRACE(-FO) observations to an equal-angle $0.25^\circ$ grid in the absence of high-resolution ground truth. The optimization process is realized by constraining the outputs to follow the large-scale mass conservation contained in the gravity field estimates while learning the spatial details from two ocean reanalysis products. The downscaled product agrees with GRACE(-FO) solutions over large ocean basins at the millimeter level in terms of equivalent water height and shows signs of outperforming them when evaluating short spatial scale variability. In particular, the downscaled $p_b$ product has more realistic signal content near the coast and exhibits better agreement with tide gauge measurements at around 80% of 465 globally distributed stations. Our method presents a novel way of combining the advantages of satellite measurements and ocean models at the product level, with potential downstream applications for studies of the large-scale ocean circulation, coastal sea level variability, and changes in global geodetic parameters.


title: Just Wing It: Optimal Estimation of Missing Mass in a Markovian Sequence

abstract: We study the problem of estimating the stationary mass -- also called the unigram mass -- that is missing from a single trajectory of a discrete-time, ergodic Markov chain. This problem has several applications -- for example, estimating the stationary missing mass is critical for accurately smoothing probability estimates in sequence models. While the classical Good--Turing estimator from the 1950s has appealing properties for i.i.d. data, it is known to be biased in the Markov setting, and other heuristic estimators do not come equipped with guarantees. Operating in the general setting in which the size of the state space may be much larger than the length $n$ of the trajectory, we develop a linear-runtime estimator called \emph{Windowed Good--Turing} (\textsc{WingIt}) and show that its risk decays as $\widetilde{\mathcal{O}}(\mathsf{T_{mix}}/n)$, where $\mathsf{T_{mix}}$ denotes the mixing time of the chain in total variation distance. Notably, this rate is independent of the size of the state space and minimax-optimal up to a logarithmic factor in $n / \mathsf{T_{mix}}$. We also present a bound on the variance of the missing mass random variable, which may be of independent interest. We extend our estimator to approximate the stationary mass placed on elements occurring with small frequency in $X^n$. Finally, we demonstrate the efficacy of our estimators both in simulations on canonical chains and on sequences constructed from a popular natural language corpus.

categories: stat.ML cs.IT cs.LG math.IT math.PR math.ST stat.TH


title: Fluoride Frameworks as Potential Calcium Battery Cathodes

abstract: Calcium batteries (CBs) are potential next-generation energy storage devices, offering a promising alternative to lithium-ion batteries due to their theoretically high energy density, better safety, and lower costs associated with the natural abundance of calcium. However, the limited availability of positive electrode (cathode) materials has constrained the development of CBs so far. Given the similar ionic radii of Na$^+$ and Ca$^{2+}$, structures that are effective at reversibly intercalating Na$^+$ may be able to reversibly intercalate Ca$^{2+}$ as well. In this context, transition metal fluorides (TMFs) exhibiting weberite and perovskite structures that are known for intercalating Na$^+$ form an interesting set of possible CB cathode frameworks. Thus, we use first principles calculations to explore weberite and perovskite TMFs as CB cathodes, of compositions Ca\textsubscript{x}M\textsubscript{2}F\textsubscript{7} and Ca\textsubscrpt{x}MF\textsubscript{3}, respectively, where M = Ti, V, Cr, Mn, Fe, Co, or Ni. We systematically evaluate key cathode properties, including ground state structure, average Ca-intercalation voltage, thermodynamic stability (at 0 K), theoretical capacity, and Ca$^{2+}$ migration barriers. Importantly, we identify Ca\textsubscript{x}Cr\textsubscript{2}F\textsubscript{7} and Ca\textsubscript{x}Mn\textsubscript{2}F\textsubscript{7} weberite frameworks as promising Ca-cathodes. Our study not only unveils potential CB cathodes but also paves the way for further advancement in TMF-based intercalation cathodes, diversifying the chemical space for next-generation energy storage systems.


title: The $SU(3)_C\times SU(3)_L\times U(1)_X$ (331) Model:Addressing the Fermion Families Problem within Horizontal Anomalies Cancellation

abstract: One of the most important and unanswered problems in particle physics is the origin of the three generations of quarks and leptons. The standard Model does not provide any hint regarding its sequential charge assignments, which remain a fundamental mystery of Nature. One possible solution of the puzzle is to look for charge assignments, in a given gauge theory, that are inter-generational, by employing the cancellation of the gravitational and gauge anomalies horizontally. The 331 model, based on an $SU(3)_C\times SU(3)_L \times U(1)_X$ does it in an economic way, and defines a possible extension of the Standard Model, where the number of families has to be necessarily three. We review the model in Frampton's formulation, that predicts the existence of bileptons. Another characteristics of the model is to unify the $SU(3)_C\times SU(2)_L \times U(1)_X$ into the 331 symmetry at a scale which is in the TeV range, and can be tested at the LHC. Expressions of the scalar mass eigenstates and of the renormalization group equations of the model are also presented.


title: Phenomenon of self-oscillation in bubble dynamics: Bouncing acoustic bubbles

abstract: Self-oscillations underlie many natural phenomena such as heartbeat, ocean waves, and the pulsation of variable stars. From pendulum clocks to the behavior of animal groups, self-oscillation is one of the keys to the understanding of synchronization phenomena and hence the collective behavior of interacting systems. In this study, we consider two closely spaced bubbles pulsating in the kHz range in response to ultrasonic excitation. A translational bouncing motion emerges from their interaction with a much lower frequency than the bubble pulsation frequency. Our analysis reveals that the observed bubble bouncing exhibits the main features of self-oscillation, such as negative damping and the emergence of a limit cycle. These results highlight unexpected nonlinear effects in the field of microbubbles and give insights into the understanding of synchronization in large bubble clouds.


title: Exploiting CPU Clock Modulation for Covert Communication Channel

abstract: Covert channel attacks represent a significant threat to system security, leveraging shared resources to clandestinely transmit information from highly secure systems, thereby violating the system's security policies. These attacks exploit shared resources as communication channels, necessitating resource partitioning and isolation techniques as countermeasures. However, mitigating attacks exploiting modern processors' hardware features to leak information is challenging because successful attacks can conceal the channel's existence. In this paper, we unveil a novel covert channel exploiting the duty cycle modulation feature of modern x86 processors. Specifically, we illustrate how two collaborating processes, a sender and a receiver can manipulate this feature to transmit sensitive information surreptitiously. Our live system implementation demonstrates that this covert channel can achieve a data transfer rate of up to 55.24 bits per second.


title: Quantum Adversarial Learning for Kernel Methods

abstract: We show that hybrid quantum classifiers based on quantum kernel methods and support vector machines are vulnerable against adversarial attacks, namely small engineered perturbations of the input data can deceive the classifier into predicting the wrong result. Nonetheless, we also show that simple defence strategies based on data augmentation with a few crafted perturbations can make the classifier robust against new attacks. Our results find applications in security-critical learning problems and in mitigating the effect of some forms of quantum noise, since the attacker can also be understood as part of the surrounding environment.


title: LLM-Augmented Retrieval: Enhancing Retrieval Models Through Language Models and Doc-Level Embedding

abstract: Recently embedding-based retrieval or dense retrieval have shown state of the art results, compared with traditional sparse or bag-of-words based approaches. This paper introduces a model-agnostic doc-level embedding framework through large language model (LLM) augmentation. In addition, it also improves some important components in the retrieval model training process, such as negative sampling, loss function, etc. By implementing this LLM-augmented retrieval framework, we have been able to significantly improve the effectiveness of widely-used retriever models such as Bi-encoders (Contriever, DRAGON) and late-interaction models (ColBERTv2), thereby achieving state-of-the-art results on LoTTE datasets and BEIR datasets.


title: Decade-long Utilization Patterns of ICSE Technical Papers and Associated Artifacts

abstract: Context: Annually, ICSE acknowledges a range of papers, a subset of which are paired with research artifacts such as source code, datasets, and supplementary materials, adhering to the Open Science Policy. However, no prior systematic inquiry dives into gauging the influence of ICSE papers using artifact attributes. Objective: We explore the mutual impact between artifacts and their associated papers presented at ICSE over ten years. Method: We collect data on usage attributes from papers and their artifacts, conduct a statistical assessment to identify differences, and analyze the top five papers in each attribute category. Results: There is a significant difference between paper citations and the usage of associated artifacts. While statistical analyses show no notable difference between paper citations and GitHub stars, variations exist in views and/or downloads of papers and artifacts. Conclusion: We provide a thorough overview of ICSE's accepted papers from the last decade, emphasizing the intricate relationship between research papers and their artifacts. To enhance the assessment of artifact influence in software research, we recommend considering key attributes that may be present in one platform but not in another.


title: Gradient and Hessian regularity in elliptic transmission problems near a point cusp

abstract: We consider elliptic transmission problems in several space dimensions near an interface which is $C^{1,1}$ diffeomorphic to an axisymmetric reference-interface with a singular point of cusp type. We establish the regularity of the gradient and of the Hessian in $L^p$ spaces up to the cusp point for local weak solutions. We obtain regularity thresholds which are different according to whether the cusp is inward or outward to the subdomain, and which depend explicitly on the opening of the interface at the cusp. Our results allow for source terms in the bulk and on the interface.


title: Privacy-Preserving Deep Learning Using Deformable Operators for Secure Task Learning

abstract: In the era of cloud computing and data-driven applications, it is crucial to protect sensitive information to maintain data privacy, ensuring truly reliable systems. As a result, preserving privacy in deep learning systems has become a critical concern. Existing methods for privacy preservation rely on image encryption or perceptual transformation approaches. However, they often suffer from reduced task performance and high computational costs. To address these challenges, we propose a novel Privacy-Preserving framework that uses a set of deformable operators for secure task learning. Our method involves shuffling pixels during the analog-to-digital conversion process to generate visually protected data. Those are then fed into a well-known network enhanced with deformable operators. Using our approach, users can achieve equivalent performance to original images without additional training using a secret key. Moreover, our method enables access control against unauthorized users. Experimental results demonstrate the efficacy of our approach, showcasing its potential in cloud-based scenarios and privacy-sensitive applications.


title: SambaLingo: Teaching Large Language Models New Languages

abstract: Despite the widespread availability of LLMs, there remains a substantial gap in their capabilities and availability across diverse languages. One approach to address these issues has been to take an existing pre-trained LLM and continue to train it on new languages. While prior works have experimented with language adaptation, many questions around best practices and methodology have not been covered. In this paper, we present a comprehensive investigation into the adaptation of LLMs to new languages. Our study covers the key components in this process, including vocabulary extension, direct preference optimization and the data scarcity problem for human alignment in low-resource languages. We scale these experiments across 9 languages and 2 parameter scales (7B and 70B). We compare our models against Llama 2, Aya-101, XGLM, BLOOM and existing language experts, outperforming all prior published baselines. Additionally, all evaluation code and checkpoints are made public to facilitate future research.


title: Spin high-harmonic generation through terahertz laser-driven phonons

abstract: In the realm of open quantum systems, steady states and high-harmonic generation (HHG) existing far from equilibrium have become core pillars of ultrafast science. Most solid-state research explores charge HHG with limited investigations into spin degrees of freedom. In this study, we theoretically address spin HHG in the steady state resulting from the terahertz laser-driven spin-phonon coupling in a dissipative dimerized spin-1/2 chain. Instead of directly driving spins using time-dependent magnetic fields, we employ the magnetophononic mechanism, where the laser first drives the lattice, and then the excited lattice subsequently drives the spins. We investigate the role of various model parameters for optimizing HHG. Increasing the laser's amplitude amplifies spin HHG beyond the perturbative regime, enhancing both harmonic amplitudes and orders. We find that configuring the drive frequency far below the spin band yields the highest harmonic order. Additionally, we provide a theory matching the numerical results under weak spin-phonon coupling and propose an experimental procedure to probe the emission spectrum of spin HHG.


title: Paradox of description for motion of a hydrodynamic discontinuity in a potential and incompressible flow

abstract: Hydrodynamic discontinuities in an external potential and incompressible flow are investigated. Using the reaction front as an example in a 2D stream, an overdetermined system of equations is obtained that describes its motion in terms of the surface itself. Assuming that the harmonic flux approaching discontinuity is additional smooth, these equations can be used to determine the motion of this discontinuity without taking into account the influence of the flow behind the front, as well as the entire external flow. It is well known that for vanishingly low viscosity, the integral relation on the boundary (Dirichlet, Neumann problems) connects the tangential and normal components of the velocity. Knowing one of them along the boundary of the discontinuity, one can determine the entire external flow. However, assuming the external flow is smooth, this will also be the case for all derivatives of velocity with respect to coordinates and time. Then a paradox arises, knowing the position of the discontinuity and the velocity data at a point on its surface, it is possible to determine the motion of this discontinuity without taking into account the influence of the flow behind the front, as well as the entire external flow. There is no physical explanation for this mechanism. It is possible that a boundary layer is formed in front of the front, where viscosity plays a significant role and Euler equations are violated. It is argued that the classical idea of the motion of hydrodynamic discontinuities in the smooth, potential and incompressible flow in the external region should be supplemented in this case.


title: Human-Machine Interaction in Automated Vehicles: Reducing Voluntary Driver Intervention

abstract: This paper develops a novel car-following control method to reduce voluntary driver interventions and improve traffic stability in Automated Vehicles (AVs). Through a combination of experimental and empirical analysis, we show how voluntary driver interventions can instigate substantial traffic disturbances that are amplified along the traffic upstream. Motivated by these findings, we present a framework for driver intervention based on evidence accumulation (EA), which describes the evolution of the driver's distrust in automation, ultimately resulting in intervention. Informed through the EA framework, we propose a deep reinforcement learning (DRL)-based car-following control for AVs that is strategically designed to mitigate unnecessary driver intervention and improve traffic stability. Numerical experiments are conducted to demonstrate the effectiveness of the proposed control model.


title: Reconstructing rotation curves with artificial neural networks

abstract: Galactic rotation curves have been served as indispensable tools for determining the distribution of mass within galaxies. Despite several advances in precision observations, some discrepancies still persist between the inferred matter distribution from luminosity and observed rotation velocities, often attributed to the presence of dark matter. Traditional parametric models, while insightful, struggle with the complexity of galaxies with prominent bulges or non-circular motions, but in contrast, non-parametric methods offer a promising alternative, adapting to the intricate nature of rotation curves without any prior assumptions. In this work, we employ artificial neural networks to reconstruct rotation curves of 17 spiral galaxies from high-quality data, demonstrating the efficacy of the non-parametric approaches in characterizing galactic dynamics. Our findings underscore the importance of employing diverse methodological approaches to comprehensively understand galactic dynamics in modern astrophysics research. Moreover, the non-parametric reconstruction approach with neural networks presents a promising avenue for further investigations, capable of generating interpolations based on the intrinsic patterns of the data.


title: Fourier neural operator for large eddy simulation of compressible Rayleigh-Taylor turbulence

abstract: The Fourier neural operator (FNO) framework is applied to the large eddy simulation (LES) of three-dimensional compressible Rayleigh-Taylor (RT) turbulence with miscible fluids at Atwood number $A_t=0.5$, stratification parameter $Sr=1.0$, and Reynolds numbers $Re=10000$ and 30000. The FNO model is first used for predicting three-dimensional compressible turbulence. The different magnitudes of physical fields are normalized using root mean square values for an easier training of FNO models. In the \emph{a posteriori} tests, the FNO model outperforms the velocity gradient model (VGM), the dynamic Smagorinsky model (DSM), and implicit large eddy simulation (ILES) in predicting various statistical quantities and instantaneous structures, and is particularly superior to traditional LES methods in predicting temperature fields and velocity divergence. Moreover, the computational efficiency of the FNO model is much higher than that of traditional LES methods. FNO models trained with short-time, low Reynolds number data exhibit a good generalization performance on longer-time predictions and higher Reynolds numbers in the \emph{a posteriori} tests.


title: Parameter-Adaptive Approximate MPC: Tuning Neural-Network Controllers without Retraining

abstract: Model Predictive Control (MPC) is a method to control nonlinear systems with guaranteed stability and constraint satisfaction but suffers from high computation times. Approximate MPC (AMPC) with neural networks (NNs) has emerged to address this limitation, enabling deployment on resource-constrained embedded systems. However, when tuning AMPCs for real-world systems, large datasets need to be regenerated and the NN needs to be retrained at every tuning step. This work introduces a novel, parameter-adaptive AMPC architecture capable of online tuning without recomputing large datasets and retraining. By incorporating local sensitivities of nonlinear programs, the proposed method not only mimics optimal MPC inputs but also adjusts to known changes in physical parameters of the model using linear predictions while still guaranteeing stability. We showcase the effectiveness of parameter-adaptive AMPC by controlling the swing-ups of two different real cartpole systems with a severely resource-constrained microcontroller (MCU). We use the same NN across both system instances that have different parameters. This work not only represents the first experimental demonstration of AMPC for fast-moving systems on low-cost MCUs to the best of our knowledge, but also showcases generalization across system instances and variations through our parameter-adaptation method. Taken together, these contributions represent a marked step toward the practical application of AMPC in real-world systems.


title: Unveiling Latent Topics in Robotic Process Automation -- an Approach based on Latent Dirichlet Allocation Smart Review

abstract: Robotic process automation (RPA) is a software technology that in recent years has gained a lot of attention and popularity. By now, research on RPA has spread into multiple research streams. This study aims to create a science map of RPA and its aspects by revealing latent topics related to RPA, their research interest, impact, and time development. We provide a systematic framework that is helpful to develop further research into this technology. By using an unsupervised machine learning method based on Latent Dirichlet Allocation, we were able to analyse over 2000 paper abstracts. Among these, we found 100 distinct study topics, 15 of which have been included in the science map we provide.


title: Self-Trapped Excitons in Metal-Halide Perovskites Investigated by Time-Dependent Density Functional Theory

abstract: We present a theoretical study of the formation of self-trapped excitons (STEs) and the associated broadband emission in metal-halide perovskites Cs$_4$SnBr$_6$ and Cs$_2$AgInCl$_6$, using time-dependent density functional theory (TDDFT) with the dielectric-dependent hybrid (DDH) functional. Our approach allows for an accurate description of the excitonic effect and geometry relaxation in the electronic excited states and yields optical gap, STE emission energy, and emission spectra in reasonable agreement with experiments. We point out the significance of considering geometry relaxations in the electronic excited state by showing that the exciton-phonon coupling computed in the ground-state atomic geometry is insufficient to describe the physical properties of STEs. Overall, we find that TDDFT with the DDH hybrid functional is a suitable approach for the study of the formation of STEs in perovskite and provides insights for designing metal-halide perovskites with tailored emission properties.


title: Space-time deterministic graph rewriting

abstract: We study non-terminating graph rewriting models, whose local rules are applied non-deterministically -- and yet enjoy a strong form of determinism, namely space-time determinism. Of course in the case of terminating computation it is well-known that the mess introduced by asynchronous rule applications may not matter to the end result, as confluence conspires to produce a unique normal form. In the context of non-terminating computation however, confluence is a very weak property, and (almost) synchronous rule applications is always preferred e.g. when it comes to simulating dynamical systems. Here we provide sufficient conditions so that asynchronous local rule applications conspire to produce well-determined events in the space-time unfolding of the graph, regardless of their application orders. Our first example is an asynchronous simulation of a dynamical system. Our second example features time dilation, in the spirit of general relativity.


title: \'UFAL LatinPipe at EvaLatin 2024: Morphosyntactic Analysis of Latin

abstract: We present LatinPipe, the winning submission to the EvaLatin 2024 Dependency Parsing shared task. Our system consists of a fine-tuned concatenation of base and large pre-trained LMs, with a dot-product attention head for parsing and softmax classification heads for morphology to jointly learn both dependency parsing and morphological analysis. It is trained by sampling from seven publicly available Latin corpora, utilizing additional harmonization of annotations to achieve a more unified annotation style. Before fine-tuning, we train the system for a few initial epochs with frozen weights. We also add additional local relative contextualization by stacking the BiLSTM layers on top of the Transformer(s). Finally, we ensemble output probability distributions from seven randomly instantiated networks for the final submission. The code is available at https://github.com/ufal/evalatin2024-latinpipe.


title: Attention-Driven Multi-Agent Reinforcement Learning: Enhancing Decisions with Expertise-Informed Tasks

abstract: In this paper, we introduce an alternative approach to enhancing Multi-Agent Reinforcement Learning (MARL) through the integration of domain knowledge and attention-based policy mechanisms. Our methodology focuses on the incorporation of domain-specific expertise into the learning process, which simplifies the development of collaborative behaviors. This approach aims to reduce the complexity and learning overhead typically associated with MARL by enabling agents to concentrate on essential aspects of complex tasks, thus optimizing the learning curve. The utilization of attention mechanisms plays a key role in our model. It allows for the effective processing of dynamic context data and nuanced agent interactions, leading to more refined decision-making. Applied in standard MARL scenarios, such as the Stanford Intelligent Systems Laboratory (SISL) Pursuit and Multi-Particle Environments (MPE) Simple Spread, our method has been shown to improve both learning efficiency and the effectiveness of collaborative behaviors. The results indicate that our attention-based approach can be a viable approach for improving the efficiency of MARL training process, integrating domain-specific knowledge at the action level.


title: General Lotto Games with Scouts: Information versus Strength

abstract: We introduce General Lotto games with Scouts: a General Lotto game with asymmetric information. There are two players, Red and Blue, who both allocate resources to a field. However, scouting capabilities afford Blue to gain information, with some probability, on the number of Red's resources before allocating his own. We derive optimal strategies for this game in the case of a single field. In addition we provide upper and lower bounds of the value of the game in a multi-stage case with multiple battlefields. We devise several ways to characterise the influence of information versus strength. We conclude by drawing qualitative insights from these characterisations and the game values, and draw parallels with military practice.


title: An empirical evaluation for defining a mid-air gesture dictionary for web-based interaction

abstract: This paper presents an empirical evaluation of mid-air gestures in a web setting. Fifty-six (56) subjects, all of them HCI students, were divided into 16 groups and involved as designers. Each group worked separately with the same requirements. Firstly, designers identified the main actions required for a web-based interaction with a university classroom search service. Secondly, they proposed a set of mid-air gestures to carry out the identified actions: 99 different mid-air gestures for 16 different web actions were produced in total. Then, designers validated their proposals involving external subjects, namely 248 users in total. Finally, we analyzed their results and identified the most recurring or intuitive gestures as well as the potential criticalities associated with their proposals. Hence, we defined a mid-air gesture dictionary that contains, according to our analysis, the most suitable gestures for each identified web action. Our results suggest that most people tend to replicate gestures used in touch-based and mouse-based interfaces also in touchless interactions, ignoring the fact that they can be problematic due to the different distance between the user and the device in each interaction context.


title: Softmax Attention with Constant Cost per Token

abstract: We propose a simple modification to the conventional attention mechanism applied by Transformers: Instead of quantifying pairwise query-key similarity with scaled dot-products, we quantify it with the logarithms of scaled dot-products of exponentials. Our modification linearizes attention with exponential kernel feature maps, whose corresponding feature function is infinite dimensional. We show that our modification is expressible as a composition of log-sums of exponentials, with a latent space of constant size, enabling application with constant time and space complexity per token. We implement our modification, verify that it works in practice, and conclude that it is a promising alternative to conventional attention.


title: Estimate of the time required to perform a nonadiabatic holonomic quantum computation

abstract: Nonadiabatic holonomic quantum computation has been proposed as a method to implement quantum logic gates with robustness comparable to that of adiabatic holonomic gates but with shorter execution times. In this paper, we establish an isoholonomic inequality for quantum gates, which provides a lower bound on the lengths of cyclic transformations of the computational space that generate a specific gate. Then, as a corollary, we derive a nonadiabatic execution time estimate for holonomic gates. In addition, we demonstrate that under certain dimensional conditions, the isoholonomic inequality is tight in the sense that every gate on the computational space can be implemented holonomically and unitarily in a time-optimal way. We illustrate the results by showing that the procedures for implementing a universal set of holonomic gates proposed in a pioneering paper on nonadiabatic holonomic quantum computation saturate the isoholonomic inequality and are thus time optimal.


title: Quasispins of vacancy defects and their interactions in disordered antiferromagnets

abstract: Vacancy defects in disordered magnetic materials are known to act as effective spins, ``quasispins'', in response to an external magnetic field. In the dilute limit, the contributions of such ``quasispins'' to the magnetic susceptibility $\chi_\text{vac}(T)\propto N_\text{vac}/T$ are singular in the limit of low temperatures $T$ and match those of free spins. With increasing the density of vacancies, their interactions may become essential. Motivated by frustrated and quasi-one-dimensional magnetic materials, we study analytically quasispins and their interactions in a generic system that has short-range antiferromagnetic order and lacks long-range order. We predict that if the vacancy defect does not disrupt the short-range antiferromagnetic order around it, the quasispin value matches the value of spins of the magnetic atoms in the material, and the correlators of the quasispins of different vacancies match the spin-spin correlators in the vacancy-free material. We confirm our conclusions by exact calculations for Ising chains with nearest-neighbour and next-to-nearest-neighbour interactions. We also compute the first virial correction to the susceptibility of a magnetic material due to the interactions of vacancy quasispins.

categories: cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el


title: Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications

abstract: Tree-based model editors and hybrid graphical-textual model editors have advantages and limitations when editing domain models. Data is displayed hierarchically in tree-based model editors, whereas hybrid graphical-textual model editors capture high-level domain concepts graphically and low-level domain details textually. We conducted an empirical user study with 22 participants, to evaluate the implicit assumption of system modellers that hybrid notations are superior, and to investigate the tradeoffs between tree-based and hybrid model editors. The results of the user study indicate that users largely prefer hybrid editors and are more confident with hybrid notations for understanding the meaning of conditions. Furthermore, we found that tree editors provide superior performance for analysing ordered lists of model elements, whereas activities requiring the comprehension or modelling of complex conditions are carried out faster through a hybrid editor.


title: Approaching Emergent Risks: An Exploratory Study into Artificial Intelligence Risk Management within Financial Organisations

abstract: Globally, artificial intelligence (AI) implementation is growing, holding the capability to fundamentally alter organisational processes and decision making. Simultaneously, this brings a multitude of emergent risks to organisations, exposing vulnerabilities in their extant risk management frameworks. This necessitates a greater understanding of how organisations can position themselves in response. This issue is particularly pertinent within the financial sector with relatively mature AI applications matched with severe societal repercussions of potential risk events. Despite this, academic risk management literature is trailing behind the speed of AI implementation. Adopting a management perspective, this study aims to contribute to the understanding of AI risk management in organisations through an exploratory empirical investigation into these practices. In-depth insights are gained through interviews with nine practitioners from different organisations within the UK financial sector. Through examining areas of organisational convergence and divergence, the findings of this study unearth levels of risk management framework readiness and prevailing approaches to risk management at both a processual and organisational level. Whilst enhancing the developing literature concerning AI risk management within organisations, the study simultaneously offers a practical contribution, providing key areas of guidance for practitioners in the operational development of AI risk management frameworks.


title: The Schwarzschild-de Sitter Metric of Nonlocal $\sqrt{dS}$ Gravity

abstract: It is already known that a simple nonlocal de Sitter gravity model, which we denote as $\sqrt{dS}$ gravity, contains an exact vacuum cosmological solution which mimics dark energy and dark matter and is in very good agreement with the standard model of cosmology. This success of $\sqrt{dS}$ gravity motivated us to investigate how it works at lower than cosmic scale -- galactic and the solar system. This paper contains our investigation of the corresponding Schwarzschild-de Sitter metric of the $\sqrt{dS}$ gravity model. To get exact solution, it is necessary to solve the corresponding nonlinear differential equation, what is a very complicated and difficult problem. What we obtained is a solution of linearized equation, which is related to space metric far from the massive body, where gravitational field is weak. The obtained approximate solution is of particular interest for examining the possible role of non-local de Sitter gravity $\sqrt{dS}$ in describing the effects in galactic dynamics that are usually attributed to dark matter. The solution has been tested on the Milky Way and the spiral galaxy M33 and is in good agreement with observational measurements.


title: Localizing Moments of Actions in Untrimmed Videos of Infants with Autism Spectrum Disorder

abstract: Autism Spectrum Disorder (ASD) presents significant challenges in early diagnosis and intervention, impacting children and their families. With prevalence rates rising, there is a critical need for accessible and efficient screening tools. Leveraging machine learning (ML) techniques, in particular Temporal Action Localization (TAL), holds promise for automating ASD screening. This paper introduces a self-attention based TAL model designed to identify ASD-related behaviors in infant videos. Unlike existing methods, our approach simplifies complex modeling and emphasizes efficiency, which is essential for practical deployment in real-world scenarios. Importantly, this work underscores the importance of developing computer vision methods capable of operating in naturilistic environments with little equipment control, addressing key challenges in ASD screening. This study is the first to conduct end-to-end temporal action localization in untrimmed videos of infants with ASD, offering promising avenues for early intervention and support. We report baseline results of behavior detection using our TAL model. We achieve 70% accuracy for look face, 79% accuracy for look object, 72% for smile and 65% for vocalization.


title: Witnessing Quantum Entanglement Using Resonant Inelastic X-ray Scattering

abstract: Although entanglement is both a central ingredient in our understanding of quantum many-body systems and an essential resource for quantum technologies, we only have a limited ability to quantify entanglement in real quantum materials. Thus far, entanglement metrology in quantum materials has been limited to measurements involving Hermitian operators, such as the detection of spin entanglement using inelastic neutron scattering. Here, we devise a method to extract the quantum Fisher information (QFI) from non-Hermitian operators and formulate an entanglement witness for resonant inelastic x-ray scattering (RIXS). Our approach is then applied to the model iridate dimer system Ba$_3$CeIr$_2$O$_9$ and used to directly test for entanglement of the electronic orbitals between neighboring Ir sites. We find that entanglement is challenging to detect under standard conditions, but that it could be achieved by analyzing the outgoing x-ray polarization or via specific choices of momentum and energy. Our protocol provides a new handle for entanglement detection, which offers routes to related types of entanglement witness (such as orbitally-resolved measurements) and to the generalization to out-of-equilibrium settings accessed in ultrafast settings.


title: Entanglement entropy in lattices with non-abelian gauge groups

abstract: Entanglement entropy, taken here to be geometric, requires a geometrically separable Hilbert space. In lattice gauge theories, it is not immediately clear if the physical Hilbert space is geometrically separable. In a previous paper we have shown that the physical Hilbert space in pure gauge abelian lattice theories exhibits some form of geometric scaling with the lattice volume, which suggest that the space is locally factorizable and, therefore, geometrically separable. In this paper, we provide strong evidence that indicates that this scaling is not present when the group is non-abelian. We do so by looking at the scaling of the dimension of the physical Hilbert space of theories with certain discrete groups. The lack of an appropriate scaling implies that the physical Hilbert space of such a theory does not admit a local factorization. We then extend the reasoning, as sensibly possible, to SU(2) and SU(N) to reach the same conclusion. Lastly, we show that the addition of matter fields to non-abelian lattice gauge theories makes the resulting physical Hilbert space locally factorizable.


title: A remarkable eelliptic curve

abstract: We describe a system of plane algebraic curves defined over \Z, attached naturally to the exponential function. On of these is a remarkable curve of degree 6 that has genus equal to 1. As the sectic curve has rational points, it is an elliptic curveand can be tranformed over \Q into the curve 1584.j1 of the LMFDB. One is left to wonder what the number 11, appearing in the factorisation 1584=2^4.3^2.11 has to do with the exponential function.


title: Quantum Fault Trees and Minimal Cut Sets Identification

abstract: Fault Trees represent an essential tool in the reliability and risk assessment of engineering systems. By decomposing the structure of the system into Boolean function, Fault Trees allow the quantitative and qualitative analysis of the system. One of the main important tasks in Fault Tree analysis is the identification of Minimal Cut Sets, defined as groups of components that present the least path of resistance toward a system's failure. Identifying them allows reliability engineers to enhance the reliability and safety of the system, making system failures less likely to occur. However, the minimal cut set identification problem is challenging to solve, due to the exponential growth experienced in the number of feasible configurations as the system's size grows linearly. Over the last few years, quantum computation has been heralded as a promising tool to tackle computational challenges of increased complexity. The reason for this is the promising prospects that the use of quantum effects has for challenging computational tasks. However, its application into Probabilistic Risk Assessment and reliability engineering, and in particular to challenges related to the Fault Tree model, is still uncharted territory. To fill this gap, the objective of the paper is to integrate quantum computation into the Fault Tree Model and present an assessment of their capabilities for the minimal cut set identification problem. To this end, this paper proposes a novel algorithm to encode a fault tree into a quantum computer and to perform the identification of minimal cut sets with increased efficiency via the application of the Quantum Amplitude Amplification protocol. For validation purposes, a series of theoretical and numerical results, the latter obtained using a quantum simulator, are presented in which the proposed algorithm is compared against traditional approaches, such as Monte Carlo sampling.


title: An algebraic generalization of the entropy and its application to statistics

abstract: We define a general notion of entropy in elementary, algebraic terms. Based on that, weak forms of a scalar product and a distance measure are derived. We give basic properties of these quantities, generalize the Cauchy-Schwarz inequality, and relate our approach to the theory of scoring rules. Many supporting examples illustrate our approach and give new perspectives on established notions, such as the likelihood, the Kullback-Leibler divergence, the uncorrelatedness of random variables, the scalar product itself, the Tichonov regularization and the mutual information.


title: The nonlinear wave equation with nonlinear Wentzell boundary conditions on time-dependent compact Riemannian manifolds

abstract: We prove a local well-posedness result for an evolution problem consisting of a semilinear wave equation with subcritical nonlinearities posed on a time-dependent compact Riemannian manifold and supplied with a nonlinear dynamical boundary condition of Wentzell type.


title: A note on the multicolor size-Ramsey numbers of connected graphs

abstract: The $r$-color size-Ramsey number of a graph $H$, denoted $\hat{R}_r(H)$ is the smallest number of edges in a graph $G$ having the property that every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H$. Krivelevich proved that $\hat{R}_r(P_{m+1})=\Omega(r^2m)$ where $P_{m+1}$ is the path on $m$ edges. He explains that his proof actually applies to any connected graph $H$ with $m$ edges and vertex cover number larger than $\sqrt{m}$. He also notes that some restriction on the vertex cover number is necessary since the star with $m$ edges, $K_{1,m}$, has vertex cover number 1 and satisfies $\hat{R}_r(K_{1,m})=r(m-1)+1$. We prove that the star is actually the only exception; that is, $\hat{R}_r(H)=\Omega(r^2m)$ for every non-star connected graph $H$ with $m$ edges. We also prove a strengthening of this result for trees. It follows from results of Beck and Dellamonica that $\hat{R}_2(T)=\Theta(\beta(T))$ for every tree $T$ with bipartition $\{V_1, V_2\}$ and $\beta(T)=|V_1|\max\{d(v):v\in V_1\}+|V_2|\max\{d(v):v\in V_2\}$. We prove that $\hat{R}_r(T)=\Omega(r^2\beta(T))$ for every tree $T$, again with the exception of the star. Additionally, we prove that for a certain class of trees $\mathcal{T}$ (which includes all trees of radius 2 and all non-star trees with linear maximum degree) we have $\hat{R}_r(T)=\Theta(r^2\beta(T))$ for all $T\in \mathcal{T}$.


title: Unvortex Lattice and Topological Defects in Rigidly Rotating Multicomponent Superfluids

abstract: By examining the characteristics of a rotating ferromagnetic spinor condensate through the perspective of large spin, we uncover a novel kind of topological point defect in the magnetization texture. These defects are predicted not by the conventional homotopy group analysis but by the Riemann-Hurwitz formula. The spin texture in the system is described by an equal-area mapping from the plane to the sphere of magnetization, forming a lattice of uniformly charged Skyrmions. This lattice carries doubly-quantized (winding number = 2) point defects arranged on the sphere in a tetrahedral configuration. The fluid is found to be rotating rigidly, except at the point defects where the vorticity vanishes. This vorticity structure contrasts with the well-known vortex lattice in scalar rotating superfluids, where vorticity concentrates exclusively within defect points, forming an unconventional "unvortex" lattice. Numerical results are presented, which are in agreement with the aforementioned predictions.

categories: cond-mat.quant-gas cond-mat.soft math-ph math.MP quant-ph


title: A Neuromorphic Approach to Obstacle Avoidance in Robot Manipulation

abstract: Neuromorphic computing mimics computational principles of the brain in $\textit{silico}$ and motivates research into event-based vision and spiking neural networks (SNNs). Event cameras (ECs) exclusively capture local intensity changes and offer superior power consumption, response latencies, and dynamic ranges. SNNs replicate biological neuronal dynamics and have demonstrated potential as alternatives to conventional artificial neural networks (ANNs), such as in reducing energy expenditure and inference time in visual classification. Nevertheless, these novel paradigms remain scarcely explored outside the domain of aerial robots. To investigate the utility of brain-inspired sensing and data processing, we developed a neuromorphic approach to obstacle avoidance on a camera-equipped manipulator. Our approach adapts high-level trajectory plans with reactive maneuvers by processing emulated event data in a convolutional SNN, decoding neural activations into avoidance motions, and adjusting plans using a dynamic motion primitive. We conducted experiments with a Kinova Gen3 arm performing simple reaching tasks that involve obstacles in sets of distinct task scenarios and in comparison to a non-adaptive baseline. Our neuromorphic approach facilitated reliable avoidance of imminent collisions in simulated and real-world experiments, where the baseline consistently failed. Trajectory adaptations had low impacts on safety and predictability criteria. Among the notable SNN properties were the correlation of computations with the magnitude of perceived motions and a robustness to different event emulation methods. Tests with a DAVIS346 EC showed similar performance, validating our experimental event emulation. Our results motivate incorporating SNN learning, utilizing neuromorphic processors, and further exploring the potential of neuromorphic methods.


title: Box Filtration

abstract: We define a new framework that unifies the filtration and mapper approaches from TDA, and present efficient algorithms to compute it. Termed the box filtration of a PCD, we grow boxes (hyperrectangles) that are not necessarily centered at each point (in place of balls centered at points). We grow the boxes non-uniformly and asymmetrically in different dimensions based on the distribution of points. We present two approaches to handle the boxes: a point cover where each point is assigned its own box at start, and a pixel cover that works with a pixelization of the space of the PCD. Any box cover in either setting automatically gives a mapper of the PCD. We show that the persistence diagrams generated by the box filtration using both point and pixel covers satisfy the classical stability based on the Gromov-Hausdorff distance. Using boxes also implies that the box filtration is identical for pairwise or higher order intersections whereas the VR and Cech filtration are not the same. Growth in each dimension is computed by solving a linear program (LP) that optimizes a cost functional balancing the cost of expansion and benefit of including more points in the box. The box filtration algorithm runs in $O(m|U(0)|\log(mn\pi)L(q))$ time, where $m$ is number of steps of increments considered for box growth, $|U(0)|$ is the number of boxes in the initial cover ($\leq$ number of points), $\pi$ is the step length for increasing each box dimension, each LP is solved in $O(L(q))$ time, $n$ is the PCD dimension, and $q = n \times |X|$. We demonstrate through multiple examples that the box filtration can produce more accurate results to summarize the topology of the PCD than VR and distance-to-measure (DTM) filtrations. Software for our implementation is available at https://github.com/pragup/Box-Filteration.


title: About the Moments of the Generalized Ulam Problem

abstract: Given $\pi \in S_n$, let $Z_{n,k}(\pi)=\sum_{1\leq i_1<\dots<i_k\leq n} \mathbf{1}(\{ \pi_{i_1}<\dots<\pi_{i_k}\}$ denote the number of increasing subsequences of length $k$. Consider the "generalized Ulam problem," studying the distribution of $Z_{n,k}$ for general $k$ and $n$. For the 2nd moment, Ross Pinsky initiated a combinatorial study by considering a pair of subsequences $i^{(r)}_1<\dots<i^{(r)}_k$ for $r \in \{1,2\}$, and conditioning on the size of the intersection $j = |\{i_1^{(1)},\dots,i^{(1)}_k\} \cap \{i^{(2)}_1,\dots,i^{(2)}_k\}|$. We obtain the exact large deviation rate function for $\mathbf{E}[Z_{n,k} Z_{n,\ell}]$ in the asymptotic regime $k\sim \kappa n^{1/2}$, $\ell \sim \lambda n^{1/2}$ as $n \to \infty$, for $\kappa,\lambda \in (0,\infty)$. This uses multivariate generating function techniques, as found in the textbook of Pemantle and Wilson. The requisite generating function enumerates pairs of up-right paths in $d=2$, which both end at $(k,\ell)$ with a given number of intersections. We also evaluate the analogous generating function for pairs of $(+\boldsymbol{i},+\boldsymbol{j},+\boldsymbol{k})$ paths in $d=3$, which both end at $(k,\ell,m)$, which has some utility in calculating the 3rd moment. Finally, we consider a simpler problem involving partitions instead of permutations, where all moments are calculable and the replica symmetric ansatz can be stated if not proved.


title: The increasing fragmentation of global science limits the diffusion of ideas

abstract: The global scientific landscape emerges from a complex interplay of collaboration and competition, where nations vie for dominance while simultaneously fostering the diffusion of knowledge on a global scale. This raises crucial questions: What underlying patterns govern international scientific recognition and influence? How does this structure impact knowledge dissemination? Traditional models view the global scientific ecosystem through a core-periphery lens, with Western nations dominating knowledge production. Here, we investigate the dynamics of international scientific recognition through the lens of national preferences, introducing a novel signed measure to characterize national citation preferences and enabling a network analysis of international scientific recognition. We find that scientific recognition is related to cultural and political factors in addition to economic strength and scientific quality. Our analysis challenges the conventional core-periphery narrative, uncovering instead several communities of international knowledge production that are rapidly fragmenting the scientific recognition ecosystem. Moreover, we provide compelling evidence that this network significantly constrains the diffusion of ideas across international borders. The resulting network framework for global scientific recognition sheds light on the barriers and opportunities for collaboration, innovation, and the equitable recognition of scientific advancements, with significant consequences for policymakers seeking to foster inclusive and impactful international scientific endeavors.


title: Towards Improved Semiconductor Defect Inspection for high-NA EUVL based on SEMI-SuperYOLO-NAS

abstract: Due to potential pitch reduction, the semiconductor industry is adopting High-NA EUVL technology. However, its low depth of focus presents challenges for High Volume Manufacturing. To address this, suppliers are exploring thinner photoresists and new underlayers/hardmasks. These may suffer from poor SNR, complicating defect detection. Vision-based ML algorithms offer a promising solution for semiconductor defect inspection. However, developing a robust ML model across various image resolutions without explicit training remains a challenge for nano-scale defect inspection. This research's goal is to propose a scale-invariant ADCD framework capable to upscale images, addressing this issue. We propose an improvised ADCD framework as SEMI-SuperYOLO-NAS, which builds upon the baseline YOLO-NAS architecture. This framework integrates a SR assisted branch to aid in learning HR features by the defect detection backbone, particularly for detecting nano-scale defect instances from LR images. Additionally, the SR-assisted branch can recursively generate upscaled images from their corresponding downscaled counterparts, enabling defect detection inference across various image resolutions without requiring explicit training. Moreover, we investigate improved data augmentation strategy aimed at generating diverse and realistic training datasets to enhance model performance. We have evaluated our proposed approach using two original FAB datasets obtained from two distinct processes and captured using two different imaging tools. Finally, we demonstrate zero-shot inference for our model on a new, originating from a process condition distinct from the training dataset and possessing different Pitch characteristics. Experimental validation demonstrates that our proposed ADCD framework aids in increasing the throughput of imaging tools for defect inspection by reducing the required image pixel resolutions.


title: Optimal robust exact first-order differentiators with Lipschitz continuous output

abstract: The signal differentiation problem involves the development of algorithms that allow to recover a signal's derivatives from noisy measurements. This paper develops a first-order differentiator with the following combination of properties: robustness to measurement noise, exactness in the absence of noise, optimal worst-case differentiation error, and Lipschitz continuous output where the output's Lipschitz constant is a tunable parameter. This combination of advantageous properties is not shared by any existing differentiator. Both continuous-time and sample-based versions of the differentiator are developed and theoretical guarantees are established for both. The continuous-time version of the differentiator consists in a regularized and sliding-mode-filtered linear adaptive differentiator. The sample-based, implementable version is then obtained through appropriate discretization. An illustrative example is provided to highlight the features of the developed differentiator.


title: Near-Tight Bounds for 3-Query Locally Correctable Binary Linear Codes via Rainbow Cycles

abstract: We prove that a binary linear code of block length $n$ that is locally correctable with $3$ queries against a fraction $\delta > 0$ of adversarial errors must have dimension at most $O_{\delta}(\log^2 n \cdot \log \log n)$. This is almost tight in view of quadratic Reed-Muller codes being a $3$-query locally correctable code (LCC) with dimension $\Theta(\log^2 n)$. Our result improves, for the binary field case, the $O_{\delta}(\log^8 n)$ bound obtained in the recent breakthrough of (Kothari and Manohar, 2023) (arXiv:2311.00558) (and the more recent improvement to $O_{\delta}(\log^4 n)$ for binary linear codes announced in (Yankovitz, 2024)). Previous bounds for $3$-query linear LCCs proceed by constructing a $2$-query locally decodable code (LDC) from the $3$-query linear LCC/LDC and applying the strong bounds known for the former. Our approach is more direct and proceeds by bounding the covering radius of the dual code, borrowing inspiration from (Iceland and Samorodnitsky, 2018) (arXiv:1802.01184). That is, we show that if $x \mapsto (v_1 \cdot x, v_2 \cdot x, \ldots, v_n \cdot x)$ is an arbitrary encoding map $\mathbb{F}_2^k \to \mathbb{F}_2^n$ for the $3$-query LCC, then all vectors in $\mathbb{F}_2^k$ can be written as a $\widetilde{O}_{\delta}(\log n)$-sparse linear combination of the $v_i$'s, which immediately implies $k \le \widetilde{O}_{\delta}((\log n)^2)$. The proof of this fact proceeds by iteratively reducing the size of any arbitrary linear combination of at least $\widetilde{\Omega}_{\delta}(\log n)$ of the $v_i$'s. We achieve this using the recent breakthrough result of (Alon, Buci\'c, Sauermann, Zakharov, and Zamir, 2023) (arXiv:2309.04460) on the existence of rainbow cycles in properly edge-colored graphs, applied to graphs capturing the linear dependencies underlying the local correction property.


title: Effectiveness of Self-Assessment Software to Evaluate Preclinical Operative Procedures

abstract: Objectives: To assess the effectiveness of digital scanning techniques for self-assessment and of preparations and restorations in preclinical dental education when compared to traditional faculty grading. Methods: Forty-four separate Class I (#30-O), Class II (#30-MO) preparations, and class II amalgam restorations (#31-MO) were generated respectively under preclinical assessment setting. Calibrated faculty evaluated the preparations and restorations using a standard rubric from preclinical operative class. The same teeth were scanned using Planmeca PlanScan intraoral scanner and graded using the Romexis E4D Compare Software. Each tooth was compared against a corresponding gold standard tooth with tolerance intervals ranging from 100{\mu}m to 500{\mu}m. These scores were compared to traditional faculty grades using a linear mixed model to estimate the mean differences at 95% confidence interval for each tolerance level. Results: The average Compare Software grade of Class I preparation at 300{\mu}m tolerance had the smallest mean difference of 1.64 points on a 100 points scale compared to the average faculty grade. Class II preparation at 400{\mu}m tolerance had the smallest mean difference of 0.41 points. Finally, Class II Restoration at 300{\mu}m tolerance had the smallest mean difference at 0.20 points. Conclusion: In this study, tolerance levels that best correlated the Compare Software grades with the faculty grades were determined for three operative procedures: class I preparation, class II preparation and class II restoration. This Compare Software can be used as a useful adjunct method for more objective grading. It also can be used by students as a great self-assessment tool.


title: GeniL: A Multilingual Dataset on Generalizing Language

abstract: LLMs are increasingly transforming our digital ecosystem, but they often inherit societal biases learned from their training data, for instance stereotypes associating certain attributes with specific identity groups. While whether and how these biases are mitigated may depend on the specific use cases, being able to effectively detect instances of stereotype perpetuation is a crucial first step. Current methods to assess presence of stereotypes in generated language rely on simple template or co-occurrence based measures, without accounting for the variety of sentential contexts they manifest in. We argue that understanding the sentential context is crucial for detecting instances of generalization. We distinguish two types of generalizations: (1) language that merely mentions the presence of a generalization ("people think the French are very rude"), and (2) language that reinforces such a generalization ("as French they must be rude"), from non-generalizing context ("My French friends think I am rude"). For meaningful stereotype evaluations, we need to reliably distinguish such instances of generalizations. We introduce the new task of detecting generalization in language, and build GeniL, a multilingual dataset of over 50K sentences from 9 languages (English, Arabic, Bengali, Spanish, French, Hindi, Indonesian, Malay, and Portuguese) annotated for instances of generalizations. We demonstrate that the likelihood of a co-occurrence being an instance of generalization is usually low, and varies across different languages, identity groups, and attributes. We build classifiers to detect generalization in language with an overall PR-AUC of 58.7, with varying degrees of performance across languages. Our research provides data and tools to enable a nuanced understanding of stereotype perpetuation, a crucial step towards more inclusive and responsible language technologies.


title: Strict area law implies commuting parent Hamiltonian

abstract: We show that in two spatial dimensions, when a quantum state has entanglement entropy obeying a strict area law, meaning $S(A)=\alpha |\partial A| - \gamma$ for constants $\alpha, \gamma$ independent of lattice region $A$, then it admits a commuting parent Hamiltonian. More generally, we prove that the entanglement bootstrap axioms in 2D imply the existence of a commuting, local parent Hamiltonian with a stable spectral gap. We also extend our proof to states that describe gapped domain walls. Physically, these results imply that the states studied in the entanglement bootstrap program correspond to ground states of some local Hamiltonian, describing a stable phase of matter. Our result also suggests that systems with chiral gapless edge modes cannot obey a strict area law provided they have finite local Hilbert space.


title: Negative Preference Optimization: From Catastrophic Collapse to Effective Unlearning

abstract: Large Language Models (LLMs) often memorize sensitive, private, or copyrighted data during pre-training. LLM unlearning aims to eliminate the influence of undesirable data from the pre-trained model while preserving the model's utilities on other tasks. Several practical methods have recently been proposed for LLM unlearning, mostly based on gradient ascent (GA) on the loss of undesirable data. However, on certain unlearning tasks, these methods either fail to effectively unlearn the target data or suffer from catastrophic collapse -- a drastic degradation of the model's utilities. In this paper, we propose Negative Preference Optimization (NPO), a simple alignment-inspired method that could efficiently and effectively unlearn a target dataset. We theoretically show that the progression toward catastrophic collapse by minimizing the NPO loss is exponentially slower than GA. Through experiments on synthetic data and the benchmark TOFU dataset, we demonstrate that NPO-based methods achieve a better balance between unlearning the undesirable data and maintaining the model's utilities. We also observe that NPO-based methods generate more sensible outputs than GA-based methods, whose outputs are often gibberish. Remarkably, on TOFU, NPO-based methods are the first to achieve reasonable unlearning results in forgetting 50% (or more) of the training data, whereas existing methods already struggle with forgetting 10% of training data.


title: Spin-free exact two-component linear response coupled cluster theory for estimation of frequency-dependent second-order property

abstract: We have presented the theory, implementation, and benchmark results for the one-electronic variant of spin-free exact two-component (SFX2C1e) linear response coupled cluster (LRCCSD) theory for static and dynamic polarizabilities of atoms and molecules in the spin-adapted formulation. The resolution of identity (RI) approximation for two-electron integrals has been used to reduce the computational cost of the calculation and has been shown to have a negligible effect on accuracy. The calculated static and dynamic polarizability values agree very well with the more expensive X2C-LRCCSD and experimental results. Our calculated results show that accurate predictions of polarizabilities of atoms and molecules containing heavy atoms require the use of a large basis set containing an adequate number of diffuse functions, in addition to accounting for electron correlation and relativistic effects.


title: CoBT: Collaborative Programming of Behaviour Trees from One Demonstration for Robot Manipulation

abstract: Mass customization and shorter manufacturing cycles are becoming more important among small and medium-sized companies. However, classical industrial robots struggle to cope with product variation and dynamic environments. In this paper, we present CoBT, a collaborative programming by demonstration framework for generating reactive and modular behavior trees. CoBT relies on a single demonstration and a combination of data-driven machine learning methods with logic-based declarative learning to learn a task, thus eliminating the need for programming expertise or long development times. The proposed framework is experimentally validated on 7 manipulation tasks and we show that CoBT achieves approx. 93% success rate overall with an average of 7.5s programming time. We conduct a pilot study with non-expert users to provide feedback regarding the usability of CoBT.


title: Group theory in OSCAR

abstract: OSCAR is an innovative new computer algebra system which combines and extends the power of its four cornerstone systems - GAP (group theory), Singular (algebra and algebraic geometry), Polymake (polyhedral geometry), and Antic (number theory). Assuming little familiarity with the subject, we give an introduction to computations in group theory using OSCAR, as a chapter of the upcoming OSCAR book.


title: TabConv: Low-Computation CNN Inference via Table Lookups

abstract: Convolutional Neural Networks (CNNs) have demonstrated remarkable ability throughout the field of computer vision. However, CNN inference requires a large number of arithmetic operations, making them expensive to deploy in hardware. Current approaches alleviate this issue by developing hardware-supported, algorithmic processes to simplify spatial convolution functions. However, these methods still heavily rely on matrix multiplication, leading to significant computational overhead. To bridge the gap between hardware, algorithmic acceleration, and approximate matrix multiplication, we propose TabConv, a novel, table-based approximation for convolution to significantly reduce arithmetic operations during inference. Additionally, we introduce a priority masking technique based on cosine similarity to select layers for table-based approximation, thereby maintaining the model performance. We evaluate our approach on popular CNNs: ResNet-18, ResNet-34, and NetworkInNetwork (NIN). TabConv preserves over 93% of the original model's performance while reducing arithmetic operations by 36.5%, 25.8%, and 99.4% for ResNet-18 on CIFAR-10, CIFAR-100, and MNIST, respectively, 35.6% and 99.3% for ResNet-34 on CIFAR-10 and MNIST, and 98.9% for NIN on MNIST, achieving low-computation inference.


title: Model Predictive Control based Energy Management System for Home Energy Resiliency

abstract: As the occurrence of extreme weather events is increasing so are the outages caused by them. During such unplanned outages, a house needs to be provided with an energy supply to maintain habitable conditions by maintaining thermal comfort and servicing at least critical loads. An energy system consisting of rooftop photovoltaic (PV) panels along with battery storage is an excellent carbon-free choice to provide energy resiliency to houses against extreme weather-related outages. However, to provide habitable conditions this energy system has to provide not only for the non-air-conditioning (non-AC) load demand but also for the turning on of the AC system which has a considerably higher startup power requirement as compared to its rated power. Hence, an intelligent automated decision-making controller is needed which can manage the trade-off between competing requirements. In this paper, we propose such an intelligent controller based on Model Predictive Control (MPC). We compare its performance with a Baseline controller which is unintelligent, and a Rule-Based controller which has some intelligence, based on three resiliency metrics that we have developed. We perform extensive simulations for numerous scenarios involving different energy system sizes and AC startup power requirements. Every simulation is one week long and is carried out for a single-family detached house located in Florida in the aftermath of Hurricane Irma in 2017. The simulation results show that the MPC controller performs better than the other controllers in the more energy-constrained scenarios (smaller PV-battery size, larger AC startup power requirement) in providing both thermal comfort and servicing non-AC loads in a balanced manner.


title: Youth as Peer Auditors: Engaging Teenagers with Algorithm Auditing of Machine Learning Applications

abstract: As artificial intelligence/machine learning (AI/ML) applications become more pervasive in youth lives, supporting them to interact, design, and evaluate applications is crucial. This paper positions youth as auditors of their peers' ML-powered applications to better understand algorithmic systems' opaque inner workings and external impacts. In a two-week workshop, 13 youth (ages 14-15) designed and audited ML-powered applications. We analyzed pre/post clinical interviews in which youth were presented with auditing tasks. The analyses show that after the workshop all youth identified algorithmic biases and inferred dataset and model design issues. Youth also discussed algorithmic justice issues and ML model improvements. Furthermore, youth reflected that auditing provided them new perspectives on model functionality and ideas to improve their own models. This work contributes (1) a conceptualization of algorithm auditing for youth; and (2) empirical evidence of the potential benefits of auditing. We discuss potential uses of algorithm auditing in learning and child-computer interaction research.


title: CodecLM: Aligning Language Models with Tailored Synthetic Data

abstract: Instruction tuning has emerged as the key in aligning large language models (LLMs) with specific task instructions, thereby mitigating the discrepancy between the next-token prediction objective and users' actual goals. To reduce the labor and time cost to collect or annotate data by humans, researchers start to explore the use of LLMs to generate instruction-aligned synthetic data. Recent works focus on generating diverse instructions and applying LLM to increase instruction complexity, often neglecting downstream use cases. It remains unclear how to tailor high-quality data to elicit better instruction-following abilities in different target instruction distributions and LLMs. To this end, we introduce CodecLM, a general framework for adaptively generating high-quality synthetic data for LLM alignment with different downstream instruction distributions and LLMs. Drawing on the Encode-Decode principles, we use LLMs as codecs to guide the data generation process. We first encode seed instructions into metadata, which are concise keywords generated on-the-fly to capture the target instruction distribution, and then decode metadata to create tailored instructions. We also introduce Self-Rubrics and Contrastive Filtering during decoding to tailor data-efficient samples. Extensive experiments on four open-domain instruction following benchmarks validate the effectiveness of CodecLM over the current state-of-the-arts.


title: Privacy and Security of Women's Reproductive Health Apps in a Changing Legal Landscape

abstract: FemTech, a rising trend in mobile apps, empowers women to digitally manage their health and family planning. However, privacy and security vulnerabilities in period-tracking and fertility-monitoring apps present significant risks, such as unintended pregnancies and legal consequences. Our approach involves manual observations of privacy policies and app permissions, along with dynamic and static analysis using multiple evaluation frameworks. Our research reveals that many of these apps gather personally identifiable information (PII) and sensitive healthcare data. Furthermore, our analysis identifies that 61% of the code vulnerabilities found in the apps are classified under the top-ten Open Web Application Security Project (OWASP) vulnerabilities. Our research emphasizes the significance of tackling the privacy and security vulnerabilities present in period-tracking and fertility-monitoring mobile apps. By highlighting these crucial risks, we aim to initiate a vital discussion and advocate for increased accountability and transparency of digital tools for women's health. We encourage the industry to prioritize user privacy and security, ultimately promoting a safer and more secure environment for women's health management.


title: Uniform vector-valued pointwise ergodic theorems for operators

abstract: We prove a uniform vector-valued Wiener-Wintner Theorem for a class of operators that includes compositions of ergodic Koopman operators with contractive multiplication operators, and even some operators that are not $L^1$-contractions. Our methods are general enough to apply to situations in which our operator is ergodic, weakly mixing, mildly mixing, or strongly mixing. This allows to obtain uniform pointwise ergodic theorems for operators that are ergodic or mildly mixing, which are new even for Koopman operators. Our method of proof is to view $\xi := (T^nf(x))_{n = 1}^\infty$ as an element of a Ces\`aro sequence space, which we then map into a subspace of an ultraproduct space that possesses a natural shift operator $S$. Weighted pointwise ergodic theorems then correspond to dual pairings $\langle \xi,g^\prime\rangle = 0$, where we have, for example, that $\xi$ is weakly mixing with respect to $S$ and $g^\prime$ is compact with respect to $S^*$.