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:2609.14031

No cardinality bound for squashed entanglement

Rabsan Galib Ahmed, Graeme Smith

quant-phcs.ITSubmitted Sep 12, 2026• Announced Sep 15, 2026• 0 citations
arXivHTMLPDF

Abstract

Squashed entanglement is an additive bipartite entanglement measure. For a state $ρ_{AB}$, it is defined as the infimum of all conditional mutual information $I(A:B\mid E)$ evaluated on extensions $ρ_{ABE}$. It was unresolved whether there is a bound on the dimension of the conditioning system, $E$, needed for this optimization. We show that no such cardinality bound is possible. Explicitly, we find that the squashed entanglement for a partially dephased Bell pair on two qubits cannot be achieved for any finite dimensional extension $E$. A crucial ingredient of this proof is a direct sum step, which in a sense, symmetrizes two purifying systems while keeping the conditional mutual information unchanged and the coherence no worse.

Comments
6 pages

Related papers

Squashed entanglement in infinite dimensions

Максим Евгеньевич Широков

We analyse two possible definitions of the squashed entanglement in an infinite-dimensional bipartite system: direct translation of the finite-dimensional definition and its universal extension. It is shown that the both definitions produce the same lower semicontinuous entanglement measure possessing all basis properties of the squashed entanglement on the set of states having at least one finite marginal entropy. It is also shown that the second definition gives an adequate lower semicontinuous extension of this measure to all states of the infinite-dimensional bipartite system. A general condition relating continuity of the squashed entanglement to continuity of the quantum mutual information is proved and its corollaries are considered. Continuity bound for the squashed entanglement under the energy constraint on one subsystem is obtained by using the tight continuity bound for quantum conditional mutual information (proved in the Appendix by using Winter’s technique). It is shown that the same continuity bound is valid for the entanglement of formation. As a result the asymptotic continuity of the both entanglement measures under the energy constraint on one subsystem is proved.

arXiv:1507.08964•Journal of Mathematical Physics•Mar 1, 2016•31 citations

“Squashed entanglement”: An additive entanglement measure

Matthias Christandl, Andreas Winter

In this paper, we present a new entanglement monotone for bipartite quantum states. Its definition is inspired by the so-called intrinsic information of classical cryptography and is given by the halved minimum quantum conditional mutual information over all tripartite state extensions. We derive certain properties of the new measure which we call “squashed entanglement”: it is a lower bound on entanglement of formation and an upper bound on distillable entanglement. Furthermore, it is convex, additive on tensor products, and superadditive in general. Continuity in the state is the only property of our entanglement measure which we cannot provide a proof for. We present some evidence, however, that our quantity has this property, the strongest indication being a conjectured Fannes-type inequality for the conditional von Neumann entropy. This inequality is proved in the classical case.

arXiv:quant-ph/0308088•Journal of Mathematical Physics•Feb 12, 2004•449 citations

Squashed entanglement and approximate private states

Mark M. Wilde

The squashed entanglement is a fundamental entanglement measure in quantum information theory, finding application as an upper bound on the distillable secret key or distillable entanglement of a quantum state or a quantum channel. This paper simplifies proofs that the squashed entanglement is an upper bound on distillable key for finite-dimensional quantum systems and solidifies such proofs for infinite-dimensional quantum systems. More specifically, this paper establishes that the logarithm of the dimension of the key system (call it log 2K) in an ε-approximate private state is bounded from above by the squashed entanglement of that state plus a term that depends only ε and log 2K. Importantly, the extra term does not depend on the dimension of the shield systems of the private state. The result holds for the bipartite squashed entanglement, and an extension of this result is established for two different flavors of the multipartite squashed entanglement.

Civil War Book Review•Nov 1, 2016•29 citations

Hysteretic squashed entanglement in many-body quantum systems

Siddhartha Das, Alexander Yosifov, Jinzhao Sun

Entanglement in many-body quantum systems is distributed across spatial regions, where its structure often dictates the information-processing capabilities of the state. Yet, characterizing the entanglement structure, especially for mixed states, remains a challenge. In this work, we propose hysteretic squashed entanglement $T_{sq}$, a conditional entanglement monotone that measures the genuine quantum correlations between two subregions, conditioned on a third region, in a many-body quantum state. $T_{sq}$ is upper bounded by the convex-roof extension of quantum conditional mutual information and exhibits several desirable properties like monogamy, convexity, asymptotic continuity, faithfulness, and additivity for tensor-product states. We study the conditional entanglement generation in a one-dimensional transverse-field Ising model under quench, where we show that $T_{sq}$ effectively squashes classical contributions and can detect genuine quantum correlations across both adjacent and long-range subsystems. We elucidate the utility of this measure as a robust quantifier of topological entanglement entropy for mixed states. This opens new operational resource-theoretic avenues for probing topological order and criticality.

