title: Bumpy Superluminous Supernovae Powered by Magnetar-star Binary Engine

abstract: Wolf-Rayet stars in close binary systems can be tidally spun up by their companions, potentially leaving behind fast-spinning highly-magnetized neutron stars, known as "magnetars", after core collapse. These newborn magnetars can transfer rotational energy into heating and accelerating the ejecta, producing hydrogen-poor superluminous supernovae (SLSNe). In this Letter, we propose that the magnetar wind of the newborn magnetar could significantly evaporate its companion star, typically a main-sequence or helium star, if the binary system is not disrupted by the SN kick. The subsequent heating and acceleration of the evaporated star material along with the SN ejecta by the magnetar wind can produce a post-peak bump in the SLSN lightcurve. Our model can reproduce the primary peaks and post-peak bumps of four example observed multiband SLSN lightcurves, revealing that the mass of the evaporated material could be $\sim0.4-0.6\,M_\odot$ if the material is hydrogen-rich. We suggest that the magnetar could induce strongly enhanced evaporation from its companion star near the pericenter if the orbit of the post-SN binary is highly eccentric, ultimately generating multiple post-peak bumps in the SLSN lightcurves. This "magnetar-star binary engine" model offers a possible explanation for the evolution of polarization, along with the origin and velocity broadening of late-time hydrogen or helium broad spectral features observed in some bumpy SLSNe. The diversity in the lightcurves and spectra of SLSNe may be attributed to the wide variety of companion stars and post-SN binary systems.


title: CoolWalks: Assessing the potential of shaded routing for active mobility in urban street networks

abstract: Walking is the most sustainable form of urban mobility, but is compromised by uncomfortable or unhealthy sun exposure, which is an increasing problem due to global warming. Shade from buildings can provide cooling and protection for pedestrians, but the extent of this potential benefit is unknown. Here we explore the potential for shaded walking, using building footprints and street networks from both synthetic and real cities. We introduce a route choice model with a sun avoidance parameter $\alpha$ and define the CoolWalkability metric to measure opportunities for walking in shade. We derive analytically that on a regular grid with constant building heights, CoolWalkability is independent of $\alpha$, and that the grid provides no CoolWalkability benefit for shade-seeking individuals compared to the shortest path. However, variations in street geometry and building heights create such benefits. We further uncover that the potential for shaded routing differs between grid-like and irregular street networks, forms local clusters, and is sensitive to the mapped network geometry. Our research identifies the limitations and potential of shade for cool, active travel, and is a first step towards a rigorous understanding of shade provision for sustainable mobility in cities.


title: Avoiding Redundant Restarts in Multimodal Global Optimization

abstract: Na\"ive restarts of global optimization solvers when operating on multimodal search landscapes may resemble the Coupon's Collector Problem, with a potential to waste significant function evaluations budget on revisiting the same basins of attractions. In this paper, we assess the degree to which such ``duplicate restarts'' occur on standard multimodal benchmark functions, which defines the \textit{redundancy potential} of each particular landscape. We then propose a repelling mechanism to avoid such wasted restarts with the CMA-ES and investigate its efficacy on test cases with high redundancy potential compared to the standard restart mechanism.


title: Revisiting the fermion-field nontopological solitons

abstract: Nontopological fermionic solitons exist across a diverse range of particle physics models and have rich cosmological implications. This study establishes a general framework for calculating fermionic soliton profiles under arbitrary scalar potentials, utilizing relativistic mean field theory to accurately depict the interaction between the fermion condensate and the background scalar field. Within this framework, the conventional fermion bound states are revealed as a subset of fermionic solitons. In addition, we demonstrate how the analytical formulae in previous studies are derived as special cases of our algorithm, discussing the validity of such approximations. Furthermore, we explore the phenomenology of fermionic solitons, highlighting new formation mechanisms and evolution paths, and reconsidering the possibility of collapse into primordial black holes.


title: RaffeSDG: Random Frequency Filtering enabled Single-source Domain Generalization for Medical Image Segmentation

abstract: Deep learning models often encounter challenges in making accurate inferences when there are domain shifts between the source and target data. This issue is particularly pronounced in clinical settings due to the scarcity of annotated data resulting from the professional and private nature of medical data. Despite the existence of decent solutions, many of them are hindered in clinical settings due to limitations in data collection and computational complexity. To tackle domain shifts in data-scarce medical scenarios, we propose a Random frequency filtering enabled Single-source Domain Generalization algorithm (RaffeSDG), which promises robust out-of-domain inference with segmentation models trained on a single-source domain. A filter-based data augmentation strategy is first proposed to promote domain variability within a single-source domain by introducing variations in frequency space and blending homologous samples. Then Gaussian filter-based structural saliency is also leveraged to learn robust representations across augmented samples, further facilitating the training of generalizable segmentation models. To validate the effectiveness of RaffeSDG, we conducted extensive experiments involving out-of-domain inference on segmentation tasks for three human tissues imaged by four diverse modalities. Through thorough investigations and comparisons, compelling evidence was observed in these experiments, demonstrating the potential and generalizability of RaffeSDG. The code is available at https://github.com/liamheng/Non-IID_Medical_Image_Segmentation.


title: Boosting Jailbreak Attack with Momentum

abstract: Large Language Models (LLMs) have achieved remarkable success across diverse tasks, yet they remain vulnerable to adversarial attacks, notably the well-documented \textit{jailbreak} attack. Recently, the Greedy Coordinate Gradient (GCG) attack has demonstrated efficacy in exploiting this vulnerability by optimizing adversarial prompts through a combination of gradient heuristics and greedy search. However, the efficiency of this attack has become a bottleneck in the attacking process. To mitigate this limitation, in this paper we rethink the generation of adversarial prompts through an optimization lens, aiming to stabilize the optimization process and harness more heuristic insights from previous iterations. Specifically, we introduce the \textbf{M}omentum \textbf{A}ccelerated G\textbf{C}G (\textbf{MAC}) attack, which incorporates a momentum term into the gradient heuristic. Experimental results showcase the notable enhancement achieved by MAP in gradient-based attacks on aligned language models. Our code is available at https://github.com/weizeming/momentum-attack-llm.


title: Evaluation of Video-Based rPPG in Challenging Environments: Artifact Mitigation and Network Resilience

abstract: Video-based remote photoplethysmography (rPPG) has emerged as a promising technology for non-contact vital sign monitoring, especially under controlled conditions. However, the accurate measurement of vital signs in real-world scenarios faces several challenges, including artifacts induced by videocodecs, low-light noise, degradation, low dynamic range, occlusions, and hardware and network constraints. In this article, we systematically investigate comprehensive investigate these issues, measuring their detrimental effects on the quality of rPPG measurements. Additionally, we propose practical strategies for mitigating these challenges to improve the dependability and resilience of video-based rPPG systems. We detail methods for effective biosignal recovery in the presence of network limitations and present denoising and inpainting techniques aimed at preserving video frame integrity. Through extensive evaluations and direct comparisons, we demonstrate the effectiveness of the approaches in enhancing rPPG measurements under challenging environments, contributing to the development of more reliable and effective remote vital sign monitoring technologies.


title: Modeling the Trade-off between Throughput and Reliability in a Bluetooth Low Energy Connection

abstract: The use of Bluetooth Low Energy in low-range Internet of Things systems is growing exponentially. Similar to other wireless communication protocols, throughput and reliability are two key performance metrics in Bluetooth Low Energy communications. However, electromagnetic interference from various sources can heavily affect the performance of wireless devices, leading to dropped throughput and unreliable communication. Therefore, there is a need for both theoretical and practical studies capable of quantifying the BLE communication performance, e.g. throughput and reliability, subject to interference. In this paper, a mathematical model to predict throughput of a BLE connection under interference is derived first, and linked to the reliability model we developed in [1]. After that, extensive practical experiments are performed in various scenarios to sufficiently validate the theoretical results from both models. Finally, the trade-off between throughput and reliability is investigated through the validated models to give some inside properties of BLE communications. The similarity between the theoretical results and the experimental ones highlights the accuracy of the proposed throughput and reliability models. Hence, the two models can be used to explore the performance of various BLE designs or deployments from diverse perspectives.


title: Kinetic Theories for Metropolis Monte Carlo Methods

abstract: We consider generalizations of the classical inverse problem to Bayesien type estimators, where the result is not one optimal parameter but an optimal probability distribution in parameter space. The practical computational tool to compute these distributions is the Metropolis Monte Carlo algorithm. We derive kinetic theories for the Metropolis Monte Carlo method in different scaling regimes. The derived equations yield a different point of view on the classical algorithm. It further inspired modifications to exploit the difference scalings shown on an simulation example of the Lorenz system.


title: Mathematics of Differential Machine Learning in Derivative Pricing and Hedging

abstract: This article introduces the groundbreaking concept of the financial differential machine learning algorithm through a rigorous mathematical framework. Diverging from existing literature on financial machine learning, the work highlights the profound implications of theoretical assumptions within financial models on the construction of machine learning algorithms. This endeavour is particularly timely as the finance landscape witnesses a surge in interest towards data-driven models for the valuation and hedging of derivative products. Notably, the predictive capabilities of neural networks have garnered substantial attention in both academic research and practical financial applications. The approach offers a unified theoretical foundation that facilitates comprehensive comparisons, both at a theoretical level and in experimental outcomes. Importantly, this theoretical grounding lends substantial weight to the experimental results, affirming the differential machine learning method's optimality within the prevailing context. By anchoring the insights in rigorous mathematics, the article bridges the gap between abstract financial concepts and practical algorithmic implementations.


title: Matrix invertible extensions over commutative rings. Part III: Hermite rings

