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

arXiv:1805.05990 · Communications in Mathematical Physics

De Finetti Theorems for Braided Parafermions

Kaifeng Bu, Arthur Jaffe, Zhengwei Liu, Jinsong Wu

Published Oct 25, 2019• 1 citation
arXivHTMLPDF

Abstract

Abstract The classical de Finetti theorem in probability theory relates symmetry under the permutation group with the independence of random variables. This result has application in quantum information. Here we study states that are invariant with respect to a natural action of the braid group, and we emphasize the pictorial formulation and interpretation of our results. We prove a new type of de Finetti theorem for the four-string, double-braid group acting on the parafermion algebra to braid qudits, a natural symmetry in the quon language for quantum information. We prove that a braid-invariant state is extremal if and only if it is a product state. Furthermore, we provide an explicit characterization of braid-invariant states on the parafermion algebra, including finding a distinction that depends on whether the order of the parafermion algebra is square free. We characterize the extremal nature of product states (an inverse de Finetti theorem).

DOI
10.1007/s00220-019-03579-1

Related papers

De Finetti-type theorems on quasi-local algebras and infinite Fermi tensor products

Vitonofrio Crismale, Stefano Rossi, Paola Zurlo

Local actions of [Formula: see text], the group of finite permutations on [Formula: see text], on quasi-local algebras are defined and proved to be [Formula: see text]-abelian. It turns out that invariant states under local actions are automatically even, and extreme invariant states are strongly clustering. Tail algebras of invariant states are shown to obey a form of the Hewitt and Savage theorem, in that they coincide with the fixed-point von Neumann algebra. Infinite graded tensor products of [Formula: see text]-algebras, which include the CAR algebra, are then addressed as particular examples of quasi-local algebras acted upon [Formula: see text] in a natural way. Extreme invariant states are characterized as infinite products of a single even state, and a de Finetti theorem is established. Finally, infinite products of factorial even states are shown to be factorial by applying a twisted version of the tensor product commutation theorem, which is also derived here.

arXiv:2201.02488•Infinite Dimensional Analysis Quantum Probability and Related Topics•Nov 18, 2022•5 citations

De Finetti theorems and entanglement in large- N theories and gravity

Javier M. Magán

The de Finetti theorem and its extensions concern the structure of multipartite probability distributions with certain symmetry properties, the paradigmatic original example being permutation symmetry. These theorems assert that such symmetric distributions are well approximated by convex combinations of uncorrelated ones. In this article, we apply de Finetti theorems to quantum gravity theories, such as the Sachdev-Ye-Kitaev (SYK) model or large-$N$ vector and gauge theories. For SYK we put recent studies of information/entanglement dynamics in a general and rigorous basis. For vector and gauge theories, we describe the classicality of the modular Hamiltonian, its modular flows, and the entanglement entropy. These results can be unified through a generic statement about the nature of Schmidt decompositions and decoherence in large-$N$ theories. In the reverse direction, we extend de Finetti theorems in various ways and provide an independent approach to the theorems only based on the large-$N$ properties of the gauge invariant coherence group.

arXiv:1705.03048•Physical review. D/Physical review. D.•Oct 5, 2017•14 citations

de Finetti reductions for correlations

Rotem Arnon-Friedman, Renato Renner

When analysing quantum information processing protocols, one has to deal with large entangled systems, each consisting of many subsystems. To make this analysis feasible, it is often necessary to identify some additional structures. de Finetti theorems provide such a structure for the case where certain symmetries hold. More precisely, they relate states that are invariant under permutations of subsystems to states in which the subsystems are independent of each other. This relation plays an important role in various areas, e.g., in quantum cryptography or state tomography, where permutation invariant systems are ubiquitous. The known de Finetti theorems usually refer to the internal quantum state of a system and depend on its dimension. Here, we prove a different de Finetti theorem where systems are modelled in terms of their statistics under measurements. This is necessary for a large class of applications widely considered today, such as device independent protocols, where the underlying systems and the dimensions are unknown and the entire analysis is based on the observed correlations.

arXiv:1308.0312•Journal of Mathematical Physics•May 1, 2015•20 citations

Fixed points in de Finetti hierarchies

Gereon Kossmann, Julius A. Zeiss

