SEARCH · arXiv Science
Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Theoretical studies of hadron structure have made important progress since the previous DIS workshop in 2025. This talk reviews selected new results and developments, with a focus on spin dependent parton distributions, on transverse-momentum distributions and their rapidity dependence, on generalised parton distributions, and on the evaluation of power corrections.
We investigate the minimal width of deep neural networks that can approximate all continuous functions from $\mathbb{R}^n$ to $\mathbb{R}^m$ in the topology of uniform convergence on compact subsets. We show that whenever the real projective space $\mathbb{RP}^{n-1}$ admits a smooth immersion into $\mathbb{R}^n$, the minimal width is at least $n+\min\{n,m\}$, assuming that the activation function is continuous and monotone. As a consequence, the minimal width of ReLU networks is $n+m$ whenever $n$ is equal to 2, 3, 4, 7 or 8 and $1\le m \le n$, extending results of Hanin-Sellke and Hwang. This suggests an intriguing connection between the approximation theory of neural networks and differential topology.
Forthcoming cosmic microwave background (CMB) experiments are targeting ambitious science goals, including the exploration of the particle content of the Universe across cosmic times and the search for the faint signal from primordial gravitational waves. To pursue these goals, CMB experiments will house an unprecedented high number of detectors that will dramatically enhance their sensitivity. This will in turn require a tight control of instrumental systematics, demanding efficient and precise simulation of systematic effects. Leveraging spin-mapmaking, we present a map-based method to propagate beam convolution systematics to the map-level, especially well-suited for main-beam studies. From the scanning strategy information compressed into precomputed h-maps and the beam and sky harmonic coefficients, our method directly outputs beam convolved maps. We validate against pixel-centered TOD-level 4π convolution for circular, elliptical, and Planck HFI scanning beams, demonstrating that our method retains agreement to numerical precision, while operating in map space. This formalism enables efficient simulation of beam convolution systematics across the full focal plane of upcoming experiments. As a first practical application, we demonstrate the ability to efficiently produce beam-convolved simulated Planck maps, showing excellent agreement with the QuickPol pipeline at the power-spectrum level. We release a public code, Smarties4Planck, to easily generate such maps for broader use.
We classify, up to equivalence, all left-invariant complex structures on the three-dimensional Euclidean rigid motion group $SE(3).$ Our approach is based on the correspondence between complex structures on a real Lie algebra $\mathfrak{e}(3)$ of the motion group and complex Lie subalgebras of the complexification of $\mathfrak{e}(3).$ The resulting structures form a one-parameter family $J_ϕ.$ We further establish a connection with the classical Calabi-Eckmann complex structures on $S^3\times S^3.$ More precisely, we construct a one-parameter deformation of Lie brackets connecting $\mathfrak{so}(3)\oplus \mathfrak{so}(3)$ to $\mathfrak{e}(3),$ for which each endomorphism $J_ϕ$ remains integrable. Consequently, every left-invariant complex structure on $SE(3)$ arises as a contraction limit of Calabi-Eckmann structures. The same family of endomorphisms also defines complex structures on $\mathfrak{so}(3,1).$
Spatial reception under directed molecule transport requires balancing useful molecule capture against intersymbol interference (ISI). To characterize this balance, we study a fully absorbing spherical receiver that counts absorption events only within a prescribed cap. Using the known joint first-hitting law under aligned drift, we derive exact cap impulse, cumulative, and eventual responses. We perform stable cumulative evaluation. We then assess the derived responses through particle simulations and time-step comparisons, and demonstrate that our conditional-timing analysis explains when opposite drifts of equal magnitude can favor the same wider aperture. We also show that for the studied geometry and a symbol duration of $0.15$ s, the aperture that maximizes the signal-to-interference difference (SID) increases from $29.13^\circ$ at zero drift to $61.86^\circ$ at a drift magnitude of $40$ $μ$m/s. These results (i) connect joint arrival-time and location statistics to spatial reception design, (ii) characterize the tradeoff between useful molecule capture and ISI, (iii) support SID-based aperture selection for a given drift and symbol duration, and (iv) quantify the SID loss incurred by retaining the zero-drift optimal aperture for the same symbol duration.
We introduce the parity module of a matroid with coefficients in a field $\mathbb{k}$. When $\mathbb{k}$ has characteristic zero, we show that the parity module of a matroid is isomorphic to its intersection cohomology module, yielding a new intrinsic characterization of the latter. The structure and dimension of the parity module can vary depending on the characteristic, giving rise to characteristic-dependent generalizations of the Kazhdan-Lusztig and Z-polynomials of matroids. When the matroid is realizable over the complex numbers, the parity module is isomorphic to the hypercohomology of the parity sheaf supported on the arrangement Schubert variety of any such realization. We also introduce the notion of pure modules over any field $\mathbb{k}$ and show that they satisfy a matroid analogue of the Beilinson-Bernstein-Deligne-Gabber decomposition theorem: Every pure module over the graded Möbius algebra decomposes as a direct sum of shifts of the parity modules of matroids obtained by restricting to flats.
The University of Notre Dame is home to a rich history of nuclear science efforts, including some of the earliest developments in the production and creation of radioactive ion beams (RIBs). The resulting TwinSol facility stands as the longest continuously-operating RIB facility in the United States, and has enabled a wide range of experimental efforts in nuclear structure, astrophysics and fundamental symmetries through in-flight RIBs one to two nucleons from stability. A recent upgrade to TwinSol via a third solenoid constituted the founding of the TriSol facility, which provides cleaner, better-focused RIBs to downstream experiments. In this paper, we present a summary of RIB science at the Nuclear Science Laboratory (NSL) with both TwinSol and TriSol and discuss recent upgrades and future experimental plans at the facilities.
Strong optical scattering limits the depth at which light can be focused and used for imaging in biological tissue. Photoacoustic (PA)-guided wavefront shaping enables non-invasive light focusing in scattering media, but most existing implementations require optical and acoustic access from opposite sides of the sample and a rigidly aligned free-space optical path, which have confined these demonstrations to thin or static samples. Here, we combine a real-valued intensity transmission matrix (RVITM) algorithm with a photoacoustic guidestar (PA-RVITM) in a reflection-mode configuration. Modulated light is delivered through a flexible multimode fiber passing through the central aperture of a focused ultrasound transducer, enabling optical illumination and acoustic detection from the same side of the sample without a free-space combiner. Fiber integration preserved the wavefront shaping performance, and the reflection-mode PA-RVITM system achieved sub-second wavefront optimization with a ~14-fold PA signal enhancement through a diffuser. In ex vivo chicken breast tissue, the enhancement decreased with tissue thickness, reaching ~3.5 through a 2-mm chicken breast layer, with a speckle decorrelation time of ~450 ms. By performing an independent RVITM optimization at each scan position, our system enabled photoacoustic microscopy of a black nylon wire through the same layer, reducing the imaged line width from ~141 μm to ~102 μm, close to the nominal diameter of ~100 μm. This work advances PA-guided wavefront shaping toward a compact, same-side implementation for future biomedical therapeutic and imaging applications.
Graph Neural Networks (GNNs) excel on graph-structured data but suffer catastrophic forgetting when classes arrive sequentially. In class-incremental graph learning, predictions are often dominated by recently learned classes, causing severe recency bias. Dynamic expansion can isolate knowledge across sessions, but many methods assume task-incremental settings and require task identities at test time to select branches or heads---information unavailable in class-incremental learning. Learnable routers offer an alternative, yet continual fine-tuning the router on new data can bias routing toward recent components. We propose MAEM, a replay-free, capacity-controlled dynamic mixture-of-experts framework for class-incremental graph learning. MAEM builds representations with Simplified Graph Convolution (SGC) and trains a dedicated expert for each new session, then freezes it to protect prior knowledge. For routing without task IDs or a shared trainable router, each expert uses a masked autoencoder (MAE); test nodes are assigned to the expert with the lowest reconstruction error, reducing routing-level recency bias. When the expert pool reaches a fixed capacity, MAEM merges the least-used experts via Git Re-Basin alignment and further distills them into a fused expert using topology-aware pseudo data synthesized from MAE distributions (DeepInversion-style), without storing or revisiting historical graph data. On four class-incremental graph benchmarks, MAEM mitigates recency bias, outperforms strong continual graph learning baselines, and keeps model capacity bounded under strict replay-free learning.
We prove that the integral cycle class map for $\SP^d(\PP^n)$ is split injective, with finite cokernel annihilated by $d!$,and we determine the ranks of Chow groups for $\mathrm{SP}^d(\mathbb{P}^n)$. Compatible integral transfer retractions show that $\CH_q(\SP^d(\PP^n))$ stabilizes for $d\geq q$. An explicit nonalgebraic order two class persists under addition of points, producing a split cokernel summand even in the range $q\leq d$ and in the infinite symmetric product. For the smooth configuration open set, we identify the codimension two cokernel with third unramified cohomology and detect its ramification on a rational resolution. In contrast to addition, even multiplicities annihilate a nonzero Chow class.
A multiplayer world model must predict how the independent actions of several players change a shared environment, including changes outside a player's current field of view. A point-of-view (POV) video captures such changes only after they enter its field of view, whereas panoramic video records the surroundings in every viewing direction and has served as an intermediate representation of the world state in recent world models. Learning this task therefore requires synchronized POV and panoramic videos of interacting players together with their actions, yet no existing dataset provides this combination in Minecraft, an established testbed in which players act independently in a shared, modifiable 3D world. We present PAWA, a dataset and framework for action-conditioned panoramic multiplayer world modeling. The dataset pairs each player's POV video with world-stabilized panoramic video and aligned actions. Its distributed pipeline decouples CPU gameplay capture from GPU rendering, scales beyond 64 simultaneous players, and re-renders each recorded session under new observation configurations without replaying the gameplay. On this dataset, we develop a dual-tower model that jointly predicts POV and panoramic video and couples the two streams through cross-attention that aligns tokens observing the same direction in a shared world frame. We further introduce a quadratic-phase player encoding that provides many more player codes than existing rotary codes at the same embedding dimension. Experiments show that PAWA outperforms state-of-the-art multiplayer world models in POV prediction quality while also producing high-fidelity panoramic predictions. The dataset and collection pipeline are open source to support further research on multiplayer world models.
Offline navigation demonstrations are multimodal, because one observation often allows several valid actions, such as passing an obstacle on either side. Behavior cloning averages these actions, potentially leading to unsafe routes. Multimodal policies must discover the alternatives from the data, but similar states can lead to different routes whose current actions overlap. In navigation, the alternatives have a geometric cause and can be computed from one observation. We propose a hierarchical neural-network policy that computes candidate modes from local geometry and learns from demonstrations which mode to follow and how. A high-level policy selects a mode using the goal and its previous choice among a set of candidate modes, and a low-level policy turns it into an action. In simulation, the policy succeeds in over 95\% of seen and unseen test cases, compared with at most 43\% and 20\% for four offline learning baselines and 79\% and 67\% for a heuristic that uses the same modes without learning. The simulation-trained policy also transfers to a LimX Tron 1 bipedal robot.
An old conjecture dating back at least to Hildebrand's work in 1989, asserts that the Möbius function exhibits cancellation on shifted primes; that is, $$\sum_{p\le x}μ(p+2)=o(π(x)),\quad \text{or equivalently}\quad \sum_{n\le x}Λ(n)μ(n+2)=o(x).$$ This is also a well-known model case for the parity problem in sieve theory. In this paper, we prove this conjecture. As an application, we show that each of the two sets $\{p:\, μ(p+2)=1\}$ and $\{p:\, μ(p+2)=-1\}$ has asymptotic density $1/2$ among the primes $p$ with $μ^2(p+2)=1$: \begin{equation*} \lim_{x\to\infty} \frac{\#\{p\le x:\ μ(p+2)=κ\}} {\#\{p\le x:\ μ^2(p+2)=1\}} =\frac12, \quad κ\in\{-1,\,1\}. \end{equation*}
Anomaly detection is a fundamental task for time-series analytics, with important implications for the downstream performance of many applications. Despite the large number of anomaly detection methods proposed in the literature, recent benchmark studies have shown that no single detector performs best across highly heterogeneous time series. Therefore, a practical and scalable solution is to develop a model-selection method that, for a given time series, selects the anomaly detector most likely to perform well. Nevertheless, the model selection approaches proposed in the literature suffer from a significant drop in accuracy when applied in Out-of-Distribution (OOD) settings. In this paper, we tackle the aforementioned limitation and propose RAMSAD, a retrieval-based framework for model selection in time-series anomaly detection. Given a new time series, our method queries a knowledge base of previously observed instances, retrieves the top-k most similar series, and transfers detector recommendations from their performance profiles. The framework can operate with standard similarity measures as well as embedding-based representations. Our results show that RAMSAD outperforms existing baselines in In-Distribution (ID) settings and is the most robust selector in OOD, where, when selecting a small subset of detectors, it matches or exceeds ensembles that run the entire detector pool, at a fraction of their cost. Overall, we demonstrate that similarity-based retrieval constitutes a strong and efficient foundation for model selection in time-series anomaly detection.
We study multi-robot motion planning in a polygonal environment with polygonal robots. The setting of the problem consists of a polygonal domain $\mathcal{W}$ with $n$ vertices and $k$ robots $R_1,\dots,R_k$ translating in $\mathcal{W}$ each of which is represented by a polygon of constant complexity. Given a source configuration $\mathbf{s}$ and a target configuration $\mathbf{t}$ of the robots in $\mathcal{W}$, the goal of the problem is to find a collision-free motion plan from $\mathbf{s}$ to $\mathbf{t}$ that is shortest with respect to some cost function. We present the first fully polynomial-time approximation schemes (FPTAS) for motion planning with any fixed number $k$ of robots, under the min-sum objective, the min-max objective, and the min-makespan objective. Here, the min-sum variant aims to minimize the total traveling distance of all robots, the min-max variant aims to minimize the maximum traveling distance of a single robot, and the min-makespan variant aims to minimize the total time cost under the assumption that all robots move with a maximum speed $1$. The algorithm directly generalizes to the problem in any fixed dimension $d$, with a polytope environment and polytope robots. Our result settles an open question of Agarwal, Halperin, Sharir, Steiger [SODA'24] and Agarwal, Holmgren, Steiger [SODA'26], who gave an FPTAS for $k=2$ unit-square robots and a bicriteria-approximation algorithm for a fixed number $k$ of unit-square or unit-disk robots, respectively. Compared to the previous results, our algorithm is substantially simpler.
Large language models are increasingly deployed as autonomous agents for automated program repair, patching software vulnerabilities through multi-step reasoning and tool use. Yet these systems typically validate a patch against the same evidence used to construct it -- a static alert, sanitizer trace, published exploit, or test suite. A patch that blocks that one piece of evidence can therefore look successful while remaining vulnerable to the same vulnerability with some variation. We present P2Patch, a generative adversarial repair system that treats each patch as a new attack target. Starting from a normalized vulnerability finding, an exploitation agent constructs a reproducing proof of vulnerability (PoV), a patching agent repairs the program, and the exploitation agent then attacks the patched program for a distinct same-vulnerability exploit. Every successful exploit becomes a permanent repair requirement, and the final patch must block all PoVs accumulated during the patching process, with construction-time PoVs kept strictly separate from held-out evaluation oracles. Across 101 C/C++ and Java CVE subjects, this adversarial loop surfaces a distinct confirmed exploit in 41% of runs after the patch has already blocked its original construction-time PoV. Against single-pass repair from the same finding using Claude Code, P2Patch raises held-out fix-closed coverage from 78.1% to 84.7% and beyond-upstream coverage from 42.1% to 62.5%. Under the same held-out oracles, it also certifies more attack paths as blocked than recent state-of-the-art agentic repair systems on overlapping subjects. These results show that adversarial testing and independent security oracles expose repair gaps that one-shot validation misses.
Although the open-source Opus audio codec is widely used for digital audio streaming, its perceptual transparency threshold for high-bitrate music compression remains insufficiently evaluated. To establish this threshold, this study evaluates Opus across a two-phase ITU-R BS.1116-3 double-blind framework, analyzing Difference Grades using a Linear Mixed-Effects Model (LMM) and Two One-Sided Tests (TOST) for statistical equivalence. In a first phase with 21 qualified listeners and 23 music excerpts, 128 kbps achieves statistical in-distinguishability ($p = 0.456$) but narrowly fails strict equivalence to the uncompressed reference ($p = 0.064$). In Phase 2, Best Linear Unbiased Predictors (BLUPs) isolate the 10 most critical listeners and 8 most challenging samples for a stress-test. Under these worst-case conditions, 128 kbps is conclusively detected as degraded ($p = 0.030$), whereas 160 kbps successfully reaches perceptual transparency ($p = 0.747$) and strict statistical equivalence ($p = 0.024$). The study concludes that 160 kbps demonstrates perceptual transparency to uncompressed CD quality in critical listening environments. For reproducibility, we publicly release results for both phases, anonymized subject background info and sample characteristics.
Multilingual models share capacity across languages, so adding languages can hurt performance on existing ones. Mixture-of-experts models expand this capacity with little additional per-token computation. Given this extra capacity, does adding experts reduce what each additional language costs? To answer this question, we propose a repetition-aware joint scaling law relating number of active parameters, training tokens per language, number of experts, and language coverage. Fitted on 26,300 per-language loss observations from 64 pretrained configurations, our law reduces prediction error on held-out configurations by 28% relative to the strongest evaluated baseline. At matched number of active parameters and training tokens per language, 32 experts reduce the loss penalty of expanding from 12 to 200 languages by 83% compared with a dense model. Our law further shows that broader language coverage favors more experts across a wider range of compute budgets, guiding capacity allocation as multilingual models scale.