-
ScaleCap: Inference-Time Scalable Image Captioning via Dual-Modality Debiasing
Authors:
Long Xing,
Qidong Huang,
Xiaoyi Dong,
Pan Zhang,
Yuhang Zang,
Yuhang Cao,
Jinsong Li,
Shuangrui Ding,
Weiming Zhang,
Nenghai Yu,
Jiaqi Wang,
Feng Wu,
Dahua Lin
Abstract:
This paper presents ScaleCap, an inference-time scalable image captioning strategy that generates comprehensive and detailed image captions. The key challenges of high-quality image captioning lie in the inherent biases of LVLMs: multimodal bias resulting in imbalanced descriptive granularity, offering detailed accounts of some elements while merely skimming over others; linguistic bias leading to…
▽ More
This paper presents ScaleCap, an inference-time scalable image captioning strategy that generates comprehensive and detailed image captions. The key challenges of high-quality image captioning lie in the inherent biases of LVLMs: multimodal bias resulting in imbalanced descriptive granularity, offering detailed accounts of some elements while merely skimming over others; linguistic bias leading to hallucinated descriptions of non-existent objects. To address these issues, we propose a scalable debiased captioning strategy, which continuously enriches and calibrates the caption with increased inference budget. Specifically, we propose two novel components: heuristic question answering and contrastive sentence rating. The former generates content-specific questions based on the image and answers them to progressively inject relevant information into the caption. The latter employs sentence-level offline contrastive decoding to effectively identify and eliminate hallucinations caused by linguistic biases. With increased inference cost, more heuristic questions are raised by ScaleCap to progressively capture additional visual details, generating captions that are more accurate, balanced, and informative. Extensive modality alignment experiments demonstrate the effectiveness of ScaleCap. Annotating 450K images with ScaleCap and using them for LVLM pretraining leads to consistent performance gains across 11 widely used benchmarks. Furthermore, ScaleCap showcases superb richness and fidelity of generated captions with two additional tasks: replacing images with captions in VQA task, and reconstructing images from captions to assess semantic coverage. Code is available at https://github.com/Cooperx521/ScaleCap.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
JoyAgents-R1: Joint Evolution Dynamics for Versatile Multi-LLM Agents with Reinforcement Learning
Authors:
Ai Han,
Junxing Hu,
Pu Wei,
Zhiqian Zhang,
Yuhang Guo,
Jiawei Lu,
Zicheng Zhang
Abstract:
Multi-agent reinforcement learning (MARL) has emerged as a prominent paradigm for increasingly complex tasks. However, joint evolution across heterogeneous agents remains challenging due to cooperative inefficiency and training instability. In this paper, we propose the joint evolution dynamics for MARL called JoyAgents-R1, which first applies Group Relative Policy Optimization (GRPO) to the joint…
▽ More
Multi-agent reinforcement learning (MARL) has emerged as a prominent paradigm for increasingly complex tasks. However, joint evolution across heterogeneous agents remains challenging due to cooperative inefficiency and training instability. In this paper, we propose the joint evolution dynamics for MARL called JoyAgents-R1, which first applies Group Relative Policy Optimization (GRPO) to the joint training of heterogeneous multi-agents. By iteratively refining agents' large language models (LLMs) and memories, the method achieves holistic equilibrium with optimal decision-making and memory capabilities. Specifically, JoyAgents-R1 first implements node-wise Monte Carlo sampling on the behavior of each agent across entire reasoning trajectories to enhance GRPO sampling efficiency while maintaining policy diversity. Then, our marginal benefit-driven selection strategy identifies top-$K$ sampling groups with maximal reward fluctuations, enabling targeted agent model updates that improve training stability and maximize joint benefits through cost-effective parameter adjustments. Meanwhile, JoyAgents-R1 introduces an adaptive memory evolution mechanism that repurposes GRPO rewards as cost-free supervisory signals to eliminate repetitive reasoning and accelerate convergence. Experiments across general and domain-specific scenarios demonstrate that JoyAgents-R1 achieves performance comparable to that of larger LLMs while built on smaller open-source models.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
SimpleGVR: A Simple Baseline for Latent-Cascaded Video Super-Resolution
Authors:
Liangbin Xie,
Yu Li,
Shian Du,
Menghan Xia,
Xintao Wang,
Fanghua Yu,
Ziyan Chen,
Pengfei Wan,
Jiantao Zhou,
Chao Dong
Abstract:
Latent diffusion models have emerged as a leading paradigm for efficient video generation. However, as user expectations shift toward higher-resolution outputs, relying solely on latent computation becomes inadequate. A promising approach involves decoupling the process into two stages: semantic content generation and detail synthesis. The former employs a computationally intensive base model at l…
▽ More
Latent diffusion models have emerged as a leading paradigm for efficient video generation. However, as user expectations shift toward higher-resolution outputs, relying solely on latent computation becomes inadequate. A promising approach involves decoupling the process into two stages: semantic content generation and detail synthesis. The former employs a computationally intensive base model at lower resolutions, while the latter leverages a lightweight cascaded video super-resolution (VSR) model to achieve high-resolution output. In this work, we focus on studying key design principles for latter cascaded VSR models, which are underexplored currently. First, we propose two degradation strategies to generate training pairs that better mimic the output characteristics of the base model, ensuring alignment between the VSR model and its upstream generator. Second, we provide critical insights into VSR model behavior through systematic analysis of (1) timestep sampling strategies, (2) noise augmentation effects on low-resolution (LR) inputs. These findings directly inform our architectural and training innovations. Finally, we introduce interleaving temporal unit and sparse local attention to achieve efficient training and inference, drastically reducing computational overhead. Extensive experiments demonstrate the superiority of our framework over existing methods, with ablation studies confirming the efficacy of each design choice. Our work establishes a simple yet effective baseline for cascaded video super-resolution generation, offering practical insights to guide future advancements in efficient cascaded synthesis systems.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Convergence of Mean Shift Algorithms for Large Bandwidths and Simultaneous Accurate Clustering
Authors:
Susovan Pal,
Praneeth Vepakomma
Abstract:
The mean shift (MS) is a non-parametric, density-based, iterative algorithm that has prominent usage in clustering and image segmentation. A rigorous proof for its convergence in full generality remains unknown. Two significant steps in this direction were taken in the paper \cite{Gh1}, which proved that for \textit{sufficiently large bandwidth}, the MS algorithm with the Gaussian kernel always co…
▽ More
The mean shift (MS) is a non-parametric, density-based, iterative algorithm that has prominent usage in clustering and image segmentation. A rigorous proof for its convergence in full generality remains unknown. Two significant steps in this direction were taken in the paper \cite{Gh1}, which proved that for \textit{sufficiently large bandwidth}, the MS algorithm with the Gaussian kernel always converges in any dimension, and also by the same author in \cite{Gh2}, proved that MS always converges in one dimension for kernels with differentiable, strictly decreasing, convex profiles. In the more recent paper \cite{YT}, they have proved the convergence in more generality,\textit{ without any restriction on the bandwidth}, with the assumption that the KDE $f$ has a continuous Lipschitz gradient on the closure of the convex hull of the trajectory of the iterated sequence of the mode estimate, and also satisfies the Łojasiewicz property there.
The main theoretical result of this paper is a generalization of those of \cite{Gh1}, where we show that (1) for\textit{ sufficiently large bandwidth} convergence is guaranteed in any dimension with \textit{any radially symmetric and strictly positive definite kernels}. The proof uses two alternate characterizations of radially symmetric positive definite smooth kernels by Schoenberg and Bernstein \cite{Fass}, and borrows some steps from the proofs in \cite{Gh1}. Although the authors acknowledge that the result in that paper is more restrictive than that of \cite{YT} due to the lower bandwidth limit, it uses a different set of assumptions than \cite{YT}, and the proof technique is different.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
High-Efficiency Tunable Microwave Photon Detector Based on a Semiconductor Double Quantum Dot Coupled to a Superconducting High-Impedance Cavity
Authors:
Fabian Oppliger,
Wonjin Jang,
Aldo Tarascio,
Franco De Palma,
Christian Reichl,
Werner Wegscheider,
Ville F. Maisi,
Dominik Zumbühl,
Pasquale Scarlino
Abstract:
High-efficiency single-photon detection in the microwave domain is a key enabling technology for quantum sensing, communication, and information processing. However, the extremely low energy of microwave photons (~μeV) presents a fundamental challenge, preventing direct photon-to-charge conversion as achieved in optical systems using semiconductors. Semiconductor quantum dot (QD) charge qubits off…
▽ More
High-efficiency single-photon detection in the microwave domain is a key enabling technology for quantum sensing, communication, and information processing. However, the extremely low energy of microwave photons (~μeV) presents a fundamental challenge, preventing direct photon-to-charge conversion as achieved in optical systems using semiconductors. Semiconductor quantum dot (QD) charge qubits offer a compelling solution due to their highly tunable energy levels in the microwave regime, enabling coherent coupling with single photons. In this work, we demonstrate microwave photon detection with an efficiency approaching 70% in the single-photon regime. We use a hybrid system comprising a double quantum dot (DQD) charge qubit electrostatically defined in a GaAs/AlGaAs heterostructure, coupled to a high-impedance Josephson junction (JJ) array cavity. We systematically optimize the hybrid device architecture to maximize the conversion efficiency, leveraging the strong charge-photon coupling and the tunable DQD tunnel coupling rates. Incoming cavity photons coherently excite the DQD qubit, which in turn generates a measurable electrical current, realizing deterministic photon-to-charge conversion. Moreover, by exploiting the independent tunability of both the DQD transition energy and the cavity resonance frequency, we characterize the system efficiency over a range of 3-5.2 GHz. Our results establish semiconductor-based cavity-QED architectures as a scalable and versatile platform for efficient microwave photon detection, opening new avenues for quantum microwave optics and hybrid quantum information technologies.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Look to Locate: Vision-Based Multisensory Navigation with 3-D Digital Maps for GNSS-Challenged Environments
Authors:
Ola Elmaghraby,
Eslam Mounier,
Paulo Ricardo Marques de Araujo,
Aboelmagd Noureldin
Abstract:
In Global Navigation Satellite System (GNSS)-denied environments such as indoor parking structures or dense urban canyons, achieving accurate and robust vehicle positioning remains a significant challenge. This paper proposes a cost-effective, vision-based multi-sensor navigation system that integrates monocular depth estimation, semantic filtering, and visual map registration (VMR) with 3-D digit…
▽ More
In Global Navigation Satellite System (GNSS)-denied environments such as indoor parking structures or dense urban canyons, achieving accurate and robust vehicle positioning remains a significant challenge. This paper proposes a cost-effective, vision-based multi-sensor navigation system that integrates monocular depth estimation, semantic filtering, and visual map registration (VMR) with 3-D digital maps. Extensive testing in real-world indoor and outdoor driving scenarios demonstrates the effectiveness of the proposed system, achieving sub-meter accuracy of 92% indoors and more than 80% outdoors, with consistent horizontal positioning and heading average root mean-square errors of approximately 0.98 m and 1.25 °, respectively. Compared to the baselines examined, the proposed solution significantly reduced drift and improved robustness under various conditions, achieving positioning accuracy improvements of approximately 88% on average. This work highlights the potential of cost-effective monocular vision systems combined with 3D maps for scalable, GNSS-independent navigation in land vehicles.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Laser Wakefield Acceleration Driven by a Discrete Flying Focus
Authors:
Jacob R. Pierce,
Kyle G. Miller,
Fei Li,
John P. Palastro,
Warren B. Mori
Abstract:
Laser wakefield acceleration (LWFA) may enable the next generation of TeV-scale lepton colliders. Reaching such energies will likely require multiple LWFA stages to overcome limitations on the energy gain achievable in a single stage. The use of stages, however, introduces challenges such as alignment, adiabatic matching between stages, and a lower average accelerating gradient. Here, we propose a…
▽ More
Laser wakefield acceleration (LWFA) may enable the next generation of TeV-scale lepton colliders. Reaching such energies will likely require multiple LWFA stages to overcome limitations on the energy gain achievable in a single stage. The use of stages, however, introduces challenges such as alignment, adiabatic matching between stages, and a lower average accelerating gradient. Here, we propose a discrete flying focus that can deliver higher energy gain in a single stage, thereby reducing the number of stages required for a target energy. A sequence of laser pulses with staggered focal points and delays drives a plasma wave in which an electron beam experiences a near-constant accelerating gradient over distances beyond those attainable with a conventional pulse. Simulations demonstrate that a discrete flying focus with a total energy of 150 J can transfer 40 GeV per electron to a 50-pC beam in a single 30-cm stage, corresponding to 50 dephasing lengths.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
On the Asymptotic Density of a GCD-based Map
Authors:
Thang Pang Ern,
Malcolm Tan Jun Xi
Abstract:
We show that the symmetry of \[f\left(a,b\right)=\frac{\operatorname{gcd}\left(ab,a+b\right)}{\operatorname{gcd}\left(a,b\right)}\] stems from an $\operatorname{SL}_2\left(\mathbb{Z}\right)$ action on primitive pairs and that all solutions to $f\left(a,b\right)=n$ admit a uniform three-parameter description -- recovering arithmetic-progression families via the Chinese remainder theorem when $n$ is…
▽ More
We show that the symmetry of \[f\left(a,b\right)=\frac{\operatorname{gcd}\left(ab,a+b\right)}{\operatorname{gcd}\left(a,b\right)}\] stems from an $\operatorname{SL}_2\left(\mathbb{Z}\right)$ action on primitive pairs and that all solutions to $f\left(a,b\right)=n$ admit a uniform three-parameter description -- recovering arithmetic-progression families via the Chinese remainder theorem when $n$ is squarefree. It shows that the density of pairs with $f\left(a,b\right)=1$ tends to $\prod_p\left(1-p^{-2}(p+1)^{-1}\right)\approx0.88151$, and that its higher-order analogue $f_r$ has a limiting density $6/π^2$ for $r\ge2$.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Quantifying Spin Defect Density in hBN via Raman and Photoluminescence Analysis
Authors:
Atanu Patra,
Paul Konrad,
Andreas Sperlich,
Timur Biktagirov,
Wolf Gero Schmidt,
Lesley Spencer,
Igor Aharonovich,
Sven Höfling,
Vladimir Dyakonov
Abstract:
Negatively charged boron vacancies ($\mathrm{V_B^-}$) in hexagonal boron nitride (hBN) are emerging as promising solid-state spin qubits due to their optical accessibility, structural simplicity, and compatibility with photonic platforms. However, quantifying the density of such defects in thin hBN flakes has remained elusive, limiting progress in device integration and reproducibility. Here, we p…
▽ More
Negatively charged boron vacancies ($\mathrm{V_B^-}$) in hexagonal boron nitride (hBN) are emerging as promising solid-state spin qubits due to their optical accessibility, structural simplicity, and compatibility with photonic platforms. However, quantifying the density of such defects in thin hBN flakes has remained elusive, limiting progress in device integration and reproducibility. Here, we present an all-optical method to quantify $\mathrm{V_B^-}$ defect density in hBN by correlating Raman and photoluminescence (PL) signatures with irradiation fluence. We identify two defect-induced Raman modes, D1 and D2, and assign them to vibrational modes of $\mathrm{V_B^-}$ using polarization-resolved Raman measurements and density functional theory (DFT) calculations. By adapting a numerical model originally developed for graphene, we establish an empirical relationship linking Raman (D1, $E_\mathrm{2g}$) and PL intensities to absolute defect densities. This method is universally applicable across various irradiation types and uniquely suited for thin flakes, where conventional techniques fail. Our approach enables accurate, direct, and non-destructive quantification of spin defect densities down to $10^{15}$ defects/ cm${}^3$, offering a powerful tool for optimizing and benchmarking hBN for quantum optical applications.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Role of non-thermal processes in the quiescent and active millimeter spectrum of a young M-dwarf
Authors:
Atul Mohan,
Peter H. Hauschildt,
Birgit Fuhrmeister,
Surajit Mondal,
Vladimir Airapetian,
Sven Wedemeyer
Abstract:
Millimeter (mm) emission from F - M dwarfs (cool stars) primarily traces chromospheric activity, with thermal emission thought to dominate in quiescence. Despite the high chromospheric activity, the quiescent mm spectral fluence (mm-S($ν$)) of young (< 1 Gyr) M dwarfs (dMs) remain largely unexplored. We present the quiescent mm-S($ν$) of a young dM, ADLeo, observed around 94 GHz using the Northern…
▽ More
Millimeter (mm) emission from F - M dwarfs (cool stars) primarily traces chromospheric activity, with thermal emission thought to dominate in quiescence. Despite the high chromospheric activity, the quiescent mm spectral fluence (mm-S($ν$)) of young (< 1 Gyr) M dwarfs (dMs) remain largely unexplored. We present the quiescent mm-S($ν$) of a young dM, ADLeo, observed around 94 GHz using the Northern Extended Millimetre Array (NOEMA). The observed quiescent mm-S($ν$) exceeds the thermal flux density from a 1D chromospheric model, constrained by optical-UV spectroscopic data, by up to a factor of 7. This indicates a quasi-steady non-thermal emission powered by supra-thermal electrons unlike in old (> 1 Gyr) cool stars, whose quiescent mm-S($ν$) generally agree with 1D thermal models. The mm-brightness temperature spectral index ($α_{mm}$; $T_B(ν)\propto ν^{- α_{mm}}$) of AD Leo deviates by a factor of 3 from the $α_{mm}$ - $T_{eff}$ scaling law for old sun-like stars (Mohan, A., et al., 2022), while UV Ceti, an older M6V star, follows the trend. Also, we report a double-hump flare with second-scale variability in flux density and spectral index, and a frequency-rising nature with brightness increasing with frequency. The flare resemble certain solar events, but is unlike the second-scale events reported in dMs. The non-thermal flare humps suggest multiple injections of accelerated electrons. The mean flare luminosity (2 - 5 $\times 10^{15} erg s^{-1} Hz^{-1}$) and duration ($18\pm 2$ s) are comparable to flares reported in AU Mic and Proxima Cen, but 100 - 1000 times weaker than the minutes-long dM flares observed by the South Pole Telescope.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Noncontextual Pauli Hamiltonians
Authors:
Alexis Ralli,
Tim Weaving,
Peter J. Love
Abstract:
Contextuality is a key feature of quantum mechanics, and identification of noncontextual subtheories of quantum mechanics is of both fundamental and practical importance. Recently, noncontextual Pauli Hamiltonians have been defined in the setting of variational quantum algorithms. In this work we rigorously establish a number of properties of noncontextual Pauli Hamiltonians. We prove that these H…
▽ More
Contextuality is a key feature of quantum mechanics, and identification of noncontextual subtheories of quantum mechanics is of both fundamental and practical importance. Recently, noncontextual Pauli Hamiltonians have been defined in the setting of variational quantum algorithms. In this work we rigorously establish a number of properties of noncontextual Pauli Hamiltonians. We prove that these Hamiltonians can be composed of more Pauli operators than diagonal Hamiltonians. This establishes that noncontextual Hamiltonians are able to describe a greater number of physical interactions. We then show that the eigenspaces admit an efficient classical description. We analyse the eigenspace of these Hamiltonians and prove that for every eigenvalue there exists an associated eigenvector whose stabilizer rank scales linearly with the number of qubits. We prove that further structure in these Hamiltonians allow us to derive where degeneracies in the eigenspectrum can arise. We thus open the field to a new class of efficiently simulatable states.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Kling-Foley: Multimodal Diffusion Transformer for High-Quality Video-to-Audio Generation
Authors:
Jun Wang,
Xijuan Zeng,
Chunyu Qiang,
Ruilong Chen,
Shiyao Wang,
Le Wang,
Wangjing Zhou,
Pengfei Cai,
Jiahui Zhao,
Nan Li,
Zihan Li,
Yuzhe Liang,
Xiaopeng Wang,
Haorui Zheng,
Ming Wen,
Kang Yin,
Yiran Wang,
Nan Li,
Feng Deng,
Liang Dong,
Chen Zhang,
Di Zhang,
Kun Gai
Abstract:
We propose Kling-Foley, a large-scale multimodal Video-to-Audio generation model that synthesizes high-quality audio synchronized with video content. In Kling-Foley, we introduce multimodal diffusion transformers to model the interactions between video, audio, and text modalities, and combine it with a visual semantic representation module and an audio-visual synchronization module to enhance alig…
▽ More
We propose Kling-Foley, a large-scale multimodal Video-to-Audio generation model that synthesizes high-quality audio synchronized with video content. In Kling-Foley, we introduce multimodal diffusion transformers to model the interactions between video, audio, and text modalities, and combine it with a visual semantic representation module and an audio-visual synchronization module to enhance alignment capabilities. Specifically, these modules align video conditions with latent audio elements at the frame level, thereby improving semantic alignment and audio-visual synchronization. Together with text conditions, this integrated approach enables precise generation of video-matching sound effects. In addition, we propose a universal latent audio codec that can achieve high-quality modeling in various scenarios such as sound effects, speech, singing, and music. We employ a stereo rendering method that imbues synthesized audio with a spatial presence. At the same time, in order to make up for the incomplete types and annotations of the open-source benchmark, we also open-source an industrial-level benchmark Kling-Audio-Eval. Our experiments show that Kling-Foley trained with the flow matching objective achieves new audio-visual SOTA performance among public models in terms of distribution matching, semantic alignment, temporal alignment and audio quality.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Self-assembled clusters of mutually repelling particles in confinement
Authors:
P. D. S. de Lima,
R. De La Cour,
K. Gaff,
J. M. de Araújo,
S. J. Cox,
M. S. Ferreira,
S. Hutzler
Abstract:
Mutually repelling particles form spontaneously ordered clusters when forced into confinement. The clusters may adopt similar spatial arrangements even if the underlying particle interactions are contrastingly different. Here we demonstrate with both simulations and experiments that it is possible to induce particles of very different types to self-assemble into the same ordered geometric structur…
▽ More
Mutually repelling particles form spontaneously ordered clusters when forced into confinement. The clusters may adopt similar spatial arrangements even if the underlying particle interactions are contrastingly different. Here we demonstrate with both simulations and experiments that it is possible to induce particles of very different types to self-assemble into the same ordered geometric structure by simply regulating the ratio between the repulsion and confining forces. This is the case for both long- and short-ranged potentials. This property is initially explored in systems with two-dimensional (2D) circular symmetry and subsequently demonstrated to be valid throughout the transition to one-dimensional (1D) structures through continuous elliptical deformations of the confining field. We argue that this feature can be utilized to manipulate the spatial structure of confined particles, thereby paving the way for the design of clusters with specific functionalities.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Interplay between Symmetry Breaking and Interactions in a Symmetry Protected Topological Phase
Authors:
Parameshwar R. Pasnoori,
Patrick Azaria
Abstract:
We solve the one dimensional massive Thirring model or equivalently the sine-Gordon model in the repulsive regime with general Dirichlet boundary conditions, which are characterized by two boundary fields $φ_{L,R}$ associated with the left and right boundaries respectively. In the presence of these boundary fields, which explicitly break the charge conjugation symmetry, the system exhibits a duali…
▽ More
We solve the one dimensional massive Thirring model or equivalently the sine-Gordon model in the repulsive regime with general Dirichlet boundary conditions, which are characterized by two boundary fields $φ_{L,R}$ associated with the left and right boundaries respectively. In the presence of these boundary fields, which explicitly break the charge conjugation symmetry, the system exhibits a duality symmetry which changes the sign of the mass parameter $m_0$ and shifts the values of the boundary fields by $φ_{L,R}\rightarrow φ_{L,R}+π$. When the mass parameter $m_0<0$ and the boundary fields $φ_{L,R}=0$, or equivalently due to duality symmetry, when the mass parameter $m_0>0$ and the boundary fields $φ_{L,R}=π$, the system is at a trivial point. Here, the ground state is unique just as in the case of periodic boundary conditions. In contrast, when the mass parameter $m_0<0$ and the boundary fields $φ_{L,R}=π$, and equivalently due to the duality symmetry, when the mass parameter $m_0>0$ and the boundary fields $φ_{L,R}=0$, the system is at a topological point where it exhibits a symmetry protected topological (SPT) phase, which is characterized by the existence of zero energy bound states at both the boundaries. For a given value of the mass parameter $m_0$, we find that these phases remain stable in the presence of symmetry breaking fields at the boundary, provided they are smaller than certain critical values which depend on the strength of the interactions in the bulk. Hence, we show that the stability of the SPT and trivial phases depends on the interplay of the symmetry breaking boundary field values and the bulk interaction strength.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Comparing QCD+QED via full simulation versus the RM123 method: U-spin window contribution to $a_μ^{\mathrm{HVP}}$
Authors:
A. Altherr,
I. Campos,
A. Cotellucci,
R. Gruber,
T. Harris,
J. Komijani,
F. Margari,
M. K. Marinkovic,
L. Parato,
A. Patella,
S. Rosso,
N. Tantalo,
P. Tavella
Abstract:
Electromagnetic corrections to hadronic vacuum polarization contribute significantly to the uncertainty of the Standard Model prediction of the muon anomaly, which poses conceptual and numerical challenges for ab initio lattice determinations. In this study, we compute the non-singlet contribution from intermediate Euclidean current separations in quantum chromo- and electrodynamics (QCD+QED) usin…
▽ More
Electromagnetic corrections to hadronic vacuum polarization contribute significantly to the uncertainty of the Standard Model prediction of the muon anomaly, which poses conceptual and numerical challenges for ab initio lattice determinations. In this study, we compute the non-singlet contribution from intermediate Euclidean current separations in quantum chromo- and electrodynamics (QCD+QED) using C* boundary conditions in two ways: either non-perturbatively by sampling the joint probability distribution directly or by perturbatively expanding from an isospin-symmetric theory. This allows us to compare the predictions and their uncertainties at a fixed lattice spacing and volume, including fully the sea quarks effects in both cases. Treating carefully the uncertainty due to tuning to the same renormalized theory with $N_{\mathrm{f}} = 1 + 2 + 1$ quarks, albeit with unphysical masses, we find it advantageous to simulate the full QCD+QED distribution given a fixed number of samples. This study lays the ground-work for further applications of C* boundary conditions to study QCD+QED at the physical point, essential for the next generation of precision tests of the Standard Model.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Fast readout of quantum dot spin qubits via Andreev spins
Authors:
Michèle Jakob,
Katharina Laubscher,
Patrick Del Vecchio,
Anasua Chatterjee,
Valla Fatemi,
Stefano Bosco
Abstract:
Spin qubits in semiconducting quantum dots are currently limited by slow readout processes, which are orders of magnitude slower than gate operations. In contrast, Andreev spin qubits benefit from fast measurement schemes enabled by the large resonator couplings of superconducting qubits but suffer from reduced coherence during qubit operations. Here, we propose fast and high-fidelity measurement…
▽ More
Spin qubits in semiconducting quantum dots are currently limited by slow readout processes, which are orders of magnitude slower than gate operations. In contrast, Andreev spin qubits benefit from fast measurement schemes enabled by the large resonator couplings of superconducting qubits but suffer from reduced coherence during qubit operations. Here, we propose fast and high-fidelity measurement protocols based on an electrically-tunable coupling between quantum dot and Andreev spin qubits. In realistic devices, this coupling can be made sufficiently strong to enable high-fidelity readout well below microseconds, potentially enabling mid-circuit measurements. Crucially, the electrical tunability of our coupler permits to switch it off during idle periods, minimizing crosstalk and measurement back-action. Our approach is fully compatible with germanium-based devices and paves the way for scalable quantum computing architectures by leveraging the advantages of heterogeneous qubit implementations.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
The Shape of Consumer Behavior: A Symbolic and Topological Analysis of Time Series
Authors:
Pola Bereta,
Ioannis Diamantis
Abstract:
Understanding temporal patterns in online search behavior is crucial for real-time marketing and trend forecasting. Google Trends offers a rich proxy for public interest, yet the high dimensionality and noise of its time-series data present challenges for effective clustering. This study evaluates three unsupervised clustering approaches, Symbolic Aggregate approXimation (SAX), enhanced SAX (eSAX)…
▽ More
Understanding temporal patterns in online search behavior is crucial for real-time marketing and trend forecasting. Google Trends offers a rich proxy for public interest, yet the high dimensionality and noise of its time-series data present challenges for effective clustering. This study evaluates three unsupervised clustering approaches, Symbolic Aggregate approXimation (SAX), enhanced SAX (eSAX), and Topological Data Analysis (TDA), applied to 20 Google Trends keywords representing major consumer categories. Our results show that while SAX and eSAX offer fast and interpretable clustering for stable time series, they struggle with volatility and complexity, often producing ambiguous ``catch-all'' clusters. TDA, by contrast, captures global structural features through persistent homology and achieves more balanced and meaningful groupings.
We conclude with practical guidance for using symbolic and topological methods in consumer analytics and suggest that hybrid approaches combining both perspectives hold strong potential for future applications.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Exploring Developer Experience Factors in Software Ecosystems
Authors:
Rodrigo Oliveira Zacarias,
Léo Carvalho Ramos Antunes,
Márcio de Oliveira Barros,
Rodrigo Pereira dos Santos,
Patricia Lago
Abstract:
Context: Developer experience (DX) plays a key role in developers' performance and their continued involvement in a software ecosystem (SECO) platform. While researchers and practitioners have recognized several factors affecting DX in SECO platforms, a clear roadmap of the most influential factors is still missing. This is particularly important given the direct impact on developers' interest in…
▽ More
Context: Developer experience (DX) plays a key role in developers' performance and their continued involvement in a software ecosystem (SECO) platform. While researchers and practitioners have recognized several factors affecting DX in SECO platforms, a clear roadmap of the most influential factors is still missing. This is particularly important given the direct impact on developers' interest in SECO and their ongoing engagement with the common technological platform. Goal: This work aims to identify key DX factors and understand how they influence third-party developers' decisions to adopt and keep contributing to a SECO. Methods: We conducted a systematic mapping study (SMS), analyzing 29 studies to assess the state-of-the-art of DX in SECO. Additionally, we conducted a Delphi study to evaluate the influence of 27 DX factors (identified in our SMS) from the perspective of 21 third-party developers to adopt and keep contributing to a SECO. Results: The factors that most strongly influence developers' adoption and ongoing contributions to a SECO are: financial costs for using the platform, desired technical resources for development, low barriers to entry into the applications market, and more financial gains. Conclusion: DX is essential for the success and sustainability of SECO. Our set of DX factors provides valuable insights and recommendations for researchers and practitioners to address key DX concerns from the perspective of third-party developers.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
On the necessity of adaptive regularisation:Optimal anytime online learning on $\boldsymbol{\ell_p}$-balls
Authors:
Emmeran Johnson,
David Martínez-Rubio,
Ciara Pike-Burke,
Patrick Rebeschini
Abstract:
We study online convex optimization on $\ell_p$-balls in $\mathbb{R}^d$ for $p > 2$. While always sub-linear, the optimal regret exhibits a shift between the high-dimensional setting ($d > T$), when the dimension $d$ is greater than the time horizon $T$ and the low-dimensional setting ($d \leq T$). We show that Follow-the-Regularised-Leader (FTRL) with time-varying regularisation which is adaptive…
▽ More
We study online convex optimization on $\ell_p$-balls in $\mathbb{R}^d$ for $p > 2$. While always sub-linear, the optimal regret exhibits a shift between the high-dimensional setting ($d > T$), when the dimension $d$ is greater than the time horizon $T$ and the low-dimensional setting ($d \leq T$). We show that Follow-the-Regularised-Leader (FTRL) with time-varying regularisation which is adaptive to the dimension regime is anytime optimal for all dimension regimes. Motivated by this, we ask whether it is possible to obtain anytime optimality of FTRL with fixed non-adaptive regularisation. Our main result establishes that for separable regularisers, adaptivity in the regulariser is necessary, and that any fixed regulariser will be sub-optimal in one of the two dimension regimes. Finally, we provide lower bounds which rule out sub-linear regret bounds for the linear bandit problem in sufficiently high-dimension for all $\ell_p$-balls with $p \geq 1$.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Who Does What in Deep Learning? Multidimensional Game-Theoretic Attribution of Function of Neural Units
Authors:
Shrey Dixit,
Kayson Fakhar,
Fatemeh Hadaeghi,
Patrick Mineault,
Konrad P. Kording,
Claus C. Hilgetag
Abstract:
Neural networks now generate text, images, and speech with billions of parameters, producing a need to know how each neural unit contributes to these high-dimensional outputs. Existing explainable-AI methods, such as SHAP, attribute importance to inputs, but cannot quantify the contributions of neural units across thousands of output pixels, tokens, or logits. Here we close that gap with Multipert…
▽ More
Neural networks now generate text, images, and speech with billions of parameters, producing a need to know how each neural unit contributes to these high-dimensional outputs. Existing explainable-AI methods, such as SHAP, attribute importance to inputs, but cannot quantify the contributions of neural units across thousands of output pixels, tokens, or logits. Here we close that gap with Multiperturbation Shapley-value Analysis (MSA), a model-agnostic game-theoretic framework. By systematically lesioning combinations of units, MSA yields Shapley Modes, unit-wise contribution maps that share the exact dimensionality of the model's output. We apply MSA across scales, from multi-layer perceptrons to the 56-billion-parameter Mixtral-8x7B and Generative Adversarial Networks (GAN). The approach demonstrates how regularisation concentrates computation in a few hubs, exposes language-specific experts inside the LLM, and reveals an inverted pixel-generation hierarchy in GANs. Together, these results showcase MSA as a powerful approach for interpreting, editing, and compressing deep neural networks.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Moiré Collapse and Luttinger Liquids In Twisted Anisotropic Homobilayers
Authors:
D. J. P. de Sousa,
Seungjun Lee,
Francisco Guinea,
Tony Low
Abstract:
We introduce twisted anisotropic homobilayers as a distinct class of moiré systems, characterized by a distinctive ``magic angle", $θ_M$, where both the moiré unit cell and Brillouin zone collapse. Unlike conventional studies of moiré materials, which primarily focus on small lattice misalignments, we demonstrate that this moiré collapse occurs at large twist angles in generic twisted anisotropic…
▽ More
We introduce twisted anisotropic homobilayers as a distinct class of moiré systems, characterized by a distinctive ``magic angle", $θ_M$, where both the moiré unit cell and Brillouin zone collapse. Unlike conventional studies of moiré materials, which primarily focus on small lattice misalignments, we demonstrate that this moiré collapse occurs at large twist angles in generic twisted anisotropic homobilayers. The collapse angle, $θ_M$, is likely to give rise quasi-crystal behavior as well as to the formation of strongly correlated states, that arise not from flat bands, but from the presence of ultra-anisotropic electronic states, where non-Fermi liquid phases can be stabilized. In this work, we develop a continuum model for electrons based on extensive \textit{ab initio} calculations for twisted bilayer black phosphorus, enabling a detailed study of the emerging moiré collapse features in this archetypal system. We show that the (temperature) stability criterion for the emergence of (sliding) Luttinger liquids is generally met as the twist angle approaches $θ_M$. Furthermore, we explicitly formulate the collapsed single-particle one-dimensional (1D) continuum Hamiltonian and provide the \textit{fully interacting}, bosonized Hamiltonian applicable at low doping levels. Our analysis reveals a rich landscape of multichannel Luttinger liquids, potentially enhanced by valley degrees of freedom at large twist angles.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Exploring Low-Dimensional Magnetism in Cobalt Vanadates, ${A}$CoV$_{2}$O$_{7}$~(${A}$~=~Ca, Sr) : Crystal Growth and Magnetic Properties of Effective Spin-1/2 Zigzag Chains
Authors:
Anzar Ali,
Guratinder Kaur,
Arvind Maurya,
Isha,
Kathrin Küster,
Ulrich Starke,
Pascal Puphal,
Arvind Kumar Yogi,
Masahiko Isobe
Abstract:
We report the successful growth of high-quality single crystals of \ACVO, a quasi-one-dimensional zigzag chain compound containing Co$^{2+}$ ions, using the optical floating zone method. The crystal growth was stabilized under high-pressure argon-oxygen gas with slow growth rates, overcoming challenges associated with the incongruent melting behavior of this material. X-ray diffraction confirms th…
▽ More
We report the successful growth of high-quality single crystals of \ACVO, a quasi-one-dimensional zigzag chain compound containing Co$^{2+}$ ions, using the optical floating zone method. The crystal growth was stabilized under high-pressure argon-oxygen gas with slow growth rates, overcoming challenges associated with the incongruent melting behavior of this material. X-ray diffraction confirms the zigzag arrangement of Co$^{2+}$ ions, forming a quasi-one-dimensional chain structure. Magnetic susceptibility and heat capacity measurements reveal an antiferromagnetic phase transition at the Néel temperature ($T_{\text{N}} \sim 3.5$ K) and negative Curie-Weiss temperatures, indicative of dominant antiferromagnetic interactions. The distorted CoO$_6$ octahedral geometry and strong spin-orbit coupling suggest that Co$^{2+}$ ions likely exhibit an effective $J = 1/2 $ Kramers doublet state. The results presented here demonstrate the potential of \ACVO\ as a platform for investigating low-dimensional magnetism and quantum magnetic phenomena. These insights shed light on the role of the ${A}$-site ion in tuning the magnetic interactions, which will foster future research into the field-induced behavior in these cobalt vanadates.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Decision-Focused Learning for Neural Network-Constrained Optimization: Application to HVAC Management System
Authors:
Pietro Favaro,
Jean-François Toubeau,
François Vallée,
Yury Dvorkin
Abstract:
Heating, Ventilation, and Air Conditioning (HVAC) is a major electricity end-use with a substantial potential for grid services such as demand response. Harnessing this flexibility requires accurate modeling of the thermal dynamics of buildings, which is challenging due to their nonlinear and repetitive behavior (e.g., daily pattern), which reduce the value of historical data. To address this issu…
▽ More
Heating, Ventilation, and Air Conditioning (HVAC) is a major electricity end-use with a substantial potential for grid services such as demand response. Harnessing this flexibility requires accurate modeling of the thermal dynamics of buildings, which is challenging due to their nonlinear and repetitive behavior (e.g., daily pattern), which reduce the value of historical data. To address this issue, this paper presents an HVAC management system formulated as a Mixed Integer Quadratic Program (MIQP), where Neural Network (NN) models of thermal dynamics are embedded as exact mixed-integer linear constraints. We employ Decision-Focused Learning (DFL) which tunes the NN parameters to improve the HVAC performance rather than prediction metrics. However, the discrete nature of the MIQP poses challenges for this approach, as it leads to gradients that are undefined or discontinuous, thus impeding standard gradient-based training. Here, we employ Stochastic Smoothing (SS), which enables efficient gradient computation without the need to differentiate through the MIQP. Experiments on a realistic five-zone building using a high-fidelity building simulator demonstrate that the proposed SS-DFL approach outperforms conventional two-stage and relaxed DFL methods in both cost savings and grid service performance, highlighting its potential for scalable, grid-interactive building control.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Estimating Spatially-Dependent GPS Errors Using a Swarm of Robots
Authors:
Praneeth Somisetty,
Robert Griffin,
Victor M. Baez,
Miguel F. Arevalo-Castiblanco,
Aaron T. Becker,
Jason M. O'Kane
Abstract:
External factors, including urban canyons and adversarial interference, can lead to Global Positioning System (GPS) inaccuracies that vary as a function of the position in the environment. This study addresses the challenge of estimating a static, spatially-varying error function using a team of robots. We introduce a State Bias Estimation Algorithm (SBE) whose purpose is to estimate the GPS biase…
▽ More
External factors, including urban canyons and adversarial interference, can lead to Global Positioning System (GPS) inaccuracies that vary as a function of the position in the environment. This study addresses the challenge of estimating a static, spatially-varying error function using a team of robots. We introduce a State Bias Estimation Algorithm (SBE) whose purpose is to estimate the GPS biases. The central idea is to use sensed estimates of the range and bearing to the other robots in the team to estimate changes in bias across the environment. A set of drones moves in a 2D environment, each sampling data from GPS, range, and bearing sensors. The biases calculated by the SBE at estimated positions are used to train a Gaussian Process Regression (GPR) model. We use a Sparse Gaussian process-based Informative Path Planning (IPP) algorithm that identifies high-value regions of the environment for data collection. The swarm plans paths that maximize information gain in each iteration, further refining their understanding of the environment's positional bias landscape. We evaluated SBE and IPP in simulation and compared the IPP methodology to an open-loop strategy.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Characterizing quantum resourcefulness via group-Fourier decompositions
Authors:
Pablo Bermejo,
Paolo Braccia,
Antonio Anna Mele,
Nahuel L. Diaz,
Andrew E. Deneris,
Martin Larocca,
M. Cerezo
Abstract:
In this work we present a general framework for studying the resourcefulness in pure states for quantum resource theories (QRTs) whose free operations arise from the unitary representation of a group. We argue that the group Fourier decompositions (GFDs) of a state, i.e., its projection onto the irreducible representations (irreps) of the Hilbert space, operator space, and tensor products thereof,…
▽ More
In this work we present a general framework for studying the resourcefulness in pure states for quantum resource theories (QRTs) whose free operations arise from the unitary representation of a group. We argue that the group Fourier decompositions (GFDs) of a state, i.e., its projection onto the irreducible representations (irreps) of the Hilbert space, operator space, and tensor products thereof, constitute fingerprints of resourcefulness and complexity. By focusing on the norm of the irrep projections, dubbed GFD purities, we find that low-resource states live in the small dimensional irreps of operator space, whereas high-resource states have support in more, and higher dimensional ones. Such behavior not only resembles that appearing in classical harmonic analysis, but is also universal across the QRTs of entanglement, fermionic Gaussianity, spin coherence, and Clifford stabilizerness. To finish, we show that GFD purities carry operational meaning as they lead to resourcefulness witnesses as well as to notions of state compressibility.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Near-optimal estimates for the $\ell^p$-Lipschitz constants of deep random ReLU neural networks
Authors:
Sjoerd Dirksen,
Patrick Finke,
Paul Geuchen,
Dominik Stöger,
Felix Voigtlaender
Abstract:
This paper studies the $\ell^p$-Lipschitz constants of ReLU neural networks $Φ: \mathbb{R}^d \to \mathbb{R}$ with random parameters for $p \in [1,\infty]$. The distribution of the weights follows a variant of the He initialization and the biases are drawn from symmetric distributions. We derive high probability upper and lower bounds for wide networks that differ at most by a factor that is logari…
▽ More
This paper studies the $\ell^p$-Lipschitz constants of ReLU neural networks $Φ: \mathbb{R}^d \to \mathbb{R}$ with random parameters for $p \in [1,\infty]$. The distribution of the weights follows a variant of the He initialization and the biases are drawn from symmetric distributions. We derive high probability upper and lower bounds for wide networks that differ at most by a factor that is logarithmic in the network's width and linear in its depth. In the special case of shallow networks, we obtain matching bounds. Remarkably, the behavior of the $\ell^p$-Lipschitz constant varies significantly between the regimes $ p \in [1,2) $ and $ p \in [2,\infty] $. For $p \in [2,\infty]$, the $\ell^p$-Lipschitz constant behaves similarly to $\Vert g\Vert_{p'}$, where $g \in \mathbb{R}^d$ is a $d$-dimensional standard Gaussian vector and $1/p + 1/p' = 1$. In contrast, for $p \in [1,2)$, the $\ell^p$-Lipschitz constant aligns more closely to $\Vert g \Vert_{2}$.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
The electronic structure of a doped Mott-Hubbard surface
Authors:
Mattia Iannetti,
Silvio Modesti,
Giovanni Di Santo,
Marco Caputo,
Polina M. Sheverdyaeva,
Paolo Moras,
Fabio Chiapolino,
Tommaso Cea,
Cesare Tresca,
Erio Tosatti,
Gianni Profeta
Abstract:
The Sn/Si(111)-({\sqrt}3{\times}{\sqrt}3)R30° surface, a 2D Mott insulator, has long been predicted and then found experimetally to metallize and even turn superconducting upon boron doping. In order to clarify the structural, spectroscopic and theoretical details of that evolution, here we present ARPES data supplementing morphology and scanning tunneling measurements. These combined experimental…
▽ More
The Sn/Si(111)-({\sqrt}3{\times}{\sqrt}3)R30° surface, a 2D Mott insulator, has long been predicted and then found experimetally to metallize and even turn superconducting upon boron doping. In order to clarify the structural, spectroscopic and theoretical details of that evolution, here we present ARPES data supplementing morphology and scanning tunneling measurements. These combined experimental results are compared with predictions from a variety of electronic structure approaches, mostly density functional DFT+U, but not neglecting Mott-Hubbard models, both ordered and disordered. These theoretical pictures address different spectroscopic aspects, including the 2D Fermi surface, the Hubbard bands, etc. While no single picture account for all observations at once,the emergent hypothesis compatible with all data is that metallization arises from sub-subsurface boron doping, additional to the main standard subsurface boron geometry, that would leave the surface insulating. These results advance the indispensable frame for the further understanding of this fascinating system.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Extreme Learning Machines for Exoplanet Simulations: A Faster, Lightweight Alternative to Deep Learning
Authors:
Tara P. A. Tahseen,
Luís F. Simões,
Kai Hou Yip,
Nikolaos Nikolaou,
João M. Mendonça,
Ingo P. Waldmann
Abstract:
Increasing resolution and coverage of astrophysical and climate data necessitates increasingly sophisticated models, often pushing the limits of computational feasibility. While emulation methods can reduce calculation costs, the neural architectures typically used--optimised via gradient descent--are themselves computationally expensive to train, particularly in terms of data generation requireme…
▽ More
Increasing resolution and coverage of astrophysical and climate data necessitates increasingly sophisticated models, often pushing the limits of computational feasibility. While emulation methods can reduce calculation costs, the neural architectures typically used--optimised via gradient descent--are themselves computationally expensive to train, particularly in terms of data generation requirements. This paper investigates the utility of the Extreme Learning Machine (ELM) as a lightweight, non-gradient-based machine learning algorithm for accelerating complex physical models.
We evaluate ELM surrogate models in two test cases with different data structures: (i) sequentially-structured data, and (ii) image-structured data. For test case (i), where the number of samples $N$ >> the dimensionality of input data $d$, ELMs achieve remarkable efficiency, offering a 100,000$\times$ faster training time and a 40$\times$ faster prediction speed compared to a Bi-Directional Recurrent Neural Network (BIRNN), whilst improving upon BIRNN test performance. For test case (ii), characterised by $d >> N$ and image-based inputs, a single ELM was insufficient, but an ensemble of 50 individual ELM predictors achieves comparable accuracy to a benchmark Convolutional Neural Network (CNN), with a 16.4$\times$ reduction in training time, though costing a 6.9$\times$ increase in prediction time. We find different sample efficiency characteristics between the test cases: in test case (i) individual ELMs demonstrate superior sample efficiency, requiring only 0.28% of the training dataset compared to the benchmark BIRNN, while in test case (ii) the ensemble approach requires 78% of the data used by the CNN to achieve comparable results--representing a trade-off between sample efficiency and model complexity.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Impact of the ambipolar diffusion in the structuration of the magnetic Rayleigh Taylor instability with oblique magnetic field
Authors:
E. Callies,
V. Guillet,
A. Marcowith,
Z. Meliani,
P. Lesaffre
Abstract:
Aims. We investigate the impact of ambipolar diffusion on the development of the Rayleigh-Taylor instability (RTI) with an oblique magnetic field in the incompressible limit. Methods. We developed a general bi-fluid framework comprising charges and neutrals with the specific feature of differing gravity between charges and neutrals. We derived the perturbed magnetohydrodynamic (MHD) equations and…
▽ More
Aims. We investigate the impact of ambipolar diffusion on the development of the Rayleigh-Taylor instability (RTI) with an oblique magnetic field in the incompressible limit. Methods. We developed a general bi-fluid framework comprising charges and neutrals with the specific feature of differing gravity between charges and neutrals. We derived the perturbed magnetohydrodynamic (MHD) equations and obtained an analytic dispersion relation for an oblique magnetic field. The growth rate was then evaluated using a numerical integration of the dispersion relation. In particular, we focussed on the anisotropy in the mode growth induced ambipolar diffusion. Results. In contrast to the case of a magnetic field within the interface, an oblique magnetic field is much less restrictive with respect to the wavenumbers that can develop; rather than a sharp cut-off, it results in a selection of preferred scales for mode growth. The presence of a second neutral fluid that is insensitive to gravity tends to amplify the anisotropy in the possible direction of the instability development. In particular, we show that this effect is maximal when the coupling is in an intermediate range between full and no charge-neutral coupling, specifically in the region where the ambipolar diffusion is highest.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Properties and Expressivity of Linear Geometric Centralities
Authors:
Paolo Boldi,
Flavio Furia,
Chiara Prezioso
Abstract:
Centrality indices are used to rank the nodes of a graph by importance: this is a common need in many concrete situations (social networks, citation networks, web graphs, for instance) and it was discussed many times in sociology, psychology, mathematics and computer science, giving rise to a whole zoo of definitions of centrality. Although they differ widely in nature, many centrality measures ar…
▽ More
Centrality indices are used to rank the nodes of a graph by importance: this is a common need in many concrete situations (social networks, citation networks, web graphs, for instance) and it was discussed many times in sociology, psychology, mathematics and computer science, giving rise to a whole zoo of definitions of centrality. Although they differ widely in nature, many centrality measures are based on shortest-path distances: such centralities are often referred to as geometric. Geometric centralities can use the shortest-path-length information in many different ways, but most of the existing geometric centralities can be defined as a linear transformation of the distance-count vector (that is, the vector containing, for every index t, the number of nodes at distance t).
In this paper we study this class of centralities, that we call linear (geometric) centralities, in their full generality. In particular, we look at them in the light of the axiomatic approach, and we study their expressivity: we show to what extent linear centralities can be used to distinguish between nodes in a graph, and how many different rankings of nodes can be induced by linear centralities on a given graph. The latter problem (which has a number of possible applications, especially in an adversarial setting) is solved by means of a linear programming formulation, which is based on Farkas' lemma, and is interesting in its own right.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Higher-Order Graph Databases
Authors:
Maciej Besta,
Shriram Chandran,
Jakub Cudak,
Patrick Iff,
Marcin Copik,
Robert Gerstenberger,
Tomasz Szydlo,
Jürgen Müller,
Torsten Hoefler
Abstract:
Recent advances in graph databases (GDBs) have been driving interest in large-scale analytics, yet current systems fail to support higher-order (HO) interactions beyond first-order (one-hop) relations, which are crucial for tasks such as subgraph counting, polyadic modeling, and HO graph learning. We address this by introducing a new class of systems, higher-order graph databases (HO-GDBs) that us…
▽ More
Recent advances in graph databases (GDBs) have been driving interest in large-scale analytics, yet current systems fail to support higher-order (HO) interactions beyond first-order (one-hop) relations, which are crucial for tasks such as subgraph counting, polyadic modeling, and HO graph learning. We address this by introducing a new class of systems, higher-order graph databases (HO-GDBs) that use lifting and lowering paradigms to seamlessly extend traditional GDBs with HO. We provide a theoretical analysis of OLTP and OLAP queries, ensuring correctness, scalability, and ACID compliance. We implement a lightweight, modular, and parallelizable HO-GDB prototype that offers native support for hypergraphs, node-tuples, subgraphs, and other HO structures under a unified API. The prototype scales to large HO OLTP & OLAP workloads and shows how HO improves analytical tasks, for example enhancing accuracy of graph neural networks within a GDB by 44%. Our work ensures low latency and high query throughput, and generalizes both ACID-compliant and eventually consistent systems.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Electromagnetic and Centrifugal Effects on Plasma Acceleration in the Magnetic Nozzle
Authors:
A. I. Smolyakov,
A. Sabo,
S. I. Krasheninnikov,
P. N. Yushmanov
Abstract:
Plasma flow and acceleration in the converging-diverging magnetic field configuration, such as magnetic nozzle in electric propulsion and open magnetic mirrors for fusion applications are considered. This work analyses plasma acceleration in the magnetic nozzle with an emphasis on the electromagnetic effects and centrifugal forces due to plasma rotation. Intrinsic coupling of the azimuthal rotatio…
▽ More
Plasma flow and acceleration in the converging-diverging magnetic field configuration, such as magnetic nozzle in electric propulsion and open magnetic mirrors for fusion applications are considered. This work analyses plasma acceleration in the magnetic nozzle with an emphasis on the electromagnetic effects and centrifugal forces due to plasma rotation. Intrinsic coupling of the azimuthal rotation and azimuthal magnetic field is analyzed, and additional plasma acceleration due to the conversion of the energy of the azimuthal magnetic field and azimuthal rotation is demonstrated. For large expansion in the diverging magnetic field plasma flow velocities may approach and exceed the Alfven velocity. In these regimes, stationary solutions for the transonic and trans-Alfvenic flows have been obtained that demonstrate the existence of the unique regular solution passing through all critical points within the MHD theory, i. e. the points where the plasma flow is equal to the signal velocities of the MHD modes: slow and fast magnetohydrodynamic waves and Alfven wave. The time-dependent initial value simulations show that stationary equilibrium flows are robust and stable, so that time-dependent solutions converge toward stationary solutions.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
The receptron is a nonlinear threshold logic gate with intrinsic multi-dimensional selective capabilities for analog inputs
Authors:
B. Paroli,
F. Borghi,
M. A. C. Potenza,
P. Milani
Abstract:
Threshold logic gates (TLGs) have been proposed as artificial counterparts of biological neurons with classification capabilities based on a linear predictor function combining a set of weights with the feature vector. The linearity of TLGs limits their classification capabilities requiring the use of networks for the accomplishment of complex tasks. A generalization of the TLG model called recept…
▽ More
Threshold logic gates (TLGs) have been proposed as artificial counterparts of biological neurons with classification capabilities based on a linear predictor function combining a set of weights with the feature vector. The linearity of TLGs limits their classification capabilities requiring the use of networks for the accomplishment of complex tasks. A generalization of the TLG model called receptron, characterized by input-dependent weight functions allows for a significant enhancement of classification performances even with the use of a single unit. Here we formally demonstrate that a receptron, characterized by nonlinear input-dependent weight functions, exhibit intrinsic selective activation properties for analog inputs, when the input vector is within cubic domains in a 3D space. The proposed model can be extended to the n-dimensional case for multidimensional applications. Our results suggest that receptron-based networks can represent a new class of devices capable to manage a large number of analog inputs, for edge applications requiring high selectivity and classification capabilities without the burden of complex training.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Scaling Up Unbiased Search-based Symbolic Regression
Authors:
Paul Kahlmeyer,
Joachim Giesen,
Michael Habeck,
Henrik Voigt
Abstract:
In a regression task, a function is learned from labeled data to predict the labels at new data points. The goal is to achieve small prediction errors. In symbolic regression, the goal is more ambitious, namely, to learn an interpretable function that makes small prediction errors. This additional goal largely rules out the standard approach used in regression, that is, reducing the learning probl…
▽ More
In a regression task, a function is learned from labeled data to predict the labels at new data points. The goal is to achieve small prediction errors. In symbolic regression, the goal is more ambitious, namely, to learn an interpretable function that makes small prediction errors. This additional goal largely rules out the standard approach used in regression, that is, reducing the learning problem to learning parameters of an expansion of basis functions by optimization. Instead, symbolic regression methods search for a good solution in a space of symbolic expressions. To cope with the typically vast search space, most symbolic regression methods make implicit, or sometimes even explicit, assumptions about its structure. Here, we argue that the only obvious structure of the search space is that it contains small expressions, that is, expressions that can be decomposed into a few subexpressions. We show that systematically searching spaces of small expressions finds solutions that are more accurate and more robust against noise than those obtained by state-of-the-art symbolic regression methods. In particular, systematic search outperforms state-of-the-art symbolic regressors in terms of its ability to recover the true underlying symbolic expressions on established benchmark data sets.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
Authors:
Mustafa Adam,
David A. Anisi,
Pedro Ribeiro
Abstract:
Autonomous robots deployed in shared human environments, such as agricultural settings, require rigorous safety assurance to meet both functional reliability and regulatory compliance. These systems must operate in dynamic, unstructured environments, interact safely with humans, and respond effectively to a wide range of potential hazards. This paper presents a verification workflow for the safety…
▽ More
Autonomous robots deployed in shared human environments, such as agricultural settings, require rigorous safety assurance to meet both functional reliability and regulatory compliance. These systems must operate in dynamic, unstructured environments, interact safely with humans, and respond effectively to a wide range of potential hazards. This paper presents a verification workflow for the safety assurance of an autonomous agricultural robot, covering the entire development life-cycle, from concept study and design to runtime verification. The outlined methodology begins with a systematic hazard analysis and risk assessment to identify potential risks and derive corresponding safety requirements. A formal model of the safety controller is then developed to capture its behaviour and verify that the controller satisfies the specified safety properties with respect to these requirements. The proposed approach is demonstrated on a field robot operating in an agricultural setting. The results show that the methodology can be effectively used to verify safety-critical properties and facilitate the early identification of design issues, contributing to the development of safer robots and autonomous systems.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Mobile oscillators in a mobile multi-cluster network
Authors:
Venceslas Nguefoue Meli,
Thierry Njougouo,
Steve J. Kongni,
Patrick Louodop,
Hilaire Bertrand Fotsin,
Hilda A. Cerdeira
Abstract:
Different collective behaviors emerging from the unknown have been examined in networks of mobile agents in recent years. Mobile systems, far from being limited to modeling and studying various natural and artificial systems in motion and interaction, offer versatile solutions across various domains, facilitating tasks ranging from navigation and communication to data collection and environmental…
▽ More
Different collective behaviors emerging from the unknown have been examined in networks of mobile agents in recent years. Mobile systems, far from being limited to modeling and studying various natural and artificial systems in motion and interaction, offer versatile solutions across various domains, facilitating tasks ranging from navigation and communication to data collection and environmental monitoring. We examine the relative mobility between clusters, each composed of different elements in a multi-clusters network-a system composed of clusters interconnected to form a larger network of mobile oscillators. Each mobile oscillator exhibits both external (i.e., position in a 2D space) and internal dynamics (i.e., phase oscillations). Studying the mutual influence between external and internal dynamics, often leads the system towards a state of synchronization within and between clusters. We show that synchronization between clusters is affected by their spatial closeness. The stability of complete synchronization observed within the clusters is demonstrated through analytical and numerical methods.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Position: Intelligent Science Laboratory Requires the Integration of Cognitive and Embodied AI
Authors:
Sha Zhang,
Suorong Yang,
Tong Xie,
Xiangyuan Xue,
Zixuan Hu,
Rui Li,
Wenxi Qu,
Zhenfei Yin,
Tianfan Fu,
Di Hu,
Andres M Bran,
Nian Ran,
Bram Hoex,
Wangmeng Zuo,
Philippe Schwaller,
Wanli Ouyang,
Lei Bai,
Yanyong Zhang,
Lingyu Duan,
Shixiang Tang,
Dongzhan Zhou
Abstract:
Scientific discovery has long been constrained by human limitations in expertise, physical capability, and sleep cycles. The recent rise of AI scientists and automated laboratories has accelerated both the cognitive and operational aspects of research. However, key limitations persist: AI systems are often confined to virtual environments, while automated laboratories lack the flexibility and auto…
▽ More
Scientific discovery has long been constrained by human limitations in expertise, physical capability, and sleep cycles. The recent rise of AI scientists and automated laboratories has accelerated both the cognitive and operational aspects of research. However, key limitations persist: AI systems are often confined to virtual environments, while automated laboratories lack the flexibility and autonomy to adaptively test new hypotheses in the physical world. Recent advances in embodied AI, such as generalist robot foundation models, diffusion-based action policies, fine-grained manipulation learning, and sim-to-real transfer, highlight the promise of integrating cognitive and embodied intelligence. This convergence opens the door to closed-loop systems that support iterative, autonomous experimentation and the possibility of serendipitous discovery. In this position paper, we propose the paradigm of Intelligent Science Laboratories (ISLs): a multi-layered, closed-loop framework that deeply integrates cognitive and embodied intelligence. ISLs unify foundation models for scientific reasoning, agent-based workflow orchestration, and embodied agents for robust physical experimentation. We argue that such systems are essential for overcoming the current limitations of scientific discovery and for realizing the full transformative potential of AI-driven science.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Beyond Static Models: Hypernetworks for Adaptive and Generalizable Forecasting in Complex Parametric Dynamical Systems
Authors:
Pantelis R. Vlachas,
Konstantinos Vlachas,
Eleni Chatzi
Abstract:
Dynamical systems play a key role in modeling, forecasting, and decision-making across a wide range of scientific domains. However, variations in system parameters, also referred to as parametric variability, can lead to drastically different model behavior and output, posing challenges for constructing models that generalize across parameter regimes. In this work, we introduce the Parametric Hype…
▽ More
Dynamical systems play a key role in modeling, forecasting, and decision-making across a wide range of scientific domains. However, variations in system parameters, also referred to as parametric variability, can lead to drastically different model behavior and output, posing challenges for constructing models that generalize across parameter regimes. In this work, we introduce the Parametric Hypernetwork for Learning Interpolated Networks (PHLieNet), a framework that simultaneously learns: (a) a global mapping from the parameter space to a nonlinear embedding and (b) a mapping from the inferred embedding to the weights of a dynamics propagation network. The learned embedding serves as a latent representation that modulates a base network, termed the hypernetwork, enabling it to generate the weights of a target network responsible for forecasting the system's state evolution conditioned on the previous time history. By interpolating in the space of models rather than observations, PHLieNet facilitates smooth transitions across parameterized system behaviors, enabling a unified model that captures the dynamic behavior across a broad range of system parameterizations. The performance of the proposed technique is validated in a series of dynamical systems with respect to its ability to extrapolate in time and interpolate and extrapolate in the parameter space, i.e., generalize to dynamics that were unseen during training. In all cases, our approach outperforms or matches state-of-the-art baselines in both short-term forecast accuracy and in capturing long-term dynamical features, such as attractor statistics.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Timelike minimal surface in $\mathbb{E}^3_1$ with arbitrary ends
Authors:
Priyank Vasu,
Rahul Kumar Singh,
Subham Paul
Abstract:
In this paper, we show the existence of a timelike minimal surface with an arbitrary number of weak complete ends. Then, we discuss the asymptotic behaviour of the simple ends and the topology of the singularity set of the constructed timelike minimal surface.
In this paper, we show the existence of a timelike minimal surface with an arbitrary number of weak complete ends. Then, we discuss the asymptotic behaviour of the simple ends and the topology of the singularity set of the constructed timelike minimal surface.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
A primer on the closure of algebraic complexity classes under factoring
Authors:
C. S. Bhargav,
Prateek Dwivedi,
Nitin Saxena
Abstract:
Polynomial factorization is a fundamental problem in computational algebra. Over the past half century, a variety of algorithmic techniques have been developed to tackle different variants of this problem. In parallel, algebraic complexity theory classifies polynomials into complexity classes based on their perceived `hardness'. This raises a natural question: Do these classes afford efficient fac…
▽ More
Polynomial factorization is a fundamental problem in computational algebra. Over the past half century, a variety of algorithmic techniques have been developed to tackle different variants of this problem. In parallel, algebraic complexity theory classifies polynomials into complexity classes based on their perceived `hardness'. This raises a natural question: Do these classes afford efficient factorization?
In this survey, we revisit two pivotal techniques in polynomial factorization: Hensel lifting and Newton iteration. Though they are variants of the same theme, their distinct applications across the literature warrant separate treatment. These techniques have played an important role in resolving key factoring questions in algebraic complexity theory. We examine and organise the known results through the lens of these techniques to highlight their impact. We also discuss their equivalence while reflecting on how their use varies with the context of the problem.
We focus on four prominent complexity classes: circuits of polynomial size ($\text{VP}_{\text{nb}}$), circuits with both polynomial size and degree (VP and its border $\overline{\text{VP}}$), verifier circuits of polynomial size and degree (VNP), and polynomial-size algebraic branching programs (VBP). We also examine more restricted models, such as formulas and bounded-depth circuits. Along the way, we list several open problems that remain unresolved.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Soft Robotic Delivery of Coiled Anchors for Cardiac Interventions
Authors:
Leonardo Zamora Yanez,
Jacob Rogatinsky,
Dominic Recco,
Sang-Yoep Lee,
Grace Matthews,
Andrew P. Sabelhaus,
Tommaso Ranzani
Abstract:
Trans-catheter cardiac intervention has become an increasingly available option for high-risk patients without the complications of open heart surgery. However, current catheterbased platforms suffer from a lack of dexterity, force application, and compliance required to perform complex intracardiac procedures. An exemplary task that would significantly ease minimally invasive intracardiac procedu…
▽ More
Trans-catheter cardiac intervention has become an increasingly available option for high-risk patients without the complications of open heart surgery. However, current catheterbased platforms suffer from a lack of dexterity, force application, and compliance required to perform complex intracardiac procedures. An exemplary task that would significantly ease minimally invasive intracardiac procedures is the implantation of anchor coils, which can be used to fix and implant various devices in the beating heart. We introduce a robotic platform capable of delivering anchor coils. We develop a kineto-statics model of the robotic platform and demonstrate low positional error. We leverage the passive compliance and high force output of the actuator in a multi-anchor delivery procedure against a motile in-vitro simulator with millimeter level accuracy.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Adaptive Domain Modeling with Language Models: A Multi-Agent Approach to Task Planning
Authors:
Harisankar Babu,
Philipp Schillinger,
Tamim Asfour
Abstract:
We introduce TAPAS (Task-based Adaptation and Planning using AgentS), a multi-agent framework that integrates Large Language Models (LLMs) with symbolic planning to solve complex tasks without the need for manually defined environment models. TAPAS employs specialized LLM-based agents that collaboratively generate and adapt domain models, initial states, and goal specifications as needed using str…
▽ More
We introduce TAPAS (Task-based Adaptation and Planning using AgentS), a multi-agent framework that integrates Large Language Models (LLMs) with symbolic planning to solve complex tasks without the need for manually defined environment models. TAPAS employs specialized LLM-based agents that collaboratively generate and adapt domain models, initial states, and goal specifications as needed using structured tool-calling mechanisms. Through this tool-based interaction, downstream agents can request modifications from upstream agents, enabling adaptation to novel attributes and constraints without manual domain redefinition. A ReAct (Reason+Act)-style execution agent, coupled with natural language plan translation, bridges the gap between dynamically generated plans and real-world robot capabilities. TAPAS demonstrates strong performance in benchmark planning domains and in the VirtualHome simulated real-world environment.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Revisiting the blow-up criterion and the maximal existence time for solutions of the parabolic-elliptic Keller-Segel system in 2d-Euclidean space
Authors:
Patrick Maheux,
Vittoria Pierfelice
Abstract:
In this paper, we revisit the blow-up criteria for the simplest parabolic-elliptic (PKS) system in the 2D Euclidean space, including a consumption term. In the supercritical mass case M > 8pi, and under an additional global assumption on the second moment (or variance) of the initial data, we establish blow-up results for a broader class of initial conditions than those traditionally considered. W…
▽ More
In this paper, we revisit the blow-up criteria for the simplest parabolic-elliptic (PKS) system in the 2D Euclidean space, including a consumption term. In the supercritical mass case M > 8pi, and under an additional global assumption on the second moment (or variance) of the initial data, we establish blow-up results for a broader class of initial conditions than those traditionally considered. We also derive improved upper bounds for the maximal existence time of (PKS) solutions on the plane. These time estimates are obtained through a sharp analysis of a one-parameter differential inequality governing the evolution of the second moment of the (PKS) system. As a consequence, for any given non-negative (non-zero) initial datum n1 with finite second moment, we construct blow-up solutions of the (PKS) system.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Schwarzschild Black Holes Immersed in Born-Infeld Magnetic Fields and Their Observational Signatures
Authors:
Yiqian Chen,
Guangzhou Guo,
Benrong Mu,
Peng Wang
Abstract:
We investigate the influence of Born-Infeld (BI) nonlinear electrodynamics on magnetic field configurations, photon orbits, and black hole shadows for Schwarzschild black holes immersed in magnetic fields. Assuming that the BI magnetic fields are asymptotically uniform and aligned with the polar axis, we solve the nonlinear magnetic field equations numerically using pseudospectral methods. Our ana…
▽ More
We investigate the influence of Born-Infeld (BI) nonlinear electrodynamics on magnetic field configurations, photon orbits, and black hole shadows for Schwarzschild black holes immersed in magnetic fields. Assuming that the BI magnetic fields are asymptotically uniform and aligned with the polar axis, we solve the nonlinear magnetic field equations numerically using pseudospectral methods. Our analysis shows that nonlinear electromagnetic effects become prominent near the event horizon, particularly in the polar regions, where the magnetic field strength is significantly enhanced. This enhancement leads to closed photon orbits on the meridional plane becoming prolate, with noticeable stretching along the polar axis. Simulations of black hole images reveal that, at high observer inclinations, the shadow, which is circular in the Maxwell limit, becomes increasingly elongated along the polar direction as the nonlinear effects increase.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Towards an Introspective Dynamic Model of Globally Distributed Computing Infrastructures
Authors:
Ozgur O. Kilic,
David K. Park,
Yihui Ren,
Tatiana Korchuganova,
Sairam Sri Vatsavai,
Joseph Boudreau,
Tasnuva Chowdhury,
Shengyu Feng,
Raees Khan,
Jaehyung Kim,
Scott Klasky,
Tadashi Maeno,
Paul Nilsson,
Verena Ingrid Martinez Outschoorn,
Norbert Podhorszki,
Frédéric Suter,
Wei Yang,
Yiming Yang,
Shinjae Yoo,
Alexei Klimentov,
Adolfy Hoisie
Abstract:
Large-scale scientific collaborations like ATLAS, Belle II, CMS, DUNE, and others involve hundreds of research institutes and thousands of researchers spread across the globe. These experiments generate petabytes of data, with volumes soon expected to reach exabytes. Consequently, there is a growing need for computation, including structured data processing from raw data to consumer-ready derived…
▽ More
Large-scale scientific collaborations like ATLAS, Belle II, CMS, DUNE, and others involve hundreds of research institutes and thousands of researchers spread across the globe. These experiments generate petabytes of data, with volumes soon expected to reach exabytes. Consequently, there is a growing need for computation, including structured data processing from raw data to consumer-ready derived data, extensive Monte Carlo simulation campaigns, and a wide range of end-user analysis. To manage these computational and storage demands, centralized workflow and data management systems are implemented. However, decisions regarding data placement and payload allocation are often made disjointly and via heuristic means. A significant obstacle in adopting more effective heuristic or AI-driven solutions is the absence of a quick and reliable introspective dynamic model to evaluate and refine alternative approaches. In this study, we aim to develop such an interactive system using real-world data. By examining job execution records from the PanDA workflow management system, we have pinpointed key performance indicators such as queuing time, error rate, and the extent of remote data access. The dataset includes five months of activity. Additionally, we are creating a generative AI model to simulate time series of payloads, which incorporate visible features like category, event count, and submitting group, as well as hidden features like the total computational load-derived from existing PanDA records and computing site capabilities. These hidden features, which are not visible to job allocators, whether heuristic or AI-driven, influence factors such as queuing times and data movement.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Bayesian community detection in assortative stochastic block model with unknown number of communities
Authors:
Martina Amongero,
Pierpaolo De Blasi
Abstract:
Structured data in the form of networks is increasingly common in a number of fields, including social sciences, biology, physics, computer science, and many others. A key task in network analysis is community detection, which typically consists of dividing the nodes into groups such that nodes within a group are strongly connected, while connections between groups are relatively scarcer. A genera…
▽ More
Structured data in the form of networks is increasingly common in a number of fields, including social sciences, biology, physics, computer science, and many others. A key task in network analysis is community detection, which typically consists of dividing the nodes into groups such that nodes within a group are strongly connected, while connections between groups are relatively scarcer. A generative model well-suited for the formation of such communities is the assortative stochastic block model, which prescribes a higher probability of a connection between nodes belonging to the same block rather than to different blocks. A recent line of work has utilized Bayesian nonparametric methods to recover communities in the SBM by placing a prior distribution on the number of blocks and estimating block assignments via collapsed Gibbs samplers. However, efficiently incorporating the assortativity constraint through the prior remains an open problem. In this work, we address this gap, aiming to study the effect of enforcing assortativity on Bayesian community detection and so identify under what scenario it pays its dividends in comparison with standard SBM. We illustrate our findings through an extensive simulation study.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Distributed Quantum Inner Product Estimation with Low-Depth Circuits
Authors:
Congcong Zheng,
Kun Wang,
Xutao Yu,
Ping Xu,
Zaichen Zhang
Abstract:
Distributed inner product estimation (DIPE) is a fundamental task in quantum information, aiming to estimate the inner product between two unknown quantum states prepared on distributed quantum platforms. Existing rigorous sample complexity analyses are limited to unitary $4$-designs, which present practical challenges for near-term quantum devices. This work addresses this challenge by exploring…
▽ More
Distributed inner product estimation (DIPE) is a fundamental task in quantum information, aiming to estimate the inner product between two unknown quantum states prepared on distributed quantum platforms. Existing rigorous sample complexity analyses are limited to unitary $4$-designs, which present practical challenges for near-term quantum devices. This work addresses this challenge by exploring DIPE with low-depth quantum circuits. We first establish that DIPE with an arbitrary unitary $2$-design ensemble achieves an average sample complexity of $Θ(\sqrt{2^n})$, where $n$ is the number of qubits. We then analyze ensembles below unitary $2$-designs -- specifically, the brickwork and local unitary $2$-design ensembles -- showing average sample complexities of $O(\sqrt{2.18^n})$ and $O(\sqrt{2.5^n})$, respectively. Furthermore, we analyze the state-dependent variance for the brickwork and Clifford ensembles. Remarkably, we find that DIPE with the global Clifford ensemble requires $Θ(\sqrt{2^n})$ copies for arbitrary state pairs, with its efficiency further enhanced by the nonstabilizerness of the state pairs. Numerical simulations with GHZ states and Haar random states up to $26$ qubits show that low-depth circuit ensembles can match the performance of unitary $4$-designs in practice. Our findings offer theoretically guaranteed methods for implementing DIPE with experimentally feasible unitary ensembles.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
FAF: A Feature-Adaptive Framework for Few-Shot Time Series Forecasting
Authors:
Pengpeng Ouyang,
Dong Chen,
Tong Yang,
Shuo Feng,
Zhao Jin,
Mingliang Xu
Abstract:
Multi-task and few-shot time series forecasting tasks are commonly encountered in scenarios such as the launch of new products in different cities. However, traditional time series forecasting methods suffer from insufficient historical data, which stems from a disregard for the generalized and specific features among different tasks. For the aforementioned challenges, we propose the Feature-Adapt…
▽ More
Multi-task and few-shot time series forecasting tasks are commonly encountered in scenarios such as the launch of new products in different cities. However, traditional time series forecasting methods suffer from insufficient historical data, which stems from a disregard for the generalized and specific features among different tasks. For the aforementioned challenges, we propose the Feature-Adaptive Time Series Forecasting Framework (FAF), which consists of three key components: the Generalized Knowledge Module (GKM), the Task-Specific Module (TSM), and the Rank Module (RM). During training phase, the GKM is updated through a meta-learning mechanism that enables the model to extract generalized features across related tasks. Meanwhile, the TSM is trained to capture diverse local dynamics through multiple functional regions, each of which learns specific features from individual tasks. During testing phase, the RM dynamically selects the most relevant functional region from the TSM based on input sequence features, which is then combined with the generalized knowledge learned by the GKM to generate accurate forecasts. This design enables FAF to achieve robust and personalized forecasting even with sparse historical observations We evaluate FAF on five diverse real-world datasets under few-shot time series forecasting settings. Experimental results demonstrate that FAF consistently outperforms baselines that include three categories of time series forecasting methods. In particular, FAF achieves a 41.81\% improvement over the best baseline, iTransformer, on the CO$_2$ emissions dataset.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Euclid: Quick Data Release (Q1) -- Watching ICM-selected galaxy clusters with Euclid eyes -- prospects of Euclid data in the context of large SZ and X-ray based surveys
Authors:
M. Klein,
K. George,
J. J. Mohr,
B. Altieri,
L. Amendola,
S. Andreon,
N. Auricchio,
C. Baccigalupi,
M. Baldi,
A. Balestra,
S. Bardelli,
A. Biviano,
E. Branchini,
M. Brescia,
S. Camera,
G. Cañas-Herrera,
V. Capobianco,
C. Carbone,
J. Carretero,
S. Casas,
M. Castellano,
G. Castignani,
S. Cavuoti,
K. C. Chambers,
A. Cimatti
, et al. (122 additional authors not shown)
Abstract:
Galaxy clusters detected through their X-ray emission or Sunyaev--Zeldovich effect (SZE), both produced by the intra-cluster medium (ICM), are key probes in cosmological and astrophysical studies. To maximise the scientific return of such surveys, complementary data are required for cluster confirmation and redshift estimation. This is typically provided by wide-field optical and infrared surveys,…
▽ More
Galaxy clusters detected through their X-ray emission or Sunyaev--Zeldovich effect (SZE), both produced by the intra-cluster medium (ICM), are key probes in cosmological and astrophysical studies. To maximise the scientific return of such surveys, complementary data are required for cluster confirmation and redshift estimation. This is typically provided by wide-field optical and infrared surveys, which are increasingly challenged by ongoing and future ICM-selected samples. In particular, at high redshifts ($z>1$) probed by upcoming SZE-selected samples, current large surveys may be insufficient for reliable confirmation. Deep, high-resolution infrared surveys like Euclid will thus be essential for confirming most high-redshift clusters. We present an analysis of the first sizeable Euclid dataset (Q1), overlapping with several ICM-selected cluster samples. We apply an adaptation of the MCMF cluster confirmation tool to estimate key properties, including redshift and richness, and to predict Euclid's capabilities for high-redshift cluster confirmation. We find promising performance, particularly at high redshifts, while richness estimates at low redshifts ($z<0.4$) are currently limited by Q1 data quality but should improve with future releases. Using MCMF runs on random lines of sight, we predict that Euclid will confirm clusters at $1<z<2$ as effectively as current optical surveys at $z<0.6$, significantly enhancing high-redshift confirmation. SZE-selected samples will thus greatly benefit from Euclid overlap. Among five known high-$z$ SZE clusters in Q1, we identify the highest-redshift jellyfish galaxy candidate to date, EUCLJ035330.86$-$504347.6 in SPT-CLJ0353$-$5043 ($z=1.32$), two massive star-forming galaxies near ACT-CLJ0350.0$-$4819 ($z=1.46$), and strong lensing features in SPT-CLJ0353$-$5043 and SPT-CLJ0421$-$4845.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Probing the electromagnetic dipole moment of the $τ$ lepton in the $e^+e^- \to γ^*/Z \to τ^+ τ^-$ reaction
Authors:
Peng-Cheng Lu,
Zong-Guo Si,
Han Zhang
Abstract:
High-precision measurements of the lepton's electromagnetic dipole moments provide a powerful probe for testing the Standard Model. A non-zero value of the $τ$ lepton's electric(weak) dipole moment ($d_τ^γ$, $d_τ^{Z}$) would serve as a smoking gun of the new physics. On the one hand, current and future high energy colliders offer an ideal environment for such measurements. On the other hand, it is…
▽ More
High-precision measurements of the lepton's electromagnetic dipole moments provide a powerful probe for testing the Standard Model. A non-zero value of the $τ$ lepton's electric(weak) dipole moment ($d_τ^γ$, $d_τ^{Z}$) would serve as a smoking gun of the new physics. On the one hand, current and future high energy colliders offer an ideal environment for such measurements. On the other hand, it is essential to investigate the optimal measurement method for extracting not only $d_τ^γ$ and $d_τ^{Z}$, but also the anomalous magnetic dipole moment ($a_τ$). In this work, we analyze the precision of observables, particularly optimal observables, for determining these physics quantities through the process $e^+e^- \to γ^*/Z \to τ^+ τ^-$ with $τ$ leptons undergoing (semi-)leptonic and hadronic decays at the centre-of-mass energies at the Z pole mass and significantly below $m_Z$. By considering the full kinematic information of the decay products, we find that the sensitivities to Im$d_τ$ and Re$d_τ$ can reach $10^{-21}$ $ecm$ at CEPC $\sqrt s = m_Z$, compared to $10^{-20}$ $ecm$ at Belle-II $Υ(4S)$ resonance and $10^{-17}$ $ecm$ at BEPCII $ψ(2S)$ resonance. For $a_τ$, we find that Im$a_τ$ and Re$a_τ$ with a precision of $10^{-5}$ at Belle-II $\sqrt s=10.58$ GeV can be attained.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.