quant-pharXiv:2603.09907•Mar 11, 2026•0 citations

Squashed entanglement in one-dimensional quantum matter

Alfonso Maiellaro, Francesco Romeo, R. Citro +1 more

Squashed entanglement and its universal upper bound, the quantum conditional mutual information, are faithful measures of bipartite quantum correlations defined in terms of multipartitions. As such, they are sensitive to the fine-grain structure of quantum systems. Building on this observation, we introduce the concept of quantum conditional mutual information between the edges of quantum many-body systems. We show that this quantity characterizes unambiguously one-dimensional topological insulators and superconductors, being equal to Bell-state entanglement in the former and to half Bell-state entanglement in the latter, mirroring the different statistics of the edge modes in the two systems. The edge-to-edge quantum conditional mutual information is robust in the presence of disorder or local perturbations, converges exponentially with the system size to a quantized topological invariant, even in the presence of interactions, and vanishes in the trivial phase. We thus conjecture that it coincides with the edge-to-edge squashed entanglement in the entire ground-state phase diagram of symmetry-protected topological systems, and we provide some analytical evidence supporting the claim. By comparing them with the entanglement negativity, we collect further indications that the quantum conditional mutual information and the squashed entanglement provide a very accurate characterization of nonlocal correlation patterns in one-dimensional quantum matter.

arXiv:2207.13805•Physical review. B./Physical review. B•Mar 28, 2023•7 citations

Squashed Entanglement for Multipartite States and Entanglement Measures Based on the Mixed Convex Roof

Dong Yang, Karol Horodecki, Michał Horodecki +3 more

New measures of multipartite entanglement are constructed based on two definitions of multipartite information and different methods of optimizing over extensions of the states. One is a generalization of the squashed entanglement where one takes the mutual information of parties conditioned on the state's extension and takes the infimum over such extensions. Additivity of the multipartite squashed entanglement is proved for both versions of the multipartite information which turn out to be related. The second one is based on taking classical extensions. This scheme is generalized, which enables to construct measures of entanglement based on the mixed convex roof of a quantity, which in contrast to the standard convex roof method involves optimization over all decompositions of a density matrix rather than just the decompositions into pure states. As one of the possible applications of these results we prove that any multipartite monotone is an upper bound on the amount of multipartite distillable key. The findings are finally related to analogous results in classical key agreement.

