The Ruskai-Audenaert conjecture & equipartitions of positive operators

Michael M. Wolf; Niranjan Kumar

REVIEW 2 major objections 5 minor 124 references

The Ruskai-Audenaert conjecture & equipartitions of positive operators

T0 review · 2 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Quantum channels with qubit inputs decompose into equal low-rank parts.

desk verdict Real progress on the Ruskai-Audenaert conjecture — qubit-input and cq/qc cases look solid, but weak RA for qutrits hangs on unverified index computations from two topology papers. read the letter →

arxiv 2607.23066 v1 pith:NOQF54KJ submitted 2026-07-25 quant-ph math-phmath.MP

Niranjan Kumar , Michael M. Wolf This is my paper · ORCID

classification quant-phmath-phmath.MP

keywords Ruskai-AudenaertconjecturequantumchannelsconvexdecompositionKrausrankChoimatrixequivariantcohomologyequipartitionofpositiveoperatorsqubit

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper addresses the RA conjecture, which asks whether every quantum channel can be written as a convex combination of at most d2 'generalized extreme points'—channels of Kraus rank at most d1—and, in the strong form, with equal weights. The authors prove the strong form for all channels with a two-dimensional input (qubit channels), for all classical-quantum and quantum-classical channels, and for a set of channels of nonzero measure in every dimension. They also prove the weak form for all qutrit channels. The proofs rephrase the decompositions as equipartition problems for positive operators and solve them with equivariant cohomology, reinforced by a differential-geometric robustness argument.

What carries the argument

The Choi matrix turns each channel into a positive operator, so decomposing a channel into low-rank channels becomes decomposing a positive operator into bounded-rank positive parts with uniform partial traces. The paper introduces a general equipartition theorem based on an equivariant cohomology index for flag manifolds under cyclic group actions, a cohomological obstruction to the existence of group-symmetric maps. For qubit inputs, the key mechanism is a variational argument over unitary rotations of the Choi decomposition, where the topology of the 3-sphere forces a zero of the partial-trace mismatch.

What would settle it

Search numerically for a completely positive trace-preserving map with two-dimensional input whose Choi matrix cannot be expressed as a sum of d2 positive semidefinite matrices each having the same partial trace. If such a map exists, Theorem 6 is false; a random search over extreme points of the qubit-input channel polytope would be a direct test.

Watch

Extended reading notes

Core claim

The central result is that the strong RA conjecture holds for any completely positive trace-preserving map with a two-dimensional input: there exist d2 channels, each of Kraus rank at most two, whose equal-weight average equals the given channel. This is proved by parametrizing all decompositions of the Choi matrix by a unitary and showing through a variational argument—using the fact that any odd map from a 3-sphere to R^3 has a zero—that a balanced decomposition always exists. The paper also shows that the set of channels satisfying the strong conjecture is closed, connected, semialgebraic, and has nonempty interior, and that the weak conjecture holds for qutrits via an equivariant cohomol

Load-bearing premise

The paper relies on previously computed equivariant cohomology indices for flag manifolds under cyclic group actions; if those index calculations are incorrect or the coprime condition is insufficient, the general equipartition theorem and its corollaries, including weak RA for qutrits, would collapse.

Editorial extensions

If this is right

Every quantum channel with a two-dimensional input can be realized as an equal-weight mixture of d2 rank-≤2 channels, simplifying many qubit-channel processing tasks.
The weak RA conjecture holds for all qutrit channels: any qutrit channel is a convex combination of three generalized extreme points, far below the classical bound.
The set of channels admitting a strong RA decomposition has nonempty interior in every dimension, so the conjecture holds on an open neighborhood of explicitly constructed channels.
The general equipartition theorem yields balanced decompositions of density operators, including orthonormal bases on which a given continuous function is constant.
If a channel has a decomposition whose low-rank terms form a connected graph, then all nearby channels have decompositions of the same rank pattern.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The combination of a nonzero-measure result and the qubit-input proof suggests the strong RA conjecture may hold for all channels, with any counterexample confined to a sparse set.
The equivariant-cohomology approach might transfer to the SIC-POVM and MUB existence problems if one could also control the specific constant in the equipartition template.
The variational proof for d1=2 relies on the 3-sphere being the domain of an odd map to R^3, so extending the technique to higher input dimensions would require a different topological argument.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's my take on Kumar–Wolf. The paper delivers real progress: a proof of strong RA for all qubit-input channels, strong RA for a nonzero-measure interior set in all dimensions, and weak RA for qutrits. Thm 6 (qubit inputs) is the strongest self-contained result, and the Borsuk-Ulam argument appears correct. The cq/qc result (Thm 7) is also clean. The structural robustness theorem (Thm 2) is sound and gives the nonzero-measure region in a natural way.