abstract: We reobtain and often refine prior criteria due to Kaplansky, McGovern, Roitman, Shchedryk, Wiegand, and Zabavsky--Bilavska and obtain new criteria for a Hermite ring to be an \textsl{EDR}. We mention three criteria: (1) a Hermite ring $R$ is an \textsl{EDR} iff for all pairs $(a,c)\in R^2$, the product homomorphism $U(R/Rac)\times U\bigl(R/Rc(1-a)\bigr)\to U(R/Rc)$ between groups of units is surjective; (2) a reduced Hermite ring is an \textsl{EDR} iff it is a pre-Schreier ring and for each $a\in R$, every zero determinant unimodular $2\times 2$ matrix with entries in $R/Ra$ lifts to a zero determinant matrix with entries in $R$; (3) a B\'{e}zout domain $R$ is an \textsl{EDD} iff for all triples $(a,b,c)\in R^3$ there exists a unimodular pair $(e,f)\in R^2$ such that $(a,e)$ and $(be+af,1-a-bc)$ are unimodular pairs. We use these criteria to show that each B\'{e}zout ring $R$ that is an $(SU)_2$ ring (as introduced by Lorenzini) such that for each nonzero $a\in R$ there exists no nontrivial self-dual projective $R/Ra$-module of rank $1$ generated by $2$ elements (e.g., all its elements are squares), is an \textsl{EDR}.


title: Numerical experiments on stationary, oscillating, and damped spherical galaxy models

abstract: We numerically analyse solutions of the spherically symmetric gravitational Vlasov-Poisson system close to compactly supported stable steady states. We observe either partially undamped oscillations or macroscopically damped solutions. We investigate for many steady states to which of these behaviours they correspond. A linear relation between the exponents of polytropic steady states and the qualitative behaviour close to them is identified. Undamped oscillations are also observed around not too concentrated King models and around all shells with a sufficiently large vacuum region. We analyse all solutions both at the non-linear and linearised level and find that the qualitative behaviours are identical at both. To relate the observed phenomena to theoretical results, we further include a comprehensive numerical study of the radial particle periods in the equilibria.

categories: astro-ph.GA astro-ph.HE gr-qc math-ph math.MP


title: Solar-Blind QKD over Simplified Short-Range FSO Link

abstract: We demonstrate QKD and data communication over an out-door free-space link where large-core fiber substitutes active alignment. We further prove E-band QKD as stable and robust under full daylight, despite the loss of spatial filtering.


title: First Demonstration of a Group-IV Emitter on Photonic BiCMOS Supplying a Quantum Communication Link

abstract: We implement a silicon-on-insulator light emitter as optical supply for a QKD transmitter and transfer it to an electronic BiCMOS wafer. A secure key is established over short reach in co-existence with shortwave data transmission.


title: All-Optical Noise Quenching of An Integrated Frequency Comb

abstract: Integrated frequency combs promise transformation of lab-based metrology into disruptive real-world applications. These microcombs are, however, sensitive to stochastic thermal fluctuations of the integrated cavity refractive index, with its impact becoming more significant as the cavity size becomes smaller. This tradeoff between microcomb noise performance and footprint stands as a prominent obstacle to realizing applications beyond a controlled lab environment. Here, we demonstrate that small footprint and low noise become compatible through the all-optical Kerr-induced synchronization (KIS) method. Our study unveils that the phase-locking nature of the synchronization between the cavity soliton and the injected reference pump laser enables the microcomb to no longer be limited by internal noise sources. Instead, the microcomb noise is mostly limited by external sources, namely, the frequency noise of the two pumps that doubly pin the microcomb. First, we theoretically and experimentally show that the individual comb tooth linewidths of an octave-spanning microcomb remain within the same order-of-magnitude as the pump lasers, contrary to the single-pumped case that exhibits a more than two order-of-magnitude increase from the pump to the comb edge. Second, we theoretically show that intrinsic noise sources such as thermorefractive noise in KIS are quenched at the cavity decay rate, greatly decreasing its impact. Experimentally, we show that even with free-running lasers, the KIS microcomb can exhibit better repetition rate noise performance than the predicted thermorefractive noise limitation in absence of KIS.


title: Fringe trees of Patricia tries and compressed binary search trees

abstract: Most of the results in the paper for Patricia tries have earlier been proved by Jaspar Ischebeck. We study the distribution of fringe trees in Patricia tries and compressed binary search trees; both cases are random binary trees that have been compressed by deleting vertices of outdegree 1 so that they are random full binary trees. The main results are central limit theorems for the number of fringe trees of a given type, which imply quenched and annealed limit results for the fringe tree distribution; for Patricia tries, this is complicated by periodic oscillations in the usual manner. We also consider extended fringe trees. The results are derived from earlier results for uncompressed tries and binary search trees. In the case of compressed binary search trees, it seems difficult to give a closed formula for the asymptotic fringe tree distribution, but we provide a recursion and give examples.


title: Machine-learned tuning of artificial Kitaev chains from tunneling-spectroscopy measurements

abstract: We demonstrate reliable machine-learned tuning of quantum-dot-based artificial Kitaev chains to Majorana sweet spots, using the covariance matrix adaptation algorithm. We show that a loss function based on local tunnelling-spectroscopy features of a chain with two additional sensor dots added at its ends provides a reliable metric to navigate parameter space and find points where crossed Andreev reflection and elastic cotunneling between neighbouring sites balance in such a way to yield near-zero-energy modes with very high Majorana quality. We simulate tuning of two- and three-site Kitaev chains, where the loss function is found from calculating the low-energy spectrum of a model Hamiltonian that includes Coulomb interactions and finite Zeeman splitting. In both cases, the algorithm consistently converges towards high-quality sweet spots. Since tunnelling spectroscopy provides one global metric for tuning all on-site potentials simultaneously, this presents a promising way towards tuning longer Kitaev chains, which are required for achieving topological protection of the Majorana modes.


title: Port-Hamiltonian systems with energy and power ports

abstract: We extend the port-Hamiltonian framework defined with respect to a Lagrangian submanifold and a Dirac structure by augmenting the Lagrangian submanifold with the space of external variables. The new pair of conjugated variables is called energy port. We show that in the most general case, the extension describes constrained Hamiltonian systems whose Hamiltonian function depends on inputs.


title: TRAMBA: A Hybrid Transformer and Mamba Architecture for Practical Audio and Bone Conduction Speech Super Resolution and Enhancement on Mobile and Wearable Platforms

abstract: We propose TRAMBA, a hybrid transformer and Mamba architecture for acoustic and bone conduction speech enhancement, suitable for mobile and wearable platforms. Bone conduction speech enhancement has been impractical to adopt in mobile and wearable platforms for several reasons: (i) data collection is labor-intensive, resulting in scarcity; (ii) there exists a performance gap between state of-art models with memory footprints of hundreds of MBs and methods better suited for resource-constrained systems. To adapt TRAMBA to vibration-based sensing modalities, we pre-train TRAMBA with audio speech datasets that are widely available. Then, users fine-tune with a small amount of bone conduction data. TRAMBA outperforms state-of-art GANs by up to 7.3% in PESQ and 1.8% in STOI, with an order of magnitude smaller memory footprint and an inference speed up of up to 465 times. We integrate TRAMBA into real systems and show that TRAMBA (i) improves battery life of wearables by up to 160% by requiring less data sampling and transmission; (ii) generates higher quality voice in noisy environments than over-the-air speech; (iii) requires a memory footprint of less than 20.0 MB.


title: Multimodal reconstruction of TbCo thin film structure with Basyeian analysis of polarised neutron reflectivity

abstract: We implemented the Bayesian analysis to the polarised neutron reflectivity data. Reflectivity data from a magnetic TbCo thin film structure was studied using the bundle of a Monte-Carlo Markov-chain algorithm, likelihood estimation, and error modeling. By utilizing the Bayesian analysis, we were able to investigate the uniqueness of the solution beyond reconstructing the magnetic and structure parameters. This approach has demonstrated its expedience as several probable reconstructions were found (the multimodality case) concerning the isotopic composition of the surface cover layer. Such multimodal reconstruction emphasizes the importance of rigorous data analysis instead of the direct data fitting approach, especially in the case of poor statistically conditioned data, typical for neutron reflectivity experiments. The analysis details and the discussion on multimodality are in this article.


title: Stability of Information in the Heat Flow Clustering

abstract: Clustering methods must be tailored to the dataset it operates on, as there is no objective or universal definition of ``cluster,'' but nevertheless arbitrariness in the clustering method must be minimized. This paper develops a quantitative ``stability'' method of determining clusters, where stable or persistent clustering signals are used to indicate real structures have been identified in the underlying dataset. This method is based on modulating clustering methods by controlling a parameter -- through a thermodynamic analogy, the modulation parameter is considered ``time'' and the evolving clustering methodologies can be considered a ``heat flow.'' When the information entropy of the heat flow is stable over a wide range of times -- either globally or in the local sense which we define -- we interpret this stability as an indication that essential features of the data have been found, and create clusters on this basis.


title: On well/ill-posedness for the generalized surface quasi-geostrophic equations in H\"older spaces

abstract: We establish the well/ill-posedness theories for the inviscid $\alpha$-surface quasi-geostrophic ($\alpha$-SQG) equations in H\"older spaces, where $\alpha = 0$ and $\alpha = 1$ correspond to the two-dimensional Euler equation in the vorticity formulation and SQG equation of geophysical significance, respectively. We first prove the local-in-time well-posedness of $\alpha$-SQG equations in $C([0,T);C^{0,\beta}(\mathbb{R}^2))$ with $\beta \in (\alpha,1)$ for some $T>0$. We then analyze the strong ill-posedness in $C^{0,\alpha}(\mathbb{R}^2)$ constructing smooth solutions to the $\alpha$-SQG equations that exhibit $C^{0,\alpha}$--norm growth in a short time. In particular, we develop the nonexistence theory for $\alpha$-SQG equations in $C^{0,\alpha}(\mathbb{R}^2)$.


title: The nonlinear Schr\"odinger equation with sprinkled nonlinearity

abstract: We prove global well-posedness for the cubic nonlinear Schr\"odinger equation with nonlinearity concentrated on a homogeneous Poisson process.