arXiv:0704.2236•IEEE Transactions on Information Theory•Jun 16, 2009•86 citations
Squashed entanglement is an additive bipartite entanglement measure. For a state ρABρ_{AB}ρAB​, it is defined as the infimum of all conditional mutual information I(A:B∣E)I(A:B\mid E)I(A:B∣E) evaluated on extensions ρABEρ_{ABE}ρABE​. It was unresolved whether there is a bound on the dimension of the conditioning system, EEE, needed for this optimization. We show that no such cardinality bound is possible. Explicitly, we find that the squashed entanglement for a partially dephased Bell pair on two qubits cannot be achieved for any finite dimensional extension EEE. A crucial ingredient of this proof is a direct sum step, which in a sense, symmetrizes two purifying systems while keeping the conditional mutual information unchanged and the coherence no worse.
We analyse two possible definitions of the squashed entanglement in an infinite-dimensional bipartite system: direct translation of the finite-dimensional definition and its universal extension. It is shown that the both definitions produce the same lower semicontinuous entanglement measure possessing all basis properties of the squashed entanglement on the set of states having at least one finite marginal entropy. It is also shown that the second definition gives an adequate lower semicontinuous extension of this measure to all states of the infinite-dimensional bipartite system. A general condition relating continuity of the squashed entanglement to continuity of the quantum mutual information is proved and its corollaries are considered. Continuity bound for the squashed entanglement under the energy constraint on one subsystem is obtained by using the tight continuity bound for quantum conditional mutual information (proved in the Appendix by using Winter’s technique). It is shown that the same continuity bound is valid for the entanglement of formation. As a result the asymptotic continuity of the both entanglement measures under the energy constraint on one subsystem is proved.
In this paper, we present a new entanglement monotone for bipartite quantum states. Its definition is inspired by the so-called intrinsic information of classical cryptography and is given by the halved minimum quantum conditional mutual information over all tripartite state extensions. We derive certain properties of the new measure which we call “squashed entanglement”: it is a lower bound on entanglement of formation and an upper bound on distillable entanglement. Furthermore, it is convex, additive on tensor products, and superadditive in general. Continuity in the state is the only property of our entanglement measure which we cannot provide a proof for. We present some evidence, however, that our quantity has this property, the strongest indication being a conjectured Fannes-type inequality for the conditional von Neumann entropy. This inequality is proved in the classical case.
The squashed entanglement is a fundamental entanglement measure in quantum information theory, finding application as an upper bound on the distillable secret key or distillable entanglement of a quantum state or a quantum channel. This paper simplifies proofs that the squashed entanglement is an upper bound on distillable key for finite-dimensional quantum systems and solidifies such proofs for infinite-dimensional quantum systems. More specifically, this paper establishes that the logarithm of the dimension of the key system (call it log 2K) in an ε-approximate private state is bounded from above by the squashed entanglement of that state plus a term that depends only ε and log 2K. Importantly, the extra term does not depend on the dimension of the shield systems of the private state. The result holds for the bipartite squashed entanglement, and an extension of this result is established for two different flavors of the multipartite squashed entanglement.
Entanglement in many-body quantum systems is distributed across spatial regions, where its structure often dictates the information-processing capabilities of the state. Yet, characterizing the entanglement structure, especially for mixed states, remains a challenge. In this work, we propose hysteretic squashed entanglement TsqT_{sq}Tsq​, a conditional entanglement monotone that measures the genuine quantum correlations between two subregions, conditioned on a third region, in a many-body quantum state. TsqT_{sq}Tsq​ is upper bounded by the convex-roof extension of quantum conditional mutual information and exhibits several desirable properties like monogamy, convexity, asymptotic continuity, faithfulness, and additivity for tensor-product states. We study the conditional entanglement generation in a one-dimensional transverse-field Ising model under quench, where we show that TsqT_{sq}Tsq​ effectively squashes classical contributions and can detect genuine quantum correlations across both adjacent and long-range subsystems. We elucidate the utility of this measure as a robust quantifier of topological entanglement entropy for mixed states. This opens new operational resource-theoretic avenues for probing topological order and criticality.
Squashed entanglement and its universal upper bound, the quantum conditional mutual information, are faithful measures of bipartite quantum correlations defined in terms of multipartitions. As such, they are sensitive to the fine-grain structure of quantum systems. Building on this observation, we introduce the concept of quantum conditional mutual information between the edges of quantum many-body systems. We show that this quantity characterizes unambiguously one-dimensional topological insulators and superconductors, being equal to Bell-state entanglement in the former and to half Bell-state entanglement in the latter, mirroring the different statistics of the edge modes in the two systems. The edge-to-edge quantum conditional mutual information is robust in the presence of disorder or local perturbations, converges exponentially with the system size to a quantized topological invariant, even in the presence of interactions, and vanishes in the trivial phase. We thus conjecture that it coincides with the edge-to-edge squashed entanglement in the entire ground-state phase diagram of symmetry-protected topological systems, and we provide some analytical evidence supporting the claim. By comparing them with the entanglement negativity, we collect further indications that the quantum conditional mutual information and the squashed entanglement provide a very accurate characterization of nonlocal correlation patterns in one-dimensional quantum matter.
New measures of multipartite entanglement are constructed based on two definitions of multipartite information and different methods of optimizing over extensions of the states. One is a generalization of the squashed entanglement where one takes the mutual information of parties conditioned on the state's extension and takes the infimum over such extensions. Additivity of the multipartite squashed entanglement is proved for both versions of the multipartite information which turn out to be related. The second one is based on taking classical extensions. This scheme is generalized, which enables to construct measures of entanglement based on the mixed convex roof of a quantity, which in contrast to the standard convex roof method involves optimization over all decompositions of a density matrix rather than just the decompositions into pure states. As one of the possible applications of these results we prove that any multipartite monotone is an upper bound on the amount of multipartite distillable key. The findings are finally related to analogous results in classical key agreement.