Pith. sign in

REVIEW 4 major objections 4 minor 34 references

Phase Retrievability of Super Operators and Measurements

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

Pith's one-line read The paper proves that a super operator is phase-retrievable on positive semidefinite operators of rank at most k if and only if it separates every pair of such operators with orthogonal supports, and from this criterion derives trace-norm a

desk verdict Useful generalization of phase retrievability to bounded-rank states and general superoperators, but the key stability results rest on a lemma whose proof is wrong; the lemma is true and repairable, so the paper is salvageable. read the letter →

arxiv 2607.26474 v1 pith:6LUXYILE submitted 2026-07-29 quant-ph math.FA

classification quant-phmath.FA MSC 81P4581P1615A60
keywords quantumphaseretrievalsuperoperatorsrank-kpositivesemidefiniteorthogonalsupportstracenormstabilityBures–WassersteindistancemeasurementsHahn–Jordandecomposition
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

This paper extends quantum phase retrieval from pure states to all positive semidefinite operators of rank at most k, and from quantum channels to arbitrary super operators. Its central result is that a super operator can distinguish every pair of rank-k positive operators if and only if it distinguishes all pairs with orthogonal supports. From this single criterion the authors derive several stability theorems: nearby super operators preserve the property, the map is bi-Lipschitz with respect to the trace norm on rank-k states, and—via generalized Fuchs–van de Graaf inequalities—stable in the Bures–Wasserstein distance. This recovers and generalizes the classical stability results for phase retrieval in frame theory, and connects phase retrieval to quantum tomography.

What carries the argument

The load-bearing mechanism is the Hahn–Jordan decomposition of Hermitian operators, which splits any difference ρ − σ into mutually orthogonal positive and negative parts P and Q. The paper's Lemma 6.1 asserts that when ρ and σ have rank at most k, the parts P and Q also have rank at most k; this rank bound is the delicate step that turns injectivity on the entire set P_k into separation of orthogonal-support pairs. A second piece of machinery is the correspondence between measurements and diagonal-valued super operators, which lets the authors translate every result between the two settings. A third piece is the generalized Fuchs–van de Graaf inequalities, which bridge trace-norm stability

What would settle it

Construct two rank-2 positive semidefinite matrices A and B whose difference A − B has a positive part of rank 3, which would disprove the key rank lemma. Alternatively, exhibit a super operator that separates all orthogonal-support rank-k pairs but fails to separate a non-orthogonal pair, which would falsify the central criterion.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 6.2: a super operator Φ is P_k-phase retrievable—meaning injective on positive semidefinite operators of rank at most k—if and only if for every pair ρ, σ in P_k, not both zero, with orthogonal supports (ρσ = 0), one has Φ(ρ) ≠ Φ(σ). The proof reduces a general pair ρ, σ to the orthogonal pair (P, Q) obtained from the Hahn–Jordan decomposition of ρ − σ; if the positive and negative parts remain of rank ≤ k, then separating those parts is enough. The authors use this criterion to prove a compactness-based minimization lemma, openness of the class of P_k-phase retrievable super operators, a trace-norm bi-Lipschitz equivalence, and then translate these to Bu

Load-bearing premise

The central reduction assumes that splitting the difference of two rank-k positive semidefinite operators into positive and negative parts keeps those parts within rank k; the paper's proof of this lemma cites an eigenvalue inequality in the wrong direction, so the lemma's proof is incomplete as written, although the lemma itself can be proven by a more direct argument.

Editorial extensions

If this is right

  • Testing whether a super operator can retrieve rank-k states reduces to checking a smaller test set: pairs with orthogonal supports.
  • The set of P_k-phase retrievable super operators is open, so small perturbations of a retrievable map remain retrievable.
  • A P_k-phase retrievable super operator is bi-Lipschitz with respect to the trace norm on P_k, so output differences control input differences up to a constant.
  • Via the generalized Fuchs–van de Graaf inequalities, retrieval is 1/2-Hölder stable in the Bures–Wasserstein distance for general rank k, and Lipschitz stable for k = 1.
  • The orthogonal-pair reduction and stability results carry over to measurements, giving an open set of retrievable measurements with analogous bounds.
  • The symmetry-equivariant version extends the stability results to sets of states invariant under a group representation.