The main soft spot is Theorem 1. The weak RA for qutrits and the stronger d=2 decomposition both ride on Fadell–Husseini index computations imported from [BK25] and [NN24]. The paper does not derive them; the proof of Thm 1 is essentially a black-box quote from those sources. I don't see an internal contradiction—the bounds line up—but a referee should verify that the group action in those papers matches the cyclic block-permutation used here, and that the coprime condition r = n^a q is sufficient. If those indices are wrong, Cor 2 and the qutrit result collapse. That is an external dependency, not a flaw in the method, but the authors should make the reliance explicit, perhaps by stating the exact theorem they import.

Minor issues: the "in fact, all" parametrization claim near Eq (22) is false in general—not every decomposition has the simultaneous block-diagonal form—but it is unused. Eq (25) seems to have a typo in its first term, though Eq (26) follows from a correct second-derivative expansion. Both are easy fixes.

The rest is in good shape. The Schur-Horn corollary, Carathéodory bound, and barycentric decomposition theorem are correct as far as I can tell. The citation pattern is reasonable: prior 2x2 work from BSW02, Loewy on faces, and the topological sources. No sign of circularity.

Who should read it: anyone working on convex geometry of quantum channels or topological methods in quantum information. It deserves a serious referee. I would send it to peer review with a request to tighten the presentation of Theorem 1's dependency and fix the overstatement and typo. If the index results hold up, this is a significant step on a two-decade-old conjecture.

Referee Report

2 major / 5 minor

Summary. The paper proposes a general equipartition framework for positive operators and applies it to the Ruskai–Audenaert conjecture. The main results are: (i) Theorem 1, an equivariant-cohomology existence theorem that yields, as corollaries, a six-constraint RA-type decomposition for d1=d2=2 and the weak RA conjecture for d1=d2=3; (ii) Theorem 3, showing that the set of channels satisfying the strong RA conjecture is closed, connected, semialgebraic, and has nonempty interior; (iii) Theorem 6, proving the strong RA conjecture for all channels with qubit inputs; and (iv) Theorem 7, claiming the strong RA conjecture for all cq- and qc-channels. The paper also contains structural results on convex decompositions and barycentric decompositions of channels.

Significance. If the results are correct, they constitute a substantial advance on a longstanding conjecture: the weak qutrit case and the qubit-input strong case are new and nontrivial, and the nonzero-measure result for strong RA in every dimension is important. The connection of SIC-POVMs and MUBs to equipartitions is also a valuable conceptual contribution. However, the qc half of Theorem 7 is not established by the proof as written, and Theorem 1 leans entirely on external Fadell–Husseini index computations that should be stated precisely. These issues need to be addressed before the full set of claims can be accepted.

major comments (2)

[Sec. 4, Theorem 7 (qc case)] The operators K_{m,alpha} defined in the qc part of the proof do not give trace-preserving maps. For a qc channel T(rho)=sum_j tr[Q_j rho] |j><j|, one computes T_m(1)=sum_{j,k} e^{2pi i(m-1)(j-k)/d2} tr[sqrt{Q_j} sqrt{Q_k}] |j><k|, which is not generally 1. For example, with d1=1, d2=2, Q1=Q2=1/2 and m=1, T_1(1)=1/2(|0>+|1>)(<0|+<1|) != 1. Hence the T_m are not cptp maps, and the claimed strong RA decomposition for qc-channels is not established. The proof needs to be repaired or the qc claim must be withdrawn.
[Sec. 2, Theorem 1] The proof of Theorem 1 is entirely an appeal to the Fadell–Husseini index computations in [BK25] and [NN24]. Since Corollaries 1–4 and the weak RA result for d1=d2=3 rest on this theorem, the manuscript should state the precise index theorem being used, including the condition r=n^a q and gcd(n,q)=1, and verify that the Z_n action in those references is exactly the cyclic block-permutation action of Lemma 1. Without this, the central topological step is not self-contained, and a mismatch of actions or a missing coprime condition would invalidate the corollaries.

minor comments (5)

