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

A counterexample to the strong spin alignment conjecture

Zhiwei Song, Lin Chen

quant-phSubmitted Mar 26, 2026• Announced Mar 27, 2026• 0 citations
arXivHTMLPDF

Abstract

The spin alignment conjecture was originally formulated in connection with the additivity of coherent information for a class of quantum channels known as platypus channels. Recently, a stronger majorization-based version was proposed by M. A. Alhejji and E. Knill [Commun. Math. Phys. 405, 119, 2024], asserting that the spectrum of the alignment operator is always majorized by that of the perfectly aligned configuration. In this letter, we show that this strong spin alignment conjecture is false in general by constructing an explicit counterexample in the smallest unresolved case, namely three qubits. The example uses two-body states that are not jointly compatible with any single three-qubit global state, which naturally leads to a compatibility-constrained variant of the conjecture.

Comments
5 pages, no figure

Related papers

The additivity conjecture in quantum information theory

Peter W. Shor

In this paper, I discuss the additivity conjecture in quantum information theory.The additivity conjecture was originally a set of at least four conjectures.These conjectures said that certain functions of quantum states and channels were additive under tensor products.While some of these conjectures were previously known to be stronger than others, they have recently all been proved equivalent.This conjecture is a very intriguing mathematical question which the best efforts of a large number of quantum information theorists have not been able to resolve for nearly a decade.It is a mathematically elegant question that is one of the most important open questions in the field of quantum information and computation.This paper then is intended to be both an exposition of the conjecture, its background, and some of the methods that have been used to yield partial results for it, as well as a plea for help in resolving this conjecture.Very recently (summer 2007), substantial progress has been made on this conjecture, in that counterexamples to a set of stronger conjectures have been found.These will be described briefly.

Current Developments in Mathematics•Jan 1, 2005•19 citations

The additivity problem for constrained quantum channels

Александр Семенович Холево, Максим Евгеньевич Широков

One of the central problems of quantum information theory [1] is the additivity conjecture for the channel capacity of quantum communication channels [2]–[4]. Recently Shor showed [5] that the validity of this conjecture for all quantum channels was equivalent to a whole series of (super)additivity properties for other important characteristics such as minimal output entropy and entanglementof formation. The present paper introduces the new property of strong additivity (additivity for channels with input constraints) with several equivalent formulations, establishes that it is satisfied for some nontrivial classes of channels and notes that the validity of the additivity conjecture for all channels implies strong additivity. Let H, H′ be finite-dimensional unitary spaces. By a quantum channel we mean a completely positive trace-preserving linear map Φ: B(H) → B(H′), where B(H) is the algebra of all operators on H. In particular, Φ generates an affine map of the convex set S(H) of states (density operators) on the space H into the set S(H′) of states on H′ [1]. The quantum analogue of Shannon’s theorem, established in [4], gives the following expression for the classical channel capacity:

Russian Mathematical Surveys•Apr 30, 2004•0 citations

Addendum to “Sufficient conditions for three-particle entanglement and their tests in recent experiments”

Géza Tóth, Otfried Gühne, Michael Seevinck +1 more

A recent paper [] presented a bound for the three-qubit Mermin inequality such that the violation of this bound indicates genuine three-qubit entanglement. We show that this bound can be improved for a specific choice of observables. In particular, if spin observables corresponding to orthogonal directions are measured at the qubits (e.g., $X$ and $Y$ spin coordinates), then the bound is the same as the bound for states with a local hidden variable model. As a consequence, it can straightforwardly be shown that in the experiment described by ], genuine three-qubit entanglement was detected.

arXiv:quant-ph/0505100•Physical Review A•Jul 8, 2005•22 citations

The Platypus of the Quantum Channel Zoo

Felix Leditzky, Debbie Leung, Vikesh Siddhu +2 more