De Finetti theorems convert permutation symmetry into approximate mixtures of product states and thereby justify a wide range of reductions in classical and quantum statistics. In this work we study de Finetti hierarchies in which the feasible states are additionally constrained to be fixed points of quantum channels, a condition that subsumes invariance under arbitrary compact symmetry groups. Combining the mean-ergodic theorem with the structure theory of conditional expectations, we prove a tight bound on the entanglement-assisted classical capacity of the dual of a conditional expectation, block-wise distortion bounds for informationally complete measurements adapted to fixed point algebras, and an exact type-based refinement of the chain rule for permutation-invariant states. From these tools we derive several de Finetti theorems: a double-sided extension theorem with $O\left(\sqrt{\log n}/n\right)$ convergence, an interpolation theorem whose dimension dependence is governed solely by the block structure of the fixed point algebras and which recovers the dimension-independent classical behavior for maximal tori, and a Bose-symmetric variant. Exploiting Schur-Weyl duality and Gelfand-Tsetlin bases, we further show that the rounding scheme producing certifiably good separable inner approximations for (constrained) separability problems can be implemented in time polynomial in $1/ε$ for fixed local dimensions, complementing the known efficient outer hierarchies. Applications to bilinear optimization under symmetries and to approximate quantum error correction are discussed.

quant-pharXiv:2607.23689•Jul 28, 2026•0 citations

Studying Stabilizer de Finetti Theorems and Possible Applications in Quantum Information Processing

Paula Belzig

Symmetries are of fundamental interest in many areas of science. In quantum information theory, if a quantum state is invariant under permutations of its subsystems, it is a well-known and widely used result that its marginal can be approximated by a mixture of tensor powers of a state on a single subsystem. Applications of this quantum de Finetti theorem range from quantum key distribution (QKD) to quantum state tomography and numerical separability tests. Recently, it has been discovered by Gross, Nezami and Walter that a similar observation can be made for a larger symmetry group than permutations: states that are invariant under stochastic orthogonal symmetry are approximated by tensor powers of stabilizer states, with an exponentially smaller overhead than previously possible. This naturally raises the question if similar improvements could be found for applications where this symmetry appears (or can be enforced). Here, two such examples are investigated.

arXiv:2403.10592•Mar 15, 2024•0 citations

Connecting classical finite exchangeability to quantum theory

Alessio Benavoli, Alessandro Facchini, Marco Zaffalon A

Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. The classical de Finetti's theorem provides a representation of infinitely exchangeable sequences of random variables as mixtures of independent and identically distributed variables. The quantum de Finetti theorem extends this result to symmetric quantum states on tensor product Hilbert spaces. It is well known that both theorems do not hold for finitely exchangeable sequences. The aim of this work is to investigate two lesser-known representation theorems, which were developed in classical probability theory to extend de Finetti's theorem to finitely exchangeable sequences by using quasi-probabilities and quasi-expectations. With the aid of these theorems, we illustrate how a de Finetti-like representation theorem for finitely exchangeable sequences can be formulated through a mathematical representation which is formally equivalent to quantum theory (with boson-symmetric density matrices). We then show a promising application of this connection to the challenge of defining entanglement for indistinguishable bosons.