[Sec. 4, Eq. (25)] The displayed formula for phi''(0) contains a typesetting artifact ('16 \r\rRe\r\r'). The intended expression should be corrected.
[Sec. 4, Eq. (22)] The sentence 'in fact, all if P>0' is false: the U-family only yields decompositions for which P^{-1/2}P_i P^{-1/2} are mutually orthogonal rank-d1 projectors. General decompositions need not have this form. The proof only needs a zero of f on this family, so the overstatement should be removed or corrected.
[Sec. 4, Theorem 6] The phrase 'the singular case will eventually be covered by compactness and continuity' is terse. A short limiting argument should be added to justify passing from invertible Choi matrices to general ones.
[Sec. 2, Corollary 4] In the recursive step for composite N, it should be explicitly noted that at each stage the rank parameter is again of the form p^a q with gcd(p,q)=1, so that Theorem 1 applies.
[Appendix A, Proposition 1] The main text writes tr[P_i]^2 while the appendix writes (tr[P_i])^2; this should be unified to avoid ambiguity.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: all derivations are independent of the conjectures they prove; the main risk is external index computation, not a circular step.

full rationale

The paper's derivation chain is not circular. Theorem 1 imports Fadell–Husseini index computations from independent external papers ([BK25], [NN24], [Vol93], [BZ11]); those are parameter-free statements about flag manifolds and test spaces, and they do not assume the RA conjecture or any conclusion of the present paper, so they are genuine external evidence. All consequences (Cors. 1–4, weak RA for d=3) follow by applying the index non-inclusion to the specific Choi-matrix constraints; no equation in the proof reduces to the RA claim. Section 3 derives structural robustness from a submersion argument and the edge relation, not from RA. Section 4's Theorem 6 uses a unitary-family ansatz (Eq. 22), a Borsuk–Ulam zero, and a second-derivative negativity argument; it does not fit parameters or presuppose the decomposition. Theorem 7 reduces cq/qc channels to the Schur–Horn theorem, a known external result. There are no self-citations, no fitted quantities called predictions, and no imported uniqueness theorem. The only substantive risk is that the quoted index kernels might be wrong or inapplicable to the cyclic block action; that is an external mathematical risk, not circularity. The overbroad claim 'in fact, all' near Eq. (22) is not used in the proof and does not create circularity.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No free parameters or invented entities. The results are pure mathematics; the only external load is standard topology and two cited index computations.

assumptions (7)

standard math Borsuk-Ulam theorem: any continuous odd map S^n -> R^n has a zero.
Used in the toy example, in Thm 6, and implicitly in Prop 4's Yamabe-Yujobo theorem.
standard math Fadell-Husseini index obstruction: if ker pi*_Y is not contained in ker pi*_X then no G-equivariant map X -> Y exists.
Used in proof of Thm 1, Sec.2.
standard math Index of F_r(C^{rn}) under Z_n is as computed in [BK25] for odd n and [NN24] for n=2, with the kernel ideals quoted in Thm 1.
Load-bearing for Cor 1-4 and weak RA for qutrit; not derived in this paper.
standard math Yamabe-Yujobo theorem: for any continuous real function on S^{n-1} there is an orthonormal basis with equal values.
Used in Prop.4.
standard math Tarski-Seidenberg theorem and semialgebraic geometry.
Used in Thm 3 to show the strong-RA set is semialgebraic.
standard math Stinespring dilation and connectedness of Stiefel manifolds.
Used in Thm 3 to show connectedness of T_{d1}.
domain assumption Density of full-rank Choi matrices in the convex set of channels.
Invoked at start of Thm 6 proof ('singular case will eventually be covered by compactness and continuity'); true by convexity but not shown.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Ruskai-Audenaert conjecture & equipartitions of positive operators." pith.science (2026). https://pith.science/paper/NOQF54KJ

@misc{pith2026260723066,
  author       = {Pith},
  title        = {Pith review of: The Ruskai-Audenaert conjecture & equipartitions of positive operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NOQF54KJ}},
  note         = {Machine review of arXiv:2607.23066}
}

read the original abstract

Several open problems in quantum information theory can be formulated as equipartition problems for positive operators, asking for a decomposition into bounded-rank positive parts under uniform constraints. The existence problems for SIC-POVMs and MUBs are of this type, as is the Ruskai-Audenaert conjecture. We first show that certain problems of this form can be attacked using equivariant cohomology, and then present new results on the Ruskai-Audenaert conjecture. In its weak form, this conjecture asserts that every quantum channel admits a convex decomposition into a minimal number of generalized extreme points; in its strong form, one with equal weights. We prove the strong conjecture in all dimensions for a set of channels of nonzero measure, including all cq- and qc-channels, as well as for all channels with qubit inputs. We also prove the weak conjecture for all qutrit channels, along with further results on convex decompositions of quantum channels.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