Understanding quantum channels and the strange behavior of their capacities is a key objective of quantum information theory. Here we study a remarkably simple, low-dimensional, single-parameter family of quantum channels with exotic quantum information-theoretic features. As the simplest example from this family, we focus on a qutrit-to-qutrit channel that is intuitively obtained by hybridizing together a simple degradable channel and a completely useless qubit channel. Such hybridizing makes this channel’s capacities behave in a variety of interesting ways. For instance, the private and classical capacity of this channel coincide and can be explicitly calculated, even though the channel does not belong to any class for which the underlying information quantities are known to be additive. Moreover, the quantum capacity of the channel can be computed explicitly, given a clear and compelling conjecture is true. This “spin alignment conjecture,” which may be of independent interest, is proved in certain special cases and additional numerical evidence for its validity is provided. Finally, we generalize the qutrit channel in two ways, and the resulting channels and their capacities display similarly rich behavior. In the companion paper [1], we further show that the qutrit channel demonstrates superadditivity when transmitting quantum information jointly with a variety of assisting channels, in a manner unknown before.

arXiv:2202.08380•IEEE Transactions on Information Theory•Feb 16, 2023•12 citations

Multisetting Bell inequalities for N spin-1 systems avoiding the Kochen-Specker contradiction

Arijit Dutta, Marcin Wieśniak, Marek Żukowski

Bell's theorem for systems more complicated than two qubits faces a hidden, as yet undiscussed, problem. One of the methods to derive Bell inequalities is to assume the existence of a joint probability distribution for measurement results for all settings in the given experiment. However, for spin-1 systems, one faces the problem that the eigenvalues of observables do not allow a consistent algebra if one allows all possible settings on each side (Bell's 1966 contradiction), or some specific sets (leading to a Kochen-Specker 1967 contradiction). We show here that by choosing a special set of settings which never lead to inconsistent algebra of eigenvalues, one can still derive multisetting Bell inequalities, and that they are robustly violated. Violation factors increase with the number of subsystems. The inequalities involve only spin observables, we do not allow all possible qutrit observables, still the violations are strong.

arXiv:1205.1399•Physical Review A•Sep 13, 2012•1 citation

Refining Ky Fan’s Majorization Relation with Linear Programming

Mohammad A. Alhejji

Abstract A separable version of Ky Fan’s majorization relation is proven for a sum of two operators that are each a tensor product of two positive semi-definite operators. In order to prove it, upper bounds are established on the relevant largest eigenvalue sums in terms of the optimal values of certain linear programs. The objective function of these linear programs is the dual of the direct sum of the spectra of the summands. The feasible sets are bounded polyhedra determined by positive numbers, called alignment terms, that quantify the overlaps between pairs of largest eigenvalue spaces of the summands. By appealing to geometric considerations, tight upper bounds are established on the alignment terms of tensor products of positive semi-definite operators. As an application, the spin alignment conjecture in quantum information theory is affirmatively resolved to the 2-letter level. Consequently, the coherent information of platypus channels is additive to the 2-letter level.