Reading between the lines

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

  • The orthogonal-pair criterion suggests a practical certification strategy: instead of checking all pairs of rank-k states, one could enumerate or sample only pairs with disjoint supports, potentially giving efficient verification for fixed k.
  • The Bures–Wasserstein connection indicates that classical stability of phase retrieval in frame theory is a special case of a quantum metric inequality; analogous stability might hold for other quantum distances, though the paper does not explore that.
  • The gap in Lemma 6.1's proof is likely repairable because the statement follows directly from the inclusions P ≤ A and Q ≤ B, so the main theorems are expected to survive once the proof is corrected.
  • The reduction to orthogonal pairs may inspire new algorithms for quantum state tomography with bounded-rank priors, since it decouples the rank constraint from the injectivity check.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The paper studies phase retrieval for super operators and measurements on finite-dimensional spaces, generalizing the pure-state framework of Liu-Han to the set P_k of positive semidefinite operators of rank at most k. The main results are: a correspondence between injectivity on P_k and phase retrievability (Theorem 3.2 and §4); existence of quantum channels that are P_k-phase retrievable but not injective, and measurements that separate P_k from P_{k+1} (Section 5); a reduction of P_k-phase retrievability to distinguishing orthogonal-support pairs (Theorem 6.2); trace-norm bi-Lipschitz stability (Theorem 6.9); and Bures–Wasserstein stability via Fuchs–van de Graaf inequalities (Section 8). The paper also contains block-diagonal characterizations inspired by the complement property in frame theory.

Significance. If the results are correct, this is a genuinely useful contribution: it places quantum phase retrieval in a broader operator-theoretic setting, gives a surprisingly simple orthogonal-pair criterion for bounded-rank retrievability, and extends Lipschitz stability from frame theory to the quantum trace-norm and Bures–Wasserstein settings. The paper is refreshingly free of fitted parameters and circularity: the equivalences are biconditional statements proved from definitions and cited external theorems. However, the current exposition contains several load-bearing proof errors, most importantly in Lemma 6.1, Theorem 4.1, Theorem 5.5, and Theorem 8.4. These do not appear to invalidate the main claims—the errors are local and fixable—but they must be corrected before the paper can be accepted.

major comments (4)
  1. [Section 6, Lemma 6.1] The proof of the bound rank(Q)≤k is invalid. The invocation of [ZCLW22, Prop. 2.2(ii)] to conclude n_-(A−B)≤n_-(A) is false, e.g. for scalars A=1, B=2 one has n_-(A−B)=1 but n_-(A)=0. The sentence 'Θ_1 ⊆ Θ_1' is also a typo. The lemma is true (one can prove n_+(A−B)≤rank(A) and n_-(A−B)≤rank(B) by interlacing or by a range argument), but the supplied proof is not. Since Theorem 6.2, Lemma 6.5, Theorem 6.9, and all measurement analogues depend on this lemma, the central stability criterion is unsupported as written.
  2. [Section 5, Theorem 5.5] The proof asserts that the constructed four-dimensional subspace B spanned by B1,...,B4 satisfies condition (d) of [HMW13, Thm. 1], namely rank(B)≥2k+1 for every nonzero B∈B. This is not verified. It is a nontrivial statement about arbitrary linear combinations of a shift matrix, its transpose, and two diagonal matrices, and it is exactly the condition needed to apply [HMW13]. Without a proof, the existence of a P_k-phase retrievable but not P_{k+1}-phase retrievable measurement is not established.
  3. [Section 4, Theorem 4.1] The proof contains factor-2 algebra errors. In (a)⇒(b), with U=1/2(X+Y) and V=1/2(X−Y), one has UU^*−VV^* = 1/2(XY^*+YX^*), not XY^*+YX^*. In (b)⇒(a), with X=1/2(U+V) and Y=1/2(U−V), one has XY^*+YX^* = 1/2(ρ−σ), not ρ−σ. The theorem's statement is still salvageable because the factor 1/2 cancels in the implications, but as written the proof is algebraically incorrect.
  4. [Section 8, Theorem 8.4] The first displayed inequality has the wrong scaling. From Corollary 8.3 one obtains d_BW(ρ,σ)^2 ≤ C d_BW(Φρ,Φσ)(∥Φρ∥_1^{1/2}+∥Φσ∥_1^{1/2}). Combining with the rank-one identity ∥ρ−σ∥_1 = d_BW(ρ,σ)√(Trρ+Trσ+2F) gives a factor √(Trρ+Trσ+2F) in the denominator on the right, not in the numerator. The final line also drops this factor entirely. A correct proof is possible by bounding TrΦρ+TrΦσ+2F(Φρ,Φσ) by 2∥Φ∥_{1→1}(Trρ+Trσ) and using S≥Trρ+Trσ, but the argument as printed does not establish the claimed Lipschitz bound.
