Pith. sign in

REVIEW 4 major objections 5 minor 36 references

A study on Heisenberg-Weyl linear maps

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

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

Pith's one-line read Heisenberg-Weyl observables—Hermitian generalizations of Pauli operators—reproduce generalized Pauli channels in prime dimension d, and a finer map extends the family, with a d=3 case recapturing the reduction map.

desk verdict A plausible but ragged paper: the finer H.W. map family (4.11) and the d=3 positivity case study are worth a look, but a false d=4 remark and several handwave proofs need real fixing; the stress-test's Prop 3.5 counterexample misses a sign. read the letter →

arxiv 2506.05097 v1 pith:55TB2Q44 submitted 2025-06-05 math-ph math.MPquant-ph

Saikat Patra , Bihalan Bhattacharya This is my paper
classification math-phmath.MPquant-ph MSC 81P4581P16
keywords Heisenberg-WeylobservablesgeneralizedPaulichannelspositivemapsmutuallyunbiasedbasesreductionmapunitalquantumoperatorbasis
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

Heisenberg-Weyl (H.W.) observables are Hermitian operators built from displacement operators, and this paper treats them as the higher-dimensional analogue of Pauli operators. The authors study their algebraic and spectral properties and then build linear maps, H.W. maps, whose Kraus-like summands are H.W. observables. The central claim is that for prime dimension d the H.W. channel defined in equation (4.10) is exactly a generalized Pauli channel, and that a finer map (4.11) genuinely extends this construction by splitting each commuting block of H.W. observables into pairs. A d=3 case study then gives a sufficient positivity condition controlled by four eigenvalues, and one parameter choice reproduces the reduction map. If the claims hold, H.W. observables supply a Hermitian-Kraus representation of generalized Pauli channels and a route to positive maps in higher dimensions.

What carries the argument

