https://arxiv.org/api/YNJDJ0QBwMDXpDrQ2J715vO6u8E 2026-06-26T08:17:13Z 90523 1050 15 http://arxiv.org/abs/2605.26224v1 2026-05-25T18:00:09Z

We study Abelian $S$-duality of Maxwell theory on $A$-type asymptotically locally Euclidean (ALE) spaces. Unlike on closed four-manifolds, the Maxwell path integral on an ALE space is not naturally a scalar partition function. Rather, it decomposes into theta-function blocks labeled by flat $U(1)$ holonomy sectors on the asymptotic lens-space boundary. We interpret these blocks as components of the Hilbert-space boundary state prepared by the ALE path integral. With this interpretation, the apparent failure of ordinary modularity is replaced by vector-valued modular covariance under the action of the modular group. We test this picture explicitly for Eguchi-Hanson space by gluing it to its orientation reversal. The resulting closed four-manifold is diffeomorphic to $S^2\times S^2$, and the natural pairing of the two ALE boundary states reproduces the standard Maxwell partition function on $S^2\times S^2$. We then refine the construction by turning on electric and magnetic $1$-form symmetry backgrounds. In their presence, the ALE theta blocks are not ordinary functions, but sections of a line bundle over the Cartan torus associated with the $A_{N-1}$ root lattice, reflecting the mixed electric-magnetic $1$-form anomaly. We also discuss gauging discrete $\mathbb Z_k$ subgroups of the $1$-form symmetries and show that the vector-valued boundary-state structure remains the natural covariant framework after gauging. In this sense, ALE spaces behave as chiral building blocks for four-dimensional Maxwell theory: individual ALE blocks carry sector-resolved boundary data, while gluing pairs these sectors to produce an ordinary closed-manifold partition function, much like the pairing of left- and right-moving conformal blocks in two-dimensional CFT.

2026-05-25T18:00:09Z 40 pages+appendices, 4 figures Mohamed M. Anber http://arxiv.org/abs/2605.26202v1 2026-05-25T17:59:57Z

Family puzzle asks why the Standard Model (SM) features exactly 3 families of quarks and leptons. Motivated by topological constraints, we study 4-dimensional fermionic anomalies with discrete $Z_n$ symmetry, classified by the 5d spin bordism group. We show that only the group-cohomology subclass H$^5(Z_n,U(1))\cong Z_n$ can be canceled by an anomalous $Z_n$-symmetric 4d $Z_n$-gauge topological quantum field theory (TQFT), while beyond-group-cohomology $A_{Z_n} p_1$ involving the Pontryagin class $p_1$ cannot (except $n=2,3$). More generally, we prove that any cocycle $α_d\in$H$^d(Z_n,U(1))$ in odd spacetime dimension $d\ge3$ is trivialised by the symmetry extension $1\to Z_n\to Z_{n^2}\to Z_n\to 1,$ and we construct the corresponding symmetric anomalous boundary TQFT. For $d=5$ and $n=3$, this yields a Spin$\times Z_3$-symmetric 4d $Z_3$-gauge TQFT that cancels the mixed discrete $(\bf B+L)$-gauge-gravitational anomaly of the SM in the absence of 3 "sterile" right-handed neutrinos $ν_R$. We further analyze a generalized SM with $N_c$ colors and $N_f$ families and argue that missing $N_f$ copies of the $ν_R$ can be naturally replaced by that 4d anomalous $Spin\times_{Z_2^F} Z_{2 N_f,{{\bf B} + {\bf L}}}$ symmetric $Z_{N_c}$-gauge TQFT under the anomaly cancellation, via an appropriate $Z_{N_c}$-color symmetry extension construction $1\to Z_{N_c}\to Spin\times Z_{N_cN_f}\to Spin\times_{Z_2^F} Z_{2N_f}\to1$ of anomalous topological order. For minimal nonzero positive integers $N_c$ and $N_f$, we find the minimal color extensions: $N_c=3, N_f \ge 3$; $N_c=4, N_f \ge 2$; and $N_c=12, N_f \ge 6$. If we further require that an SM baryon is a fermion so $N_c$ is odd, then $Z_{N_c}=Z($SU$(N_c))$ color center, we prove 3 families and 3 colors, $N_c=N_f=3$, is the unique case that stands out. We also prove that $A_{Z_3}p_1= 0\mod3$ for the mod 3 cohomology class in an appropriate context.

2026-05-25T17:59:57Z 40 pages. Sequel to arXiv:2312.14928, arXiv:2502.21319 Zheyan Wan Juven Wang Shing-Tung Yau http://arxiv.org/abs/2510.27286v2 2026-05-25T17:54:47Z