124 extracted references · 2 canonical work pages

[1]

and Blume-Kohout, Robin and Scott, A

Renes, Joseph M. and Blume-Kohout, Robin and Scott, A. J. and Caves, Carlton M. , year=. Symmetric informationally complete quantum measurements , volume=. Journal of Mathematical Physics , publisher=. doi:10.1063/1.1737053 , number=

doi:10.1063/1.1737053
[2]

Fuchs, Christopher and Hoang, Michael and Stacey, Blake , year=. The. Axioms , publisher=. doi:10.3390/axioms6030021 , number=

work page doi:10.3390/axioms6030021
[3]

Zauner, Gerhard , title =
[4]

International Journal of Quantum Information , volume =

ZAUNER, GERHARD , title =. International Journal of Quantum Information , volume =. 2011 , doi =. https://doi.org/10.1142/S0219749911006776 , abstract =

doi:10.1142/s0219749911006776 2011
[5]

Journal of Physics A: Mathematical and Theoretical , abstract =

Kwapisz, Jaroslaw , title =. Journal of Physics A: Mathematical and Theoretical , abstract =. 2019 , month =. doi:10.1088/1751-8121/ab0067 , url =

work page doi:10.1088/1751-8121/ab0067 2019
[7]

Kopp , year=

Gene S. Kopp , year=. 1807.05877 , archivePrefix=

arXiv
[8]

An analysis of completely-positive trace-preserving maps on

Mary. An analysis of completely-positive trace-preserving maps on. Linear Algebra and its Applications , volume =. 2002 , issn =. doi:https://doi.org/10.1016/S0024-3795(01)00547-X , url =

doi:10.1016/s0024-3795(01)00547-x 2002
[9]

and Paulsen, Vern I

Pandey, Satish K. and Paulsen, Vern I. and Prakash, Jitendra and Rahaman, Mizanur , title =. Journal of Mathematical Physics , volume =. 2020 , abstract =. doi:10.1063/1.5045184 , url =

doi:10.1063/1.5045184 2020

Show all 124 references

[10]

Foundations of Physics , year=

Appleby, Marcus and Flammia, Steven and McConnell, Gary and Yard, Jon , title=. Foundations of Physics , year=. doi:10.1007/s10701-017-0090-7 , url=

doi
[11]

Osaka Mathematical Journal , number =

Hidehiko Yamabe and Zuiman Yujob. Osaka Mathematical Journal , number =
[12]

and Hoang, Michael C

Fuchs, Christopher A. and Hoang, Michael C. and Stacey, Blake C. , TITLE =. Axioms , VOLUME =. 2017 , NUMBER =

2017
[13]

ON MUTUALLY UNBIASED BASES , journal =

DURT, THOMAS and ENGLERT, BERTHOLD-GEORG and BENGTSSON, INGEMAR and \. ON MUTUALLY UNBIASED BASES , journal =. 2010 , doi =

2010
[14]

Mutually

McNulty, Daniel and Weigert, Stefan , journal =. Mutually. doi:10.22331/q-2026-04-01-2051 , url =

2026 doi
[15]

Journal of Physics A: Mathematical and General , abstract =

Scott, A J , title =. Journal of Physics A: Mathematical and General , abstract =. 2006 , volume =. doi:10.1088/0305-4470/39/43/009 , url =

2006 doi
[16]

2016 , volume =

Jeli\'c, Marija , title =. 2016 , volume =

2016
[17]

2007 , eprint=

Some Open Problems in Quantum Information Theory , author=. 2007 , eprint=

2007
[18]

Operational criterion and constructive checks for the separability of low-rank density matrices , author =. Phys. Rev. A , volume =. 2000 , publisher =. doi:10.1103/PhysRevA.62.032310 , url =

doi
[19]

John Milnor , journal =
[20]

Algebraic topology

Hatcher, Allen. Algebraic topology. 2000

2000
[21]

Blagojević and Günter M

Pavle V.M. Blagojević and Günter M. Ziegler , keywords =. The ideal-valued index for a dihedral group action, and mass partition by two hyperplanes , journal =. 2011 , note =. doi:https://doi.org/10.1016/j.topol.2011.05.008 , url =

2011 doi
[22]

Sbornik: Mathematics , abstract =

A Yu Volovikov , title =. Sbornik: Mathematics , abstract =. 1993 , volume =. doi:10.1070/SM1993v076n02ABEH003418 , url =

1993 doi
[23]

An ideal-valued cohomological index theory with applications to