The central object is the Heisenberg-Weyl observable $Q_{k,l}=\chi D_{k,l}+\chi^*D^\dagger_{k,l}$, with $\chi=(1\pm i)/2$, which is Hermitian and traceless and forms an orthogonal basis of the operator algebra. In prime dimension d these observables split into d+1 mutually commuting subsets $\{Q_{n,\alpha n}\}$, $\{Q_{n,0}\}$, $\{Q_{0,n}\}$, and the argument's hinge is that each normalized operator $\frac{1}{\sqrt d}Q_{n,\alpha n}$ can be expanded in a mutually unbiased basis with coefficients $a_{n,r}$ satisfying column orthogonality $\sum_n a_{n,r}a_{n,r'}=\delta_{r,r'}$. This turns each $\Phi_\alpha$ into a dephasing map $\sum_r P^\alpha_r(\cdot)P^\alpha_r$, which is exactly the ingredient of a generalized Pauli channel. The companion machinery is the eigenvalue equation $\tilde\Phi_{k,l}(Q_{m,n})=2\cos(2\pi(kn-lm)/d)\,Q_{m,n}$ for the paired maps, which makes the R-matrix diagonal for H.W. maps and yields the explicit d=3 eigenvalues (4.17).

What would settle it

Take d=3, fix any complete set of mutually unbiased bases, and compute the coefficients $a_{n,r}=\langle \eta_r^\alpha|Q_{n,\alpha n}|\eta_r^\alpha\rangle$ for one line; if $\sum_n a_{n,r}a_{n,r'}\neq\delta_{r,r'}$ for some pair $(r,r')$, or equivalently if $\Phi_\alpha(X)=\frac{1}{3}\sum_n Q_{n,\alpha n}XQ_{n,\alpha n}$ differs from $\sum_r P^\alpha_r X P^\alpha_r$ on any input $X$, then Proposition 4.2 is false and (4.10) need not be the generalized Pauli channel (2.3).

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that the Heisenberg-Weyl observables $Q_{k,l}=\chi D_{k,l}+\chi^*D^\dagger_{k,l}$ form an operator basis whose mutually commuting subsets, in prime dimension d, can be used to reconstruct the generalized Pauli channels of equation (2.3). Proposition 4.2 shows that each map $\Phi_\alpha(X)=\frac{1}{d}\sum_{n=0}^{d-1}Q_{n,\alpha n}XQ_{n,\alpha n}$ equals the dephasing map $\sum_r P^\alpha_r X P^\alpha_r$ for a mutually unbiased basis, so the convex mixture (4.10) is a generalized Pauli channel with Hermitian Kraus operators. The paper then defines a finer family (4.11) that assigns independent pair weights to the operators $\{Q_{k,l},Q_{-k,-l}\}$ inside each commuting block; this reduces to (4.10) when the pair weights are equal, and otherwise goes beyond it. For $d=3$, unital H.W. maps have a diagonal R-matrix with four repeated eigenvalues $\lambda^{(1)},\dots,\lambda^{(4)}$, and under $2\|\Delta\|_\infty\le 1$ these eigenvalues govern positivity; the parameter choice $p_0=-1/3$, $p_1=p_3=p_4=p_5=1/6$ gives the reduction map $R(X)=\frac{1}{2}(\mathrm{Tr}(X)I_3-X)$.

Load-bearing premise

The argument collapses if the normalized H.W. operators $\frac{1}{\sqrt d}Q_{n,\alpha n}$ in each line are not simultaneously diagonalizable in a mutually unbiased basis with coefficients obeying $\sum_n a_{n,r}a_{n,r'}=\delta_{r,r'}$; this property is imported from the H.W. reference and not proved here.

Editorial extensions

If this is right

  • For prime d every generalized Pauli channel (2.3) can be written with Hermitian Kraus operators coming from H.W. observables, because (4.10) coincides with it.
  • The map (4.11) generalizes generalized Pauli channels: when all pair coefficients inside each commuting block are equal it collapses to (4.10), and otherwise it defines a strictly larger family of channels and candidate positive maps.
  • For d=3, unital H.W. maps have a diagonal R-matrix with four repeated eigenvalues (4.17), and under $2\|\Delta\|_\infty\le 1$ positivity is guaranteed according to the sign pattern of those eigenvalues; in particular at least two of $p_1,p_3,p_4,p_5$ must be positive when all four eigenvalues share a sign.
  • The H.W. construction contains the reduction map: $p_0=-1/3$, $p_1=p_3=p_4=p_5=1/6$ yields $R(X)=\frac{1}{2}(\mathrm{Tr}(X)I_3-X)$, a positive but not completely positive map on $B(\mathbb{C}^3)$, so H.W. maps can detect entanglement.

Reading between the lines

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

  • One can read Proposition 4.2 as a template rather than a single example: any set of d mutually commuting traceless Hermitian operators whose normalized MUB expansions satisfy the column-orthogonality condition would automatically generate a generalized Pauli channel, so the construction may transfer to other operator bases.
  • The cosine eigenvalue formula suggests a direct numerical route for testing positivity of general H.W. mixtures: compute the diagonal R-matrix entries and check whether the positivity sufficient condition is also necessary for unital maps in d=3; this is not settled by the paper.
  • Chasing the paper's closing suggestion, one could try to characterize Schwarz maps among H.W. maps using the commuting-pair decomposition, in analogy with the qubit Pauli-map case; a positive outcome would give new examples of non-completely-positive Schwarz maps in higher dimensions.
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.

Referee Report

4 major / 5 minor

Summary. The paper studies Heisenberg-Weyl (H.W.) observables Q_{k,l} = χD_{k,l}+χ*D†_{k,l} on C^d, claims algebraic and spectral properties for them, and uses them to define linear maps Λ(Y)=Σ p_{k,l}Q_{k,l}YQ_{k,l}. The main advertised results are: (i) commutativity and isospectrality properties of H.W. observables, including Proposition 3.5; (ii) unitality conditions for H.W. maps, with a remark on d=4; (iii) an equivalence between the H.W. channel (4.10) and the generalized Pauli channel (2.3); and (iv) a d=3 case study giving positivity conditions and reproducing the reduction map for p0=-1/3, p1=p3=p4=p5=1/6.

Significance. If the central claims were correct, the paper would provide a Hermitian-Kraus representation of generalized Pauli channels and a systematic way to generate positive maps in prime dimensions. The paper explicitly connects its construction to the established generalized Pauli channels of Ref. [9] and to the reduction map, which is a useful and falsifiable target. However, the correctness of the advertised spectral program is not established: Proposition 3.5 is false as stated, a key identity used in later proofs is wrong, and the proof of the channel equivalence has an unproved step. The construction may be repairable, but the manuscript in its current form contains load-bearing mathematical errors.

major comments (4)
  1. [§3.2, Proposition 3.5] Proposition 3.5 is false as stated. For d=3, taking χ=(1+i)/2 and D_{k,l}=exp(-iπkl/3)Z^kX^l, direct diagonalization gives for the (0,1) operator S_{0,1}=Q_{0,1}+Q_{0,2} the spectrum {2,-1,-1}, while for the (1,1) operator defined in the proposition, S_{1,1}=-(Q_{1,1}+Q_{2,2}), the spectrum is {√3,-√3,0}. These multisets differ, so the claimed isospectrality fails in the prime dimension d=3 that the paper itself uses as a case study. The proof's appeal to commutativity of the summands is insufficient: commuting operators need not have isospectral sums.
  2. [§4, Eq. (4.5) and proofs of Theorem 4.1 and Proposition 4.5] The identity D†_{k,l}=D_{-k,-l} is not valid when the indices are reduced modulo d, because the phase exp(-iπkl/d) is not periodic under k→k+d or l→l+d. For example, for d=3, D†_{1,1}=e^{iπ/3}X^{-1}Z^{-1}=e^{-iπ/3}Z^2X^2, whereas D_{2,2}=e^{-i4π/3}Z^2X^2; these differ by a sign. Since this identity is used to expand products in the proofs of Theorem 4.1 and Proposition 4.5, those proofs are not sound as written. The stated results may still be true, but they need a correct proof using consistent phases for the displacement operators.
  3. [§4.1, remark after Proposition 4.1] The remark asserting that for d=4 one has Λ(I)=(Σ_{k,l}p_{k,l})I is false for arbitrary coefficients. Taking p_{1,1}=1 and all other p_{k,l}=0 gives Λ(I)=Q_{1,1}^2. With χ=(1+i)/2 and D_{1,1}=e^{-iπ/4}ZX, the eigenvalues of Q_{1,1} are {√2,0,0,-√2}, so Q_{1,1}^2 has eigenvalue 0 and is not a multiple of the identity. Thus the claimed necessary-and-sufficient unitality condition in that remark is not established and the stated identity is incorrect.
  4. [§4.1, proof of Proposition 4.2] The proof of the equivalence between the H.W. channel (4.10) and the generalized Pauli channel (2.3) relies on the assertion that for each commuting set one can write (1/√d)Q_n=Σ_r a_{n,r}P_r with Σ_n a_{n,r}a_{n,r'}=δ_{r,r'}. This simultaneous diagonalization and column-orthogonality condition is the key step that turns Φ_α into the dephasing map Σ_r P_r(·)P_r, but it is not proved in the manuscript and no precise reference is given at the point of use. The claim may follow from [1], but it must be stated explicitly and justified, since the channel equivalence depends on it.
minor comments (5)
  1. [Abstract and §1] There are typos: 'dimesional' should be 'dimensional' in the abstract, and 'reffered' should be 'referred' in the introduction.
  2. [§4, Proposition 4.3] The statement says 'an if' in two places; it should read 'if and only if'.
  3. [§4.2, after Eq. (4.12)] The sentence 'one has the vector t = θ' should say 'the zero vector' rather than using the symbol θ, which is otherwise unused and could be confused with a phase.
  4. [§4.1] 'Hermitian Krauss operators' should be 'Hermitian Kraus operators'.
  5. [§3.1, Proposition 3.3] In the displayed computation, 'D†2_{nk,nk}' appears to be a typo for 'D†2_{nk,nl}'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central equivalence is an application of externally cited basis/MUB facts, not a reduction to the paper's own definitions.

full rationale

The paper's main channel result, Proposition 4.2, shows that the Heisenberg-Weyl-based channel (4.10) coincides with the generalized Pauli channel (2.3). The proof relies on the orthonormal-basis and column-orthogonality properties of the operators Q_{n,alpha n}, which are explicitly imported from the external reference [1], and on the generalized Pauli channel structure imported from the external reference [9]. Neither reference is authored by the present paper's authors, so this is not a self-citation chain. The equivalence is proved by computation from those stated external facts, not by defining one object in terms of the other. The paper contains no fitted parameters passed off as predictions and no empirical benchmark. The only self-citation, [7], appears in the concluding 'future directions' paragraph as a suggestion for further work and is not load-bearing for any result. The unproved external lemma regarding simultaneous diagonalization and column orthogonality, noted in the reader's weakest assumption, is a completeness or correctness concern about imported background, not a circularity: the paper does not assume the conclusion it is trying to prove, and the cited facts do not include the channel equality itself. Even if Proposition 3.5 is mathematically false for d=3, as the skeptic asserts, a false inference from commuting operators to isospectrality is a mathematical error rather than a circular derivation. Overall, the derivation chain is not forced by its own definitions or by self-citations.

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

The central construction rests on the H.W. basis from [1], the MUB structure for prime d, and the positivity criterion of [18]. No free parameters are fitted; the p coefficients are variables in the map. The paper does not introduce new physical entities.

assumptions (4)
  • domain assumption H.W. observables Q_{k,l} = chi D_{k,l} + chi* D-dagger_{k,l} with chi = (1 +/- i)/2 form an orthogonal Hermitian basis for B(C^d).
    Imported from reference [1] and used throughout, e.g., in Definition 3.1 and in the proof of Prop 4.2.
  • domain assumption For prime d, the d+1 subsets {Q_{n,alpha n}}, {Q_{n,0}}, {Q_{0,n}} are mutually commuting and each has d-1 nontrivial elements.
    Used in Prop 4.2 and in the construction of Psi in Section 4.1. It depends on Weyl commutation in prime dimensions, cited from reference [9].
  • domain assumption The positivity criterion in Prop 4.4 from reference [18] is correct.
    Imported without proof and used to derive positivity in the d=3 case study in Theorem 4.2.
  • standard math A complete set of d+1 mutually unbiased bases exists for prime d.
    Used to connect H.W. channels to generalized Pauli channels. This is a standard result for prime dimensions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A study on Heisenberg-Weyl linear maps." pith.science (2026). https://pith.science/paper/55TB2Q44

@misc{pith2026250605097,
  author       = {Pith},
  title        = {Pith review of: A study on Heisenberg-Weyl linear maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/55TB2Q44}},
  note         = {Machine review of arXiv:2506.05097}
}
read the original abstract

Heisenberg-Weyl operators provide a Hermitian generalization of Pauli operators in higher dimensions. Positive maps arising from Heisenberg-Weyl operators have been studied along with several algebraic and spectral properties of Heisenberg-Weyl observables. This allows to generalize the study of Pauli type maps in higher dimesional algebra of operators.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

36 extracted references · 35 canonical work pages

  1. [1]

    Ali Asadian, Paul Erker, Marcus Huber, and Claude Kl¨ ockl, Heisenberg-weyl observables: Bloch vectors in phase space, Phys. Rev. A 94 (2016), 010301

    work page 2016

  2. [9]

    Dariusz Chru´ sci´ nski and Katarzyna Siudzi´ nska,Generalized pauli channels and a class of non-markovian quantum evolution , Phys. Rev. A 94 (2016), 022118

    work page 2016

  3. [2]

    H. P. Breuer and F. Petruccione, The theory of open quantum systems , Oxford University Press, Great Clarendon Street, 2002

    work page 2002

  4. [3]

    Heinz-Peter Breuer, Elsi-Mari Laine, Jyrki Piilo, and Bassano Vacchini, Colloquium, Rev. Mod. Phys. 88 (2016), 021002

    work page 2016

  5. [4]

    2, 95–100

    Man-Duen Choi, Positive semidefinite biquadratic forms , Linear Algebra and its Applications 12 (1975), no. 2, 95–100

    work page 1975

  6. [5]

    03, 1450001

    Dariusz Chru´ sci´ nski,On kossakowski construction of positive maps on matrix algebras , Open Systems & Information Dynamics 21 (2014), no. 03, 1450001. 20 SAIKAT PATRA AND BIHALAN BHATTACHARYA

    work page 2014

  7. [6]

    Dariusz Chru´ sci´ nski,Dynamical maps beyond markovian regime , Physics Reports 992 (2022), 1–85

    work page 2022

  8. [7]

    39, 395202

    Dariusz Chru´ sci´ nski and Bihalan Bhattacharya,A class of schwarz qubit maps with diagonal unitary and orthogonal symmetries, Journal of Physics A: Mathematical and Theoretical 57 (2024), no. 39, 395202

    work page 2024

Show all 36 references
  1. [8]

    48, 483001

    Dariusz Chru´ sci´ nski and Gniewomir Sarbicki,Entanglement witnesses: construction, analysis and classifi- cation, Journal of Physics A: Mathematical and Theoretical 47 (2014), no. 48, 483001

    2014

  2. [10]

    In´ es de Vega and Daniel Alonso,Dynamics of non-markovian open quantum systems , Rev. Mod. Phys. 89 (2017), 015001

    2017

  3. [11]

    Otfried G¨ uhne and G´ eza T´ oth,Entanglement detection, Physics Reports 474 (2009), no. 1, 1–75

    2009

  4. [12]

    Kil-Chan Ha, Atomic positive linear maps in matrix algebras , Publications of the Research Institute for Mathematical Sciences 134 (1998)

    1998

  5. [13]

    1, 105–113

    Kil-Chan Ha, Positive projections onto spin factors , Linear Algebra and its Applications 348 (2002), no. 1, 105–113

    2002

  6. [14]

    1, 277–290

    , A class of atomic positive linear maps in matrix algebras , Linear Algebra and its Applications 359 (2003), no. 1, 277–290

    2003

  7. [15]

    Micha l Horodecki, Pawe l Horodecki, and Ryszard Horodecki, Separability of mixed states: necessary and sufficient conditions, Physics Letters A 223 (1996), no. 1, 1–8

    1996

  8. [16]

    5, 333–339

    Pawel Horodecki, Separability criterion and inseparable mixed states with positive partial transposition , Physics Letters A 232 (1997), no. 5, 333–339

    1997

  9. [17]

    Ryszard Horodecki, Pawe l Horodecki, Micha l Horodecki, and Karol Horodecki, Quantum entanglement , Rev. Mod. Phys. 81 (2009), 865–942

    2009

  10. [18]

    Vahid Jannesary, Vahid Karimipour, and Dariusz Chru´ sci´ nski,A class of entanglement witnesses and a realignment-like criterion, Scientific Reports 15 (2025), no. 1, 5718

    2025

  11. [19]

    Seung-Hyeok Kye, Facial structures for unital positive linear maps in the two-dimensional matrix algebra , Linear Algebra and its Applications 362 (2003), 57–73

    2003

  12. [20]

    Maciej Lewenstein, Remigiusz Augusiak, Dariusz Chru´ sci´ nski, Swapan Rana, and Jan Samsonowicz,Suf- ficient separability criteria and linear maps , Phys. Rev. A 93 (2016), 042335

    2016

  13. [21]

    Majewski, On positive decomposable maps , Reports on Mathematical Physics 59 (2007), no

    W.A. Majewski, On positive decomposable maps , Reports on Mathematical Physics 59 (2007), no. 3, 289– 298

    2007

  14. [22]

    Marcin Marciniak and Adam Rutkowski, Merging of positive maps: A construction of various classes of positive maps on matrix algebras , Linear Algebra and its Applications 529 (2017), 215–257

    2017

  15. [23]

    Nielsen and Isaac L

    Michael A. Nielsen and Isaac L. Chuang, Quantum computation and quantum information: 10th anniversary edition, Cambridge University Press, 2010

    2010

  16. [24]

    Osaka, Indecomposable positive maps in low dimensional matrix algebras , Linear Algebra and its Appli- cations 153 (1991), 73–83

    H. Osaka, Indecomposable positive maps in low dimensional matrix algebras , Linear Algebra and its Appli- cations 153 (1991), 73–83

    1991

  17. [25]

    Hiroyuki Osaka, A series of absolutely indecomposable positive maps in matrix algebras , Linear Algebra and its Applications 186 (1993), 45–53

    1993

  18. [26]

    Vern Paulsen, Completely bounded maps and operator algebras , Cambridge Studies in Advanced Mathe- matics, Cambridge University Press, 2003

    2003

  19. [27]

    Asher Peres, Separability criterion for density matrices , Phys. Rev. Lett. 77 (1996), 1413–1415

    1996

  20. [28]

    9, 094001

    Angel Rivas, Susana F Huelga, and Martin B Plenio, Quantum non-markovianity: characterization, quan- tification and detection , Reports on Progress in Physics 77 (2014), no. 9, 094001

    2014

  21. [29]

    Stinespring, Positive functions on c * -algebras , Proc

    Forrest W. Stinespring, Positive functions on c * -algebras , Proc. Amer. Math. Soc. 6 (1955), 211–216

    1955

  22. [30]

    Stormer, Positive linear maps of operator algebras , Springer Monographs in Physics; https://www.springer.com/gp/book/9783642343681, 2013

    E. Stormer, Positive linear maps of operator algebras , Springer Monographs in Physics; https://www.springer.com/gp/book/9783642343681, 2013

    2013

  23. [31]

    1, 233–278

    Erling Størmer, Positive linear maps of operator algebras , Acta Mathematica 110 (1963), no. 1, 233–278

    1963

  24. [32]

    Wai-Shing Tang, On positive linear maps between matrix algebras , Linear Algebra and its Applications 79 (1986), 33–44

    1986

  25. [33]

    John Watrous, The theory of quantum information , Cambridge University Press, 2018

    2018

  26. [34]

    Wilde, Quantum information theory , Cambridge University Press, 2013

    Mark M. Wilde, Quantum information theory , Cambridge University Press, 2013. A STUDY ON HEISENBERG-WEYL LINEAR MAPS 21

    2013

  27. [35]

    Woronowicz, Positive maps of low dimensional matrix algebras , Reports on Mathematical Physics 10 (1976), no

    S.L. Woronowicz, Positive maps of low dimensional matrix algebras , Reports on Mathematical Physics 10 (1976), no. 2, 165–183

    1976

  28. [36]

    Zwolak and Dariusz Chru´ sci´ nski,New tools for investigating positive maps in matrix algebras , Reports on Mathematical Physics 71 (2013), no

    Justyna P. Zwolak and Dariusz Chru´ sci´ nski,New tools for investigating positive maps in matrix algebras , Reports on Mathematical Physics 71 (2013), no. 2, 163–175. Department of Mathematical Sciences, Indian Institute of Science Education & Research (IISER) Berhampur, Tran...

    2013

Pith tools

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