title: Approximating TSP Variants Using a Bridge Lemma

abstract: We give improved approximations for two metric \textsc{Traveling Salesman Problem} (TSP) variants. In \textsc{Ordered TSP} (OTSP) we are given a linear ordering on a subset of nodes $o_1, \ldots, o_k$. The TSP solution must have that $o_{i+1}$ is visited at some point after $o_i$ for each $1 \leq i < k$. This is the special case of \textsc{Precedence-Constrained TSP} ($PTSP$) in which the precedence constraints are given by a single chain on a subset of nodes. In \textsc{$k$-Person TSP Path} (k-TSPP), we are given pairs of nodes $(s_1,t_1), \ldots, (s_k,t_k)$. The goal is to find an $s_i$-$t_i$ path with minimum total cost such that every node is visited by at least one path. We obtain a $3/2 + e^{-1} < 1.878$ approximation for OTSP, the first improvement over a trivial $\alpha+1$ approximation where $\alpha$ is the current best TSP approximation. We also obtain a $1 + 2 \cdot e^{-1/2} < 2.214$ approximation for k-TSPP, the first improvement over a trivial $3$-approximation. These algorithms both use an adaptation of the Bridge Lemma that was initially used to obtain improved \textsc{Steiner Tree} approximations [Byrka et al., 2013]. Roughly speaking, our variant states that the cost of a cheapest forest rooted at a given set of terminal nodes will decrease by a substantial amount if we randomly sample a set of non-terminal nodes to also become terminals such provided each non-terminal has a constant probability of being sampled. We believe this view of the Bridge Lemma will find further use for improved vehicle routing approximations beyond this paper.


title: Upper bounds for the homogenization problem in nonlinear elasticity: the incompressible case

abstract: We consider periodic homogenization of hyperelastic models incorporating incompressible behavior via the constraint $\det(\nabla u)=1$. We show that the 'usual' homogenized integral functional $\int W_{\rm hom}(\nabla u)\,dx$, where $W_{\rm hom}$ is the standard multicell-formula of non-convex homogenization restricted to volume preserving deformations, yields an upper bound for the $\Gamma$-limit as the scale of periodicity tends to zero.


title: Epitaxial RuO$_2$ and IrO$_2$ films by pulsed laser deposition on TiO$_2$(110)

abstract: We present a systematic growth study of epitaxial RuO$_2$(110) and IrO$_2$(110) on TiO$_2$(110) substrates by pulsed laser deposition. We describe the main challenges encountered in the growth process, such as a deteriorating material flux due to laser induced target metallization or the delicate balance of under- vs over-oxidation of the 'stubborn' Ru and Ir metals. We identify growth temperatures and oxygen partial pressures of 700 K, $1\times 10^{-3}$ mbar for RuO$_2$ and 770 K, $5\times 10^{-4}$ mbar for IrO$_2$ to optimally balance between metal oxidation and particle mobility during nucleation. In contrast to IrO$_2$, RuO$_2$ exhibits layer-by-layer growth up to 5 unit cells if grown at high deposition rates. At low deposition rates, the large lattice mismatch between film and substrate fosters initial 3D island growth and cluster formation. In analogy to reports for RuO$_2$ based on physical vapor deposition, we find these islands to eventually merge and growth to continue in a step flow mode, resulting in highly crystalline, flat, stoichiometric films of RuO$_2$(110) (up to 30 nm thickness) and IrO$_2$(110) (up to 13 nm thickness) with well defined line defects.


title: Predictive design of two-dimensional electrides with tunable magnetic, topological, and superconducting properties

abstract: Two-dimensional materials are of interest for their exotic properties, for example, superconductivity, and highly tunability. Focusing on phonon-mediating superconductivity, one would propose to promote critical temperature by substituting heavy elements by lighter ones, in order to increase Debye temperature. Following recent experimental progress in transition-metal nitrides and theoretically revealing W$_2$N$_3$ as a candidate for high-temperature superconductivity, we investigate the possibility of two-dimensional superconductivity through surface engineering on MoN$_2$. Using density functional theory calculation, we found multigap superconductivity at temperature up to 36K within anisotropic Eliashberg equation in passivated electride-like surfaces. We also demonstrate their possibility to sustain topological superconductivity with strong spin-orbital coupling.


title: Measuring Hawking Radiation from Black Hole Morsels in Astrophysical Black Hole Mergers

abstract: We show that it is possible to observe the Hawking radiation emitted by small black holes assumed to form in catastrophic astrophysical events such as black hole mergers. Gamma ray bursts in the TeV range are unique footprints of these asteroid-mass black hole morsels ejected during the merger. The time delay of the gamma ray bursts from the gravitational wave event is correlated to the mass distribution of the morsels. The integrated mass of the morsels allowed by the unaccounted merger mass leads to a Hawking induced radiation in photons that is above the sensitivity of atmospheric Cherenkov telescopes such as HESS, LHAASO and HAWC.


title: Explaining Expert Search and Team Formation Systems with ExES

abstract: Expert search and team formation systems operate on collaboration networks, with nodes representing individuals, labeled with their skills, and edges denoting collaboration relationships. Given a keyword query corresponding to the desired skills, these systems identify experts that best match the query. However, state-of-the-art solutions to this problem lack transparency. To address this issue, we propose ExES, a tool designed to explain expert search and team formation systems using factual and counterfactual methods from the field of explainable artificial intelligence (XAI). ExES uses factual explanations to highlight important skills and collaborations, and counterfactual explanations to suggest new skills and collaborations to increase the likelihood of being identified as an expert. Towards a practical deployment as an interactive explanation tool, we present and experimentally evaluate a suite of pruning strategies to speed up the explanation search. In many cases, our pruning strategies make ExES an order of magnitude faster than exhaustive search, while still producing concise and actionable explanations.


title: Centralized vs Decentralized Monitors for Hyperproperties

abstract: This paper focuses on the runtime verification of hyperproperties expressed in HypermuHML, an expressive yet simple logic for describing properties of sets of traces. To this end, we first consider a simple language of monitors that can observe sets of system executions and report verdicts w.r.t. a given HypermuHML formula. In this setting, a unique omniscient monitor observes all system traces, and, in this sense, it is 'centralized'. However, in a possibly distributed system, having a centralized entity is undesirable; hence, we also provide a language for 'decentralized' monitors, where each trace has its own monitor, and monitors for different traces can yield a unique verdict by communicating their observations. For both the centralized and the decentralized settings, we provide a synthesis procedure that, given a formula, yields a monitor that is correct (i.e., sound and violation complete). A key step in proving the correctness of the synthesis for decentralized monitors is a result showing that, for each formula, the synthesized centralized monitor and its corresponding decentralized one are weakly bisimilar for a suitable notion of weak bisimulation.


title: Asymptotic analysis at any order of Helmholtz's problem in a corner with a thin layer: an algebraic approach

abstract: We consider the Helmholtz equation in an angular sector partially covered by a homogeneous layer of small thickness, denoted $\varepsilon$. We propose in this work an asymptotic expansion of the solution with respect to $\varepsilon$ at any order. This is done using matched asymptotic expansion, which consists here in introducing different asymptotic expansions of the solution in three subdomains: the vicinity of the corner, the layer and the rest of the domain. These expansions are linked through matching conditions. The presence of the corner makes these matching conditions delicate to derive because the fields have singular behaviors. Our approach is to reformulate these matching conditions purely algebraically by writing all asymptotic expansions as formal series. By using algebraic calculus we reduce the matching conditions to scalar relations linking the singular behaviors of the fields. These relations have a convolutive structure and involve some coefficients that can be computed analytically. Our asymptotic expansion is justified rigorously with error estimates.


title: Investigating Persuasion Techniques in Arabic: An Empirical Study Leveraging Large Language Models

abstract: In the current era of digital communication and widespread use of social media, it is crucial to develop an understanding of persuasive techniques employed in written text. This knowledge is essential for effectively discerning accurate information and making informed decisions. To address this need, this paper presents a comprehensive empirical study focused on identifying persuasive techniques in Arabic social media content. To achieve this objective, we utilize Pre-trained Language Models (PLMs) and leverage the ArAlEval dataset, which encompasses two tasks: binary classification to determine the presence or absence of persuasion techniques, and multi-label classification to identify the specific types of techniques employed in the text. Our study explores three different learning approaches by harnessing the power of PLMs: feature extraction, fine-tuning, and prompt engineering techniques. Through extensive experimentation, we find that the fine-tuning approach yields the highest results on the aforementioned dataset, achieving an f1-micro score of 0.865 and an f1-weighted score of 0.861. Furthermore, our analysis sheds light on an interesting finding. While the performance of the GPT model is relatively lower compared to the other approaches, we have observed that by employing few-shot learning techniques, we can enhance its results by up to 20\%. This offers promising directions for future research and exploration in this topic\footnote{Upon Acceptance, the source code will be released on GitHub.}.


title: Featuring nuanced electronic band structure in gapped multilayer graphene

abstract: Moir\'e systems featuring flat electronic bands exhibit a vast landscape of emergent exotic quantum states, making them one of the resourceful platforms in condensed matter physics in recent times. Tuning these systems via twist angle and the electric field greatly enhances our comprehension of their strongly correlated ground states. Here, we report a technique to investigate the nuanced intricacies of band structures in dual-gated multilayer graphene systems. We utilize the Landau levels of a decoupled monolayer graphene to extract the electric field-dependent bilayer graphene charge neutrality point gap. Then, we extend this method to analyze the evolution of the band gap and the flat bandwidth in twisted mono-bilayer graphene. The band gap maximizes at the same displacement field where the flat bandwidth minimizes, indicating the strongest electron-electron correlation, which is supported by directly observing the emergence of a strongly correlated phase. Moreover, we extract integer and fractional gaps to further demonstrate the strength of this method. Our technique gives a new perspective and paves the way for improving the understanding of electronic band structure in versatile flat band systems.


title: The Recovery of $\lambda$ from a Hilbert Polynomial

