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

Entanglement of random subspaces via the Hastings bound

Motohisa Fukuda, Christopher King

Published Jan 1, 2009• 21 citations
OpenAlex

Abstract

Recently Hastings [16] proved the existence of random unitary channels which violate the additivity conjecture. In this paper we use Hastings’ method to derive new bounds for the entanglement of random subspaces of bipartite systems. As an application we use these bounds to prove the existence of non-unital channels which violate additivity of minimal output entropy.

Related papers

Entanglement of random subspaces via the Hastings bound

Motohisa Fukuda, Christopher King

Recently, Hastings [“A counterexample to additivity of minimum output entropy,” Nat. Phys. 5, 255 (2009); e-print arXiv:0809.3972v3] proved the existence of random unitary channels, which violate the additivity conjecture. In this paper, we use Hastings’ method to derive new bounds for the entanglement of random subspaces of bipartite systems. As an application we use these bounds to prove the existence of nonunital channels, which violate additivity of minimal output entropy.

arXiv:0907.5446•Journal of Mathematical Physics•Apr 1, 2010•25 citations

On Hastings' Counterexamples to the Minimum Output Entropy Additivity Conjecture

Fernando G. S. L. Brandão, Michał Horodecki

Hastings recently reported a randomized construction of channels violating the minimum output entropy additivity conjecture. Here we revisit his argument, presenting a simplified proof. In particular, we do not resort to the exact probability distribution of the Schmidt coefficients of a random bipartite pure state, as in the original proof, but rather derive the necessary large deviation bounds by a concentration of measure argument. Furthermore, we prove non-additivity for the overwhelming majority of channels consisting of a Haar random isometry followed by partial trace over the environment, for an environment dimension much bigger than the output dimension. This makes Hastings' original reasoning clearer and extends the class of channels for which additivity can be shown to be violated.

arXiv:0907.3210•Open Systems & Information Dynamics•Mar 1, 2010•60 citations

Non-Additivity of Minimum Output p-$\mathbf{R\acute{e}nyi}$ Entropy

Nengkun Yu, Mingsheng Ying

Hastings disproved additivity conjecture for minimum output entropy by using random unitary channels. In this note, we employ his approach to show that minimum output $p-$Rényi entropy is non-additive for $p\in(0,p_0)\cup(1-p_0,1)$ where $p_0\approx 0.2855$.

arXiv:1006.1733•Jun 9, 2010•0 citations

Entanglement in Random Subspaces

Patrick M. Hayden

The selection of random subspaces plays a role in quantum information theory analogous to the role of random strings in classical information theory. Recent applications have included protocols achieving the quantum channel capacity and methods for extending superdense coding from bits to qubits. In addition, random subspaces have proved useful for studying the structure of bipartite and multipartite entanglement.

arXiv:quant-ph/0409157•AIP conference proceedings•Jan 1, 2004•6 citations

LOW ENTROPY OUTPUT STATES FOR PRODUCTS OF RANDOM UNITARY CHANNELS

Benoı̂t Collins, Motohisa Fukuda, Ion Nechita

In this paper, we study the behavior of the output of pure entangled states after being transformed by a product of conjugate random unitary channels. This study is motivated by the counterexamples by Hastings [Superadditivity of communication capacity using entangled inputs, Nat. Phys.5 (2009) 255–257] and Hayden–Winter [Counterexamples to the maximal p-norm multiplicativity conjecture for all p > 1, Comm. Math. Phys.284(1) (2008) 263–280] to the additivity problems. In particular, we study in depth the difference of behavior between random unitary channels and generic random channels. In the case where the number of unitary operators is fixed, we compute the limiting eigenvalues of the output states. In the case where the number of unitary operators grows linearly with the dimension of the input space, we show that the eigenvalue distribution converges to a limiting shape that we characterize with free probability tools. In order to perform the required computations, we need a systematic way of dealing with moment problems for random matrices whose blocks are i.i.d. Haar distributed unitary operators. This is achieved by extending the graphical Weingarten calculus introduced in [B. Collins and I. Nechita, Random quantum channels I: Graphical calculus and the Bell state phenomenon, Comm. Math. Phys.297(2) (2010) 345–370].

