title: DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic

abstract: Satisfiability modulo nonlinear real arithmetic theory (SMT(NRA)) solving is essential to multiple applications, including program verification, program synthesis and software testing. In this context, recently model constructing satisfiability calculus (MCSAT) has been invented to directly search for models in the theory space. Although following papers discussed practical directions and updates on MCSAT, less attention has been paid to the detailed implementation. In this paper, we present an efficient implementation of dynamic variable orderings of MCSAT, called dnlsat. We show carefully designed data structures and promising mechanisms, such as branching heuristic, restart, and lemma management. Besides, we also give a theoretical study of potential influences brought by the dynamic variablr ordering. The experimental evaluation shows that dnlsat accelerates the solving speed and solves more satisfiable instances than other state-of-the-art SMT solvers. Demonstration Video: https://youtu.be/T2Z0gZQjnPw Code: https://github.com/yogurt-shadow/dnlsat/tree/master/code Benchmark https://zenodo.org/records/10607722/files/QF_NRA.tar.zst?download=1


title: Exotic 4f Correlated Electronic States of Ferromagnetic Kondo Lattice Compounds ReRh$_6$Ge$_4$ (Re=Ce, Ho, Er, Tm)

abstract: CeRh$_6$Ge$_4$ stands out as the first stoichiometric metallic compound with a ferromagnetic quantum critical point, thereby garnering significant attention. Ferromagnetic Kondo lattice compounds ReRh$_6$Ge$_4$ (Re=Ce, Ho, Er, Tm) have been systematically investigated with density functional theory incorporating Coulomb interaction U and spin-orbital coupling. We determined the magnetic easy axis of CeRh$_6$Ge$_4$ is within the ab plane, which is in agreement with previous magnetization measurements conducted under external magnetic field and muSR experiments. We also predicted the magnetic easy axes for the other three compounds. For TmRh$_6$Ge$_4$, the magnetic easy axis aligns along the c axis, thus preserving the $C_3$ rotational symmetry of the c axis. Especially, there are triply degenerate nodal points along the $\Gamma-A$ direction in the band structure including spin-orbital coupling. A possible localized to itinerant crossover is revealed as $4f$ electrons increase from CeRh$_6$Ge$_4$ to TmRh$_6$Ge$_4$. Specifically, the $4f$ electrons of TmRh$_6$Ge$_4$ contribute to the formation of a large Fermi surface, indicating their participation in the conduction process. Conversely, the $4f$ electrons in HoRh$_6$Ge$_4$, ErRh$_6$Ge$_4$ and CeRh$_6$Ge$_4$ remain localized, which result in smaller Fermi surfaces for these compounds. These theoretical investigations on electronic structure and magnetic properties shed deep insight into the unique nature of $4f$ electrons, providing critical predictions for subsequent experimental studies.


title: UniGen: A Unified Framework for Textual Dataset Generation Using Large Language Models

abstract: Large Language Models (LLMs) such as GPT-4 and Llama3 have significantly impacted various fields by enabling high-quality synthetic data generation and reducing dependence on expensive human-generated datasets. Despite this, challenges remain in the areas of generalization, controllability, diversity, and truthfulness within the existing generative frameworks. To address these challenges, this paper presents UniGen, a comprehensive LLM-powered framework designed to produce diverse, accurate, and highly controllable datasets. UniGen is adaptable, supporting all types of text datasets and enhancing the generative process through innovative mechanisms. To augment data diversity, UniGen incorporates an attribute-guided generation module and a group checking feature. For accuracy, it employs a code-based mathematical assessment for label verification alongside a retrieval-augmented generation technique for factual validation. The framework also allows for user-specified constraints, enabling customization of the data generation process to suit particular requirements. Extensive experiments demonstrate the superior quality of data generated by UniGen, and each module within UniGen plays a critical role in this enhancement. Additionally, UniGen is applied in two practical scenarios: benchmarking LLMs and data augmentation. The results indicate that UniGen effectively supports dynamic and evolving benchmarking, and that data augmentation improves LLM capabilities in various domains, including agent-oriented abilities and reasoning skills.


title: Structural Attention: Rethinking Transformer for Unpaired Medical Image Synthesis

abstract: Unpaired medical image synthesis aims to provide complementary information for an accurate clinical diagnostics, and address challenges in obtaining aligned multi-modal medical scans. Transformer-based models excel in imaging translation tasks thanks to their ability to capture long-range dependencies. Although effective in supervised training settings, their performance falters in unpaired image synthesis, particularly in synthesizing structural details. This paper empirically demonstrates that, lacking strong inductive biases, Transformer can converge to non-optimal solutions in the absence of paired data. To address this, we introduce UNet Structured Transformer (UNest), a novel architecture incorporating structural inductive biases for unpaired medical image synthesis. We leverage the foundational Segment-Anything Model to precisely extract the foreground structure and perform structural attention within the main anatomy. This guides the model to learn key anatomical regions, thus improving structural synthesis under the lack of supervision in unpaired training. Evaluated on two public datasets, spanning three modalities, i.e., MR, CT, and PET, UNest improves recent methods by up to 19.30% across six medical image synthesis tasks. Our code is released at https://github.com/HieuPhan33/MICCAI2024-UNest.


title: Integral Representation for Riemann-Siegel $Z(t)$ function

abstract: We apply Poisson formula for a strip to give a representation of $Z(t)$ by means of an integral. \[F(t)=\int_{-\infty}^\infty \frac{h(x)\zeta(4+ix)}{7\cosh\pi\frac{x-t}{7}}\,dx, \qquad Z(t)=\frac{\Re F(t)}{(\frac14+t^2)^{\frac12}(\frac{25}{4}+t^2)^{\frac12}}.\] After that we get the estimate \[Z(t)=\Bigl(\frac{t}{2\pi}\Bigr)^{\frac74}\Re\bigl\{e^{i\vartheta(t)}H(t)\bigr\}+O(t^{-3/4}),\] with \[H(t)=\int_{-\infty}^\infty\Bigl(\frac{t}{2\pi}\Bigr)^{ix/2}\frac{\zeta(4+it+ix)}{7\cosh(\pi x/7)}\,dx=\Bigl(\frac{t}{2\pi}\Bigr)^{-\frac74}\sum_{n=1}^\infty \frac{1}{n^{\frac12+it}}\frac{2}{1+(\frac{t}{2\pi n^2})^{-7/2}}.\] We explain how the study of this function can lead to information about the zeros of the zeta function on the critical line.


title: Asymptotics of quantized barycenters of lattice polytopes with applications to algebraic geometry

abstract: This article addresses a combinatorial problem with applications to algebraic geometry. To a convex lattice polytope $P$ and each of its integer dilations $kP$ one may associate the barycenter of its lattice points. This sequence of $k$-quantized barycenters converge to the (classical) barycenter of the polytope considered as a convex body. A basic question arises: is there a complete asymptotic expansion for this sequence? If so, what are its terms? This article initiates the study of this question. First, we establish the existence of such an expansion as well as determine the first two terms. Second, for Delzant lattice polytopes we use toric algebra to determine all terms using mixed volumes of virtual rooftop polytopes, or alternatively in terms of higher Donaldson--Futaki invariants. Third, for reflexive polytopes we show the quantized barycenters are colinear to first order, and actually colinear in the case of polygons. The proofs use Ehrhart theory, convexity arguments, and toric algebra. As applications we derive the complete asymptotic expansion of the Fujita--Odaka stability thresholds $\delta_k$ on arbitrary polarizations on (possibly singular) toric varieties. In fact, we show they are rational functions of $k$ for sufficiently large $k$. This gives the first general result on Tian's stabilization problem for $\delta_k$-invariants for (possibly singular) toric Fanos: $\delta_k$ stabilize in $k$ if and only if they are all equal to $1$, and when smooth if and only if asymptotically Chow semistable. We also relate the asymptotic expansions to higher Donaldson--Futaki invariants of test configurations motivated by Ehrhart theory, and unify in passing previous results of Donaldson, Ono, Futaki, and Rubinstein--Tian--Zhang.


title: Galois groups of reciprocal polynomials and the van der Waerden-Bhargava theorem

abstract: We study the Galois groups $G_f$ of degree $2n$ reciprocal (a.k.a. palindromic) polynomials $f$ of height at most $H$, finding that $G_f$ falls short of the maximal possible group $S_2 \wr S_n$ for a proportion of all $f$ bounded above and below by constant multiples of $H^{-1} \log H$, whether or not $f$ is required to be monic. This answers a 1998 question of Davis-Duke-Sun and extends Bhargava's 2023 resolution of van der Waerden's 1936 conjecture on the corresponding question for general polynomials. Unlike in that setting, the dominant contribution comes not from reducible polynomials but from those $f$ for which $(-1)^n f(1) f(-1)$ is a square, causing $G_f$ to lie in an index-$2$ subgroup.


title: Optical conductivity of the metallic pyrochlore iridate Pr$_2$Ir$_2$O$_7$: Influence of spin-orbit coupling and electronic correlations on the electronic structure

abstract: The synergy of strong spin-orbit coupling and electron-electron interactions gives rise to unconventional topological states, such as topological Mott insulator, Weyl semimetal, and quantum spin liquid. In this study, we have grown single crystals of the pyrochlore iridate Pr$_2$Ir$_2$O$_7$ and explored its magnetic, lattice dynamical, and electronic properties. While Raman spectroscopy data reveal six phonon modes confirming the cubic \textit{Fd$\bar{3}$m} crystal symmetry, dc magnetic susceptibility data show no anomalies and hence indicate the absence of magnetic phase transitions down to 2~K. Both temperature-dependent electric transport and optical conductivity data reveal the metallic character of Pr$_2$Ir$_2$O$_7$. The optical conductivity spectrum contains a mid-infrared absorption band, which becomes more pronounced with decreasing temperature due to spectral weight transfer from high to low energies. The presence of the mid-infrared band hints at the importance of correlation physics. The optical response furthermore suggests that Pr$_2$Ir$_2$O$_7$ is close to the Weyl semimetal phase.


title: Applying LLMs for Rescoring N-best ASR Hypotheses of Casual Conversations: Effects of Domain Adaptation and Context Carry-over