Fadell, Edward and Husseini, Sufian , volume=. An ideal-valued cohomological index theory with applications to. Ergodic Theory and Dynamical Systems , year=. doi:10.1017/S0143385700009342 , number=

doi
[24]

doi:doi:10.1515/9783110858372 , isbn =

Transformation Groups , author =. doi:doi:10.1515/9783110858372 , isbn =

doi
[25]

Mathematika , volume =

Basu, Samik and Kundu, Bikramjit , title =. Mathematika , volume =. doi:https://doi.org/10.1112/mtk.70001 , url =

doi
[26]

Journal of Homotopy and Related Structures , year=

Nath, Arijit and Nath, Avijit , title=. Journal of Homotopy and Related Structures , year=. doi:10.1007/s40062-024-00357-2 , url=

doi
[27]

Perturbation Theory for Linear Operators , url =

Kato, Tosio , year =. Perturbation Theory for Linear Operators , url =
[28]

David Hobby and D. M. Silberger , journal =. Quotients of Primes , volume =
[29]

Periodic Jacobi Matrices on Trees , volume =

Nir Avni and Jonathan Breuer and Barry Simon , journal =. Periodic Jacobi Matrices on Trees , volume =
[30]

, title =

Baker, A. , title =. Mathematika , volume =
[31]

and Gamboa, J.M

Fernando, J.F. and Gamboa, J.M. and Ruiz, J.M. , title =. J. Eur. Math. Soc. , volume =. doi:10.4171/JEMS/439 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/S0025579300008068 , year =

doi
[32]

Real Algebraic Geometry , doi =

Jacek Bochnak and Michel Coste and Marie-Francoise Roy , year =. Real Algebraic Geometry , doi =
[33]

Journal of Differential Geometry , number =

Luigi Ambrosio and Halil Mete Soner , title =. Journal of Differential Geometry , number =. 1996 , doi =

1996
[34]

Complex Analysis: An Introduction to The Theory of Analytic Functions of One Complex Variable, Third Edition , publisher =

Lars Ahlfors , year =. Complex Analysis: An Introduction to The Theory of Analytic Functions of One Complex Variable, Third Edition , publisher =
[35]

Singularities of Plane Curves , publisher =

Eduardo Casas-Alvero , year =. Singularities of Plane Curves , publisher =
[36]

Griffiths , year =

Phillip A. Griffiths , year =. Introduction to algebraic curves , publisher =
[37]

Stewart and Ji-Guang Sun , year =

G.W. Stewart and Ji-Guang Sun , year =. Matrix Perturbation Theory , publisher =
[38]

Farenick , year =

Douglas R. Farenick , year =. Algebras of Linear Transformations , publisher =
[39]

Notes on algebraic functions , volume =

Guan, KY and Lei, Jinzhi , year =. Notes on algebraic functions , volume =. International Journal of Mathematics and Mathematical Sciences , doi =
[40]

Defining the almost-entropic regions by algebraic inequalities , volume =

Gomez, Arley and Mejia Moreno, Carolina and Montoya, Juan , year =. Defining the almost-entropic regions by algebraic inequalities , volume =. International Journal of Information and Coding Theory , doi =
[41]

Mathematica Aeterna , number =

Johan Nixon , title =. Mathematica Aeterna , number =. 2013 , doi =

2013
[42]

, number =

Michel Coste , title =. , number =. 2002 , doi =

2002
[43]

Advances in Mathematics , volume =

Nir Avni and Jonathan Breuer and Barry Simon , keywords =. Advances in Mathematics , volume =. 2020 , issn =. doi:https://doi.org/10.1016/j.aim.2020.107241 , url =

2020
[44]

Werner , title =

Mark Fannes and Bruno Nachtergaele and Reinhard F. Werner , title =. Communications in Mathematical Physics , number =. 1992 , doi =

1992
[45]

Wilde , title =

Soorya Rethinasamy and Mark M. Wilde , title =. Phys. Rev. Research , number =. 2020 , doi =

2020
[46]

M\"uller and Henrik Wilming , title =

Paul Boes and Jens Eisert and Rodrigo Gallego and Markus P. M\"uller and Henrik Wilming , title =. Phys. Rev. Lett. , number =. 2019 , doi =

2019
[47]

Tulja Varun Kondra and Chandan Datta and Alexander Streltsov , title =. Phys. Rev. Lett. , number =. 2021 , doi =

2021
[48]

Patryk Lipka-Bartosik and Paul Skrzypczyk , title =. Phys. Rev. Lett. , number =. 2021 , doi =

2021
[49]

, number =

