arXiv Science⌕ Search

SEARCH · arXiv Science

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.

At least 1,171 records · Page 65Linked to original sources
arXiv2026

Orthomesy and promotion on self-dual posets

We introduce the notion of orthomesy, which is related to homomesy, a central phenomenon in dynamical algebraic combinatorics. An orbit is said to be orthomesic with respect to a statistic if the orbit's average statistic value is equal to the global average. We particularly focus on the action of promotion on increasing labelings of certain fence posets called zig-zag posets, and two statistics, the antipodal sum statistic and the total sum statistic. We classify all of the orthomesic promotion orbits for the zig-zag poset with four elements. Along the way, we investigate how homomesy of one action can be used to find orthomesic orbits for another action, for the same fixed statistic. We prove several general results which can be used to find infinite families of orthomesic orbits for any self-dual poset that has an order-reversing involution.

math.CO↗
arXiv2026

Entropy stable finite difference methods via entropy correction artificial viscosity and knapsack limiting

Entropy stable methods have become increasingly popular in the field of computational fluid dynamics. They often work by satisfying some form of a discrete entropy inequality: a discrete form of the 2nd law of thermodynamics. Schemes which satisfy a (semi-)discrete entropy inequality typically behave much more robustly, and do so in a way that is hyperparameter free. Recently, a new strategy was introduced to construct entropy stable discontinuous Galerkin methods: knapsack limiting, which blends together a low order, positivity preserving, and entropy stable scheme with a high order accurate scheme, in order to produce a high order accurate, entropy stable, and positivity preserving scheme. Another recent strategy introduces an entropy correction artificial viscosity into a high order scheme, aiming to satisfy a cell entropy inequality. In this work, we introduce the techniques of knapsack limiting and artificial viscosity for finite difference discretizations. The proposed schemes preserve high order accuracy in sufficiently smooth conditions, are entropy stable, and are hyperparameter free. Moreover, the proposed knapsack limiting scheme provably preserves positivity for the compressible Euler and Navier-Stokes equations. Both schemes achieve this goal without significant performance tradeoffs compared to state of the art stabilized schemes.

math.NA↗
arXiv2026

A Financial Brain Scan of the LLM

We use sparse autoencoders (SAEs) to "brain scan" large language models, mapping internal activations to interpretable concepts and enabling targeted "steering" of specific features. We show that prompting models to adopt specific preferences activates many unintended concepts, complicating causal inference. In contrast, SAEs permit smooth, more isolated steering of target concepts. Furthermore, our scans reveal a stark disconnect between the model's internal feature contributions and its self-generated explanations, showing that these explanations are unreliable guides to its reasoning. Finally, SAEs provide a lightweight intervention for existing models, producing interpretable embeddings and allowing researchers to attenuate specific economic biases.

q-fin.GN↗
arXiv2026

Power Grid Control with Graph-Based Distributed Reinforcement Learning

The necessary integration of renewable energy sources, combined with the expanding scale of power networks, presents significant challenges in controlling modern power grids. Traditional control systems, which are human and optimization-based, struggle to adapt and to scale in such an evolving context, motivating the exploration of more dynamic and distributed control strategies. This work advances a graph-based distributed reinforcement learning framework for real-time, scalable grid management. The proposed architecture consists of a network of distributed low-level agents acting on individual power lines and coordinated by a high-level manager agent. A Graph Neural Network (GNN) is employed to encode the network's topological information within the single low-level agent's observation. To accelerate convergence and enhance learning stability, the framework integrates imitation learning and potential-based reward shaping. In contrast to conventional decentralized approaches that decompose only the action space while relying on global observations, this method also decomposes the observation space. Each low-level agent acts based on a structured and informative local view of the environment constructed through the GNN. Experiments on the Grid2Op simulation environment show the effectiveness of the approach, which consistently outperforms the standard baseline commonly adopted in the field. Additionally, the proposed model proves to be much more computationally efficient than the simulation-based Expert method.

cs.LG↗
arXiv2026

Combinatorics behind discriminants of polynomial systems

Polymatroids provide a suitable combinatorial framework for enumerating components of discriminants of polynomial systems, a generalization of classical discriminants introduced by Gelfand, Kapranov, and Zelevinsky for multivariate polynomials. We explore the relations among polymatroids, their induced matroids, and principal partitions, following works of Fujishige and Narayanan. We obtain a sufficient condition for a polymatroid contraction to commute with taking the induced matroid. We establish a correspondence between different classes of polymatroids and critical values of their principal partitions. Three new conjectures about discriminants of polynomial systems are formulated.

