title: New high-precision measurement system for electron-positron pairs from sub-GeV/GeV gamma-rays in the emulsion telescope

abstract: The GRAINE project observes cosmic gamma-rays, using a balloon-borne emulsion-film-based telescope in the sub-GeV/GeV energy band. We reported in our previous balloon experiment in 2018, GRAINE2018, the detection of the known brightest source, Vela pulsar, with the highest angular resolution ever reported in an energy range of $>$80 MeV. However, the emulsion scanning system used in the experiment was designed to achieve a high-speed scanning, and it was not accurate enough to ensure the optimum spacial resolution of the emulsion film and limited the performance. Here, we report a new high-precision scanning system that can be used to greatly improve the observation result of GRAINE2018 and also be employed in future experiments. The system involves a new algorithm that recognizes each silver grain on an emulsion film and is capable of measuring tracks with a positional resolution for the passing points of tracks of almost the same as the intrinsic resolution of nuclear emulsion film ($\sim$70 nm). This resolution is approximately one order of magnitude smaller than that obtained with the high-speed scanning system. With this system, an angular resolution for gamma-rays of 0.1$^\circ$ at 1 GeV is expected to be achieved. Furthermore, we successfully combine the new high-precision system with the existing high-speed system, establishing the system to make a high-speed and high-precision measurement. Employing these systems, we reanalyze the gamma-ray events detected previously by only the high-speed system in GRAINE2018 and obtain an about three times higher angular resolution (0.22$^\circ$) in 500--700 MeV than the original value. The high-resolution observation may bring new insights into the gamma-ray emission from the Galactic center region and may realize polarization measurements of high-energy cosmic gamma-rays.


title: An interactive framework for the evaluation and detection of stereoacuity threshold under ambient lighting

abstract: Objective: Our study aims to provide a novel framework for the continuous evaluation of stereoacuity under ambient lighting conditions using Bayesian inference. Methods: We applied a combination of psychophysical and expected entropy minimization procedures for the computation of a continuous stereoacuity threshold. Subsequently, we evaluated the effect of ambient lighting during stereoacuity testing (ST) by adopting a bisection-matching based adaptive gamma calibration (AGC). Participants ($N=187$) including visually healthy controls ($N=51$), patients with Intermittent Divergent Squint (IDS; $N=45$), and controls with induced anisometropia (IA; $N=91$) performed ST with and without AGC under two lighting conditions: completely dark (20 cd/m$^2$) and normally lit (130 cd/m$^2$) rooms. Results: Our framework demonstrated "excellent" reliability ($> 0.9$) and a positive correlation with TNO (a clinical stereo test), regardless of whether AGC was conducted. However, when AGC is not performed, significant differences (Friedman $X_{r}^{2} = 28.015$; $p<0.00001$; Bland-Altman bias: 30 arc-sec) were found in stereoacuity thresholds between dark and light conditions for participants with IDS and IA. Controls are unaffected by AGC and yield a similar stereoacuity threshold under both lighting conditions. Conclusion: Our study proves that stereoacuity threshold is significantly deviated particularly in participants with IDS or IA stereo-deficits if ambient lighting is not taken into consideration. Moreover, our framework provides a quick (approximately 5-10 minutes) assessment of stereoacuity threshold and can be performed within 30 ST and 15 AGC trials. Significance: Our test is useful in planning treatments and monitoring prognosis for patients with stereo-deficits by accurately assessing stereovision.


title: The Geometry of Generalised Spin$^r$ Spinors on Projective Spaces

abstract: In this paper, we adapt the characterisation of the spin representation via exterior forms to the generalised spin$^r$ context. We find new invariant spin$^r$ spinors on the projective spaces $\mathbb{CP}^n$, $\mathbb{HP}^n$, and the Cayley plane $\mathbb{OP}^2$ for all their homogeneous realisations. Specifically, for each of these realisations, we provide a complete description of the space of invariant spin$^r$ for the minimum value of $r$ for which this space is non-zero. Additionally, we demonstrate some geometric implications of the existence of special spin$^r$ spinors on these spaces.


title: Existence of weak solutions for fractional $p(x, .)$-Laplacian Dirichlet problems with nonhomogeneous boundary conditions