Roberto Rubboli and Marco Tomamichel , title =. , number =. 2021 , doi =

2021
[50]

, number =

Henrik Wilming , title =. , number =. 2020 , doi =

2020
[51]

and Datta,Nilanjana , title =

Hanson,Eric P. and Datta,Nilanjana , title =. Journal of Mathematical Physics , volume =. 2018 , doi =

2018
[52]

Alvaro Yanguez Bachiller , title =
[53]

Journal of Mathematical Physics , volume =

Kukulski,Ryszard and Nechita,Ion and Pawela,Lukasz and Puchala,Zbigniew and Zyczkowski,Karol , title =. Journal of Mathematical Physics , volume =. 2021 , doi =

2021
[54]

2010 , publisher=

An Introduction to Manifolds , author=. 2010 , publisher=

2010
[55]

Milnor, John , publisher =
[56]

On the dimension of the compact invariant sets of certain non-linear maps

Ma \ n \'e , Ricardo. On the dimension of the compact invariant sets of certain non-linear maps. Dynamical Systems and Turbulence, Warwick 1980. 1981

1980
[57]

Robinson, James C. , year=. Dimensions, Embeddings, and Attractors , DOI=
[58]

, title=

Heinosaari, Teiko and Mazzarella, Luca and Wolf, Michael M. , title=. Communications in Mathematical Physics , year=
[59]

and Johnson, Charles R

Horn, Roger A. and Johnson, Charles R. , publisher =
[60]

Hatcher, Allen , publisher =
[61]

, title = "

Evans, David E. , title = ". The Quarterly Journal of Mathematics , volume =. 1977 , month =. doi:10.1093/qmath/28.3.271 , url =

1977 doi
[62]

Detecting strange attractors in turbulence

Takens, Floris. Detecting strange attractors in turbulence. Dynamical Systems and Turbulence, Warwick 1980. 1981

1980
[63]

and Casdagli, Martin , title=

Sauer, Tim and Yorke, James A. and Casdagli, Martin , title=. Journal of Statistical Physics , year=
[64]

Assessing Quantum Dimensionality from Observable Dynamics , author =. Phys. Rev. Lett. , volume =. 2009 , month =. doi:10.1103/PhysRevLett.102.190504 , url =

2009 doi
[65]

Quantum process tomography of unitary maps from time-delayed measurements , journal=

L. Quantum process tomography of unitary maps from time-delayed measurements , journal=. 2023 , month=. doi:10.1007/s11128-023-04008-y , url=

2023 doi
[66]

Mityagin, B. S. , title=. Mathematical Notes , year=. doi:10.1134/S0001434620030189 , url=

doi
[67]

Parlett , keywords =

Beresford N. Parlett , keywords =. The (matrix) discriminant as a determinant , journal =. 2002 , issn =. doi:https://doi.org/10.1016/S0024-3795(02)00335-X , url =

2002 doi
[68]

Electron

Uwe Luther and Karla Rost , title =. Electron. Trans. Numer. Anal. , volume =. 2004 , pages =

2004
[69]

, title =

Hedemann, Samuel R. , title =. 2017 , eprint =. doi:10.48550/ARXIV.1709.05257 , url =

2017 doi arXiv
[70]

2001 , doi =

Linear Algebra and its Applications , volume =. 2001 , doi =

2001
[71]

Linear Quantum State Observers , year=

Clouâtré, Maison and Balas, Mark and Gehlot, Vinod and Valasek, John , journal=. Linear Quantum State Observers , year=
[72]

Totally Positive Matrices , DOI=

Pinkus, Allan , year=. Totally Positive Matrices , DOI=
[73]

1988 , publisher=

Dynamic Systems Control: Linear Systems Analysis and Synthesis , author=. 1988 , publisher=

1988
[74]

1960 , note =

On the general theory of control systems , journal =. 1960 , note =. doi:https://doi.org/10.1016/S1474-6670(17)70094-8 , author =

1960 doi
[75]

SIAM Journal on Control and Optimization , volume =

Aeyels, Dirk , title =. SIAM Journal on Control and Optimization , volume =
[76]

, booktitle=

Sussmann, Hector J. , booktitle=. Generic single-input observability of continuous-time polynomial systems , year=
[77]

and Kleinmann, Matthias and Sentís, Gael , keywords =

de Almeida, Jessica O. and Kleinmann, Matthias and Sentís, Gael , keywords =. Comparison of confidence regions for quantum state tomography , publisher =. doi:10.48550/ARXIV.2303.07136 , url =

doi arXiv
[78]

doi:10.1088/1751-8121/ab8111 , year =