minor comments (4)
  1. [Section 6, Lemma 6.5] The compactness of D is asserted without detail. It is true because P_k is closed (rank≤k is closed under limits) and the normalization makes D bounded, but this should be stated.
  2. [Throughout] There are many stray minus signs in function arrows, e.g. 'L(X)− →L(Y)' in Theorem 6.7, Theorem 7.5, and elsewhere. Also the definition of P_k in Theorem 6.7 has a misplaced brace: it reads '{ρ∈Pos(X)}: rank(ρ)≤k}'.
  3. [Section 8, Corollary 8.3] The final displayed derivation of the Hölder constant is dimensionally inconsistent: the right-hand side first has a linear factor d_BW(Φρ,Φσ), then is declared equal to K√(d_BW(Φρ,Φσ)). The correct conclusion is d_BW(ρ,σ) ≤ K√(d_BW(Φρ,Φσ)) with K = √(2C√L√∥Φ∥_{1→1}).
  4. [Section 4, Theorem 4.7] In the proof, the notation alternates between Herm(R^r) and Herm(C^r) in several displayed lines. These should be consistently C^r in the complex theorem.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper's equivalences are biconditional mathematical statements proved from definitions and external cited theorems, and no prediction is fitted or renamed.

full rationale

The paper is a pure mathematics work. Its central claims are biconditional characterizations of phase retrievability, proved from definitions and standard linear algebra / quantum information tools. The reduction to orthogonal-support pairs (Theorem 6.2) is not circular: it is derived using the Hahn–Jordan decomposition and Lemma 6.1, and it does not presuppose the conclusion. Lemma 6.5 and Theorem 6.9 similarly rest on the same reduction rather than on fitting parameters or renaming outputs. The authors cite prior work, but the load-bearing citations are to external papers ([LH25], [HMW13], [ZCLW22], etc.), not to their own prior results, and they explicitly note antecedents such as [KW15]. There is no fitted parameter later called a prediction, no ansatz smuggled in through self-citation, and no uniqueness theorem imported from the authors' own prior work. The reader's identified defect in the proof of Lemma 6.1, where an inequality direction from [ZCLW22, Prop. 2.2] appears misused, is a correctness concern, not a circularity: it does not make the theorem equivalent to its input by construction. Accordingly, the circularity score is 0.

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

The central results are derived within finite-dimensional operator theory using standard facts and two external black-box results from [HMW13]. No free parameters are fitted and no new physical entities are introduced.

assumptions (8)
  • standard math Finite-dimensional real or complex Euclidean spaces and standard linear algebra/spectral theorem facts
    Section 2 sets F-Euclidean spaces; used throughout.
  • standard math Choi's theorem on Kraus representation of completely positive maps
    Eq. (2.1), Section 2.
  • standard math Existence of informationally complete measurements [Wat18, Examples 2.7 and 2.45]
    Used in Theorem 3.2(c)=>(b).
  • domain assumption [HMW13, Thm. 1] existence of D_k-phase retrievable quantum measurements with 4k(n−k) outcomes
    Used as black box in Theorem 5.2; not proved in this paper.
  • domain assumption [HMW13, Props. 1 and 2] operator-system characterization of informationally complete measurements
    Used in Theorem 5.5 construction.
  • standard math [Wat18, Lem. 3.34] inequality ‖ρ−σ‖_1 ≥ ‖√ρ−√σ‖_2^2
    Used in proof of Theorem 8.2.
  • standard math Fuchs–van de Graaf inequalities and fidelity facts [Wat18, Thm. 3.33, Eq. 1.182]
    Used in Section 8.
  • standard math [BS18, Thm. 5.4.7] continuous functional calculus for commuting operators
    Used in Theorem 6.11.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Phase Retrievability of Super Operators and Measurements." pith.science (2026). https://pith.science/paper/6LUXYILE

@misc{pith2026260726474,
  author       = {Pith},
  title        = {Pith review of: Phase Retrievability of Super Operators and Measurements},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6LUXYILE}},
  note         = {Machine review of arXiv:2607.26474}
}
read the original abstract