abstract: Large language models (LLMs) have been successfully applied for rescoring automatic speech recognition (ASR) hypotheses. However, their ability to rescore ASR hypotheses of casual conversations has not been sufficiently explored. In this study, we reveal it by performing N-best ASR hypotheses rescoring using Llama2 on the CHiME-7 distant ASR (DASR) task. Llama2 is one of the most representative LLMs, and the CHiME-7 DASR task provides datasets of casual conversations between multiple participants. We investigate the effects of domain adaptation of the LLM and context carry-over when performing N-best rescoring. Experimental results show that, even without domain adaptation, Llama2 outperforms a standard-size domain-adapted Transformer-LM, especially when using a long context. Domain adaptation shortens the context length needed with Llama2 to achieve its best performance, i.e., it reduces the computational cost of Llama2.


title: Schur Stability of Matrix Segment via Bialternate Product

abstract: In this study, the problem of robust Schur stability of $n\times n$ dimensional matrix segments by using the bialternate product of matrices is considered. It is shown that the problem can be reduced to the existence of negative eigenvalues of two of three specially constructed matrices and the existence of eigenvalues belonging to the interval $[1,\infty)$ of the third matrix. A necessary and sufficient condition is given for the convex combinations of two stable matrices with rank one difference to be robust Schur stable. It is shown that the robust stability of the convex hull of a finite number of matrices whose two-by-two differences are of rank $1$ is equivalent to the robust stability of the segments formed by these matrices. Examples of applying the obtained results are given.


title: Non-Hermitian minimal Kitaev chains

abstract: Starting from a double quantum dot realization of a minimal Kitaev chain, we demonstrate that non-Hermicity stabilizes the so-called poor man's Majorana zero modes in a region of parameter space that is much broader than in the Hermitian regime. In particular, we consider the simplest non-Hermitian mechanism which naturally appears due to coupling to normal reservoirs and is commonly present in all transport experiments. Specifically, such couplings induce exceptional points which connect stable and highly tunable zero energy real lines that are well separated from the quasicontinuum. Such zero-energy lines reflect spectral degeneracies protected by topology and represent the non-Hermitian generalization of the Hermitian poor mans Majorana modes occurring at single points in parameter space. Our findings pave the way for realizing robust non-Hermitian effects by combining unconventional superconductors and non-Hermitian topology.


title: A polynomial time algorithm for Sylvester waves when entries are bounded

abstract: The Sylvester's denumerant \( d(t; \boldsymbol{a}) \) is a quantity that counts the number of nonnegative integer solutions to the equation \( \sum_{i=1}^{N} a_i x_i = t \), where \( \boldsymbol{a} = (a_1, \dots, a_N) \) is a sequence of distinct positive integers with \( \gcd(\boldsymbol{a}) = 1 \). We present a polynomial time algorithm in $N$ for computing \( d(t; \boldsymbol{a}) \) when \( \boldsymbol{a} \) is bounded and \( t \) is a parameter. The proposed algorithm is rooted in the use of cyclotomic polynomials and builds upon recent results by Xin-Zhang-Zhang on the efficient computation of generalized Todd polynomials. The algorithm has been implemented in \texttt{Maple} under the name \texttt{Cyc-Denum} and demonstrates superior performance when \( a_i \leq 500 \) compared to Sills-Zeilberger's \texttt{Maple} package \texttt{PARTITIONS}.


title: Bifurcation structure of steady-states for a cooperative model with population flux by attractive transition

abstract: This paper studies the steady-states to a diffusive Lotka-Volterra cooperative model with population flux by attractive transition. The first result gives many bifurcation points on the branch of the positive constant solution under the weak cooperative condition. The second result shows each steady-state approaches a solution of the scalar field equation as the coefficients of the flux tend to infinity. Indeed, the numerical simulation using pde2path exhibits the global bifurcation branch of the cooperative model with large population flux is near that of the scalar field equation.


title: RoboUniView: Visual-Language Model with Unified View Representation for Robotic Manipulaiton

abstract: Utilizing Vision-Language Models (VLMs) for robotic manipulation represents a novel paradigm, aiming to enhance the model's ability to generalize to new objects and instructions. However, due to variations in camera specifications and mounting positions, existing methods exhibit significant performance disparities across different robotic platforms. To address this challenge, we propose RoboUniView in this paper, an innovative approach that decouples visual feature extraction from action learning. We first learn a unified view representation from multi-perspective views by pre-training on readily accessible data, and then derive actions from this unified view representation to control robotic manipulation. This unified view representation more accurately mirrors the physical world and is not constrained by the robotic platform's camera parameters. Thanks to this methodology, we achieve state-of-the-art performance on the demanding CALVIN benchmark, enhancing the success rate in the $D \to D$ setting from 88.7% to 96.2%, and in the $ABC \to D$ setting from 82.4% to 94.2%. Moreover, our model exhibits outstanding adaptability and flexibility: it maintains high performance under unseen camera parameters, can utilize multiple datasets with varying camera parameters, and is capable of joint cross-task learning across datasets. Code is provided for re-implementation. https://github.com/liufanfanlff/RoboUniview


title: Anisotropic extended Burgers model, its relaxation tensor and properties of the associated Boltzmann viscoelastic system

abstract: We provide a new method for constructing the anisotropic relaxation tensor and proving its exponential decay property for the extended Burgers model (abbreviated by EBM). The EBM is an important viscoelasticity model in rheology, and used in Earth and planetary sciences. Upon having this tensor, the EBM can be converted to a Boltzmann-type viscoelastic system of equations (abbreviated by BVS). Historically, the relaxation tensor for the EBM is derived by solving the constitutive equation using the Laplace transform. (We refer to this approach by the L-method.) Since inverting the inverse Laplace transform needs a partial fractions expansion, the L-method needs to assume that the EBM elasticity tensors satisfy a commutivity condition. The new method not only avoids this condition but also enables obtaining several important properties of the relaxation tensor, including its positivity, smoothness with respect to the time variable, its exponential decay property together with its derivative, and its causality. Furthermore, we show that the BVS converted from the EBM has the exponential decay property. That is, any solution for its initial boundary value problem with homogeneous boundary data and source decays exponentially as time tends to infinity.


title: Attractive voids

abstract: We explore the well know mass deficit/surplus phenomenon in General Relativity to suggest that it could play a part in the dark matter conundrum. Specifically in collapses and condensations of matter associated with negative intrinsic curvature of the foliation associated with the asymptotic boundary conditions, the external (ADM) mass can vastly exceed the integrated local energy over the internal volume. This can be phrased in terms of a deficit of volume for a given surface area (with respect to zero curvature). We explore the phenomenon in the context of generalizations of the Oppenheimer-Snyder models and other "cut and paste" models, the Lemaitre-Bondi-Tolman metric and several others. We produce constructions where the internal object is contracting or expanding, has a life time different from the asymptotic Universe, as well as a volume different than the escavated volume from the Universe. These are purely relativistic constructions and they could play a role in the puzzle of dark matter: attraction without visible or indeed any matter.


title: E-Mapper: Energy-Efficient Resource Allocation for Traditional Operating Systems on Heterogeneous Processors

abstract: Energy efficiency has become a key concern in modern computing. Major processor vendors now offer heterogeneous architectures that combine powerful cores with energy-efficient ones, such as Intel P/E systems, Apple M1 chips, and Samsungs Exyno's CPUs. However, apart from simple cost-based thread allocation strategies, today's OS schedulers do not fully exploit these systems' potential for adaptive energy-efficient computing. This is, in part, due to missing application-level interfaces to pass information about task-level energy consumption and application-level elasticity. This paper presents E-Mapper, a novel resource management approach integrated into Linux for improved execution on heterogeneous processors. In E-Mapper, we base resource allocation decisions on high-level application descriptions that user can attach to programs or that the system can learn automatically at runtime. Our approach supports various programming models including OpenMP, Intel TBB, and TensorFlow. Crucially, E-Mapper leverages this information to extend beyond existing thread-to-core allocation strategies by actively managing application configurations through a novel uniform application-resource manager interface. By doing so, E-Mapper achieves substantial enhancements in both performance and energy efficiency, particularly in multi-application scenarios. On an Intel Raptor Lake and an Arm big.LITTLE system, E-Mapper reduces the application execution on average by 20 % with an average reduction in energy consumption of 34 %. We argue that our solution marks a crucial step toward creating a generic approach for sustainable and efficient computing across different processor architectures.


title: Exact Fisher zeros and thermofield dynamics across a quantum critical point

abstract: By setting the inverse temperature $\beta$ loose to occupy the complex plane, Michael E. Fisher showed that the zeros of the complex partition function $Z$, if approaching the real $\beta$ axis, reveal a thermodynamic phase transition. More recently, Fisher zeros have been used to mark the dynamical phase transition in quench dynamics. The success of Fisher zeros however seems limited, and it is unclear how they can be employed to shed light on quantum phase transitions or the non-unitary dynamics of open quantum systems. Here we answer this question by a comprehensive analysis of the (analytically continued) one-dimensional transverse field Ising model. We exhaust all the Fisher zeros to show that in the thermodynamic limit they congregate into a remarkably simple pattern in the form of continuous open or closed lines. These Fisher lines evolve smoothly as the coupling constant is tuned, and a qualitative change identifies the quantum critical point. By exploiting the connection between $Z$ and the thermofield double states, we obtain analytical expressions for the short- and long-time dynamics of the survival amplitude and the scaling of recurrence time at the quantum critical point. We further point out $Z$ can be realized and probed in monitored quantum circuits. The analytical results are corroborated by numerical tensor renormalization group which elevates the approach outlined here to a powerful tool for interacting quantum systems.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.stat-mech hep-lat quant-ph


title: Singular $p$-biharmonic problem with the Hardy potential

abstract: The aim of this paper is to study existence results for a singular problem involving the $p$-biharmonic operator and the Hardy potential. More precisely, by combining monotonicity arguments with the variational method, the existence of solutions is established. By using the Nehari manifold method, the multiplicity of solutions is proved. An example is also given, to illustrate the importance of these results.


title: The prototypical major cluster merger Abell 754. I. Calibration of MeerKAT data and radio/X-ray spectral mapping of the cluster