title: Lying Graph Convolution: Learning to Lie for Node Classification Tasks

abstract: In the context of machine learning for graphs, many researchers have empirically observed that Deep Graph Networks (DGNs) perform favourably on node classification tasks when the graph structure is homophilic (\ie adjacent nodes are similar). In this paper, we introduce Lying-GCN, a new DGN inspired by opinion dynamics that can adaptively work in both the heterophilic and the homophilic setting. At each layer, each agent (node) shares its own opinions (node embeddings) with its neighbours. Instead of sharing its opinion directly as in GCN, we introduce a mechanism which allows agents to lie. Such a mechanism is adaptive, thus the agents learn how and when to lie according to the task that should be solved. We provide a characterisation of our proposal in terms of dynamical systems, by studying the spectral property of the coefficient matrix of the system. While the steady state of the system collapses to zero, we believe the lying mechanism is still usable to solve node classification tasks. We empirically prove our belief on both synthetic and real-world datasets, by showing that the lying mechanism allows to increase the performances in the heterophilic setting without harming the results in the homophilic one.


title: DiffusionPipe: Training Large Diffusion Models with Efficient Pipelines

abstract: Diffusion models have emerged as dominant performers for image generation. To support training large diffusion models, this paper studies pipeline parallel training of diffusion models and proposes DiffusionPipe, a synchronous pipeline training system that advocates innovative pipeline bubble filling technique, catering to structural characteristics of diffusion models. State-of-the-art diffusion models typically include trainable (the backbone) and non-trainable (e.g., frozen input encoders) parts. We first unify optimal stage partitioning and pipeline scheduling of single and multiple backbones in representative diffusion models with a dynamic programming approach. We then propose to fill the computation of non-trainable model parts into idle periods of the pipeline training of the backbones by an efficient greedy algorithm, thus achieving high training throughput. Extensive experiments show that DiffusionPipe can achieve up to 1.41x speedup over pipeline parallel methods and 1.28x speedup over data parallel training on popular diffusion models.


title: Prompt engineering paradigms for medical applications: scoping review and recommendations for better practices

abstract: Prompt engineering is crucial for harnessing the potential of large language models (LLMs), especially in the medical domain where specialized terminology and phrasing is used. However, the efficacy of prompt engineering in the medical domain remains to be explored. In this work, 114 recent studies (2022-2024) applying prompt engineering in medicine, covering prompt learning (PL), prompt tuning (PT), and prompt design (PD) are reviewed. PD is the most prevalent (78 articles). In 12 papers, PD, PL, and PT terms were used interchangeably. ChatGPT is the most commonly used LLM, with seven papers using it for processing sensitive clinical data. Chain-of-Thought emerges as the most common prompt engineering technique. While PL and PT articles typically provide a baseline for evaluating prompt-based approaches, 64% of PD studies lack non-prompt-related baselines. We provide tables and figures summarizing existing work, and reporting recommendations to guide future research contributions.


title: DiaQ: Efficient State-Vector Quantum Simulation

abstract: In the current era of Noisy Intermediate Scale Quantum (NISQ) computing, efficient digital simulation of quantum systems holds significant importance for quantum algorithm development, verification and validation. However, analysis of sparsity within these simulations remains largely unexplored. In this paper, we present a novel observation regarding the prevalent sparsity patterns inherent in quantum circuits. We introduce DiaQ, a new sparse matrix format tailored to exploit this quantum-specific sparsity, thereby enhancing simulation performance. Our contribution extends to the development of libdiaq, a numerical library implemented in C++ with OpenMP for multi-core acceleration and SIMD vectorization, featuring essential mathematical kernels for digital quantum simulations. Furthermore, we integrate DiaQ with SV-Sim, a state vector simulator, yielding substantial performance improvements across various quantum circuits (e.g., ~26.67% for GHZ-28 and ~32.72% for QFT-29 with multi-core parallelization and SIMD vectorization on Frontier). Evaluations conducted on benchmarks from SupermarQ and QASMBench demonstrate that DiaQ represents a significant step towards achieving highly efficient quantum simulations.


title: Revisiting semi-supervised training objectives for differentiable particle filters

abstract: Differentiable particle filters combine the flexibility of neural networks with the probabilistic nature of sequential Monte Carlo methods. However, traditional approaches rely on the availability of labelled data, i.e., the ground truth latent state information, which is often difficult to obtain in real-world applications. This paper compares the effectiveness of two semi-supervised training objectives for differentiable particle filters. We present results in two simulated environments where labelled data are scarce.


title: Global existence and blow-up for the Euler-Poincar\'{e} equations with a class of initial data

abstract: In this paper we investigate the Cauchy problem of d-dimensional Euler-Poincar\'{e} equations. By choosing a class of new and special initial data, we can transform this d-dimensional Euler-Poincar\'{e} equations into the Camassa-Holm type equation in the real line. We first obtain some global existence results and then present a new blow-up result to the system under some different assumptions on this special class of initial data.


title: 2d Ising Critical Couplings from Quantum Gravity

abstract: Using an exact holographic duality formula between the inhomogeneous 2d Ising model and 3d quantum gravity, we provide a formula for "real" zeroes of the 2d Ising partition function on finite trivalent graphs in terms of the geometry of a 2d triangulation embedded in the three-dimensional Euclidean space. The complex phase of those zeroes is given by the dihedral angles of the triangulation, which reflect its extrinsic curvature within the ambient 3d space, while the modulus is given by the angles within the 2d triangles, thus encoding the intrinsic geometry of the triangulation. Our formula can not cover the whole set of Ising zeroes, but we conjecture that a suitable complexification of these "real" zeroes would provide a more thorough formula. Nevertheless, in the thermodynamic limit, in the case of flat planar 2d triangulations, our Ising zeros' formula gives the critical couplings for isoradial graphs, confirming its generality. Finally, the formula naturally extends to graphs with arbitrary valence in terms of geometry of circle patterns embedded in 3d space. This approach shows an intricate, but precise, new relation between statistical mechanics and quantum geometry.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Optimal Lagrange Interpolation Projectors and Legendre Polynomials

abstract: Let $K$ be a convex body in ${\mathbb R}^n$, and let $\Pi_1({\mathbb R}^n)$ be the space of polynomials in $n$ variables of degree at most $1$. Given an $(n+1)$-element set $Y\subset K$ in general position, we let $P_Y$ denote the Lagrange interpolation projector $P_Y: C(K)\to \Pi_1({\mathbb R}^n)$ with nodes in $Y$. In this paper, we study upper and lower bounds for the norm of the optimal Lagrange interpolation projector, i.e., the projector with minimal operator norm where the minimum is taken over all $(n+1)$-element sets of interpolation nodes in $K$. We denote this minimal norm by $\theta_n(K)$. Our main result, Theorem 5.2, provides an explicit lower bound for the constant $\theta_n(K)$ for an arbitrary convex body $K\subset{\mathbb R}^n$ and an arbitrary $n\ge 1$. We prove that $\theta_n(K)\ge \chi_n^{-1}\left({{\rm vol}(K)}/{{\rm simp}(K)}\right)$ where $\chi_n$ is the Legendre polynomial of degree $n$ and ${\rm simp}(K)$ is the maximum volume of a simplex contained in $K$. The proof of this result relies on a geometric characterization of the Legendre polynomials in terms of the volumes of certain convex polyhedra. More specifically, we show that for every $\gamma\ge 1$ the volume of the set $\left\{x=(x_1,...,x_n)\in{\mathbb R}^n : \sum |x_j| +\left|1- \sum x_j\right|\le\gamma\right\}$ is equal to ${\chi_n(\gamma)}/{n!}$. If $K$ is an $n$-dimensional ball, this approach leads us to the equivalence $\theta_n(K) \asymp\sqrt{n}$ which is complemented by the exact formula for $\theta_n(K)$. If $K$ is an $n$-dimensional cube, we obtain explicit efficient formulae for upper and lower bounds of the constant $\theta_n(K)$; moreover, for small $n$, these estimates enable us to compute the exact values of this constant.


title: Note on holographic torus stress tensor correlators in $AdS_3$ gravity

abstract: In the AdS$_3$/CFT$_2$ framework, the Euclidean BTZ black hole corresponds to the dominant high-temperature phase of its dual field theory. We initially employ perturbative methods to solve the Einstein equations as boundary value problems, providing correlators for the energy-momentum tensor operator at low points. Utilizing operator equations established in our previous work, we further compute arbitrary high-point correlators for the energy-momentum tensor operator in the high-temperature phase and recursive relations for these high-point functions. Concurrently, we employ the Chern-Simons formalism to derive consistent results. Further, using the cut-off AdS/$T\bar{T}$-deformed CFT duality, we calculate the energy-momentum tensor correlators, contributing to the comprehensive understanding of the system's dynamics. Finally, stress tensor correlators enable us to ascertain the corresponding KdV operator correlators at low-temperature.


title: Automatic generation of helicity amplitudes in Feynman-Diagram gauge

abstract: We develop a method to calculate helicity amplitudes of an arbitrary tree-level process in Feynman-Diagram (FD) gauge for an arbitrary gauge model with MadGraph5_aMC@NLO. We start from the 't Hooft-Feynman gauge Lagrangian in FeynRules and generate scattering amplitudes by identifying the Goldstone boson as the $5^{\rm th}$ component of each weak boson. All the vertices of the 5-component weak bosons are then created automatically by assembling the relevant weak boson and Goldstone boson vertices in the Feynman gauge. The 5-component weak boson vertices are then connected by the $5\times5$ matrix propagator in the FD gauge. As a demonstration of the method we calculate the cross section for the process $\mu^-\mu^+\to\nu_\mu\bar{\nu}_\mu t\bar{t}H$ with complex top Yukawa coupling, which can be obtained by adding a gauge invariant dimension-6 operator to the Standard Model (SM) Lagrangian. The FD gauge and the unitary (U) gauge amplitudes give exactly the same cross section, and subtle gauge theory cancellation among diagrams in the U gauge at high energies is absent in the FD gauge, as has been observed for various SM processes. In addition, we find that the total cross sections at high energies are dominated by a single, or a set of non-vanishing Feynman amplitudes with the higher dimensional vertices in the FD gauge.


