Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

A Commutator Distance on Nets of von Neumann Subalgebras: Chain Geometry, Exponential Clustering, and Causal Separation

Dev Shorya

Published Jul 9, 2026• 0 citations
Publisher

Abstract

Given a family of von Neumann subalgebras of a fixed factor, we construct an intrinsic distance d(α, β) := -log(Δ(α, β)/2), defined purely from the supremum of commutator norms between unit-ball elements, with no reference to operator-norm proximity, Lip-norms, or spectral triples. We first determine the metric structure of this invariant: the quasi-triangle inequality d(α, γ) ≤ d(α, β) + d(β, γ) + log 2 holds unconditionally on totally ordered subfamilies A_α ⊆ A_β ⊆ A_γ and fails for non-nested triples, with an explicit M2(C) counterexample using the tracial state, giving a sharp chain-versus-general dichotomy. Our main result is an exponential clustering theorem: if the dynamics is implemented by a positive Hamiltonian with spectral gap γ and unique invariant vector, and if d(θ_s(A_α), A_β) = +∞ for all |s| ≤ τ, then the full connected correlator obeys |ω(AB) - ω(A)ω(B)| ≤ (1 + 2/(πγτ)) e^(-γτ/2) for unit-ball A, B: cluster decomposition emerges from commutator data plus a spectral gap, with no metric input. This upgrades the elementary antisymmetric bound |ω(AB) - ω(BA)| ≤ 2e^(-d(α,β)), which cannot be extended to the symmetric part by commutator methods alone; the pair (d, τ) defines an emergent causal cone on the net. As an application to algebraic quantum field theory, within a Haag–Kastler net satisfying Einstein causality and a causal-faithfulness hypothesis, d(O1, O2) = +∞ if and only if O1 and O2 are spacelike separated. The distance is invariant under every automorphism that permutes the net, in particular under modular flow, and the construction applies to factors of all Murray–von Neumann types, including the Type III1 factors of relativistic quantum field theory.

DOI
10.5281/zenodo.21279096

Related papers

Essential Duality and Quantitative Channel Composability in Algebraic Quantum Field Theory

Hassan Nasreddine

