title: User Identification via Free Roaming Eye Tracking Data

abstract: We present a new dataset of "free roaming" (FR) and "targeted roaming" (TR): a pool of 41 participants is asked to walk around a university campus (FR) or is asked to find a particular room within a library (TR). Eye movements are recorded using a commodity wearable eye tracker (Pupil Labs Neon at 200Hz). On this dataset we investigate the accuracy of user identification using a previously known machine learning pipeline where a Radial Basis Function Network (RBFN) is used as classifier. Our highest accuracies are 87.3% for FR and 89.4% for TR. This should be compared to 95.3% which is the (corresponding) highest accuracy we are aware of (achieved in a laboratory setting using the "RAN" stimulus of the BioEye 2015 competition dataset). To the best of our knowledge, our results are the first that study user identification in a non laboratory setting; such settings are often more feasible than laboratory settings and may include further advantages. The minimum duration of each recording is 263s for FR and 154s for TR. Our best accuracies are obtained when restricting to 120s and 140s for FR and TR respectively, always cut from the end of the trajectories (both for the training and testing sessions). If we cut the same length from the beginning, then accuracies are 12.2% lower for FR and around 6.4% lower for TR. On the full trajectories accuracies are lower by 5% and 52% for FR and TR. We also investigate the impact of including higher order velocity derivatives (such as acceleration, jerk, or jounce).


title: Scalability of Metropolis-within-Gibbs schemes for high-dimensional Bayesian models

abstract: We study general coordinate-wise MCMC schemes (such as Metropolis-within-Gibbs samplers), which are commonly used to fit Bayesian non-conjugate hierarchical models. We relate their convergence properties to the ones of the corresponding (potentially not implementable) Gibbs sampler through the notion of conditional conductance. This allows us to study the performances of popular Metropolis-within-Gibbs schemes for non-conjugate hierarchical models, in high-dimensional regimes where both number of datapoints and parameters increase. Given random data-generating assumptions, we establish dimension-free convergence results, which are in close accordance with numerical evidences. Applications to Bayesian models for binary regression with unknown hyperparameters and discretely observed diffusions are also discussed. Motivated by such statistical applications, auxiliary results of independent interest on approximate conductances and perturbation of Markov operators are provided.


title: Constrained and Vanishing Expressivity of Quantum Fourier Models

abstract: In this work, we highlight an unforeseen behavior of the expressivity of Parameterized Quantum Circuits (PQC) for machine learning. A large class of these models, seen as Fourier Series which frequencies are derived from the encoding gates, were thought to have their Fourier coefficients mostly determined by the trainable gates. Here, we demonstrate a new correlation between the Fourier coefficients of the quantum model and its encoding gates. In addition, we display a phenomenon of vanishing expressivity in certain settings, where some Fourier coefficients vanish exponentially when the number of qubits grows. These two behaviors imply novel forms of constraints which limit the expressivity of PQCs, and therefore imply a new inductive bias for Quantum models. The key concept in this work is the notion of a frequency redundancy in the Fourier series spectrum, which determines its importance. Those theoretical behaviours are observed in numerical simulations.


title: GPT on a Quantum Computer

abstract: Large Language Models (LLMs) such as ChatGPT have transformed how we interact with and understand the capabilities of Artificial Intelligence (AI). However, the intersection of LLMs with the burgeoning field of Quantum Machine Learning (QML) is only in its nascent stages. This paper presents an exploration of this niche by detailing a comprehensive framework for implementing the foundational Transformer architecture -- integral to ChatGPT -- within a quantum computing paradigm. We meticulously design quantum circuits that implement adapted versions of the transformer's core components and the generative pre-training phase. By integrating quantum computing with LLMs, we aspire to open new avenues for research in QML and contribute to the ongoing evolution of AI technologies.


title: RoDUS: Robust Decomposition of Static and Dynamic Elements in Urban Scenes

abstract: The task of separating dynamic objects from static environments using NeRFs has been widely studied in recent years. However, capturing large-scale scenes still poses a challenge due to their complex geometric structures and unconstrained dynamics. Without the help of 3D motion cues, previous methods often require simplified setups with slow camera motion and only a few/single dynamic actors, leading to suboptimal solutions in most urban setups. To overcome such limitations, we present RoDUS, a pipeline for decomposing static and dynamic elements in urban scenes, with thoughtfully separated NeRF models for moving and non-moving components. Our approach utilizes a robust kernel-based initialization coupled with 4D semantic information to selectively guide the learning process. This strategy enables accurate capturing of the dynamics in the scene, resulting in reduced artifacts caused by NeRF on background reconstruction, all by using self-supervision. Notably, experimental evaluations on KITTI-360 and Pandaset datasets demonstrate the effectiveness of our method in decomposing challenging urban scenes into precise static and dynamic components.


title: On Krull-Schmidt decompositions of unit groups of number fields

abstract: We prove that the Krull-Schmidt decomposition of the Galois module of the $p$-adic completion of algebraic units is controlled by the primes that are ramified in the Galois extension and the $S$-ideal class group. We also compute explicit upper bounds for the number of possible Galois module structures of algebraic units when the Galois group is cyclic of order $p^{2}$ or $p^{3}$.


title: Fake turbulence