title: Probing the nova shock physics with future gamma-ray observations of the upcoming outburst from T Coronae Borealis

abstract: Nova shocks behave like scaled-down supernova remnant shocks with a lifetime of only a few weeks or months, thereby providing a unique opportunity to study the dynamics of non-relativistic shocks as well as the shock acceleration physics.Recently, GeV and TeV gamma-ray emissions from an outburst of the recurrent nova RS Ophiuchi have been observed. The light curves of the gamma-ray emissions suggest that they arise from an external shock, which is formed as the nova ejecta interacts with the ambient medium. The shock is thought to transit from an adiabatic shock to a radiative one at later times, but no such later observations are available for RS Ophiuchi. In addition, the spectral evolution of the gamma-ray outburst of RS Ophiuchi was not well measured, and hence the related particle acceleration mechanisms are not well understood. T Coronae Borealis (T CrB) is another recurrent nova in Milky Way and its last outburst was nearly ten times brighter than RS Ophiuichi. Recently the optical light curve of T CrB displayed a state transition behavior before the eruption, and it was predicted that T CrB will undergo an outburst in the near future. By performing a theoretical investigation, we find that Fermi-LAT could capture the transition of the shock from the adiabatic phase to the radiative phase at the GeV band, thanks to a longer detectable time than that of RS Ophiuchi.Due to its higher brightness, we also find that imaging atmospheric Cherenkov telescopes (IACTs) such as MAGIC and VERITAS, and extensive air shower experiments such as LHAASO could detect the nova outburst and measure the gamma-ray spectrum in the very-high-energy (VHE, energy above 0.1 TeV) band more precisely. This can be used to constrain the high-energy cutoff index in the accelerated proton spectrum and the acceleration efficiency, which will shed light on the particle acceleration physics in nova shocks.


title: Towards Consistent Object Detection via LiDAR-Camera Synergy

abstract: As human-machine interaction continues to evolve, the capacity for environmental perception is becoming increasingly crucial. Integrating the two most common types of sensory data, images, and point clouds, can enhance detection accuracy. However, currently, no model exists that can simultaneously detect an object's position in both point clouds and images and ascertain their corresponding relationship. This information is invaluable for human-machine interactions, offering new possibilities for their enhancement. In light of this, this paper introduces an end-to-end Consistency Object Detection (COD) algorithm framework that requires only a single forward inference to simultaneously obtain an object's position in both point clouds and images and establish their correlation. Furthermore, to assess the accuracy of the object correlation between point clouds and images, this paper proposes a new evaluation metric, Consistency Precision (CP). To verify the effectiveness of the proposed framework, an extensive set of experiments has been conducted on the KITTI and DAIR-V2X datasets. The study also explored how the proposed consistency detection method performs on images when the calibration parameters between images and point clouds are disturbed, compared to existing post-processing methods. The experimental results demonstrate that the proposed method exhibits excellent detection performance and robustness, achieving end-to-end consistency detection. The source code will be made publicly available at https://github.com/xifen523/COD.


title: Identification of Entailment and Contradiction Relations between Natural Language Sentences: A Neurosymbolic Approach

abstract: Natural language inference (NLI), also known as Recognizing Textual Entailment (RTE), is an important aspect of natural language understanding. Most research now uses machine learning and deep learning to perform this task on specific datasets, meaning their solution is not explainable nor explicit. To address the need for an explainable approach to RTE, we propose a novel pipeline that is based on translating text into an Abstract Meaning Representation (AMR) graph. For this we use a pre-trained AMR parser. We then translate the AMR graph into propositional logic and use a SAT solver for automated reasoning. In text, often commonsense suggests that an entailment (or contradiction) relationship holds between a premise and a claim, but because different wordings are used, this is not identified from their logical representations. To address this, we introduce relaxation methods to allow replacement or forgetting of some propositions. Our experimental results show this pipeline performs well on four RTE datasets.


title: Causal Influence in Federated Edge Inference

abstract: In this paper, we consider a setting where heterogeneous agents with connectivity are performing inference using unlabeled streaming data. Observed data are only partially informative about the target variable of interest. In order to overcome the uncertainty, agents cooperate with each other by exchanging their local inferences with and through a fusion center. To evaluate how each agent influences the overall decision, we adopt a causal framework in order to distinguish the actual influence of agents from mere correlations within the decision-making process. Various scenarios reflecting different agent participation patterns and fusion center policies are investigated. We derive expressions to quantify the causal impact of each agent on the joint decision, which could be beneficial for anticipating and addressing atypical scenarios, such as adversarial attacks or system malfunctions. We validate our theoretical results with numerical simulations and a real-world application of multi-camera crowd counting.


title: Continuously evolving rewards in an open-ended environment

abstract: Unambiguous identification of the rewards driving behaviours of entities operating in complex open-ended real-world environments is difficult, partly because goals and associated behaviours emerge endogenously and are dynamically updated as environments change. Reproducing such dynamics in models would be useful in many domains, particularly where fixed reward functions limit the adaptive capabilities of agents. Simulation experiments described assess a candidate algorithm for the dynamic updating of rewards, RULE: Reward Updating through Learning and Expectation. The approach is tested in a simplified ecosystem-like setting where experiments challenge entities' survival, calling for significant behavioural change. The population of entities successfully demonstrate the abandonment of an initially rewarded but ultimately detrimental behaviour, amplification of beneficial behaviour, and appropriate responses to novel items added to their environment. These adjustment happen through endogenous modification of the entities' underlying reward function, during continuous learning, without external intervention.


title: Unified inverse correspondence for LE-logics

abstract: We generalize Kracht's theory of internal describability from classical modal logic to the family of all logics canonically associated with varieties of normal lattice expansions (LE algebras). We work in the purely algebraic setting of perfect LEs; the formulas playing the role of Kracht's formulas in this generalized setting pertain to a first order language whose atoms are special inequalities between terms of perfect algebras. Via duality, formulas in this language can be equivalently translated into first order conditions in the frame correspondence languages of several types of relational semantics for LE-logics.


title: An Online Gradient-Based Caching Policy with Logarithmic Complexity and Regret Guarantees

abstract: Commonly used caching policies, such as LRU (Least Recently Used) or LFU (Least Frequently Used), exhibit optimal performance only under specific traffic patterns. Even advanced machine learning-based methods, which detect patterns in historical request data, struggle when future requests deviate from past trends. Recently, a new class of policies has emerged that are robust to varying traffic patterns. These algorithms address an online optimization problem, enabling continuous adaptation to the context. They offer theoretical guarantees on the regret metric, which measures the performance gap between the online policy and the optimal static cache allocation in hindsight. However, the high computational complexity of these solutions hinders their practical adoption. In this study, we introduce a new variant of the gradient-based online caching policy that achieves groundbreaking logarithmic computational complexity relative to catalog size, while also providing regret guarantees. This advancement allows us to test the policy on large-scale, real-world traces featuring millions of requests and items - a significant achievement, as such scales have been beyond the reach of existing policies with regret guarantees. To the best of our knowledge, our experimental results demonstrate for the first time that the regret guarantees of gradient-based caching policies offer substantial benefits in practical scenarios.


title: Model Predictive Guidance for Fuel-Optimal Landing of Reusable Launch Vehicles

abstract: This paper introduces a landing guidance strategy for reusable launch vehicles (RLVs) using a model predictive approach based on sequential convex programming (SCP). The proposed approach devises two distinct optimal control problems (OCPs): planning a fuel-optimal landing trajectory that accommodates practical path constraints specific to RLVs, and determining real-time optimal tracking commands. This dual optimization strategy allows for reduced computational load through adjustable prediction horizon lengths in the tracking task, achieving near closed-loop performance. Enhancements in model fidelity for the tracking task are achieved through an alternative rotational dynamics representation, enabling a more stable numerical solution of the OCP and accounting for vehicle transient dynamics. Furthermore, modifications of aerodynamic force in both planning and tracking phases are proposed, tailored for thrust-vector-controlled RLVs, to reduce the fidelity gap without adding computational complexity. Extensive 6-DOF simulation experiments validate the effectiveness and improved guidance performance of the proposed algorithm.


title: Derivation of Dirac Exchange Interaction Potential from Quantum Plasma Kinetic Theory

abstract: The Dirac exchange interaction is derived from recent quantum kinetic theory for collisionless plasmas. For this purpose, the kinetic equation is written in the semiclassical and long wavelength approximations. The validity of the model for real systems is worked out, in terms of temperature and density parameters. Within the region of applicability, the correlation potential energy is shown to be always smaller than the exchange contribution. From the moments of the quantum kinetic equations, macroscopic, hydrodynamic equations are found, for an electron-ion plasma. The Dirac exchange term is explicitly derived, in the case of a completely degenerate electron gas. These results show, within quantum kinetic theory for charged particle systems, a new view of the Dirac exchange interaction frequently used in density functional theory parametrization. Finally, a simpler form of the quantum plasma exchange kinetic theory is also found.


title: MFTraj: Map-Free, Behavior-Driven Trajectory Prediction for Autonomous Driving

abstract: This paper introduces a trajectory prediction model tailored for autonomous driving, focusing on capturing complex interactions in dynamic traffic scenarios without reliance on high-definition maps. The model, termed MFTraj, harnesses historical trajectory data combined with a novel dynamic geometric graph-based behavior-aware module. At its core, an adaptive structure-aware interactive graph convolutional network captures both positional and behavioral features of road users, preserving spatial-temporal intricacies. Enhanced by a linear attention mechanism, the model achieves computational efficiency and reduced parameter overhead. Evaluations on the Argoverse, NGSIM, HighD, and MoCAD datasets underscore MFTraj's robustness and adaptability, outperforming numerous benchmarks even in data-challenged scenarios without the need for additional information such as HD maps or vectorized maps. Importantly, it maintains competitive performance even in scenarios with substantial missing data, on par with most existing state-of-the-art models. The results and methodology suggest a significant advancement in autonomous driving trajectory prediction, paving the way for safer and more efficient autonomous systems.


