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

Theory of Quantum Entanglement of Particles: Multiscale Graph States, Region Geometry, Quantum Error Correction, and the Effective-Space Hypothesis

Евгений Багимов

Published Oct 28, 2026• 0 citations
Publisher

Abstract

Theory of Quantum Entanglement of Particles: Multiscale Graph States, Region Geometry, Quantum Error Correction, and the Effective-Space Hypothesis Abstract This study develops a finite-dimensional, computationally testable framework for examining how multiscale graph structure organizes quantum entanglement and the accessibility of logical information. For the circulant graph family G_N, where N = 2ⁿ, n ≥ 3, and edge offsets are 1, 2, 4, …, N/2, an analytic proof establishes that the binary adjacency matrix across every contiguous block A of length L ≤ N/2 has rank L over F₂. For the associated graph states, this yields S(A) = min(L, N − L). For G₈, the study enumerates 238 proper connected vertex subsets ("tubes") and 32,640 maximal tubings and computes the entanglement entropy of every tube. Explicit bit-flip and phase-dual quantum error-correcting code embeddings are examined under specified Pauli-noise and erasure models, showing that recovery performance depends on the encoding, error model, and decoder class, not on graph-state entropy alone. The dynamical component, M1-Green, models a four-dimensional logical code coupled to eight intermediary bosonic modes and sequential collision-bin output registers. At selected resonantly matched parameter settings and T = 120/K, the computed mutual information I(Ref:R) reaches 3.9414 bits for G₈ and 3.8876 bits for C₈, below the four-bit upper bound. The study also reports a verified finite-step symmetry for C₈ in the tested setup, Petz recovery, and a numerical semidefinite-programming interval of 0.235788–0.245982 for recovery fidelity in a specified 69-dimensional output-space formulation. A one-port Page-like model, a random-unitary scrambling benchmark, and a two-sided mediated channel are treated as distinct models. The accompanying compact archive provides scripts, data tables, figures, and numerical certificates. The effective-space interpretation remains a hypothesis; global recovery optimality and independent experimental validation are not claimed. Keywords: quantum entanglement; graph states; multiscale graphs; circulant graphs; entanglement entropy; graph associahedra; quantum error correction; erasure channels; logical information recovery; collision-bin dynamics; Petz recovery map; semidefinite programming; quantum scrambling; effective geometry.

DOI
10.5281/zenodo.23740865

Related papers

Area Theorems for Quantum Error Correction

Avijit Mandal, Mert Gökduman, Henry D. Pfister

The extrinsic information transfer (EXIT) and generalized EXIT (GEXIT) area theorems provide fundamental conservation laws that connect the rate of classical codes to the performance of maximum-a-posteriori decoding on binary memoryless channels. In this work, we generalize these area theorems to quantum error correction. We first develop a coset-entropy formalism for nested linear codes, where the message specifies a coset and encoder randomization selects a codeword within that coset. The area under the resulting coset (G)EXIT function equals the normalized dimension of the quotient. For stabilizer codes, the measured syndrome restricts the Pauli error but does not always determine its logical effect, and the remaining uncertainty is an entropy over logical correction classes. We show that this entropy equals a classical coset entropy associated with the stabilizer group and the Pauli operators that commute with it. The resulting quantum GEXIT function has area equal to the number of encoded qubits per channel use for any stabilizer code, and this applies to the depolarizing channel through its joint four-valued Pauli-error distribution. For CSS codes on the quantum erasure channel and under independent bit- and phase-flip noise, the logical correction problem separates into two binary coset-decoding problems. On the quantum erasure channel, the duality between the stabilizer group and the Pauli operators that commute with it gives a folding identity at complementary erasure probabilities. Using this and the area theorem, we derive an upper bound on the rate of code families with vanishing logical error probability that matches the capacity of the quantum erasure channel. For the depolarizing channel, we also derive a rate-dependent converse, using a connection between correction-class entropy and coherent information to establish an inequality involving the complementary channel.

cs.ITCross-listedarXiv:2610.22710•Oct 19, 2026•0 citations

Entanglement Classification in the Graph States: The generalization to $n$-Qubits States using the Entanglement Matrix

S. Sharma