abstract: Abell 754 is a rich galaxy cluster at $z=0.0543$ and is considered the prototype of a major cluster merger. Like many dynamically unrelaxed systems, it hosts diffuse radio emission on Mpc-scales. Extended synchrotron sources in the intra-cluster medium (ICM) are commonly interpreted as evidence that a fraction of the gravitational energy released during cluster mergers is dissipated into non-thermal components. Here, we use new MeerKAT UHF- and L-band observations to study non-thermal phenomena in Abell 754. These data are complemented with archival XMM-Newton observations to investigate the resolved spectral properties of both the radio and X-ray cluster emission. For the first time, we employed the pipeline originally developed to calibrate LOFAR data to MeerKAT observations. This allowed us to perform a direction-dependent calibration and obtain highly sensitive radio images in UHF- and L-bands which capture the extended emission with unprecedented detail. By using a large XMM-Newton mosaic, we produced thermodynamic maps of the ICM. Our analysis reveals that the radio halo in the cluster center is bounded by the well-known shock in the eastern direction. Furthermore, in the south-west periphery, we discover an extended radio source that we classify as a radio relic which is possibly tracing a shock driven by the squeezed gas compressed by the merger, outflowing in perpendicular directions. The low-luminosity of this relic appears compatible with direct acceleration of thermal pool electrons. We interpreted the observed radio and X-ray features in the context of a major cluster merger with a non-zero impact parameter. Abell 754 is a remarkable galaxy cluster showcasing exceptional features associated with the ongoing merger event. The high quality of the new MeerKAT data motivates further work on this system.


title: Amplify Graph Learning for Recommendation via Sparsity Completion

abstract: Graph learning models have been widely deployed in collaborative filtering (CF) based recommendation systems. Due to the issue of data sparsity, the graph structure of the original input lacks potential positive preference edges, which significantly reduces the performance of recommendations. In this paper, we study how to enhance the graph structure for CF more effectively, thereby optimizing the representation of graph nodes. Previous works introduced matrix completion techniques into CF, proposing the use of either stochastic completion methods or superficial structure completion to address this issue. However, most of these approaches employ random numerical filling that lack control over noise perturbations and limit the in-depth exploration of higher-order interaction features of nodes, resulting in biased graph representations. In this paper, we propose an Amplify Graph Learning framework based on Sparsity Completion (called AGL-SC). First, we utilize graph neural network to mine direct interaction features between user and item nodes, which are used as the inputs of the encoder. Second, we design a factorization-based method to mine higher-order interaction features. These features serve as perturbation factors in the latent space of the hidden layer to facilitate generative enhancement. Finally, by employing the variational inference, the above multi-order features are integrated to implement the completion and enhancement of missing graph structures. We conducted benchmark and strategy experiments on four real-world datasets related to recommendation tasks. The experimental results demonstrate that AGL-SC significantly outperforms the state-of-the-art methods.


title: Exploiting Structured Sparsity in Near Field: From the Perspective of Decomposition

abstract: The structured sparsity can be leveraged in traditional far-field channels, greatly facilitating efficient sparse channel recovery by compressing the complexity of overheads to the level of the scatterer number. However, when experiencing a fundamental shift from planar-wave-based far-field modeling to spherical-wave-based near-field modeling, whether these benefits persist in the near-field regime remains an open issue. To answer this question, this article delves into structured sparsity in the near-field realm, examining its peculiarities and challenges. In particular, we present the key features of near-field structured sparsity in contrast to the far-field counterpart, drawing from both physical and mathematical perspectives. Upon unmasking the theoretical bottlenecks, we resort to bypassing them by decoupling the geometric parameters of the scatterers, termed the triple parametric decomposition (TPD) framework. It is demonstrated that our novel TPD framework can achieve robust recovery of near-field sparse channels by applying the potential structured sparsity and avoiding the curse of complexity and overhead.


title: Indirect Detection for Higgs Portal Majorana Fermionic Dark Matter

abstract: We study the $\gamma$-ray signal emitted from dark matter (DM) pair annihilation in the Higgs portal Majorana fermion DM model. In the model, a Majorana fermion DM $\chi$ couples with the Standard Model (SM) Higgs field $H$ through a higher-dimensional term $-{\cal L}\supset H^\dagger H \bar{\chi}\chi/\Lambda$, where $\Lambda$ is a cutoff scale. The pair annihilation of $\chi$ through the above term produces the Higgs boson and the longitudinal modes of $W,Z$ gauge bosons. The Milky Way dwarf spheroidal satellite galaxies (dSphs) are used as the most promising targets to search for the $\gamma$-ray signal of the model, due to high DM density and lack of astrophysical backgrounds. The {\it Fermi} Large Area Telescope ({\it Fermi}-LAT) is used for the search, for its high sensitivity. In this work, we use 14-year {\it Fermi}-LAT data from 16 dSphs, to constrain the DM pair annihilation cross section for the DM mass range from 125 GeV to 100 TeV.


title: Dynamical evolution of Milky Way globular clusters on the cosmological timescale I. Mass loss and interaction with the nuclear star cluster

abstract: Context. Based on the Gaia DR3, we reconstructed the orbital evolution of the known Milky Way globular clusters and found that six objects, NGC 6681, NGC 6981, Palomar 6, NGC 6642, HP 1, and NGC 1904, very likely interact closely with the nuclear star cluster. Aims. We study the dynamical evolution of selected Milky Way globular clusters and their interactions with the Galactic centre over cosmological timescales. We examine the global dynamical mass loss of these globular cluster systems, their close interactions with the Galactic centre, and the potential capture of stars by the Milky Way nuclear star cluster. Methods. For the dynamical modelling of the clusters, we used the parallel N-body code phi-GPU, which allows star-by-star simulations of the systems. Our current code also enabled us to follow the stellar evolution of individual particles, including the formation of high-mass remnants. The modelling was carried out in a Milky Way-like, time-variable potential (with a dynamically changing mass and scale length), obtained from the IllustrisTNG-100 database, with a full integration time of eight billion years. Results. Based on extensive numerical modelling and analysis, we estimated the mass loss and the global and inner structures of the selected six clusters. Over an evolution of eight billion years, the clusters lost 80% of their initial mass. We analysed the phase-space evolution of the individual unbound stars NGC 6681, NGC 6642, HP 1, and NGC 1904. We found that only NGC 6642 could potentially have been a source for populating the Milky Way nuclear star cluster in the past.


title: Hyper-sampling imaging

abstract: In our research, we have developed a novel mechanism that allows for a significant reduction in the smallest sampling unit of digital image sensors (DIS) to as small as 1/16th of a pixel, through measuring the intra-pixel quantum efficiency for the first time and recomputing the image. Employing our method, the physical sampling resolution of DIS can be enhanced by 16 times. The method has undergone rigorous testing in real-world imaging scenarios.


title: The generic anisotropy of strongly edge decomposable spheres

abstract: The generic anisotropy is an important property in the study of Stanley-Reisner rings of homology spheres, which was introduced by Papadakis and Petrotou. This property can be used to prove the strong Lefschetz property as well as McMullen's $g$-conjecture for homology spheres. It is conjectured that for an arbitrary field $\mathbb{F}$, any $\mathbb{F}$-homology sphere is generically anisotropic over $\mathbb{F}$. In this paper, we prove this conjecture for all strongly edge decomposable spheres.


title: A Fast Learning-Based Surrogate of Electrical Machines using a Reduced Basis

abstract: A surrogate model approximates the outputs of a solver of Partial Differential Equations (PDEs) with a low computational cost. In this article, we propose a method to build learning-based surrogates in the context of parameterized PDEs, which are PDEs that depend on a set of parameters but are also temporal and spatial processes. Our contribution is a method hybridizing the Proper Orthogonal Decomposition and several Support Vector Regression machines. This method is conceived to work in real-time, thus aimed for being used in the context of digital twins, where a user can perform an interactive analysis of results based on the proposed surrogate. We present promising results on two use cases concerning electrical machines. These use cases are not toy examples but are produced an industrial computational code, they use meshes representing non-trivial geometries and contain non-linearities.


title: Resonant sub-Neptunes are puffier

abstract: A systematic, population-level discrepancy exists between the densities of exoplanets whose masses have been measured with transit timing variations (TTVs) versus those measured with radial velocities (RVs). Since the TTV planets are predominantly nearly resonant, it is still unclear whether the discrepancy is attributed to detection biases or to astrophysical differences between the nearly resonant and non resonant planet populations. We defined a controlled, unbiased sample of 36 sub-Neptunes characterised by Kepler, TESS, HARPS, and ESPRESSO. We found that their density depends mostly on the resonant state of the system, with a low probability (of $0.002_{-0.001}^{+0.010}$) that the mass of (nearly) resonant planets is drawn from the same underlying population as the bulk of sub-Neptunes. Increasing the sample to 133 sub-Neptunes reveals finer details: the densities of resonant planets are similar and lower than non-resonant planets, and both the mean and spread in density increase for planets that are away from resonance. This trend is also present in RV-characterised planets alone. In addition, TTVs and RVs have consistent density distributions for a given distance to resonance. We also show that systems closer to resonances tend to be more co-planar than their spread-out counterparts. These observational trends are also found in synthetic populations, where planets that survived in their original resonant configuration retain a lower density; whereas less compact systems have undergone post-disc giant collisions that increased the planet's density, while expanding their orbits. Our findings reinforce the claim that resonant systems are archetypes of planetary systems at their birth.


title: Semi-supervised Concept Bottleneck Models

abstract: Concept Bottleneck Models (CBMs) have garnered increasing attention due to their ability to provide concept-based explanations for black-box deep learning models while achieving high final prediction accuracy using human-like concepts. However, the training of current CBMs heavily relies on the accuracy and richness of annotated concepts in the dataset. These concept labels are typically provided by experts, which can be costly and require significant resources and effort. Additionally, concept saliency maps frequently misalign with input saliency maps, causing concept predictions to correspond to irrelevant input features - an issue related to annotation alignment. To address these limitations, we propose a new framework called SSCBM (Semi-supervised Concept Bottleneck Model). Our SSCBM is suitable for practical situations where annotated data is scarce. By leveraging joint training on both labeled and unlabeled data and aligning the unlabeled data at the concept level, we effectively solve these issues. We proposed a strategy to generate pseudo labels and an alignment loss. Experiments demonstrate that our SSCBM is both effective and efficient. With only 20% labeled data, we achieved 93.19% (96.39% in a fully supervised setting) concept accuracy and 75.51% (79.82% in a fully supervised setting) prediction accuracy.