title: X-Shooting ULLYSES: Massive stars at low metallicity -- V. Effect of metallicity on surface abundances of O stars

abstract: Massive stars rotate faster, on average, than lower mass stars. Stellar rotation triggers hydrodynamical instabilities which transport angular momentum and chemical species from the core to the surface. Models of high-mass stars that include these processes predict that chemical mixing is stronger at lower metallicity. We aim to test this prediction by comparing the surface abundances of massive stars at different metallicities. We performed a spectroscopic analysis of single O stars in the Magellanic Clouds (MCs) based on the ULLYSES and XshootU surveys. We determined the fundamental parameters and helium, carbon, nitrogen, and oxygen surface abundances of 17 LMC and 17 SMC non-supergiant O6-9.5 stars. We complemented these determinations by literature results for additional MCs and also Galactic stars to increase the sample size and metallicity coverage. We investigated the differences in the surface chemical enrichment at different metallicities and compared them with predictions of three sets of evolutionary models. Surface abundances are consistent with CNO-cycle nucleosynthesis. The maximum surface nitrogen enrichment is stronger in MC stars than in Galactic stars. Nitrogen enrichment is also observed in stars with higher surface gravities in the SMC than in the Galaxy. This trend is predicted by models that incorporate chemical transport caused by stellar rotation. The distributions of projected rotational velocities in our samples are likely biased towards slow rotators. A metallicity dependence of surface abundances is demonstrated. The analysis of larger samples with an unbiased distribution of projected rotational velocities is required to better constrain the treatment of chemical mixing and angular momentum transport in massive single and binary stars.


title: The spectral evolution of white dwarfs: where do we stand?

abstract: White dwarfs are the dense, burnt-out remnants of the vast majority of stars, condemned to cool over billions of years as they steadily radiate away their residual thermal energy. To first order, their atmosphere is expected to be made purely of hydrogen due to the efficient gravitational settling of heavier elements. However, observations reveal a much more complex situation, as the surface of a white dwarf (1) can be dominated by helium rather than hydrogen, (2) can be polluted by trace chemical species, and (3) can undergo significant composition changes with time. This indicates that various mechanisms of element transport effectively compete against gravitational settling in the stellar envelope. This phenomenon is known as the spectral evolution of white dwarfs and has important implications for Galactic, stellar, and planetary astrophysics. This invited review provides a comprehensive picture of our current understanding of white dwarf spectral evolution. We first describe the latest observational constraints on the variations in atmospheric composition along the cooling sequence, covering both the dominant and trace constituents. We then summarise the predictions of state-of-the-art models of element transport in white dwarfs and assess their ability to explain the observed spectral evolution. Finally, we highlight remaining open questions and suggest avenues for future work.


title: Towards Optimising EEG Decoding using Post-hoc Explanations and Domain Knowledge

abstract: Decoding EEG during motor imagery is pivotal for the Brain-Computer Interface (BCI) system, influencing its overall performance significantly. As end-to-end data-driven learning methods advance, the challenge lies in balancing model complexity with the need for human interpretability and trust. Despite strides in EEG-based BCIs, challenges like artefacts and low signal-to-noise ratio emphasise the ongoing importance of model transparency. This work proposes using post-hoc explanations to interpret model outcomes and validate them against domain knowledge. Leveraging the GradCAM post-hoc explanation technique on the motor imagery dataset, this work demonstrates that relying solely on accuracy metrics may be inadequate to ensure BCI performance and acceptability. A model trained using all EEG channels of the dataset achieves 72.60% accuracy, while a model trained with motor-imagery/movement-relevant channel data has a statistically insignificant decrease of 1.75%. However, the relevant features for both are very different based on neurophysiological facts. This work demonstrates that integrating domain-specific knowledge with XAI techniques emerges as a promising paradigm for validating the neurophysiological basis of model outcomes in BCIs. Our results reveal the significance of neurophysiological validation in evaluating BCI performance, highlighting the potential risks of exclusively relying on performance metrics when selecting models for dependable and transparent BCIs.


title: The Importance of Model Inspection for Better Understanding Performance Characteristics of Graph Neural Networks

abstract: This study highlights the importance of conducting comprehensive model inspection as part of comparative performance analyses. Here, we investigate the effect of modelling choices on the feature learning characteristics of graph neural networks applied to a brain shape classification task. Specifically, we analyse the effect of using parameter-efficient, shared graph convolutional submodels compared to structure-specific, non-shared submodels. Further, we assess the effect of mesh registration as part of the data harmonisation pipeline. We find substantial differences in the feature embeddings at different layers of the models. Our results highlight that test accuracy alone is insufficient to identify important model characteristics such as encoded biases related to data source or potentially non-discriminative features learned in submodels. Our model inspection framework offers a valuable tool for practitioners to better understand performance characteristics of deep learning models in medical imaging.


title: The role of the Allee effect in common-pool resource and its sustainability

abstract: The management of common-pool resources is a complex challenge due to the risk of overexploitation and the tragedy of the commons. A novel framework has been introduced to address this issue, focusing on the coevolutionary relationship between human behavior and common-pool resources within a human-environment system. However, the impact of the Allee effect on the coevolution and its resource sustainability is still unexplored. The Allee effect, a biological phenomenon characterized by a correlation between resource availability and growth rate, is a fundamental attribute of numerous natural resources. In this paper, we introduce two coevolutionary models of resource and strategy under replicator dynamics and knowledge feedback by applying the Allee effect to the common-pool resources within human-environment system. These models encapsulate various facets of resource dynamics and the players' behavior, such as resource growth function, the extraction rates, and the strategy update rules. We find that the Allee effect can induce bi-stability and critical transition, leading to either sustainable or unsustainable outcomes depending on the initial condition and parameter configuration. We demonstrate that knowledge feedback enhances the resilience and sustainability of the coevolving system, and these results advances the understanding of human-environment system and management of common-pool resources.


title: Learned frequency-domain scattered wavefield solutions using neural operators

abstract: Solving the wave equation is essential to seismic imaging and inversion. The numerical solution of the Helmholtz equation, fundamental to this process, often encounters significant computational and memory challenges. We propose an innovative frequency-domain scattered wavefield modeling method employing neural operators adaptable to diverse seismic velocities. The source location and frequency information are embedded within the input background wavefield, enhancing the neural operator's ability to process source configurations effectively. In addition, we utilize a single reference frequency, which enables scaling from larger-domain forward modeling to higher-frequency scenarios, thereby improving our method's accuracy and generalization capabilities for larger-domain applications. Several tests on the OpenFWI datasets and realistic velocity models validate the accuracy and efficacy of our method as a surrogate model, demonstrating its potential to address the computational and memory limitations of numerical methods.


title: Towards Inclusive Face Recognition Through Synthetic Ethnicity Alteration

abstract: Numerous studies have shown that existing Face Recognition Systems (FRS), including commercial ones, often exhibit biases toward certain ethnicities due to under-represented data. In this work, we explore ethnicity alteration and skin tone modification using synthetic face image generation methods to increase the diversity of datasets. We conduct a detailed analysis by first constructing a balanced face image dataset representing three ethnicities: Asian, Black, and Indian. We then make use of existing Generative Adversarial Network-based (GAN) image-to-image translation and manifold learning models to alter the ethnicity from one to another. A systematic analysis is further conducted to assess the suitability of such datasets for FRS by studying the realistic skin-tone representation using Individual Typology Angle (ITA). Further, we also analyze the quality characteristics using existing Face image quality assessment (FIQA) approaches. We then provide a holistic FRS performance analysis using four different systems. Our findings pave the way for future research works in (i) developing both specific ethnicity and general (any to any) ethnicity alteration models, (ii) expanding such approaches to create databases with diverse skin tones, (iii) creating datasets representing various ethnicities which further can help in mitigating bias while addressing privacy concerns.


title: Satellite lines from autoionizing states of Fe XVI and the problems with the X-ray Fe XVII lines

abstract: We present new calculations of atomic data needed to model autoionizing states of Fe XVI. We compare the state energies, radiative and excitation data with a sample of results from previous literature. We find a large scatter of results, the most significant ones in the autoionization rates, which are very sensitive to the configuration interaction and state mixing. We find relatively good agreement between the autoionization rates and the collisional excitation rates calculated with the R-matrix suite of programs and autostructure. The largest model, which includes J-resolved states up to n=10, produces ab-initio wavelengths and intensities of the satellite lines which agree well with solar high-resolution spectra of active regions, with few minor wavelength adjustements. We review previous literature, finding many incorrect identifications, most notably those in the NIST database. We provide several new tentative identifications in the 15-15.7 A range, and several new ones at shorter wavelengths, where previous lines were unidentified. Compared to the previous CHIANTI model, the present one has an increased flux in the 15--15.7 A range at 2 MK of a factor of 1.9, resolving the discrepancies found in the analysis of the Marshall Grazing Incidence X-Ray Spectrometer (MaGIXS) observation. It appears that the satellite lines also resolve the long-standing discrepancy in the intensity of the important Fe XVII 3D line at 15.26 A.


title: Variable Selection in Ultra-high Dimensional Feature Space for the Cox Model with Interval-Censored Data

abstract: We develop a set of variable selection methods for the Cox model under interval censoring, in the ultra-high dimensional setting where the dimensionality can grow exponentially with the sample size. The methods select covariates via a penalized nonparametric maximum likelihood estimation with some popular penalty functions, including lasso, adaptive lasso, SCAD, and MCP. We prove that our penalized variable selection methods with folded concave penalties or adaptive lasso penalty enjoy the oracle property. Extensive numerical experiments show that the proposed methods have satisfactory empirical performance under various scenarios. The utility of the methods is illustrated through an application to a genome-wide association study of age to early childhood caries.