We construct differential models for degree-3 twisted $\mathrm{Spin}^c$-bordism and for its Anderson dual. The model for the differential Anderson dual is based on the framework of Yamashita--Yonekura. Using these differential models, we define a twisted anomaly map from differential twisted $K$-theory with inverse twist to the differential Anderson dual of twisted $\mathrm{Spin}^c$-bordism. The construction is described geometrically in terms of bundle gerbes, gerbe modules, and reduced eta-invariants of Dirac operators associated to the twisted data. Conceptually, this map is expected to be related to the anomalies of twisted $1|1$-dimensional supersymmetric field theories, in line with the perspectives of Stolz--Teichner and Freed--Hopkins.

2025-10-31T08:54:26Z 56 pages; revised and expanded version Fei Han Yuanchu Li http://arxiv.org/abs/2605.26080v1 2026-05-25T17:45:51Z

We study intersecting surface operators in 6d holomorphic field theories with the aim of unraveling associated quantum integrable structures. We first study the intersections of surface operators in 6d holomorphic Chern-Simons theory on $\mathbb{C}^3$. Computing their correlation function, we find a local operator at the intersection of the surface operators with a form reminiscent of the leading nontrivial term in the quasi-classical expansion of a rational $R$-matrix, as predicted by Costello. We provide evidence that this $R$-matrix-like operator satisfies a Yang-Baxter-type relation. We then derive the associated coproduct of the chiral algebra supported by surface operators from their OPE. We also study intersecting surface operators in 6d holomorphic BF theory and derive the local leading form of the corresponding $R$-matrix-like operator. When this theory is placed on twistor space, where it describes the self-dual sector of 4d Yang-Mills theory, this operator is expected to provide a local building block for quantum integrable structures anticipated in that setting.

2026-05-25T17:45:51Z 26 pages, 4 figures Meer Ashwinkumar http://arxiv.org/abs/2605.26069v1 2026-05-25T17:33:26Z

The symmetric simple exclusion process (SSEP) is a paradigmatic model of classical non-equilibrium dynamics. Exact results for large deviations of particle current in the SSEP have been obtained in various settings using integrability-based methods. In this Article, we discuss how these results are modified in the presence of localized slow bonds. We consider three conventional geometries: (a) a finite one-dimensional lattice weakly coupled to unequal reservoirs at its boundaries, (b) a semi-infinite one-dimensional lattice weakly coupled to a boundary reservoir, and (c) an infinite one-dimensional lattice with localized slow bonds near the origin. For each case, we present exact expressions for the large deviation function of current and validate them through rare-event simulations based on the cloning algorithm. In connection with our results, we present an elementary derivation of the exact large deviation function for the current in the semi-infinite SSEP, complementing recent results obtained through more elaborate techniques.

2026-05-25T17:33:26Z 23 pages, 7 figures Soumyabrata Saha Sandeep Jangid Kapil Sharma Tridib Sadhu http://arxiv.org/abs/2401.09554v2 2026-05-25T17:19:23Z

We prove that the entanglement cost equals the regularized entanglement of formation for any infinite-dimensional quantum state $ρ_{AB}$ with finite quantum entropy on at least one of the subsystems $A$ or $B$. This generalizes a foundational result in quantum information theory that was previously formulated only for operations and states on finite-dimensional systems. The extension to infinite-dimensional systems is nontrivial because the conventional tools for establishing both the direct and converse bounds, i.e., strong typicality, monotonicity, and asymptotic continuity, are no longer directly applicable. To address this problem, we construct a new entanglement dilution protocol for infinite-dimensional states implementable by local operations and a finite amount of one-way classical communication (one-way LOCC), using weak and strong typicality multiple times. We also prove the optimality of this protocol among all protocols, even under infinite-dimensional separable operations, by developing an argument based on alternative forms of monotonicity and asymptotic continuity of the entanglement of formation for infinite-dimensional states. Along the way, we derive a new integral representation for the quantum entropy of infinite-dimensional states, which we believe to be of independent interest. Our results allow us to fully characterize an important operational entanglement measure -- the entanglement cost -- for all infinite-dimensional physical systems.

2024-01-17T19:12:10Z 37+8 pages, no figures. v2 is close to the published version: main result unchanged; new definition of entanglement of formation using the continuous convex-roof construction; monotonicity strengthened from countably separable to general separable operations, and converse proof revised accordingly Commun. Math. Phys. 406, 277 (2025) Hayata Yamasaki Kohdai Kuroiwa Patrick Hayden Ludovico Lami 10.1007/s00220-025-05431-1 http://arxiv.org/abs/2211.06955v3 2026-05-25T17:18:52Z