title: Interference Cancellation Based Neural Receiver for Superimposed Pilot in Multi-Layer Transmission

abstract: In this paper, an interference cancellation based neural receiver for superimposed pilot (SIP) in multi-layer transmission is proposed, where the data and pilot are non-orthogonally superimposed in the same time-frequency resource. Specifically, to deal with the intra-layer and inter-layer interference of SIP under multi-layer transmission, the interference cancellation with superimposed symbol aided channel estimation is leveraged in the neural receiver, accompanied by the pre-design of pilot code-division orthogonal mechanism at transmitter. In addition, to address the complexity issue for inter-vendor collaboration and the generalization problem in practical deployments, respectively, this paper also provides a fixed SIP (F-SIP) design based on constant pilot power ratio and scalable mechanisms for different modulation and coding schemes (MCSs) and transmission layers. Simulation results demonstrate the superiority of the proposed schemes on the performance of block error rate and throughput compared with existing counterparts.


title: Table of large graphs with given degree and diameter

abstract: We update the table of large undirected graphs with given degree and diameter with results produced since the publication of the survey by M. Miller and J. \v{S}ir\'{a}\v{n} (Electron. J. Combin. DS14, 2nd. edition. May 2013).


title: FedMLP: Federated Multi-Label Medical Image Classification under Task Heterogeneity

abstract: Cross-silo federated learning (FL) enables decentralized organizations to collaboratively train models while preserving data privacy and has made significant progress in medical image classification. One common assumption is task homogeneity where each client has access to all classes during training. However, in clinical practice, given a multi-label classification task, constrained by the level of medical knowledge and the prevalence of diseases, each institution may diagnose only partial categories, resulting in task heterogeneity. How to pursue effective multi-label medical image classification under task heterogeneity is under-explored. In this paper, we first formulate such a realistic label missing setting in the multi-label FL domain and propose a two-stage method FedMLP to combat class missing from two aspects: pseudo label tagging and global knowledge learning. The former utilizes a warmed-up model to generate class prototypes and select samples with high confidence to supplement missing labels, while the latter uses a global model as a teacher for consistency regularization to prevent forgetting missing class knowledge. Experiments on two publicly-available medical datasets validate the superiority of FedMLP against the state-of-the-art both federated semi-supervised and noisy label learning approaches under task heterogeneity. Code is available at https://github.com/szbonaldo/FedMLP.


title: Zero-shot domain adaptation based on dual-level mix and contrast

abstract: Zero-shot domain adaptation (ZSDA) is a domain adaptation problem in the situation that labeled samples for a target task (task of interest) are only available from the source domain at training time, but for a task different from the task of interest (irrelevant task), labeled samples are available from both source and target domains. In this situation, classical domain adaptation techniques can only learn domain-invariant features in the irrelevant task. However, due to the difference in sample distribution between the two tasks, domain-invariant features learned in the irrelevant task are biased and not necessarily domain-invariant in the task of interest. To solve this problem, this paper proposes a new ZSDA method to learn domain-invariant features with low task bias. To this end, we propose (1) data augmentation with dual-level mixups in both task and domain to fill the absence of target task-of-interest data, (2) an extension of domain adversarial learning to learn domain-invariant features with less task bias, and (3) a new dual-level contrastive learning method that enhances domain-invariance and less task biasedness of features. Experimental results show that our proposal achieves good performance on several benchmarks.


title: On distance estimates for complete manifolds with lower scalar curvature bounds

abstract: In this paper, we focus on the distance estimate problem on complete manifolds with compact boundary and with lower scalar curvature bounds. On these manifolds, relative to a background manifold with nonnegative curvature operator, we introduce a definition of the relative index of relative Gromov-Lawson pairs via a deformed Dirac operator trick in \cite{Zh20}. We prove that the relative index coincides with the index of associated Callias operators of the relative Gromov-Lawson pairs. As applications, we prove a short neck inequality with uniformly positive scalar curvature and the corresponding quantitative shielding result with nonnegative scalar curvature. Moreover, we generalize the concept of relative $\widehat{A}$-area in \cite{CZ24} to complete manifolds with compact boundary and then investigate width estimates of geodesic collar neighborhoods.


title: Wedge-type engineered analog SiO$_\mathrm{x}$/Cu/SiO$_\mathrm{x}$-Memristive Devices for Neuromorphic Applications

abstract: This study presents a comprehensive examination of the development of TiN/SiO$_\mathrm{x}$/Cu/SiO$_\mathrm{x}$/TiN memristive devices, engineered for neuromorphic applications using a wedge-type deposition technique and Monte Carlo simulations. Identifying critical parameters for the desired device characteristics can be challenging with conventional trial-and-error approaches, which often obscure the effects of varying layer compositions. By employing an \textit{off-center} thermal evaporation method, we created a thickness gradient of SiO$_\mathrm{x}$ and Cu on a 4-inch wafer, facilitating detailed resistance map analysis through semiautomatic measurements. This allows to investigate in detail the influence of layer composition and thickness on single wafers, thus keeping every other process condition constant. Combining experimental data with simulations provides a precise understanding of the layer thickness distribution and its impact on device performance. Optimizing the SiO$_\mathrm{x}$ layers to be below 12.5 nm, coupled with a discontinuous Cu layer with a nominal thickness lower than 0.6 nm, exhibits analog switching properties with an R$_\mathrm{on}$/R$_\mathrm{off}$ ratio of $>$100, suitable for neuromorphic applications, whereas R $\times$ A analysis shows no clear signs of filamentary switching. Our findings highlight the significant role of carefully choosing the SiO$_\mathrm{x}$ and Cu thickness in determining the switching behavior and provide insights that could lead to the more systematic development of high-performance analog switching components for bio-inspired computing systems.


title: Improving Taxonomic Image-based Out-of-distribution Detection With DNA Barcodes

abstract: Image-based species identification could help scaling biodiversity monitoring to a global scale. Many challenges still need to be solved in order to implement these systems in real-world applications. A reliable image-based monitoring system must detect out-of-distribution (OOD) classes it has not been presented before. This is challenging especially with fine-grained classes. Emerging environmental monitoring techniques, DNA metabarcoding and eDNA, can help by providing information on OOD classes that are present in a sample. In this paper, we study if DNA barcodes can also support in finding the outlier images based on the outlier DNA sequence's similarity to the seen classes. We propose a re-ordering approach that can be easily applied on any pre-trained models and existing OOD detection methods. We experimentally show that the proposed approach improves taxonomic OOD detection compared to all common baselines. We also show that the method works thanks to a correlation between visual similarity and DNA barcode proximity. The code and data are available at https://github.com/mikkoim/dnaimg-ood.


title: Simpson's quadrature for a nonlinear variational symplectic scheme

abstract: We propose a variational symplectic numerical method for the time integration of dynamical systems issued from the least action principle. We assume a quadratic internal interpolation of the state between two time steps and we approximate the action in one time step by the Simpson's quadrature formula. The resulting scheme is nonlinear and symplectic. First numerical experiments concern a nonlinear pendulum and we have observed experimentally very good convergence properties.


title: Optimal routing and communication strategies for autonomous reconnaissance missions

abstract: We consider an autonomous reconnaissance mission where a drone has to visit several points of interest and communicate the intel back to the base. At every point of interest, the drone has the option to either send back all available info, or continue to the next point of interest and communicate at a later stage. Both choices have a chance of detection, meaning the mission fails. We wish to maximize the expected amount of information gathered by the mission. This is modeled by a routing problem in a weighted graph. We discuss the ILP formulation of this problem, show it is NP-complete, and use a genetic algorithm to find good solutions for up to ten points of interest.


title: Coded Cooperative Networks for Semi-Decentralized Federated Learning

abstract: To enhance straggler resilience in federated learning (FL) systems, a semi-decentralized approach has been recently proposed, enabling collaboration between clients. Unlike the existing semi-decentralized schemes, which adaptively adjust the collaboration weight according to the network topology, this letter proposes a deterministic coded network that leverages wireless diversity for semi-decentralized FL without requiring prior information about the entire network. Furthermore, the theoretical analyses of the outage and the convergence rate of the proposed scheme are provided. Finally, the superiority of our proposed method over benchmark methods is demonstrated through comprehensive simulations.


title: Hyperbolicity of generic hypersurfaces of polynomial degree via Green-Griffiths jet differentials