M Guţă and J Kahn and R Kueng and J A Tropp , title =. doi:10.1088/1751-8121/ab8111 , year =

doi
[79]

Journal of Physics A: Mathematical and General , abstract =

Janusz Grabowski and Marek Kuś and Giuseppe Marmo , title =. Journal of Physics A: Mathematical and General , abstract =. 2005 , month =. doi:10.1088/0305-4470/38/47/011 , url =

2005 doi
[80]

and Cirac, J

Wolf, Michael M. and Cirac, J. Ignacio , title=. Communications in Mathematical Physics , year=. doi:10.1007/s00220-008-0411-y , url=

doi
[81]

Flanders, Harley , title =. Proc. Amer. Math. Soc , year = 1951, volume = 2, pages =

1951
[82]

, author=

On the similarity transformation between a matirx and its transpose. , author=. Pacific Journal of Mathematics , year=
[83]

Fillmore , title =

P.A. Fillmore , title =. The American Mathematical Monthly , year = 1969, volume = 76, pages =

1969
[84]

Kenjiro Shoda , journal=
[85]

, title=

Rastegin, Alexey E. , title=. Journal of Statistical Physics , year=
[86]

Electronic Journal of Linear Algebra , year = 2018, doi=

Katarzyna Filipiak and Daniel Klein and Erika Vojtková , title =. Electronic Journal of Linear Algebra , year = 2018, doi=

2018
[87]

Nonpositive-transpose entanglement and bound entanglement: From distillability sets to inequalities and multivariable insights , author =. Phys. Rev. A , volume =
[88]

Marshall, Ingram Olkin, Barry C

Albert W. Marshall, Ingram Olkin, Barry C. Arnold , title =
[89]

, title =

Mirsky, L. , title =. The Quarterly Journal of Mathematics , volume =. 1960 , month =

1960
[90]

Audenaert , title =

Koenraad M.R. Audenaert , title =. Journal of Mathematical Physics , year =
[91]

Letters in Mathematical Physics , year=

Rico, Pablo Costa , title=. Letters in Mathematical Physics , year=
[92]

and Riley, Richard D

Jackson, Dan and White, Ian R. and Riley, Richard D. , title =. Biometrical Journal , volume =
[93]

and Markiewicz, A

Filipiak, K. and Markiewicz, A. , title=. Metrika , year=
[94]

2025 , eprint=

Symmetry reduction for testing k -block-positivity via extendibility , author=. 2025 , eprint=

2025
[95]

2025 , issn =

A note on a conjecture from distillability of quantum entanglement , journal =. 2025 , issn =

2025
[96]

Linear and Multilinear Algebra , volume =

Yongtao Li , title =. Linear and Multilinear Algebra , volume =
[97]

Canadian Mathematical Bulletin , author=

Inequalities on partial traces of positive semidefinite block matrices , volume=. Canadian Mathematical Bulletin , author=. 2021 , pages=

2021
[98]

ILAS Conference , year=

Matrix inequalities involving partial traces , author=. ILAS Conference , year=
[99]

Blagojević, Pavle V. M. and Lück, Wolfgang and Ziegler, Günter M. , title =. Journal of Topology , volume =. 2015 , abstract =

2015
[100]

2017 , issn =

Linear Algebra and its Applications , volume =. 2017 , issn =. doi:https://doi.org/10.1016/j.laa.2017.06.043 , author =

2017 doi
[101]

2016 , eprint=

On Faces of the set of Quantum Channels , author=. 2016 , eprint=

2016
[102]

Journal of Mathematical Physics , volume =

Iten, Raban and Colbeck, Roger , title =. Journal of Mathematical Physics , volume =. 2018 , abstract =

2018
[103]

1975 , issn =

Completely positive linear maps on complex matrices , journal =. 1975 , issn =. doi:https://doi.org/10.1016/0024-3795(75)90075-0 , url =

1975 doi
[104]

Linear and Multilinear Algebra , volume =

Daeshik Choi , title =. Linear and Multilinear Algebra , volume =
[105]

Proof of a Conjectured

Song, Zhiwei and Chen, Lin and Sun, Yize and Hu, Mengyao , journal=. Proof of a Conjectured. 2023 , volume=

2023
[106]

and Hsieh, Min-Hsiu , title=

Lin, Ting-Chun and Kim, Isaac H. and Hsieh, Min-Hsiu , title=. Letters in Mathematical Physics , year=
[107]

Schmidt-number witnesses and bound entanglement , author =. Phys. Rev. A , volume =
[108]