Graph states represent a significant class of multi-partite entangled quantum states with applications in quantum error correction, quantum communication, and quantum computation. In this work, we introduce a novel formalism called the Entanglement Matrix for quantifying and classifying entanglement in n-qubit graph states. Leveraging concepts from graph theory and quantum information, we develop a systematic approach to analyze entanglement by identifying primary and secondary midpoints in graph representations, where midpoints correspond to controlled-Z gate operations between qubits. Using Von Neumann entropy as our measure, we derive precise mathematical relationships for maximum entanglement in graph states as a function of qubit number. Our analysis reveals that entanglement follows a quadratic relationship with the number of qubits, but with distinct behaviors for odd versus even qubit systems. For odd n-qubit graph states, maximum entanglement follows $E_{\max} = n^2 - n$, while even n-qubit states exhibit higher entanglement with varying formulae depending on specific configurations. Notably, systems with qubit counts that are multiples of 12 demonstrate enhanced entanglement properties. This comprehensive classification framework provides valuable insights into the structure of multi-qubit entanglement, establishing an analytical foundation for understanding entanglement distribution in complex quantum systems that may inform future quantum technologies.

arXiv:2507.11458•Jul 15, 2025•0 citations

Graph-based approach to entanglement entropy of quantum error-correcting codes

Wuxu Zhao, Menglong Fang, Daiqin Su

We develop a graph-based method to study the entanglement entropy of Calderbank-Shor-Steane quantum codes. This method offers a straightforward interpretation for the entanglement entropy of quantum error correcting codes through graph-theoretical concepts, shedding light on the origins of both the local and long-range entanglement. Furthermore, it inspires an efficient computational scheme for evaluating the entanglement entropy. We illustrate the method by calculating the von Neumann entropy of subsystems in toric codes and two types of quantum low-density-parity check codes, and by comparing the scaling behavior of the entanglement entropy with respect to the subsystem size. Our method provides a new perspective for understanding the entanglement structure in quantum many-body systems.

arXiv:2501.06407•Physical Review A•Apr 7, 2026•0 citations

Reproducibility Package for "Phase Curvature and Assumption-Budgeted Certification in Gravity-Mediated Entanglement" — Version v1.0

Byoungwoo Lee

This repository contains the computational reproducibility and verification package accompanying the frozen Version v1.0 manuscript: “Phase Curvature and Assumption-Budgeted Certification in Gravity-Mediated Entanglement.” The associated manuscript develops an operational certification framework for gravity-mediated entanglement experiments. Its central aim is to quantify when an observed entanglement signal excludes a specified neighborhood of local classical-mediator models under explicit assumptions and separately controlled nuisance channels. The package supports the manuscript’s analytical and numerical results concerning: gauge-invariant nonseparable phase curvature for diagonal two-path interactions; exact concurrence and separability-distance formulas for pure two-qubit outputs; assumption-budgeted exclusion bounds around the classical-mediator free class; primal and dual PPT/semidefinite-program certification; finite-shot confidence bounds for experimentally accessible Pauli correlators; certified residual bounds for physically compensated coherent nuisance interactions; stochastic geometry and Casimir–Polder uncertainty budgets; matter-bypass and common-auxiliary-channel bookkeeping; circular-shield mode analysis, including the azimuthal matched-null obstruction; thermal shield-channel factorization; finite-footprint high-mode suppression; an analytic positive high-mode tail bound for the shield benchmark; and a conservative outward-rounded audit of the finite numerical mode block. The frozen manuscript does not claim that a particular experimental apparatus has already closed every systematic-error channel. Quantities such as preparation error, matter-channel leakage, shield-model discrepancy, control error, and readout error remain apparatus-dependent inputs to the certification framework. Package contents The archive includes: the frozen Version v1.0 manuscript source; deterministic verification scripts for the theorem-core identities; finite-shot and Casimir–Polder statistical/geometry checks; shield-mode and analytic-tail verification; conservative floating-point interval/audit checks; submission-interface regression checks; machine-readable verification reports; and a SHA256 manifest for file-integrity verification. All verification scripts distributed with the Version v1.0 package return PASS under the documented software environment. The numerical audit is intended as a transparent reproducibility layer for the stated model calculations. It should not be interpreted as a formal interval-special-function proof or as certification of a realized experimental apparatus.