arXiv:1208.1449•Random Matrices Theory and Application•Jan 1, 2013•9 citations

A constructive violation of additivity of minimum output von Neumann entropy

Laura Shou, Alexey V. Gorshkov

We give an explicit non-random example of nonadditivity of minimum output von Neumann entropy. The proof uses a finite-dimensional construction which imitates free Haar unitary behavior. The same channel gives a violation of additivity for the minimum output Rényi-$p$ entropy for any $p\in[1,\infty]$. Additionally, given any $p_0>0$ and $\mathfrak g>0$, we extend the construction to obtain an explicit non-random channel which has entropy gap $\ge\mathfrak g$ uniformly over $p\in[p_0,\infty]$.

quant-pharXiv:2609.23946•Sep 22, 2026•0 citations
Recently Hastings [16] proved the existence of random unitary channels which violate the additivity conjecture. In this paper we use Hastings’ method to derive new bounds for the entanglement of random subspaces of bipartite systems. As an application we use these bounds to prove the existence of non-unital channels which violate additivity of minimal output entropy.
Hastings recently reported a randomized construction of channels violating the minimum output entropy additivity conjecture. Here we revisit his argument, presenting a simplified proof. In particular, we do not resort to the exact probability distribution of the Schmidt coefficients of a random bipartite pure state, as in the original proof, but rather derive the necessary large deviation bounds by a concentration of measure argument. Furthermore, we prove non-additivity for the overwhelming majority of channels consisting of a Haar random isometry followed by partial trace over the environment, for an environment dimension much bigger than the output dimension. This makes Hastings' original reasoning clearer and extends the class of channels for which additivity can be shown to be violated.
Non-Additivity of Minimum Output p-Reˊnyi\mathbf{R\acute{e}nyi}Reˊnyi Entropy
Hastings disproved additivity conjecture for minimum output entropy by using random unitary channels. In this note, we employ his approach to show that minimum output p−p-p−Rényi entropy is non-additive for p∈(0,p0)∪(1−p0,1)p\in(0,p_0)\cup(1-p_0,1)p∈(0,p0​)∪(1−p0​,1) where p0≈0.2855p_0\approx 0.2855p0​≈0.2855.
In this paper, we study the behavior of the output of pure entangled states after being transformed by a product of conjugate random unitary channels. This study is motivated by the counterexamples by Hastings [Superadditivity of communication capacity using entangled inputs, Nat. Phys.5 (2009) 255–257] and Hayden–Winter [Counterexamples to the maximal p-norm multiplicativity conjecture for all p > 1, Comm. Math. Phys.284(1) (2008) 263–280] to the additivity problems. In particular, we study in depth the difference of behavior between random unitary channels and generic random channels. In the case where the number of unitary operators is fixed, we compute the limiting eigenvalues of the output states. In the case where the number of unitary operators grows linearly with the dimension of the input space, we show that the eigenvalue distribution converges to a limiting shape that we characterize with free probability tools. In order to perform the required computations, we need a systematic way of dealing with moment problems for random matrices whose blocks are i.i.d. Haar distributed unitary operators. This is achieved by extending the graphical Weingarten calculus introduced in [B. Collins and I. Nechita, Random quantum channels I: Graphical calculus and the Bell state phenomenon, Comm. Math. Phys.297(2) (2010) 345–370].
We give an explicit non-random example of nonadditivity of minimum output von Neumann entropy. The proof uses a finite-dimensional construction which imitates free Haar unitary behavior. The same channel gives a violation of additivity for the minimum output Rényi-ppp entropy for any p∈[1,∞]p\in[1,\infty]p∈[1,∞]. Additionally, given any p0>0p_0>0p0​>0 and g>0\mathfrak g>0g>0, we extend the construction to obtain an explicit non-random channel which has entropy gap ≥g\ge\mathfrak g≥g uniformly over p∈[p0,∞]p\in[p_0,\infty]p∈[p0​,∞].