abstract: In this paper, we consider the existence of solutions of the following nonhomogeneous fractional $p(x,.)$-Laplacian Dirichlet problem: \begin{equation*} \left\{\begin{aligned} \Big(-\Delta_{p(x,.)}\Big)^s u (x)&=f(x, u) &\text { in }& \Omega, u &=g &\text { in }& \mathbb{R}^N \setminus\Omega, \end{aligned}\right. \end{equation*} where $\Omega\subset\mathbb{R}^N$ is a smooth bounded domain, $\Big(-\Delta_{p(x,.)}\Big)^s$ is the fractional $p(x,.)$-Laplacian, $f$ is a Carath\'eodory function with suitable growth condition and $g$ is a given boundary data. The proof of our main existence results relies on the study of the fractional $p(x, \cdot)$-Poisson equation with a nonhomogeneous Dirichlet boundary condition and the theory of fractional Sobolev spaces with variable exponents, together with Schauder's fixed point theorem.


title: Convergence to equilibrium for a degenerate three species reaction-diffusion system

abstract: In this work, we study a reaction-diffusion system for three species. The nonlinearity in the system comes from an underlying chemical reaction. Our main objective is to understand the long time behaviour of solutions to this reaction-diffusion system when there are degeneracies. More precisely, we treat cases when one of the diffusion coefficients vanishes while the other two diffusion coefficients stay positive. We prove convergence to equilibrium type results. In all our results, the constants appearing in the decay estimates are explicit.


title: Grammar Assistance Using Syntactic Structures (GAUSS)

abstract: Automatic grammar coaching serves an important purpose of advising on standard grammar varieties while not imposing social pressures or reinforcing established social roles. Such systems already exist but most of them are for English and few of them offer meaningful feedback. Furthermore, they typically rely completely on neural methods and require huge computational resources which most of the world cannot afford. We propose a grammar coaching system for Spanish that relies on (i) a rich linguistic formalism capable of giving informative feedback; and (ii) a faster parsing algorithm which makes using this formalism practical in a real-world application. The approach is feasible for any language for which there is a computerized grammar and is less reliant on expensive and environmentally costly neural methods. We seek to contribute to Greener AI and to address global education challenges by raising the standards of inclusivity and engagement in grammar coaching.


title: Partially-elementary end extensions of countable models of set theory

abstract: Let $\mathsf{KP}$ denote Kripke-Platek Set Theory and let $\mathsf{M}$ be the weak set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that every set is contained in a transitive set ($\mathsf{TCo}$). A result due to Kaufmann shows that every countable model, $\mathcal{M}$, of $\mathsf{KP}+\Pi_n\textsf{-Collection}$ has a proper $\Sigma_{n+1}$-elementary end extension. Here we show that there are limits to the amount of the theory of $\mathcal{M}$ that can be transferred to the end extensions that are guaranteed by Kaufmann's Theorem. Using admissible covers and the Barwise Compactness Theorem, we show that if $\mathcal{M}$ is a countable model $\mathsf{KP}+\Pi_n\textsf{-Collection}+\Sigma_{n+1}\textsf{-Foundation}$ and $T$ is a recursive theory that holds in $\mathcal{M}$, then there exists a proper $\Sigma_n$-elementary end extension of $\mathcal{M}$ that satisfies $T$. We use this result to show that the theory $\mathsf{M}+\Pi_n\textsf{-Collection}+\Pi_{n+1}\textsf{-Foundation}$ proves $\Sigma_{n+1}\textsf{-Separation}$.


title: Enhanced Runge-Kutta Discontinuous Galerkin Method for Ultrasound Propagation in Transit-Time Flow Meters

abstract: We illustrate a time and memory efficient application of Runge-Kutta discontinuous Galerkin (RKDG) methods for the simulation of the ultrasounds advection in moving fluids. In particular, this study addresses to the analysis of transit-time ultrasonic meters which rely on the propagation of acoustic waves to measure fluids flow rate. Accurate and efficient simulations of the physics related to the transport of ultrasounds are therefore crucial for studying and enhancing these devices. Starting from the description of the linearized Euler equations (LEE) model and presenting the general theory of explicit-time DG methods for hyperbolic systems, we then motivate the use of a spectral basis and introduce a novel high-accuracy method for the imposition of absorbing and resistive walls which analyses the incident wave direction across the boundary surface. The proposed implementation is both accurate and efficient, making it suitable for industrial applications of acoustic wave propagation.


title: Optimal volume bound and volume growth for Ricci-nonnegative manifolds with positive Bi-Ricci curvature

abstract: In this paper, we prove the optimal volume growth for complete Riemannian manifolds $(M^n,g)$ with nonnegative Ricci curvature everywhere and bi-Ricci curvature bounded from below by $n-2$ outside a compact set when the dimension is less than eight. This answers a question [AX24, Question 1] proposed by Antonelli-Xu in dimensions six and seven. As a by-product, we also prove an analogy of Gromov's volume bound conjecture [Gro86, Open Question 2.A.(b)] under the condition of positive bi-Ricci curvature.


title: AlignedCut: Visual Concepts Discovery on Brain-Guided Universal Feature Space

abstract: We study the intriguing connection between visual data, deep networks, and the brain. Our method creates a universal channel alignment by using brain voxel fMRI response prediction as the training objective. We discover that deep networks, trained with different objectives, share common feature channels across various models. These channels can be clustered into recurring sets, corresponding to distinct brain regions, indicating the formation of visual concepts. Tracing the clusters of channel responses onto the images, we see semantically meaningful object segments emerge, even without any supervised decoder. Furthermore, the universal feature alignment and the clustering of channels produce a picture and quantification of how visual information is processed through the different network layers, which produces precise comparisons between the networks.


title: EmT: A Novel Transformer for Generalized Cross-subject EEG Emotion Recognition

abstract: Integrating prior knowledge of neurophysiology into neural network architecture enhances the performance of emotion decoding. While numerous techniques emphasize learning spatial and short-term temporal patterns, there has been limited emphasis on capturing the vital long-term contextual information associated with emotional cognitive processes. In order to address this discrepancy, we introduce a novel transformer model called emotion transformer (EmT). EmT is designed to excel in both generalized cross-subject EEG emotion classification and regression tasks. In EmT, EEG signals are transformed into a temporal graph format, creating a sequence of EEG feature graphs using a temporal graph construction module (TGC). A novel residual multi-view pyramid GCN module (RMPG) is then proposed to learn dynamic graph representations for each EEG feature graph within the series, and the learned representations of each graph are fused into one token. Furthermore, we design a temporal contextual transformer module (TCT) with two types of token mixers to learn the temporal contextual information. Finally, the task-specific output module (TSO) generates the desired outputs. Experiments on four publicly available datasets show that EmT achieves higher results than the baseline methods for both EEG emotion classification and regression tasks. The code is available at https://github.com/yi-ding-cs/EmT.


title: AI Alignment through Reinforcement Learning from Human Feedback? Contradictions and Limitations

abstract: This paper critically evaluates the attempts to align Artificial Intelligence (AI) systems, especially Large Language Models (LLMs), with human values and intentions through Reinforcement Learning from Feedback (RLxF) methods, involving either human feedback (RLHF) or AI feedback (RLAIF). Specifically, we show the shortcomings of the broadly pursued alignment goals of honesty, harmlessness, and helpfulness. Through a multidisciplinary sociotechnical critique, we examine both the theoretical underpinnings and practical implementations of RLxF techniques, revealing significant limitations in their approach to capturing the complexities of human ethics and contributing to AI safety. We highlight tensions and contradictions inherent in the goals of RLxF. In addition, we discuss ethically-relevant issues that tend to be neglected in discussions about alignment and RLxF, among which the trade-offs between user-friendliness and deception, flexibility and interpretability, and system safety. We conclude by urging researchers and practitioners alike to critically assess the sociotechnical ramifications of RLxF, advocating for a more nuanced and reflective approach to its application in AI development.


title: Sub-Gaussian High-Dimensional Covariance Matrix Estimation under Elliptical Factor Model with 2 + {\epsilon}th Moment

abstract: We study the estimation of high-dimensional covariance matrices under elliptical factor models with 2 + {\epsilon}th moment. For such heavy-tailed data, robust estimators like the Huber-type estimator in Fan, Liu and Wang (2018) can not achieve sub-Gaussian convergence rate. In this paper, we develop an idiosyncratic-projected self-normalization (IPSN) method to remove the effect of heavy-tailed scalar parameter, and propose a robust pilot estimator for the scatter matrix that achieves the sub-Gaussian rate. We further develop an estimator of the covariance matrix and show that it achieves a faster convergence rate than the generic POET estimator in Fan, Liu and Wang (2018).


title: Quantum speed limit in quantum sensing

abstract: Quantum sensors capitalize on advanced control sequences for maximizing sensitivity and precision. However, protocols are not usually optimized for temporal resolution. Here, we establish the limits for time-resolved sensing of dynamical signals using qubit probes. We show that the best possible time resolution is closely related to the quantum speed limit (QSL), which describes the minimum time needed to transform between basis states. We further show that a bipartite control sequence consisting of two phase-shifted pulses reaches the QSL. Practical implementation is discussed based on the example of the spin-1 qutrit of a nitrogen-vacancy (NV) center in diamond.


title: The Incompressible Magnetohydrodynamic Energy Cascade Rate Upstream of Mars: Effects of the Total Energy and the Cross-Helicity on Solar Wind Turbulence

abstract: Solar wind turbulence is a dynamical phenomenon that evolves with heliocentric distance. Orbiting Mars since September 2014, Mars Atmosphere and Volatile EvolutioN (MAVEN) offers a unique opportunity to explore some of its main properties beyond ~1.38 au. Here, we analyze solar wind turbulence upstream of Mars's bow shock, utilizing more than five years of magnetic field and plasma measurements. This analysis is based on two complementary methodologies: 1) the computation of magnetohydrodynamic (MHD) invariants characterizing incompressible fluctuations; 2) the estimation of the incompressible energy cascade rate at MHD scales (i.e., $\langle\varepsilon^{T}\rangle_{MHD}$). Our results show the solar wind incompressible fluctuations are primarily in a magnetically dominated regime, with the component travelling away from the Sun having a higher median pseudo-energy. Moreover, turbulent fluctuations have a total energy per mass of up to ~300 km2 s-2, a range smaller than reported at 1 au. For these conditions, we determine the probability distribution function of $\langle\varepsilon^{T}\rangle_{MHD}$ ranges mainly between ~-1x10-16 and ~1x10-16 J m-3 s-1, with a median equal to -1.8x10-18 J m-3 s-1, suggesting back-transfer of energy. Our results also suggest that $|\langle\varepsilon^{T}\rangle_{MHD}|$ is correlated with the total energy per mass of fluctuations and that the median of $\langle\varepsilon^{T}\rangle_{MHD}$ does not vary significantly with the cross-helicity. We find, however, that the medians of the inward and outward pseudo-energy cascade rates vary with the solar wind cross-helicity. Finally, we discuss these results and their implications for future studies that can provide further insight into the factors affecting solar wind energy transfer rate.


title: On Reducing Activity with Distillation and Regularization for Energy Efficient Spiking Neural Networks

abstract: Interest in spiking neural networks (SNNs) has been growing steadily, promising an energy-efficient alternative to formal neural networks (FNNs), commonly known as artificial neural networks (ANNs). Despite increasing interest, especially for Edge applications, these event-driven neural networks suffered from their difficulty to be trained compared to FNNs. To alleviate this problem, a number of innovative methods have been developed to provide performance more or less equivalent to that of FNNs. However, the spiking activity of a network during inference is usually not considered. While SNNs may usually have performance comparable to that of FNNs, it is often at the cost of an increase of the network's activity, thus limiting the benefit of using them as a more energy-efficient solution. In this paper, we propose to leverage Knowledge Distillation (KD) for SNNs training with surrogate gradient descent in order to optimize the trade-off between performance and spiking activity. Then, after understanding why KD led to an increase in sparsity, we also explored Activations regularization and proposed a novel method with Logits Regularization. These approaches, validated on several datasets, clearly show a reduction in network spiking activity (-26.73% on GSC and -14.32% on CIFAR-10) while preserving accuracy.


title: Reinforcement Learning with Intrinsically Motivated Feedback Graph for Lost-sales Inventory Control

abstract: Reinforcement learning (RL) has proven to be well-performed and general-purpose in the inventory control (IC). However, further improvement of RL algorithms in the IC domain is impeded due to two limitations of online experience. First, online experience is expensive to acquire in real-world applications. With the low sample efficiency nature of RL algorithms, it would take extensive time to train the RL policy to convergence. Second, online experience may not reflect the true demand due to the lost sales phenomenon typical in IC, which makes the learning process more challenging. To address the above challenges, we propose a decision framework that combines reinforcement learning with feedback graph (RLFG) and intrinsically motivated exploration (IME) to boost sample efficiency. In particular, we first take advantage of the inherent properties of lost-sales IC problems and design the feedback graph (FG) specially for lost-sales IC problems to generate abundant side experiences aid RL updates. Then we conduct a rigorous theoretical analysis of how the designed FG reduces the sample complexity of RL methods. Based on the theoretical insights, we design an intrinsic reward to direct the RL agent to explore to the state-action space with more side experiences, further exploiting FG's power. Experimental results demonstrate that our method greatly improves the sample efficiency of applying RL in IC. Our code is available at https://anonymous.4open.science/r/RLIMFG4IC-811D/


title: JWST, ALMA, and Keck Spectroscopic Constraints on the UV Luminosity Functions at z~7-14: Clumpiness and Compactness of the Brightest Galaxies in the Early Universe

abstract: We present the number densities and physical properties of the bright galaxies spectroscopically confirmed at $z\sim7-14$. Our sample is composed of 53 galaxies at $z_\mathrm{spec}\sim7-14$, including recently-confirmed galaxies at $z_\mathrm{spec}=12.34-14.32$ with JWST, as well as new confirmations at $z_\mathrm{spec}=6.583-7.643$ with $-24< M_\mathrm{UV}< -21$ mag using ALMA and Keck. Our JWST/NIRSpec observations have also revealed that very bright galaxy candidates at $z\sim10-13$ identified from ground-based telescope images before JWST are passive galaxies at $z\sim3-4$, emphasizing the necessity of strict screening and spectroscopy in the selection of the brightest galaxies at $z>10$. The UV luminosity functions derived from these spectroscopic results are consistent with a double power-law function, showing tensions with theoretical models at the bright end. To understand the origin of the overabundance of bright galaxies, we investigate their morphologies using JWST/NIRCam high-resolution images obtained in various surveys including PRIMER and COSMOS-Web. We find that $\sim70\%$ of the bright galaxies at $z\sim7$ exhibit clumpy morphologies with multiple sub-components, suggesting merger-induced starburst activity, which is consistent with SED fitting results showing bursty star formation histories. At $z\gtrsim10$, bright galaxies are classified into two types of galaxies; extended ones with weak high-ionization emission lines, and compact ones with strong high-ionization lines including NIV]$\lambda$1486, indicating that at least two different processes (e.g., merger-induced starburst and compact star formation/AGN) are shaping the physical properties of the brightest galaxies at $z\gtrsim10$ and are responsible for their overabundance.


title: Algebraic Versus Analytic Density of Polynomials

abstract: We show that under very mild conditions on a measure $\mu$ on the real line, the span of $\{x^n\}_{n=j}^{\infty}$ is dense in $L^2(\mu)$ for any $j\in\mathbb{N}$. We also present a slightly weaker result with an interesting proof that uses Sobolev orthogonality.


title: Kolmogorov-Arnold Graph Neural Networks

abstract: Graph neural networks (GNNs) excel in learning from network-like data but often lack interpretability, making their application challenging in domains requiring transparent decision-making. We propose the Graph Kolmogorov-Arnold Network (GKAN), a novel GNN model leveraging spline-based activation functions on edges to enhance both accuracy and interpretability. Our experiments on five benchmark datasets demonstrate that GKAN outperforms state-of-the-art GNN models in node classification, link prediction, and graph classification tasks. In addition to the improved accuracy, GKAN's design inherently provides clear insights into the model's decision-making process, eliminating the need for post-hoc explainability techniques. This paper discusses the methodology, performance, and interpretability of GKAN, highlighting its potential for applications in domains where interpretability is crucial.