abstract: High-dimensional dynamical systems projected onto a reduced-order model cease to be deterministic and are best described by probability distributions in state space. Their equations of motion map onto an evolution operator with a deterministic component describing the projected dynamics, and a stochastic one from the neglected dimensions. It is shown that, for projections in which the deterministic component is dominant, `physics-free' stochastic Markovian models can be constructed that mimic many of the statistics of the real flow, even for fairly crude operator approximations. Deterministic models converge to steady states. This is related to general properties of Markov chains and illustrated with data-driven models for a moderate-Reynolds number turbulent channel.


title: Mitigating attribute amplification in counterfactual image generation

abstract: Causal generative modelling is gaining interest in medical imaging due to its ability to answer interventional and counterfactual queries. Most work focuses on generating counterfactual images that look plausible, using auxiliary classifiers to enforce effectiveness of simulated interventions. We investigate pitfalls in this approach, discovering the issue of attribute amplification, where unrelated attributes are spuriously affected during interventions, leading to biases across protected characteristics and disease status. We show that attribute amplification is caused by the use of hard labels in the counterfactual training process and propose soft counterfactual fine-tuning to mitigate this issue. Our method substantially reduces the amplification effect while maintaining effectiveness of generated images, demonstrated on a large chest X-ray dataset. Our work makes an important advancement towards more faithful and unbiased causal modelling in medical imaging.


title: A survey on conjugacy class graphs of groups

abstract: There are several graphs defined on groups. Among them we consider graphs whose vertex set consists conjugacy classes of a group $G$ and adjacency is defined by properties of the elements of conjugacy classes. In particular, we consider commuting/nilpotent/solvable conjugacy class graph of $G$ where two distinct conjugacy classes $a^G$ and $b^G$ are adjacent if there exist some elements $x\in a^G$ and $y\in b^G$ such that $\langle x, y \rangle$ is abelian/nilpotent/solvable. After a section of introductory results and examples, we discuss all the available results on connectedness, graph realization, genus, various spectra and energies of certain induced subgraphs of these graphs. Proofs of the results are not included. However, many open problems for further investigation are stated.


title: Inelastic neutron scattering and muon spin relaxation investigations of the deuterated Kondo lattices CeNiSnD$ _x $

abstract: CeNiSn is a Kondo semimetal where a gap opens at low temperatures due to hybridization between 4$f$ and conduction electrons, but a full insulating state fails to develop. Upon the insertion of hydrogen, long range magnetic order is induced. Here we report zero-field muon-spin relaxation and inelastic neutron scattering measurements of polycrystalline samples of the deuterides CeNiSnD$_x$ ($x$=1.0, 1.8). The muon-spin relaxation results confirm magnetic ordering in the whole sample of CeNiSnD below around 4.7 K, while inelastic neutron scattering reveals two well-defined crystalline-electric field (CEF) excitations at around 13 meV and 34 meV in CeNiSnD, and 5 meV and 27 meV for CeNiSnD$_{1.8}$. These results suggest that hydrogenation leads to the localization of the Ce-4$f$ electrons, giving rise to long-range magnetic order. We propose CEF level schemes for both systems, which predict a ground state moment of 0.96$\mu_{\rm B}$/Ce within the $ab$-plane for CeNiSnD$_{1.8}$ and a saturated moment of 1.26$\mu_{\rm B}$/Ce along the easy $c$ axis for CeNiSnD, that account for the observed magnetic properties.


title: Fixing two points in primitive solvable groups

abstract: Consider a finite primitive solvable group. We observe that a result of Y. Yang implies that there exist two points whose pointwise stabilizer has derived length at most $9$. We show that, if the group has odd cardinality, then there exist two points whose pointwise stabilizer is abelian.


title: Low-coercive-field ferroelectric hafnia with mobile domain walls

abstract: The high coercive field ($\mathcal{E}_c$) of hafnia-based ferroelectrics presents a major obstacle to their applications. The ferroelectric switching mechanisms in hafnia that dictate $\mathcal{E}_c$, especially those related to nucleation-and-growth at the domain wall (DW), have remained elusive. Through deep-learning-assisted multiscale simulations, we determine the finite-temperature thermodynamics and switching mechanisms for diverse types of 180$^\circ$ DWs, revealing a complex, stress-sensitive mobility landscape. The propagation velocities for mobile DW types under various thermal conditions can be characterized with a single creep equation, featuring a creep exponent of 2. This unconventional critical exponent results from the nucleation of a half-unit-cell-thin, elliptically-shaped critical nucleus. Our multiscale approach not only reproduces the experimental thickness ($d$) scaling, $\mathcal{E}_c\propto d^{-\frac{2}{3}}$, but also predicts that $\mathcal{E}_c$ of HfO$_2$ can be engineered to $\approx$0.1 MV/cm, even lower than perovskite ferroelectrics. The theoretical lower bound of $\mathcal{E}_c$ afforded by ferroelectric hafnia offers opportunities to realize power-efficient, high-fidelity ferroelectric nanoelectronics.


title: Stable high-transformer ratio beam-wakefield acceleration in cusp plasma channels

abstract: Wakefield excitation by structured electron bunches in hollow gaps between plasma wedges is studied using three-dimensional particle-in-cell simulations. The main part of the electron bunch has a triangular current distribution in the longitudinal direction with a smooth head and short tail. These bunches propagate stably in the hollow gap while being attached to cusps of the plasma wedges. The excited wakefield profile may have a very high transformer ratio and allows to accelerate witness bunches to energies much higher than that of the driver bunch. Unlike round hollow channels, where asymmetric wakefields are difficult to avoid, no deleterious transverse beam break-up (BBU) is observed in the gap between cusp-shaped plasma layers.


title: Borrowing Treasures from Neighbors: In-Context Learning for Multimodal Learning with Missing Modalities and Data Scarcity

abstract: Multimodal machine learning with missing modalities is an increasingly relevant challenge arising in various applications such as healthcare. This paper extends the current research into missing modalities to the low-data regime, i.e., a downstream task has both missing modalities and limited sample size issues. This problem setting is particularly challenging and also practical as it is often expensive to get full-modality data and sufficient annotated training samples. We propose to use retrieval-augmented in-context learning to address these two crucial issues by unleashing the potential of a transformer's in-context learning ability. Diverging from existing methods, which primarily belong to the parametric paradigm and often require sufficient training samples, our work exploits the value of the available full-modality data, offering a novel perspective on resolving the challenge. The proposed data-dependent framework exhibits a higher degree of sample efficiency and is empirically demonstrated to enhance the classification model's performance on both full- and missing-modality data in the low-data regime across various multimodal learning tasks. When only 1% of the training data are available, our proposed method demonstrates an average improvement of 6.1% over a recent strong baseline across various datasets and missing states. Notably, our method also reduces the performance gap between full-modality and missing-modality data compared with the baseline.


title: VISA: Variational Inference with Sequential Sample-Average Approximations

abstract: We present variational inference with sequential sample-average approximation (VISA), a method for approximate inference in computationally intensive models, such as those based on numerical simulations. VISA extends importance-weighted forward-KL variational inference by employing a sequence of sample-average approximations, which are considered valid inside a trust region. This makes it possible to reuse model evaluations across multiple gradient steps, thereby reducing computational cost. We perform experiments on high-dimensional Gaussians, Lotka-Volterra dynamics, and a Pickover attractor, which demonstrate that VISA can achieve comparable approximation accuracy to standard importance-weighted forward-KL variational inference with computational savings of a factor two or more for conservatively chosen learning rates.


title: Search for Higgs boson pair production in the bbWW decay mode in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search for Higgs boson pair (HH) production with one Higgs boson decaying to two bottom quarks and the other to two W bosons are presented. The search is done using proton-proton collisions data at a centre-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 138 fb$^{-1}$ recorded by the CMS detector at the LHC from 2016 to 2018. The final states considered include at least one leptonically decaying W boson. No evidence for the presence of a signal is observed and corresponding upper limits on the HH production cross section are derived. The limit on the inclusive cross section of the nonresonant HH production, assuming that the distributions of kinematic observables are as expected in the standard model (SM), is observed (expected) to be 14 (18) times the value predicted by the SM, at 95% confidence level. The limits on the cross section are also presented as functions of various Higgs boson coupling modifiers, and anomalous Higgs boson coupling scenarios. In addition, limits are set on the resonant HH production via spin-0 and spin-2 resonances within the mass range 250-900 GeV.


title: Field-orientation-dependent magnetic phases in GdRu$_2$Si$_2$ probed with muon-spin spectroscopy

abstract: Centrosymmetric GdRu$_2$Si$_2$ exhibits a variety of multi-Q magnetic states as a function of temperature and applied magnetic field, including a square skyrmion-lattice phase. The material's behavior is strongly dependent on the direction of the applied field, with different phase diagrams resulting for fields applied parallel or perpendicular to the crystallographic $c$ axis. Here, we present the results of muon-spin relaxation ($\mu^+$SR) measurements on single crystals of GdRu$_2$Si$_2$. Our analysis is based on the computation of muon stopping sites and consideration of zero-point motion effects, allowing direct comparison with the underlying spin textures in the material. Using transverse-field $\mu^+$SR with fields applied along either the [001] or [100] crystallographic directions, we distinguish between the magnetic phases in this system via their distinct muon response, providing additional evidence for the skyrmion and meron-lattice phases, while also suggesting the existence of RKKY-driven muon hyperfine coupling. Zero-field $\mu^+$SR provides clear evidence for a transition between two distinct magnetically-ordered phases at 39 K.


title: Efficient Transferability Assessment for Selection of Pre-trained Detectors

abstract: Large-scale pre-training followed by downstream fine-tuning is an effective solution for transferring deep-learning-based models. Since finetuning all possible pre-trained models is computational costly, we aim to predict the transferability performance of these pre-trained models in a computational efficient manner. Different from previous work that seek out suitable models for downstream classification and segmentation tasks, this paper studies the efficient transferability assessment of pre-trained object detectors. To this end, we build up a detector transferability benchmark which contains a large and diverse zoo of pre-trained detectors with various architectures, source datasets and training schemes. Given this zoo, we adopt 7 target datasets from 5 diverse domains as the downstream target tasks for evaluation. Further, we propose to assess classification and regression sub-tasks simultaneously in a unified framework. Additionally, we design a complementary metric for evaluating tasks with varying objects. Experimental results demonstrate that our method outperforms other state-of-the-art approaches in assessing transferability under different target domains while efficiently reducing wall-clock time 32$\times$ and requires a mere 5.2\% memory footprint compared to brute-force fine-tuning of all pre-trained detectors.


title: Open-Vocabulary Object Detection with Meta Prompt Representation and Instance Contrastive Optimization

abstract: Classical object detectors are incapable of detecting novel class objects that are not encountered before. Regarding this issue, Open-Vocabulary Object Detection (OVOD) is proposed, which aims to detect the objects in the candidate class list. However, current OVOD models are suffering from overfitting on the base classes, heavily relying on the large-scale extra data, and complex training process. To overcome these issues, we propose a novel framework with Meta prompt and Instance Contrastive learning (MIC) schemes. Firstly, we simulate a novel-class-emerging scenario to help the prompt learner that learns class and background prompts generalize to novel classes. Secondly, we design an instance-level contrastive strategy to promote intra-class compactness and inter-class separation, which benefits generalization of the detector to novel class objects. Without using knowledge distillation, ensemble model or extra training data during detector training, our proposed MIC outperforms previous SOTA methods trained with these complex techniques on LVIS. Most importantly, MIC shows great generalization ability on novel classes, e.g., with $+4.3\%$ and $+1.9\% \ \mathrm{AP}$ improvement compared with previous SOTA on COCO and Objects365, respectively.


title: Reconstruction and Simulation of Elastic Objects with Spring-Mass 3D Gaussians

abstract: Reconstructing and simulating elastic objects from visual observations is crucial for applications in computer vision and robotics. Existing methods, such as 3D Gaussians, model 3D appearance and geometry, but lack the ability to estimate physical properties for objects and simulate them. The core challenge lies in integrating an expressive yet efficient physical dynamics model. We propose Spring-Gaus, a 3D physical object representation for reconstructing and simulating elastic objects from videos of the object from multiple viewpoints. In particular, we develop and integrate a 3D Spring-Mass model into 3D Gaussian kernels, enabling the reconstruction of the visual appearance, shape, and physical dynamics of the object. Our approach enables future prediction and simulation under various initial states and environmental properties. We evaluate Spring-Gaus on both synthetic and real-world datasets, demonstrating accurate reconstruction and simulation of elastic objects. Project page: https://zlicheng.com/spring_gaus.


title: StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator

abstract: In this work, we present StarMalloc, a verified, security-oriented, concurrent memory allocator that can be used as a drop-in replacement in real-world projects. Using the Steel separation logic framework, we show how to specify and verify StarMalloc, relying on dependent types and modular abstractions to enable efficient verification. As part of StarMalloc, we also develop several generic datastructures and proof libraries directly reusable in future systems verification projects. We finally show that StarMalloc can be used with real-world projects, including the Firefox browser, and evaluate it against 10 state-of-the-art memory allocators, demonstrating its competitiveness.


title: Emergent time scales of epistasis in protein evolution

abstract: We introduce a data-driven epistatic model of protein evolution, capable of generating evolutionary trajectories spanning very different time scales reaching from individual mutations to diverged homologs. Our in silico evolution encompasses random nucleotide mutations, insertions and deletions, and models selection using a fitness landscape, which is inferred via a generative probabilistic model for protein families. We show that the proposed framework accurately reproduces the sequence statistics of both short-time (experimental) and long-time (natural) protein evolution, suggesting applicability also to relatively data-poor intermediate evolutionary time scales, which are currently inaccessible to evolution experiments. Our model uncovers a highly collective nature of epistasis, gradually changing the fitness effect of mutations in a diverging sequence context, rather than acting via strong interactions between individual mutations. This collective nature triggers the emergence of a long evolutionary time scale, separating fast mutational processes inside a given sequence context, from the slow evolution of the context itself. The model quantitatively reproduces the extent of contingency and entrenchment, as well as the loss of predictability in protein evolution observed in deep mutational scanning experiments of distant homologs. It thereby deepens our understanding of the interplay between mutation and selection in shaping protein diversity and novel functions, allows to statistically forecast evolution, and challenges the prevailing independent-site models of protein evolution, which are unable to capture the fundamental importance of epistasis.


title: Improving Real-Time Omnidirectional 3D Multi-Person Human Pose Estimation with People Matching and Unsupervised 2D-3D Lifting

abstract: Current human pose estimation systems focus on retrieving an accurate 3D global estimate of a single person. Therefore, this paper presents one of the first 3D multi-person human pose estimation systems that is able to work in real-time and is also able to handle basic forms of occlusion. First, we adjust an off-the-shelf 2D detector and an unsupervised 2D-3D lifting model for use with a 360$^\circ$ panoramic camera and mmWave radar sensors. We then introduce several contributions, including camera and radar calibrations, and the improved matching of people within the image and radar space. The system addresses both the depth and scale ambiguity problems by employing a lightweight 2D-3D pose lifting algorithm that is able to work in real-time while exhibiting accurate performance in both indoor and outdoor environments which offers both an affordable and scalable solution. Notably, our system's time complexity remains nearly constant irrespective of the number of detected individuals, achieving a frame rate of approximately 7-8 fps on a laptop with a commercial-grade GPU.


title: On some extensions of shape-constrained generalized additive modelling in R

abstract: Regression models that incorporate smooth functions of predictor variables to explain the relationships with a response variable have gained widespread usage and proved successful in various applications. By incorporating smooth functions of predictor variables, these models can capture complex relationships between the response and predictors while still allowing for interpretation of the results. In situations where the relationships between a response variable and predictors are explored, it is not uncommon to assume that these relationships adhere to certain shape constraints. Examples of such constraints include monotonicity and convexity. The scam package for R has become a popular package to carry out the full fitting of exponential family generalized additive modelling with shape restrictions on smooths. The paper aims to extend the existing framework of shape-constrained generalized additive models (SCAM) to accommodate smooth interactions of covariates, linear functionals of shape-constrained smooths and incorporation of residual autocorrelation. The methods described in this paper are implemented in the recent version of the package scam, available on the Comprehensive R Archive Network (CRAN).


title: 3D-SceneDreamer: Text-Driven 3D-Consistent Scene Generation

abstract: Text-driven 3D scene generation techniques have made rapid progress in recent years. Their success is mainly attributed to using existing generative models to iteratively perform image warping and inpainting to generate 3D scenes. However, these methods heavily rely on the outputs of existing models, leading to error accumulation in geometry and appearance that prevent the models from being used in various scenarios (e.g., outdoor and unreal scenarios). To address this limitation, we generatively refine the newly generated local views by querying and aggregating global 3D information, and then progressively generate the 3D scene. Specifically, we employ a tri-plane features-based NeRF as a unified representation of the 3D scene to constrain global 3D consistency, and propose a generative refinement network to synthesize new contents with higher quality by exploiting the natural image prior from 2D diffusion model as well as the global 3D information of the current scene. Our extensive experiments demonstrate that, in comparison to previous methods, our approach supports wide variety of scene generation and arbitrary camera trajectories with improved visual quality and 3D consistency.


title: On a problem posed by Bjorn Poonen

abstract: Bjorn Poonen asked whether there exists a polynomial giving a surjection $\mathbb{Z} \times \mathbb{Z} \to \mathbb{N}$. We answer this question in the negative, conditional on a conjecture of Vojta. More precisely, we show that if such a function exists, there is a family of open surfaces with dense integral points despite the surfaces being of log general type.


title: Adversarial Fine-tuning of Compressed Neural Networks for Joint Improvement of Robustness and Efficiency

abstract: As deep learning (DL) models are increasingly being integrated into our everyday lives, ensuring their safety by making them robust against adversarial attacks has become increasingly critical. DL models have been found to be susceptible to adversarial attacks which can be achieved by introducing small, targeted perturbations to disrupt the input data. Adversarial training has been presented as a mitigation strategy which can result in more robust models. This adversarial robustness comes with additional computational costs required to design adversarial attacks during training. The two objectives -- adversarial robustness and computational efficiency -- then appear to be in conflict of each other. In this work, we explore the effects of two different model compression methods -- structured weight pruning and quantization -- on adversarial robustness. We specifically explore the effects of fine-tuning on compressed models, and present the trade-off between standard fine-tuning and adversarial fine-tuning. Our results show that compression does not inherently lead to loss in model robustness and adversarial fine-tuning of a compressed model can yield large improvement to the robustness performance of models. We present experiments on two benchmark datasets showing that adversarial fine-tuning of compressed models can achieve robustness performance comparable to adversarially trained models, while also improving computational efficiency.


title: LLM-based agents for automating the enhancement of user story quality: An early report

abstract: In agile software development, maintaining high-quality user stories is crucial, but also challenging. This study explores the use of large language models to automatically improve the user story quality in Austrian Post Group IT agile teams. We developed a reference model for an Autonomous LLM-based Agent System and implemented it at the company. The quality of user stories in the study and the effectiveness of these agents for user story quality improvement was assessed by 11 participants across six agile teams. Our findings demonstrate the potential of LLMs in improving user story quality, contributing to the research on AI role in agile development, and providing a practical example of the transformative impact of AI in an industry setting.


title: Sequential optimal experimental design for vapor-liquid equilibrium modeling

abstract: We propose a general methodology of sequential locally optimal design of experiments for explicit or implicit nonlinear models, as they abound in chemical engineering and, in particular, in vapor-liquid equilibrium modeling. As a sequential design method, our method iteratively alternates between performing experiments, updating parameter estimates, and computing new experiments. Specifically, our sequential design method computes a whole batch of new experiments in each iteration and this batch of new experiments is designed in a two-stage locally optimal manner. In essence, this means that in every iteration the combined information content of the newly proposed experiments and of the already performed experiments is maximized. In order to solve these two-stage locally optimal design problems, a recent and efficient adaptive discretization algorithm is used. We demonstrate the benefits of the proposed methodology on the example of of the parameter estimation for the non-random two-liquid model for narrow azeotropic vapor-liquid equilibria. As it turns out, our sequential optimal design method requires substantially fewer experiments than traditional factorial design to achieve the same model precision and prediction quality. Consequently, our method can contribute to a substantially reduced experimental effort in vapor-liquid equilibrium modeling and beyond.


title: Expansion and Spectral Softening of the Dust Scattering Rings of GRB 221009A

abstract: Expanding X-ray halo or rings appear when short pulses of X-ray radiation from a background source are scattered by clouds of dust in the Milky Way. We study the X-ray rings of the brightest gamma-ray burst (GRB) 221009A, detected by the {\it Swift} X-Ray Telescope. The rings center on the GRB position and their angular radii increase with time. We identify five major expanding rings, and our modeling of their expansion history suggests that they are scattered off, respectively, from five dusty clouds at distances of 0.4-13 kpc from the observer. Given an assumed prompt X-ray fluence of this GRB, the fluxes of those rings suggest that these clouds have dust grain column densities of $10^{7\sim8}~\mathrm{cm^{-2}}$. More interestingly, our time-dependent spectral analysis of these rings show that they all experience spectral softening, i.e., getting softer as they expand, with spectral indices ranging from 2.2 to 5, consistent with what the dust scattering model predicts.


title: Benchmarking Distributed Coordination Systems: A Survey and Analysis

abstract: Coordination services and protocols are critical components of distributed systems and are essential for providing consistency, fault tolerance, and scalability. However, due to lack of a standard benchmarking tool for distributed coordination services, coordination service developers/researchers either use a NoSQL standard benchmark and omit evaluating consistency, distribution, and fault-tolerance; or create their own ad-hoc microbenchmarks and skip comparability with other services. In this paper, we analyze and compare known and widely used distributed coordination services, their evaluations, and the tools used to benchmark those systems. We identify important requirements of distributed coordination service benchmarking, like the metrics and parameters that need to be evaluated and their evaluation setups and tools.


title: Families of Equiangular Lines and Lattices

abstract: We construct Euclidean lattices whose sets of minimal vectors support some large equiangular families of lines, using notably reduction modulo~$2$ of lattices. %as considered in \cite{Ma1} and \cite{Ma2}. We also consider some related problems, and answer a question raised by Greaves ([G], Subsection~1.3.2).


title: Charting Censorship Resilience & Global Internet Reachability: A Quantitative Approach

abstract: Internet censorship and global Internet reachability are prevalent topics of today's Internet. Nonetheless, the impact of network topology and Internet architecture to these aspects of the Internet is under-explored. With the goal of informing policy discussions with an objective basis, we present an approach for evaluating both censorship resilience and global Internet reachability using quantitative network metrics, which are applicable to current BGP/IP networks and also to alternative Internet network architectures. We devise and instantiate the metric on the network topology of multiple countries, comparing the BGP/IP network, an overlay network using a waypoint mechanism for circumventing undesired nodes, and the path-aware Internet architecture SCION. The novelty of the approach resides in providing a metric enabling the analysis of these aspects of the Internet at the routing level, taking into account the innate properties of the routing protocol and architecture. We demonstrate that the Internet topology matters, and strongly influences both censorship resilience and reachability to the global Internet. Finally, we argue that access to multiple paths accompanied with path-awareness could enable a higher level of censorship resilience compared to the current Internet, and reduce the centralization of Internet routing.


title: Twenty ways to estimate the Log Gaussian Cox Process model with point and aggregated case data: the rts2 package for R

abstract: The R package rts2 provides data manipulation and model fitting tools for Log Gaussian Cox Process (LGCP) models. LGCP models are a key method for disease and other types of surveillance, and provide a means of predicting risk across an area of interest based on spatially-referenced and time-stamped case data. However, these models can be difficult to specify and computationally demanding to estimate. For many surveillance scenarios we require results in near real-time using routinely available data to guide and direct policy responses, or due to limited availability of computational resources. There are limited software implementations available for this real-time context with reliable predictions and quantification of uncertainty. The rts2 package provides a range of modern Gaussian process approximations and model fitting methods to fit the LGCP, including estimation of covariance parameters, using both Bayesian and stochastic Maximum Likelihood methods. The package provides a suite of data manipulation tools. We also provide a novel implementation to estimate the LGCP when case data are aggregated to an irregular grid such as census tract areas.


title: Algebraic algorithms for vector bundles over curves

abstract: We represent vector bundles over a regular algebraic curve as pairs of lattices over the maximal orders of its function field and we give polynomial algorithms for several tasks: computing determinants of vector bundles, kernels and images of global homomorphisms, isomorphisms between vector bundles, cohomology groups, extensions, and splitting into a direct sum of indecomposables. Most algorithms are deterministic except for computing isomorphisms when the base field is infinite. Some algorithms are only polynomial if we may compute Hermite forms of pseudo-matrices in polynomial time. All algorithms rely exclusively on algebraic operations in function fields. For applications, we give an algorithm enumerating isomorphism classes of vector bundles on an elliptic curve, and to construct algebraic geometry codes over vector bundles. We implement all our algorithms into a SageMath package.


title: Shake to Leak: Fine-tuning Diffusion Models Can Amplify the Generative Privacy Risk

abstract: While diffusion models have recently demonstrated remarkable progress in generating realistic images, privacy risks also arise: published models or APIs could generate training images and thus leak privacy-sensitive training information. In this paper, we reveal a new risk, Shake-to-Leak (S2L), that fine-tuning the pre-trained models with manipulated data can amplify the existing privacy risks. We demonstrate that S2L could occur in various standard fine-tuning strategies for diffusion models, including concept-injection methods (DreamBooth and Textual Inversion) and parameter-efficient methods (LoRA and Hypernetwork), as well as their combinations. In the worst case, S2L can amplify the state-of-the-art membership inference attack (MIA) on diffusion models by $5.4\%$ (absolute difference) AUC and can increase extracted private samples from almost $0$ samples to $15.8$ samples on average per target domain. This discovery underscores that the privacy risk with diffusion models is even more severe than previously recognized. Codes are available at https://github.com/VITA-Group/Shake-to-Leak.


title: M&M: Multimodal-Multitask Model Integrating Audiovisual Cues in Cognitive Load Assessment

abstract: This paper introduces the M&M model, a novel multimodal-multitask learning framework, applied to the AVCAffe dataset for cognitive load assessment (CLA). M&M uniquely integrates audiovisual cues through a dual-pathway architecture, featuring specialized streams for audio and video inputs. A key innovation lies in its cross-modality multihead attention mechanism, fusing the different modalities for synchronized multitasking. Another notable feature is the model's three specialized branches, each tailored to a specific cognitive load label, enabling nuanced, task-specific analysis. While it shows modest performance compared to the AVCAffe's single-task baseline, M\&M demonstrates a promising framework for integrated multimodal processing. This work paves the way for future enhancements in multimodal-multitask learning systems, emphasizing the fusion of diverse data types for complex task handling.


title: Measurements of inclusive and differential cross-sections of $t\bar{t}\gamma$ production in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: Inclusive and differential cross-sections are measured at particle level for the associated production of a top quark pair and a photon ($t\bar{t}\gamma$). The analysis is performed using an integrated luminosity of 140 fb$^{-1}$ of proton-proton collisions at a centre-of-mass energy of 13 TeV collected by the ATLAS detector. The measurements are performed in the single-lepton and dilepton top quark pair decay channels focusing on $t\bar{t}\gamma$ topologies where the photon is radiated from an initial-state parton or one of the top quarks. The absolute and normalised differential cross-sections are measured for several variables characterising the photon, lepton and jet kinematics as well as the angular separation between those objects. The observables are found to be in good agreement with the Monte Carlo predictions. The photon transverse momentum differential distribution is used to set limits on effective field theory parameters related to the electroweak dipole moments of the top quark. The combined limits using the photon and the $Z$ boson transverse momentum measured in $t\bar{t}$ production in associations with a $Z$ boson are also set.


title: Combinatorics of Essential Sets for Positroids

abstract: Positroids are families of matroids introduced by Postnikov in the study of non-negative Grassmannians. Postnikov identified several combinatorial objects in bijections with positroids, among which are bounded affine permutations. On the other hand, the notion of essential sets, introduced for permutations by Fulton, was used by Knutson in the study of the special family of interval rank positroids. We generalize Fulton's essential sets to bounded affine permutations. The bijection of the latter with positroids, allows the study of their relation. From the point of view of positroids, essential sets are maximally dependent cyclic interval. We define connected essential sets and prove that they give a facet description of the positroid polytope, as well as equations defining the positroid variety. We define a subset of essential sets, called core, which contains minimal rank conditions to uniquely recover a positroid. We provide an algorithm to retrieve the positroid satisfying the rank conditions in the core or any compatible rank condition on cyclic intervals.


title: Machine learning for structural design models of continuous beam systems via influence zones

abstract: This work develops a machine learned structural design model for continuous beam systems from the inverse problem perspective. After demarcating between forward, optimisation and inverse machine learned operators, the investigation proposes a novel methodology based on the recently developed influence zone concept which represents a fundamental shift in approach compared to traditional structural design methods. The aim of this approach is to conceptualise a non-iterative structural design model that predicts cross-section requirements for continuous beam systems of arbitrary system size. After generating a dataset of known solutions, an appropriate neural network architecture is identified, trained, and tested against unseen data. The results show a mean absolute percentage testing error of 1.6% for cross-section property predictions, along with a good ability of the neural network to generalise well to structural systems of variable size. The CBeamXP dataset generated in this work and an associated python-based neural network training script are available at an open-source data repository to allow for the reproducibility of results and to encourage further investigations.


title: The Neural-SRP method for positional sound source localization

abstract: Steered Response Power (SRP) is a widely used method for the task of sound source localization using microphone arrays, showing satisfactory localization performance on many practical scenarios. However, its performance is diminished under highly reverberant environments. Although Deep Neural Networks (DNNs) have been previously proposed to overcome this limitation, most are trained for a specific number of microphones with fixed spatial coordinates. This restricts their practical application on scenarios frequently observed in wireless acoustic sensor networks, where each application has an ad-hoc microphone topology. We propose Neural-SRP, a DNN which combines the flexibility of SRP with the performance gains of DNNs. We train our network using simulated data and transfer learning, and evaluate our approach on recorded and simulated data. Results verify that Neural-SRP's localization performance significantly outperforms the baselines.


title: Edge-apexing in hereditary classes of graphs

abstract: A class $\mathcal{G}$ of graphs is called hereditary if it is closed under taking induced subgraphs. We denote by $G^{epex}$ the class of graphs that are at most one edge away from being in $\mathcal{G}$. We note that $G^{epex}$ is hereditary and prove that if a hereditary class $\mathcal{G}$ has finitely many forbidden induced subgraphs, then so does $G^{epex}$. The hereditary class of cographs consists of all graphs $G$ that can be generated from $K_1$ using complementation and disjoint union. Cographs are precisely the graphs that do not have the $4$-vertex path as an induced subgraph. For the class of edge-apex cographs our main result bounds the order of such forbidden induced subgraphs by 8 and finds all of them by computer search.


title: Vertex coupling interpolation in quantum chain graphs

abstract: We analyze band spectrum of the periodic quantum graph in the form of a chain of rings connected by line segments with the vertex coupling which violates the time reversal invariance, interpolating between the $\delta$ coupling and the one determined by a simple circulant matrix. We find that flat bands are generically absent and that the negative spectrum is nonempty even for interpolation with a non-attractive $\delta$ coupling; we also determine the high-energy asymptotic behavior of the bands.


abstract: Exact matrix product state representations for a type of scale-invariant states are presented, which describe highly degenerate ground states arising from spontaneous symmetry breaking with type-B Goldstone modes in one-dimensional quantum many-body systems. As a possible application, such a representation offers a convenient but powerful means for evaluating the norms of highly degenerate ground states. This in turn allows us to perform a universal finite system-size scaling analysis of the entanglement entropy. Moreover, this approach vividly explains why the entanglement entropy does not depend on what types of the boundary conditions are adopted, either periodic boundary conditions or open boundary conditions. Illustrative examples include the ${\rm SU}(2)$ spin-$s$ Heisenberg ferromagnetic model, the ${\rm SU}(2s+1)$ ferromagnetic model, and the staggered ${\rm SU}(3)$ spin-1 ferromagnetic biquadratic model.


title: Development of control algorithms for mobile robotics focused on their potential use for FPGA-based robots

abstract: This paper investigates the development and optimization of control algorithms for mobile robotics, with a keen focus on their implementation in Field-Programmable Gate Arrays (FPGAs). It delves into both classical control approaches such as PID and modern techniques including deep learning, addressing their application in sectors ranging from industrial automation to medical care. The study highlights the practical challenges and advancements in embedding these algorithms into FPGAs, which offer significant benefits for mobile robotics due to their high-speed processing and parallel computation capabilities. Through an analysis of various control strategies, the paper showcases the improvements in robot performance, particularly in navigation and obstacle avoidance. It emphasizes the critical role of FPGAs in enhancing the efficiency and adaptability of control algorithms in dynamic environments. Additionally, the research discusses the difficulties in benchmarking and evaluating the performance of these algorithms in real-world applications, suggesting a need for standardized evaluation criteria. The contribution of this work lies in its comprehensive examination of control algorithms' potential in FPGA-based mobile robotics, offering insights into future research directions for improving robotic autonomy and operational efficiency.


title: Flat-top plasma operational space of the STEP power plant

abstract: STEP is a spherical tokamak prototype power plant that is being designed to demonstrate net electric power. The design phase involves the exploitation of plasma models to optimise fusion performance subject to satisfying various physics and engineering constraints. A modelling workflow, including integrated core plasma modelling, MHD stability analysis, SOL and pedestal modelling, coil set and free boundary equilibrium solvers, and whole plant design, has been developed to specify the design parameters and to develop viable scenarios. The integrated core plasma model JETTO is used to develop individual flat-top operating points that satisfy imposed criteria for fusion power performance within operational constraints. Key plasma parameters such as normalised beta, Greenwald density fraction, auxiliary power and radiated power have been scanned to scope the operational space and to derive a collection of candidate non-inductive flat-top points. The assumed auxiliary heating and current drive is either from electron cyclotron systems only or a combination of electron cyclotron and electron Bernstein waves. At present stages of transport modelling, there is a large uncertainty in overall confinement for relevant parameter regimes. For each of the two auxiliary heating and current drive systems scenarios, two candidate flat-top points have been developed based on different confinement assumptions, totalling to four operating points. A lower confinement assumption generally suggests operating points in high-density, high auxiliary power regimes, whereas higher confinement would allow access to a broader parameter regime in density and power while maintaining target fusion power performance.


title: Fracture of the $C$15 CaAl$_2$ Laves phase at small length-scales

abstract: The cubic $C$15 CaAl$_2$ Laves phase is a crucial brittle intermetallic precipitate in Mg-Al-Ca alloys. Although knowledge of the mechanical properties of coexisting phases is essential for improved alloy design, the fracture toughness is not yet studied experimentally due to the need for miniaturised testing. Here, micropillar splitting and microcantilever bending are used to experimentally determine the toughness of CaAl$_2$. It is found that the toughness value of ~1 $MPa\cdot\sqrt m$ from pillar splitting is largely insensitive to sample heat treatment, ion beam used for fabrication, micropillar diameter, and surface orientation. From nanoindentation supported by electron channelling contrast imaging and backscatter diffraction, fracture is observed to take place mostly on {011} planes. Atomistic fracture simulations on a model $C$15 Laves phase showed that the preference of {011} cleavage planes over the more energetically favourable {111} is due to lattice trapping and kinetics controlling fracture. Using rectangular microcantilever bending tests where the notch plane was misoriented to the closest possible {112} cleavage plane by ~8{\deg}, and the closest {001}, {011} and {111} plane by >20{\deg}, a toughness of ca. 2 $MPa\cdot\sqrt m$ was determined along with the electron microscopy observation of significant deviations of the crack path, demonstrating that preferential crystallographic cleavage planes determine the toughness in this material. Further investigation using pentagonal microcantilevers with precise alignment of the notch with the cleavage planes revealed similar fracture toughness values for different low-index planes. The results presented here are the first detailed experimental study of fracture toughness of the $C$15 CaAl$_2$ Laves phase, and can be understood in terms of crack plane and crack front dependent fracture toughness.


title: Deep-learning-assisted optical communication with discretized state space of structured light

abstract: The rich structure of transverse spatial modes of structured light has facilitated their extensive applications in quantum information and optical communication. The Laguerre-Gaussian (LG) modes, which carry a well-defined orbital angular momentum (OAM), consist of a complete orthogonal basis describing the transverse spatial modes of light. The application of OAM in free-space optical communication is restricted due to the experimentally limited OAM numbers and the complex OAM recognition methods. Here, we present a novel method that uses the advanced deep learning technique for LG modes recognition. By discretizing the spatial modes of structured light, we turn the OAM state regression into classification. A proof-of-principle experiment is also performed, showing that our method effectively categorizes OAM states with small training samples and high accuracy. By assigning each category a classical information, we further apply our approach to an image transmission task, demonstrating the ability to encode large data with low OAM number. This work opens up a new avenue for achieving high-capacity optical communication with low OAM number based on structured light.


title: Softmax parameterization of the occupation numbers for natural orbital functionals based on electron pairing approaches

abstract: Within the framework of natural orbital functional theory, having a convenient representation of the occupation numbers and orbitals becomes critical for the computational performance of the calculations. Recognizing this, we propose an innovative parametrization of the occupation numbers that takes advantage of the electron-pairing approach used in Piris natural orbital functionals through the adoption of the softmax function, a pivotal component in modern deep-learning models. Our approach not only ensures adherence to the N-representability of the first-order reduced density matrix (1RDM) but also significantly enhances the computational efficiency of 1RDM functional theory calculations. The effectiveness of this alternative parameterization approach was assessed using the W4-17-MR molecular set, which demonstrated faster and more robust convergence compared to previous implementations.


title: New constraints on Triton's atmosphere from the 6 October 2022 stellar occultation

abstract: The atmosphere of Triton was probed directly by observing a ground-based stellar occultation on 6 October 2022. This rare event yielded 23 positive light curves collected from 13 separate observation stations contributing to our campaign. The significance of this event lies in its potential to directly validate the modest pressure fluctuation on Triton, a phenomenon not definitively verified by previous observations, including only five stellar occultations, and the Voyager 2 radio occultation in 1989. Using an approach consistent with a comparable study, we precisely determined a surface pressure of $14.07_{-0.13}^{+0.21}~\mathrm{\mu bar}$ in 2022. This new pressure rules out any significant monotonic variation in pressure between 2017 and 2022 through direct observations, as it is in alignment with the 2017 value. Additionally, both the pressures in 2017 and 2022 align with the 1989 value. This provides further support for the conclusion drawn from the previous volatile transport model simulation, which is consistent with the observed alignment between the pressures in 1989 and 2017; that is to say, the pressure fluctuation is modest. Moreover, this conclusion suggests the existence of a northern polar cap extended down to at least $45^\circ$N$-60^\circ$N and the presence of nitrogen between $30^\circ$S and $0^\circ$.


title: Outlier Robust Multivariate Polynomial Regression

abstract: We study the problem of robust multivariate polynomial regression: let $p\colon\mathbb{R}^n\to\mathbb{R}$ be an unknown $n$-variate polynomial of degree at most $d$ in each variable. We are given as input a set of random samples $(\mathbf{x}_i,y_i) \in [-1,1]^n \times \mathbb{R}$ that are noisy versions of $(\mathbf{x}_i,p(\mathbf{x}_i))$. More precisely, each $\mathbf{x}_i$ is sampled independently from some distribution $\chi$ on $[-1,1]^n$, and for each $i$ independently, $y_i$ is arbitrary (i.e., an outlier) with probability at most $\rho < 1/2$, and otherwise satisfies $|y_i-p(\mathbf{x}_i)|\leq\sigma$. The goal is to output a polynomial $\hat{p}$, of degree at most $d$ in each variable, within an $\ell_\infty$-distance of at most $O(\sigma)$ from $p$. Kane, Karmalkar, and Price [FOCS'17] solved this problem for $n=1$. We generalize their results to the $n$-variate setting, showing an algorithm that achieves a sample complexity of $O_n(d^n\log d)$, where the hidden constant depends on $n$, if $\chi$ is the $n$-dimensional Chebyshev distribution. The sample complexity is $O_n(d^{2n}\log d)$, if the samples are drawn from the uniform distribution instead. The approximation error is guaranteed to be at most $O(\sigma)$, and the run-time depends on $\log(1/\sigma)$. In the setting where each $\mathbf{x}_i$ and $y_i$ are known up to $N$ bits of precision, the run-time's dependence on $N$ is linear. We also show that our sample complexities are optimal in terms of $d^n$. Furthermore, we show that it is possible to have the run-time be independent of $1/\sigma$, at the cost of a higher sample complexity.


title: Mild solutions to semilinear rough partial differential equations

abstract: We provide an existence and uniqueness result for mild solutions to rough partial differential equations in the framework of the semigroup approach. Applications to stochastic partial differential equations driven by infinite dimensional Wiener processes and infinite dimensional fractional Brownian motion are presented as well.


title: Residue Structures

abstract: We consider residue structures $R/G$ where $(G,+)$ is an additive subgroup of a ring $(R,+,\cdot)$, not necessarily an ideal. Special instances include Krasner's construction of quotient hyperfields, and Pumpluen's construction of nonassociative algebras. The residue construction, treated formally, satisfies the Noether isomorphism theorems, and also is cast in a broader categorical setting which includes categorical products, sums, and tensor products.


title: Eta Inversion: Designing an Optimal Eta Function for Diffusion-based Real Image Editing

abstract: Diffusion models have achieved remarkable success in the domain of text-guided image generation and, more recently, in text-guided image editing. A commonly adopted strategy for editing real images involves inverting the diffusion process to obtain a noisy representation of the original image, which is then denoised to achieve the desired edits. However, current methods for diffusion inversion often struggle to produce edits that are both faithful to the specified text prompt and closely resemble the source image. To overcome these limitations, we introduce a novel and adaptable diffusion inversion technique for real image editing, which is grounded in a theoretical analysis of the role of $\eta$ in the DDIM sampling equation for enhanced editability. By designing a universal diffusion inversion method with a time- and region-dependent $\eta$ function, we enable flexible control over the editing extent. Through a comprehensive series of quantitative and qualitative assessments, involving a comparison with a broad array of recent methods, we demonstrate the superiority of our approach. Our method not only sets a new benchmark in the field but also significantly outperforms existing strategies. Our code is available at https://github.com/furiosa-ai/eta-inversion


title: Unexpected subgroup schemes of PGL_{2,k} in characteristic 2

abstract: If the characteristic of a field $k$ is odd any infinitesimal group scheme of $PGL_{2,k}$ lifts to $SL_{2,k}$. In this paper, we prove that this is not true in characteristic $2$ and we give a complete description, up to isomorphism, of infinitesimal unipotent subgroup schemes of $PGL_{2,k}$. Also, the infinitesimal trigonalizable case is considered.


title: Climate Immobility Traps: A Household-Level Test

abstract: The complex relationship between climate shocks, migration, and adaptation hampers a rigorous understanding of the heterogeneous mobility outcomes of farm households exposed to climate risk. To unpack this heterogeneity, the analysis combines longitudinal multi-topic household survey data from Nigeria with a causal machine learning approach, tailored to a conceptual framework bridging economic migration theory and the poverty traps literature. The results show that pre-shock asset levels, in situ adaptive capacity, and cumulative shock exposure drive not just the magnitude but also the sign of the impact of agriculture-relevant weather anomalies on the mobility outcomes of farming households. While local adaptation acts as a substitute for migration, the roles played by wealth constraints and repeated shock exposure suggest the presence of climate-induced immobility traps.


title: MambaTalk: Efficient Holistic Gesture Synthesis with Selective State Space Models

abstract: Gesture synthesis is a vital realm of human-computer interaction, with wide-ranging applications across various fields like film, robotics, and virtual reality. Recent advancements have utilized the diffusion model and attention mechanisms to improve gesture synthesis. However, due to the high computational complexity of these techniques, generating long and diverse sequences with low latency remains a challenge. We explore the potential of state space models (SSMs) to address the challenge, implementing a two-stage modeling strategy with discrete motion priors to enhance the quality of gestures. Leveraging the foundational Mamba block, we introduce MambaTalk, enhancing gesture diversity and rhythm through multimodal integration. Extensive experiments demonstrate that our method matches or exceeds the performance of state-of-the-art models.


title: Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision

abstract: Current AI alignment methodologies rely on human-provided demonstrations or judgments, and the learned capabilities of AI systems would be upper-bounded by human capabilities as a result. This raises a challenging research question: How can we keep improving the systems when their capabilities have surpassed the levels of humans? This paper answers this question in the context of tackling hard reasoning tasks (e.g., level 4-5 MATH problems) via learning from human annotations on easier tasks (e.g., level 1-3 MATH problems), which we term as \textit{easy-to-hard generalization}. Our key insight is that an evaluator (reward model) trained on supervisions for easier tasks can be effectively used for scoring candidate solutions of harder tasks and hence facilitating easy-to-hard generalization over different levels of tasks. Based on this insight, we propose a novel approach to scalable alignment, which firstly trains the process-supervised reward models on easy problems (e.g., level 1-3), and then uses them to evaluate the performance of policy models on hard problems. We show that such \textit{easy-to-hard generalization from evaluators} can enable \textit{easy-to-hard generalizations in generators} either through re-ranking or reinforcement learning (RL). Notably, our process-supervised 7b RL model achieves an accuracy of 34.0\% on MATH500, despite only using human supervision on easy problems. Our approach suggests a promising path toward AI systems that advance beyond the frontier of human supervision.


title: Analysis of a continuous opinion and discrete action dynamics model coupled with an external observation dynamics

abstract: We consider a set of consumers in a city or town (who thus generate pollution) whose opinion is governed by a continuous opinion and discrete action (CODA) dynamics model. This dynamics is coupled with an observation signal dynamics, which defines the information the consumers have access to regarding the common pollution. We show that the external observation signal has a significant impact on the asymptotic behavior of the CODA model. When the coupling is strong, it induces either a chaotic behavior or convergence towards a limit cycle. When the coupling is weak, a more classical behavior characterized by local agreements in polarized clusters is observed. In both cases, conditions under which clusters of consumers don't change their actions are provided.Numerical examples are provided to illustrate the derived analytical results.


title: An Industrial Experience Report about Challenges from Continuous Monitoring, Improvement, and Deployment for Autonomous Driving Features

abstract: Using continuous development, deployment, and monitoring (CDDM) to understand and improve applications in a customer's context is widely used for non-safety applications such as smartphone apps or web applications to enable rapid and innovative feature improvements. Having demonstrated its potential in such domains, it may have the potential to also improve the software development for automotive functions as some OEMs described on a high level in their financial company communiqus. However, the application of a CDDM strategy also faces challenges from a process adherence and documentation perspective as required by safety-related products such as autonomous driving systems (ADS) and guided by industry standards such as ISO-26262 and ISO21448. There are publications on CDDM in safety-relevant contexts that focus on safety-critical functions on a rather generic level and thus, not specifically ADS or automotive, or that are concentrating only on software and hence, missing out the particular context of an automotive OEM: Well-established legacy processes and the need of their adaptations, and aspects originating from the role of being a system integrator for software/software, hardware/hardware, and hardware/software. In this paper, particular challenges from the automotive domain to better adopt CDDM are identified and discussed to shed light on research gaps to enhance CDDM, especially for the software development of safe ADS. The challenges are identified from today's industrial well-established ways of working by conducting interviews with domain experts and complemented by a literature study.


title: Covert Communication for Untrusted UAV-Assisted Wireless Systems

abstract: Wireless systems are of paramount importance for providing ubiquitous data transmission for smart cities. However, due to the broadcasting and openness of wireless channels, such systems face potential security challenges. UAV-assisted covert communication is a supporting technology for improving covert performances and has become a hot issue in the research of wireless communication security. This paper investigates the performance of joint covert and security communication in a tow-hop UAV-assisted wireless system, where a source transmits the covert message to a destination with the help of an untrusted UAV. We first design a transmission scheme such that use UAVs to assist in covert communications while ensuring the security of covert messages. Then, we develop a theoretical model to derive the expressions for the detection error probability of the warden and the covert and security rate, and the maximum covert and security rate is optimized by power control under a given covertness and security requirements. Finally, numerical results are provided to illustrate our theoretical analysis and the performance of covert and security communication in such systems.


title: Sunyaev-Zeldovich Signals from $L^*$ Galaxies: Observations, Analytics, and Simulations

abstract: We analyze measurements of the thermal Sunyaev-Zeldovich (tSZ) effect arising in the circumgalactic medium (CGM) of $L^*$ galaxies, reported by Bregman et al. 2022 and Das et al. 2023. In our analysis we use the Faerman et al. 2017 and Faerman et al. 2020 CGM models, a new power-law model (PLM), and the TNG100 simulation. For a given $M_{\rm vir}$, our PLM has four parameters; the fraction, $f_{\rm hCGM}$, of the halo baryon mass in hot CGM gas, the ratio, $\phi_T$, of the actual gas temperature at the virial radius to the virial temperature, and the power-law indicies, $a_{P,{\rm th}}$ and $a_n$ for the thermal electron pressure and the hydrogen nucleon density. The B+22 Compton-$y$ profile implies steep electron pressure slopes ($a_{P,{\rm th}}\simeq 2$). For isothermal conditions the temperature is at least $1.1\times 10^6$ K, with a hot CGM gas mass of up to $3.5\times 10^{11}$ M$_\odot$ for a virial mass of $2.75\times 10^{12}$ M$_\odot$. However, if isothermal the gas must be expanding out of the halos. An isentropic equation of state is favored for which hydrostatic equilibrium is possible. The B+22 and D+23 results are consistent with each other and with recent (0.5-2 keV) CGM X-ray observations by Zhang et al. 2024 of Milky Way mass systems. For $M_{\rm vir}\simeq 3\times 10^{12}$ M$_\odot$, the scaled Compton pressure integrals, $E(z)^{-2/3}Y_{500}/M_{\rm vir,12}^{5/3}$, lie in the narrow range, $2.5\times 10^{-4}$ to $5.0\times 10^{-4}$ kpc$^2$, for all three sets of observations. TNG100 underpredicts the tSZ parameters by factors $\sim 0.5$ dex for the $L^*$ galaxies, suggesting that the feedback strengths and CGM gas losses are overestimated in the simulated halos at these mass scales.


title: VIRUS-NeRF -- Vision, InfraRed and UltraSonic based Neural Radiance Fields

abstract: Autonomous mobile robots are an increasingly integral part of modern factory and warehouse operations. Obstacle detection, avoidance and path planning are critical safety-relevant tasks, which are often solved using expensive LiDAR sensors and depth cameras. We propose to use cost-effective low-resolution ranging sensors, such as ultrasonic and infrared time-of-flight sensors by developing VIRUS-NeRF - Vision, InfraRed, and UltraSonic based Neural Radiance Fields. Building upon Instant Neural Graphics Primitives with a Multiresolution Hash Encoding (Instant-NGP), VIRUS-NeRF incorporates depth measurements from ultrasonic and infrared sensors and utilizes them to update the occupancy grid used for ray marching. Experimental evaluation in 2D demonstrates that VIRUS-NeRF achieves comparable mapping performance to LiDAR point clouds regarding coverage. Notably, in small environments, its accuracy aligns with that of LiDAR measurements, while in larger ones, it is bounded by the utilized ultrasonic sensors. An in-depth ablation study reveals that adding ultrasonic and infrared sensors is highly effective when dealing with sparse data and low view variation. Further, the proposed occupancy grid of VIRUS-NeRF improves the mapping capabilities and increases the training speed by 46% compared to Instant-NGP. Overall, VIRUS-NeRF presents a promising approach for cost-effective local mapping in mobile robotics, with potential applications in safety and navigation tasks. The code can be found at https://github.com/ethz-asl/virus nerf.


title: A syntactic characterization of weakly Mal'tsev varieties

abstract: The notion of a weakly Mal'tsev category, as it was introduced in 2008 by the third author, is a generalization of the classical notion of a Mal'tsev category. It is well-known that a variety of universal algebras is a Mal'tsev category if and only if its theory admits a Mal'tsev term. In the main theorem of this paper, we prove a syntactic characterization of the varieties that are weakly Mal'tsev categories. We apply our result to the variety of distributive lattices which was known to be a weakly Mal'tsev category before. By a result of Z. Janelidze and the third author, a finitely complete category is weakly Mal'tsev if and only if any internal strong reflexive relation is an equivalence relation. In the last part of this paper, we give a syntactic characterization of those varieties in which any regular reflexive relation is an equivalence relation.


title: Laying the Foundation First? Investigating the Generalization from Atomic Skills to Complex Reasoning Tasks

abstract: Current language models have demonstrated their capability to develop basic reasoning, but struggle in more complicated reasoning tasks that require a combination of atomic skills, such as math word problem requiring skills like arithmetic and unit conversion. Previous methods either do not improve the inherent atomic skills of models or not attempt to generalize the atomic skills to complex reasoning tasks. In this paper, we first propose a probing framework to investigate whether the atomic skill can spontaneously generalize to complex reasoning tasks. Then, we introduce a hierarchical curriculum learning training strategy to achieve better skill generalization. In our experiments, we find that atomic skills can not spontaneously generalize to compositional tasks. By leveraging hierarchical curriculum learning, we successfully induce generalization, significantly improve the performance of open-source LMs on complex reasoning tasks. Promisingly, the skill generalization exhibit effective in cross-dataset and cross-domain scenarios. Complex reasoning can also help enhance atomic skills. Our findings offer valuable guidance for designing better training strategies for complex reasoning tasks.


title: What Sketch Explainability Really Means for Downstream Tasks

abstract: In this paper, we explore the unique modality of sketch for explainability, emphasising the profound impact of human strokes compared to conventional pixel-oriented studies. Beyond explanations of network behavior, we discern the genuine implications of explainability across diverse downstream sketch-related tasks. We propose a lightweight and portable explainability solution -- a seamless plugin that integrates effortlessly with any pre-trained model, eliminating the need for re-training. Demonstrating its adaptability, we present four applications: highly studied retrieval and generation, and completely novel assisted drawing and sketch adversarial attacks. The centrepiece to our solution is a stroke-level attribution map that takes different forms when linked with downstream tasks. By addressing the inherent non-differentiability of rasterisation, we enable explanations at both coarse stroke level (SLA) and partial stroke level (P-SLA), each with its advantages for specific downstream tasks.


title: Clinical Reasoning over Tabular Data and Text with Bayesian Networks

abstract: Bayesian networks are well-suited for clinical reasoning on tabular data, but are less compatible with natural language data, for which neural networks provide a successful framework. This paper compares and discusses strategies to augment Bayesian networks with neural text representations, both in a generative and discriminative manner. This is illustrated with simulation results for a primary care use case (diagnosis of pneumonia) and discussed in a broader clinical context.


title: Theta Dependence in the Presence of Massless Fermions

abstract: We show that if there are conserved flavor symmetries then some properties of a monopole can depend on $\theta$ even when a fermion is massless. The quantized nature of global symmetries and the fractional nature of the Witten effect can lead to interesting structure. Seen from another point of view, aside from possibly breaking baryon and lepton flavor symmetries (the Callan-Rubakov effect), monopole boundary conditions can also break the axial symmetry that otherwise could have been used to remove $\theta$ from the Lagrangian. As an example, in a toy model, we calculate the $\theta$ dependence of the mass of the monopole and properties of the non-zero charge density surrounding the monopole.


title: Tracking of charged particles with nanosecond lifetimes at LHCb

abstract: A method is presented to reconstruct charged particles with lifetimes between 10 ps and 10 ns, which considers a combination of their decay products and the partial tracks created by the initial charged particle. Using the $\Xi^-$ baryon as a benchmark, the method is demonstrated with simulated events and proton-proton collision data at $\sqrt{s}=13$ TeV, corresponding to an integrated luminosity of 2.0 fb${}^{-1}$ collected with the LHCb detector in 2018. Significant improvements in the angular resolution and the signal purity are obtained. The method is implemented as part of the LHCb Run 3 event trigger in a set of requirements to select detached hyperons. This is the first demonstration of the applicability of this approach at the LHC, and the first to show its scaling with instantaneous luminosity.


title: Artificial Bugs for Crowdsearch

abstract: Bug bounty programs, where external agents are invited to search and report vulnerabilities (bugs) in exchange for rewards (bounty), have become a major tool for companies to improve their systems. We suggest augmenting such programs by inserting artificial bugs to increase the incentives to search for real (organic) bugs. Using a model of crowdsearch, we identify the efficiency gains by artificial bugs, and we show that for this, it is sufficient to insert only one artificial bug. Artificial bugs are particularly beneficial, for instance, if the designer places high valuations on finding organic bugs or if the budget for bounty is not sufficiently high. We discuss how to implement artificial bugs and outline their further benefits.


title: Dynamical pressure boundary condition for weakly-compressible smoothed particle hydrodynamics

abstract: This paper introduces a novel dynamical pressure boundary condition for weakly-compressible smoothed particle hydrodynamics (WCSPH). Unlike previous methods that rely on indirect approaches or ghost particles, our method integrates the dynamical boundary pressure directly into the SPH approximation of the pressure gradient on near-boundary particles. Additionally, we develop a meshfree bidirectional in-/outflow buffer by periodically relabelling buffer particles at each time step, a concept that has not been explored before. This simple yet effective buffer facilitates the simulation of both uni- and bidirectional flows, especially those with mixed in-/outflow boundary conditions. We validate the accuracy and convergence of our method through benchmark cases with available analytical solutions. Furthermore, we demonstrate its versatility in hemodynamic simulations by investigating generic carotid and aorta flows with the Windkessel model, paving the way for studying the cardiovascular system within a unified meshfree computational framework.


title: SpikeReveal: Unlocking Temporal Sequences from Real Blurry Inputs with Spike Streams

abstract: Reconstructing a sequence of sharp images from the blurry input is crucial for enhancing our insights into the captured scene and poses a significant challenge due to the limited temporal features embedded in the image. Spike cameras, sampling at rates up to 40,000 Hz, have proven effective in capturing motion features and beneficial for solving this ill-posed problem. Nonetheless, existing methods fall into the supervised learning paradigm, which suffers from notable performance degradation when applied to real-world scenarios that diverge from the synthetic training data domain. Moreover, the quality of reconstructed images is capped by the generated images based on motion analysis interpolation, which inherently differs from the actual scene, affecting the generalization ability of these methods in real high-speed scenarios. To address these challenges, we propose the first self-supervised framework for the task of spike-guided motion deblurring. Our approach begins with the formulation of a spike-guided deblurring model that explores the theoretical relationships among spike streams, blurry images, and their corresponding sharp sequences. We subsequently develop a self-supervised cascaded framework to alleviate the issues of spike noise and spatial-resolution mismatching encountered in the deblurring model. With knowledge distillation and re-blurring loss, we further design a lightweight deblur network to generate high-quality sequences with brightness and texture consistency with the original input. Quantitative and qualitative experiments conducted on our real-world and synthetic datasets with spikes validate the superior generalization of the proposed framework. Our code, data and trained models will be available at \url{https://github.com/chenkang455/S-SDM}.


title: Tamed loops: A try for non-renormalizable Einstein gravity in UV-free scheme

abstract: How to describe loop corrections is a fundamental challenge in the quantization of Einstein gravity. In this paper, we give it a try in UV-free scheme, and the result seems to be effective for graviton loops. This indicates that both loops of the renormalizable Standard Model and the non-renormalizable Einstein gravity can be described by the method of UV-free scheme.


title: Rectifying Demonstration Shortcut in In-Context Learning

abstract: Large language models (LLMs) are able to solve various tasks with only a few demonstrations utilizing their in-context learning (ICL) abilities. However, LLMs often rely on their pre-trained semantic priors of demonstrations rather than on the input-label relationships to proceed with ICL prediction. In this work, we term this phenomenon as the 'Demonstration Shortcut'. While previous works have primarily focused on improving ICL prediction results for predefined tasks, we aim to rectify the Demonstration Shortcut, thereby enabling the LLM to effectively learn new input-label relationships from demonstrations. To achieve this, we introduce In-Context Calibration, a demonstration-aware calibration method. We evaluate the effectiveness of the proposed method in two settings: (1) the Original ICL Task using the standard label space and (2) the Task Learning setting, where the label space is replaced with semantically unrelated tokens. In both settings, In-Context Calibration demonstrates substantial improvements, with results generalized across three LLM families (OPT, GPT, and Llama2) under various configurations.


title: Gravitational waves from glitch-induced f-mode oscillations in quark and neutron stars

abstract: Matter in compact stars is dense enough that transient events within the star could have sufficiently high energies to produce detectable gravitational waves (GWs). These GWs could be used to constrain the equation of state (EoS) for matter in the star and could reveal that there is more than one type of EoS at play in the population, implying that multiple types of compact stars exist. One of these types could be quark stars, composed almost entirely of stable quark matter, and observing GWs is a way to test for the strange matter EoS. Here we explore the possibility that, if fundamental (f-) mode oscillations in pulsars are induced by a pulsar glitch, then these oscillations might produce detectable GWs. We use the existing population of pulsars and their glitches, as well as a much larger synthesized population, along with 15 EoSs (8 for neutron stars and 7 for quark stars) to generate frequencies, damping times, and GW strengths for each. We find that of the EoSs examined, all quark star EoSs produce narrower distributions of f-mode frequency than neutron star EoSs. This result, along with other elements of the data, could be used to differentiate between GWs (or other signals from f-modes) originating from neutron stars and quark stars and thus could confirm the existence of quark stars. We also find that GW astronomy is a potentially viable method for detecting a larger population of pulsars which are not observable electromagnetically and that future GW observatories have the possibility to greatly expand this capability.


title: Hyper-CL: Conditioning Sentence Representations with Hypernetworks

abstract: While the introduction of contrastive learning frameworks in sentence representation learning has significantly contributed to advancements in the field, it still remains unclear whether state-of-the-art sentence embeddings can capture the fine-grained semantics of sentences, particularly when conditioned on specific perspectives. In this paper, we introduce Hyper-CL, an efficient methodology that integrates hypernetworks with contrastive learning to compute conditioned sentence representations. In our proposed approach, the hypernetwork is responsible for transforming pre-computed condition embeddings into corresponding projection layers. This enables the same sentence embeddings to be projected differently according to various conditions. Evaluation on two representative conditioning benchmarks, namely conditional semantic text similarity and knowledge graph completion, demonstrates that Hyper-CL is effective in flexibly conditioning sentence representations, showcasing its computational efficiency at the same time. We also provide a comprehensive analysis of the inner workings of our approach, leading to a better interpretation of its mechanisms.


title: On using Machine Learning Algorithms for Motorcycle Collision Detection

abstract: Globally, motorcycles attract vast and varied users. However, since the rate of severe injury and fatality in motorcycle accidents far exceeds passenger car accidents, efforts have been directed toward increasing passive safety systems. Impact simulations show that the risk of severe injury or death in the event of a motorcycle-to-car impact can be greatly reduced if the motorcycle is equipped with passive safety measures such as airbags and seat belts. For the passive safety systems to be activated, a collision must be detected within milliseconds for a wide variety of impact configurations, but under no circumstances may it be falsely triggered. For the challenge of reliably detecting impending collisions, this paper presents an investigation towards the applicability of machine learning algorithms. First, a series of simulations of accidents and driving operation is introduced to collect data to train machine learning classification models. Their performance is henceforth assessed and compared via multiple representative and application-oriented criteria.


title: Toroidal orders and related phenomena in nonmagnetic and magnetic materials

abstract: In this short article, we overview a concept of electronic toroidal multipoles, and their ordering with associated physical properties in non-magnetic and magnetic materials. The toroidal multipoles are introduced as microscopic electronic variables in view of symmetry and connection to Dirac theory. They are classified according to crystallographic and magnetic point groups, which allows us to discuss various possible cross correlations in a transparent and unified manner. The representative examples of toroidal orders and related phenomena, and the mutual relationship between these orders are given, with focusing on monopoles and dipoles. The concept of toroidal multipoles would promote future studies toward observations and identifications of unknown electronic phases and their related physical phenomena.


title: Anomaly Detection by Adapting a pre-trained Vision Language Model

abstract: Recently, large vision and language models have shown their success when adapting them to many downstream tasks. In this paper, we present a unified framework named CLIP-ADA for Anomaly Detection by Adapting a pre-trained CLIP model. To this end, we make two important improvements: 1) To acquire unified anomaly detection across industrial images of multiple categories, we introduce the learnable prompt and propose to associate it with abnormal patterns through self-supervised learning. 2) To fully exploit the representation power of CLIP, we introduce an anomaly region refinement strategy to refine the localization quality. During testing, the anomalies are localized by directly calculating the similarity between the representation of the learnable prompt and the image. Comprehensive experiments demonstrate the superiority of our framework, e.g., we achieve the state-of-the-art 97.5/55.6 and 89.3/33.1 on MVTec-AD and VisA for anomaly detection and localization. In addition, the proposed method also achieves encouraging performance with marginal training data, which is more challenging.


title: Layer 2 be or Layer not 2 be: Scaling on Uniswap v3

abstract: This paper studies the market structure impact of cheaper and faster chains on the Uniswap v3 Protocol. The Uniswap Protocol is the largest decentralized application on Ethereum by both gas and blockspace used, and user behaviors of the protocol are very sensitive to fluctuations in gas prices and market structure due to the economic factors of the Protocol. We focus on the chains where Uniswap v3 has the most activity, giving us the best comparison to Ethereum mainnet. Because of cheaper gas and lower block times, we find evidence that the majority of swaps get better gas-adjusted execution on these chains, liquidity providers are more capital efficient, and liquidity providers have increased fee returns from more arbitrage. We also present evidence that two second block times may be too long for optimal liquidity provider returns, compared to first come, first served. We argue that many of the current drawbacks with AMMs may be due to chain dynamics and are vastly improved with cheaper and faster transactions


title: A mixed-order quasicontinuum approach for beam-based architected materials with application to fracture

abstract: Predicting the mechanics of large structural networks, such as beam-based architected materials, requires a multiscale computational strategy that preserves information about the discrete structure while being applicable to large assemblies of struts. Especially the fracture properties of such beam lattices necessitate a two-scale modeling strategy, since the fracture toughness depends on discrete beam failure events, while the application of remote loads requires large simulation domains. As classical homogenization techniques fail in the absence of a separation of scales at the crack tip, we present a concurrent multiscale technique: a fully-nonlocal quasicontinuum (QC) multi-lattice formulation for beam networks, based on a conforming mesh. Like the original atomistic QC formulation, we maintain discrete resolution where needed (such as around a crack tip) while efficiently coarse-graining in the remaining simulation domain. A key challenge is a suitable model in the coarse-grained domain, where classical QC uses affine interpolations. This formulation fails in bending-dominated lattices, as it overconstrains the lattice by preventing bending without stretching of beams. Therefore, we here present a beam QC formulation based on mixed-order interpolation in the coarse-grained region -- combining the efficiency of linear interpolation where possible with the accuracy advantages of quadratic interpolation where needed. This results in a powerful computational framework, which, as we demonstrate through our validation and benchmark examples, overcomes the deficiencies of previous QC formulations and enables, e.g., the prediction of the fracture toughness and the diverse nature of stress distributions of stretching- and bending-dominated beam lattices in two and three dimensions.


title: The Development of Investment Planning Models for the United Kingdoms Wind and Solar Fleets

abstract: Previous work has resulted in the development of an energy model able to calculate wind and solar fleet efficiencies. However, for investment planning purposes, it is necessary to calculate from the lowest economically acceptable efficiencies how much wind and solar generation would be economically justified. The paper explains how this objective has been achieved with arrays (investment planning tables) created after carrying out a structured investigation of the behaviour of the electricity system over the whole of its operational range. The tables are then applied to National Grid prediction of the size and composition of the system in the year 2035. A conclusion is reached that wind and solar generation will only be able to supply about 70% of electrical demand, the other 30% being provided by dispatchable sources of generation, which must be sufficiently fast acting to maintain electricity system stability, such as the use of combined cycle gas turbines. This limit on deployment of wind and solar generation restricts their ability to decarbonise the electricity system and is likely to lead in 2035 to a residual of 72 million tonnes per annum of carbon dioxide emissions which wind and solar generations will be unable to address


title: On the Gotzmann threshold of monomials

abstract: Let $R_n=K[x_1,\dots,x_n]$ be the $n$-variable polynomial ring over a field $K$. Let $S_n$ denote the set of monomials in $R_n$. A monomial $u \in S_n$ is a \textit{Gotzmann monomial} if the Borel-stable monomial ideal $\langle u \rangle$ it generates in $R_n$ is a Gotzmann ideal. A longstanding open problem is to determine all Gotzmann monomials in $R_n$. Given $u_0 \in S_{n-1}$, its \textit{Gotzmann threshold} is the unique nonnegative integer $t_0=\tau_n(u_0)$ such that $u_0x_n^t$ is a Gotzmann monomial in $R_n$ if and only if $t \ge t_0$. Currently, the function $\tau_n$ is exactly known for $n \le 4$ only. We present here an efficient procedure to determine $\tau_n(u_0)$ for all $n$ and all $u_0 \in S_{n-1}$. As an application, in the critical case $u_0=x_2^d$, we determine $\tau_5(x_2^d)$ for all $d$ and we conjecture that for $n \ge 6$, $\tau_n(x_2^d)$ is a polynomial in $d$ of degree $2^{n-2}$ and dominant term equal to that of the $(n-2)$-iterated binomial coefficient $$ \binom {\binom {\binom d2}2}{\stackrel{\cdots}2}. $$


title: From Skepticism to Acceptance: Simulating the Attitude Dynamics Toward Fake News

abstract: In the digital era, the rapid propagation of fake news and rumors via social networks brings notable societal challenges and impacts public opinion regulation. Traditional fake news modeling typically forecasts the general popularity trends of different groups or numerically represents opinions shift. However, these methods often oversimplify real-world complexities and overlook the rich semantic information of news text. The advent of large language models (LLMs) provides the possibility of modeling subtle dynamics of opinion. Consequently, in this work, we introduce a Fake news Propagation Simulation framework (FPS) based on LLM, which studies the trends and control of fake news propagation in detail. Specifically, each agent in the simulation represents an individual with a distinct personality. They are equipped with both short-term and long-term memory, as well as a reflective mechanism to mimic human-like thinking. Every day, they engage in random opinion exchanges, reflect on their thinking, and update their opinions. Our simulation results uncover patterns in fake news propagation related to topic relevance, and individual traits, aligning with real-world observations. Additionally, we evaluate various intervention strategies and demonstrate that early and appropriately frequent interventions strike a balance between governance cost and effectiveness, offering valuable insights for practical applications. Our study underscores the significant utility and potential of LLMs in combating fake news.


title: A Reinforcement Learning Approach to Dairy Farm Battery Management using Q Learning

abstract: Dairy farming consumes a significant amount of energy, making it an energy-intensive sector within agriculture. Integrating renewable energy generation into dairy farming could help address this challenge. Effective battery management is important for integrating renewable energy generation. Managing battery charging and discharging poses significant challenges because of fluctuations in electrical consumption, the intermittent nature of renewable energy generation, and fluctuations in energy prices. Artificial Intelligence (AI) has the potential to significantly improve the use of renewable energy in dairy farming, however, there is limited research conducted in this particular domain. This research considers Ireland as a case study as it works towards attaining its 2030 energy strategy centered on the utilization of renewable sources. This study proposes a Q-learning-based algorithm for scheduling battery charging and discharging in a dairy farm setting. This research also explores the effect of the proposed algorithm by adding wind generation data and considering additional case studies. The proposed algorithm reduces the cost of imported electricity from the grid by 13.41%, peak demand by 2%, and 24.49% when utilizing wind generation. These results underline how reinforcement learning is highly effective in managing batteries in the dairy farming sector.