math.CO↗
arXiv2026

Randomization and ambiguity perception

Ambiguity-averse decision makers typically dislike not only the presence of ambiguous events but also their increase, contrary to what standard ambiguity models predict. We axiomatically study such a decision maker. She avoids ex ante randomization over prospects since it increases the number of relevant ambiguous events without providing a hedge against uncertainty. Our axioms lead to a representation in which the decision maker behaves as if she optimizes her ambiguity perception at a cost. We show the uniqueness of the representation and conduct comparatives of attitudes toward ambiguity and its increase. This identification is not achieved without considering ex ante randomization.

econ.TH↗
arXiv2026

Optimal expansion in unitary groups I: Golden adelic groups and cutoff

In this paper and its companion [DEP2] we construct and study special generating sets for $p$-arithmetic unitary Lie groups, extending the seminal works of Lubotzky, Phillips and Sarnak to higher dimensions. The real embeddings of our sets form optimal topological generators for compact unitary Lie groups, and their $p$-adic embeddings give rise to Cayley graphs and complexes over finite unitary groups, which exhibit the cutoff phenomenon. In the current paper we prove two main results: First, we construct $p$-arithmetic lattices in $PU_4$ and $PU_8$ which act transitively on their corresponding Bruhat-Tits buildings. These groups are used to construct Golden Gate sets on two and three qubits, which have optimal circuit length and efficient compiling algorithms. Second, we study the cutoff phenomenon for quotients of the Bruhat-Tits building of a general semisimple $p$-adic group. We show that cutoff occurs for quotients which satisfy either the Ramanujan property or the weaker Sarnak-Xue Density Hypothesis (SXDH). For this purpose we bound the operator norms of a large class of Hecke operators in terms of the rate of decay of unitary representations. In the companion paper [DEP2], we prove such a SXDH result for unitary groups.

math.NT↗
arXiv2026

Stability and asymptotic behaviour of one-dimensional solutions in cylinders

We consider positive one-dimensional solutions of a Lane-Emden relative Dirichlet problem in a cylinder and study their stability/instability properties as the energy varies with respect to domain perturbations. This depends on the exponent $p >1$ of the nonlinearity and we obtain results for $p$ close to 1 and for $p$ large. This is achieved by a careful asymptotic analysis of the one-dimensional solution as $p \to 1$ or $p \to \infty$, which is of independent interest. It allows to detect the limit profile and other qualitative properties of these solutions.

math.AP↗
arXiv2026

Population-Aligned Persona Generation for LLM-based Social Simulation

Recent advances in large language models (LLMs) have enabled large-scale, high-fidelity social simulations, creating new opportunities for computational social science. However, constructing persona sets that faithfully reflect real-world population diversity remains a key challenge. Existing studies often emphasize agentic frameworks and simulation environments, while paying less attention to persona generation and the biases introduced by unrepresentative persona sets. In this paper, we propose a systematic framework for synthesizing high-quality, population-aligned persona sets for LLM-driven social simulation. Our approach begins by leveraging LLMs to generate narrative personas from long-term social media data, followed by rigorous quality assessment to filter out low-fidelity profiles. We then apply importance sampling to achieve global alignment with reference psychometric distributions, such as the Big Five personality traits. To address the needs of specific simulation contexts, we further introduce a task-specific module that adapts the globally aligned persona set to targeted subpopulations. Extensive experiments demonstrate that our method significantly reduces population-level bias and enables accurate, flexible social simulation for a wide range of research and policy applications.

cs.CL↗
arXiv2026

A Computable Measure of Suboptimality for Entropy-Regularised Variational Objectives

Several methods in statistics and machine learning target a probability distribution for which an entropy-regularised variational objective is minimised. This increased flexibility introduces a computational challenge, as one loses access to an explicit unnormalised density for the target. To mitigate this difficulty, we introduce a novel measure of suboptimality called 'gradient discrepancy', and in particular a kernel gradient discrepancy (KGD) that can be explicitly computed. In the Bayesian statistics context, KGD coincides with the kernel Stein discrepancy (KSD), and we obtain a novel characterisation of KSD as measuring the size of a variational gradient. Outside this familiar setting, KGD enables novel sampling algorithms to be developed and compared, even when unnormalised densities cannot be obtained. To illustrate this point several novel algorithms are proposed and studied, including a natural generalisation of Stein variational gradient descent, with applications to mean-field neural networks and predictively oriented posteriors presented. On the theoretical side, our principal contribution is to establish sufficient conditions for desirable properties of KGD, such as continuity and convergence control.