title: Cavity-modified electronic interactions in molecular ensembles under vibrational strong coupling: Combined insights from cavity Born-Oppenheimer perturbation theory and ab initio wave function theory

abstract: Resonant vibrational strong coupling (VSC) between molecular vibrations and quantized field modes of low-frequency optical cavities constitutes the conceptual cornerstone of vibro-polaritonic chemistry. In this work, we theoretically investigate complementary nonresonant interactions between electrons and low-frequency cavity modes with a focus on cavity-induced modifications of electronic interactions in molecular ensembles under VSC. Methodologically, we combine cavity Born-Oppenheimer perturbation theory (CBO-PT) [Fischer, Saalfrank, JCTC 19, 7215 (2023)] with ab initio wave function approaches, specifically, CBO Hartree-Fock and coupled cluster theories. In a first step, we derive cavity-induced energy corrections to intra- and intermolecular electronic energies based on second-order CBO-PT. We find local modifications of molecular PES for selected isomerization reactions to be small and dominantly captured by the first-order dipole-fluctuation correction. Excellent agreement between CBO-PT and non-perturbative methods is obtained, which indicates potentially negligible state relaxation effects under VSC. Secondly, we examine cavity-modified intermolecular interactions revealing non-trivial corrections of dipole-dipole, dipole-induced dipole and van-der-Waals type character emerging at second-order of CBO-PT. Besides an explicit coupling of interacting dimers to cavity modes, we find a cavity-polarization dependent enhanced long-range component of dipole-induced dipole and van-der-Waals interactions. We present an illustrative numerical analysis of interaction potentials for selected molecular dimer models based on the CBO-CCSD approach, which provides a non-perturbative perspective on cavity-modified intermolecular interactions under VSC.


title: Multi-Step Reconstruction of Radio-Interferometric Images

abstract: The advent of large aperture arrays, such as the currently under construction Square Kilometer Array (SKA), allows for observing the universe in the radio-spectrum at unprecedented resolution and sensitivity. However, these telescopes produce data on the scale of exabytes, introducing a slew of hardware and software design challenges. This paper proposes a multi-step image reconstruction method that allows for partitioning visibility data by baseline length. This enables more flexible data distribution and parallelization, aiding in processing radio-astronomical observations within given constraints. The multi-step reconstruction is separated into two-steps, first reconstructing a low-resolution image with only short-baseline visibilities, and then using this image together with the long-baseline visibilities to reconstruct the full-resolution image. The proposed method only operates in the minor-cycle, and can be easily integrated into existing imaging pipelines. We show that our proposed method allows for partitioning visibilities by baseline without introducing significant additional drawbacks, having roughly the same computational cost and producing images of comparable quality to a method in the same framework that processes all baselines simultaneously.


title: Restricted baby Skyrme-Maxwell theory in a magnetic medium: BPS configurations and some properties

abstract: We study the existence of BPS configurations in a restricted baby Skyrme-Maxwell enlarged via the inclusion of a nontrivial magnetic permeability. In order to attain such a goal, we use the Bogomol'nyi-Prasad-Sommerfield prescription, which allows us to obtain the lower bound for the energy and the BPS equations whose [electrically neutral] solutions saturate that bound. During the energy minimization procedure, we find a differential constraint which involves the self-dual potential, the superpotential itself and also the magnetic permeability. In order to solve the BPS system, we focus our attention on those solutions with rotational symmetry. For that, we fix the magnetic permeability and select two BPS potentials which exhibit a similar behavior near to the vacuum. We depict the resulting profiles and proceed to an analytical description of the properties of the BPS magnetic field. Furthermore, we consider some essential aspects of our model, such as the conditions for the overall existence of the BPS solutions, and how the permeability affects the magnetic flux. Finally, we present a family of exact BPS solutions.


title: Microscopic characteristics of SF6 partial discharge induced by a floating linear metal particle

abstract: Direct current (DC) gas insulated transmission lines (GILs) have been widely used in power transmission, but might be threatened by partial discharge due to the presence of floating impurities (e.g., dust and metal particles) inside the sealed chamber. In this letter, by using a 2D fluid model we characterize the microscopic properties of the partial discharge induced by a floating linear metal particle in SF6 (both the discharge propagation and interaction between space charge and metal particle) under negative high voltage direct current (HVDC) conditions. Due to the strong electronegativity of SF6, the spatiotemporal distributions of the charged species (electrons, positive and negative ions), space charge, and reduced electric field are rather different from those in air. Notably, a negative ion region is observed around the top tip of the metal particle, and it plays an important role in the generation and propagation of primary and secondary streamers in SF6, which may lead to severe motion characteristics of the particle and aliasing of partial discharge signals. Additionally, we analyze the charging process and electric force reversal phenomenon, which may provide a more precise understanding of the underlying mechanisms of the firefly motion previously reported for DC GILs.


title: Optimizing Extension Techniques for Discovering Non-Algebraic Matroids

abstract: In this work, we revisit some combinatorial and information-theoretic extension techniques for detecting non-algebraic matroids. These are the Dress-Lov\'asz and Ahlswede-K\"orner extension properties. We provide optimizations of these techniques to reduce their computational complexity, finding new non-algebraic matroids on 9 and 10 points. In addition, we use the Ahlswede-K\"orner extension property to find better lower bounds on the information ratio of secret sharing schemes for ports of non-algebraic matroids.


title: XLD: A Cross-Lane Dataset for Benchmarking Novel Driving View Synthesis

abstract: Thoroughly testing autonomy systems is crucial in the pursuit of safe autonomous driving vehicles. It necessitates creating safety-critical scenarios that go beyond what can be safely collected from real-world data, as many of these scenarios occur infrequently on public roads. However, the evaluation of most existing NVS methods relies on sporadic sampling of image frames from the training data, comparing the rendered images with ground truth images using metrics. Unfortunately, this evaluation protocol falls short of meeting the actual requirements in closed-loop simulations. Specifically, the true application demands the capability to render novel views that extend beyond the original trajectory (such as cross-lane views), which are challenging to capture in the real world. To address this, this paper presents a novel driving view synthesis dataset and benchmark specifically designed for autonomous driving simulations. This dataset is unique as it includes testing images captured by deviating from the training trajectory by 1-4 meters. It comprises six sequences encompassing various time and weather conditions. Each sequence contains 450 training images, 150 testing images, and their corresponding camera poses and intrinsic parameters. Leveraging this novel dataset, we establish the first realistic benchmark for evaluating existing NVS approaches under front-only and multi-camera settings. The experimental findings underscore the significant gap that exists in current approaches, revealing their inadequate ability to fulfill the demanding prerequisites of cross-lane or closed-loop simulation. Our dataset is released publicly at the project page: https://3d-aigc.github.io/XLD/.


title: Stable Diffusion Segmentation for Biomedical Images with Single-step Reverse Process

abstract: Diffusion models have demonstrated their effectiveness across various generative tasks. However, when applied to medical image segmentation, these models encounter several challenges, including significant resource and time requirements. They also necessitate a multi-step reverse process and multiple samples to produce reliable predictions. To address these challenges, we introduce the first latent diffusion segmentation model, named SDSeg, built upon stable diffusion (SD). SDSeg incorporates a straightforward latent estimation strategy to facilitate a single-step reverse process and utilizes latent fusion concatenation to remove the necessity for multiple samples. Extensive experiments indicate that SDSeg surpasses existing state-of-the-art methods on five benchmark datasets featuring diverse imaging modalities. Remarkably, SDSeg is capable of generating stable predictions with a solitary reverse step and sample, epitomizing the model's stability as implied by its name. The code is available at https://github.com/lin-tianyu/Stable-Diffusion-Seg


title: Non-Markovian Quantum Exceptional Points

abstract: Exceptional points (EPs) are singularities in the spectra of non-Hermitian operators, where eigenvalues and eigenvectors coalesce. Recently, open quantum systems have been increasingly explored as EP testbeds due to their natural non-Hermitian nature. However, existing works mostly focus on the Markovian limit, leaving a gap in understanding EPs in the non-Markovian regime. In this work, we address this gap by proposing a theoretical framework based on two numerically exact descriptions of non-Markovian dynamics: the pseudomode mapping and the hierarchical equations of motion. The proposed framework enables conventional spectral analysis for EP identification, establishing direct links between EPs and dynamic manifestations in open systems, such as non-exponential decays and enhanced sensitivity to external perturbations. We unveil pure non-Markovian EPs that are unobservable in the Markovian limit. Remarkably, the EP aligns with the Markovian-to-non-Markovian transition, and the EP condition is adjustable by modifying environmental spectral properties. Moreover, we show that structured environments can elevate EP order, thereby enhancing the system's sensitivity. These findings lay a theoretical foundation and open new avenues for non-Markovian reservoir engineering and non-Hermitian physics.


title: Towards View-based Development of Quantum Software

abstract: Quantum computing is an interdisciplinary field that relies on the expertise of many different stakeholders. The views of various stakeholders on the subject of quantum computing may differ, thereby complicating communication. To address this, we propose a view-based quantum development approach based on a Single Underlying Model (SUM) and a supporting quantum Integrated Development Environment (IDE). We highlight emerging challenges for future research.


title: Research on Information Extraction of LCSTS Dataset Based on an Improved BERTSum-LSTM Model

abstract: With the continuous advancement of artificial intelligence, natural language processing technology has become widely utilized in various fields. At the same time, there are many challenges in creating Chinese news summaries. First of all, the semantics of Chinese news is complex, and the amount of information is enormous. Extracting critical information from Chinese news presents a significant challenge. Second, the news summary should be concise and clear, focusing on the main content and avoiding redundancy. In addition, the particularity of the Chinese language, such as polysemy, word segmentation, etc., makes it challenging to generate Chinese news summaries. Based on the above, this paper studies the information extraction method of the LCSTS dataset based on an improved BERTSum-LSTM model. We improve the BERTSum-LSTM model to make it perform better in generating Chinese news summaries. The experimental results show that the proposed method has a good effect on creating news summaries, which is of great importance to the construction of news summaries.


