https://arxiv.org/api/e27wUcOYznrzTRGCqJSeNZY1aqo 2026-03-20T20:27:01Z 88744 90 15 http://arxiv.org/abs/2504.13727v5 2026-03-16T18:13:57Z

Many networks in nature and applications have an approximate low-rank structure in the sense that their connectivity structure is dominated by a few dimensions. It is natural to expect that dynamics on such networks would also be low-dimensional. Indeed, theoretical results show that low-rank networks produce low-dimensional dynamics whenever the network is isolated from external perturbations or input. However, networks in nature are rarely isolated. Here, we study the dimensionality of dynamics in recurrent networks with low-dimensional structure driven by high-dimensional inputs or perturbations. We find that dynamics in such networks can be high- or low-dimensional and we derive mathematical conditions on the network structure under which dynamics are high-dimensional. In many low-rank networks, dynamics are suppressed in directions aligned with the network's low-rank structure, a phenomenon we term ``low-rank suppression.'' We show that several low-rank network structures arising in nature satisfy the conditions for generating high-dimensional dynamics and low-rank suppression. Our results clarify important, but counterintuitive relationships between a recurrent network's connectivity structure and the structure of its response to external input.

2025-04-18T14:54:45Z Yue Wan Robert Rosenbaum http://arxiv.org/abs/2603.15770v1 2026-03-16T18:01:52Z

A foundational result in constructive quantum field theory is the construction of the free bosonic quantum field theory in four-dimensional Euclidean spacetime and the proof that it satisfies the Glimm-Jaffe axioms, a variant of the Osterwalder-Schrader axioms. We present a formalization of this result in the Lean 4 interactive theorem prover. The project is intended as a proof of concept that extended arguments in mathematical physics can be translated into machine-checked proofs using existing AI tools. We begin by introducing interactive theorem proving and constructive quantum field theory, then describe our formalization and the design decisions that shaped it. We also explain the methods we used, including coding assistants, and conclude by considering how AI assisted formalization may influence the future of theoretical physics. Our original release assumed three results, Minlos' theorem, the nuclear property of Schwartz space, and Goursat's theorem. In subsequent releases from our group and from contributors from the Lean community, these assumptions have been proven (or avoided), so that the OS/GJ axioms are now proven using only Lean and its library Mathlib.

2026-03-16T18:01:52Z 35 pages, 1 figure Michael R. Douglas Sarah Hoback Anna Mei Ron Nissim http://arxiv.org/abs/2603.15595v1 2026-03-16T17:52:30Z

The most general Ruijsenaars-van Diejen-Takemura Hamiltonians are characterized as Heun operators defined as second order $q$-difference operators with a raising action on elementary rational functions with poles on the Askey-Wilson grid.

2026-03-16T17:52:30Z Satoshi Tsujimoto Luc Vinet Alexei Zhedanov http://arxiv.org/abs/2510.16084v2 2026-03-16T16:56:16Z

Backpropagation learning algorithm, the workhorse of modern artificial intelligence, is notoriously difficult to implement in physical neural networks. Equilibrium Propagation (EP) is an alternative with comparable efficiency and strong potential for in-situ training. We extend EP learning to both discrete and continuous complex-valued wave systems. In contrast to previous EP implementations, our scheme is valid in the weakly dissipative regime, and readily applicable to a wide range of physical settings, even without well defined nodes, where trainable inter-node connections can be replaced by trainable local potential. We test the method in driven-dissipative exciton-polariton condensates governed by generalized Gross-Pitaevskii dynamics. Numerical studies on standard benchmarks, including a simple logical task and handwritten-digit recognition, demonstrate stable convergence, establishing a practical route to in-situ learning in physical systems in which system control is restricted to local parameters.

2025-10-17T15:03:07Z 7 figures Karol Sajnok Michał Matuszewski http://arxiv.org/abs/2512.10768v2 2026-03-16T16:23:45Z

The quantum modularity conjecture, first introduced by Don Zagier, is a general statement about a relation between $\mathfrak{sl}_2$ quantum invariants of links and 3-manifolds at roots of unity related by a modular transformation. In this note we formulate a strong version of the conjecture for Witten--Reshetikhin--Turaev invariants of closed geometric, not necessarily hyperbolic, 3-manifolds. This version in particular involves a geometrically distinguished $SL(2,\mathbb{C})$ flat connection (a generalization of the standard hyperbolic flat connection to other Thurston geometries) and has a statement about the integrality of coefficients appearing in the modular transformation formula. We prove that the conjecture holds for Brieskorn homology spheres and some other examples. We also comment on how the conjecture relates to a formal realization of the $\mathfrak{sl}_2$ quantum invariant at a general root of unity as a path integral in analytically continued $SU(2)$ Chern--Simons theory with a rational level.

2025-12-11T16:06:47Z 37 pages, 1 figure, v2: minor changes, references added Pavel Putrov Ayush Singh http://arxiv.org/abs/2603.08456v2 2026-03-16T15:23:52Z