abstract: In the study of Hilbert schemes, the integer partition $\lambda$ helps researchers identify some geometric and combinatorial properties of the scheme in question. To aid researchers in extracting such information from a Hilbert polynomial, we describe an efficient algorithm which can identify if $p(x)\in\mathbb{Q}[x]$ is a Hilbert polynomial and if so, recover the integer partition $\lambda$ associated with it.


title: Regulated functions. *-integral

abstract: The present book gives a systematic overview of function theory and the theory of Stieltjes integral. In particular, we give a detailed account of the theory of functions of bounded variation and of the theory of regulated functions (= functions having finite one-sided limits at each point of their domain). We also present a detailed discussion of $\sigma$-continuous functions (= functions having at most countable set of points of discontinuity) and of the theory of Riemann-Stieltjes integral. We introduce the notion of *-integral, which allows us to integrate $\sigma$-continuous functions over functions of bounded variation. The limit theorems for *-integral are somewhat more convenient than their analogues for the general Lebesgue-Stieltjes integral. Some applications of *-integral are also discussed.


title: Keep the Momentum: Conservation Laws beyond Euclidean Gradient Flows

abstract: Conservation laws are well-established in the context of Euclidean gradient flow dynamics, notably for linear or ReLU neural network training. Yet, their existence and principles for non-Euclidean geometries and momentum-based dynamics remain largely unknown. In this paper, we characterize "all" conservation laws in this general setting. In stark contrast to the case of gradient flows, we prove that the conservation laws for momentum-based dynamics exhibit temporal dependence. Additionally, we often observe a "conservation loss" when transitioning from gradient flow to momentum dynamics. Specifically, for linear networks, our framework allows us to identify all momentum conservation laws, which are less numerous than in the gradient flow case except in sufficiently over-parameterized regimes. With ReLU networks, no conservation law remains. This phenomenon also manifests in non-Euclidean metrics, used e.g. for Nonnegative Matrix Factorization (NMF): all conservation laws can be determined in the gradient flow context, yet none persists in the momentum case.


title: Reentrant multiple-$\mathbf{q}$ magnetic order and a "spin-cholesteric" phase in Sr$_3$Fe$_2$O$_7$

abstract: Spin-nematic and spin-smectic phases have been reported in magnetic materials, which break rotational symmetry while preserving translational symmetry along certain directions. However, until now the analogy to liquid crystals remained incomplete because no magnetic analog of cholesteric order was known. Here we show that the bilayer perovskite Sr$_3$Fe$_2$O$_7$, previously believed to adopt a simple single-$\mathbf{q}$ spin-helical order, hosts two distinct types of multi-$\mathbf{q}$ spin textures and the first "spin-cholesteric". Its ground state represents a novel multi-$\mathbf{q}$ spin texture with unequally intense spin modulations at the two ordering vectors. This is followed in temperature by the new "spin-cholesteric" phase with spontaneously broken chiral symmetry, in which the translational symmetry is broken only along one of the crystal directions while the weaker orthogonal modulation melts, giving rise to intense short-range dynamical fluctuations. Shortly before the transition to the paramagnetic state, vortex-crystal order spanned by two equivalent $\mathbf{q}$ vectors emerges. The "spin-cholesteric" phase completes the spin analogy with liquid crystals and renders Sr$_3$Fe$_2$O$_7$ a touchstone for studying transitions among multiple-$\mathbf{q}$ spin textures in a centrosymmetric host.


title: Block Encodings of Discrete Subgroups on Quantum Computer

abstract: We introduce a block encoding method for mapping discrete subgroups to qubits on a quantum computer. This method is applicable to general discrete groups, including crystal-like subgroups such as $\mathbb{BI}$ of $SU(2)$ and $\mathbb{V}$ of $SU(3)$. We detail the construction of primitive gates -- the inversion gate, the group multiplication gate, the trace gate, and the group Fourier gate -- utilizing this encoding method for $\mathbb{BT}$ and for the first time $\mathbb{BI}$ group. We also provide resource estimations to extract the gluon viscosity. The inversion gates for $\mathbb{BT}$ and $\mathbb{BI}$ are benchmarked on the $\texttt{Baiwang}$ quantum computer with estimated fidelities of $40^{+5}_{-4}\%$ and $4^{+5}_{-3}\%$ respectively.


title: DARK: Denoising, Amplification, Restoration Kit

abstract: This paper introduces a novel lightweight computational framework for enhancing images under low-light conditions, utilizing advanced machine learning and convolutional neural networks (CNNs). Traditional enhancement techniques often fail to adequately address issues like noise, color distortion, and detail loss in challenging lighting environments. Our approach leverages insights from the Retinex theory and recent advances in image restoration networks to develop a streamlined model that efficiently processes illumination components and integrates context-sensitive enhancements through optimized convolutional blocks. This results in significantly improved image clarity and color fidelity, while avoiding over-enhancement and unnatural color shifts. Crucially, our model is designed to be lightweight, ensuring low computational demand and suitability for real-time applications on standard consumer hardware. Performance evaluations confirm that our model not only surpasses existing methods in enhancing low-light images but also maintains a minimal computational footprint.


title: Retrievable Domain-Sensitive Feature Memory for Multi-Domain Recommendation

abstract: With the increase in the business scale and number of domains in online advertising, multi-domain ad recommendation has become a mainstream solution in the industry. The core of multi-domain recommendation is effectively modeling the commonalities and distinctions among domains. Existing works are dedicated to designing model architectures for implicit multi-domain modeling while overlooking an in-depth investigation from a more fundamental perspective of feature distributions. This paper focuses on features with significant differences across various domains in both distributions and effects on model predictions. We refer to these features as domain-sensitive features, which serve as carriers of domain distinctions and are crucial for multi-domain modeling. Experiments demonstrate that existing multi-domain modeling methods may neglect domain-sensitive features, indicating insufficient learning of domain distinctions. To avoid this neglect, we propose a domain-sensitive feature attribution method to identify features that best reflect domain distinctions from the feature set. Further, we design a memory architecture that extracts domain-specific information from domain-sensitive features for the model to retrieve and integrate, thereby enhancing the awareness of domain distinctions. Extensive offline and online experiments demonstrate the superiority of our method in capturing domain distinctions and improving multi-domain recommendation performance.


title: Anisotropy factor spectra for weakly allowed electronic transitions in chiral ketones

abstract: Quantum chemical calculations of one-photon absorption, electronic circular dichroism and anisotropy factor spectra for the A-band transition of fenchone, camphor and 3-methylcyclopentanone (3MCP) are reported. While the only weakly allowed nature of the transition leads to comparatively large anisotropies, a proper theoretical description of the absorption for such a transition requires to account for non-Condon effects. We present experimental data for the anisotropy of 3MCP in the liquid phase and show that corresponding Herzberg-Teller corrections are critical to reproduce the main experimental features. The results obtained with our comprehensive theoretical model highlight the importance of the vibrational degree of freedom, paving the way for a deeper understanding of the dynamics in electronic circular dichroism.


title: Decentralized Federated Learning Over Imperfect Communication Channels

abstract: This paper analyzes the impact of imperfect communication channels on decentralized federated learning (D-FL) and subsequently determines the optimal number of local aggregations per training round, adapting to the network topology and imperfect channels. We start by deriving the bias of locally aggregated D-FL models under imperfect channels from the ideal global models requiring perfect channels and aggregations. The bias reveals that excessive local aggregations can accumulate communication errors and degrade convergence. Another important aspect is that we analyze a convergence upper bound of D-FL based on the bias. By minimizing the bound, the optimal number of local aggregations is identified to balance a trade-off with accumulation of communication errors in the absence of knowledge of the channels. With this knowledge, the impact of communication errors can be alleviated, allowing the convergence upper bound to decrease throughout aggregations. Experiments validate our convergence analysis and also identify the optimal number of local aggregations on two widely considered image classification tasks. It is seen that D-FL, with an optimal number of local aggregations, can outperform its potential alternatives by over 10% in training accuracy.


title: Implicit-ARAP: Efficient Handle-Guided Deformation of High-Resolution Meshes and Neural Fields via Local Patch Meshing

abstract: In this work, we present the local patch mesh representation for neural signed distance fields. This technique allows to discretize local regions of the level sets of an input SDF by projecting and deforming flat patch meshes onto the level set surface, using exclusively the SDF information and its gradient. Our analysis reveals this method to be more accurate than the standard marching cubes algorithm for approximating the implicit surface. Then, we apply this representation in the setting of handle-guided deformation: we introduce two distinct pipelines, which make use of 3D neural fields to compute As-Rigid-As-Possible deformations of both high-resolution meshes and neural fields under a given set of constraints. We run a comprehensive evaluation of our method and various baselines for neural field and mesh deformation which show both pipelines achieve impressive efficiency and notable improvements in terms of quality of results and robustness. With our novel pipeline, we introduce a scalable approach to solve a well-established geometry processing problem on high-resolution meshes, and pave the way for extending other geometric tasks to the domain of implicit surfaces via local patch meshing.


title: Giant spatial anisotropy of magnon lifetime in altermagnets

abstract: Altermagnets are a new class of magnetic materials with zero net magnetization (like antiferromagnets) but spin-split electronic bands (like ferromagnets) over a fraction of reciprocal space. As in antiferromagnets, magnons in altermagnets come in two flavours, that either add one or remove one unit of spin to the $S=0$ ground state. However, in altermagnets these two magnon modes are non-degenerate along some directions in reciprocal space. Here we show that the lifetime of altermagnetic magnons has a very strong dependence on both flavour and direction. Strikingly, coupling to Stoner modes leads to a complete suppression of magnon propagation along selected spatial directions. This giant anisotropy will impact electronic, spin, and energy transport properties and may be exploited in spintronic applications.


title: Principles of bursty mRNA expression and irreversibility in single cells and extrinsically varying populations