title: Detailed study of the decay of $^{21}$Mg

abstract: Beta-delayed proton and gamma emission in the decay of $^{21}$Mg has been measured at ISOLDE, CERN with the ISOLDE Decay Station (IDS) set-up. The existing decay scheme is updated, in particular what concerns proton transitions to excited states in $^{20}$Ne. Signatures of interference in several parts of the spectrum are used to settle spin and parity assignments to highly excited states in $^{21}$Na. The previously reported $\beta$p$\alpha$ branch is confirmed. A half-life of 120.5(4) ms is extracted for $^{21}$Mg. The revised decay scheme is employed to test mirror symmetry in the decay and to extract the beta strength distribution of $^{21}$Mg that is compared with theory.


title: Quantifying Spatial Domain Explanations in BCI using Earth Mover's Distance

abstract: Brain-computer interface (BCI) systems facilitate unique communication between humans and computers, benefiting severely disabled individuals. Despite decades of research, BCIs are not fully integrated into clinical and commercial settings. It's crucial to assess and explain BCI performance, offering clear explanations for potential users to avoid frustration when it doesn't work as expected. This work investigates the efficacy of different deep learning and Riemannian geometry-based classification models in the context of motor imagery (MI) based BCI using electroencephalography (EEG). We then propose an optimal transport theory-based approach using earth mover's distance (EMD) to quantify the comparison of the feature relevance map with the domain knowledge of neuroscience. For this, we utilized explainable AI (XAI) techniques for generating feature relevance in the spatial domain to identify important channels for model outcomes. Three state-of-the-art models are implemented - 1) Riemannian geometry-based classifier, 2) EEGNet, and 3) EEG Conformer, and the observed trend in the model's accuracy across different architectures on the dataset correlates with the proposed feature relevance metrics. The models with diverse architectures perform significantly better when trained on channels relevant to motor imagery than data-driven channel selection. This work focuses attention on the necessity for interpretability and incorporating metrics beyond accuracy, underscores the value of combining domain knowledge and quantifying model interpretations with data-driven approaches in creating reliable and robust Brain-Computer Interfaces (BCIs).


title: Generalized cyclotomic polynomials associated with regular systems of divisors and arbitrary sets of positive integers

abstract: We introduce and study the generalized cyclotomic polynomials $\Phi_{A,S,n}(x)$ associated with a regular system $A$ of divisors and an arbitrary set $S$ of positive integers. We show that all of these polynomials have integer coefficients, they can be expressed as the product of certain classical cyclotomic polynomials $\Phi_d(x)$ with $d\mid n$, and enjoy many other properties which are similar to the classical and unitary cases. We also point out some related Menon-type identities. One of them seems to be new even for the cyclotomic polynomials $\Phi_n(x)$.


title: Core QUIC: Enabling Dynamic, Implementation-Agnostic Protocol Extensions

abstract: While applications quickly evolve, Internet protocols do not follow the same pace. There are two root causes for this. First, extending protocol with cleartext control plane is usually hindered by various network devices such as middleboxes. Second, such extensions usually require support from all participating entities, but often these run different implementations, leading to the chicken-and-egg deployment issue. The recently standardized QUIC protocol paved the way for dealing with the first concern by embedding encryption by design. However, it attracted so much interest that there is now a large heterogeneity in QUIC implementations, hence amplifying the second problem. To get rid of these deployment issues and to enable inter-operable, implementation-independent innovation at transport layer, we propose a paradigm shift called Core QUIC. While Core QUIC keeps compliant with the standardized QUIC protocol, it enforces implementation architecture such that any Core QUIC-supporting participant can be extended with the same, generic bytecode. To achieve this, Core QUIC defines a standardized representation format of common QUIC structures on which plugins running in a controlled environment can operate to extend the underlying host implementation. We demonstrate the feasibility of our approach by making two implementations Core QUIC-compliant. Then, we show that we can extend both with the same plugin code over several use cases.


title: Reinforcement Learning for Edit-Based Non-Autoregressive Neural Machine Translation

abstract: Non-autoregressive (NAR) language models are known for their low latency in neural machine translation (NMT). However, a performance gap exists between NAR and autoregressive models due to the large decoding space and difficulty in capturing dependency between target words accurately. Compounding this, preparing appropriate training data for NAR models is a non-trivial task, often exacerbating exposure bias. To address these challenges, we apply reinforcement learning (RL) to Levenshtein Transformer, a representative edit-based NAR model, demonstrating that RL with self-generated data can enhance the performance of edit-based NAR models. We explore two RL approaches: stepwise reward maximization and episodic reward maximization. We discuss the respective pros and cons of these two approaches and empirically verify them. Moreover, we experimentally investigate the impact of temperature setting on performance, confirming the importance of proper temperature setting for NAR models' training.


title: Demistifying Inference after Adaptive Experiments

abstract: Adaptive experiments such as multi-arm bandits adapt the treatment-allocation policy and/or the decision to stop the experiment to the data observed so far. This has the potential to improve outcomes for study participants within the experiment, to improve the chance of identifying best treatments after the experiment, and to avoid wasting data. Seen as an experiment (rather than just a continually optimizing system) it is still desirable to draw statistical inferences with frequentist guarantees. The concentration inequalities and union bounds that generally underlie adaptive experimentation algorithms can yield overly conservative inferences, but at the same time the asymptotic normality we would usually appeal to in non-adaptive settings can be imperiled by adaptivity. In this article we aim to explain why, how, and when adaptivity is in fact an issue for inference and, when it is, understand the various ways to fix it: reweighting to stabilize variances and recover asymptotic normality, always-valid inference based on joint normality of an asymptotic limiting sequence, and characterizing and inverting the non-normal distributions induced by adaptivity.


title: Oort's conjecture and automorphisms of supersingular curves of genus four

abstract: We show that every component of the locus of smooth supersingular curves of genus $4$ in characteristic $p>2$ has a trivial generic automorphism group. As a result, we prove Oort's conjecture about automorphism groups of supersingular abelian fourfolds for $p>2$. Our main idea consists of estimating dimensions of the loci of smooth supersingular curves that admit an automorphism of prime order by considering possible choices of the corresponding quotient curves. This reasoning also results in a new proof of Oort's conjecture for $g = 3$ and $p>2$, previously proved by Karemaker, Yuboko, and Yu.


title: Fractional Bloom boundedness of commutators in spaces of homogeneous type

abstract: We aim to characterise boundedness of commutators $[b,T]$ of singular integrals $T$. Boundedness is studied between weighted Lebesgue spaces $L^p(X)$ and $L^q(X)$, $p\leq q$, when the underlying space $X$ is a space of homogeneous type. Commutator theory in spaces of homogeneous type already exist in literature, in particular boundedness results in the setting $p=q$. The purpose here is to extend the earlier results to the setting of $p< q$. Our methods extend those of Duong et al. and Hyt\"onen et al. A novelty here is that in order to show the lower bound of the commutator norm, we demonstrate that the approximate weak factorisation of Hyt\"onen can be used when the underlying setting is a space of homogeneous type and not only in the Euclidean setting. The strength of the approximate weak factorisation is that (when compared to the so-called median method) it readily allows complex-valued $b$ in addition to real-valued ones. However, the median method has been previously successfully applied to iterated commutators and thus has its own strengths. We also present a proof based on that method.


title: Behavior Imitation for Manipulator Control and Grasping with Deep Reinforcement Learning

abstract: The existing Motion Imitation models typically require expert data obtained through MoCap devices, but the vast amount of training data needed is difficult to acquire, necessitating substantial investments of financial resources, manpower, and time. This project combines 3D human pose estimation with reinforcement learning, proposing a novel model that simplifies Motion Imitation into a prediction problem of joint angle values in reinforcement learning. This significantly reduces the reliance on vast amounts of training data, enabling the agent to learn an imitation policy from just a few seconds of video and exhibit strong generalization capabilities. It can quickly apply the learned policy to imitate human arm motions in unfamiliar videos. The model first extracts skeletal motions of human arms from a given video using 3D human pose estimation. These extracted arm motions are then morphologically retargeted onto a robotic manipulator. Subsequently, the retargeted motions are used to generate reference motions. Finally, these reference motions are used to formulate a reinforcement learning problem, enabling the agent to learn a policy for imitating human arm motions. This project excels at imitation tasks and demonstrates robust transferability, accurately imitating human arm motions from other unfamiliar videos. This project provides a lightweight, convenient, efficient, and accurate Motion Imitation model. While simplifying the complex process of Motion Imitation, it achieves notably outstanding performance.


title: Novel method for in-situ drift velocity measurement in large volume TPCs: the Geometry Reference Chamber of the NA61/SHINE experiment at CERN

abstract: This paper presents a novel method for low maintenance, low ambiguity in-situ drift velocity monitoring in large volume Time Projection Chambers (TPCs). The method was developed and deployed for the 40m^3 TPC tracker system of the NA61/SHINE experiment at CERN, which has a one meter of drift length. The method relies on a low-cost multi-wire proportional chamber (MWPC) placed downstream of the TPCs to be monitored. The drift velocity is then determined by matching the reconstructed tracks in the TPC to the hits of the pertinent monitoring chamber, called Geometry Reference Chamber (GRC), which is then used as a differential length scale. An important design requirement on the GRC was minimal added complexity to the existing system, in particular, compatibility with Front-End Electronics (FEE) cards already used to read out the TPCs. Moreover, the GRC system was designed to operate both in large and small particle flux. The system is capable of monitoring the evolution of the in-situ drift velocity down to a one permil precision, with a few minutes of time sampling.


title: Data Feminism for AI