Schmidt number for density matrices , author =. Phys. Rev. A , volume =. 2000 , month =. doi:10.1103/PhysRevA.61.040301 , url =

2000 doi
[109]

PRX Quantum , volume =

Five Open Problems in Quantum Information Theory , author =. PRX Quantum , volume =
[110]

Evidence for bound entangled states with negative partial transpose , author =. Phys. Rev. A , volume =
[111]

Distillability and partial transposition in bipartite systems , author =. Phys. Rev. A , volume =
[112]

, title =

Müller-Hermes, Alexander and Reeb, David and Wolf, Michael M. , title =. Journal of Mathematical Physics , volume =
[113]

Activating Distillation with an Infinitesimal Amount of Bound Entanglement , author =. Phys. Rev. Lett. , volume =
[114]

Forrest Stinespring , journal =

W. Forrest Stinespring , journal =. Positive Functions on
[115]

and Ruskai, Mary Beth , title =

Lieb, Elliott H. and Ruskai, Mary Beth , title =. Journal of Mathematical Physics , volume =
[116]

Quantum Info

Bravyi, Sergey , title =. Quantum Info. Comput. , pages =. 2004 , issue_date =

2004
[117]

One-Qubit Reduced States of a Pure Many-Qubit State: Polygon Inequalities , author =. Phys. Rev. Lett. , volume =
[118]

2003 , eprint=

On the one-particle reduced density matrices of a pure three-qutrit quantum state , author=. 2003 , eprint=

2003
[119]

Journal of Lie Theory , year =

Tobias Franz , title =. Journal of Lie Theory , year =
[120]

2004 , eprint=

Quantum marginal problem and representations of the symmetric group , author=. 2004 , eprint=

2004
[121]

A Few Steps More Towards NPT Bound Entanglement , year=

Pankowski, Lukasz and Piani, Marco and Horodecki, Michał and Horodecki, Paweł , journal=. A Few Steps More Towards NPT Bound Entanglement , year=
[122]

2021 , author =

A matrix inequality for entanglement distillation problem , journal =. 2021 , author =

2021
[123]

Entropy , VOLUME =

Shen, Yi and Chen, Lin , TITLE =. Entropy , VOLUME =. 2018 , NUMBER =

2018
[124]

2022 , volume =

Wang, Yijin and Zhang, Ao and Zhang, Hong , title =. 2022 , volume =

2022
[125]

, TITLE =

Doković, Dragomir Z. , TITLE =. Entropy , VOLUME =. 2016 , NUMBER =

2016

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [1]

and Blume-Kohout, Robin and Scott, A

Renes, Joseph M. and Blume-Kohout, Robin and Scott, A. J. and Caves, Carlton M. , year=. Symmetric informationally complete quantum measurements , volume=. Journal of Mathematical Physics , publisher=. doi:10.1063/1.1737053 , number=

doi:10.1063/1.1737053

[2] [2]

Fuchs, Christopher and Hoang, Michael and Stacey, Blake , year=. The. Axioms , publisher=. doi:10.3390/axioms6030021 , number=

work page doi:10.3390/axioms6030021

[3] [3]

Zauner, Gerhard , title =

[4] [4]

International Journal of Quantum Information , volume =

ZAUNER, GERHARD , title =. International Journal of Quantum Information , volume =. 2011 , doi =. https://doi.org/10.1142/S0219749911006776 , abstract =

doi:10.1142/s0219749911006776 2011

[5] [5]

Journal of Physics A: Mathematical and Theoretical , abstract =

Kwapisz, Jaroslaw , title =. Journal of Physics A: Mathematical and Theoretical , abstract =. 2019 , month =. doi:10.1088/1751-8121/ab0067 , url =

work page doi:10.1088/1751-8121/ab0067 2019

[6] [7]

Kopp , year=

Gene S. Kopp , year=. 1807.05877 , archivePrefix=

arXiv

[7] [8]

An analysis of completely-positive trace-preserving maps on

Mary. An analysis of completely-positive trace-preserving maps on. Linear Algebra and its Applications , volume =. 2002 , issn =. doi:https://doi.org/10.1016/S0024-3795(01)00547-X , url =

doi:10.1016/s0024-3795(01)00547-x 2002

[8] [9]

and Paulsen, Vern I

Pandey, Satish K. and Paulsen, Vern I. and Prakash, Jitendra and Rahaman, Mizanur , title =. Journal of Mathematical Physics , volume =. 2020 , abstract =. doi:10.1063/1.5045184 , url =

doi:10.1063/1.5045184 2020