abstract: The canonical model of mRNA expression is the telegraph model, describing a gene that switches on and off, subject to transcription and decay. It describes steady-state mRNA distributions that subscribe to transcription in bursts with first-order decay, referred to as super-Poissonian expression. Using a telegraph-like model, I propose an answer to the question of why gene expression is bursty in the first place, and what benefits it confers. Using analytics for the entropy production rate, I find that entropy production is maximal when the on and off switching rates between the gene states are approximately equal. This is related to a lower bound on the free energy necessary to keep the system out of equilibrium, meaning that bursty gene expression may have evolved in part due to free energy efficiency. It is shown that there are trade-offs between having slow nuclear export, which can reduce cytoplasmic mRNA noise, and the energy required to keep the system out of equilibrium -- nuclear compartmentalization comes with an associated free energy cost. At the population level, I find that extrinsic variation, manifested in cell-to-cell differences in kinetic parameters, can make the system more or less reversible -- and potentially energy efficient -- depending on where the noise is located. This highlights that there evolutionary constraints on the suppression of extrinsic noise, whose origin is in cellular heterogeneity, in addition to intrinsic randomness arising from molecular collisions. Finally, I investigate the partially observed nature of most mRNA expression data which seems to obey detailed balance, yet remains unavoidably out-of-equilibrium.


title: Coisotropic reduction in Multisymplectic Geometry

abstract: In this paper we study coisotropic reduction in multisymplectic geometry. On the one hand, we give an interpretation of Hamiltonian multivector fields as Lagrangian submanifolds and prove that $k$-coisotropic submanifolds induce a Lie subalgebra in the algebra of Hamiltonian $(k-1)$-forms, similar to how coisotropic submanifolds in symplectic geometry induce a Lie subalgebra under the Poisson bracket. On the other hand, we extend the classical result of symplectic geometry of projection of Lagrangian submanifolds in coisotropic reduction to bundles of forms, which naturally carry a multisymplectic structure.


title: On a time-frequency blurring operator with applications in data augmentation

abstract: Inspired by the success of recent data augmentation methods for signals which act on time-frequency representations, we introduce an operator which convolves the short-time Fourier transform of a signal with a specified kernel. Analytical properties including boundedness, compactness and positivity are investigated from the perspective of time-frequency analysis. A convolutional neural network and a vision transformer are trained to classify audio signals using spectrograms with different augmentation setups, including the above mentioned time-frequency blurring operator, with results indicating that the operator can significantly improve test performance, especially in the data-starved regime.


title: Adversarial DPO: Harnessing Harmful Data for Reducing Toxicity with Minimal Impact on Coherence and Evasiveness in Dialogue Agents

abstract: Recent advancements in open-domain dialogue systems have been propelled by the emergence of high-quality large language models (LLMs) and various effective training methodologies. Nevertheless, the presence of toxicity within these models presents a significant challenge that can potentially diminish the user experience. In this study, we introduce an innovative training algorithm, an improvement upon direct preference optimization (DPO), called adversarial DPO (ADPO). The ADPO algorithm is designed to train models to assign higher probability distributions to preferred responses and lower distributions to unsafe responses, which are self-generated using the toxic control token. We demonstrate that ADPO enhances the model's resilience against harmful conversations while minimizing performance degradation. Furthermore, we illustrate that ADPO offers a more stable training procedure compared to the traditional DPO. To the best of our knowledge, this is the first adaptation of the DPO algorithm that directly incorporates harmful data into the generative model, thereby reducing the need to artificially create safe dialogue data.


title: Diffusion of brightened dark excitons in a high-angle incommensurate Moir\'e homobilayer

abstract: The last few years have witnessed a surge in interest and research efforts in the field of twistronics, especially in low-angle twisted bilayers of transition metal dichalocogenides. These novel material platforms have been demonstrated to host periodic arrays of excitonic quantum emitters, interlayer excitons with long lifetimes, and exotic many-body states. While much remains to be known and understood about these heterostructures, the field of high-angle, incommensurate bilayers is even less explored. At twist angles larger than a few degrees, the presence of periodicity in these bilayers becomes chaotic, making the systems essentially aperiodic and incommensurate in nature due to the limitations of fabrication techniques. In this work, we demonstrate the emergence of a brightened dark intralayer exciton in twisted molybdenum diselenide homobilayer. We show that this dark exciton diffuses across the excitation spot more efficiently as compared to trions or excitons, reaching diffusion lengths greater than 4 microns. Temperature-dependent spectra provide corroborative evidence and reveal a brightened dark trion. Our results reveal some of the richness of the physics of these high-angle systems.


title: Quantum Kirwan map and quantum Steenrod operation

abstract: We construct an equivariant extension of the quantum Kirwan map and show that it intertwines the classical Steenrod operation on the cohomology of a classifying space with the quantum Steenrod operation of a monotone symplectic reduction. This provides a new method of computing quantum Steenrod operations developed by Seidel-Wilkins. When specialized to the non-equivariant piece, our result also resolves the monotone case of Salamon's quantum Kirwan map conjecture in the symplectic setting.


title: A low-loss and broadband all-fiber acousto-optic circulator

abstract: The introduction of low-loss optical fibers probably represents the single most important advance in the growth of our telecommunication system. To meet our needs for secure communications, it is likely that our classical network will soon be operating alongside what is known as a quantum network. The latter is very sensitive to loss and thus poses new constraints to the performance of current fiber components. In particular, recent quantum network prototypes underlined the absence of low-loss non-reciprocal fiber-based devices. Here, we present a solution to this issue by realizing low-loss (0.81 dB), broadband (at least 50 GHz bandwidth) and high-extinction (up to 27 dB) circulators, based on Mach-Zehnder interferometers including so-called fiber null-couplers. The latter are directional couplers, whose splitting-ratio can be controlled by launching acoustic waves along the coupling region. Fabricated from standard single-mode fibers and actuated electrically, these circulators can be made to fit any existing optical fiber networks and could turn out to be key for the transmission and processing of optically encoded quantum information.


title: Memory effects in colloidal motion under confinement and driving

abstract: The transport of individual particles in inhomogeneous environments is complex and exhibits non-Markovian responses. The latter may be quantified by a memory function within the framework of the linear generalised Langevin equation (GLE). Here, we exemplify the implications of steady driving on the memory function of a colloidal model system for Brownian motion in a corrugated potential landscape, specifically, for one-dimensional motion in a sinusoidal potential. To this end, we consider the overdamped limit of the GLE, which is facilitated by separating the memory function into a singular (Markovian) and a regular (non-Markovian) part. Relying on exact solutions for the investigated model, we show that the random force entering the GLE must display a bias far from equilibrium, which corroborates a recent general prediction. Based on data for the mean-square displacement obtained from Brownian dynamics simulations, we estimate the memory function for different driving strengths and show that already moderate driving accelerates the decay of the memory function by several orders of magnitude in time. We find that the memory may persist on much longer timescales than expected from the convergence of the mean-square displacement to its long-time asymptote. Furthermore, the functional form of the memory function changes from a monotonic decay to a non-monotonic, damped oscillatory behaviour, which can be understood from a competition of confined motion and depinning. Our analysis of the simulation data further reveals a pronounced non-Gaussianity, which questions the Gaussian approximation of the random force entering the GLE.


title: A single crystal study of Kagome metals U$_2$Mn$_3$Ge and U$_2$Fe$_3$Ge

abstract: Single crystals of U$_2$Mn$_3$Ge and and U$_2$Fe$_3$Ge with a Kagome lattice structure were synthesized using a high-temperature self-flux crystal growth method. The physical properties of these crystals were characterized through measurements of resistivity, magnetism, and specific heat. U$_2$Fe$_3$Ge exhibits ferromagnetic ground state and Anomalous Hall Effect, and U$_2$Mn$_3$Ge demonstrates a complex magnetic structure. Both compounds exhibit large Sommerfeld coefficient, indicating coexistence of heavy Fermion behavior with magnetism. Our results suggest that this U$_2$TM$_3$Ge (TM = Mn, Fe, Co) family is a promising platform to investigate the interplay of magnetism, Kondo physics and the Kagome lattice.


title: Exponential Steepest Ascent from Valued Constraint Graphs of Pathwidth Four

abstract: We examine the complexity of maximising fitness via local search on valued constraint satisfaction problems (VCSPs). We consider two kinds of local ascents: (1) steepest ascents, where each step changes the domain that produces a maximal increase in fitness; and (2) $\prec$-ordered ascents, where -- of the domains with available fitness increasing changes -- each step changes the $\prec$-minimal domain. We provide a general padding argument to simulate any ordered ascent by a steepest ascent. We construct a VCSP that is a path of binary constraints between alternating 2-state and 3-state domains with exponentially long ordered ascents. We apply our padding argument to this VCSP to obtain a Boolean VCSP that has a constraint (hyper)graph of arity 5 and pathwidth 4 with exponential steepest ascents. This is an improvement on the previous best known construction for long steepest ascents, which had arity 8 and pathwidth 7.


title: Deep HST/UVIS imaging of the candidate dark galaxy CDG-1

abstract: CDG-1 is a tight grouping of four likely globular clusters in the Perseus cluster, and a candidate dark galaxy with little or no diffuse light. Here we provide new constraints on the luminosity of any underlying stellar emission, using HST/UVIS F200LP imaging. No diffuse emission is detected, with a 2$\sigma$ upper limit of F200LP>28.1 mag/arcsec$^2$ on the 5'' scale of CDG-1. This surface brightness limit corresponds to a 2$\sigma$ lower limit of >0.5 for the fraction of the total luminosity that is in the form of globular clusters. The most likely alternative, although improbable, is that CDG-1 is a chance grouping of four globular clusters in the halo of the Perseus galaxy IC312.


title: Extremum Seeking is Stable for Scalar Maps that are Strictly but Not Strongly Convex