We develop a coordinate-free probabilistic framework for determinantal point processes associated with Bergman kernels on compact complex manifolds. The basic issue is that Bergman kernels are naturally line-bundle-valued: $B_k(x,y)\in\operatorname{Hom}(L_y^k,L_x^k)$. Hence the usual determinantal formula for correlation functions is not literally a scalar determinant unless one first gives it an intrinsic meaning. We rigorously define this determinant and prove that every finite-dimensional Hilbert space of sections of a Hermitian line bundle gives rise to a genuine finite-rank projection determinantal point process on the base manifold. We then isolate a collection of finite-dimensional transfer principles showing how diagonal asymptotics, near-diagonal asymptotics, Schur complements, Toeplitz trace expansions and determinant asymptotics are converted into probabilistic statements. Specializing to $H^0(M,L^k)$, this gives the Bergman ensemble as the geometric analogue of an orthogonal polynomial ensemble, and some of the transfer principles allow us to recover previously known results of Berman.

2022-11-13T17:03:40Z Complete restructuration of the content around two principles: a coordinate-free construction of the line-bundle-valued kernel DPPs and a series of transfer principles that convert asymptotics of the kernel into limit theorems. 34 pages Thibaut Lemoine http://arxiv.org/abs/2605.26048v1 2026-05-25T17:10:48Z

We give a complete classification of the eternal solutions for the KPZ fixed point. Each of these is a (possibly infinite) patching together of the known eternal solutions, called Busemann functions. The resulting evolution of the KPZ fixed point exhibits a shock at each of the boundaries between the different Busemann functions. Moving forward in time, the shocks coalesce, while moving backwards in time, additional shocks can form. We describe several geometric properties of this tree of shocks.

2026-05-25T17:10:48Z 29 pages, 2 figures Sudeshna Bhattacharjee Ofer Busani Evan Sorensen http://arxiv.org/abs/2603.14650v2 2026-05-25T16:58:51Z

Lieb and Ruskai's strong subadditivity theorem, which shows that the conditional mutual information must be nonnegative, is fundamental in quantum theory. It has numerous applications, such as in quantum error correction. When the mutual information is zero, the Petz recovery map can be used to reconstruct the quantum channel. When the mutual information is small, one seeks to define an optimal recovery channel. To this end, a mathematical characterization of the mutual information is desirable. We address this problem by providing an exact characterization of the mutual information, along with characterizations for other entropies. Our controls are sharp, leaving no room for improvement, in the sense that we provide equalities, regardless of whether the mutual information (or remainder) is small or large. We transform the definitions of these entropies into a summation of explicitly constructed terms, and the definition of each term obviously demonstrates the desired positivity/convexity/concavity. The summation converges rapidly and absolutely in a chosen elementary norm.

2026-03-15T23:08:57Z 40 pages Zhou Gang http://arxiv.org/abs/2605.26024v1 2026-05-25T16:45:20Z

We inspect $\mathfrak{su}(n)$ forms, providing greater detail for $n=2,3$, as a toy model for a field theory in finite dimensions and with gauge symmetries. Relying on homological perturbation theory, we show that there are no scattering amplitudes with trivalent tree-level diagrams, except for the interaction vertex, thus extending a known argument of Cattaneo--Mnëv to arbitrary $n$. In contrast to this, we show how to obtain non-trivial higher products when transferring to a larger space of fields.

2026-05-25T16:45:20Z Prepared for the Proceedings of Corfu Summer Institute 2025 "Schools and Workshops on Elementary Particle Physics and Gravity", 25 pages Eugenia Boffo Ján Pulmann Ľuboš Ravas http://arxiv.org/abs/2602.12512v3 2026-05-25T16:44:19Z

