2025-12-29 | | Total: 26
The spectral localizer, introduced by Loring in 2015 and Loring and Schulz-Baldes in 2017, is a method to compute the (infinite volume) topological invariant of a quantum Hamiltonian on $\ZZ^d$, as the signature of the (finite) localizer matrix. We present a direct and elementary spectral-theoretic proof treating the $d=1$ and $d=2$ cases on an almost equal footing. Moreover, we re-interpret the localizer as a higher-dimensional topological insulator via the bulk-edge correspondence.
It was recently established that the formalism of the generalized transfer operator (GTO) of dynamical systems (DS) theory, applied to stochastic differential equations (SDEs) of arbitrary form, belongs to the family of cohomological topological field theories (TFT) -- a class of models at the intersection of algebraic topology and high-energy physics. This interdisciplinary approach, which can be called the supersymmetric theory of stochastic dynamics (STS), can be seen as an algebraic dual to the traditional set-theoretic framework of the DS theory, with its algebraic structure enabling the extension of some DS theory concepts to stochastic dynamics. Moreover, it reveals the presence of a topological supersymmetry (TS) in the GTOs of all SDEs. It also shows that among the various definitions of chaos, positive "pressure", defined as the logarithm of the GTO spectral radius, stands out as particularly meaningful from a physical perspective, as it corresponds to the spontaneous breakdown of TS on the TFT side. Via the Goldstone theorem, this definition has a potential to provide the long-sought explanation for the experimental signature of chaotic dynamics known as 1/f noise. Additionally, STS clarifies that among the various existing interpretations of SDEs, only the Stratonovich interpretation yields evolution operators that match the corresponding GTOs and, consequently, have a clear-cut mathematical meaning. Here, we discuss these and other aspects of STS from both the DS theory and TFT perspectives, focusing on links between these two fields and providing mathematical concepts with physical interpretations that may be useful in some contexts.
In this work, we consider general exchangeable quantum mean-field Hamiltonian such as the prominent quantum Curie-Weiss model under the influence of a random external field. Despite being arguably the simplest class of disordered quantum systems, the random external field breaks the symmetry of the mean-field Hamiltonian and hence standard quantum de Finetti type or semiclassical arguments are not directly applicable. We introduce a novel strategy in this context, which can be seen as non-commutative large deviation analysis, allowing us to characterize the limiting free energy in terms of a simple and explicit variational formula. The proposed method is general enough to be used for other classes of mean-field models such as multi species Hamiltonians.
We analyze the trajectories of a massive particle in one space dimension whose motion is guided by a spin-half wave function that evolves according to the free Dirac equation, with its initial wave function being a Gaussian wave packet with a nonzero expected value of momentum $k$ and the positive expected value of energy $E = \sqrt{m^2+k^2}$. We prove that at large times, the wave function becomes {\em locally} a plane wave, which corresponds to trajectories with fixed values for asymptotic momentum $k$ and asymptotic energy $E$ or $-E$. The sign of the asymptotic energy is determined by the initial position of the particle. Particles with negative energy will have an asymptotic velocity that is in the opposite direction of their momentum. The proof uses the stationary phase approximation method, for which we establish a rigorous error bound.
A $(d+1)$-dimensional field theory with a periodic spatial dimension may be approximated by a $d$-dimensional theory with a truncated Kaluza-Klein tower of $k$ fields; as $k\to\infty$, one recovers the original $(d+1)$-dimensional theory. One may similarly expect that $\operatorname U(1)$-valued Maxwell theory may be approximated by $\mathbb Z_k$-valued gauge theory and that, as $k\to\infty$, one recovers the original Maxwell theory. However, this fails: the $k\to\infty$ limit of $\mathbb Z_k$-valued gauge theory is flat Maxwell theory with no local degrees of freedom. We instead construct field theories $\mathcal T_k$ such that, with appropriate matter couplings, the $k\to\infty$ limit does recover Maxwell theory in the absence of magnetic monopoles (but with possible Wilson loops), and show that $\mathcal T_k$ can be understood as Maxwell theory with the insertion of a certain nonlocal operator that projects out principal $\operatorname U(1)$-bundles that do not arise from principal $\mathbb Z_k$-bundles sectors (in particular, projecting out sectors with monopole charges).
We construct Lax pairs for the recently (2023) introduced integrable PDE systems known as the BKM equations. As many known and previously studied integrable systems are special cases of the BKM systems, our construction provides Lax pairs for many integrable hierarchies, including previously studied ones such as Camassa-Holm, Dullin-Gottwald-Holm, cKdV, Ito, and Marvan-Pavlov, as well as new ones. The corresponding pair is related to a Sturm-Liouville operator on the real line whose potential depends rationally on the spectral parameter.
A classical result by Penrose establishes that null geodesics generating a black hole event horizon can only intersect at their entrance to the horizon in ``crossover'' points. This points together with limit points of this set, namely caustics, form the so-called "crease set". Light rays enter into the horizon through the crease set, characterizing the latter as the birth of the horizon. A natural question in this context refers to the classification and stability of the structural possibilities of black hole crease sets. In this work we revisit the strategy adopted by Gadioux & Reall for such a classification in the setting of singularity theory in contact geometry. Specifically, in such contact geometry setting, the event horizon is identified as a component (not connected to null infinity) of a so-called ``BigFront''. The characterization of BigFronts as Legendrian projections of Legendrian submanifolds permits to classify the crease sets and ``cuspidal sets'' (or caustics in Penrose's terminology) by applying classical results established by V.I. Arnol'd. Here we refine the stability discussion presented by Gadioux & Reall of that connected component of the crease set that is not causally connected to null infinity and that constitutes the event horizon birth. In addition, we identify the existence of other components of the crease set that lie in the part of the BigFront that is causally connected to null infinity.
We propose a rigorous, physically interpretable, and quantifiable definition of the photonic nanojet (PNJ). This framework resolves longstanding ambiguities in measuring PNJ dimensions and leverages an optimal mass transport-based metric to quantify PNJ quality. Building on this metric, we develop a PNJ steering methodology that requires no opto-mechanical intervention, relying solely on phase-only illumination modulation.
We construct a new solution $(R,K)$ to the three-dimensional reflection equation, a boundary analogue of the tetrahedron equation. The $R$-operator is the one obtained by Sun, Terashima, Yagi, and the authors in 2024, involving four quantum dilogarithms with arguments in the $q$-Weyl algebra. The new $K$-operator similarly involves ten such quantum dilogarithms. Our approach is based on the quantum cluster algebra associated with the symmetric butterfly quiver on the wiring diagram of type C.
Quantum LDPC codes have attracted intense interest due to their advantageous properties for realizing efficient fault-tolerant quantum computing. In particular, sheaf codes represent a novel framework that encompasses all well-known good qLDPC codes with profound underlying mathematics. In this work, we generalize Poincaré duality from manifolds to both classical and quantum codes defined via sheaf theory on $t$-dimensional cell complexes. Viewing important code properties including the encoding rate, code distance, local testability soundness, and efficient decoders as parameters of the underlying (co)chain complexes, we rigorously prove a duality relationship between the $i$-th chain and the $(t-i)$-th cochain of sheaf codes. We further build multiplicative structures such as cup and cap products on sheaved chain complexes, inspired by the standard notions of multiplicative structures and Poincaré duality on manifolds. This immediately leads to an explicit isomorphism between (co)homology groups of sheaf codes via a cap product. As an application, we obtain transversal disjoint logical $\mathrm{C}Z$ gates with $k_{\mathrm{C}Z}=Θ(n)$ on families of good qLDPC and almost-good quantum locally testable codes. Moreover, we provide multiple new methods to construct transversal circuits composed of $\mathrm{C}\mathrm{C}Z$ gates as well as for higher order controlled-$Z$ that are provably logical operations on the code space. We conjecture that they generate nontrivial logical actions, pointing towards fault-tolerant non-Clifford gates on nearly optimal qLDPC sheaf codes. Mathematically, our results are built on establishing the equivalence between sheaf cohomology in the derived-functor sense, Čech cohomology, and the cohomology of sheaf codes, thereby introducing new mathematical tools into quantum coding theory.
We consider the wave propagation for a reaction-diffusion equation on the real line, with a random drift and Fisher-Kolmogorov-Petrovskii-Piscounov (FKPP) type nonlinear reaction. We show that when the average drift is positive, the asymptotic wave fronts propagating to the positive and negative directions are both pushed in the negative direction, leading to the possibility that both wave fronts propagate toward negative infinity. Our proof is based on the Large Deviations Principle for diffusion processes in random environments, as well as an analysis of the Feynman-Kac formula. Such probabilistic arguments also reveal the underlying physical mechanism of the wave fronts formation: the drift acts as an external field that shifts the (quenched) free-energy reference level without altering the intrinsic fluctuation structure of the system.
Crystallographic groups are conventionally studied in real space to characterize crystal symmetries. Recent work has recognized that when these symmetries are realized projectively, momentum space inherently accommodates nonsymmorphic symmetries, thereby evoking the concept of \textit{momentum-space crystallographic groups} (MCGs). Here, we reveal that the cohomology of MCGs encodes fundamental data of crystalline topological band structures. Specifically, the collection of second cohomology groups, $H^2(Γ_F,\mathbb{Z})$, for all MCGs $Γ_F$, provides an exhaustive classification of Abelian crystalline topological insulators, serving as an effective approximation to the full crystalline topological classification. Meanwhile, the third cohomology groups $H^3(Γ_F,\mathbb{Z})$ across all MCGs exhaustively classify all possible twistings of point-group actions on the Brillouin torus, essential data for twisted equivariant K-theory. Furthermore, we establish the isomorphism $H^{n+1}(Γ_F,\mathbb{Z})\cong H^n\big(Γ_F,\operatorname{\mathcal{F}}(\mathbb{R}^d_F,U(1))\big)$ for $ n\ge 1$, where $\operatorname{\mathcal{F}}(\mathbb{R}^d_F,U(1))$ denotes the space of continuous $U(1)$-valued functions on the $d$D momentum space $\mathbb{R}^d_F$. The case $n=1$ yields a complete set of topological invariants formulated in purely algebraic terms, which differs fundamentally from the conventional formulation in terms of differential forms. The case $n=2$, analogously, provides a fully algebraic description for all such twistings. Thus, the cohomological theory of MCGs serves as a key technical framework for analyzing crystalline topological phases within the general setting of projective symmetry.
We consider both unitary and nonunitary A-D-E minimal models on the cylinder with topological defects along the non-contractible cycle of the cylinder. We define the coset graph $A \otimes G/\mathbb{Z}_2$ and argue that it encodes not only the (i) coset graph fusion algebra, but also (ii) the Affleck-Ludwig boundary g-factors; (iii) the defect g-factors (quantum dimensions) and (iv) the relative symmetry resolved entanglement entropy. By studying A-D-E restricted solid-on-solid models, we find that these boundary conformal field theory structures are also present on the lattice: defects (seams) are implemented by face weights with special values of the spectral parameter. Integrability allows the study of lattice transfer matrix T- and Y-system functional equations to reproduce the fusion algebra of defect lines. The effective central charges and conformal weights are expressed in terms of dilogarithms of the braid and bulk asymptotics of the Y-system expressed in terms of the quantum dimensions.
We introduce a family of algebras $\mathcal{A}_{M,N}$, $M,N\in\mathbb{Z}$, as an extension of a pair of commuting quantum toroidal $\mathfrak{gl}_1$ subalgebras $\mathcal{E}_1,\check{\mathcal{E}}_1$, wherein the parameters are tuned in a specific way according to $M,N$. In the case $M=\pm 1$, algebra $\mathcal{A}_{\pm1,N}$ is a shifted quantum toroidal $\mathfrak{gl}_2$ algebra introduced in [FJM2]. Conjecturally there is a coproduct homomorphism $\mathcal{A}_{M,N_1+N_2}\to\mathcal{A}_{M,N_1}\hat\otimes\mathcal{A}_{M,N_2}$ to a completed tensor product, whose restriction to the subalgebras $\mathcal{E}_1,\check{\mathcal{E}}_1$ coincides with the standard coproduct of the latter. We give examples of $\mathcal{A}_{M,N}$ modules constructed on certain direct sums of tensor products of Fock modules of $\mathcal{E}_1\otimes\check{\mathcal{E}}_1$.
We consider a one-dimensional mixture of bosons and spinless fermions with contact interactions. In this system, the excitations at low energies are described by four linearly dispersing modes characterized by two excitation velocities. Here we study the velocities in a system with equal interaction strengths and equal masses of bosons and fermions. The resulting model is integrable and admits an exact Bethe-ansatz solution. We analyze it and analytically derive various exact results, which include the Drude weight matrix. We show that the excitation velocities can be calculated from the knowledge of the matrices of compressibility and the Drude weights, as their squares are the eigenvalues of the product of the two matrices. The elements of the Drude weight matrix obey certain sum rules as a consequence of Galilean invariance. Our results are consistent with the presence of a momentum-momentum coupling term between the two subsystems of bosons and fermions in the effective low-energy Hamiltonian. The analytical method developed in the present study can be extended to other models that possess a nested Bethe-ansatz structure.
We study a discrete-time consensus model in which agents iteratively update their states through interactions on a dynamic social network. At each step, a single agent is selected asynchronously and averages the values of its current neighbors. A distinctive feature of our model is that an agent's neighborhood may contract following an update, while non-selected agents may add or remove neighbors independently. This creates a time-varying communication structure with endogenous contraction. We show that under mild assumptions--specifically, that the evolving graph is connected infinitely often--the system reaches consensus almost surely. Our results extend classical consensus theory on time-varying graphs and asynchronous updates by introducing selective neighborhood contraction, offering new insights into agreement dynamics in evolving social systems.
We propose a formula for the transformation law of anyons in topologically ordered phases or topological quantum field theories (TQFTs) through a gapped or symmetry-preserving domain wall. Our formalism is based on the ring homomorphism between the $\mathbb{C}$-linear commutative fusion rings, also known as symmetry topological field theories (SymTFTs). The fundamental assumption in our formalism is the validity of the Verlinde formula, applicable to commutative fusion rings. By combining it with more specific data of the settings, our formula provides classifications of anyons compatible with developing categorical formulations. It also provides the massless renormalization group (RG) flows between conformal field theories (CFTs), or a series of measurement-induced quantum phase transitions, in the language of SymTFT, through the established correspondence between CFTs and TQFTs. Moreover, by studying the correspondence between the ideal structure in the massless RG and the module in the related massive RG, one can make the Nambu-Goldstone-type arguments for generalized symmetry. By combining our formula with orbifolding, extension, and similarity transformation, one can get a series of classifications for the corresponding extended models, or symmetry-enriched topological orders and quantum criticalities.
Standard spectroscopic protocols model the dynamics of open quantum systems as a superposition of isolated, exponentially decaying eigenmodes. This paradigm fails fundamentally at Exceptional Points, where the eigenbasis collapses and the response becomes dominated by non-diagonalizable Jordan blocks. We resolve this ambiguity by introducing a geometric framework based on \textit{Dissipative Mixed Hodge Modules} (DMHM). By replacing the scalar linewidth with a topological \textit{Weight Filtration}, we derive ``Weight Filtered Spectroscopy'' (WFS)--a protocol that spatially separates decay channels based on the nilpotency rank of the Liouvillian. We demonstrate that WFS acts as a dissipative x-ray, quantifying dissipative leakage in molecular polaritons and certifying topological isolation in Non-Hermitian Aharonov-Bohm rings. This establishes that topological protection persists as an algebraic invariant even when the spectral gap is closed.
We introduce the shell formula -- a framework capable of providing a unified description for various partition functions whose pole structures are classified by Young diagrams of arbitrary dimension. This formalism encompasses a wide range of physical systems, including instanton partition functions of 5d pure super Yang-Mills theory with classical gauge groups, as well as gauge origami configurations such as the magnificent four, tetrahedron instantons, Donaldson-Thomas invariants, and spiked instantons.
Ising machines have emerged as effective solvers for combinatorial optimization problems, such as NP-hard problems, machine learning, and financial modeling. Recent spatial photonic Ising machines (SPIMs) excel in multi-node optimization and spin glass simulations, leveraging their large-scale and fully connected characteristics. However, existing laser diffraction-based SPIMs usually sacrifice time efficiency or spin count to encode high-rank spin-spin coupling and external fields, limiting their scalability for real-world applications. Here, we demonstrate an amplitude-only modulated rank-free spatial photonic Ising machine (AR-SPIM) with 200 iterations per second. By re-formulating an arbitrary Ising Hamiltonian as the sum of Hadamard products, followed by loading the corresponding matrices/vectors onto an aligned amplitude spatial light modulator and digital micro-mirrors device, we directly map a 797-spin Ising model with external fields (nearly 9-bit precision, -255 to 255) into an incoherent light field, eliminating the need for repeated and auxiliary operations. Serving as encoding accuracy metrics, the linear coefficient of determination and Pearson correlation coefficient between measured light intensities and Ising Hamiltonians exceed 0.9800, with values exceed 0.9997 globally. The AR-SPIM achieves less than 0.3% error rate for ground-state search of biased Max-cut problems with arbitrary ranks and weights, enables complex phase transition observations, and facilitates scalable spin counts for sparse Ising problems via removing zero-valued Hadamard product terms. This reconfigurable AR-SPIM can be further developed to support large-scale machine-learning training and deployed for practical applications in discrete optimization and quantum many-body simulations.
In this paper, we prove the finite-time shock formation for the compressible Euler equations on the two-dimensional sphere $\mathbb{S}^2$. In contrast to the flat Euclidean case $\mathbb{R}^2$, the geometry of $\mathbb S^2$ imposes new difficulties, and the fluid dynamics are affected by the curved background. To overcome these challenges, we modify the existing modulation method and employ a set of carefully constructed, time-dependent coordinates that precisely track the shock formation on $\mathbb{S}^2$. In particular, we first perform a time-dependent rotation of $\mathbb S^2$, then apply the stereographic projection to the sphere, straighten the steepening shock front, and finally construct shock-adapted coordinates. In the shock-adapted coordinates, the compressible Euler equations on $\mathbb{S}^2$ can be recast into a form suitable for self-similar analysis. Within this framework, we implement a detailed bootstrap argument and establish global well-posedness for the self-similar system. After transferring these results back to the original physical system, we thereby demonstrate the finite-time shock formation on $\mathbb{S}^2$.
We establish the global existence of solutions to the Fokas-Lenells equation for any initial data in a weighted Sobolev space $H^{3}(\mathbb{R})\cap H^{2,1}(\mathbb{R})$.This result removes all spectral restrictions on the initial data required in our previous work. The proof primarily relies on the inverse scattering transform formulated as new Riemann-Hilbert problems and Zhou's $L^{2}$-Sobolev bijectivity theory.
We introduce the dynamics of Toda curves of order $N$ and derive differential equations governing this dynamics. We apply the obtained results to describe isoperiodic deformations of $N$-periodic Toda chains and periodic difference Korteweg-de Vries equation. We describe deformations of the essential spectra of $N$-periodic two-sided Jacobi matrices. We also study singular regimes of $SU(N)$ Seiberg-Witten theory and describe their deformations preserving the number of singularities where new massless particles may occur. We introduce and describe isoequilibrium deformations of arbitrary collections of $d$ real disjoint closed intervals. We conclude by providing explicit triangular solutions to constrained Schlesinger systems.
The notion of quantum symmetry has recently been extended to include reduced-dimensional transformations and algebraic structures beyond groups. Such generalized symmetries lead to exotic phases of matter and excitations that defy Landau's original paradigm. Here, we develop an algebraic framework for systematically deriving the fusion rules of topological defects in higher-dimensional lattice systems with non-invertible generalized symmetries, and focus on a (2+1)-dimensional quantum Ising plaquette model as a concrete illustration. We show that bond-algebraic automorphisms, when combined with the so-called half-gauging procedure, reveal the structure of the non-invertible duality symmetry operators, which can be explicitly represented as a sequential quantum circuit. The resulting duality defects are constrained by the model's rigid higher symmetries (lower-dimensional subsystem symmetries), leading to restricted mobility. We establish the fusion algebra of these defects. Finally, in constructing the non-invertible duality transformation, we explicitly verify that it acts as a partial isometry on the physical Hilbert space, thereby satisfying a recent generalization of Wigner's theorem applicable to non-invertible symmetries.
We find exact identities for sums of the form \begin{equation*}\label{eq:convsumabs} \sum_{\stackrel{n_1+n_2 = n}{n_1 \in \mathbb{Z} \setminus \{ 0, n \} }} Q(n_1,n_2) σ_{-r_1}(n_1) σ_{-r_2}(n_2), \end{equation*} where $n\in\mathbb{N}$, $r_1,r_2\in\mathbb{C}$, $Q$ is a combination of hypergeometric functions, and $σ_{a}(x)$ denotes the divisor function. Specifically, we find that they can be expressed in terms of Fourier coefficients of Hecke cusp forms weighted by their $L$-values. This result expands upon previous work with Radchenko in which such identities were found for divisor functions with even integer index \cite{FKLR} and encompasses results of Jacobi \cite{motohashi1994binary} and Diamantis and O'Sullivan in \cite{diamantis2010kernels, o2023identities} for divisor functions with odd integer index. The proof of our result expresses these sums in terms of Estermann zeta functions and uses trace formulae. In addition, we use a regularization of divergent convolution sums to provide a mathematical explanation for $L$-values (non-critical in the sense of Deligne) appearing in modular graph functions \cite{DKS2021_2}.