abstract: For a map that is strictly but not strongly convex, model-based gradient extremum seeking has an eigenvalue of zero at the extremum, i.e., it fails at exponential convergence. Interestingly, perturbation-based model-free extremum seeking has a negative Jacobian, in the average, meaning that its (practical) convergence is exponential, even though the map's Hessian is zero at the extremum. While these observations for the gradient algorithm are not trivial, we focus in this paper on an even more nontrivial study of the same phenomenon for Newton-based extremum seeking control (NESC). NESC is a second-order method which corrects for the unknown Hessian of the unknown map, not only in order to speed up parameter convergence, but also (1) to make the convergence rate user-assignable in spite of the unknown Hessian, and (2) to equalize the convergence rates in different directions for multivariable maps. Previous NESC work established stability only for maps whose Hessians are strictly positive definite everywhere, so the Hessian is invertible everywhere. For a scalar map, we establish the rather unexpected property that, even when the map behind is strictly convex but not strongly convex, i.e., when the Hessian may be zero, NESC guarantees practical asymptotic stability, semiglobally. While a model-based Newton-based algorithm would run into non-invertibility of the Hessian, the perturbation-based NESC, surprisingly, avoids this challenge by leveraging the fact that the average of the perturbation-based Hessian estimate is always positive, even though the actual Hessian may be zero.


title: Jacobians of Graphs via Edges and Iwasawa Theory

abstract: The Jacobian is an algebraic invariant of a graph which is often seen in analogy to the class group of a number field. In particular, there have been multiple investigations into the Iwasawa theory of graphs with the Jacobian playing the role of the class group. In this paper, we construct an Iwasawa module related to the Jacobian of a $\mathbb{Z}_p$-tower of connected graphs, and give examples where we use this to compute asymptotic sizes of the Jacobians in this tower.


title: Topic Modelling Case Law Using a Large Language Model and a New Taxonomy for UK Law: AI Insights into Summary Judgment

abstract: This paper addresses a critical gap in legal analytics by developing and applying a novel taxonomy for topic modelling summary judgment cases in the United Kingdom. Using a curated dataset of summary judgment cases, we use the Large Language Model Claude 3 Opus to explore functional topics and trends. We find that Claude 3 Opus correctly classified the topic with an accuracy of 87.10%. The analysis reveals distinct patterns in the application of summary judgments across various legal domains. As case law in the United Kingdom is not originally labelled with keywords or a topic filtering option, the findings not only refine our understanding of the thematic underpinnings of summary judgments but also illustrate the potential of combining traditional and AI-driven approaches in legal classification. Therefore, this paper provides a new and general taxonomy for UK law. The implications of this work serve as a foundation for further research and policy discussions in the field of judicial administration and computational legal research methodologies.


title: Stationary surfaces of height-dependent weighted area functionals in $\mathbb{R}^3$ and $\mathbb{L}^3$

abstract: We describe a general correspondence between weighted minimal surfaces in $\mathbb{R}^3$ and weighted maximal surfaces with some admissible singularities in $\mathbb{L}^3$, for a class of functions $\varphi$ which provides the corresponding weight. For these families of surfaces, we provide a Weierstrass representation when $\dot{\varphi}\neq 0$ and analyze in detail the asymptotic behavior of both such a weighted maximal surface around its singular set and its corresponding weighted minimal immersion around the nodal set of its angle function, establishing criteria that allow us to easily determine the type of singularity and classify the associated moduli spaces.


title: The implications of state aggregation in deteriorating Markov Decision Processes with optimal threshold policies

abstract: Markov Decision Processes (MDPs) are mathematical models of sequential decision-making under uncertainty that have found applications in healthcare, manufacturing, logistics, and others. In these models, a decision-maker observes the state of a stochastic process and determines which action to take with the goal of maximizing the expected total discounted rewards received. In many applications, the state space of the true system is large and there may be limited observations out of certain states to estimate the transition probability matrix. To overcome this, modelers will aggregate the true states into ``superstates" resulting in a smaller state space. This aggregation process improves computational tractability and increases the number of observations among superstates. Thus, the modeler's choice of state space leads to a trade-off in transition probability estimates. While coarser discretization of the state space gives more observations in each state to estimate the transition probability matrix, this comes at the cost of precision in the state characterization and resulting policy recommendations. In this paper, we consider the implications of this modeling decision on the resulting policies from MDPs for which the true model is expected to have a threshold policy that is optimal. We analyze these MDPs and provide conditions under which the aggregated MDP will also have an optimal threshold policy. Using a simulation study, we explore the trade-offs between more fine and more coarse aggregation. We explore the the show that there is the highest potential for policy improvement on larger state spaces, but that aggregated MDPs are preferable under limited data. We discuss how these findings the implications of our findings for modelers who must select which state space design to use.


title: A Hamiltonian, post-Born, three-dimensional, on-the-fly ray tracing algorithm for gravitational lensing

abstract: The analyses of the next generation cosmological surveys demand an accurate, efficient, and differentiable method for simulating the universe and its observables across cosmological volumes. We present Hamiltonian ray tracing (HRT) -- the first post-Born (accounting for lens-lens coupling and without relying on the Born approximation), three-dimensional (without assuming the thin-lens approximation), and on-the-fly (applicable to any structure formation simulations) ray tracing algorithm based on the Hamiltonian formalism. HRT performs symplectic integration of the photon geodesics in a weak gravitational field, and can integrate tightly with any gravity solver, enabling co-evolution of matter particles and light rays with minimal additional computations. We implement HRT in the particle-mesh library \texttt{pmwd}, leveraging hardware accelerators such as GPUs and automatic differentiation capabilities based on \texttt{JAX}. When tested on a point-mass lens, HRT achieves sub-percent accuracy in deflection angles above the resolution limit across both weak and moderately strong lensing regimes. We also test HRT in cosmological simulations on the convergence maps and their power spectra.


title: An Empirical Study and Analysis of Text-to-Image Generation Using Large Language Model-Powered Textual Representation

abstract: One critical prerequisite for faithful text-to-image generation is the accurate understanding of text inputs. Existing methods leverage the text encoder of the CLIP model to represent input prompts. However, the pre-trained CLIP model can merely encode English with a maximum token length of 77. Moreover, the model capacity of the text encoder from CLIP is relatively limited compared to Large Language Models (LLMs), which offer multilingual input, accommodate longer context, and achieve superior text representation. In this paper, we investigate LLMs as the text encoder to improve the language understanding in text-to-image generation. Unfortunately, training text-to-image generative model with LLMs from scratch demands significant computational resources and data. To this end, we introduce a three-stage training pipeline that effectively and efficiently integrates the existing text-to-image model with LLMs. Specifically, we propose a lightweight adapter that enables fast training of the text-to-image model using the textual representations from LLMs. Extensive experiments demonstrate that our model supports not only multilingual but also longer input context with superior image generation quality.


title: G-DIG: Towards Gradient-based DIverse and hiGh-quality Instruction Data Selection for Machine Translation

abstract: Large Language Models (LLMs) have demonstrated remarkable abilities in general scenarios. Instruction finetuning empowers them to align with humans in various tasks. Nevertheless, the Diversity and Quality of the instruction data remain two main challenges for instruction finetuning. With regard to this, in this paper, we propose a novel gradient-based method to automatically select high-quality and diverse instruction finetuning data for machine translation. Our key innovation centers around analyzing how individual training examples influence the model during training. Specifically, we select training examples that exert beneficial influences on the model as high-quality ones by means of Influence Function plus a small high-quality seed dataset. Moreover, to enhance the diversity of the training data we maximize the variety of influences they have on the model by clustering on their gradients and resampling. Extensive experiments on WMT22 and FLORES translation tasks demonstrate the superiority of our methods, and in-depth analysis further validates their effectiveness and generalization.


title: Genuine $k$-partite correlations and entanglement in the ground state of the Dicke model for interacting qubits

abstract: The analysis of correlations among subsystems is essential for both the understanding of critical phenomena and for performing quantum information tasks. However, the majority of correlation measures are restricted to bipartitions due to the inherent challenges associated with handling multiple partitions and subsystems. To address this, we investigate Genuine Multipartite Correlations (GMC) of the Dicke model with interacting qubits. This method allows for the precise quantification of correlations within each subpart of the system, as well as for the percentage contribution of each GMC of order $k$. Most importantly, we show that GMC signal both first- and second-order quantum phase transitions present in the model. Furthermore, we employ Quantum Fisher Information (QFI) to detect genuine multipartite entanglement, since the GMC encompass both classical and quantum correlations. Ultimately, we compare the Dicke model with interacting qubits to spin-centers in solids interacting with a quantum field of magnons to demonstrate a potential experimental realization of this generalized Dicke model.


title: Commutative codensity monads and probability bimeasures

abstract: Several well-studied probability monads have been expressed as codensity monads over small categories of stochastic maps, giving a limit description of spaces of probability measures. In this paper we show how properties of probability monads such as commutativity and affineness can arise from their codensity presentation. First we show that their codensity presentation is closely related to another characterisation of probability monads as terminal endofunctors admitting certain maps into the Giry monad, which allows us to generalise a result by Van Breugel on the Kantorovich monad. We then provide sufficient conditions for a codensity monad to lift to $\bf{MonCat}$, and give a characterisation of exactly pointwise monoidal codensity monads; codensity monads that satisfy a strengthening of these conditions. We show that the Radon monad is exactly pointwise monoidal, and hence give a description of the tensor product of free algebras of the Radon monad in terms of Day convolution. Finally we show that the Giry monad is not exactly pointwise monoidal due to the existence of probability bimeasures that do not extend to measures, although its restriction to standard Borel spaces is. We introduce the notion of a $*$-monad and its Kleisli monoidal op-multicategory to describe the categorical structure that organises the spaces of probability polymeasures on measurable spaces.


title: Impact of inhomogeneous diffusion on secondary cosmic ray and antiproton local spectra

abstract: Recent $\gamma$-ray and neutrino observations seem to favor the consideration of non-uniform diffusion of cosmic rays (CRs) throughout the Galaxy. In this study, we investigate the consequences of spatially-dependent inhomogeneous propagation of CRs on the fluxes of secondary CRs and antiprotons detected at Earth. A comparison is made among different scenarios in search of potential features that may guide us toward favoring one over another in the near future. We also examine both the influence of inhomogeneous propagation in the production of secondary CRs from interactions with the gas, and the effects of this scenario on the local fluxes of antiprotons and light antinuclei produced as final products of dark matter annihilation. Our results indicate that the consideration of an inhomogeneous diffusion model could improve the compatibility of the predicted local antiproton flux with that of B, Be and Li, assuming only secondary origin of these particles. In addition, our model predicts a slightly harder local antiproton spectrum, making it more compatible with the high energy measurements of AMS-02. Finally, no significant changes are expected in the predicted local flux of antiprotons and antinuclei produced from dark matter among the different considered propagation scenarios.


