We present a rigorous mathematical analysis of the recurrence of factorized (product) pure states under unitary evolution in a finite-dimensional bipartite quantum system. The central result is an analytic dichotomy: for any initial product state, the set of times at which the state is again factorized is either all of ℝ or a discrete subset. This reduces the problem to the classification of Hamiltonians possessing an eternally factorized product state. We formulate the obstruction through an infinite hierarchy of polynomial jet conditions whose defining ideal stabilises after finitely many steps; thus the exceptional Hamiltonians form a proper lower-dimensional semialgebraic set. The paper does not provide a complete classification of this exceptional set; rather, it proves that it is a finite-level semialgebraic set and develops the algebraic-geometric machinery needed for its future description. Consequently, the set of Hamiltonians with exclusively discrete recurrences is dense and of full Lebesgue measure. Independently, we analyse the gradient flow of the von Neumann entanglement entropy on projective space equipped with the Fubini–Study metric. Using the Kurdyka–Łojasiewicz inequality we prove that every maximal trajectory (defined as a continuous, piecewise-analytic curve satisfying the gradient equation on the analytic stratum) converges to a unique critical point of the entropy; under a natural normal-hyperbolicity assumption (whose verification is left as an open problem) almost every trajectory converges to a point on the Segre variety Σ of product states. We also obtain explicit polynomial bounds on the convergence rate, with exponents determined by the local Łojasiewicz geometry. The logarithmic singularity of the entropy near Σ is shown to preclude exponential convergence entirely. To obtain quantitative recurrence estimates in the unitary setting, we assume the Hamiltonian has a pure point spectrum and reduce the orbit to a linear flow on a torus whose dimension is the rational rank of the energy gaps. Using Dirichlet simultaneous approximation we prove an upper bound on the time to achieve an ϵ-approximate return to the initial ray, with polynomial scaling in 1/ϵ. The bound is universal but not claimed to be optimal. The two-qubit case is treated in full detail: the Segre variety reduces to a quadric hypersurface, the first-order tangency condition becomes a linear equation in the Pauli coefficients, and the moduli space of local unitary equivalence (the Weyl chamber) together with Makhlin invariants drastically simplifies the classification. We provide explicit formulas and a computational roadmap using cylindrical algebraic decomposition. A catalogue of rigorous examples and a systematic classification programme conclude the paper.
We present a rigorous mathematical analysis of the recurrence of factorized (product) pure states under unitary evolution in a finite-dimensional bipartite quantum system. The central result is an analytic dichotomy: for any initial product state, the set of times at which the state is again factorized is either all of ℝ or a discrete subset. This reduces the problem to the classification of Hamiltonians possessing an eternally factorized product state. We formulate the obstruction through an infinite hierarchy of polynomial jet conditions whose defining ideal stabilises after finitely many steps; thus the exceptional Hamiltonians form a proper lower-dimensional semialgebraic set. The paper does not provide a complete classification of this exceptional set; rather, it proves that it is a finite-level semialgebraic set and develops the algebraic-geometric machinery needed for its future description. Consequently, the set of Hamiltonians with exclusively discrete recurrences is dense and of full Lebesgue measure. Independently, we analyse the gradient flow of the von Neumann entanglement entropy on projective space equipped with the Fubini–Study metric. Using the Kurdyka–Łojasiewicz inequality we prove that every maximal trajectory (defined as a continuous, piecewise-analytic curve satisfying the gradient equation on the analytic stratum) converges to a unique critical point of the entropy; under a natural normal-hyperbolicity assumption (whose verification is left as an open problem) almost every trajectory converges to a point on the Segre variety Σ of product states. We also obtain explicit polynomial bounds on the convergence rate, with exponents determined by the local Łojasiewicz geometry. The logarithmic singularity of the entropy near Σ is shown to preclude exponential convergence entirely. To obtain quantitative recurrence estimates in the unitary setting, we assume the Hamiltonian has a pure point spectrum and reduce the orbit to a linear flow on a torus whose dimension is the rational rank of the energy gaps. Using Dirichlet simultaneous approximation we prove an upper bound on the time to achieve an ϵ-approximate return to the initial ray, with polynomial scaling in 1/ϵ. The bound is universal but not claimed to be optimal. The two-qubit case is treated in full detail: the Segre variety reduces to a quadric hypersurface, the first-order tangency condition becomes a linear equation in the Pauli coefficients, and the moduli space of local unitary equivalence (the Weyl chamber) together with Makhlin invariants drastically simplifies the classification. We provide explicit formulas and a computational roadmap using cylindrical algebraic decomposition. A catalogue of rigorous examples and a systematic classification programme conclude the paper.
Entanglement for pure bipartite states is most commonly quantified in a state-by-state manner to each pure state of a bipartite system a scalar quantity, such as the von Neumann entropy of a reduced density matrix. This provides a precise local characterization of how entangled a given state is. At the same time, this local description naturally invites a set of complementary, more global questions about the structure of the space of pure states: How abundant are the states with a given amount of entanglement within the full state space? Do the manifolds of constant entanglement exhibit distinct geometric regimes? These questions shift the focus from assigning an entanglement value to a single state to understanding the global organization and geometry of entanglement across the entire manifold of pure states.
In this work, we develop a geometric framework in which these questions become natural. We regard the projective Hilbert space of pure states, endowed with the Fubini-Study metric, as a Riemannian manifold and promote bipartite entanglement to a macroscopic functional on this manifold. Its level sets stratify the space of pure states into hypersurfaces of constant entanglement, and we define a geometric entanglement entropy as the log-volume of these hypersurfaces, weighted by the Fubini-Study gradient of entanglement. This quantity plays the role of a microcanonical entropy in entanglement space: it measures the degeneracy of a given entanglement value in the natural quantum geometry.
The framework is illustrated first in the simplest case of a single spin-1/2 and then for bipartite entanglement of spin systems, including a two-qubit example where explicit calculations can be carried out, along with a sketch of the extension to spin chains.
The Poincaré recurrence theorem shows that conservative systems in a bounded region of phase space eventually return arbitrarily close to their initial state after a finite amount of time. An analogous behavior occurs in certain quantum systems where quantum states can recur after sufficiently long unitary evolution, a phenomenon known as quantum recurrence. Periodically driven (i.e. Floquet) quantum systems in particular exhibit complex dynamics even in small dimensions, motivating the study of how interactions and Hamiltonian structure affect recurrence behavior. While most studies treat recurrence in an approximate, distance-based sense, here we address the problem of {exact}, state-independent recurrences in a broad class of finite-dimensional Floquet systems, spanning both integrable and non-integrable models. Leveraging techniques from algebraic field theory, we construct an arithmetic framework that identifies all possible recurrence times by analyzing the cyclotomic structure of the Floquet unitary's spectrum. This computationally tractable approach yields both positive results, enumerating all candidate recurrence times, and definitive negative results, rigorously ruling out candidate recurrence times for a given set of Hamiltonian parameters. We further prove that rational Hamiltonian parameters do not, in general, guarantee exact recurrences, revealing a subtle interplay between system parameters and long-time dynamics. Our findings sharpen the theoretical understanding of quantum recurrences, clarify their relationship to quantum chaos, and highlight parameter regimes of special interest for quantum metrology and control.
Abstract We investigate the logical and mathematical conditions under which finite information capacity can support a finite physical state space and exact recurrence in autonomous dynamics. The analysis distinguishes four notions that are often conflated: finite entropy capacity, finite Hilbert-space dimension, finite complete-state cardinality, and uniform nonzero state separation. Finite von Neumann entropy and finite Hilbert-space dimension do not imply a finite state set; a qubit provides an explicit counterexample because its entropy is bounded and its Hilbert space is finite-dimensional while its pure-state space forms a continuous Bloch sphere. Under admissible mixing, however, finite entropy bounds the number N of perfectly distinguishable states according to N <= exp(S_max), establishing a finite distinguishability capacity without implying finite total state cardinality. We then characterize the missing geometric condition precisely. For any subset of a compact metric state space, finite cardinality is equivalent to the existence of a uniform nonzero minimum separation between distinct states. Thus uniform state separation is not an independent weaker substitute for finite state cardinality within compact state geometry, but its metric equivalent. For density operators on a d-dimensional Hilbert space equipped with trace distance, a delta-separated complete-state set satisfies the explicit packing bound |S| <= (1 + 2/delta)^(d^2 - 1). When such a finite complete-state representation is combined with bijective autonomous dynamics, the finite-state recurrence result established in DLST Ver.7.0.0 implies an exact finite period P such that F^P = id. The paper further separates exact finite recurrence from finite-dimensional quantum unitarity. An irrational-eigenphase unitary provides a counterexample showing that finite-dimensional unitary evolution need not possess finite global order even modulo global phase. Approximate quantum recurrence therefore remains mathematically distinct from exact recurrence generated by a permutation of a finite state set. We also formulate exact recurrence on finite dynamically closed quotient spaces, distinguishing operational or equivalence-class recurrence from recurrence of complete ontic states. These results clarify the roles of entropy bounds, causal-diamond arguments, compact quantum state geometry, state distinguishability, uniform discreteness, and reversible finite dynamics in DLST. Entropy bounds and finite-dimensional quantum mechanics motivate finite-information descriptions but do not by themselves establish finite complete-state cardinality. The remaining physical question is whether fundamental physics independently supplies a finite complete-state space, a physically meaningful uniform state separation, or a finite dynamically closed quotient. DLST Ver.8.0.0 therefore identifies the precise mathematical boundary between finite information capacity and exact recurrence while explicitly isolating the additional physical structure required to cross it.
Abstract We present DLST Ver.11.0.0, a compact recurrence-classification framework for exact physical histories, relational time, and relativistic closure. Ver.11 explicitly corrects the earlier interpretation of DLST: finite signal speed, microscopic length, compactness, finite entropy, finite Hilbert dimension, or a discrete evolution label do not by themselves establish a fundamental discrete clock or exact recurrence. The central objects are instead the physical identity space, the stabilizer of an individual state, and the common global kernel of the evolution. This separates state-specific recurrence, universal recurrence, gauge stationarity, and observational indistinguishability. For autonomous discrete quantum evolution, we prove that a common exact projective return for all pure-state rays and density operators exists if and only if the one-step projective update [U] is a torsion element of PU(H), equivalently U^N = exp(i phi) I for some finite N. Membership in a finite projective unitary subgroup is therefore a sufficient special case. Finite-volume exact Clifford dynamics on finitely many prime-dimensional qudits provides an explicit conditional realization: the projective Clifford group is finite, so an exact Clifford quantum cellular automaton has a nonzero common recurrence period. This bridge does not require a finite quantum-state cardinality. Its scope is exact and finite-volume; infinite-lattice Clifford QCA or arbitrarily small irrational non-Clifford phases need not recur globally. Complementary positive criteria are given by finite same-law closure and spectral commensurability. For unitary evolution, exact recurrence of an occupied state requires its active eigenphase or energy differences to lie on a common arithmetic lattice. These results clarify why finite-dimensional Hilbert space alone is insufficient: exact recurrence is controlled by projective order and spectral arithmetic rather than vector-space dimension. The relativistic obstruction side is strengthened. In 1+d-dimensional Poincare-covariant quantum dynamics with d >= 2, if the scalar/projective translation kernel contains any nonzero translation—timelike, spacelike, or null—Lorentz covariance and additivity force the entire translation subgroup into the kernel. Hence a nontrivial translation representation cannot possess a nonzero universal spacetime period. A related connected simple-group obstruction excludes noncentral universal projective periods under the stated representation hypotheses. For relativistic scattering sectors, Haag-Ruelle wave-operator equivalence transfers the asymptotic energy spectral measure to the interacting sector. A nonzero non-atomic energy component is incompatible with the affine spectral lattice required for exact projective return, yielding an exact nonreturn criterion without assuming that every state belongs to the scattering sector. Independently, any strictly monotone extensional physical witness along the complete admitted history forbids exact recurrence. Ver.11 also proves a finite-window nonidentifiability result: for any finite observation horizon and tolerance, one can construct finite-dimensional Hamiltonians whose propagators remain arbitrarily close throughout the observed interval while belonging to different global recurrence classes. Finite measurement precision therefore cannot replace an exact structural bridge from observed dynamics to all-history recurrence. Related audits show that finite Hilbert dimension, Type II_1 finite-entropy language, gauge stationarity, and cosmological labels are not exact recurrence classifiers by themselves. Finite-dimensional completeness is also incompatible with a nontrivial exact continuous unitary representation of the standard connected de Sitter group under the stated assumptions. The resulting classification contains both positive and negative bridges. Positive exact routes include finite same-law closure, projective torsion, finite-volume exact Clifford QCA, and affine spectral lattices. Obstruction and nonreturn routes include Poincare symmetry, non-atomic scattering spectra, and strict extensional monotonicity. Gauge equivalence, compactness, finite observational windows, and coarse finiteness statements remain nonclassifying without additional physical input. The principal methodological change is therefore a shift from presumed temporal discreteness to fail-closed actuality promotion: a recurrence or nonrecurrence claim is promoted only after the physical identity relation, complete evolution law, and exact all-history bridge have been independently specified. DLST Ver.11.0.0 does not establish that the actual universe is periodic, aperiodic, fundamentally discrete in time, a finite Clifford automaton, or governed by a universal microscopic tick. C4 Ver.1.0.0 and OUROBOROS Ver.2.0.0 remain separate downstream research programs rather than premises of DLST. Deterministic reproducibility checks accompany the release for the finite-projective, Clifford-group, spectral, permutation, and finite-window constructions. These computational audits verify explicit finite examples and implementation details; the analytic theorems remain the scientific basis of the classification. DLST Ver.11.0.0 thus provides a compact framework connecting exact recurrence, dynamical stabilizers, projective unitary torsion, Clifford quantum cellular automata, Poincare symmetry, Haag-Ruelle scattering, operator-algebraic finiteness, de Sitter representation theory, and relational physical time under an explicit claim boundary.
The evolution of an isolated quantum system inevitably exhibits recurrence: the state returns to the vicinity of its initial condition after finite time. Despite its fundamental nature, a rigorous quantitative understanding of recurrence has been lacking. We establish upper bounds on the recurrence time, trec≲texit(ε)(1/ε)d, where d is the Hilbert-space dimension, ε the neighborhood size, and texit(ε) the escape time from this neighborhood. For pure states evolving under a Hamiltonian H, estimating texit is equivalent to an inverse quantum speed limit problem: finding upper bounds on the time a time-evolved state ψt needs to depart from the ε-vicinity of the initial state ψ0. We provide a partial solution, showing that under mild assumptions texit(ε)≈ε/Δ(H2), with Δ(H2) the Hamiltonian variance in ψ0. We show that our upper bound on trec is generically saturated for random Hamiltonians. Finally, we analyze the impact of coherence of the initial state in the eigenbasis of H on recurrence behavior.
Renormalization provides a framework for relating microscopic models of physical systems to effective descriptions at larger length scales. This procedure is studied for the boundary states of non-chiral two-dimensional topologically ordered models. The initial data consist of renormalization fixed points built from representations of finite-dimensional C∗-Hopf algebras, which are then perturbed by uniform on-site noise quantum channels and repeatedly coarse-grained. The resulting flows admit an intrinsic algebraic description in terms of completely positive maps on the C∗-Hopf algebra or, equivalently, positive linear functionals on its enveloping C∗-Hopf algebra. Their iteration is governed by convolution powers, and convergent trajectories yield new matrix product density operator fixed points, described by finite ∗-quantum hypergroups. This provides a concrete physical interpretation of such structures. For finite group algebras and their duals, we provide explicit classifications via Goursat's lemma for groups. Finally, we formulate and prove a quantum generalization of Goursat's lemma for finite-dimensional C∗-Hopf algebras, a result of independent interest, which gives an explicit structural description of all convergent renormalization trajectories.