Matter has two physical properties: Inertia and interaction. If we define the center of mass of an elementary particle in relation to its inertia, and a center of interaction in relation to its interactive properties, there are only two possibilities to describe this elementary particle: that both points are the same or that they are different. If they are the same, what we describe is the point particle model, while if we consider them to be different, what we obtain is the description of an elementary spinning particle. If the center of interaction or center of charge is moving at the speed of light, completely determines also the dynamics of the center of mass, and when quantizing this model satisfies Dirac's equation. We obtain the classical description of the spinning Dirac particle. The general analysis of the interaction Lagrangian, suggests a modification of the minimal coupling Lagrangian, for a possible classical description of the strong and weak interaction.

2026-03-09T14:52:04Z 11 pages, 1 figure, links to Mathematica notebooks and to Wolfram's Community groups. Minor corrections to links and a new section added Martin Rivas http://arxiv.org/abs/2603.15395v1 2026-03-16T15:10:50Z

We develop a Bohmian analysis of a two-dimensional ghost Hamiltonian and its mapping to the degenerate Pais-Uhlenbeck model. Using Gaussian wavepackets, we derive the corresponding guidance equations, the centre and width evolution, and the quantum potential. We use these quantities to characterise bounded, quasi-semiclassical, spiral, and runaway regimes. The Bohmian trajectories provide a direct dynamical diagnostic of coherence, packet deformation, and quantum-classical separation. We then compare a bi-Hamiltonian pair consisting of the ghost Hamiltonian and a classically equivalent alternative formulation. While the two descriptions produce identical classical trajectories, they lead to different Bohmian trajectories and different quantum potentials evaluated along those trajectories. This demonstrates that classical equivalence need not extend to Bohmian quantum dynamics and identifies a concrete quantum ambiguity in the degenerate higher-derivative system.

2026-03-16T15:10:50Z 17 pages, 6 figures Sanjib Dey Andreas Fring http://arxiv.org/abs/2510.02496v2 2026-03-16T14:59:26Z

We define the slant sum of quiver gauge theories, a gluing on the underlying quivers that identifies a gauge vertex with a framing vertex. Under some mild assumptions, we relate torus fixed points on the corresponding Higgs branches, which are Nakajima quiver varieties. Then we prove a ``branching rule" relating the quasimap vertex functions before and after a slant sum and deduce a number of ``factorization" corollaries. Our construction is motivated by a factorization conjecture for the vertex functions of zero-dimensional quiver varieties, which can be approached inductively using the branching rule. In special cases, it also shows that vertex functions can be written as sums over reverse plane partitions, even outside ADE type. We make some conjectures for Coulomb branches reflecting what can be seen on the Higgs side and prove them in ADE type. In particular, we obtain refined character formulas for the so-called ``extremal'' irreducible modules over shifted Yangians. We also study slant sums of Coulomb branches and their quantizations. We observe that for one-dimensional framing, the slant sum of Coulomb branches is the same as the product.

2025-10-02T18:59:37Z v2, restructured introduction, added section 6 about character formulas for extremal irreducible modules, extended results of section 7 to non-simply laced type Hunter Dinkins Vasily Krylov Reese Lance http://arxiv.org/abs/2509.19103v2 2026-03-16T14:52:21Z

We present an index-based tensorial formulation for computing eigenvalues of charge operators acting on arbitrary tensor representations of unitary gauge groups. The construction follows directly from the action of Cartan generators on tensor products and the additivity of weights, leading to a compact operator acting on general \((i_p,i_q)\) tensors. This framework provides a practical bookkeeping tool for assigning charges to arbitrary-dimensional multiplets appearing in model building. Explicit applications to \(SU(2)\), \(SU(3)\), and \(SU(5)\) representations are discussed.

2025-09-23T14:49:15Z 21 pages E. Castillo-Ruiz Henry Diaz V. Pleitez http://arxiv.org/abs/2504.06839v3 2026-03-16T14:51:34Z

We consider the kinetic transport equation that arise in the Boltzmann-Grad limit of the two-dimensional periodic Lorentz Gas. This equation has been obtained by extending the phase space of positions and velocities through the introduction of two new variables, representing respectively the time to the next collision and the corresponding impact parameter. Here we mostly focus on the case of periodic boundary conditions on the positions space: we prove that, under suitable hypothesis, the time evolution of a probability density on the extended phase space converges to the equilibrium state with respect to the $L^p$ norm ($^*$-weakly if $p=\infty$), if such initial density is $L^p$. If $p=2$, or if the initial datum does not depend on the position, we also get more precise estimates about the rate of the approach to the equilibrium. Our proof is based on the analysis of the long time behavior of the Fourier coefficients of the solution.

2025-04-09T12:57:42Z Kinetic and Related Models, 2026, 22: 42-117 Francesca Pieroni 10.3934/krm.2026008 http://arxiv.org/abs/2601.19691v2 2026-03-16T14:13:28Z