abstract: This paper presents a set of intersectional feminist principles for conducting equitable, ethical, and sustainable AI research. In Data Feminism (2020), we offered seven principles for examining and challenging unequal power in data science. Here, we present a rationale for why feminism remains deeply relevant for AI research, rearticulate the original principles of data feminism with respect to AI, and introduce two potential new principles related to environmental impact and consent. Together, these principles help to 1) account for the unequal, undemocratic, extractive, and exclusionary forces at work in AI research, development, and deployment; 2) identify and mitigate predictable harms in advance of unsafe, discriminatory, or otherwise oppressive systems being released into the world; and 3) inspire creative, joyful, and collective ways to work towards a more equitable, sustainable world in which all of us can thrive.


title: Strength and Sensitivity of Land-Atmosphere Interaction

abstract: The land-atmosphere coupling strength has been defined as the percentage of precipitation variability explained by the variation of soil moisture in the Global Land-Atmosphere Coupling Experiment (GLACE). While it is useful to identify global hotspots of land-atmosphere interaction, this coupling strength is different from coupling sensitivity, which directly quantifies how precipitation generation responds to the perturbation of soil moisture and is essential for our understanding of the global water cycle. To disentangle these two quantities, here we theoretically explore the relationships among coupling strength, sensitivity, and soil moisture variances. We use climate model outputs to show that the largest soil moisture variances are located in the transitional climate zones and the variations of soil moisture largely account for the geographical patterns of coupling hotspots. The coupling sensitivity is not necessarily low in non-hotspot regions, which could impose great impacts on the development of extreme climate events. We therefore call for more research attention on coupling sensitivity to improve our understanding of the climate system.


title: Proposal for PAC 52: Measurement of $\alpha_-$ for $\Lambda\rightarrow p\pi^-$

abstract: We propose to measure the weak decay constant $\alpha_-$ for the decay $\Lambda\rightarrow p\pi^-$ using a both circularly and linearly polarized photon beam with the GlueX spectrometer in Hall D. The measurement will take advantage of the fact that a measurement with both linear and circular photon beam polarization results in an over-constrained set of amplitudes which can be fitted to data and used to extract $\alpha_-$ which will be left as a free parameter in the fit. We expect to determine $\alpha_-$ with statistical uncertainties comparable to existing measurements and independent systematic uncertainties. This measurement can be performed alongside GlueX-II running and requires no new hardware or new beam time. The measurement requires that a sufficient fraction of the electron beam polarization be longitudinal in the Hall D tagger.


title: Measuring the Exploitation of Weaknesses in the Wild

abstract: Identifying the software weaknesses exploited by attacks supports efforts to reduce developer introduction of vulnerabilities and to guide security code review efforts. A weakness is a bug or fault type that can be exploited through an operation that results in a security-relevant error. Ideally, the security community would measure the prevalence of the software weaknesses used in actual exploitation. This work advances that goal by introducing a simple metric that utilizes public data feeds to determine the probability of a weakness being exploited in the wild for any 30-day window. The metric is evaluated on a set of 130 weaknesses that were commonly found in vulnerabilities between April 2021 and March 2024. Our analysis reveals that 92 % of the weaknesses are not being constantly exploited.


title: A hypergraph model shows the carbon reduction potential of effective space use in housing

abstract: Humans spend over 90% of their time in buildings which account for 40% of anthropogenic greenhouse gas (GHG) emissions, making buildings the leading cause of climate change. To incentivize more sustainable construction, building codes are used to enforce indoor comfort standards and maximum energy use. However, they currently only reward energy efficiency measures such as equipment or envelope upgrades and disregard the actual spatial configuration and usage. Using a new hypergraph model that encodes building floorplan organization and facilitates automatic geometry creation, we demonstrate that space efficiency outperforms envelope upgrades in terms of operational carbon emissions in 72%, 61% and 33% of surveyed buildings in Zurich, New York, and Singapore. Automatically generated floorplans for a case study in Zurich further increase access to daylight by up to 24%, revealing that auto-generated floorplans have the potential to improve the quality of residential spaces in terms of environmental performance and access to daylight.


title: On Hodge structures of compact complex manifolds with semistable degenerations

abstract: Compact K\"{a}hler manifolds satisfy several nice Hodge-theoretic properties such as the Hodge symmetry, the Hard Lefschetz property and the Hodge-Riemann bilinear relations, etc. In this note, we investigate when such nice properties hold on compact complex manifolds with semistable degenerations. For compact complex manifolds which can be obtained as smoothings of SNC varieties without triple intersection locus, we show the Hodge symmetry when the monodromy logarithm induces isomorphisms on the associated graded. We also show the Hodge-Riemann relations on H^3 of compact complex 3-folds with such semistable degenerations under some conditions.


title: Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees

abstract: In this paper, we consider the design of data-driven predictive controllers for nonlinear systems from input-output data via linear-in-control input Koopman lifted models. Instead of identifying and simulating a Koopman model to predict future outputs, we design a subspace predictive controller in the Koopman space. This allows us to learn the observables minimizing the multi-step output prediction error of the Koopman subspace predictor, preventing the propagation of prediction errors. To avoid losing feasibility of our predictive control scheme due to prediction errors, we compute a terminal cost and terminal set in the Koopman space and we obtain recursive feasibility guarantees through an interpolated initial state. As a third contribution, we introduce a novel regularization cost yielding input-to-state stability guarantees with respect to the prediction error for the resulting closed-loop system. The performance of the developed Koopman data-driven predictive control methodology is illustrated on a nonlinear benchmark example from the literature.


title: Low-resource speech recognition and dialect identification of Irish in a multi-task framework

abstract: This paper explores the use of Hybrid CTC/Attention encoder-decoder models trained with Intermediate CTC (InterCTC) for Irish (Gaelic) low-resource speech recognition (ASR) and dialect identification (DID). Results are compared to the current best performing models trained for ASR (TDNN-HMM) and DID (ECAPA-TDNN). An optimal InterCTC setting is initially established using a Conformer encoder. This setting is then used to train a model with an E-branchformer encoder and the performance of both architectures are compared. A multi-task fine-tuning approach is adopted for language model (LM) shallow fusion. The experiments yielded an improvement in DID accuracy of 10.8% relative to a baseline ECAPA-TDNN, and WER performance approaching the TDNN-HMM model. This multi-task approach emerges as a promising strategy for Irish low-resource ASR and DID.


title: Merging N-hyperideals and J-hyperideals in one frame

abstract: The notions of N-hyperideals and J-hyperideals as two classes of hyperideals were recently defined in the context of Krasner (m,n)-hyperrings. These concepts are created on the basis of the intersection of all n-ary prime hyperideals and the intersection of all maximal hyperideals, respectively. Despite being vastly different in many aspects, they shar numerous similar properties. The aim of this research work is to merge them under one frame called n-ary delta(0)-hyperideals where the function delta assigns to each hyperideals of a Krasner (m,n)-hyperring a hyperideal of the same hyperring. We give various properties of n-ary delta(0)-hyperideals and use them to characerize certain classes of hyperring such as hyperintegral domains and local hyperrings. Moreover, we introduce the notions of (s,n)-absorbing delta(0)-hyperideals and weakly (s,n)-absorbing delta(0)-hyperideals.


title: Thermodynamic theory of inverse current in coupled quantum transport

abstract: The inverse current in coupled (ICC) quantum transport, where one induced current opposes all thermodynamic forces of a system, is a highly counter-intuitive transport phenomenon. Using an exactly solvable model of strongly-coupled quantum dots, we present thermodynamic description of ICC in energy and spin-induced particle currents, with potential applications towards unconventional and autonomous nanoscale thermoelectric generators. Our analysis reveals the connection between microscopic and macroscopic formulations of entropy production rates, elucidating the often-overlooked role of proper thermodynamic forces and conjugate fluxes in characterizing genuine ICC. In our model, the seemingly paradoxical results of ICC in the energy current arise from chemical work done by current-carrying quantum particles, while in spin-induced particle current, it stems from the relative competition between electron reservoirs controlling one particular transition.


title: Cutoff Scale of Quadratic Gravity from Quantum Focusing Conjecture

abstract: We derive the cutoff length scale of the quadratic gravity in $d \geq 5$ dimensional spacetime by demanding that the quantum focusing conjecture for the smeared quantum expansion holds at the classical level. The cutoff scale has different dependence on the spacetime dimension depending on the sign of the coupling constant of the quadratic gravity. We also investigate a concrete example of the 5-dimensional Schwarzschild spacetime and directly confirm that the quantum focusing conjecture holds when the quantum expansion is smeared over the scale larger than our cutoff scale.


title: Boosting gravitational waves: a review of kinematic effects on amplitude, polarization, frequency and energy density

abstract: We review the kinematic effects on a gravitational wave due to either a peculiar motion of the astrophysical source emitting it or a local motion of the observer. We show, at fully non-linear order in velocity, that the amplitude of the wave is amplified by the Doppler factor in the case in which the source moves with respect to a reference frame, while it is invariant if the observer moves (with respect to a reference observer). However, the observed specific intensity transforms in the same way under a boost of the source or of the observer. We also show at fully non-linear order that under a boost (of either source or observer), the polarization tensor is rotated in the same way the wave direction is rotated by aberration, such that the only net effect of a boost on polarization is to change the phase of the helicity components. We apply these results to a wave emitted by a binary system of compact objects in the cosmological context.


title: Reorthogonalized Pythagorean variants of block classical Gram-Schmidt