stat.CO↗
arXiv2026

Heavy repulsion of clusters in Bernoulli percolation

We consider Bernoulli$(p)$ percolation on (non)unimodular quasi-transitive graphs and prove that, almost surely, for any two clusters $C$ and $C'$, the set of vertices in $C$ within distance one of $C'$ is light, i.e.\ it has finite total modular weight. This is a significant step towards resolving a longstanding question of Häggström, Peres, and Schonmann, and a generalization of a theorem of Timár, who proved the same result in the unimodular setting. We present two proofs. The first one is a hyperfiniteness argument that is specific to Bernoulli$(p)$ percolation and is new even in the unimodular case; the second is more general and follows Timár's approach, but requires the development of weighted analogues of several classical unimodular results. The new insight in both proofs is nonhyperfiniteness, which we obtain from the recently developed theory of measure class preserving equivalence relations and graphs. In particular, along the way we establish a generalization of a theorem of Benjamini, Lyons, and Schramm on the existence of an invariant random subgraph with positive weighted Cheeger constant, which is of independent interest.

math.PR↗
arXiv2026

Holomorphicity of parabolic stable minimal surfaces of high codimension

A classical theorem of Micallef says that if $F \colon (Σ, g) \to \mathbb{R}^4$ is a stable minimal immersion of an oriented $2$-dimensional complete Riemannian manifold (that is parabolic) into $\mathbb{R}^4$, it is necessarily holomorphic with respect to some parallel orthogonal complex structure on $\mathbb{R}^4$. We generalize this theorem by replacing $\mathbb{R}^4$ with $\mathbb{R}^{2 + 2k}$ for any codimension $2k$, under the additional hypothesis that the normal bundle $N Σ$ is equipped with a complex structure that is compatible with the induced metric and parallel with respect to the induced connection. This is a necessary assumption for such a theorem to hold (as it is a consequence of the conclusion), and it is automatically satisfied in the classical case $k=1$. We also briefly discuss possible further generalizations of such a result to other calibrations and to Smith maps.

math.DG↗
arXiv2026

Discovering Phase Space Structure in Learned Hamiltonian Systems

Mechanics-inspired neural networks provide physically structured models of dynamical systems, but typically assume access to the coordinates in which the underlying dynamics are expressed. While recent generative approaches relax this assumption, they remain limited in their ability to jointly model different dynamical regimes and discover interpretable latent structure. We introduce Structured Phase Space GAN (SPS-GAN), a conditional generative framework that learns mechanical dynamics and discovers latent phase-space structure from Cartesian trajectories or video observations. We achieve this by combining adversarial generation with port-Hamiltonian latent dynamics and extending cyclic-coordinate regularization to account for dissipation and forcing. This formulation supports conservative, dissipative, and forced systems while encouraging compact latent representations from which active degrees of freedom can be identified. Experiments on simulated and real-world systems demonstrate improved trajectory accuracy and video generation quality over competitive baselines, while identifying active latent dimensions consistent with the expected effective degrees of freedom and recovering physically interpretable coordinates across observation modalities and dynamical regimes.

cs.LG↗
arXiv2026

Observability estimates for the Schrödinger equation on the equilateral triangle

We prove observability estimates for the Schrödinger equation posed on the equilateral triangle in the plane, under both Neumann and Dirichlet boundary conditions. No geometric control condition is required on the rough localization functions that we consider. This is the first result of this kind on a non-toric domain in the compact setting. Our strategy is to exploit Pinsky's tiling argument to deduce this result from observability estimates on rational twisted tori. These are obtained via propagation of singularities, adapting arguments from Burq and Zworski. The later require Strichartz estimates on such twisted rational tori, that we derive from Zygmund inequalities in the same geometric setting, also providing the sharp constant. Strichartz estimates on the equilateral triangle are also derived from this analysis.

math.AP↗
arXiv2026