title: Themis: Towards Flexible and Interpretable NLG Evaluation

abstract: The evaluation of natural language generation (NLG) tasks is a significant and longstanding research issue. With the recent emergence of powerful large language models (LLMs), some studies have turned to LLM-based automatic evaluation methods, which demonstrate great potential to become a new evaluation paradigm following traditional string-based and model-based metrics. However, despite the improved performance of existing methods, they still possess some deficiencies, such as dependency on references and limited evaluation flexibility. Therefore, in this paper, we meticulously construct a large-scale NLG evaluation corpus NLG-Eval with human and GPT-4 annotations to alleviate the lack of relevant data in this field. Furthermore, we propose Themis, an LLM dedicated to NLG evaluation, which has been trained with our designed multi-perspective consistency and rating-oriented preference alignment methods. Themis can conduct flexible and interpretable evaluations without references, and it exhibits superior evaluation performance on various NLG tasks, simultaneously generalizing well to unseen tasks and surpassing other evaluation models, including GPT-4.


title: Active Learning for Stellar Spectral Classification

abstract: Supervised machine learning models are increasingly being used for solving the problem of stellar classification of spectroscopic data. However, training such models requires a large number of labelled instances, the collection of which is usually costly in both time and expertise. This paper explores the application of active learning algorithms to sampling stellar spectra using data from a highly class-imbalanced dataset. We utilize the MaStar library from the SDSS DR17 along with its associated stellar parameter catalogue. Using different active learning algorithms, we iteratively select informative instances, where the model or committee of models exhibits the highest uncertainty or disagreement, respectively. We assess the effectiveness of the sampling techniques by comparing several performance metrics of supervised-learning models trained on the queried samples with randomly-sampled counterparts. Evaluation metrics include specificity, sensitivity, and the area under the curve, in addition to the Matthew\'s correlation coefficient, which offers a more-balanced assessment that considers all aspects of the confusion matrix, and is thus more suitable for use with imbalanced datasets. We apply this procedure to effective temperature, surface gravity, and iron metallicity, separately. Our results demonstrate the effectiveness of active learning algorithms in selecting samples that produce performance metrics superior to random sampling and even stratified samples. We discuss the implications of the findings for prioritizing instance labelling of astronomical-survey data by experts or crowdsourcing to mitigate the high time cost.


title: A search for $R$-parity violating supersymmetric decays of the top squark to a $b$-jet and a lepton in $\sqrt{s}$ = 13 TeV $pp$ collisions with the ATLAS detector

abstract: A search is presented for direct pair production of the stop, the supersymmetric partner of the top quark, in a decay through an $R$-parity violating coupling to a charged lepton and a $b$-quark. The dataset corresponds to an integrated luminosity of 140 fb$^{-1}$ of proton-proton collisions at a center-of-mass energy of $\sqrt{s}$ = 13 TeV collected between 2015 and 2018 by the ATLAS detector at the LHC. The final state has two charged leptons (electrons or muons) and two $b$-jets. The results of the search are interpreted in the context of a Minimal Supersymmetric Standard Model with an additional $B-L$ gauge symmetry that is spontaneously broken. No significant excess is observed over the Standard Model background and exclusion limits on stop pair production are set at 95% confidence level. The corresponding lower limits on the stop mass for 100% branching ratios to a $b$-quark and an electron, muon, or tau-lepton are 1.9 TeV, 1.8 TeV and 800 GeV, respectively, extending the reach of previous LHC searches.


title: Future singularity in anisotropic universe

abstract: We investigate future singularities originating from the anisotropy in the universe. We formulate a new class of singularities in the homogeneous and anisotropic universe, comparing them with the known singularities in the homogeneous and isotropic universe. We also discuss the physical consequences of the new singularities. Moreover, we develop a novel reconstruction method for the anisotropic universe by introducing four scalar fields to reconstruct cosmological models in which future singularities appear. We present an explicit example where the anisotropy may grow in the future up to singularity.


title: 112 years of listening to Riemannian manifolds

abstract: In 1910, Hendrik Antoon Lorentz delved into the enigmatic Laplace eigenvalue equation, also known as the Helmholtz equation, pondering to what extent the geometry in which one solves the equation can be recovered from knowledge of the eigenvalues. This equation, foundational in physics, puzzled scholars for decades due to its complexities when seeking a solution in an arbitrarily shaped bounded domain. Lorentz, inspired by physical and musical analogies, conjectured a fundamental relationship between eigenvalues, domain volume, and dimensionality. While his conjecture initially seemed insurmountable, Hermann Weyl's groundbreaking proof in 1912 illuminated the deep connection between eigenvalues and geometric properties. Over the ensuing 112 years, mathematicians and physicists have continued to listen to Riemannian manifolds, deciphering the intricate interplay between eigenvalues and geometry. From Weyl's law to Milnor's example of isospectral non-isometric flat tori, and Mark Kac's influential work, the field has witnessed remarkable progress, uncovering spectral invariants and advancing our understanding of geometric properties discernible through eigenvalues. This article offers a comprehensive survey of these developments, catering to both novices and experts alike. By elucidating key proofs and exploring diverse research niches, we trace the evolution of eigenvalue studies, culminating in a glimpse of the future directions this rich field may take.


title: Learning pure quantum states (almost) without regret

abstract: We initiate the study of quantum state tomography with minimal regret. A learner has sequential oracle access to an unknown pure quantum state, and in each round selects a pure probe state. Regret is incurred if the unknown state is measured orthogonal to this probe, and the learner's goal is to minimise the expected cumulative regret over $T$ rounds. The challenge is to find a balance between the most informative measurements and measurements incurring minimal regret. We show that the cumulative regret scales as $\Theta(\operatorname{polylog} T)$ using a new tomography algorithm based on a median of means least squares estimator. This algorithm employs measurements biased towards the unknown state and produces online estimates that are optimal (up to logarithmic terms) in the number of observed samples.


title: Building multiscale models with PhysiBoSS, an agent-based modeling tool

abstract: Multiscale models provide a unique tool for studying complex processes that study events occurring at different scales across space and time. In the context of biological systems, such models can simulate mechanisms happening at the intracellular level such as signaling, and at the extracellular level where cells communicate and coordinate with other cells. They aim to understand the impact of genetic or environmental deregulation observed in complex diseases, describe the interplay between a pathological tissue and the immune system, and suggest strategies to revert the diseased phenotypes. The construction of these multiscale models remains a very complex task, including the choice of the components to consider, the level of details of the processes to simulate, or the fitting of the parameters to the data. One additional difficulty is the expert knowledge needed to program these models in languages such as C++ or Python, which may discourage the participation of non-experts. Simplifying this process through structured description formalisms -- coupled with a graphical interface -- is crucial in making modeling more accessible to the broader scientific community, as well as streamlining the process for advanced users. This article introduces three examples of multiscale models which rely on the framework PhysiBoSS, an add-on of PhysiCell that includes intracellular descriptions as continuous time Boolean models to the agent-based approach. The article demonstrates how to easily construct such models, relying on PhysiCell Studio, the PhysiCell Graphical User Interface. A step-by-step tutorial is provided as a Supplementary Material and all models are provided at: https://physiboss.github.io/tutorial/.


title: A Lightweight Algorithm for Classifying Ex Vivo Tissues Samples

abstract: In this paper, we present a novel algorithm for classifying ex vivo tissue that comprises multi-channel bioimpedance analysis and a hardware neural network. When implemented in a mixed-signal 180 nm CMOS process, the classifier has an estimated power budget of 39 mW and an area of 30 mm2. This means that the classifier can be integrated into the tip of a surgical margin assessment probe, for in vivo use during radical prostatectomy. We tested our classifier on digital phantoms of prostate tissue and also on an animal model of ex vivo bovine tissue. The classifier achieved an accuracy of 90% on the prostate tissue phantoms, and an accuracy of 84% on the animal model.


title: Dynamic Data Pruning for Automatic Speech Recognition

abstract: The recent success of Automatic Speech Recognition (ASR) is largely attributed to the ever-growing amount of training data. However, this trend has made model training prohibitively costly and imposed computational demands. While data pruning has been proposed to mitigate this issue by identifying a small subset of relevant data, its application in ASR has been barely explored, and existing works often entail significant overhead to achieve meaningful results. To fill this gap, this paper presents the first investigation of dynamic data pruning for ASR, finding that we can reach the full-data performance by dynamically selecting 70% of data. Furthermore, we introduce Dynamic Data Pruning for ASR (DDP-ASR), which offers several fine-grained pruning granularities specifically tailored for speech-related datasets, going beyond the conventional pruning of entire time sequences. Our intensive experiments show that DDP-ASR can save up to 1.6x training time with negligible performance loss.


title: Non-Planar Two-Loop Amplitudes for Five-Parton Scattering

abstract: We review the current status of high-multiplicity double-virtual QCD corrections to processes relevant for LHC phenomenology. In particular, we discuss the recent full-color calculation of the five-parton process, whose two-loop amplitudes are required to obtain next-to-next-to-leading order predictions for three-jet production at the LHC. We address various aspects of the computation, including color decomposition, renormalization, partial amplitudes, color identities and the construction of the finite remainder. We review the method of numerical unitarity, which is used to generate finite-field samples of the amplitude. We then focus on the analytic reconstruction of the coefficient functions from these numerical samples via Ansatz techniques. A novel algorithm, based on the correlation of codimension-one residues, helps manage the complexity of the calculation. Little-group rescalings of the gluon amplitude, inspired by supersymmetry Ward identities, facilitate the computation of the quark amplitudes. We conclude with an outlook towards upcoming computations with an increased number of scales, leading to larger Ans\"atze and more complicated alphabets.


title: From Majority to Minority: A Diffusion-based Augmentation for Underrepresented Groups in Skin Lesion Analysis