abstract: We give a new version of a recent result of B{\'e}rczi-Kirwan, proving the Kobayashi and Green-Griffiths-Lang conjectures for generic hypersurfaces in the projective space , with a polynomial lower bound on the degree. Our strategy again relies on Siu's technique of slanted vector fields and the use of holomorphic Morse inequalities to prove the existence of a jet differential equation with a negative twist -- however, instead of using a space of invariant jet differentials, we base our computations on the classical Green-Griffiths jet spaces.


title: Investigating a new neutral heavy gauge boson within the mono-Z$^{\prime}$ model via simulated pp collisions at $\sqrt{s}$ = 14 TeV at the HL-LHC

abstract: In this study, we aim to explore the potential for generating events related to dark matter (DM) in conjunction with a neutral heavy gauge boson (Z$^{\prime}$) decaying leptonically during proton-proton collisions at the Large Hadron Collider (LHC). These collisions occur at a center-of-mass energy of 14 TeV, with a high integrated luminosity equivalent to 1000 fb$^{-1}$. Our analysis involves interpreting the outcomes through Monte Carlo simulation of the effective field theory (EFT) framework. If no new physics is detected, we establish constraints on various parameters within the EFT context, such as the scenario cutoff scale ($\Lambda$) and the Z$^{\prime}$ mass.


title: Effective potential in leading logarithmic approximation in non-renormalisable $SO(N)$ scalar field theories

abstract: The study of the effective potential for non-renormalisable scalar SO(N) symmetric theories leads to recurrence relations for the coefficients of the leading logarithms. These relations can be transformed into generalised renormalization-group (RG) equation which can be analyzed in detail. In some special cases this equation can be solved exactly.


title: VideoMambaPro: A Leap Forward for Mamba in Video Understanding

abstract: Video understanding requires the extraction of rich spatio-temporal representations, which transformer models achieve through self-attention. Unfortunately, self-attention poses a computational burden. In NLP, Mamba has surfaced as an efficient alternative for transformers. However, Mamba's successes do not trivially extend to computer vision tasks, including those in video analysis. In this paper, we theoretically analyze the differences between self-attention and Mamba. We identify two limitations in Mamba's token processing: historical decay and element contradiction. We propose VideoMambaPro (VMP) that solves the identified limitations by adding masked backward computation and elemental residual connections to a VideoMamba backbone. VideoMambaPro shows state-of-the-art video action recognition performance compared to transformer models, and surpasses VideoMamba by clear margins: 7.9% and 8.1% top-1 on Kinetics-400 and Something-Something V2, respectively. Our VideoMambaPro-M model achieves 91.9% top-1 on Kinetics-400, only 0.2% below InternVideo2-6B but with only 1.2% of its parameters. The combination of high performance and efficiency makes VideoMambaPro an interesting alternative for transformer models.


title: Towards a Formal Characterization of User Simulation Objectives in Conversational Information Access

abstract: User simulation is a promising approach for automatically training and evaluating conversational information access agents, enabling the generation of synthetic dialogues and facilitating reproducible experiments at scale. However, the objectives of user simulation for the different uses remain loosely defined, hindering the development of effective simulators. In this work, we formally characterize the distinct objectives for user simulators: training aims to maximize behavioral similarity to real users, while evaluation focuses on the accurate prediction of real-world conversational agent performance. Through an empirical study, we demonstrate that optimizing for one objective does not necessarily lead to improved performance on the other. This finding underscores the need for tailored design considerations depending on the intended use of the simulator. By establishing clear objectives and proposing concrete measures to evaluate user simulators against those objectives, we pave the way for the development of simulators that are specifically tailored to their intended use, ultimately leading to more effective conversational agents.


title: VertiMRF: Differentially Private Vertical Federated Data Synthesis

abstract: Data synthesis is a promising solution to share data for various downstream analytic tasks without exposing raw data. However, without a theoretical privacy guarantee, a synthetic dataset would still leak some sensitive information. Differential privacy is thus widely adopted to safeguard data synthesis by strictly limiting the released information. This technique is advantageous yet presents significant challenges in the vertical federated setting, where data attributes are distributed among different data parties. The main challenge lies in maintaining privacy while efficiently and precisely reconstructing the correlation among cross-party attributes. In this paper, we propose a novel algorithm called VertiMRF, designed explicitly for generating synthetic data in the vertical setting and providing differential privacy protection for all information shared from data parties. We introduce techniques based on the Flajolet-Martin sketch (or frequency oracle) for encoding local data satisfying differential privacy and estimating cross-party marginals. We provide theoretical privacy and utility proof for encoding in this multi-attribute data. Collecting the locally generated private Markov Random Field (MRF) and the sketches, a central server can reconstruct a global MRF, maintaining the most useful information. Additionally, we introduce two techniques tailored for datasets with large attribute domain sizes, namely dimension reduction and consistency enforcement. These two techniques allow flexible and inconsistent binning strategies of local private MRF and the data sketching module, which can preserve information to the greatest extent. We conduct extensive experiments on four real-world datasets to evaluate the effectiveness of VertiMRF. End-to-end comparisons demonstrate the superiority of VertiMRF, and ablation studies validate the effectiveness of each component.


title: On the Energy Consumption of Rotary Wing and Fixed Wing UAVs in Flying Networks

abstract: Unmanned Aerial Vehicles (UAVs) are increasingly used to enable wireless communications. Due to their characteristics, such as the ability to hover and carry cargo, UAVs can serve as communications nodes, including Wi-Fi Access Points and Cellular Base Stations. In previous work, we proposed the Sustainable multi-UAV Performance-aware Placement (SUPPLY) algorithm, which focuses on the energy-efficient placement of multiple UAVs acting as Flying Access Points (FAPs). Additionally, we developed the Multi-UAV Energy Consumption (MUAVE) simulator to evaluate the UAV energy consumption, specifically when using the SUPPLY algorithm. However, MUAVE was initially designed to compute the energy consumption for rotary-wing UAVs only. In this paper, we propose eMUAVE, an enhanced version of the MUAVE simulator that allows the evaluation of the energy consumption for both rotary-wing and fixed-wing UAVs. Our energy consumption evaluation using eMUAVE considers reference and random networking scenarios. The results show that fixed-wing UAVs can be employed in the majority of networking scenarios. However, rotary-wing UAVs are typically more energy-efficient than fixed-wing UAVs when following the trajectories defined by SUPPLY.


title: A numerical solution approach for non-smooth optimal control problems based on the Pontryagin maximum principle

abstract: We consider nonsmooth optimal control problems subject to a linear elliptic partial differential equation with homogeneous Dirichlet boundary conditions. It is well-known that local solutions satisfy the celebrated Pontryagin maximum principle. In this note, we will investigate an optimization method that is based on the maximum principle. We prove that the discrepancy in the maximum principle vanishes along the resulting sequence of iterates. Numerical experiments confirm the theoretical findings.


title: The isoperimetric inequality for the capillary energy outside convex cylinders

abstract: We study the isoperimetric problem for capillary surfaces with a general contact angle $\theta \in (0, \pi)$, outside convex infinite cylinders with arbitrary two-dimensional convex section. We prove that the capillary energy of any surface supported on any such convex cylinder is strictly larger than that of a spherical cap with the same volume and the same contact angle on a flat support, unless the surface is itself a spherical cap resting on a facet of the cylinder. In this class of convex sets, our result extends for the first time the well-known Choe-Ghomi-Ritor\'e relative isoperimetric inequality, corresponding to the case $\theta = \pi/2$, to general angles.


title: Average-atom approach for transport properties of shocked argon in the presence of a magnetic field

abstract: We present electron transport calculations of shocked argon based on an average-atom modeling of the plasma, and compare them with measurements, involving both incident and reflected shock waves. Since the corresponding experiments are subject to a 5 T magnetic field, the impact of the latter on the Rankine-Hugoniot equations is taken into account, starting from the magneto-resistive hydrodynamics, and the resistivity tensor is deduced from the Boltzmann equation. The resistivity tensor yields the electrical and Hall resistivities. Our average-atom code Paradisio provides the quantities required for the calculation of electrical resistivity within the Ziman-Evans formalism, as well as for the Hall resistivity. We obtain a good agreement between calculated conductivities and experimental values, both for the incident and reflected shocks. Our values of the Hall constant are compared to experimental values derived from Hall voltage measurements, as well as to theoretical ones based on the quantum statistical linear-relaxation-time approach.


title: Design and Implementation of a Scalable Correlator Based on ROACH2+GPU Cluster for Tianlai 96-Dual-Polarization Antenna Array

abstract: The digital correlator is one of the most crucial data processing components of a radio telescope array. With the scale of radio interferometeric array growing, many efforts have been devoted to developing a cost-effective and scalable correlator in the field of radio astronomy. In this paper, a 192-input digital correlator with six CASPER ROACH2 boards and seven GPU servers has been deployed as the digital signal processing system for Tianlai cylinder pathfinder located in Hongliuxia observatory. The correlator consists of 192 input signals (96 dual-polarization), 125-MHz bandwidth, and full-Stokes output. The correlator inherits the advantages of the CASPER system, for example, low cost, high performance, modular scalability, and a heterogeneous computing architecture. With a rapidly deployable ROACH2 digital sampling system, a commercially expandable 10 Gigabit switching network system, and a flexible upgradable GPU computing system, the correlator forms a low-cost and easily-upgradable system, poised to support scalable large-scale interferometeric array in the future.


title: The Impact of Autonomous Vehicles on Ride-Hailing Platforms with Strategic Human Drivers

abstract: Motivated by the rapid development of autonomous vehicle technology, this work focuses on the challenges of introducing them in ride-hailing platforms with conventional strategic human drivers. We consider a ride-hailing platform that operates a mixed fleet of autonomous vehicles (AVs) and conventional vehicles (CVs), where AVs are fully controlled by the platform and CVs are operated by self-interested human drivers. Each vehicle is modelled as a Markov Decision Process that maximizes long-run average reward by choosing its repositioning actions. The behavior of the CVs corresponds to a large game where agents interact through resource constraints that result in queuing delays. In our fluid model, drivers may wait in queues in the different regions when the supply of drivers tends to exceed the service demand by customers. Our primary objective is to optimize the mixed AV-CV system so that the total profit of the platform generated by AVs and CVs is maximized. To achieve that, we formulate this problem as a bi-level optimization problem OPT where the platform moves first by controlling the actions of the AVs and the demand revealed to CVs, and then the CVs react to the revealed demand by forming an equilibrium that can be characterized by the solution of a convex optimization problem. We prove several interesting structural properties of the optimal solution and analyze simple heuristics such as AV-first where we solve for the optimal dispatch of AVs without taking into account the subsequent reaction of the CVs. We propose three numerical algorithms to solve OPT which is a non-convex problem in the platform decision parameters. We evaluate their performance and use them to show some interesting trends in the optimal AV-CV fleet dimensioning when supply is exogenous and endogenous.


title: Lithium-Ion Battery System Health Monitoring and Fault Analysis from Field Data Using Gaussian Processes

abstract: Health monitoring, fault analysis, and detection are critical for the safe and sustainable operation of battery systems. We apply Gaussian process resistance models on lithium iron phosphate battery field data to effectively separate the time-dependent and operating point-dependent resistance. The data set contains 29 battery systems returned to the manufacturer for warranty, each with eight cells in series, totaling 232 cells and 131 million data rows. We develop probabilistic fault detection rules using recursive spatiotemporal Gaussian processes. These processes allow the quick processing of over a million data points, enabling advanced online monitoring and furthering the understanding of battery pack failure in the field. The analysis underlines that often, only a single cell shows abnormal behavior or a knee point, consistent with weakest-link failure for cells connected in series, amplified by local resistive heating. The results further the understanding of how batteries degrade and fail in the field and demonstrate the potential of efficient online monitoring based on data. We open-source the code and publish the large data set upon completion of the review of this article.


title: Robust Multi-Robot Global Localization with Unknown Initial Pose based on Neighbor Constraints

abstract: Multi-robot global localization (MR-GL) with unknown initial positions in a large scale environment is a challenging task. The key point is the data association between different robots' viewpoints. It also makes traditional Appearance-based localization methods unusable. Recently, researchers have utilized the object's semantic invariance to generate a semantic graph to address this issue. However, previous works lack robustness and are sensitive to overlap rate of maps, resulting in unpredictable performance in real-world environments. In this paper, we propose a data association algorithm based on neighbor constraints to improve the robustness of the system. We demonstrate the effectiveness of our method on three different datasets, indicating a significant improvement in robustness compared to previous works.


title: On the Hecke Module of $\text{GL}_n(k[[z]])\backslash \text{GL}_n(k((z)))/\text{GL}_n(k((z^2)))$

abstract: Every double coset in $\text{GL}_m(k[[z]])\backslash \text{GL}_m(k((z)))/\text{GL}_m(k((z^2)))$ is uniquely represented by a block diagonal matrix with diagonal blocks in $\{1,z, \begin{pmatrix} 1& z\\ 0 &z^i \end{pmatrix} (i>1)\}$ if $char(k) \neq 2$ and $k$ is a finite field. These cosets form a (spherical) Hecke module $\mathcal{H}(G,H,K)$ over the (spherical) Hecke algebra $\mathcal{H}(G,K)$ of double cosets in $K\backslash G/H$, where $K=\text{GL}_m(k[[z]])$ and $H=\text{GL}_m(k((z^2)))$ and $G=\text{GL}_m(k((z)))$. Similarly to Hall polynomial $h_{\lambda,\nu}^{\mu}$ from the Hecke algebra $\mathcal{H}(G,K)$, coefficients $h_{\lambda,\nu}^{\mu}$ arise from the Hecke module. We will provide a closed formula for $h_{\lambda,\nu}^\mu$, under some restrictions over ${\lambda,\nu,\mu}$.


title: Efficient course recommendations with T5-based ranking and summarization

abstract: In this paper, we implement and evaluate a two-stage retrieval pipeline for a course recommender system that ranks courses for skill-occupation pairs. The in-production recommender system BrightFit provides course recommendations from multiple sources. Some of the course descriptions are long and noisy, while retrieval and ranking in an online system have to be highly efficient. We developed a two-step retrieval pipeline with RankT5 finetuned on MSMARCO as re-ranker. We compare two summarizers for course descriptions: a LongT5 model that we finetuned for the task, and a generative LLM (Vicuna) with in-context learning. We experiment with quantization to reduce the size of the ranking model and increase inference speed. We evaluate our rankers on two newly labelled datasets, with an A/B test, and with a user questionnaire. On the two labelled datasets, our proposed two-stage ranking with automatic summarization achieves a substantial improvement over the in-production (BM25) ranker: nDCG@10 scores improve from 0.482 to 0.684 and from 0.447 to 0.844 on the two datasets. We also achieve a 40% speed-up by using a quantized version of RankT5. The improved quality of the ranking was confirmed by the questionnaire completed by 29 respondents, but not by the A/B test. In the A/B test, a higher clickthrough rate was observed for the BM25-ranking than for the proposed two-stage retrieval. We conclude that T5-based re-ranking and summarization for online course recommendation can obtain much better effectiveness than single-step lexical retrieval, and that quantization has a large effect on RankT5. In the online evaluation, however, other factors than relevance play a role (such as speed and interpretability of the retrieval results), as well as individual preferences.


title: Wild attractors for Fibonacci maps

abstract: Existence of wild attractors -- attractors whose basin has a positive Lebesgue measure but is not a residual set -- has been one of central themes in one-dimensional dynamics. It has been demonstrated by H. Bruin et al. that Fibonacci maps with a sufficiently flat critical point admit a wild attractor. We propose a constructive trichotomy that describes possible scenarios for the Lebesgue measure of the Fibonacci attractor based on a computable criterion. We use this criterion, together with a computer-assisted proof of existence of a Fibonacci renormalization $2$-cycle for non-integer critical degrees, to demonstrate that Fibonacci maps do not have a wild attractor when the degree of the critical point is $d=3.8$ (and, conjecturally, for $2< d \le 3.8$), and do admit it when $d=5.1$ (and, conjecturally, for $d \ge 5.1$).


title: Existence and uniqueness of weak solutions to a parabolic nonlocal 1-Laplacian equation

abstract: We consider a class of parabolic nonlocal $1$-Laplacian equation \begin{align*} u_t+(-\Delta)^s_1u=f \quad \text{ in }\Omega\times(0,T]. \end{align*} By employing the Rothe time-discretization method, we establish the existence and uniqueness of weak solutions to the equation above. In particular, different from the previous results on the local case, we infer that the weak solution maintains $\frac{1}{2}$-H\"{o}lder continuity in time.


title: Nonlinear Multivariate Function-on-function Regression with Variable Selection

abstract: This paper proposes a multivariate nonlinear function-on-function regression model, which allows both the response and the covariates can be multi-dimensional functions. The model is built upon the multivariate functional reproducing kernel Hilbert space (RKHS) theory. It predicts the response function by linearly combining each covariate function in their respective functional RKHS, and extends the representation theorem to accommodate model estimation. Further variable selection is proposed by adding the lasso penalty to the coefficients of the kernel functions. A block coordinate descent algorithm is proposed for model estimation, and several theoretical properties are discussed. Finally, we evaluate the efficacy of our proposed model using simulation data and a real-case dataset in meteorology.


title: Topological connectivity of random permutation complexes

abstract: Let $\mathbb{S}_n$ denote the symmetric group on $[n]=\{1,\ldots,n\}$ with the uniform probability measure. For a permutation $\pi \in \mathbb{S}_n$ let $X_{\pi}$ denote the simplicial complex on the vertex set $[n]$ whose simplices are all $\{i_0,\ldots, i_m\} \subset [n]$ such that $i_0<\cdots<i_m$ and $\pi(i_0)<\cdots < \pi(i_m)$. For $r \geq 0$ let $p_r(n)$ denote the probability that $X_{\pi}$ is not topologically $r$-connected for $\pi \in \mathbb{S}_n$. It is shown that for fixed $r \geq 0$ there exist constants $0<C_r, C_r' < \infty$ such that \[ C_r \frac{(\log n)^r}{n} \leq p_r(n) \leq C_r' \frac{(\log n)^{2r}}{n}. \]