We consider Iwahori-Coulomb branches $\mathcal{A}_{G,\mathbf{N},\mathbf{V}}^{\mathrm{Fl}}$, which are the affine flag analogs of the original Coulomb branches $\mathcal{A}_{G,\mathbf{N}}^{\mathrm{Gr}}$ defined by Braverman, Finkelberg, and Nakajima. For any conical symplectic resolution $X$, we prove that the $\mathcal{A}_{G,\mathbf{N},\mathbf{V}}^{\mathrm{Fl}}$-action on the localized equivariant quantum cohomology of $X$, induced by shift operators, satisfies a polynomiality property in terms of stable envelopes. We then study the case $X = T^*(G/P)$, the cotangent bundle of a flag variety, for which the Iwahori-Coulomb branch is isomorphic to the trigonometric double affine Hecke algebra $\mathcal{H}_{G,\hbar,k}$. The polynomiality property enables us to compute explicitly the above action in terms of the Demazure-Lusztig elements and stable envelopes. Applications include: (1) Computation of the Iwarhori-Coulomb branch action for $G/P$ by taking the confluent limit, recovering Peterson-Lam-Shimozono's theorem. (2) Construction of an explicit Namikawa-Weyl group action on the equivariant quantum cohomology of $T^*(G/P)$ that preserves the quantum product, extending a result of Li-Su-Xiong. (3) Proof of a conjecture of Braverman-Finkelberg-Nakajima stating that, up to a shift of the dilation parameter, $\mathcal{A}_{G,\mathfrak{g}^*}^{\mathrm{Gr}}$ is isomorphic to the spherical subalgebra of $\mathcal{H}_{G,\hbar,k}$.

2026-01-27T15:08:16Z 31 pages. Version 2: Strengthens Theorem A to include flavor symmetry and added Example 1.1 Ki Fung Chan Kwokwai Chan Chi Hong Chow Chin Hang Eddie Lam http://arxiv.org/abs/2603.15301v1 2026-03-16T14:01:47Z

We show that Csanyi's and Arias' energy functional of the reduced one-particle density matrix is bounded from below by the Müller functional and bounded from above by the Hartree-Fock functional. We use this fact to derive an asymptotic expansion of the ground state energy of this functional which agrees with the quantum energy to third order.

2026-03-16T14:01:47Z Heinz Siedentop http://arxiv.org/abs/2603.15289v1 2026-03-16T13:52:16Z

We study the correlations of the celebrated Sine$_β$ point process. This point process arises as the bulk scaling limit of $β$-ensembles and has a geometric description through the Brownian carousel, as shown by Valkó and Virág (2009). We establish that the averaged $k$-point truncated correlation functions decay polynomially in the limit of large separation. We show that the decay exponent is of order $1/β$ for large $β$. This is a step towards a conjecture by Forrester and Haldane regarding the exact asymptotics of the two-point correlation function, a problem recently addressed by Qu and Valkó (2025). Our proofs, which rely on a careful analysis of the coupling of diffusions associated with the Brownian carousel, hold for all $β>0$ and $k \geq 1$, significantly extending previous results limited to specific values of $β$ or $k$.

2026-03-16T13:52:16Z 30 pages, 4 figures Laure Dumaz Martin Malvy http://arxiv.org/abs/2603.15233v1 2026-03-16T13:09:30Z

Following ideas from [14], we give a uniform large genus asymptotics for primitive psi-class intersection numbers on the moduli space of stable algebraic curves, and extend this result including insertions of zeros in a certain uniform way. Application to a particular formal solution of the Painlevé I equation is given. We also use a method from [14] to give a new proof of the polynomiality conjecture on large genus asymptotic expansions of psi-class intersection numbers.

2026-03-16T13:09:30Z Jindong Guo Di Yang Don Zagier http://arxiv.org/abs/2603.15704v1 2026-03-16T12:16:37Z

We develop a Schrödinger-picture formulation for a scalar quantum field driven by a Lorentz-invariant white-noise field. The quantum state of the system is described by a stochastic wave functional that evolves according to a stochastic Schrödinger equation. We show that the Gaussian structure of the wave functional is preserved under the stochastic evolution, allowing the dynamics to be reduced to a set of equations for the corresponding kernel functions. These kernel equations are derived and solved exactly, yielding an explicit time-dependent expression for the wave functional. The exact solution enables a direct analysis of the statistical properties of the quantum field in the space of field configurations. In particular, we show that the expectation value of the field operator obeys the same stochastic equation as the classical field obtained from the Euler-Lagrange equation of the action. We further compute the energy density from the stochastic wave functional and evaluate its ensemble average over noise realizations. The resulting energy production rate coincides with that obtained from the corresponding Lindblad equation. This result indicates that the stochastic quantum state remains well defined even though certain derived observables exhibit ultraviolet divergences associated with the white-noise idealization.

2026-03-16T12:16:37Z 9 pages Pei Wang