We study non-interacting electrons in disordered materials which exhibit a spectral gap, in each of the ten Altland--Zirnbauer symmetry classes, in all space dimensions. We define an appropriate space of Hamiltonians and a topology on it so that the so-called strong topological invariants become \emph{complete} invariants yielding the Kitaev periodic table, but now derived as the set of path-connected components of the space of Hamiltonians, rather than as $K$-theory groups. We thus confirm the conjecture (phrased e.g. in \cite{KatsuraKoma2018}) regarding a one-to-one correspondence between topological phases of gapped non-interacting systems and the respective Abelian groups $\{0\},\mathbb{Z},2\mathbb{Z},\mathbb{Z}_2$ in the spectral gap regime. The central conceptual point is that spherical locality and bulk non-triviality are the two structural hypotheses which make this non-stable statement true. Spherical locality provides the real-space asymptotic locality needed for the strong index pairings, while bulk non-triviality removes lower-dimensional or edge-type configurations which would otherwise create extra path-components. Once this phase space has been identified, the algebraic input is the standard $K$-theory of the associated Paschke-dual picture, and the remaining technical task is to lift that information to $π_0$ of symmetry-constrained projections and unitaries. These definitions of locality and bulk-non-triviality are expected to be the portable part of the argument in regimes, such as mobility gaps and interacting systems, where ordinary stabilized $K$-theory is not by itself the right formulation of the physical classification problem.

2026-02-13T01:30:28Z Revised Jui-Hui Chung Jacob Shapiro http://arxiv.org/abs/2605.01453v2 2026-05-25T16:20:32Z

The role of gauge invariance is reconsidered by "deriving it without assuming it" within an autonomous approach to interactions of Standard Model particles. In this approach, the renormalizable interactions are purely constrained by quantum principles, notably the representation on a Hilbert space, which forces interactions to be "string-localized". To some surprise, most interactions fulfilling the constraints enjoy an emergent but possibly "hidden" gauge invariance (uncovered via redefinitions of quantum fields). It is exact and unbroken even in the presence of massive vector bosons. It plays a major role in proving that S-matrices are insensitive to the string-localization, and in fact coincide with S-matrices of local interactions from the gauge theory approach on indefinite state spaces. Thus, particle physics with massless and massive vector bosons can be implemented without indefinite state spaces and ghosts.

2026-05-02T14:02:20Z 28 pages. v2: major edits Karl-Henning Rehren http://arxiv.org/abs/2605.25908v1 2026-05-25T14:44:09Z

Integral identities for Macdonald polynomials play an important role in modern mathematics and mathematical physics. Especially interesting are the Cherednik-Macdonald-Mehta (CMM) identities, with profound connections to Double Affine Hecke Algebras (DAHA) and representation theory of quantum groups. These identities are central in refined Chern-Simons theory, where they lead to refined S and T matrices and ultimately to refined knot invariants. We suggest an elliptic generalization of CMM identities, where trigonometric Vandermonde products are replaced by theta functions. At the same time Macdonald polynomials are promoted to Shiraishi functions -- distinguished elliptic functions with several interesting avatars, from the non-stationary Ruijsenaars problem in integrable systems, to equivariant K-theory characters of the affine Laumon space in algebraic geometry, to surface defect partition functions in 5d super Yang-Mills theory. From the perspective of matrix models, we present an elliptic matrix model with a superintegrability property. We prove the suggested identities to the first order in the elliptic parameter.

2026-05-25T14:44:09Z 14 pages Shamil Shakirov http://arxiv.org/abs/2605.25899v1 2026-05-25T14:26:09Z

Quantum graphs provide an analytically tractable setting for the study of Chern numbers and band degeneracies in periodic systems. We study the Chern numbers of energy bands in a two-dimensional square lattice quantum graph. We approach the problem by mapping the lattice to a single-vertex quantum graph with two loops of equal lengths pierced by magnetic fluxes. By establishing the degeneracy condition for its energy levels, we show that the model possesses two topological phases: a trivial phase, where the Chern numbers of all energy bands are $0$, and the nontrivial one, where the Chern numbers of successive energy bands alternate between $\pm1$. By applying the degeneracy condition, we calculate Chern-number phase diagrams analytically as a function of the node scattering matrix parameters and compare the results with numerical calculations.

2026-05-25T14:26:09Z 27 pages, 7 figures Or Swartzberg Omri Gat Boris Gutkin http://arxiv.org/abs/2605.25857v1 2026-05-25T13:47:13Z

The expressions of the eigenfunctions of the Hawton photon position operator in the configuration space are derived for several classes of wave function, including the Riemann-Silberstein and Landau-Peierls cases. Although these eigenfunctions have a simple form in momentum space, the explicit characterization of their representations in the configuration space is rather more involved. We provide closed expressions of these eigenfunctions in terms of linear combinations of the complete elliptic integrals $K(κ)$ and $E(κ)$ with modulus $κ$ depending on trigonometric functions of the polar angle. We show that they diverge not only at the value $\mathbf q$ of the position eigenvalue, but also on a plane containing $\mathbf q$ and that they decay as inverse powers of the distance from $\mathbf q$.

2026-05-25T13:47:13Z 17 pages, 2 figures Artemio González-López Luis Martínez Alonso