Hybrid Approach for Enhancing Lesion Segmentation in Fundus Images

Choroidal nevi (CN) are common benign fundus lesions that require longitudinal monitoring because a small fraction transform into melanoma. Accurate delineation at native resolution is challenging: CN typically occupy <2% of the image, boundaries are indistinct, and expert annotations are limited. We propose a hybrid pipeline in which an unmodified UNet trained on 128 * 128 images provides a coarse location prior, while a training-free superpixel method (SLIC) recovers the boundary at the full input resolution. The prior further drives automatic per-image selection of the superpixel count via an image-to-lesion ratio, eliminating manual tuning. On 25 held-out 1024 * 1024 images, the proposed method achieved a mean Dice of 90.9% (IoU 87.9%), outperforming nnU-Net (83.2%), Swin UNet (73.0%), and Attention UNet (60.6%) trained at the same resolution, with all paired differences significant after Holm correction. On 90 external images from a second centre, the advantage persisted (76.8% vs. 69.3% for nnU-Net). Ablation studies identify the automated superpixel count as the key component. Inference needs no GPU, requiring 1.6 s per 1024 * 1024 image and 15 s at 3900 * 3900 on a laptop.

cs.CV↗
arXiv2026

fev-bench: A Realistic Benchmark for Time Series Forecasting

Benchmark quality is critical for meaningful evaluation and sustained progress in time series forecasting, particularly with the rise of pretrained models. Existing benchmarks often have limited domain coverage or overlook real-world settings such as tasks with covariates. Their aggregation procedures frequently lack statistical rigor, making it unclear whether observed performance differences reflect true improvements or random variation. Many benchmarks lack consistent evaluation infrastructure or are too rigid for integration into existing pipelines. To address these gaps, we propose fev-bench, a benchmark of 100 forecasting tasks across seven domains, including 46 with covariates. Supporting the benchmark, we introduce fev, a lightweight Python library for forecasting evaluation emphasizing reproducibility and integration with existing workflows. Using fev, fev-bench employs principled aggregation with bootstrapped confidence intervals to report performance along two dimensions: win rates and skill scores. We report results on fev-bench for pretrained, statistical, and baseline models and identify promising future research directions.

cs.LG↗
arXiv2026

Gate-tunable Josephson parametric amplifiers based on semiconductor nanowires

Superconductor-semiconductor hybrid materials have been extensively used for experiments on electrically tunable quantum devices. Notably, Josephson junctions utilizing nanowire weak links have enabled a number of new gate-tunable qubits, including gatemons, Andreev level qubits and spin qubits. Conversely, superconducting parametric amplifiers based on Josephson junctions have not yet been implemented using nanowires, even though such nearly quantum limited amplifiers are key elements in experiments on quantum circuits. Here we present Josephson parametric amplifiers based on arrays of parallel InAs nanowires that feature a large critical current as required for linear amplification. The resonance frequency of the devices is gate-tunable by almost 1 GHz, with a gain exceeding 20 dB in multiple frequencies and markedly improved noise performance compared to a low-temperature commercial amplifier. This platform enables on-chip integration of gate-tunable qubits with nearly quantum limited amplifiers using the same hybrid materials and on any substrate.

cond-mat.mes-hall↗
arXiv2026

Safety-Critical Control via Recurrent Tracking Functions

This paper addresses the challenge of synthesizing safety-critical controllers for high-order nonlinear systems, where constructing valid Control Barrier Functions (CBFs) remains computationally intractable. Leveraging layered control, we design CBFs in reduced-order models (RoMs) while regulating full-order models' (FoMs) dynamics at the same time. Traditional Lyapunov tracking functions are required to decrease monotonically, and systematic synthesis methods for such functions exist only for fully-actuated systems. To overcome this limitation, we introduce Recurrent Tracking Functions (RTFs), which replace the monotonic decay requirement with a weaker finite-time recurrence condition. This relaxation permits transient deviations of tracking errors while ensuring safety. By integrating CBFs for RoMs with RTFs, we construct recurrent CBFs (RCBFs) whose zero-superlevel set is control $τ$-recurrent, and guarantee safety for all initial states in such a set when RTFs are satisfied. We establish theoretical safety guarantees and validate the approach through a proof-of-concept numerical experiment, demonstrating RTFs' effectiveness and the safety of FoMs.

eess.SY↗