title: The $L_p$-dual space of a semisimple Lie group

abstract: Let $G$ be a semisimple Lie group. We describe the irreducible representations of $G$ by linear isometries on $L_p$-spaces for $p\in (1,+\infty)$ with $p\neq 2.$ More precisely, we show that, for every such representation $\pi,$ there exists a parabolic subgroup $Q$ of $G$ such that $\pi$ is equivalent to the natural representation of $G$ on $L_p(G/Q)$ twisted by a unitary character of $Q.$ When $G$ is of real rank one, we give a complete classification of the possible irreducible representations of $G$ on an $L_p$-space for $p\neq 2,$ up to equivalence.


title: Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples

abstract: This paper proposes a new challenge problem for software analytics. In the process we shall call "software review", a panel of SMEs (subject matter experts) review examples of software behavior to recommend how to improve that's software's operation. SME time is usually extremely limited so, ideally, this panel can complete this optimization task after looking at just a small number of very informative, examples. To support this review process, we explore methods that train a predictive model to guess if some oracle will like/dislike the next example. Such a predictive model can work with the SMEs to guide them in their exploration of all the examples. Also, after the panelists leave, that model can be used as an oracle in place of the panel (to handle new examples, while the panelists are busy, elsewhere). In 31 case studies (ranging from from high-level decisions about software processes to low-level decisions about how to configure video encoding software), we show that such predictive models can be built using as few as 12 to 30 labels. To the best of our knowledge, this paper's success with only a handful of examples (and no large language model) is unprecedented. In accordance with the principles of open science, we offer all our code and data at https://github.com/timm/ez/tree/Stable-EMSE-paper so that others can repeat/refute/improve these results.


title: Is decidability of the Submonoid Membership Problem closed under finite extensions?

abstract: We show that the rational subset membership problem in $G$ can be reduced to the submonoid membership problem in $G{\times}H$ where $H$ is virtually Abelian. We use this to show that there is no algorithm reducing submonoid membership to a finite index subgroup uniformly for all virtually nilpotent groups. We also provide evidence towards the existence of a group $G$ with a subgroup $H<G$ of index 2, such that the submonoid membership problem is decidable in $H$ but not in $G$.


title: Quantum optimal control robust to $1/f^\alpha$ noises using fractional calculus: voltage-controlled exchange in semiconductor spin qubits

abstract: Low-frequency $1/f^\alpha$ charge noise significantly hinders the performance of voltage-controlled spin qubits in quantum dots. Here, we utilize fractional calculus to design voltage control pulses yielding the highest average fidelities for noisy quantum gate operations. We focus specifically on the exponential voltage control of the exchange interaction generating two-spin $\mathrm{SWAP}^k$ gates. When stationary charge noise is the dominant source of gate infidelity, we derive that the optimal exchange pulse is long and weak, with the broad shape of the symmetric beta distribution function with parameter $1-\alpha/2$. The common practice of making exchange pulses fast and high-amplitude still remains beneficial in the case of strongly nonstationary noise dynamics, modeled as fractional Brownian motion. The proposed methods are applicable to the characterization and optimization of quantum gate operations in various voltage-controlled qubit architectures.


title: Panmodal Information Interaction

abstract: The emergence of generative artificial intelligence (GenAI) is transforming information interaction. For decades, search engines such as Google and Bing have been the primary means of locating relevant information for the general population. They have provided search results in the same standard format (the so-called "10 blue links"). The recent ability to chat via natural language with AI-based agents and have GenAI automatically synthesize answers in real-time (grounded in top-ranked results) is changing how people interact with and consume information at massive scale. These two information interaction modalities (traditional search and AI-powered chat) coexist in current search engines, either loosely coupled (e.g., as separate options/tabs) or tightly coupled (e.g., integrated as a chat answer embedded directly within a traditional search result page). We believe that the existence of these two different modalities, and potentially many others, is creating an opportunity to re-imagine the search experience, capitalize on the strengths of many modalities, and develop systems and strategies to support seamless flow between them. We refer to these as panmodal experiences. Unlike monomodal experiences, where only one modality is available and/or used for the task at hand, panmodal experiences make multiple modalities available to users (multimodal), directly support transitions between modalities (crossmodal), and seamlessly combine modalities to tailor task assistance (transmodal). While our focus is search and chat, with learnings from insights from a survey of over 100 individuals who have recently performed common tasks on these two modalities, we also present a more general vision for the future of information interaction using multiple modalities and the emergent capabilities of GenAI.


title: Robust Nonparametric Regression for Compositional Data: the Simplicial--Real case

abstract: Statistical analysis on compositional data has gained a lot of attention due to their great potential of applications. A feature of these data is that they are multivariate vectors that lie in the simplex, that is, the components of each vector are positive and sum up a constant value. This fact poses a challenge to the analyst due to the internal dependency of the components which exhibit a spurious negative correlation. Since classical multivariate techniques are not appropriate in this scenario, it is necessary to endow the simplex of a suitable algebraic-geometrical structure, which is a starting point to develop adequate methodology and strategies to handle compositions. We centered our attention on regression problems with real responses and compositional covariates and we adopt a nonparametric approach due to the flexibility it provides. Aware of the potential damage that outliers may produce, we introduce a robust estimator in the framework of nonparametric regression for compositional data. The performance of the estimators is investigated by means of a numerical study where different contamination schemes are simulated. Through a real data analysis the advantages of using a robust procedure is illustrated.


title: Time-dependent Hamiltonian Simulation via Magnus Expansion: Algorithm and Superconvergence

abstract: Hamiltonian simulation becomes more challenging as the underlying unitary becomes more oscillatory. In such cases, an algorithm with commutator scaling and a weak dependence, such as logarithmic, on the derivatives of the Hamiltonian is desired. We introduce a new time-dependent Hamiltonian simulation algorithm based on the Magnus series expansion that exhibits both features. Importantly, when applied to unbounded Hamiltonian simulation in the interaction picture, we prove that the commutator in the second-order algorithm leads to a surprising fourth-order superconvergence, with an error preconstant independent of the number of spatial grids. This extends the qHOP algorithm [An, Fang, Lin, Quantum 2022] based on first-order Magnus expansion, and the proof of superconvergence is based on semiclassical analysis that is of independent interest.


title: Trusting Fair Data: Leveraging Quality in Fairness-Driven Data Removal Techniques

abstract: In this paper, we deal with bias mitigation techniques that remove specific data points from the training set to aim for a fair representation of the population in that set. Machine learning models are trained on these pre-processed datasets, and their predictions are expected to be fair. However, such approaches may exclude relevant data, making the attained subsets less trustworthy for further usage. To enhance the trustworthiness of prior methods, we propose additional requirements and objectives that the subsets must fulfill in addition to fairness: (1) group coverage, and (2) minimal data loss. While removing entire groups may improve the measured fairness, this practice is very problematic as failing to represent every group cannot be considered fair. In our second concern, we advocate for the retention of data while minimizing discrimination. By introducing a multi-objective optimization problem that considers fairness and data loss, we propose a methodology to find Pareto-optimal solutions that balance these objectives. By identifying such solutions, users can make informed decisions about the trade-off between fairness and data quality and select the most suitable subset for their application.


title: On Image Registration and Subpixel Estimation

abstract: Image registration is a classical problem in machine vision which seeks methods to align discrete images of the same scene to subpixel accuracy in general situations. As with all estimation problems, the underlying difficulty is the partial information available about the ground truth. We consider a basic and idealized one-dimensional image registration problem motivated by questions about measurement and about quantization, and we demonstrate that the extent to which subinterval/subpixel inferences can be made in this setting depends on a type of complexity associated with the function of interest, the relationship between the function and the pixel size, and the number of distinct sampling count observations available.


title: Displacement within velocity effect in gravitational wave memory

abstract: Sandwich gravitational waves exhibit the memory effect (VM) which however can become, for specific values of the wave parameters, pure displacement (DM) as suggested by Zel'dovich and Polnarev. Fixing such a "miraculous" value, the particle trajectory is an (approximate) standing wave characterized by a unique integer $m$, for which the particle does not absorb any energy from the passing wave. Our statements are illustrated by a simple Gaussian and by the P\"oschl-Teller potential as profiles.


title: Code-mixed Sentiment and Hate-speech Prediction

abstract: Code-mixed discourse combines multiple languages in a single text. It is commonly used in informal discourse in countries with several official languages, but also in many other countries in combination with English or neighboring languages. As recently large language models have dominated most natural language processing tasks, we investigated their performance in code-mixed settings for relevant tasks. We first created four new bilingual pre-trained masked language models for English-Hindi and English-Slovene languages, specifically aimed to support informal language. Then we performed an evaluation of monolingual, bilingual, few-lingual, and massively multilingual models on several languages, using two tasks that frequently contain code-mixed text, in particular, sentiment analysis and offensive language detection in social media texts. The results show that the most successful classifiers are fine-tuned bilingual models and multilingual models, specialized for social media texts, followed by non-specialized massively multilingual and monolingual models, while huge generative models are not competitive. For our affective problems, the models mostly perform slightly better on code-mixed data compared to non-code-mixed data.


title: Pytorch-Wildlife: A Collaborative Deep Learning Framework for Conservation