title: Quantum teleportation between a continuous-variable optical qumode and a discrete-variable solid-state qubit

abstract: Quantum teleportation is a fundamental ingredient for quantum information science and technology. In particular, the ability to perform quantum teleportation between quantum systems of different natures and encoding types is crucial for building complex systems, such as distributed quantum internet. Here we propose a scheme to teleport a continuous variable optical qubit, encoded in an optical qumode by means of a superposed coherent state, onto a discrete variable solid-state qubit, associated with a single nitrogen-vacancy center spin in diamond, via a hybrid entanglement. By using a newly developed method for Bell-state measurement, which relies only on light homodyne detection and spin polarization measurement, near-deterministic and -perfect quantum teleportation can be achieved for large coherent-state amplitude input. Taking noise effects into account, we find that the average teleportation fidelity can still exceed the classical limit, enabling substantial teleportation distances under realistic experimental conditions.


title: Switching current distributions in superconducting nanostrips

abstract: We study switching current distributions in superconducting nanostrips using theoretical models and numerical simulations. Switching current distributions are commonly measured in experiments and may provide a window into the microscopic switching mechanisms. As the current through a superconducting strip is increased from zero it will at some point switch to the normal dissipative state. Due to thermal and/or quantum fluctuations the switching current will be random and follow a certain distribution depending on sweep rate, temperature, material properties and geometry. By analyzing the resulting distribution it is possible to infer the transition rate for a switch, which can be related to the free energy barrier separating the metastable superconducting state and the normal one. We study different switching scenarios and show using simulations how data taken for different sweep rates can be combined to obtain the switching rate over a wider interval of currents.


title: Isogeometric Shape Optimization of Multi-Tapered Coaxial Baluns Simulated by an Integral Equation Method

abstract: We discuss the advantages of a spline-based freeform shape optimization approach using the example of a multi-tapered coaxial balun connected to a spiral antenna. The underlying simulation model is given in terms of a recently proposed isogeometric integral equation formulation, which can be interpreted as a high-order generalization of the partial element equivalent circuit method. We demonstrate a significant improvement in the optimized design, i.e., a reduction in the magnitude of the scattering parameter over a wide frequency range.


title: Completely decomposable rank-metric codes

abstract: In this paper, we investigate completely decomposable rank-metric codes, i.e. rank-metric codes that are the direct sum of 1-dimensional maximum rank distance codes. We study the weight distribution of such codes, characterizing codewords with certain rank weights. Additionally, we obtain classification results for codes with the largest number of minimum weight codewords within the class of completely decomposable codes.


title: Multiple solutions for a class of nonhomogeneous elliptic systems with Dirichlet boundary or Neumann boundary

abstract: In this paper, we mainly establish the existence of at least three non-trivial solutions for a class of nonhomogeneous quasilinear elliptic systems with Dirichlet boundary value or Neumann boundary value in a bounded domain $\Omega\subset\mathbb{R}^N $ and $N\geq 1$. We exploit the method which is based on [6]. This method let us obtain the concrete open interval about the parameter $\lambda$. Since the quasilinear term depends on $u$ and $\nabla u$, it is necessary for our proofs to use the theory of monotone operators and the skill of adding one dimension to space.


title: Black Silicon BRDF and Polarization for Coronagraphic Pupil Masks

abstract: Future space observatories will likely have segmented primaries, causing diffraction effects that reduce coronagraph performance. Reflective binary pupil apodizer masks can mitigate these, with the metamaterial black silicon (BSi) showing promise as a strong absorber. To bring contrast ratios to the $10^-{10}$ level as needed to observe Earth-like exoplanets, feature sizes on these BSi masks will need to be less than $5$ microns when paired with MEMS (micro-electromechanical systems) deformable mirrors. As scalar diffraction cannot reliably model this feature size, we developed a Finite-Difference Time-Domain (FDTD) model of BSi masks using Meep software. We characterize the FDTD-derived polarization-dependent bidirectional reflectance distribution function of BSi and discuss the model's shortcomings.