arXiv:2410.18254•Annales Henri Poincaré•Jun 16, 2025•1 citation
The spin alignment conjecture was originally formulated in connection with the additivity of coherent information for a class of quantum channels known as platypus channels. Recently, a stronger majorization-based version was proposed by M. A. Alhejji and E. Knill [Commun. Math. Phys. 405, 119, 2024], asserting that the spectrum of the alignment operator is always majorized by that of the perfectly aligned configuration. In this letter, we show that this strong spin alignment conjecture is false in general by constructing an explicit counterexample in the smallest unresolved case, namely three qubits. The example uses two-body states that are not jointly compatible with any single three-qubit global state, which naturally leads to a compatibility-constrained variant of the conjecture.
In this paper, I discuss the additivity conjecture in quantum information theory.The additivity conjecture was originally a set of at least four conjectures.These conjectures said that certain functions of quantum states and channels were additive under tensor products.While some of these conjectures were previously known to be stronger than others, they have recently all been proved equivalent.This conjecture is a very intriguing mathematical question which the best efforts of a large number of quantum information theorists have not been able to resolve for nearly a decade.It is a mathematically elegant question that is one of the most important open questions in the field of quantum information and computation.This paper then is intended to be both an exposition of the conjecture, its background, and some of the methods that have been used to yield partial results for it, as well as a plea for help in resolving this conjecture.Very recently (summer 2007), substantial progress has been made on this conjecture, in that counterexamples to a set of stronger conjectures have been found.These will be described briefly.
One of the central problems of quantum information theory [1] is the additivity conjecture for the channel capacity of quantum communication channels [2]–[4]. Recently Shor showed [5] that the validity of this conjecture for all quantum channels was equivalent to a whole series of (super)additivity properties for other important characteristics such as minimal output entropy and entanglementof formation. The present paper introduces the new property of strong additivity (additivity for channels with input constraints) with several equivalent formulations, establishes that it is satisfied for some nontrivial classes of channels and notes that the validity of the additivity conjecture for all channels implies strong additivity. Let H, H′ be finite-dimensional unitary spaces. By a quantum channel we mean a completely positive trace-preserving linear map Φ: B(H) → B(H′), where B(H) is the algebra of all operators on H. In particular, Φ generates an affine map of the convex set S(H) of states (density operators) on the space H into the set S(H′) of states on H′ [1]. The quantum analogue of Shannon’s theorem, established in [4], gives the following expression for the classical channel capacity:
A recent paper [] presented a bound for the three-qubit Mermin inequality such that the violation of this bound indicates genuine three-qubit entanglement. We show that this bound can be improved for a specific choice of observables. In particular, if spin observables corresponding to orthogonal directions are measured at the qubits (e.g., XXX and YYY spin coordinates), then the bound is the same as the bound for states with a local hidden variable model. As a consequence, it can straightforwardly be shown that in the experiment described by ], genuine three-qubit entanglement was detected.
Understanding quantum channels and the strange behavior of their capacities is a key objective of quantum information theory. Here we study a remarkably simple, low-dimensional, single-parameter family of quantum channels with exotic quantum information-theoretic features. As the simplest example from this family, we focus on a qutrit-to-qutrit channel that is intuitively obtained by hybridizing together a simple degradable channel and a completely useless qubit channel. Such hybridizing makes this channel’s capacities behave in a variety of interesting ways. For instance, the private and classical capacity of this channel coincide and can be explicitly calculated, even though the channel does not belong to any class for which the underlying information quantities are known to be additive. Moreover, the quantum capacity of the channel can be computed explicitly, given a clear and compelling conjecture is true. This “spin alignment conjecture,” which may be of independent interest, is proved in certain special cases and additional numerical evidence for its validity is provided. Finally, we generalize the qutrit channel in two ways, and the resulting channels and their capacities display similarly rich behavior. In the companion paper [1], we further show that the qutrit channel demonstrates superadditivity when transmitting quantum information jointly with a variety of assisting channels, in a manner unknown before.
Bell's theorem for systems more complicated than two qubits faces a hidden, as yet undiscussed, problem. One of the methods to derive Bell inequalities is to assume the existence of a joint probability distribution for measurement results for all settings in the given experiment. However, for spin-1 systems, one faces the problem that the eigenvalues of observables do not allow a consistent algebra if one allows all possible settings on each side (Bell's 1966 contradiction), or some specific sets (leading to a Kochen-Specker 1967 contradiction). We show here that by choosing a special set of settings which never lead to inconsistent algebra of eigenvalues, one can still derive multisetting Bell inequalities, and that they are robustly violated. Violation factors increase with the number of subsystems. The inequalities involve only spin observables, we do not allow all possible qutrit observables, still the violations are strong.
Abstract A separable version of Ky Fan’s majorization relation is proven for a sum of two operators that are each a tensor product of two positive semi-definite operators. In order to prove it, upper bounds are established on the relevant largest eigenvalue sums in terms of the optimal values of certain linear programs. The objective function of these linear programs is the dual of the direct sum of the spectra of the summands. The feasible sets are bounded polyhedra determined by positive numbers, called alignment terms, that quantify the overlaps between pairs of largest eigenvalue spaces of the summands. By appealing to geometric considerations, tight upper bounds are established on the alignment terms of tensor products of positive semi-definite operators. As an application, the spin alignment conjecture in quantum information theory is affirmatively resolved to the 2-letter level. Consequently, the coherent information of platypus channels is additive to the 2-letter level.