arXiv:2306.03869•Jun 6, 2023•0 citations
Abstract The classical de Finetti theorem in probability theory relates symmetry under the permutation group with the independence of random variables. This result has application in quantum information. Here we study states that are invariant with respect to a natural action of the braid group, and we emphasize the pictorial formulation and interpretation of our results. We prove a new type of de Finetti theorem for the four-string, double-braid group acting on the parafermion algebra to braid qudits, a natural symmetry in the quon language for quantum information. We prove that a braid-invariant state is extremal if and only if it is a product state. Furthermore, we provide an explicit characterization of braid-invariant states on the parafermion algebra, including finding a distinction that depends on whether the order of the parafermion algebra is square free. We characterize the extremal nature of product states (an inverse de Finetti theorem).
Local actions of [Formula: see text], the group of finite permutations on [Formula: see text], on quasi-local algebras are defined and proved to be [Formula: see text]-abelian. It turns out that invariant states under local actions are automatically even, and extreme invariant states are strongly clustering. Tail algebras of invariant states are shown to obey a form of the Hewitt and Savage theorem, in that they coincide with the fixed-point von Neumann algebra. Infinite graded tensor products of [Formula: see text]-algebras, which include the CAR algebra, are then addressed as particular examples of quasi-local algebras acted upon [Formula: see text] in a natural way. Extreme invariant states are characterized as infinite products of a single even state, and a de Finetti theorem is established. Finally, infinite products of factorial even states are shown to be factorial by applying a twisted version of the tensor product commutation theorem, which is also derived here.
The de Finetti theorem and its extensions concern the structure of multipartite probability distributions with certain symmetry properties, the paradigmatic original example being permutation symmetry. These theorems assert that such symmetric distributions are well approximated by convex combinations of uncorrelated ones. In this article, we apply de Finetti theorems to quantum gravity theories, such as the Sachdev-Ye-Kitaev (SYK) model or large-NNN vector and gauge theories. For SYK we put recent studies of information/entanglement dynamics in a general and rigorous basis. For vector and gauge theories, we describe the classicality of the modular Hamiltonian, its modular flows, and the entanglement entropy. These results can be unified through a generic statement about the nature of Schmidt decompositions and decoherence in large-NNN theories. In the reverse direction, we extend de Finetti theorems in various ways and provide an independent approach to the theorems only based on the large-NNN properties of the gauge invariant coherence group.
When analysing quantum information processing protocols, one has to deal with large entangled systems, each consisting of many subsystems. To make this analysis feasible, it is often necessary to identify some additional structures. de Finetti theorems provide such a structure for the case where certain symmetries hold. More precisely, they relate states that are invariant under permutations of subsystems to states in which the subsystems are independent of each other. This relation plays an important role in various areas, e.g., in quantum cryptography or state tomography, where permutation invariant systems are ubiquitous. The known de Finetti theorems usually refer to the internal quantum state of a system and depend on its dimension. Here, we prove a different de Finetti theorem where systems are modelled in terms of their statistics under measurements. This is necessary for a large class of applications widely considered today, such as device independent protocols, where the underlying systems and the dimensions are unknown and the entire analysis is based on the observed correlations.
De Finetti theorems convert permutation symmetry into approximate mixtures of product states and thereby justify a wide range of reductions in classical and quantum statistics. In this work we study de Finetti hierarchies in which the feasible states are additionally constrained to be fixed points of quantum channels, a condition that subsumes invariance under arbitrary compact symmetry groups. Combining the mean-ergodic theorem with the structure theory of conditional expectations, we prove a tight bound on the entanglement-assisted classical capacity of the dual of a conditional expectation, block-wise distortion bounds for informationally complete measurements adapted to fixed point algebras, and an exact type-based refinement of the chain rule for permutation-invariant states. From these tools we derive several de Finetti theorems: a double-sided extension theorem with O(log⁡n/n)O\left(\sqrt{\log n}/n\right)O(logn​/n) convergence, an interpolation theorem whose dimension dependence is governed solely by the block structure of the fixed point algebras and which recovers the dimension-independent classical behavior for maximal tori, and a Bose-symmetric variant. Exploiting Schur-Weyl duality and Gelfand-Tsetlin bases, we further show that the rounding scheme producing certifiably good separable inner approximations for (constrained) separability problems can be implemented in time polynomial in 1/ε1/ε1/ε for fixed local dimensions, complementing the known efficient outer hierarchies. Applications to bilinear optimization under symmetries and to approximate quantum error correction are discussed.
Symmetries are of fundamental interest in many areas of science. In quantum information theory, if a quantum state is invariant under permutations of its subsystems, it is a well-known and widely used result that its marginal can be approximated by a mixture of tensor powers of a state on a single subsystem. Applications of this quantum de Finetti theorem range from quantum key distribution (QKD) to quantum state tomography and numerical separability tests. Recently, it has been discovered by Gross, Nezami and Walter that a similar observation can be made for a larger symmetry group than permutations: states that are invariant under stochastic orthogonal symmetry are approximated by tensor powers of stabilizer states, with an exponentially smaller overhead than previously possible. This naturally raises the question if similar improvements could be found for applications where this symmetry appears (or can be enforced). Here, two such examples are investigated.
Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. The classical de Finetti's theorem provides a representation of infinitely exchangeable sequences of random variables as mixtures of independent and identically distributed variables. The quantum de Finetti theorem extends this result to symmetric quantum states on tensor product Hilbert spaces. It is well known that both theorems do not hold for finitely exchangeable sequences. The aim of this work is to investigate two lesser-known representation theorems, which were developed in classical probability theory to extend de Finetti's theorem to finitely exchangeable sequences by using quasi-probabilities and quasi-expectations. With the aid of these theorems, we illustrate how a de Finetti-like representation theorem for finitely exchangeable sequences can be formulated through a mathematical representation which is formally equivalent to quantum theory (with boson-symmetric density matrices). We then show a promising application of this connection to the challenge of defining entanglement for indistinguishable bosons.