abstract: AI-based diagnoses have demonstrated dermatologist-level performance in classifying skin cancer. However, such systems are prone to under-performing when tested on data from minority groups that lack sufficient representation in the training sets. Although data collection and annotation offer the best means for promoting minority groups, these processes are costly and time-consuming. Prior works have suggested that data from majority groups may serve as a valuable information source to supplement the training of diagnosis tools for minority groups. In this work, we propose an effective diffusion-based augmentation framework that maximizes the use of rich information from majority groups to benefit minority groups. Using groups with different skin types as a case study, our results show that the proposed framework can generate synthetic images that improve diagnostic results for the minority groups, even when there is little or no reference data from these target groups. The practical value of our work is evident in medical imaging analysis, where under-diagnosis persists as a problem for certain groups due to insufficient representation.


title: Transient States to Control the Electromagnetic Response of Space-time Dispersive Media

abstract: In this paper, we study the dynamic formation of transients when plane waves impinge on a dispersive slab that abruptly changes its electrical properties in time. The time-varying slab alternates between air and metal-like states, whose frequency dispersion is described by the Drude model. It is shown how the physics of this complex system can be well described with the joint combination of two terms: one associated with temporal refractions and the other associated with spatial refractions. To test the validity of the approach, some analytical results are compared with a self-implemented finite-difference time-domain (FDTD) method. Results show how the transients that occurred after the abrupt temporal changes can shape the overall steady-state response of the space-time system. In fact, far from always being detrimental, these transient states can be conveniently used to perform frequency conversion or to amplify/attenuate the electromagnetic fields.


title: Regular Coderivative and Graphical Derivative of the Metric Projection onto closed Balls in Hilbert spaces

abstract: In this paper, we first establish a formula for exactly computing the regular coderivative of the metric projection operator onto closed balls $r\mathbb{B}$ centered at the origin in Hilbert spaces. Then, this result is extended to metric projection operator onto any closed balls $\mathbb{B}(c,r)$, which has center $c$ in Hilbert space $H$ and with radius $r > 0$. Finally, we give the formula for calculating the graphical derivative of the metric projection operator onto closed balls with center at arbitrarily given point in Hilbert spaces.


title: Categorification of quantum Borcherds-Bozec algebras

abstract: We categorify the quantum Borcherds-Bozec algebras by constructing their associated Khovanov-Lauda-Rouquier algebras.


title: MALSIGHT: Exploring Malicious Source Code and Benign Pseudocode for Iterative Binary Malware Summarization

abstract: Binary malware summarization aims to automatically generate human-readable descriptions of malware behaviors from executable files, facilitating tasks like malware cracking and detection. Previous methods based on Large Language Models (LLMs) have shown great promise. However, they still face significant issues, including poor usability, inaccurate explanations, and incomplete summaries, primarily due to the obscure pseudocode structure and the lack of malware training summaries. Further, calling relationships between functions, which involve the rich interactions within a binary malware, remain largely underexplored. To this end, we propose MALSIGHT, a novel code summarization framework that can iteratively generate descriptions of binary malware by exploring malicious source code and benign pseudocode. Specifically, we construct the first malware summaries, MalS and MalP, using an LLM and manually refine this dataset with human effort. At the training stage, we tune our proposed MalT5, a novel LLM-based code model, on the MalS dataset and a benign pseudocode dataset. Then, at the test stage, we iteratively feed the pseudocode functions into MalT5 to obtain the summary. Such a procedure facilitates the understanding of pseudocode structure and captures the intricate interactions between functions, thereby benefiting the usability, accuracy, and completeness of summaries. Additionally, we propose a novel evaluation benchmark, BLEURT-sum, to measure the quality of summaries. Experiments on three datasets show the effectiveness of the proposed MALSIGHT. Notably, our proposed MalT5, with only 0.77B parameters, delivers comparable performance to much larger ChatGPT3.5.


title: KAGNNs: Kolmogorov-Arnold Networks meet Graph Learning

abstract: In recent years, Graph Neural Networks (GNNs) have become the de facto tool for learning node and graph representations. Most GNNs typically consist of a sequence of neighborhood aggregation (a.k.a., message passing) layers. Within each of these layers, the representation of each node is updated from an aggregation and transformation of its neighbours representations at the previous layer. The upper bound for the expressive power of message passing GNNs was reached through the use of MLPs as a transformation, due to their universal approximation capabilities. However, MLPs suffer from well-known limitations, which recently motivated the introduction of Kolmogorov-Arnold Networks (KANs). KANs rely on the Kolmogorov-Arnold representation theorem, rendering them a promising alternative to MLPs. In this work, we compare the performance of KANs against that of MLPs in graph learning tasks. We perform extensive experiments on node classification, graph classification and graph regression datasets. Our preliminary results indicate that while KANs are on-par with MLPs in classification tasks, they seem to have a clear advantage in the graph regression tasks.


title: Robotic Exploration through Semantic Topometric Mapping

abstract: In this article, we introduce a novel strategy for robotic exploration in unknown environments using a semantic topometric map. As it will be presented, the semantic topometric map is generated by segmenting the grid map of the currently explored parts of the environment into regions, such as intersections, pathways, dead-ends, and unexplored frontiers, which constitute the structural semantics of an environment. The proposed exploration strategy leverages metric information of the frontier, such as distance and angle to the frontier, similar to existing frameworks, with the key difference being the additional utilization of structural semantic information, such as properties of the intersections leading to frontiers. The algorithm for generating semantic topometric mapping utilized by the proposed method is lightweight, resulting in the method's online execution being both rapid and computationally efficient. Moreover, the proposed framework can be applied to both structured and unstructured indoor and outdoor environments, which enhances the versatility of the proposed exploration algorithm. We validate our exploration strategy and demonstrate the utility of structural semantics in exploration in two complex indoor environments by utilizing a Turtlebot3 as the robotic agent. Compared to traditional frontier-based methods, our findings indicate that the proposed approach leads to faster exploration and requires less computation time.


title: Adversarial Search Engine Optimization for Large Language Models

abstract: Large Language Models (LLMs) are increasingly used in applications where the model selects from competing third-party content, such as in LLM-powered search engines or chatbot plugins. In this paper, we introduce Preference Manipulation Attacks, a new class of attacks that manipulate an LLM's selections to favor the attacker. We demonstrate that carefully crafted website content or plugin documentations can trick an LLM to promote the attacker products and discredit competitors, thereby increasing user traffic and monetization. We show this leads to a prisoner's dilemma, where all parties are incentivized to launch attacks, but the collective effect degrades the LLM's outputs for everyone. We demonstrate our attacks on production LLM search engines (Bing and Perplexity) and plugin APIs (for GPT-4 and Claude). As LLMs are increasingly used to rank third-party content, we expect Preference Manipulation Attacks to emerge as a significant threat.


title: Rauzy dimension and finite-state dimension

abstract: In a paper of 1976, Rauzy studied two complexity notions, $\underline{\beta}$ and $\overline{\beta}$, for infinite sequences over a finite alphabet. The function $\underline{\beta}$ is maximum exactly in the Borel normal sequences and $\overline{\beta}$ is minimum exactly in the sequences that, when added to any Borel normal sequence, the result is also Borel normal. Although the definition of $\underline{\beta}$ and $\overline{\beta}$ do not involve finite-state automata, we establish some connections between them and the lower $\underline{\rm dim}$ and upper $\overline{\rm dim}$ finite-state dimension (or other equivalent notions like finite-state compression ratio, aligned-entropy or cumulative log-loss of finite-state predictors). We show tight lower and upper bounds on $\underline{\rm dim}$ and $\overline{\rm dim}$ as functions of $\underline{\beta}$ and $\overline{\beta}$, respectively. In particular this implies that sequences with $\overline{\rm dim}$ zero are exactly the ones that that, when added to any Borel normal sequence, the result is also Borel normal. We also show that the finite-state dimensions $\underline{\rm dim}$ and $\overline{\rm dim}$ are essentially subadditive. We need two technical tools that are of independent interest. One is the family of local finite-state automata, which are automata whose memory consists of the last $k$ read symbols for some fixed integer $k$. We show that compressors based on local finite-state automata are as good as standard finite-state compressors. The other one is a notion of finite-state relational (non-deterministic) compressor, which can compress an input in several ways provided the input can always be recovered from any of its outputs. We show that such compressors cannot compress more than standard (deterministic) finite-state compressors.


title: Dependence on parameters of solutions for a generalized poly-Laplacian system on weighted graphs

abstract: We mainly investigate the continuous dependence on parameters of nontrivial solutions for a generalized poly-Laplacian system on the weighted finite graph $G=(V, E)$. We firstly present an existence result of mountain pass type nontrivial solutions when the nonlinear term $F$ satisfies the super-$(p, q)$ linear growth condition which is a simple generalization of those results in [28]. Then we mainly show that the mountain pass type nontrivial solutions of the poly-Laplacian system are uniformly bounded for parameters and the concrete upper and lower bounds are given, and are continuously dependent on parameters. Similarly, we also present the existence result, the concrete upper and lower bounds, uniqueness, and dependence on parameters for the locally minimum type nontrivial solutions. Subsequently, we present an example on optimal control as an application of our results. Finally, we give a nonexistence result and some results for the corresponding scalar equation.


title: Bending Light via Transverse Momentum Exchange: Theory and Experiment

abstract: In this work we present a transport model for the paraxial propagation of vector beams. Of particular importance is the appearance of a new transverse momentum term proportional to the linear polarization angle gradient imparted to the beam during the beam preparation process. The model predicts that during propagation, this new momentum will be exchanged for classical transverse momentum, thereby causing the beam to accelerate. We observe the momentum exchange in experiment by designing the polarization profile in such a way as to cause the beam centroid to follow a parabolic path through free space.


title: On the relative packing densities of pistachios and pistachio shells

abstract: Given an appetizer bowl full of $N$ pistachios, what is the optimal size of the container -- neither too small, nor too big -- needed for accommodating the resulting $2N$ non-edible pistachio shells? Performing a simple experiment we find that, provided the shells are densely packed, such container needs only be slightly more than half ($\approx 0.57$) that of the original pistachio bowl. If loosely packed this number increases to $\approx 0.73$. Our results are discussed in light of existing literature on packing ellipsoids and spherical caps.