abstract: The alarming decline in global biodiversity, driven by various factors, underscores the urgent need for large-scale wildlife monitoring. In response, scientists have turned to automated deep learning methods for data processing in wildlife monitoring. However, applying these advanced methods in real-world scenarios is challenging due to their complexity and the need for specialized knowledge, primarily because of technical challenges and interdisciplinary barriers. To address these challenges, we introduce Pytorch-Wildlife, an open-source deep learning platform built on PyTorch. It is designed for creating, modifying, and sharing powerful AI models. This platform emphasizes usability and accessibility, making it accessible to individuals with limited or no technical background. It also offers a modular codebase to simplify feature expansion and further development. Pytorch-Wildlife offers an intuitive, user-friendly interface, accessible through local installation or Hugging Face, for animal detection and classification in images and videos. As two real-world applications, Pytorch-Wildlife has been utilized to train animal classification models for species recognition in the Amazon Rainforest and for invasive opossum recognition in the Galapagos Islands. The Opossum model achieves 98% accuracy, and the Amazon model has 92% recognition accuracy for 36 animals in 90% of the data. As Pytorch-Wildlife evolves, we aim to integrate more conservation tasks, addressing various environmental challenges. Pytorch-Wildlife is available at https://github.com/microsoft/CameraTraps.


title: Enabling Additive Manufacturing Part Inspection of Digital Twins via Collaborative Virtual Reality

abstract: Digital twins (DTs) are an emerging capability in additive manufacturing (AM), set to revolutionize design optimization, inspection, in situ monitoring, and root cause analysis. AM DTs typically incorporate multimodal data streams, ranging from machine toolpaths and in-process imaging to X-ray CT scans and performance metrics. Despite the evolution of DT platforms, challenges remain in effectively inspecting them for actionable insights, either individually or in a multidisciplinary team setting. Quality assurance, manufacturing departments, pilot labs, and plant operations must collaborate closely to reliably produce parts at scale. This is particularly crucial in AM where complex structures require a collaborative and multidisciplinary approach. Additionally, the large-scale data originating from different modalities and their inherent 3D nature pose significant hurdles for traditional 2D desktop-based inspection methods. To address these challenges and increase the value proposition of DTs, we introduce a novel virtual reality (VR) framework to facilitate collaborative and real-time inspection of DTs in AM. This framework includes advanced features for intuitive alignment and visualization of multimodal data, visual occlusion management, streaming large-scale volumetric data, and collaborative tools, substantially improving the inspection of AM components and processes to fully exploit the potential of DTs in AM.


title: Small cross section of the synthesis of darmstadtium in the $^{48}$Ca+$^{232}$Th reaction

abstract: The smallness of the cross section of evaporation residues formed in the hot fusion reaction $^{48}$Ca+$^{232}$Th is analyzed by the dinuclear system model (DNS). The capture probability has been calculated by solving the dynamical equations of motion for the relative distance between the centers-of-mass of the DNS nuclei. Fusion of nuclei is considered as evolution of the DNS to a stable compound nucleus. The fusion probability has a bell-like shape and quasifission is one of reasons causing smallness of the yield of the evaporation residues products. Another reason is the decrease of the fission barrier for the isotopes $^{275-285}$Dm related with the shell effects in the neutron structure. The agreement of the theoretical results obtained for the yield of the evaporation residues with the experimental data measured in the Factory of superheavy elements of Joint Institute for Nuclear Research is well.


title: Skin-in-the-Game: Decision Making via Multi-Stakeholder Alignment in LLMs

abstract: Large Language Models (LLMs) have shown remarkable capabilities in tasks such as summarization, arithmetic reasoning, and question answering. However, they encounter significant challenges in the domain of moral reasoning and ethical decision-making, especially in complex scenarios with multiple stakeholders. This paper introduces the Skin-in-the-Game (SKIG) framework, aimed at enhancing moral reasoning in LLMs by exploring decisions' consequences from multiple stakeholder perspectives. Central to SKIG's mechanism is simulating accountability for actions, which, alongside empathy exercises and risk assessment, is pivotal to its effectiveness. We validate SKIG's performance across various moral reasoning benchmarks with proprietary and opensource LLMs, and investigate its crucial components through extensive ablation analyses.


title: Address-Specific Sustainable Accommodation Choice Through Real-World Data Integration

abstract: Consumers wish to choose sustainable accommodation for their travels, and in the case of corporations, may be required to do so. Yet accommodation marketplaces provide no meaningful capability for sustainable choice: typically CO2 estimates are provided that are identical for all accommodation of the same type across an entire country. We propose a decision support system that enables real choice of sustainable accommodation. We develop a data-driven address-specific metric called EcoGrade, which integrates government approved datasets and uses interpolation where data is sparse. We validate the metric on 10,000 UK addresses in 10 cities, showing the match of our interpolations to reality is statistically significant. We show how the metric has been embedded into a decision support system for a global accommodation marketplace and tested by real users over several months with positive user feedback. In the EU, forty percent of final energy consumption is from buildings. We need to encourage all building owners to make their accommodation more efficient. The rental sector is one area where change can occur rapidly, as rented accommodation is renovated frequently. We anticipate our decision support system using EcoGrade will encourage this positive change.


title: Circuit QED theory of direct and dual Shapiro steps with finite-size transmission line resonators

abstract: We investigate the occurrence of direct and dual Shapiro steps for a Josephson junction coupled to a finite-size transmission line resonator. We treat both problems through a circuit QED approach with a large, but finite number of photon modes. For the dual case, we do not assume the (approximate) charge-phase duality, but include the full multi-band dynamics for the Josephson junction. Mean-field equations within such Hamiltonian approach reproduce the result obtained through a dissipative classical equation when the number of transmission line modes is large enough. To account for quantum and thermal fluctuations, we go beyond the mean-field treatment within a truncated Wigner approach. The fluctuations are shown to modify both the direct and the dual steps. We show how the dual steps are very sensitive to these fluctuations and identify the key physical parameters for the junction and the transmission line controlling their robustness, which is essential for applications to close the quantum metrological triangle.


title: Improved predictions of phenomenological nuclear charge radius formulae with Bayesian optimization approach

abstract: The model inputs play a key role in the performance of the Bayesian optimization approach. In this paper, we investigate the influence of the inputs on the improved predictions of phenomenological nuclear charge radius formulas using an approach combining those original formulas and the Bayesian neural network (BNN). We find that there is no improvement in predictions after the abnormal odd-even staggering effect of 181,183,185Hg is injected into the BNN, while the original phenomenological formulas themselves possess rich physical information or rigid constraints. It indicates the abundance and intensity of physical inputs affect the performance of the Bayesian optimization approach as well as the robustness of the BNN. We further demonstrate that, by ensuring that the number of neurons in the hidden layer is larger than the number of NN inputs, adding hidden layers into the BNN can significantly improve the predictions of nuclear charge radii formulas within the Bayesian optimization approach.


title: Asymptotic analysis of sum-rate under SIC

abstract: Limitation of the cost of coordination and contention among a large number of nodes calls for grant-free approaches, exploiting physical layer techniques to solve collisions. Successive Interference Cancellation (SIC) is becoming a key building block of multiple access channel receiver, in an effort to support massive Internet of Things (IoT). In this paper, we explore the large-scale performance of SIC in a theoretical framework. A general model of a SIC receiver is stated for a shared channel with $n$ transmitters. The asymptotic sum-rate performance is characterized as $n \rightarrow \infty$, for a suitably scaled target Signal to Noise Interference Ratio (SNIR). The probability distribution of the number of correctly decoded packets is shown to tend to a deterministic distribution asymptotically for large values of $n$. The asymptotic analysis is carried out for any probability distribution of the wireless channel gain, assuming that the average received power level is same for all nodes, through power control.


title: Hybrid PDE-ODE Models for Efficient Simulation of Infection Spread in Epidemiology

abstract: This paper introduces a novel hybrid mathematical modeling approach that effectively couples Partial Differential Equations (PDEs) with Ordinary Differential Equations (ODEs), exemplified through the simulation of epidemiological processes. The hybrid model aims to integrate the spatially detailed representation of disease dynamics provided by PDEs with the computational efficiency of ODEs. In the presented epidemiological use-case, this integration allows for the rapid assessment of public health interventions and the potential impact of infectious diseases across large populations. We discuss the theoretical formulation of the hybrid PDE-ODE model, including the governing equations and boundary conditions. The model's capabilities are demonstrated through detailed simulations of disease spread in synthetic environments and real-world scenarios, specifically focusing on the regions of Lombardy, Italy, and Berlin, Germany. Results indicate that the hybrid model achieves a balance between computational speed and accuracy, making it a valuable tool for policymakers in real-time decision-making and scenario analysis in epidemiology and potentially in other fields requiring similar modeling approaches.


title: Aggregation of Reasoning: A Hierarchical Framework for Enhancing Answer Selection in Large Language Models

abstract: Recent advancements in Chain-of-Thought prompting have facilitated significant breakthroughs for Large Language Models (LLMs) in complex reasoning tasks. Current research enhances the reasoning performance of LLMs by sampling multiple reasoning chains and ensembling based on the answer frequency. However, this approach fails in scenarios where the correct answers are in the minority. We identify this as a primary factor constraining the reasoning capabilities of LLMs, a limitation that cannot be resolved solely based on the predicted answers. To address this shortcoming, we introduce a hierarchical reasoning aggregation framework AoR (Aggregation of Reasoning), which selects answers based on the evaluation of reasoning chains. Additionally, AoR incorporates dynamic sampling, adjusting the number of reasoning chains in accordance with the complexity of the task. Experimental results on a series of complex reasoning tasks show that AoR outperforms prominent ensemble methods. Further analysis reveals that AoR not only adapts various LLMs but also achieves a superior performance ceiling when compared to current methods.


title: Learning the Infinitesimal Generator of Stochastic Diffusion Processes

abstract: We address data-driven learning of the infinitesimal generator of stochastic diffusion processes, essential for understanding numerical simulations of natural and physical systems. The unbounded nature of the generator poses significant challenges, rendering conventional analysis techniques for Hilbert-Schmidt operators ineffective. To overcome this, we introduce a novel framework based on the energy functional for these stochastic processes. Our approach integrates physical priors through an energy-based risk metric in both full and partial knowledge settings. We evaluate the statistical performance of a reduced-rank estimator in reproducing kernel Hilbert spaces (RKHS) in the partial knowledge setting. Notably, our approach provides learning bounds independent of the state space dimension and ensures non-spurious spectral estimation. Additionally, we elucidate how the distortion between the intrinsic energy-induced metric of the stochastic diffusion and the RKHS metric used for generator estimation impacts the spectral learning bounds.