title: Predicting the Non-Thermal Pressure in Galaxy Clusters

abstract: We investigate the relationship between a galaxy cluster's hydrostatic equilibrium state, the entropy profile, $K$, of the intracluster gas, and the system's non-thermal pressure (NTP), within an analytic model of cluster structures. When NTP is neglected from the cluster's hydrostatic state, we find that the gas' logarithmic entropy slope, $k\equiv \mathrm{d}\ln K/\mathrm{d}\ln r$, converges at large halocentric radius, $r$, to a value that is systematically higher than the value $k\simeq1.1$ that is found in observations and simulations. By applying a constraint on these `pristine equilibrium' slopes, $k_\mathrm{eq}$, we are able to predict the required NTP that must be introduced into the hydrostatic state of the cluster. We solve for the fraction, $\mathcal{F}\equiv p_\mathrm{nt}/p$, of NTP, $p_\mathrm{nt}$, to total pressure, $p$, of the cluster, and we find $\mathcal{F}(r)$ to be an increasing function of halocentric radius, $r$, that can be parameterised by its value in the cluster's core, $\mathcal{F}_0$, with this prediction able to be fit to the functional form proposed in numerical simulations. The minimum NTP fraction, as the solution with zero NTP in the core, $\mathcal{F}_0=0$, we find to be in excellent agreement with the mean NTP predicted in non-radiative simulations, beyond halocentric radii of $r\gtrsim0.7r_{500}$, and in tension with observational constraints derived at similar radii. For this minimum NTP profile, we predict $\mathcal{F}\simeq0.20$ at $r_{500}$, and $\mathcal{F}\simeq0.34$ at $2r_{500}$; this amount of NTP leads to a hydrostatic bias of $b\simeq0.12$ in the cluster mass $M_{500}$ when measured within $r_{500}$. Our results suggest that the NTP of galaxy clusters contributes a significant amount to their hydrostatic state near the virial radius, and must be accounted for when estimating the cluster's halo mass using hydrostatic equilibrium approaches.


title: Using diffusion model as constraint: Empower Image Restoration Network Training with Diffusion Model

abstract: Image restoration has made marvelous progress with the advent of deep learning. Previous methods usually rely on designing powerful network architecture to elevate performance, however, the natural visual effect of the restored results is limited by color and texture distortions. Besides the visual perceptual quality, the semantic perception recovery is an important but often overlooked perspective of restored image, which is crucial for the deployment in high-level tasks. In this paper, we propose a new perspective to resort these issues by introducing a naturalness-oriented and semantic-aware optimization mechanism, dubbed DiffLoss. Specifically, inspired by the powerful distribution coverage capability of the diffusion model for natural image generation, we exploit the Markov chain sampling property of diffusion model and project the restored results of existing networks into the sampling space. Besides, we reveal that the bottleneck feature of diffusion models, also dubbed h-space feature, is a natural high-level semantic space. We delve into this property and propose a semantic-aware loss to further unlock its potential of semantic perception recovery, which paves the way to connect image restoration task and downstream high-level recognition task. With these two strategies, the DiffLoss can endow existing restoration methods with both more natural and semantic-aware results. We verify the effectiveness of our method on substantial common image restoration tasks and benchmarks. Code will be available at https://github.com/JosephTiTan/DiffLoss.


title: Complex-valued scatter compensation in nonlinear microscopy

abstract: Nonlinear, i.e., multi-photon microscopy is a powerful technique for imaging deep into biological tissues. Its penetration depth can be increased further using adaptive optics. In this work, we present a fast, feedback-based adaptive-optics algorithm, termed C-DASH, for multi-photon imaging through multiply-scattering media. C-DASH utilises complex-valued light shaping (i.e., joint shaping of amplitude and phase), which offers several advantages over phase-only techniques: it converges faster, it delivers higher image quality enhancement, it shows a robust performance largely insensitive to the axial position of the correction plane, and it has a higher ability to cope with, on the one hand, scattering media that vary over time and, on the other hand, scattering media that are partially absorbing. Furthermore, our method is practically self-aligning. We also present a simple way to implement C-DASH using a single reflection off a phase-only spatial light modulator. We provide a thorough characterisation of our method, presenting results of numerical simulations as well as two-photon excited fluorescence imaging experiments.


title: Improving Weak-to-Strong Generalization with Reliability-Aware Alignment

abstract: Large language models (LLMs) are now rapidly advancing and surpassing human abilities on many natural language tasks. However, aligning these super-human LLMs with human knowledge remains challenging because the supervision signals from human annotators may be wrong. This issue, known as the "super-alignment" problem, requires enhancing weak-to-strong generalization, where a strong LLM must generalize from imperfect supervision provided by a weaker source. To address this issue, we propose an approach to improve weak-to-strong generalization by involving the reliability of weak supervision signals in the alignment process. In our method, we query the weak supervisor for multiple answers, estimate the answer reliability, and enhance the alignment process by filtering out uncertain data or re-weighting reliable data. Experiments on four datasets demonstrate that our methods effectively identify the quality of weak labels and significantly enhance weak-to-strong generalization. Our work presents effective techniques for error-robust model alignment, reducing error propagation from noisy supervision and enhancing the accuracy and reliability of LLMs. Codes are publicly available at http://github.com/Irenehere/ReliableAlignment.


title: Factor multivariate stochastic volatility models of high dimension

abstract: Building upon the pertinence of the factor decomposition to break the curse of dimensionality inherent to multivariate volatility processes, we develop a factor model-based multivariate stochastic volatility (fMSV) framework that relies on two viewpoints: sparse approximate factor model and sparse factor loading matrix. We propose a two-stage estimation procedure for the fMSV model: the first stage obtains the estimators of the factor model, and the second stage estimates the MSV part using the estimated common factor variables. We derive the asymptotic properties of the estimators. Simulated experiments are performed to assess the forecasting performances of the covariance matrices. The empirical analysis based on vectors of asset returns illustrates that the forecasting performances of the fMSV models outperforms competing conditional covariance models.


title: Extended GeV $\gamma$-ray emission around the star forming region of the W3 complex

abstract: We analyze the GeV $\gamma$-ray emission from the W3 complex using about 14 years of Pass 8 data recorded by the $\it Fermi$ Large Area Telescope (\textit{Fermi}-LAT). We resolve the $\gamma$-ray emissions around W3 into two components: an elliptical Gaussian overlapping with the molecular gas and a point-like source near the cluster W3 Main. The pion-bump feature of SED for the elliptical Gaussian together with the better fitting result of pion decay model favor the hadronic origin. We further argue that the cosmic rays (CRs) could originate from the interactions between cluster winds and the shock produced by the SNR HB3. The point-like source positionally coincident with the star cluster W3 Main indicates it may be directly powered by near clusters, while its fainter $\gamma$-ray emissions below 10 GeV is possibly due to the shelter from dense gas making the low-energy CRs incapable of penetrating the dense materials. Meanwhile, we cannot rule out that the $\gamma$-ray emissions originate from the interaction of accelerated protons in SNR with the ambient gas.


title: SD-BLS: Privacy Preserving Selective Disclosure and Unlinkable Revocation of Verifiable Credentials

abstract: It is of critical importance to design digital identity systems that ensure the privacy of citizens as well as protecting them from issuer corruption. Unfortunately, what Europe's and USA's public sectors are currently developing does not offer such basic protections. We aim to solve this issue and propose a method for untraceable selective disclosure and privacy preserving revocation of digital credentials, using the unique homomorphic characteristics of second order Elliptic Curves and Boneh-Lynn-Shacham (BLS) signatures. Our approach ensures that users can selectively reveal only the necessary credentials, while protecting their privacy across multiple presentations. We also aim to protect users from issuer corruption, by making it possible to apply a threshold for revocation to require collective agreement among multiple revocation issuers.


title: Optimized Waveform Design for OFDM-based ISAC Systems Under Limited Resource Occupancy

abstract: The sixth generation (6G) of wireless networks introduces integrated sensing and communication (ISAC), a technology in which communication and sensing functionalities are inextricably linked, sharing resources across time, frequency, space, and energy. Despite its popularity in communication, the orthogonal frequency division multiplexing (OFDM) waveform, while advantageous for communication, has limitations in sensing performance within an ISAC network. This paper delves into OFDM waveform design through optimal resource allocation over time, frequency, and energy, maximizing sensing performance while preserving communication quality. During quasi-normal operation, the Base Station (BS) does not utilize all available time-frequency resources, resulting in high sidelobes in the OFDM waveform's ambiguity function, as well as decreased sensing accuracy. To address these latter issues, the paper proposes a novel interpolation technique using matrix completion through the Schatten p quasi-normal approximation, which requires fewer samples than the traditional nuclear norm for effective matrix completion and interpolation. This approach effectively suppresses the sidelobes, enhancing the sensing performance. Numerical simulations confirm that the proposed method outperforms state-of-the-art frameworks, such as standard complaint resource scheduling and interpolation, particularly in scenarios with limited resource occupancy.


title: Witnessing mass-energy equivalence with trapped atom interferometers

abstract: State-of-the-art atom interferometers can keep atoms in a superposition of heights in Earth's gravitational field for times reaching minute-scale, allowing for precise measurements of the gravitational potential. Yet, the phase shifts measured in such experiments can always be explained with a non-relativistic theory of gravity. There is therefore growing interest in finding feasible ways to use such new experimental capabilities to go beyond the non-relativistic regime. Here we propose modifying the existing experimental setups to probe both the quantum and the general relativistic effects on the atom's dynamics. Our proposal consists of adding two additional laser pulses in a trapped atom interferometer that would set up a quantum clock trapped at a superposition of heights reading a quantum superposition of relativistic proper times. We derive the phases acquired by different trajectories in the interferometer and demonstrate that the effect of superposition of proper times would manifest itself in two ways in the interference pattern: as visibility modulations, and as a shift of the resonant frequency of the atom. We argue that the latter might be observable with current technology.


title: Binary neutron star mergers using a discontinuous Galerkin-finite difference hybrid method

abstract: We present a discontinuous Galerkin-finite difference hybrid scheme that allows high-order shock capturing with the discontinuous Galerkin method for general relativistic magnetohydrodynamics in dynamical spacetimes. We present several optimizations and stability improvements to our algorithm that allow the hybrid method to successfully simulate single, rotating, and binary neutron stars. The hybrid method achieves the efficiency of discontinuous Galerkin methods throughout almost the entire spacetime during the inspiral phase, while being able to robustly capture shocks and resolve the stellar surfaces. We also use Cauchy-Characteristic evolution to compute the first gravitational waveforms at future null infinity from binary neutron star mergers. The simulations presented here are the first successful binary neutron star inspiral and merger simulations using discontinuous Galerkin methods.


title: Constructing and Analyzing Different Density Graphs for Path Extrapolation in Wikipedia

abstract: Graph-based models have become pivotal in understanding and predicting navigational patterns within complex networks. Building on graph-based models, the paper advances path extrapolation methods to efficiently predict Wikipedia navigation paths. The Wikipedia Central Macedonia (WCM) dataset is sourced from Wikipedia, with a spotlight on the Central Macedonia region, Greece, to initiate path generation. To build WCM, a crawling process is used that simulates human navigation through Wikipedia. Experimentation shows that an extension of the graph neural network GRETEL, which resorts to dual hypergraph transformation, performs better on a dense graph of WCM than on a sparse graph of WCM. Moreover, combining hypergraph features with features extracted from graph edges has proven to enhance the model's effectiveness. A superior model's performance is reported on the WCM dense graph than on the larger Wikispeedia dataset, suggesting that size may not be as influential in predictive accuracy as the quality of connections and feature extraction. The paper fits the track Knowledge Discovery and Machine Learning of the 16th International Conference on Advances in Databases, Knowledge, and Data Applications.


title: On Convex Optimization with Semi-Sensitive Features

abstract: We study the differentially private (DP) empirical risk minimization (ERM) problem under the semi-sensitive DP setting where only some features are sensitive. This generalizes the Label DP setting where only the label is sensitive. We give improved upper and lower bounds on the excess risk for DP-ERM. In particular, we show that the error only scales polylogarithmically in terms of the sensitive domain size, improving upon previous results that scale polynomially in the sensitive domain size (Ghazi et al., 2021).


title: Multiscale Functional Connectivity: Exploring the brain functional connectivity at different timescales

abstract: Human brains exhibit highly organized multiscale neurophysiological dynamics. Understanding those dynamic changes and the neuronal networks involved is critical for understanding how the brain functions in health and disease. Functional Magnetic Resonance Imaging (fMRI) is a prevalent neuroimaging technique for studying these complex interactions. However, analyzing fMRI data poses several challenges. Furthermore, most approaches for analyzing Functional Connectivity (FC) still rely on preprocessing or conventional methods, often built upon oversimplified assumptions. On top of that, those approaches often ignore frequency-related information despite evidence showing that fMRI data contain rich information that spans multiple timescales. This study introduces a novel methodology, Multiscale Functional Connectivity (MFC), to analyze fMRI data by decomposing the fMRI into their intrinsic modes, allowing us to separate the neurophysiological activation patterns at multiple timescales while separating them from other interfering components. Additionally, the proposed approach accounts for the natural nonlinear and nonstationary nature of fMRI and the particularities of each individual in a data-driven way. We evaluated the performance of our proposed methodology using three fMRI experiments. Our results demonstrate that our novel approach effectively separates the fMRI data into different timescales while identifying highly reliable functional connectivity patterns across individuals. In addition, we further extended our knowledge of how the FC for these three experiments spans among different timescales.


title: Towards Credential-based Device Registration in DApps for DePINs with ZKPs

abstract: Decentralized Physical Infrastructure Networks (DePINS) are secured and governed by blockchains but beyond crypto-economic incentives, they lack measures to establish trust in participating devices and their services. The verification of relevant device credentials during device registration helps to overcome this problem. However, on-chain verification in decentralized applications (dApp) discloses potentially confidential device attributes whereas off-chain verification introduces undesirable trust assumptions. In this paper, we propose a credential-based device registration (CDR) mechanism that verifies device credentials on the blockchain and leverages zero-knowledge proofs (ZKP) to protect confidential device attributes from being disclosed. We characterize CDR for DePINs, present a general system model, and technically evaluate CDR using zkSNARKs with Groth16 and Marlin. Our experiments give first insights into performance impacts and reveal a tradeoff between the applied proof systems.


title: CMRxRecon2024: A Multi-Modality, Multi-View K-Space Dataset Boosting Universal Machine Learning for Accelerated Cardiac MRI

abstract: Cardiac magnetic resonance imaging (MRI) has emerged as a clinically gold-standard technique for diagnosing cardiac diseases, thanks to its ability to provide diverse information with multiple modalities and anatomical views. Accelerated cardiac MRI is highly expected to achieve time-efficient and patient-friendly imaging, and then advanced image reconstruction approaches are required to recover high-quality, clinically interpretable images from undersampled measurements. However, the lack of publicly available cardiac MRI k-space dataset in terms of both quantity and diversity has severely hindered substantial technological progress, particularly for data-driven artificial intelligence. Here, we provide a standardized, diverse, and high-quality CMRxRecon2024 dataset to facilitate the technical development, fair evaluation, and clinical transfer of cardiac MRI reconstruction approaches, towards promoting the universal frameworks that enable fast and robust reconstructions across different cardiac MRI protocols in clinical practice. To the best of our knowledge, the CMRxRecon2024 dataset is the largest and most diverse publicly available cardiac k-space dataset. It is acquired from 330 healthy volunteers, covering commonly used modalities, anatomical views, and acquisition trajectories in clinical cardiac MRI workflows. Besides, an open platform with tutorials, benchmarks, and data processing tools is provided to facilitate data usage, advanced method development, and fair performance evaluation.


title: A Star Cluster Population of High Mass Black Hole Mergers in Gravitational Wave Data

abstract: Stellar evolution theories predict a gap in the black hole birth mass spectrum as the result of pair instability processes in the cores of massive stars. This gap, however, is not seen in the binary black hole masses inferred from gravitational wave data. One explanation is that black holes form dynamically in dense star clusters where smaller black holes merge to form more massive black holes, populating the mass gap. We show that this model predicts a distribution of the effective and precessing spin parameters, $\chi_{\rm eff}$ and $\chi_{\rm p}$, within the mass gap that is insensitive to assumptions about black hole natal spins. We analyze the distribution of $\chi_{\rm eff}$ as a function of primary mass for the black hole binaries in the third gravitational wave transient catalog. We infer the presence of a high-mass population of black holes that is consistent with hierarchical formation in dense star clusters. This population becomes dominant above $44^{+6}_{-4} M_\odot$, which we interpret as the lower edge of the pair-instability mass gap. Upcoming data will enable us to tightly constrain the hierarchical formation hypothesis and refine our understanding of binary black hole formation.


title: Yang-Mills theory from the worldline

abstract: We construct off-shell vertex operators for the bosonic spinning particle. Using the language of homotopy algebras, we show that the full nonlinear structure of Yang-Mills theory, including its gauge transformations, is encoded in the commutator algebra of the worldline vertex operators. To do so, we deform the worldline BRST operator by coupling it to a background gauge field and show that the coupling is consistent on a suitable truncation of the Hilbert space. On this subspace, the square of the BRST operator is proportional to the Yang-Mills field equations, which we interpret as an operator Maurer-Cartan equation for the background. This allows us to define further vertex operators in different ghost numbers, which correspond to the entire $L_\infty$ algebra of Yang-Mills theory. Besides providing a precise map of a fully nonlinear field theory into a worldline model, we expect these results will be valuable to investigate the kinematic algebra of Yang-Mills, which is central to the double copy program.


title: Ultrastrongly-coupled magnetochiral magnon-polaritons in metamaterials

abstract: Magnon-polariton is a synthetic quasi-particle of quantized spinwaves in magnets coupled with photons. The recent reporting of ultrastrong photon-to-magnon coupling in magnetic heterostructures was demonstrated at cryogenic temperatures in terms of reciprocal electromagnetic responses. Here, we report that magnon-polaritons in a three-dimensional metamaterial lacking time-reversal and space-inversion symmetries -- magnetochiral magnon-polaritons -- demonstrate ultrastrong coupling and directional non-reciprocity at room temperature. Ultrastrong coupling is due to a direct coupling between microwave photons confined in the chiral meta-atom and magnons in the magnetic meta-atom. Our results reveal a crucial step in identifying cavity-free, deepstrongly-coupled, non-reciprocal magnon-polaritons for hybrid quantum systems and quasi-particle "chemistry" using metamaterials.


title: Linear independence of continued fractions with algebraic terms

abstract: We give conditions on sequences of positive algebraic numbers $\{a_{n,j}\}_{n=1}^\infty$, $j=1,\dots ,M$ and number field $\mathbb K$ to ensure that the numbers defined by the continued fractions $[0;a_{1,j},a_{2,j},\dots ]$, $j=1,\dots ,M$ and $1$ are linearly independent over $\mathbb K$.


title: BiCo-Fusion: Bidirectional Complementary LiDAR-Camera Fusion for Semantic- and Spatial-Aware 3D Object Detection

abstract: 3D object detection is an important task that has been widely applied in autonomous driving. Recently, fusing multi-modal inputs, i.e., LiDAR and camera data, to perform this task has become a new trend. Existing methods, however, either ignore the sparsity of Lidar features or fail to preserve the original spatial structure of LiDAR and the semantic density of camera features simultaneously due to the modality gap. To address issues, this letter proposes a novel bidirectional complementary Lidar-camera fusion framework, called BiCo-Fusion that can achieve robust semantic- and spatial-aware 3D object detection. The key insight is to mutually fuse the multi-modal features to enhance the semantics of LiDAR features and the spatial awareness of the camera features and adaptatively select features from both modalities to build a unified 3D representation. Specifically, we introduce Pre-Fusion consisting of a Voxel Enhancement Module (VEM) to enhance the semantics of voxel features from 2D camera features and Image Enhancement Module (IEM) to enhance the spatial characteristics of camera features from 3D voxel features. Both VEM and IEM are bidirectionally updated to effectively reduce the modality gap. We then introduce Unified Fusion to adaptively weight to select features from the enchanted Lidar and camera features to build a unified 3D representation. Extensive experiments demonstrate the superiority of our BiCo-Fusion against the prior arts. Project page: https://t-ys.github.io/BiCo-Fusion/.