title: DoubleTake: Geometry Guided Depth Estimation

abstract: Estimating depth from a sequence of posed RGB images is a fundamental computer vision task, with applications in augmented reality, path planning etc. Prior work typically makes use of previous frames in a multi view stereo framework, relying on matching textures in a local neighborhood. In contrast, our model leverages historical predictions by giving the latest 3D geometry data as an extra input to our network. This self-generated geometric hint can encode information from areas of the scene not covered by the keyframes and it is more regularized when compared to individual predicted depth maps for previous frames. We introduce a Hint MLP which combines cost volume features with a hint of the prior geometry, rendered as a depth map from the current camera location, together with a measure of the confidence in the prior geometry. We demonstrate that our method, which can run at interactive speeds, achieves state-of-the-art estimates of depth and 3D scene reconstruction in both offline and incremental evaluation scenarios.


title: SAM: Semi-Active Mechanism for Extensible Continuum Manipulator and Real-time Hysteresis Compensation Control Algorithm

abstract: Cable-Driven Continuum Manipulators (CDCMs) enable scar-free procedures via natural orifices and improve target lesion accessibility through curved paths. However, CDCMs face limitations in workspace and control accuracy due to non-linear cable effects causing hysteresis. This paper introduces an extensible CDCM with a Semi-active Mechanism (SAM) to expand the workspace via translational motion without additional mechanical elements or actuation. We collect a hysteresis dataset using 8 fiducial markers and RGBD sensing. Based on this dataset, we develop a real-time hysteresis compensation control algorithm using the trained Temporal Convolutional Network (TCN) with a 1ms time latency, effectively estimating the manipulator's hysteresis behavior. Performance validation through random trajectory tracking tests and box pointing tasks shows the proposed controller significantly reduces hysteresis by up to 69.5% in joint space and approximately 26% in the box pointing task.


title: Blockchain Based Zero-Knowledge Proof of Location in IoT

abstract: With the development of precise positioning technology, a growing number of location-based services (LBSs) facilitate people's life. Most LBSs require proof of location (PoL) to prove that the user satisfies the service requirement, which exposes the user's privacy. In this paper, we propose a zero-knowledge proof of location (zk-PoL) protocol to better protect the user's privacy. With the zk-PoL protocol, the user can choose necessary information to expose to the server, so that hierarchical privacy protection can be achieved. The evaluation shows that the zk-PoL has excellent security to resist main attacks, moreover the computational efficiency is independent of input parameters and the zk-PoL is appropriate to delay-tolerant LBSs.


title: The $\ell$-test: leveraging sparsity in the Gaussian linear model for improved inference

abstract: We develop novel LASSO-based methods for coefficient testing and confidence interval construction in the Gaussian linear model with $n\ge d$. Our methods' finite-sample guarantees are identical to those of their ubiquitous ordinary-least-squares-$t$-test-based analogues, yet have substantially higher power when the true coefficient vector is sparse. In particular, our coefficient test, which we call the $\ell$-test, performs like the one-sided $t$-test (despite not being given any information about the sign) under sparsity, and the corresponding confidence intervals are more than 10% shorter than the standard $t$-test based intervals. The nature of the $\ell$-test directly provides a novel exact adjustment conditional on LASSO selection for post-selection inference, allowing for the construction of post-selection p-values and confidence intervals. None of our methods require resampling or Monte Carlo estimation. We perform a variety of simulations and a real data analysis on an HIV drug resistance data set to demonstrate the benefits of the $\ell$-test. We end with a discussion of how the $\ell$-test may asymptotically apply to a much more general class of parametric models.


title: CmWave and Sub-THz: Key Radio Enablers and Complementary Spectrum for 6G

abstract: Sixth-generation (6G) networks are poised to revolutionize communication by exploring alternative spectrum options, aiming to capitalize on strengths while mitigating limitations in current fifth-generation (5G) spectrum. This paper explores the potential opportunities and emerging trends for cmWave and sub-THz spectra as key radio enablers. This paper poses and answers three key questions regarding motivation of additional spectrum to explore the strategic implementation and benefits of cmWave and sub-THz spectra. Also, we show using case studies how these complementary spectrum bands will enable new applications in 6G, such as integrated sensing and communication (ISAC), re-configurable intelligent surfaces (RIS) and non-terrestrial networks (NTN). Numerical simulations reveal that the ISAC performance of cmWave and sub-THz spectra outperforms that of existing 5G spectrum, including sub-6 GHz and mmWave. Additionally, we illustrate the effective interplay between RIS and NTN to counteract the effects of high attenuation at sub-THz frequencies. Finally, ongoing standardization endeavors, challenges and promising directions are elucidated for these complementary spectrum bands.


title: Surface parameterisation and spectral synthesis of rapidly rotating stars. Vega as a testbed

abstract: Spectral synthesis is a powerful tool with which to find the fundamental parameters of stars. Models are usually restricted to single values of temperature and gravity, and assume spherical symmetry. This approximation breaks down for rapidly rotating stars.This paper presents a joint formalism to allow a computation of the stellar structure, namely, the photospheric radius, the effective temperature, and gravity, as a function of the colatitude for rapid rotators with radiative envelopes, and a subsequent method to build the corresponding synthetic spectrum. The structure of the star is computed using a semi-analytical approach, which is easy to implement from a computational point of view and which reproduces very accurately the results of much more complex codes. Once R, T, and g are computed, the suite of code atlas and synthe, by R. Kurucz are used to synthesise spectra for a mesh of cells in which the star is divided. The appropriate limb-darkening coefficients are also computed, and the final output spectrum is built for a given inclination of the rotation axis with respect to the line of sight. All the geometrical transformations required are described in detail. The combined formalism has been applied to Vega, a rapidly rotating star almost seen pole-on, as a testbed. The structure reproduces the results from interferometric studies and the synthetic spectrum matches the peculiar shape of the spectral lines well. Contexts where this formalism can be applied are outlined.


title: Stability and Robustness of Time-discretization Schemes for the Allen-Cahn Equation via Bifurcation and Perturbation Analysis

abstract: The Allen-Cahn equation is a fundamental model for phase transitions, offering critical insights into the dynamics of interface evolution in various physical systems. This paper investigates the stability and robustness of frequently utilized time-discretization numerical schemes for solving the Allen-Cahn equation, with focuses on the Backward Euler, Crank-Nicolson (CN), convex splitting of modified CN, and Diagonally Implicit Runge-Kutta (DIRK) methods. Our stability analysis reveals that the Convex Splitting of the Modified CN scheme exhibits unconditional stability, allowing greater flexibility in time step selection, while the other schemes are conditionally stable. Additionally, our robustness analysis highlights that the Backward Euler method converges to correct physical solutions regardless of initial conditions. In contrast, the other methods studied in this work show sensitivity to initial conditions and may converge to incorrect physical solutions if the initial conditions are not carefully chosen. This study introduces a comprehensive approach to assessing stability and robustness in numerical methods for solving the Allen-Cahn equation, providing a new perspective for evaluating numerical techniques for general nonlinear differential equations.


title: AlphaForge: A Framework to Mine and Dynamically Combine Formulaic Alpha Factors

abstract: The variability and low signal-to-noise ratio in financial data, combined with the necessity for interpretability, make the alpha factor mining workflow a crucial component of quantitative investment. Transitioning from early manual extraction to genetic programming, the most advanced approach in this domain currently employs reinforcement learning to mine a set of combination factors with fixed weights. However, the performance of resultant alpha factors exhibits inconsistency, and the inflexibility of fixed factor weights proves insufficient in adapting to the dynamic nature of financial markets. To address this issue, this paper proposes a two-stage formulaic alpha generating framework AlphaForge, for alpha factor mining and factor combination. This framework employs a generative-predictive neural network to generate factors, leveraging the robust spatial exploration capabilities inherent in deep learning while concurrently preserving diversity. The combination model within the framework incorporates the temporal performance of factors for selection and dynamically adjusts the weights assigned to each component alpha factor. Experiments conducted on real-world datasets demonstrate that our proposed model outperforms contemporary benchmarks in formulaic alpha factor mining. Furthermore, our model exhibits a notable enhancement in portfolio returns within the realm of quantitative investment.


title: The Advanced CCD Imaging Spectrometer on the Chandra X-ray Observatory: twenty-five years of on-orbit operation

abstract: As the Advanced CCD Imaging Spectrometer (ACIS) on the Chandra X-ray Observatory completes a quarter century of on orbit operations, it continues to perform well and produce spectacular scientific results. The response of ACIS has evolved over the lifetime of the observatory due to radiation damage, molecular contamination, changing particle environment, and aging of the spacecraft in general. We present highlights from the instrument team's monitoring program and our expectations for the future of ACIS. Performance changes on ACIS continue to be manageable, and do not indicate any limitations on ACIS lifetime. We examine aspects of the design and operation of ACIS that have impacted its long lifetime with lessons learned for future instruments.


title: Holomorphic retracts in the Lie ball and the tetrablock

abstract: In this article, we study various properties of holomorphic retracts in Lempert domains. We associate the existence and the related form of holomorphic retracts with the linear ones, provide non-trivial examples and discuss their properties in a quite general setting. Later we specialize on two Lempert domains which are the Lie ball of dimension three and its $2$-proper holomorphic image, that is, the tetrablock and give a complete description of holomorphic retracts in these domains.


title: Second Maximum of a Gaussian Random Field and Exact (t-)Spacing test

abstract: In this article, we introduce the novel concept of the second maximum of a Gaussian random field on a Riemannian submanifold. This second maximum serves as a powerful tool for characterizing the distribution of the maximum. By utilizing an ad-hoc Kac Rice formula, we derive the explicit form of the maximum's distribution, conditioned on the second maximum and some regressed component of the Riemannian Hessian. This approach results in an exact test, based on the evaluation of spacing between these maxima, which we refer to as the spacing test. We investigate the applicability of this test in detecting sparse alternatives within Gaussian symmetric tensors, continuous sparse deconvolution, and two-layered neural networks with smooth rectifiers. Our theoretical results are supported by numerical experiments, which illustrate the calibration and power of the proposed tests. More generally, this test can be applied to any Gaussian random field on a Riemannian manifold, and we provide a general framework for the application of the spacing test in continuous sparse kernel regression. Furthermore, when the variance-covariance function of the Gaussian random field is known up to a scaling factor, we derive an exact Studentized version of our test, coined the $t$-spacing test. This test is perfectly calibrated under the null hypothesis and has high power for detecting sparse alternatives.

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