title: Metacognitive particles, mental action and the sense of agency

abstract: This paper articulates metacognition using the language of statistical physics and Bayesian mechanics. Metacognitive beliefs, defined as beliefs about beliefs, find a natural description within this formalism, which allows us to define the dynamics of 'metacognitive particles', i.e., systems possessing metacognitive beliefs. We further unpack this typology of metacognitive systems by distinguishing passive and active metacognitive particles, where active particles are endowed with the capacity for mental actions that update the parameters of other beliefs. We provide arguments for the necessity of this architecture in the emergence of a subjective sense of agency and the experience of being separate from the environment. The motivation is to pave the way towards a mathematical and physical understanding of cognition -- and higher forms thereof -- furthering the study and formalization of cognitive science in the language of mathematical physics.


title: Kaonic lead feasibility measurement at DA{\Phi}NE to solve the charged kaon mass discrepancy

abstract: An HPGe detector equipped with a transistor reset preamplifier and readout with a CAEN DT5781 fast pulse digitizer was employed in the measurement of X-rays from kaonic lead at the DA$\Phi$NE $e^+e^-$ collider at the Laboratori Nazionali di Frascati of INFN. A thin scintillator in front of a lead target was used to select kaons impinging on it and to form the trigger for the HPGe detector. We present the results of the kaonic lead feasibility measurement, where we show that the resolution of the HPGe detector in regular beam conditions remains the same as that without the beam and that a satisfactory background reduction can be achieved. This measurement serves as a test bed for future dedicated kaonic X-rays measurements for the more precise determination of the charged kaon mass.


title: The nucleon axial radius

abstract: We present a systematic study of the relativistic axial-vector four-current distributions inside a nucleon. We show in particular that the slope of the axial form factor $G_A(Q^2)$ in the forward limit -- conventionally denoted as $R^2_A$ in the literature -- does not represent the three-dimensional mean-square axial radius in the Breit frame, but corresponds instead to a contribution to the mean-square spin radius. We derive explicit expressions for the latter in different frames and find in general additional contributions that depend on both the nucleon mass and the forward values of the axial-vector form factors $G_A(0)$ and $G_P(0)$.


title: AMFD: Distillation via Adaptive Multimodal Fusion for Multispectral Pedestrian Detection

abstract: Multispectral pedestrian detection has been shown to be effective in improving performance within complex illumination scenarios. However, prevalent double-stream networks in multispectral detection employ two separate feature extraction branches for multi-modal data, leading to nearly double the inference time compared to single-stream networks utilizing only one feature extraction branch. This increased inference time has hindered the widespread employment of multispectral pedestrian detection in embedded devices for autonomous systems. To address this limitation, various knowledge distillation methods have been proposed. However, traditional distillation methods focus only on the fusion features and ignore the large amount of information in the original multi-modal features, thereby restricting the student network's performance. To tackle the challenge, we introduce the Adaptive Modal Fusion Distillation (AMFD) framework, which can fully utilize the original modal features of the teacher network. Specifically, a Modal Extraction Alignment (MEA) module is utilized to derive learning weights for student networks, integrating focal and global attention mechanisms. This methodology enables the student network to acquire optimal fusion strategies independent from that of teacher network without necessitating an additional feature fusion module. Furthermore, we present the SMOD dataset, a well-aligned challenging multispectral dataset for detection. Extensive experiments on the challenging KAIST, LLVIP and SMOD datasets are conducted to validate the effectiveness of AMFD. The results demonstrate that our method outperforms existing state-of-the-art methods in both reducing log-average Miss Rate and improving mean Average Precision. The code is available at https://github.com/bigD233/AMFD.git.


title: Improved upper bounds for the Heilbronn's Problem for $k$-gons