We continue the study of Phase Retrieval in the Quantum Information setting in the style of \cite{liu2023phase}, in a manner which is more general in two primary ways: (a) Instead of only pure states we consider also states (and positive semidefinite operators) of bounded rank, as is done in Quantum Tomography; (b) We consider general super operators instead of only quantum channels. We show that in order to have phase retrieval with respect to positive semidefinite operators of bounded rank, it suffices to discriminate between perfectly distinguishable pairs (i.e. those with orthogonal supports). From this we prove that phase retrievability is always Lipschitz stable with respect to the trace norm, and then we use the Fuchs-van de Graaf inequalities to deduce stability with respect to the Bures--Wasserstein distance (thus generalizing the known stability results for phase retrieval in Frame Theory). For Hermitian-preserving super operators taking values in block-diagonal matrices, we characterize phase retrievability in terms of conditions inspired by the classical complement property from Frame Theory.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 21 canonical work pages

  1. [1]

    and Ferrie, Chris , TITLE =

    Afham, A. and Ferrie, Chris , TITLE =. J. Math. Phys. , FJOURNAL =. 2025 , NUMBER =. doi:10.1063/5.0252803 , URL =

  2. [2]

    Linear Algebra Appl

    Dinh, Trung Hoa and Le, Cong Trinh and Vo, Bich Khue and Vuong, Trung Dung , TITLE =. Linear Algebra Appl. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.laa.2021.04.007 , URL =

  3. [3]

    Bhatia, Rajendra and Jain, Tanvi and Lim, Yongdo , TITLE =. Expo. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1016/j.exmath.2018.01.002 , URL =

  4. [4]

    Wang, Yang and Xu, Zhiqiang , TITLE =. Appl. Comput. Harmon. Anal. , FJOURNAL =. 2019 , NUMBER =. doi:10.1016/j.acha.2017.09.003 , URL =

  5. [5]

    and Cahill, Jameson and Mixon, Dustin G

    Bandeira, Afonso S. and Cahill, Jameson and Mixon, Dustin G. and Nelson, Aaron A. , TITLE =. Appl. Comput. Harmon. Anal. , FJOURNAL =. 2014 , NUMBER =. doi:10.1016/j.acha.2013.10.002 , URL =

  6. [6]

    Alharbi, Wedad and Alshabhi, Salah and Freeman, Daniel and Ghoreishi, Dorsa , TITLE =. Sampl. Theory Signal Process. Data Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s43670-024-00084-y , URL =

  7. [7]

    Watrous, John , year=. The

  8. [8]

    Linear Algebra Appl

    Liu, Kai and Han, Deguang , TITLE =. Linear Algebra Appl. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.laa.2025.07.014 , URL =