Let \(O\mapsto A(O)\) be a local Haag--Kastler net and let \(A^d(O)=A(O')'\) be its dual net. Normal unital completely positive maps on \(B(H)\) that fix \(A(O')\) pointwise are exactly the channels with Kraus operators in \(A^d(O)\). Thus Haag duality at \(O\) is equivalent to equality with the \(A(O)\)-inner channels, while essential duality is equivalent to order-independence of the corresponding causal-complement channel classes at spacelike separation. For self-adjoint generators \(a\in M\) and \(b\in N\), the small-parameter order defect has coefficient \(\operatorname{diam}σ(-i[a,b])\). Uniform optimization gives \(Γ(M,N)=2Δ_{\mathrm{sa}}(M,N)\), and reversible inner-channel cb balls recover the same invariant through \(\lim_{\varepsilon\downarrow0}Ω^{\mathrm{rev}}_\varepsilon(M,N)/\varepsilon^2=Γ(M,N)/4\). The full inner-channel class admits a normalized coefficient with the same commutativity zero set. With a positive reference observable \(G\), the mean-input-energy-constrained coefficient \(Γ_{G,E}\) has the same zero criterion and increases to \(Γ\) as \(E\to\infty\), while no model-independent recovery rate follows from the general von Neumann-algebraic hypotheses. For bosonic second-quantization nets the spacelike defect is either \(0\) or \(4\); generalized free-field examples realize both branches. In the translation-covariant case with positive one-particle time generator, failure of essential duality admits extremal bounded witness flows that are energy-limited relative to the second-quantized time-translation energy.

quant-pharXiv:2605.00075•May 1, 2026•0 citations

Crossed product algebras and generalized entropy for subregions

Shadi Ali Ahmad, Ro Jefferson

An early result of algebraic quantum field theory is that the algebra of any subregion in a QFT is a von Neumann factor of type III _{1} 1 , in which entropy cannot be well-defined because such algebras do not admit a trace or density states. However, associated to the algebra is a modular group of automorphisms characterizing the local dynamics of degrees of freedom in the region, and the crossed product of the algebra with its modular group yields a type II _∞ ∞ factor, in which traces and hence von Neumann entropy can be well-defined. In this work, we generalize recent constructions of the crossed product algebra for the TFD to, in principle, arbitrary spacetime regions in arbitrary QFTs, formally paving the way to the study of entanglement entropy without UV divergences. In contrast to previous works, we emphasize that this construction is independent of gravity. In this sense, the crossed product construction represents a refinement of Haag’s assignment of nets of observable algebras to spacetime regions by providing a natural construction of a type II factor. We present several concrete examples: a QFT in Rindler space, a CFT in an open ball of Minkowski space, and arbitrary boundary subregions in AdS/CFT. In the holographic setting, we provide a novel argument for why the bulk dual must be the entanglement wedge, and discuss the distinction arising from boundary modular flow between causal and entanglement wedges for excited states and disjoint regions.

arXiv:2306.07323•SciPost Physics Core•Apr 10, 2024•39 citations

Modular Locality Criterion: Quantifying the Nonlocality of Entanglement Hamiltonians via Collar Leakage and Interior–Exterior Coupling Obstructions

SIKX HILTON

The modular Hamiltonian KA := − log ∆A is canonical in modular theory butgenerically nonlocal in quantum field theory, with exact locality restricted to specialcases such as the Bisognano–Wichmann theorem for Rindler wedges and the Casini–Huerta–Myers result for balls in CFT vacua. We introduce an operational algebraicdiagnostic for quasi-local modular behavior based on nested collar algebras A(0) ⊂ A(δ)and define the modular leakage functional Λ(δ; t) measuring how far the outer modularflow σA(δ)t pushes inner observables out of A(0). From this we define the modularleakage exponent αT , quantifying the best power-law suppression of leakage as thecollar thickness δ → 0+ on a fixed modular-time window |t| ≤ T . Exact localitycorresponds to αT = ∞. Our main structural result is an interior–exterior obstruction:leakage controls the strength of modularly-induced couplings between the deep interiorA(0) and the exterior algebra A(δ)′. In particular, if αT > 1 (superlinear leakagesuppression), then the interior–exterior commutator witness decays superlinearly in δ,ruling out any effective modular generator whose leading interior–exterior couplingwould produce an O(δ) (or stronger) commutator signal. This converts qualitative“nonlocality of entanglement Hamiltonians” into a falsifiable algebraic constraintwithout reference to stress tensors or background manifolds.

•Mar 10, 2026•0 citations

Cohomological Aspects of Entanglement Entropy: From Information Theory to Noncommutative Geometry

Radoslav C. Rashkov

We develop a cohomological framework for entanglement entropy that unifies information theory, operator algebras, and noncommutative geometry. Entropy is a 1-cocycle in information cohomology; we generalize this to the quantum setting via Hochschild and cyclic cohomology. For an inclusion of von Neumann algebras N contained in M with a faithful normal state w admitting a cyclic and separating vector, and a conditional expectation E: M -> N (whose existence is equivalent to modular invariance of N by Takesaki's theorem), we construct the entanglement complex as the image of the transgression map tau_w on the relative cyclic complex, where A is a dense *-subalgebra of M and B = A intersect N. Our main result identifies entanglement cohomology with the kernel of the restriction map HC*(A) -> HC*(B), up to the connecting homomorphism d of the long exact sequence of the pair (A,B); when d = 0, the identification is exact. The relative modular cocycle u_t = (Dw : D(w|_N) o E)_t generates explicit entanglement classes when E is not w-invariant, with the Araki relative entropy as its infinitesimal generator. The framework accommodates Type III von Neumann algebras, where no local density matrix exists, and leads to a holographic proposal: a subspace of H^1_ent is conjecturally dual to linearized modular Hamiltonian perturbations of the bulk entanglement wedge. We verify the construction in finite-dimensional, type II_1, and type III_1 examples.

arXiv:2609.17195•Sep 15, 2026•0 citations

A note on unitary invariance of Connes spectral distances of quantum states

Bing-Sheng Lin, Ji-Hong Wang, Zhi-Kang You

In this paper, we study the properties of Connes spectral distances between quantum states under unitary transformations. We mainly focus on spectral triples with matrix algebras acting on finite dimensional Hilbert spaces. We prove that there are some finite spectral triples in which the Lipschitz seminorms are equal to the operator norms. We also explicitly construct some spectral triples in which the Connes spectral distances between quantum states are exactly the quantum trace distances. These results are helpful for us to better study the relationships among Connes spectral distance, quantum trace distance and other quantum distance measures. These concrete examples are significant for studies of geometric structures of finite spectral triples and mathematical relations of qubits and other quantum states in the framework of noncommutative geometry.

arXiv:2605.13014•May 13, 2026•0 citations

Covariance–Commutator Geometry of Finite-Dimensional Quantum States: A Rigorous Symplectic Spectral Framework

Halil Özbil

This study develops a rigorous symplectic spectral framework for analyzing the relationship between the covariance matrix and an invertible antisymmetric commutator form in finite-dimensional quantum systems. The earlier positive-eigenvalue interpretation based directly on is replaced by the Hermitian operator H(\Sigma,\Omega) = i\Sigma^{1/2}\Omega^{-1}\Sigma^{1/2}. It is shown that the spectrum of this operator is real, symmetric about zero, and composed of pairs , where the positive quantities are the symplectic eigenvalues of relative to . The study defines the Özbil symplectic gap as g_{\mathrm{Ö}}(\Sigma,\Omega) = \min_j \nu_j, and proves that under the strict Robertson–Schrödinger condition, \Sigma+\frac{i}{2}\Omega>0 \quad\Longrightarrow\quad g_{\mathrm{Ö}}(\Sigma,\Omega)>\frac12. The paper also establishes the invariance of this quantity under simultaneous coordinate transformations, determinant and trace identities, continuity in the operator norm, and local Lipschitz stability on uniformly positive classes of covariance matrices. The scope of the result is stated explicitly. The derived quantity is not a Hamiltonian energy gap, a construction of a continuum quantum field theory, or a proof of the Yang–Mills mass gap. Instead, the work introduces a rigorous finite-dimensional geometric invariant for covariance–commutator pairs and outlines a research programme for extending the framework to finite-volume lattice systems, constructive renormalization-group analysis, and infinite-dimensional operator settings.

•Jul 18, 2026•0 citations
Given a family of von Neumann subalgebras of a fixed factor, we construct an intrinsic distance d(α, β) := -log(Δ(α, β)/2), defined purely from the supremum of commutator norms between unit-ball elements, with no reference to operator-norm proximity, Lip-norms, or spectral triples. We first determine the metric structure of this invariant: the quasi-triangle inequality d(α, γ) ≤ d(α, β) + d(β, γ) + log 2 holds unconditionally on totally ordered subfamilies A_α ⊆ A_β ⊆ A_γ and fails for non-nested triples, with an explicit M2(C) counterexample using the tracial state, giving a sharp chain-versus-general dichotomy. Our main result is an exponential clustering theorem: if the dynamics is implemented by a positive Hamiltonian with spectral gap γ and unique invariant vector, and if d(θ_s(A_α), A_β) = +∞ for all |s| ≤ τ, then the full connected correlator obeys |ω(AB) - ω(A)ω(B)| ≤ (1 + 2/(πγτ)) e^(-γτ/2) for unit-ball A, B: cluster decomposition emerges from commutator data plus a spectral gap, with no metric input. This upgrades the elementary antisymmetric bound |ω(AB) - ω(BA)| ≤ 2e^(-d(α,β)), which cannot be extended to the symmetric part by commutator methods alone; the pair (d, τ) defines an emergent causal cone on the net. As an application to algebraic quantum field theory, within a Haag–Kastler net satisfying Einstein causality and a causal-faithfulness hypothesis, d(O1, O2) = +∞ if and only if O1 and O2 are spacelike separated. The distance is invariant under every automorphism that permutes the net, in particular under modular flow, and the construction applies to factors of all Murray–von Neumann types, including the Type III1 factors of relativistic quantum field theory.
Let O↦A(O)O\mapsto A(O)O↦A(O) be a local Haag--Kastler net and let Ad(O)=A(O′)′A^d(O)=A(O')'Ad(O)=A(O′)′ be its dual net. Normal unital completely positive maps on B(H)B(H)B(H) that fix A(O′)A(O')A(O′) pointwise are exactly the channels with Kraus operators in Ad(O)A^d(O)Ad(O). Thus Haag duality at OOO is equivalent to equality with the A(O)A(O)A(O)-inner channels, while essential duality is equivalent to order-independence of the corresponding causal-complement channel classes at spacelike separation. For self-adjoint generators a∈Ma\in Ma∈M and b∈Nb\in Nb∈N, the small-parameter order defect has coefficient diam⁡σ(−i[a,b])\operatorname{diam}σ(-i[a,b])diamσ(−i[a,b]). Uniform optimization gives Γ(M,N)=2Δsa(M,N)Γ(M,N)=2Δ_{\mathrm{sa}}(M,N)Γ(M,N)=2Δsa​(M,N), and reversible inner-channel cb balls recover the same invariant through lim⁡ε↓0Ωεrev(M,N)/ε2=Γ(M,N)/4\lim_{\varepsilon\downarrow0}Ω^{\mathrm{rev}}_\varepsilon(M,N)/\varepsilon^2=Γ(M,N)/4limε↓0​Ωεrev​(M,N)/ε2=Γ(M,N)/4. The full inner-channel class admits a normalized coefficient with the same commutativity zero set. With a positive reference observable GGG, the mean-input-energy-constrained coefficient ΓG,EΓ_{G,E}ΓG,E​ has the same zero criterion and increases to ΓΓΓ as E→∞E\to\inftyE→∞, while no model-independent recovery rate follows from the general von Neumann-algebraic hypotheses. For bosonic second-quantization nets the spacelike defect is either 000 or 444; generalized free-field examples realize both branches. In the translation-covariant case with positive one-particle time generator, failure of essential duality admits extremal bounded witness flows that are energy-limited relative to the second-quantized time-translation energy.
An early result of algebraic quantum field theory is that the algebra of any subregion in a QFT is a von Neumann factor of type III _{1} 1 , in which entropy cannot be well-defined because such algebras do not admit a trace or density states. However, associated to the algebra is a modular group of automorphisms characterizing the local dynamics of degrees of freedom in the region, and the crossed product of the algebra with its modular group yields a type II _∞ ∞ factor, in which traces and hence von Neumann entropy can be well-defined. In this work, we generalize recent constructions of the crossed product algebra for the TFD to, in principle, arbitrary spacetime regions in arbitrary QFTs, formally paving the way to the study of entanglement entropy without UV divergences. In contrast to previous works, we emphasize that this construction is independent of gravity. In this sense, the crossed product construction represents a refinement of Haag’s assignment of nets of observable algebras to spacetime regions by providing a natural construction of a type II factor. We present several concrete examples: a QFT in Rindler space, a CFT in an open ball of Minkowski space, and arbitrary boundary subregions in AdS/CFT. In the holographic setting, we provide a novel argument for why the bulk dual must be the entanglement wedge, and discuss the distinction arising from boundary modular flow between causal and entanglement wedges for excited states and disjoint regions.
The modular Hamiltonian KA := − log ∆A is canonical in modular theory butgenerically nonlocal in quantum field theory, with exact locality restricted to specialcases such as the Bisognano–Wichmann theorem for Rindler wedges and the Casini–Huerta–Myers result for balls in CFT vacua. We introduce an operational algebraicdiagnostic for quasi-local modular behavior based on nested collar algebras A(0) ⊂ A(δ)and define the modular leakage functional Λ(δ; t) measuring how far the outer modularflow σA(δ)t pushes inner observables out of A(0). From this we define the modularleakage exponent αT , quantifying the best power-law suppression of leakage as thecollar thickness δ → 0+ on a fixed modular-time window |t| ≤ T . Exact localitycorresponds to αT = ∞. Our main structural result is an interior–exterior obstruction:leakage controls the strength of modularly-induced couplings between the deep interiorA(0) and the exterior algebra A(δ)′. In particular, if αT > 1 (superlinear leakagesuppression), then the interior–exterior commutator witness decays superlinearly in δ,ruling out any effective modular generator whose leading interior–exterior couplingwould produce an O(δ) (or stronger) commutator signal. This converts qualitative“nonlocality of entanglement Hamiltonians” into a falsifiable algebraic constraintwithout reference to stress tensors or background manifolds.
We develop a cohomological framework for entanglement entropy that unifies information theory, operator algebras, and noncommutative geometry. Entropy is a 1-cocycle in information cohomology; we generalize this to the quantum setting via Hochschild and cyclic cohomology. For an inclusion of von Neumann algebras N contained in M with a faithful normal state w admitting a cyclic and separating vector, and a conditional expectation E: M -> N (whose existence is equivalent to modular invariance of N by Takesaki's theorem), we construct the entanglement complex as the image of the transgression map tau_w on the relative cyclic complex, where A is a dense *-subalgebra of M and B = A intersect N. Our main result identifies entanglement cohomology with the kernel of the restriction map HC*(A) -> HC*(B), up to the connecting homomorphism d of the long exact sequence of the pair (A,B); when d = 0, the identification is exact. The relative modular cocycle u_t = (Dw : D(w|_N) o E)_t generates explicit entanglement classes when E is not w-invariant, with the Araki relative entropy as its infinitesimal generator. The framework accommodates Type III von Neumann algebras, where no local density matrix exists, and leads to a holographic proposal: a subspace of H^1_ent is conjecturally dual to linearized modular Hamiltonian perturbations of the bulk entanglement wedge. We verify the construction in finite-dimensional, type II_1, and type III_1 examples.
In this paper, we study the properties of Connes spectral distances between quantum states under unitary transformations. We mainly focus on spectral triples with matrix algebras acting on finite dimensional Hilbert spaces. We prove that there are some finite spectral triples in which the Lipschitz seminorms are equal to the operator norms. We also explicitly construct some spectral triples in which the Connes spectral distances between quantum states are exactly the quantum trace distances. These results are helpful for us to better study the relationships among Connes spectral distance, quantum trace distance and other quantum distance measures. These concrete examples are significant for studies of geometric structures of finite spectral triples and mathematical relations of qubits and other quantum states in the framework of noncommutative geometry.
This study develops a rigorous symplectic spectral framework for analyzing the relationship between the covariance matrix and an invertible antisymmetric commutator form in finite-dimensional quantum systems. The earlier positive-eigenvalue interpretation based directly on is replaced by the Hermitian operator H(\Sigma,\Omega) = i\Sigma^{1/2}\Omega^{-1}\Sigma^{1/2}. It is shown that the spectrum of this operator is real, symmetric about zero, and composed of pairs , where the positive quantities are the symplectic eigenvalues of relative to . The study defines the Özbil symplectic gap as g_{\mathrm{Ö}}(\Sigma,\Omega) = \min_j \nu_j, and proves that under the strict Robertson–Schrödinger condition, \Sigma+\frac{i}{2}\Omega>0 \quad\Longrightarrow\quad g_{\mathrm{Ö}}(\Sigma,\Omega)>\frac12. The paper also establishes the invariance of this quantity under simultaneous coordinate transformations, determinant and trace identities, continuity in the operator norm, and local Lipschitz stability on uniformly positive classes of covariance matrices. The scope of the result is stated explicitly. The derived quantity is not a Hamiltonian energy gap, a construction of a continuum quantum field theory, or a proof of the Yang–Mills mass gap. Instead, the work introduces a rigorous finite-dimensional geometric invariant for covariance–commutator pairs and outlines a research programme for extending the framework to finite-volume lattice systems, constructive renormalization-group analysis, and infinite-dimensional operator settings.