title: A note on the stability of two families of two-step schemes

abstract: We investigate the stability of two families of three-level two-step schemes that extend the classical second order BDF (BDF2) and second order Adams-Moulton (AM2) schemes. For a free parameter restricted to an appropriate range that covers the classical case, we show that both the generalized BDF2 and the generalized AM2 schemes are A-stable. We also introduce the concept of uniform-in-time stability which characterizes a scheme's ability to inherit the uniform boundedness over all time of the solution of damped and forced equation with the force uniformly bounded in time. We then demonstrate that A-stability and uniform-in-time stability are equivalent for three-level two-step schemes. Next, these two families of schemes are utilized to construct efficient and unconditionally stable IMEX schemes for systems that involve a damping term, a skew symmetric term, and a forcing term. These novel IMEX schemes are shown to be uniform-in-time energy stable in the sense that the norm of any numerical solution is bounded uniformly over all time, provided that the forcing term is uniformly bounded time, the skew symmetric term is dominated by the dissipative term, together with a mild time-step restriction. Numerical experiments verify our theoretical results. They also indicate that the generalized schemes could be more accurate and/or more stable than the classical ones for suitable choice of the parameter.


title: Kan extendable subcategories and fibrewise topology

abstract: We use pointwise Kan extensions to generate new subcategories out of old ones. We investigate the properties of these newly produced categories and give sufficient conditions for their cartesian closedness to hold. Our methods are of general use. Here we apply them particularly to the study of the properties of certain categories of fibrewise topological spaces. In particular, we prove that the categories of fibrewise compactly generated spaces, fibrewise sequential spaces and fibrewise Alexandroff spaces are cartesian closed provided that the base space satisfies the right separation axiom.


title: Do LLMs dream of elephants (when told not to)? Latent concept association and associative memory in transformers

abstract: Large Language Models (LLMs) have the capacity to store and recall facts. Through experimentation with open-source models, we observe that this ability to retrieve facts can be easily manipulated by changing contexts, even without altering their factual meanings. These findings highlight that LLMs might behave like an associative memory model where certain tokens in the contexts serve as clues to retrieving facts. We mathematically explore this property by studying how transformers, the building blocks of LLMs, can complete such memory tasks. We study a simple latent concept association problem with a one-layer transformer and we show theoretically and empirically that the transformer gathers information using self-attention and uses the value matrix for associative memory.


title: Photometry of comet 29P/Schwassmann-Wachmann 1 in 2012-2019

abstract: The analysis of photometrical observations of comet 29P/Schwassmann-Wachmann 1 is presented. The broadband observations were carried out for 15 nights from 2012 to 2019 at the Lisnyky observational station of Taras Shevchenko National University of Kyiv. Apparent magnitudes and dust productivity level $Af\rho$ in filter R were calculated. Middle and height dust activity of the comet is characterized by parameter $Af\rho$ which varied from 1246 to 17563 cm during all periods of observation. Based on the morphological analysis, four jet-like structures were detected in the coma on almost all dates. Using the geometrical model for the jet structure interpretation during all observation sets, we obtained following results: the nucleus rotation periodof 57\pm2 days, the rotational axis orientation, the locations of active regions for four jet-like structures within a narrow belt near the equator.


title: Hint to Supersymmetry from GR Vacuum

abstract: The $S$-matrix formulation of gravity suggests that the $\theta$-vacuum structure must not be sustained by the theory. We point out that, when applied to the vacuum of general relativity, this criterion hints to supersymmetry. The topological susceptibility of gravitational vacuum induced by Eguchi-Hanson instantons can be eliminated neither by spin-$1/2$ fermions nor by an axion coupled via them since such fermions do not provide instanton zero modes. Instead, the job is done by a spin-$3/2$ fermion, hence realizing a local supersymmetry. This scenario also necessitates the spontaneous breaking of supersymmetry and predicts the existence of axion of $R$-symmetry which gets mass exclusively from the gravitational instantons. The $R$-axion can be a viable dark matter candidate. Matching between the index and the anomaly imposes a constraint that spin-$1/2$ fermions should not contribute to the chiral gravitational anomaly.


title: LLMs instead of Human Judges? A Large Scale Empirical Study across 20 NLP Evaluation Tasks

abstract: There is an increasing trend towards evaluating NLP models with LLM-generated judgments instead of human judgments. In the absence of a comparison against human data, this raises concerns about the validity of these evaluations; in case they are conducted with proprietary models, this also raises concerns over reproducibility. We provide JUDGE-BENCH, a collection of 20 NLP datasets with human annotations, and comprehensively evaluate 11 current LLMs, covering both open-weight and proprietary models, for their ability to replicate the annotations. Our evaluations show that each LLM exhibits a large variance across datasets in its correlation to human judgments. We conclude that LLMs are not yet ready to systematically replace human judges in NLP.


title: Stochastic homogenization of HJ equations: a differential game approach

abstract: We prove stochastic homogenization for a class of non-convex and non-coercive first-order Hamilton-Jacobi equations in a finite-range of dependence environment for Hamiltonians that can be expressed by a max-min formula. We make use of the representation of the solution as a value function of a differential game to implement a game-theoretic approach to the homogenization problem.


title: Longitudinal chiral forces in photonic integrated waveguides to separate particles with realistically small chirality

abstract: Chiral optical forces exhibit opposite signs for the two enantiomeric versions of a chiral molecule or particle. If large enough, these forces might be able to separate enantiomers all optically, which would find numerous applications in different fields, from pharmacology to chemistry. Longitudinal chiral forces are especially promising for tackling the challenging scenario of separating particles of realistically small chiralities. In this work, we study the longitudinal chiral forces arising in dielectric integrated waveguides when the quasi-TE and quasi-TM modes are combined as well as their application to separate absorbing and non-absorbing chiral particles. We show that chiral gradient forces dominate in the scenario of beating of non-denegerate TE and TM modes when considering non-absorbing particles. For absorbing particles, the superposition of degenerate TE and TM modes can lead to chiral forces that are kept along the whole waveguide length. We accompany the calculations of the forces with particle tracking simulations for specific radii and chirality parameters. We show that longitudinal forces can separate non-absorbing chiral nanoparticles in water even for relatively low values of the particle chirality and absorbing particles with arbitrarily low values of chirality can be effectively separated after enough interaction time.


title: IRCAN: Mitigating Knowledge Conflicts in LLM Generation via Identifying and Reweighting Context-Aware Neurons

abstract: It is widely acknowledged that large language models (LLMs) encode a vast reservoir of knowledge after being trained on mass data. Recent studies disclose knowledge conflicts in LLM generation, wherein outdated or incorrect parametric knowledge (i.e., encoded knowledge) contradicts new knowledge provided in the context. To mitigate such knowledge conflicts, we propose a novel framework, IRCAN (Identifying and Reweighting Context-Aware Neurons) to capitalize on neurons that are crucial in processing contextual cues. Specifically, IRCAN first identifies neurons that significantly contribute to context processing, utilizing a context-aware attribution score derived from integrated gradients. Subsequently, the identified context-aware neurons are strengthened via reweighting. In doing so, we steer LLMs to generate context-sensitive outputs with respect to the new knowledge provided in the context. Extensive experiments conducted across a variety of models and tasks demonstrate that IRCAN not only achieves remarkable improvements in handling knowledge conflicts but also offers a scalable, plug-andplay solution that can be integrated seamlessly with existing models.


title: Enriques surfaces of zero entropy

abstract: We classify Enriques surfaces of zero entropy, or, equivalently, Enriques surfaces with a virtually abelian automorphism group.


title: Depth Dependence of Coseismic Off-Fault Damage and its Effects on Rupture Dynamics

abstract: Faults are complex systems embedded in an evolving medium fractured by seismic ruptures. This off-fault damage zone is shown to be thermo-hydro-mechano-chemically coupled to the main fault plane by a growing number of studies. Yet, off-fault medium is still, for the most part, modelled as a purely elastic -- hence passive -- medium. Using a micromechanical model that accounts for dynamic changes of elastic moduli and inelastic strains related to crack growth, we investigate the depth variation of dynamically triggered off-fault damage and its counter-impact on earthquake slip dynamics. We show that the damage zone, while narrowing with depth, also becomes denser and contrary to prevailing assumptions continues to act as an energy sink, significantly influencing rupture dynamics by stabilizing slip rates. Furthermore, we observe that damage formation markedly reduces rupture velocity and delays, or even prevents, the transition to supershear speeds even for a narrow damage zone. This underscores the critical need to incorporate the complex interplay between the main fault plane and its surrounding medium across the entire seismogenic zone. As a proof of concept, we introduce a 1D spring-slider model that captures bulk elastic variations, by modulating spring stiffness, and normal stress variations that emulate changes in bulk load. This simple model demonstrates the occurrence of slow slip events alongside conventional earthquakes, driven by the dynamic interaction between bulk temporal evolution and fault slip dynamics, without necessitating any changes to frictional properties.


title: Gauged Skyrme analogue of Chern-Pontryagin

abstract: An analogue of the Chern-Pontryagin density for $SO(D)$ gauged $O(D+1)$ Skyrme systems, referred to as Skyrme--Chern-Pontyagin (SCP) densities iss known for dimensions $D=2,3,4$. Since these are defined only through a prescription, it is necessary to extend the realisation to higher $D$, which is carried out here for $D=5$. It is found that in $D=5$ there is limitation on the group gauging the Skyrmion, implying that such limitation will persist in higher dimensions. The construction of SCP densities in $D=2,3,4,5$ is presented here in a unified notation with the aim of of pointing out to possible extarpolation to all dimensions.


title: Scaling Quantum Computations via Gate Virtualization