Show all 34 references
  1. [9]

    , TITLE =

    Heinosaari, Teiko and Mazzarella, Luca and Wolf, Michael M. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00220-013-1671-8 , URL =

  2. [10]

    Alharbi, Wedad and Freeman, Daniel and Ghoreishi, Dorsa and Lois, Claire and Sebastian, Shanea , TITLE =. Proc. Amer. Math. Soc. Ser. B , FJOURNAL =. 2023 , PAGES =. doi:10.1090/bproc/185 , URL =

  3. [11]

    Linear Algebra Appl

    Choi, Man Duen , TITLE =. Linear Algebra Appl. , FJOURNAL =. 1975 , PAGES =. doi:10.1016/0024-3795(75)90075-0 , URL =

  4. [12]

    Linear Multilinear Algebra , FJOURNAL =

    Zheng, Sai-Nan and Chen, Xi and Liu, Lily Li and Wang, Yi , TITLE =. Linear Multilinear Algebra , FJOURNAL =. 2022 , NUMBER =. doi:10.1080/03081087.2020.1765957 , URL =

  5. [13]

    , TITLE =

    Kech, Michael and Wolf, Michael M. , TITLE =. Inf. Inference , FJOURNAL =. 2017 , NUMBER =. doi:10.1093/imaiai/iaw019 , URL =

  6. [14]

    Inverse of a

    Bender, Carl M and Brody, Dorje C and Meister, Bernhard K , journal=. Inverse of a

  7. [15]

    , TITLE =

    Balan, Radu and Dock, Chris B. , TITLE =. SIAM J. Matrix Anal. Appl. , FJOURNAL =. 2022 , NUMBER =. doi:10.1137/21M1435446 , URL =

  8. [16]

    Linear Algebra Appl

    Balan, Radu and Zou, Dongmian , TITLE =. Linear Algebra Appl. , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.laa.2015.12.029 , URL =

  9. [17]

    1997 , PAGES =

    Bhatia, Rajendra , TITLE =. 1997 , PAGES =. doi:10.1007/978-1-4612-0653-8 , URL =

  10. [18]

    El-Mikkawy, Moawwad E. A. , TITLE =. Appl. Math. Comput. , FJOURNAL =. 2003 , NUMBER =. doi:10.1016/S0096-3003(02)00609-4 , URL =

  11. [19]

    2018 , publisher=

    Functional analysis , author=. 2018 , publisher=

  12. [20]

    Han, Deguang and Liu, Kai , TITLE =. Adv. Oper. Theory , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s43036-024-00331-y , URL =

  13. [21]

    Balan, Radu and Casazza, Pete and Edidin, Dan , TITLE =. Appl. Comput. Harmon. Anal. , FJOURNAL =. 2006 , NUMBER =. doi:10.1016/j.acha.2005.07.001 , URL =

  14. [22]

    and Daubechies, Ingrid , TITLE =

    Cahill, Jameson and Casazza, Peter G. and Daubechies, Ingrid , TITLE =. Trans. Amer. Math. Soc. Ser. B , FJOURNAL =. 2016 , PAGES =. doi:10.1090/btran/12 , URL =

  15. [23]

    Alaifari, Rima and Grohs, Philipp , TITLE =. SIAM J. Math. Anal. , FJOURNAL =. 2017 , NUMBER =. doi:10.1137/16M1071481 , URL =

  16. [24]

    SIAM Rev

    Grohs, Philipp and Koppensteiner, Sarah and Rathmair, Martin , TITLE =. SIAM Rev. , FJOURNAL =. 2020 , NUMBER =. doi:10.1137/19M1256865 , URL =

  17. [25]

    Acta Numer

    Fannjiang, Albert and Strohmer, Thomas , TITLE =. Acta Numer. , FJOURNAL =. 2020 , PAGES =. doi:10.1017/s0962492920000069 , URL =

  18. [26]

    Balan, Radu and Wang, Yang , TITLE =. Appl. Comput. Harmon. Anal. , FJOURNAL =. 2015 , NUMBER =. doi:10.1016/j.acha.2014.07.003 , URL =

  19. [27]

    2015 International Conference on Sampling Theory and Applications (SampTA) , pages=

    From quantum tomography to phase retrieval and back , author=. 2015 International Conference on Sampling Theory and Applications (SampTA) , pages=. 2015 , organization=

  20. [28]

    , TITLE =

    Kech, Michael and Vrana, P\'eter and Wolf, Michael M. , TITLE =. J. Phys. A , FJOURNAL =. 2015 , NUMBER =. doi:10.1088/1751-8113/48/26/265303 , URL =

  21. [29]

    Finite frame theory , SERIES =

    Balan, Radu , TITLE =. Finite frame theory , SERIES =. 2016 , ISBN =. doi:10.1007/978-3-319-68548-9\_66 , URL =

  22. [30]

    Zhuang, Zhitao , TITLE =. J. Inequal. Appl. , FJOURNAL =. 2019 , PAGES =. doi:10.1186/s13660-019-1968-z , URL =

  23. [31]

    Zhuang, Zhitao , TITLE =. J. Inequal. Appl. , FJOURNAL =. 2019 , PAGES =. doi:10.1186/s13660-019-2270-9 , URL =

  24. [32]

    Amir, Tal and Bendory, Tamir and Dym, Nadav and Edidin, Dan , TITLE =. Appl. Comput. Harmon. Anal. , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.acha.2025.101838 , URL =

  25. [33]

    Nature communications , volume=

    Equivalence of wave--particle duality to entropic uncertainty , author=. Nature communications , volume=. 2014 , publisher=

  26. [34]

    and Berta, Mario and Hirche, Christoph and Kaur, Eneet , TITLE =

    Wilde, Mark M. and Berta, Mario and Hirche, Christoph and Kaur, Eneet , TITLE =. Lett. Math. Phys. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s11005-020-01297-7 , URL =

Pith tools

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