abstract: Block classical Gram-Schmidt (BCGS) is commonly used for orthogonalizing a set of vectors $X$ in distributed computing environments due to its favorable communication properties relative to other orthogonalization approaches, such as modified Gram-Schmidt or Householder. However, it is known that BCGS (as well as recently developed low-synchronization variants of BCGS) can suffer from a significant loss of orthogonality in finite-precision arithmetic, which can contribute to instability and inaccurate solutions in downstream applications such as $s$-step Krylov subspace methods. A common solution to improve the orthogonality among the vectors is reorthogonalization. Focusing on the "Pythagorean" variant of BCGS, introduced in [E. Carson, K. Lund, & M. Rozlo\v{z}n\'{i}k. SIAM J. Matrix Anal. Appl. 42(3), pp. 1365--1380, 2021], which guarantees an $O(\varepsilon)\kappa^2(X)$ bound on the loss of orthogonality as long as $O(\varepsilon)\kappa^2(X)<1$, where $\varepsilon$ denotes the unit roundoff, we introduce and analyze two reorthogonalized Pythagorean BCGS variants. These variants feature favorable communication properties, with asymptotically two synchronization points per block column, as well as an improved $O(\varepsilon)$ bound on the loss of orthogonality. Our bounds are derived in a general fashion to additionally allow for the analysis of mixed-precision variants. We verify our theoretical results with a panel of test matrices and experiments from a new version of the \texttt{BlockStab} toolbox.


title: The Effectiveness of LLMs as Annotators: A Comparative Overview and Empirical Analysis of Direct Representation

abstract: Large Language Models (LLMs) have emerged as powerful support tools across various natural language tasks and a range of application domains. Recent studies focus on exploring their capabilities for data annotation. This paper provides a comparative overview of twelve studies investigating the potential of LLMs in labelling data. While the models demonstrate promising cost and time-saving benefits, there exist considerable limitations, such as representativeness, bias, sensitivity to prompt variations and English language preference. Leveraging insights from these studies, our empirical analysis further examines the alignment between human and GPT-generated opinion distributions across four subjective datasets. In contrast to the studies examining representation, our methodology directly obtains the opinion distribution from GPT. Our analysis thereby supports the minority of studies that are considering diverse perspectives when evaluating data annotation tasks and highlights the need for further research in this direction.


title: Partially bonded crystals: a pathway to porosity and polymorphism

abstract: In recent years, experimental and theoretical investigations have shown that anisotropic colloids can self-organise into ordered porous monolayers, where the interplay of localised bonding sites, so called patches, with the particle's shape is responsible for driving the systems away from close-packing and towards porosity. Until now it has been assumed that patchy particles have to be fully bonded with their neighbouring particles for crystals to form, and that, if full bonding cannot be achieved due to the choice of patch placement, disordered assemblies will form instead. In contrast, we show that by deliberately displacing the patches such that full bonding is disfavored, a different route to porous crystalline monolayers emerges, where geometric frustration and partial bonding are pivotal in the structure formation process. The resulting dangling bonds lead to the emergence of effectively chiral units which then act as building blocks for energetically equivalent crystal polymorphs.


title: Controlling Communications Quality in V2V Platooning: a TSN-like Slot-Based Scheduler Approach

abstract: Connected vehicles, facilitated by Vehicle-to-Vehicle (V2V) communications, play a key role in enhancing road safety and traffic efficiency. However, V2V communications primarily rely on wireless protocols, such as Wi-Fi, that require additional collision avoidance mechanisms to better ensure bounded latency and reliability in critical scenarios. In this paper, we introduce a novel approach to address the challenge of message collision in V2V platooning through a slotted-based solution inspired by Time-Sensitive Networking (TSN), which is gaining momentum for in-vehicle networks. To this end, we present a controller, named TSNCtl, operating at the application level of the vehicular communications stack. TSNCtl employs a finite state machine (FSM) to manage platoon formation and slot-based scheduling for message dissemination. The reported evaluation results, based on the OMNeT++ simulation framework and INET library, demonstrate the effectiveness of TSNCtl in reducing packet collisions across various scenarios. Specifically, our experiments reveal a significant reduction in packet collisions compared to the CSMA-CA baseline used in traditional Wi-Fi-based protocols (e.g., IEEE 802.11p): for instance, with slot lengths of 2 ms, our solution achieves an average collision rate under 1%, compared to up to 50% for the baseline case.


title: On density and Bishop-Phelps-Bollob\'as type properties for the minimum norm

abstract: We study the set $\operatorname{MA}(X,Y)$ of operators between Banach spaces $X$ and $Y$ that attain their minimum norm, and the set $\operatorname{QMA}(X,Y)$ of operators that quasi attain their minimum norm. We characterize the Radon-Nikodym property in terms of operators that attain their minimum norm and obtain some related results about the density of the sets $\operatorname{MA}(X,Y)$ and $\operatorname{QMA}(X,Y)$. We show that every infinite-dimensional Banach space $X$ has an isomorphic space $Y$ such that not every operator from $X$ to $Y$ quasi attains its minimum norm. We introduce and study Bishop-Phelps-Bollob\'as type properties for the minimum norm, including the ones already considered in the literature, and we exhibit a wide variety of results and examples, as well as exploring the relations between them.


title: Joint Sequential Fronthaul Quantization and Hardware Complexity Reduction in Uplink Cell-Free Massive MIMO Networks

abstract: Fronthaul quantization causes a significant distortion in cell-free massive MIMO networks. Due to the limited capacity of fronthaul links, information exchange among access points (APs) must be quantized significantly. Furthermore, the complexity of the multiplication operation in the base-band processing unit increases with the number of bits of the operands. Thus, quantizing the APs' signal vector reduces the complexity of signal estimation in the base-band processing unit. Most recent works consider the direct quantization of the received signal vectors at each AP without any pre-processing. However, the signal vectors received at different APs are correlated mutually (inter-AP correlation) and also have correlated dimensions (intra-AP correlation). Hence, cooperative quantization of APs fronthaul can help to efficiently use the quantization bits at each AP and further reduce the distortion imposed on the quantized vector at the APs. This paper considers a daisy chain fronthaul and three different processing sequences at each AP. We show that 1) de-correlating the received signal vector at each AP from the corresponding vectors of the previous APs (inter-AP de-correlation) and 2) de-correlating the dimensions of the received signal vector at each AP (intra-AP de-correlation) before quantization helps to use the quantization bits at each AP more efficiently than directly quantizing the received signal vector without any pre-processing and consequently, improves the bit error rate (BER) and normalized mean square error (NMSE) of users signal estimation.


title: Misclassification bounds for PAC-Bayesian sparse deep learning

abstract: Recently, there has been a significant focus on exploring the theoretical aspects of deep learning, especially regarding its performance in classification tasks. Bayesian deep learning has emerged as a unified probabilistic framework, seeking to integrate deep learning with Bayesian methodologies seamlessly. However, there exists a gap in the theoretical understanding of Bayesian approaches in deep learning for classification. This study presents an attempt to bridge that gap. By leveraging PAC-Bayes bounds techniques, we present theoretical results on the prediction or misclassification error of a probabilistic approach utilizing Spike-and-Slab priors for sparse deep learning in classification. We establish non-asymptotic results for the prediction error. Additionally, we demonstrate that, by considering different architectures, our results can achieve minimax optimal rates in both low and high-dimensional settings, up to a logarithmic factor. Moreover, our additional logarithmic term yields slight improvements over previous works. Additionally, we propose and analyze an automated model selection approach aimed at optimally choosing a network architecture with guaranteed optimality.


title: Distributed Representations Enable Robust Multi-Timescale Computation in Neuromorphic Hardware

abstract: Programming recurrent spiking neural networks (RSNNs) to robustly perform multi-timescale computation remains a difficult challenge. To address this, we show how the distributed approach offered by vector symbolic architectures (VSAs), which uses high-dimensional random vectors as the smallest units of representation, can be leveraged to embed robust multi-timescale dynamics into attractor-based RSNNs. We embed finite state machines into the RSNN dynamics by superimposing a symmetric autoassociative weight matrix and asymmetric transition terms. The transition terms are formed by the VSA binding of an input and heteroassociative outer-products between states. Our approach is validated through simulations with highly non-ideal weights; an experimental closed-loop memristive hardware setup; and on Loihi 2, where it scales seamlessly to large state machines. This work demonstrates the effectiveness of VSA representations for embedding robust computation with recurrent dynamics into neuromorphic hardware, without requiring parameter fine-tuning or significant platform-specific optimisation. This advances VSAs as a high-level representation-invariant abstract language for cognitive algorithms in neuromorphic hardware.


title: Graph is all you need? Lightweight data-agnostic neural architecture search without training

abstract: Neural architecture search (NAS) enables the automatic design of neural network models. However, training the candidates generated by the search algorithm for performance evaluation incurs considerable computational overhead. Our method, dubbed nasgraph, remarkably reduces the computational costs by converting neural architectures to graphs and using the average degree, a graph measure, as the proxy in lieu of the evaluation metric. Our training-free NAS method is data-agnostic and light-weight. It can find the best architecture among 200 randomly sampled architectures from NAS-Bench201 in 217 CPU seconds. Besides, our method is able to achieve competitive performance on various datasets including NASBench-101, NASBench-201, and NDS search spaces. We also demonstrate that nasgraph generalizes to more challenging tasks on Micro TransNAS-Bench-101.


title: Prediction of Room-Temperature Electric Field Reversal of Magnetization in the Family of $A_4B_3$O$_9$ Layered Oxides

abstract: The promise of a strong magnetoelectric (ME) coupling in a multiferroic (MF) material is not only of fundamental interest, but also forms the basis of next generation memory devices where the direction of magnetization can be reversed by an external electric field. Using group-theory led first-principles calculations, we determine the ME properties of a relatively understudied family of layered oxides with the general formula $A_4B_3$O$_9$. We show how the tetrahedral rotations in these oxides can lead to a variety of hitherto unknown structural phases with different symmetries. In particular, a polar phase in the $Cmc2_1$ space group has been identified where a weak ferromagnetic mode arises spontaneously via a canting of the antiferromagnetically ordered $B$-site spins. In this polar phase, the polar mode couples to the magnetic modes through a rare $\Gamma$-point ME-MF coupling scheme such that the net magnetization can be directly reversed by an electric field switching of the polar mode. Moreover, in agreement with previous experimental observations, we predict room-temperature magnetism in $A_4B_3$O$_9$ layered oxides which is supported by our calculations of the magnetic exchange interaction parameters, further indicating the potential of these compounds in practical technological applications.