•Aug 7, 2026•0 citations

Fault tolerance of quantum circuits with tensor networks and symplectic geometry

Soham Ghosh, Holger Boche, Andrew Tanggara

We develop an operator-algebraic framework for analyzing fault tolerance in quantum circuits and establish necessary and sufficient conditions for exact recovery of the ideal computation under a prescribed noise model. For prescribed circuit families and noise models, we derive a semidefinite program (SDP) based test whose infeasibility certifies that there does not exist any recovery map restoring its intended operation. For non-adaptive stabilizer circuits, analyzing the stabilizer symmetries of its components with symplectic geometry, we obtain closed-form detection and logical-effect matrices that characterize circuit distance algebraically. Applied to a finite Hastings--Haah honeycomb Floquet-code circuit, these matrices certify the dynamical encoding of two logical qubits and distance four under Pauli noise including measurement errors. Using these matrices, we then derive MacWilliams identities for circuit weight enumerators and obtain linear-programming (LP) upper bounds on circuit distance. Output-code constraints give additional Singleton-like bounds. Under independent and identically distributed (i.i.d.) depolarizing noise, the weight enumerators determine decoder failure probabilities and yield upper bounds on circuit pseudothresholds. Finally, we derive LP distance bounds for families of flag syndrome-extraction circuits specified by their CNOT orderings, by incorporating the $t$-flag criterion as additional linear constraints to the distance-bounding LP. An analytical CSS Hamming-code benchmark yields a tight distance-three bound attained by the Chao--Reichardt one-flag construction.

quant-pharXiv:2610.03429•Oct 5, 2026•0 citations

Multiparty entanglement in graph states

M. Hein, Jens Eisert, Hans J. Briegel

Graph states are multiparticle entangled states that correspond to mathematical graphs, where the vertices of the graph take the role of quantum spin systems and edges represent Ising interactions. They are many-body spin states of distributed quantum systems that play a significant role in quantum error correction, multiparty quantum communication, and quantum computation within the framework of the one-way quantum computer. We characterize and quantify the genuine multiparticle entanglement of such graph states in terms of the Schmidt measure, to which we provide upper and lower bounds in graph theoretical terms. Several examples and classes of graphs will be discussed, where these bounds coincide. These examples include trees, cluster states of different dimensions, graphs that occur in quantum error correction, such as the concatenated [7,1,3]-CSS code, and a graph associated with the quantum Fourier transform in the one-way computer. We also present general transformation rules for graphs when local Pauli measurements are applied, and give criteria for the equivalence of two graphs up to local unitary transformations, employing the stabilizer formalism. For graphs of up to seven vertices we provide complete characterization modulo local unitary transformations and graph isomorphisms.