abstract: The Heilbronn triangle problem asks for the placement of $n$ points in a unit square that maximizes the smallest area of a triangle formed by any three of those points. In $1972$, Schmidt considered a natural generalization of this problem. He asked for the placement of $n$ points in a unit square that maximizes the smallest area of the convex hull formed by any four of those points. He showed a lower bound of $\Omega(n^{-3/2})$, which was improved to $\Omega(n^{-3/2}\log{n})$ by Leffman. A trivial upper bound of $3/n$ could be obtained, and Schmidt asked if this could be improved asymptotically. However, despite several efforts, no asymptotic improvement over the trivial upper bound was known for the last $50$ years, and the problem started to get the tag of being notoriously hard. Szemer{\'e}di posed the question of whether one can, at least, improve the constant in this trivial upper bound. In this work, we answer this question by proving an upper bound of $2/n+o(1/n)$. We also extend our results to any convex hulls formed by $k\geq 4$ points.


title: Tutorly: Turning Programming Videos Into Apprenticeship Learning Environments with LLMs

abstract: Online programming videos, including tutorials and streamcasts, are widely popular and contain a wealth of expert knowledge. However, effectively utilizing these resources to achieve targeted learning goals can be challenging. Unlike direct tutoring, video content lacks tailored guidance based on individual learning paces, personalized feedback, and interactive engagement necessary for support and monitoring. Our work transforms programming videos into one-on-one tutoring experiences using the cognitive apprenticeship framework. Tutorly, developed as a JupyterLab Plugin, allows learners to (1) set personalized learning goals, (2) engage in learning-by-doing through a conversational LLM-based mentor agent, (3) receive guidance and feedback based on a student model that steers the mentor moves. In a within-subject study with 16 participants learning exploratory data analysis from a streamcast, Tutorly significantly improved their performance from 61.9% to 76.6% based on a post-test questionnaire. Tutorly demonstrates the potential for enhancing programming video learning experiences with LLM and learner modeling.


title: The hanging chain problem with respect to a circle

abstract: Let $\s^1$ be a circle in Euclidean plane. We consider the problem of finding the shape of a planar curve which is an extremal of the potential energy that measures the distance to $\s^1$. We describe the shape of these curves distinguishing if the curves lie in the inside or outside of $\s^1$. We extend the problem for energies that are powers to the distance to $\s^1$.


title: Adaptive Variant of Frank-Wolfe Method for Relative Smooth Convex Optimization Problems

abstract: The paper introduces a new adaptive version of the Frank-Wolfe algorithm for relatively smooth convex functions. It is proposed to use the Bregman divergence other than half the square of the Euclidean norm in the formula for step-size. Algorithm convergence estimates for minimization problems of relatively smooth convex functions with the triangle scaling property are proved. Computational experiments are performed, and conditions are shown in which the obvious advantage of the proposed algorithm over its Euclidean norm analogue is shown. We also found examples of problems for which the proposed variation of the Frank-Wolfe method works better than known accelerated gradient-type methods for relatively smooth convex functions with the triangle scaling property.


title: Exact predicates, exact constructions and combinatorics for mesh CSG

abstract: This article introduces a general mesh intersection algorithm that exactly computes the so-called Weiler model and that uses it to implement boolean operations with arbitrary multi-operand expressions, CSG (constructive solid geometry) and some mesh repair operations. From an input polygon soup, the algorithm first computes the co-refinement, with an exact representation of the intersection points. Then, the decomposition of 3D space into volumetric regions (Weiler model) is constructed, by sorting the facets around the non-manifold intersection edges (radial sort), using specialized exact predicates. Finally, based on the input boolean expression, the triangular facets that belong to the boundary of the result are classified. This is, to our knowledge, the first algorithm that computes an exact Weiler model. To implement all the involved predicates and constructions, two geometric kernels are proposed, tested and discussed (arithmetic expansions and multi-precision floating-point). As a guiding principle,the combinatorial information shared between each step is kept as simple as possible. It is made possible by treating all the particular cases in the kernel. In particular, triangles with intersections are remeshed using the (uniquely defined) Constrained Delaunay Triangulation, with symbolic perturbations to disambiguate configurations with co-cyclic points. It makes it easy to discard the duplicated triangles that appear when remeshing overlapping facets. The method is tested and compared with previous work, on the existing "thingi10K" dataset (to test co-refinement and mesh repair) and on a new "thingiCSG" dataset made publicly available (to test the full CSG pipeline) on a variety of interesting examples featuring different types of "pathologies"


title: Emergent Ferromagnetism at LaFeO3/SrTiO3 Interface Arising from Strain-induced Spin-State Transition

abstract: Creating new interfacial magnetic states with desired functionalities is attractive for fundamental studies and spintronics applications. The emergence of interfacial magnetic phases demands the fabrication of pristine interfaces and the characterization and understanding of atomic structure as well as electronic, magnetic, and orbital degrees of freedom at the interface. Here, we report a novel interfacial insulating ferromagnetic order in antiferromagnetic LaFeO3 grown on SrTiO3, characterized by a combination of electron microscopy and spectroscopy, magnetometry, and density functional theory. The epitaxial strain drives a spin-state disproportionation in the interfacial layer of LaFeO3, which leads to a checkerboard arrangement of low- and high-spin Fe3+ ions inside smaller and larger FeO6 octahedra, respectively. Ferromagnetism at the interface arises from superexchange interactions between the low- and high-spin Fe3+. The detailed understanding of creation of emergent magnetism illustrates the potential of designing and controlling orbital degrees of freedom at the interface to realize novel phases and functionalities for future spin-electronic applications.


title: Strategic Deployment of Honeypots in Blockchain-based IoT Systems

abstract: This paper addresses the challenge of enhancing cybersecurity in Blockchain-based Internet of Things (BIoTs) systems, which are increasingly vulnerable to sophisticated cyberattacks. It introduces an AI-powered system model for the dynamic deployment of honeypots, utilizing an Intrusion Detection System (IDS) integrated with smart contract functionalities on IoT nodes. This model enables the transformation of regular nodes into decoys in response to suspicious activities, thereby strengthening the security of BIoT networks. The paper analyses strategic interactions between potential attackers and the AI-enhanced IDS through a game-theoretic model, specifically Bayesian games. The model focuses on understanding and predicting sophisticated attacks that may initially appear normal, emphasizing strategic decision-making, optimized honeypot deployment, and adaptive strategies in response to evolving attack patterns.


title: Truncated Variance Reduced Value Iteration

abstract: We provide faster randomized algorithms for computing an $\epsilon$-optimal policy in a discounted Markov decision process with $A_{\text{tot}}$-state-action pairs, bounded rewards, and discount factor $\gamma$. We provide an $\tilde{O}(A_{\text{tot}}[(1 - \gamma)^{-3}\epsilon^{-2} + (1 - \gamma)^{-2}])$-time algorithm in the sampling setting, where the probability transition matrix is unknown but accessible through a generative model which can be queried in $\tilde{O}(1)$-time, and an $\tilde{O}(s + (1-\gamma)^{-2})$-time algorithm in the offline setting where the probability transition matrix is known and $s$-sparse. These results improve upon the prior state-of-the-art which either ran in $\tilde{O}(A_{\text{tot}}[(1 - \gamma)^{-3}\epsilon^{-2} + (1 - \gamma)^{-3}])$ time [Sidford, Wang, Wu, Ye 2018] in the sampling setting, $\tilde{O}(s + A_{\text{tot}} (1-\gamma)^{-3})$ time [Sidford, Wang, Wu, Yang, Ye 2018] in the offline setting, or time at least quadratic in the number of states using interior point methods for linear programming. We achieve our results by building upon prior stochastic variance-reduced value iteration methods [Sidford, Wang, Wu, Yang, Ye 2018]. We provide a variant that carefully truncates the progress of its iterates to improve the variance of new variance-reduced sampling procedures that we introduce to implement the steps. Our method is essentially model-free and can be implemented in $\tilde{O}(A_{\text{tot}})$-space when given generative model access. Consequently, our results take a step in closing the sample-complexity gap between model-free and model-based methods.


title: Quantifying Uncertainty in Classification Performance: ROC Confidence Bands Using Conformal Prediction

abstract: To evaluate a classification algorithm, it is common practice to plot the ROC curve using test data. However, the inherent randomness in the test data can undermine our confidence in the conclusions drawn from the ROC curve, necessitating uncertainty quantification. In this article, we propose an algorithm to construct confidence bands for the ROC curve, quantifying the uncertainty of classification on the test data in terms of sensitivity and specificity. The algorithm is based on a procedure called conformal prediction, which constructs individualized confidence intervals for the test set and the confidence bands for the ROC curve can be obtained by combining the individualized intervals together. Furthermore, we address both scenarios where the test data are either iid or non-iid relative to the observed data set and propose distinct algorithms for each case with valid coverage probability. The proposed method is validated through both theoretical results and numerical experiments.


title: A Method on Searching Better Activation Functions

abstract: The success of artificial neural networks (ANNs) hinges greatly on the judicious selection of an activation function, introducing non-linearity into network and enabling them to model sophisticated relationships in data. However, the search of activation functions has largely relied on empirical knowledge in the past, lacking theoretical guidance, which has hindered the identification of more effective activation functions. In this work, we offer a proper solution to such issue. Firstly, we theoretically demonstrate the existence of the worst activation function with boundary conditions (WAFBC) from the perspective of information entropy. Furthermore, inspired by the Taylor expansion form of information entropy functional, we propose the Entropy-based Activation Function Optimization (EAFO) methodology. EAFO methodology presents a novel perspective for designing static activation functions in deep neural networks and the potential of dynamically optimizing activation during iterative training. Utilizing EAFO methodology, we derive a novel activation function from ReLU, known as Correction Regularized ReLU (CRReLU). Experiments conducted with vision transformer and its variants on CIFAR-10, CIFAR-100 and ImageNet-1K datasets demonstrate the superiority of CRReLU over existing corrections of ReLU. Extensive empirical studies on task of large language model (LLM) fine-tuning, CRReLU exhibits superior performance compared to GELU, suggesting its broader potential for practical applications.


title: GA-NIFS: Witnessing the complex assembly of a massive star-forming system at $z=5.7$

abstract: We present observations of the $z\sim5.7$ Lyman-break galaxy HZ10 with the JWST/NIRSpec IFU in high and low spectral resolution (G395H, $R\sim2700$ and PRISM, $R\sim100$, respectively), as part of the GA-NIFS program. By spatially resolving the source, we find evidence for three spatially and spectrally distinct regions of line emission along with one region of strong continuum emission, all within a projected distance of $<10$kpc. The R2700 data features strong detections in H$\beta$, [OIII]$\lambda\lambda4959{,}5007$, [NII]$\lambda\lambda6548{,}6584$, H$\alpha$, and [SII]$\lambda\lambda6716{,}6731$. The R100 data additionally contains a strong detection of the Ly$\alpha$ break, rest-UV continuum, and [OII]$\lambda\lambda3726{,}3729$. None of the detected lines present strong evidence for AGN excitation from line diagnostic diagrams, and no high-ionisation lines are detected. Using the detected lines, we constrain the electron density $\left( \rm \log_{10}\left( n_e / cm^{-3}\right)\sim2.5-3.3\right)$ and metallicity ($\sim0.5-0.7$ solar) in each component. Spaxel-by-spaxel fits of each cube reveal a strong east-west velocity gradient and significant line asymmetries (indicating tidal features or outflows). The western component features a very red UV slope ($\beta_{UV}\sim-1$) and significant H$\alpha$ emission, suggesting an evolved population and active star formation. From a comparison to high resolution [CII]$158\mu$m imaging obtained with the Atacama Large Millimetre/submillimetre Array (ALMA), we find that the continuum emitter is associated with a gas-poor stellar population. Altogether, these data suggest that HZ10 represents an ongoing merger, with a complex distribution of stars, gas, and dust $<1$Gyr after the Big Bang.


title: A Fueter operator for 3/2-spinors

abstract: We show the non-compactness of moduli space of solutions of the monopole equations for $3/2$-spinors on a closed 3-manifold is equivalent to the existence of `3/2-Fueter sections' that are solutions of an overdetermined non-linear elliptic differential equation. These are sections of a fiber bundle whose fiber is a special 4-dimensional submanifold of the hyperk\"ahler manifold of center-framed charged one $SU(2)$-instantons on $\mathbf{R}^4$. This fiber bundle does not inherit a hyperk\"ahler structure.


title: Enhancing the analysis of murine neonatal ultrasonic vocalizations: Development, evaluation, and application of different mathematical models

abstract: Rodents employ a broad spectrum of ultrasonic vocalizations (USVs) for social communication. As these vocalizations offer valuable insights into affective states, social interactions, and developmental stages of animals, various deep learning approaches have aimed to automate both the quantitative (detection) and qualitative (classification) analysis of USVs. Here, we present the first systematic evaluation of different types of neural networks for USV classification. We assessed various feedforward networks, including a custom-built, fully-connected network and convolutional neural network, different residual neural networks (ResNets), an EfficientNet, and a Vision Transformer (ViT). Paired with a refined, entropy-based detection algorithm (achieving recall of 94.9% and precision of 99.3%), the best architecture (achieving 86.79% accuracy) was integrated into a fully automated pipeline capable of analyzing extensive USV datasets with high reliability. Additionally, users can specify an individual minimum accuracy threshold based on their research needs. In this semi-automated setup, the pipeline selectively classifies calls with high pseudo-probability, leaving the rest for manual inspection. Our study focuses exclusively on neonatal USVs. As part of an ongoing phenotyping study, our pipeline has proven to be a valuable tool for identifying key differences in USVs produced by mice with autism-like behaviors.


title: Online Learning of Halfspaces with Massart Noise

abstract: We study the task of online learning in the presence of Massart noise. Instead of assuming that the online adversary chooses an arbitrary sequence of labels, we assume that the context $\mathbf{x}$ is selected adversarially but the label $y$ presented to the learner disagrees with the ground-truth label of $\mathbf{x}$ with unknown probability at most $\eta$. We study the fundamental class of $\gamma$-margin linear classifiers and present a computationally efficient algorithm that achieves mistake bound $\eta T + o(T)$. Our mistake bound is qualitatively tight for efficient algorithms: it is known that even in the offline setting achieving classification error better than $\eta$ requires super-polynomial time in the SQ model. We extend our online learning model to a $k$-arm contextual bandit setting where the rewards -- instead of satisfying commonly used realizability assumptions -- are consistent (in expectation) with some linear ranking function with weight vector $\mathbf{w}^\ast$. Given a list of contexts $\mathbf{x}_1,\ldots \mathbf{x}_k$, if $\mathbf{w}^*\cdot \mathbf{x}_i > \mathbf{w}^* \cdot \mathbf{x}_j$, the expected reward of action $i$ must be larger than that of $j$ by at least $\Delta$. We use our Massart online learner to design an efficient bandit algorithm that obtains expected reward at least $(1-1/k)~ \Delta T - o(T)$ bigger than choosing a random action at every round.


title: Soft Synergies: Model Order Reduction of Hybrid Soft-Rigid Robots via Optimal Strain Parameterization

abstract: Soft robots offer remarkable adaptability and safety advantages over rigid robots, but modeling their complex, nonlinear dynamics remains challenging. Strain-based models have recently emerged as a promising candidate to describe such systems, however, they tend to be high-dimensional and time consuming. This paper presents a novel model order reduction approach for soft and hybrid robots by combining strain-based modeling with Proper Orthogonal Decomposition (POD). The method identifies optimal coupled strain basis functions -- or mechanical synergies -- from simulation data, enabling the description of soft robot configurations with a minimal number of generalized coordinates. The reduced order model (ROM) achieves substantial dimensionality reduction while preserving accuracy. Rigorous testing demonstrates the interpolation and extrapolation capabilities of the ROM for soft manipulators under static and dynamic conditions. The approach is further validated on a snake-like hyper-redundant rigid manipulator and a closed-chain system with soft and rigid components, illustrating its broad applicability. Finally, the approach is leveraged for shape estimation of a real six-actuator soft manipulator using only two position markers, showcasing its practical utility. This POD-based ROM offers significant computational speed-ups, paving the way for real-time simulation and control of complex soft and hybrid robots.