abstract: We present the Quantum Virtual Machine (QVM), an end-to-end generic system for scalable execution of large quantum circuits with high fidelity on noisy and small quantum processors (QPUs) by leveraging gate virtualization. QVM exposes a virtual circuit intermediate representation (IR) that extends the notion of quantum circuits to incorporate gate virtualization. Based on the virtual circuit as our IR, we propose the QVM compiler - an extensible compiler infrastructure to transpile a virtual circuit through a series of modular optimization passes to produce a set of optimized circuit fragments. Lastly, these transpiled circuit fragments are executed on QPUs using our QVM runtime - a scalable and distributed infrastructure to virtualize and execute circuit fragments on a set of distributed QPUs. We evaluate QVM on IBM's 7- and 27-qubit QPUs. Our evaluation shows that using our system, we can scale the circuit sizes executable on QPUs up to double the size of the QPU while improving fidelity by 4.7$\times$ on average compared to larger QPUs and that we can effectively reduce circuit depths to only 40\% of the original circuit depths.


title: Theories of flavour from the Planck scale to the electroweak scale

abstract: The flavour puzzle remains as one of the most intriguing enigmas of particle physics. In this thesis, we propose and study theories of flavour which generically hint to a multi-scale origin of flavour. First we explore the idea of fermiophobic models and messenger dominance, where the chiral fermions of the Standard Model are uncharged under (part of) an extended gauge symmetry, which also forbids Yukawa couplings for chiral fermions. These are generated effectively due to the presence of hierarchically heavy messengers, including vector-like fermions and/or heavy Higgs doublets. Simultaneously, this mechanism generates effective couplings of chiral fermions to the gauge bosons of the extended symmetry, leading to a predictive phenomenology connected to the origin of flavour hierarchies. We present two models of this kind, based on gauge $U(1)$ and twin Pati-Salam symmetries, that have implications for low energy flavour anomalies. Secondly, we study the framework of flavour deconstruction, where the Standard Model emerges from a non-universal gauge theory that contains a separate gauge factor for each fermion family. We argue that one of the most simple ways to achieve this is by assigning a separate gauge hypercharge to each fermion family, denoted as the "tri-hypercharge" theory. If the SM Higgs only carries third family hypercharge, then only the third family is massive at renormalisable level, and light families get their mass from higher dimensional operators. Finally, we propose a gauge unified origin for gauge non-universal frameworks such as the aforementioned tri-hypercharge theory. The model assigns a separate $SU(5)$ group to each fermion family. However, assuming that the three $SU(5)$ groups are related by a cyclic permutation symmetry $\mathbb{Z}_{3}$, then the model is described by a single gauge coupling in the ultraviolet, despite $SU(5)^{3}$ being a non-simple group.


title: Sensorless model-based tension control for a cable-driven exosuit

abstract: Cable-driven exosuits have the potential to support individuals with motor disabilities across the continuum of care. When supporting a limb with a cable, force sensors are often used to measure tension. However, force sensors add cost, complexity, and distal components. This paper presents a design and control approach to remove the force sensor from an upper limb cable-driven exosuit. A mechanical design for the exosuit was developed to maximize passive transparency. Then, a data-driven friction identification was conducted on a mannequin test bench to design a model-based tension controller. Seventeen healthy participants raised and lowered their right arms to evaluate tension tracking, movement quality, and muscular effort. Questionnaires on discomfort, physical exertion, and fatigue were collected. The proposed strategy allowed tracking the desired assistive torque with an RMSE of 0.71 Nm (18%) at 50% gravity support. During the raising phase, the EMG signals of the anterior deltoid, trapezius, and pectoralis major were reduced on average compared to the no-suit condition by 30%, 38%, and 38%, respectively. The posterior deltoid activity was increased by 32% during lowering. Position tracking was not significantly altered, whereas movement smoothness significantly decreased. This work demonstrates the feasibility and effectiveness of removing the force sensor from a cable-driven exosuit. A significant increase in discomfort in the lower neck and right shoulder indicated that the ergonomics of the suit could be improved. Overall this work paves the way towards simpler and more affordable exosuits.


title: ViPErLEED package II: Spot tracking, extraction and processing of I(V) curves

abstract: As part of the ViPErLEED project (Vienna package for Erlangen LEED, low-energy electron diffraction), computer programs have been developed for facile and user-friendly data extraction from movies of LEED images. The programs make use of some concepts from astronomical image processing and analysis. As a first step, flat-field and dark-frame corrections reduce the effects of inhomogeneities of the camera and screen. In a second step, for identifying all diffraction maxima ("spots"), it is sufficient to manually mark and label a single spot or very few spots. Then the program can automatically identify all other spots and determine the distortions of the image. This forms the basis for automatic spot tracking (following the "beams" as they move across the LEED screen) and intensity measurement. Even for complex structures with hundreds to a few thousand diffraction beams, this step takes less than a minute. The package also includes a program for further processing of these I(V) curves (averaging of equivalent beams, manual and/or automatic selection, smoothing) as well as several utilities. The software is implemented as a set of plugins for the public-domain image processing program ImageJ and provided as an open-source package.


title: BiTrack: Bidirectional Offline 3D Multi-Object Tracking Using Camera-LiDAR Data

abstract: Compared with real-time multi-object tracking (MOT), offline multi-object tracking (OMOT) has the advantages to perform 2D-3D detection fusion, erroneous link correction, and full track optimization but has to deal with the challenges from bounding box misalignment and track evaluation, editing, and refinement. This paper proposes "BiTrack", a 3D OMOT framework that includes modules of 2D-3D detection fusion, initial trajectory generation, and bidirectional trajectory re-optimization to achieve optimal tracking results from camera-LiDAR data. The novelty of this paper includes threefold: (1) development of a point-level object registration technique that employs a density-based similarity metric to achieve accurate fusion of 2D-3D detection results; (2) development of a set of data association and track management skills that utilizes a vertex-based similarity metric as well as false alarm rejection and track recovery mechanisms to generate reliable bidirectional object trajectories; (3) development of a trajectory re-optimization scheme that re-organizes track fragments of different fidelities in a greedy fashion, as well as refines each trajectory with completion and smoothing techniques. The experiment results on the KITTI dataset demonstrate that BiTrack achieves the state-of-the-art performance for 3D OMOT tasks in terms of accuracy and efficiency.


title: The $p$-adic Jaynes-Cummings model in symplectic geometry

abstract: The notion of classical $p$-adic integrable system on a $p$-adic symplectic manifold was proposed by Voevodsky, Warren and the second author a decade ago in analogy with the real case. In the present paper we introduce and study, from the viewpoint of symplectic geometry and topology, the basic properties of the $p$-adic version of the classical Jaynes-Cummings model. The Jaynes-Cummings model is a fundamental example of integrable system going back to the work of Jaynes and Cummings in the 1960s, and which applies to many physical situations, for instance in quantum optics and quantum information theory. Several of our results depend on the value of $p$: the structure of the model depends on the class of the prime $p$ modulo $4$ and $p=2$ requires special treatment.


title: Energies of atoms are approximately quadratic in nuclear charge

abstract: Accurate quantum mechanics based predictions of property trends are so important for materials design and discovery that even inexpensive approximate methods are valuable. We use the Alchemical Integral Transform (AIT) to study multi-electron atoms, and find energy differences between iso-electronic atoms to be approximately quadratic in their nuclear charges, $\Delta E \approx -(1 + 2\gamma \sqrt{N_e-1})\,\Delta Z\, \bar{Z}$. $\gamma \approx 0.3766 \pm 0.0020$ Ha corresponds to a universal constant, and $N_e$, $\Delta Z$, and $\bar{Z}$ respectively to electron number, and nuclear charge difference and average. We compare the formula's predictive accuracy using experimental numbers and numerical results obtained via DFT for the entire periodic table up to Radon. A detailed discussion of the atomic Helium-series is included. Finally, we show the applicability of AIT by predicting trends between electron affinities from ionization energies with linear corrections, resulting in a Spearman's rank correlation coefficient of 0.931.


title: Towards diffusion models for large-scale sea-ice modelling

abstract: We make the first steps towards diffusion models for unconditional generation of multivariate and Arctic-wide sea-ice states. While targeting to reduce the computational costs by diffusion in latent space, latent diffusion models also offer the possibility to integrate physical knowledge into the generation process. We tailor latent diffusion models to sea-ice physics with a censored Gaussian distribution in data space to generate data that follows the physical bounds of the modelled variables. Our latent diffusion models reach similar scores as the diffusion model trained in data space, but they smooth the generated fields as caused by the latent mapping. While enforcing physical bounds cannot reduce the smoothing, it improves the representation of the marginal ice zone. Therefore, for large-scale Earth system modelling, latent diffusion models can have many advantages compared to diffusion in data space if the significant barrier of smoothing can be resolved.


title: Differential error feedback for communication-efficient decentralized learning

abstract: Communication-constrained algorithms for decentralized learning and optimization rely on local updates coupled with the exchange of compressed signals. In this context, differential quantization is an effective technique to mitigate the negative impact of compression by leveraging correlations between successive iterates. In addition, the use of error feedback, which consists of incorporating the compression error into subsequent steps, is a powerful mechanism to compensate for the bias caused by the compression. Under error feedback, performance guarantees in the literature have so far focused on algorithms employing a fusion center or a special class of contractive compressors that cannot be implemented with a finite number of bits. In this work, we propose a new decentralized communication-efficient learning approach that blends differential quantization with error feedback. The approach is specifically tailored for decentralized learning problems where agents have individual risk functions to minimize subject to subspace constraints that require the minimizers across the network to lie in low-dimensional subspaces. This constrained formulation includes consensus or single-task optimization as special cases, and allows for more general task relatedness models such as multitask smoothness and coupled optimization. We show that, under some general conditions on the compression noise, and for sufficiently small step-sizes $\mu$, the resulting communication-efficient strategy is stable both in terms of mean-square error and average bit rate: by reducing $\mu$, it is possible to keep the estimation errors small (on the order of $\mu$) without increasing indefinitely the bit rate as $\mu\rightarrow 0$. The results establish that, in the small step-size regime and with a finite number of bits, it is possible to attain the performance achievable in the absence of compression.