arXiv preprints from January 1, 2026 through September 25, 2026 — 03:48:40 EST
Fromager and Lasorne [Electron. Struct. 6 025002 (2024)] have recently derived an in-principle exact Kohn-Sham density functional theory (KS-DFT) of electrons and nuclei, where the nuclear density and the (so-called conditional) electronic density are mapped onto a fictitious electronically non-interacting KS molecule. In this work,...
PHP's dominance in web development is undermined by security challenges: static analysis lacks semantic depth, causing high false positives; dynamic analysis is computationally expensive; and automated vulnerability localization suffers from coarse granularity and imprecise context. Additionally, the absence of large-scale PHP...
In large-scale Bayesian inverse problems, it is often necessary to apply approximate forward models to reduce the cost of forward model evaluations, while controlling approximation quality. In the context of Bayesian inverse problems with linear forward models, Gaussian priors, and Gaussian noise, we use perturbation theory for...
The Schur multiple zeta function was defined as a multivariable function by Nakasuji-Phuksuwan-Yamasaki. Inspired by the product formula of Schur functions, the products of Schur multiple zeta functions have been studied. While the product of two Schur functions expands as a linear combination of Schur functions, it is known that a...
Large reasoning models enhanced by reinforcement learning with verifiable rewards have achieved significant performance gains by extending their chain-of-thought. However, this paradigm incurs substantial deployment costs as models often exhibit excessive verbosity on simple queries. Existing efficient reasoning methods relying on...
The paper is concerned with a nonlinear system of two coupled fractional Schrödinger equations with both attractive intraspecies and attractive interspecies interactions in $\mathbb{R}$. By analyzing an associated $L^2$-constrained minimization problem, the uniqueness of solutions to this system is proved via the implicit function...
In this paper we investigate the influence of the discretization of PDE constraints on shape and topological derivatives. To this end, we study a tracking-type functional and a two-material Poisson problem in one spatial dimension. We consider the discretization by a standard method and an enriched method. In the standard method we...
Dynamic Spectrum Sharing (DSS) is increasingly promoted as a key element of modern spectrum policy, driven by the rising demand from commercial wireless systems and advances in spectrum access technologies. Passive radio sciences, including radio astronomy, Earth remote sensing, and meteorology, operate under fundamentally different...
Starting from the following multidimensional integrable generalizations of the heavy rigid body systems: the Euler top, the Lagrange top, the Lagrange bitop, and the totally symmetric case, we add to each of them a gyroscope. For each of the newly constructed systems, we provide a polynomial matrix Lax representation and prove...
We introduce online action-stacking, an inference-time wrapper for reinforcement learning policies that produces realistic air traffic control commands while allowing training on a much smaller discrete action space. Policies are trained with simple incremental heading or level adjustments, together with an action-damping penalty that...
Accurately modeling quantum dissipative dynamics remains challenging due to environmental complexity and non-Markovian memory effects. Although machine learning provides a promising alternative to conventional simulation techniques, most existing models employ real-valued neural networks (RVNNs) that inherently mismatch the...
In this paper, we investigate how external photo-evaporation influences the formation, dynamical evolution and the resultant planetary architecture of multi-planet systems born in stellar clusters. We use a model of N-body simulations of multiple planet formation via pebble accretion coupled with a 1-D viscous disc subject to external...
Objective: Stroke is one of the leading causes of disabilities. One promising approach is to extend the rehabilitation with self-initiated robot-assisted movement therapy. To enable this, it is required to detect the patient's intention to move to trigger the assistance of a robotic device. This intention to move can be detected from...
Scorpius X-1 (Sco X-1) is a neutron star X-ray binary in which the neutron star is accreting rapidly from a low mass stellar companion. At radio frequencies, Sco X-1 is highly luminous and has been observed to have jet ejecta moving at mildly relativistic velocities away from a radio core, which corresponds to the binary position. In...
We report the decisive resolution of the ground state spin and parity of the proton-dripline nucleus $^{22}$Al, a prime candidate for a proton halo. The resolution stems from the first $β$-delayed charged particle emission experiment in the Gas Stopping Area at the Facility for Rare Isotope Beams (FRIB), leveraging high-intensity,...
Escalating air traffic demand is driving the adoption of automation to support air traffic controllers, but existing approaches face a trade-off between safety assurance and interpretability. Optimisation-based methods such as reinforcement learning offer strong performance but are difficult to verify and explain, while rules-based...
Associated to a Lie groupoid, there are two $C^*$-algebras: the full and the reduced one. The associated order $0$ pseudodifferential calculus gives rise to multiplier algebras of both. We prove that both associated corona algebras are equal to the natural (commutative) principal symbol algebras.
Hands are central to interacting with our surroundings and conveying gestures, making their inclusion essential for full-body motion synthesis. Despite this, existing human motion synthesis methods fall short: some ignore hand motions entirely, while others generate full-body motions only for narrowly scoped tasks under highly...
Reliable connectivity is critical for Public Protection and Disaster Relief operations, especially in rural or compromised environments where terrestrial infrastructure is unavailable. In such scenarios, NTNs, and specifically UAVs, are promising candidates to provide on-demand and rapid connectivity on the ground, serving as aerial...
Robust estimation of the covariance matrix and detection of outliers remain major challenges in statistical data analysis, particularly when the proportion of contaminated observations increases with the size of the dataset. Outliers can severely bias parameter estimates and induce a masking effect, whereby some outliers conceal the...
Recent Vision-Language Models (VLMs) have demonstrated significant potential in robotic planning. However, they typically function as semantic reasoners, lacking an intrinsic understanding of the specific robot's physical capabilities. This limitation is particularly critical in interactive navigation, where robots must actively...
Existing 1D visual tokenizers for autoregressive (AR) generation largely follow the design principles of language modeling, as they are built directly upon transformers whose priors originate in language, yielding single-hierarchy latent tokens and treating visual data as flat sequential token streams. However, this language-like...
Every surface that is intrinsically polyhedral can be represented by a portalgon: a collection of polygons in the Euclidean plane with some pairs of equally long edges abstractly identified. While this representation is arguably simpler than meshes (flat polygons in R3 forming a surface), it has unbounded happiness: a shortest path in...
Quantum computing (QC) has the potential to revolutionise the future of scientific simulations. To harness the capabilities that QC offers, we can integrate it into hybrid quantum-classical simulations, which can boost the capabilities of supercomputing by leveraging quantum modules that offer speedups over classical counterparts. One...
We develop a relative boundary theory for actions of discrete groups on compact spaces and use it to derive rigidity results for reduced crossed products. For a discrete group $Γ$ acting on a compact space $X$ and a subgroup $H$, we construct a universal boundary over $X$ which is minimal as a $Γ$-system and strongly proximal with...