arXiv:quant-ph/0307130•Physical Review A•Jun 9, 2004•1,035 citations
Theory of Quantum Entanglement of Particles: Multiscale Graph States, Region Geometry, Quantum Error Correction, and the Effective-Space Hypothesis Abstract This study develops a finite-dimensional, computationally testable framework for examining how multiscale graph structure organizes quantum entanglement and the accessibility of logical information. For the circulant graph family G_N, where N = 2ⁿ, n ≥ 3, and edge offsets are 1, 2, 4, …, N/2, an analytic proof establishes that the binary adjacency matrix across every contiguous block A of length L ≤ N/2 has rank L over F₂. For the associated graph states, this yields S(A) = min(L, N − L). For G₈, the study enumerates 238 proper connected vertex subsets ("tubes") and 32,640 maximal tubings and computes the entanglement entropy of every tube. Explicit bit-flip and phase-dual quantum error-correcting code embeddings are examined under specified Pauli-noise and erasure models, showing that recovery performance depends on the encoding, error model, and decoder class, not on graph-state entropy alone. The dynamical component, M1-Green, models a four-dimensional logical code coupled to eight intermediary bosonic modes and sequential collision-bin output registers. At selected resonantly matched parameter settings and T = 120/K, the computed mutual information I(Ref:R) reaches 3.9414 bits for G₈ and 3.8876 bits for C₈, below the four-bit upper bound. The study also reports a verified finite-step symmetry for C₈ in the tested setup, Petz recovery, and a numerical semidefinite-programming interval of 0.235788–0.245982 for recovery fidelity in a specified 69-dimensional output-space formulation. A one-port Page-like model, a random-unitary scrambling benchmark, and a two-sided mediated channel are treated as distinct models. The accompanying compact archive provides scripts, data tables, figures, and numerical certificates. The effective-space interpretation remains a hypothesis; global recovery optimality and independent experimental validation are not claimed. Keywords: quantum entanglement; graph states; multiscale graphs; circulant graphs; entanglement entropy; graph associahedra; quantum error correction; erasure channels; logical information recovery; collision-bin dynamics; Petz recovery map; semidefinite programming; quantum scrambling; effective geometry.
The extrinsic information transfer (EXIT) and generalized EXIT (GEXIT) area theorems provide fundamental conservation laws that connect the rate of classical codes to the performance of maximum-a-posteriori decoding on binary memoryless channels. In this work, we generalize these area theorems to quantum error correction. We first develop a coset-entropy formalism for nested linear codes, where the message specifies a coset and encoder randomization selects a codeword within that coset. The area under the resulting coset (G)EXIT function equals the normalized dimension of the quotient. For stabilizer codes, the measured syndrome restricts the Pauli error but does not always determine its logical effect, and the remaining uncertainty is an entropy over logical correction classes. We show that this entropy equals a classical coset entropy associated with the stabilizer group and the Pauli operators that commute with it. The resulting quantum GEXIT function has area equal to the number of encoded qubits per channel use for any stabilizer code, and this applies to the depolarizing channel through its joint four-valued Pauli-error distribution. For CSS codes on the quantum erasure channel and under independent bit- and phase-flip noise, the logical correction problem separates into two binary coset-decoding problems. On the quantum erasure channel, the duality between the stabilizer group and the Pauli operators that commute with it gives a folding identity at complementary erasure probabilities. Using this and the area theorem, we derive an upper bound on the rate of code families with vanishing logical error probability that matches the capacity of the quantum erasure channel. For the depolarizing channel, we also derive a rate-dependent converse, using a connection between correction-class entropy and coherent information to establish an inequality involving the complementary channel.
Entanglement Classification in the Graph States: The generalization to nnn-Qubits States using the Entanglement Matrix
Graph states represent a significant class of multi-partite entangled quantum states with applications in quantum error correction, quantum communication, and quantum computation. In this work, we introduce a novel formalism called the Entanglement Matrix for quantifying and classifying entanglement in n-qubit graph states. Leveraging concepts from graph theory and quantum information, we develop a systematic approach to analyze entanglement by identifying primary and secondary midpoints in graph representations, where midpoints correspond to controlled-Z gate operations between qubits. Using Von Neumann entropy as our measure, we derive precise mathematical relationships for maximum entanglement in graph states as a function of qubit number. Our analysis reveals that entanglement follows a quadratic relationship with the number of qubits, but with distinct behaviors for odd versus even qubit systems. For odd n-qubit graph states, maximum entanglement follows Emax⁡=n2−nE_{\max} = n^2 - nEmax​=n2−n, while even n-qubit states exhibit higher entanglement with varying formulae depending on specific configurations. Notably, systems with qubit counts that are multiples of 12 demonstrate enhanced entanglement properties. This comprehensive classification framework provides valuable insights into the structure of multi-qubit entanglement, establishing an analytical foundation for understanding entanglement distribution in complex quantum systems that may inform future quantum technologies.
We develop a graph-based method to study the entanglement entropy of Calderbank-Shor-Steane quantum codes. This method offers a straightforward interpretation for the entanglement entropy of quantum error correcting codes through graph-theoretical concepts, shedding light on the origins of both the local and long-range entanglement. Furthermore, it inspires an efficient computational scheme for evaluating the entanglement entropy. We illustrate the method by calculating the von Neumann entropy of subsystems in toric codes and two types of quantum low-density-parity check codes, and by comparing the scaling behavior of the entanglement entropy with respect to the subsystem size. Our method provides a new perspective for understanding the entanglement structure in quantum many-body systems.
This repository contains the computational reproducibility and verification package accompanying the frozen Version v1.0 manuscript: “Phase Curvature and Assumption-Budgeted Certification in Gravity-Mediated Entanglement.” The associated manuscript develops an operational certification framework for gravity-mediated entanglement experiments. Its central aim is to quantify when an observed entanglement signal excludes a specified neighborhood of local classical-mediator models under explicit assumptions and separately controlled nuisance channels. The package supports the manuscript’s analytical and numerical results concerning: gauge-invariant nonseparable phase curvature for diagonal two-path interactions; exact concurrence and separability-distance formulas for pure two-qubit outputs; assumption-budgeted exclusion bounds around the classical-mediator free class; primal and dual PPT/semidefinite-program certification; finite-shot confidence bounds for experimentally accessible Pauli correlators; certified residual bounds for physically compensated coherent nuisance interactions; stochastic geometry and Casimir–Polder uncertainty budgets; matter-bypass and common-auxiliary-channel bookkeeping; circular-shield mode analysis, including the azimuthal matched-null obstruction; thermal shield-channel factorization; finite-footprint high-mode suppression; an analytic positive high-mode tail bound for the shield benchmark; and a conservative outward-rounded audit of the finite numerical mode block. The frozen manuscript does not claim that a particular experimental apparatus has already closed every systematic-error channel. Quantities such as preparation error, matter-channel leakage, shield-model discrepancy, control error, and readout error remain apparatus-dependent inputs to the certification framework. Package contents The archive includes: the frozen Version v1.0 manuscript source; deterministic verification scripts for the theorem-core identities; finite-shot and Casimir–Polder statistical/geometry checks; shield-mode and analytic-tail verification; conservative floating-point interval/audit checks; submission-interface regression checks; machine-readable verification reports; and a SHA256 manifest for file-integrity verification. All verification scripts distributed with the Version v1.0 package return PASS under the documented software environment. The numerical audit is intended as a transparent reproducibility layer for the stated model calculations. It should not be interpreted as a formal interval-special-function proof or as certification of a realized experimental apparatus.
We develop an operator-algebraic framework for analyzing fault tolerance in quantum circuits and establish necessary and sufficient conditions for exact recovery of the ideal computation under a prescribed noise model. For prescribed circuit families and noise models, we derive a semidefinite program (SDP) based test whose infeasibility certifies that there does not exist any recovery map restoring its intended operation. For non-adaptive stabilizer circuits, analyzing the stabilizer symmetries of its components with symplectic geometry, we obtain closed-form detection and logical-effect matrices that characterize circuit distance algebraically. Applied to a finite Hastings--Haah honeycomb Floquet-code circuit, these matrices certify the dynamical encoding of two logical qubits and distance four under Pauli noise including measurement errors. Using these matrices, we then derive MacWilliams identities for circuit weight enumerators and obtain linear-programming (LP) upper bounds on circuit distance. Output-code constraints give additional Singleton-like bounds. Under independent and identically distributed (i.i.d.) depolarizing noise, the weight enumerators determine decoder failure probabilities and yield upper bounds on circuit pseudothresholds. Finally, we derive LP distance bounds for families of flag syndrome-extraction circuits specified by their CNOT orderings, by incorporating the ttt-flag criterion as additional linear constraints to the distance-bounding LP. An analytical CSS Hamming-code benchmark yields a tight distance-three bound attained by the Chao--Reichardt one-flag construction.
Graph states are multiparticle entangled states that correspond to mathematical graphs, where the vertices of the graph take the role of quantum spin systems and edges represent Ising interactions. They are many-body spin states of distributed quantum systems that play a significant role in quantum error correction, multiparty quantum communication, and quantum computation within the framework of the one-way quantum computer. We characterize and quantify the genuine multiparticle entanglement of such graph states in terms of the Schmidt measure, to which we provide upper and lower bounds in graph theoretical terms. Several examples and classes of graphs will be discussed, where these bounds coincide. These examples include trees, cluster states of different dimensions, graphs that occur in quantum error correction, such as the concatenated [7,1,3]-CSS code, and a graph associated with the quantum Fourier transform in the one-way computer. We also present general transformation rules for graphs when local Pauli measurements are applied, and give criteria for the equivalence of two graphs up to local unitary transformations, employing the stabilizer formalism. For graphs of up to seven vertices we provide complete characterization modulo local unitary transformations and graph isomorphisms.