Pith. sign in

REVIEW 5 minor 40 references

2-positive almost order zero maps and decomposition rank

T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read For 2-positive maps between C*-algebras, almost order zero is detected by a one-element condition, and decomposition rank at most d is equivalent to approximation by 2-positive order zero maps from finite-dimensional algebras.

desk verdict A genuinely useful 2-positive analogue of the order zero machinery, highlighted by Corollary 3.7 and Theorem 1.2; the proof holds up under scrutiny. read the letter →

arxiv 1908.03466 v2 pith:W4FNOILQ submitted 2019-08-09 math.OA math.QA

Yasuhiko Sato This is my paper · ORCID
classification math.OAmath.QA MSC 46L0546L3546L07
keywords 2-positivemapsorderzeroalmostorthogonalitydomaindecompositionrankcompletepositivityC*-algebrask-positive
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 tries to establish that for 2-positive maps between C$^*$-algebras, the property of being (almost) order zero can be checked one positive element at a time, and that this makes 2-positivity sufficient in the definition of decomposition rank. It proves that a 2-positive contraction satisfies the order-zero equation $\varphi(a)^2 = \varphi(a^2)\varphi(1)$ for all positive contractions $a$ exactly when it is order zero, and more generally that a near-order-zero condition on a single $a$ controls $\varphi(a)\varphi(b)$ against $h_{\varphi}\varphi(ab)$ for every $b$. A direct corollary is that every 2-positive order zero map is completely positive. The second main theorem says that for a unital separable C$^*$-algebra, having decomposition rank at most $d$ is equivalent to the existence of approximations by 2-positive order zero maps from finite-dimensional algebras, so the 'completely positive' in the standard definition can be weakened to '2-positive'. A sympathetic reader would care because this simplifies the verification of decomposition rank and sharpens the boundary between 2-positivity and complete positivity.

What carries the argument

The machinery is the orthogonality domain $\mathrm{OD}(\varphi)$, the subspace of elements $a$ for which $\varphi(a)\varphi(b) = \lim_\lambda \varphi(h_\lambda)\varphi(ab)$ and $\varphi(b)\varphi(a) = \lim_\lambda \varphi(ba)\varphi(h_\lambda)$ for all $b$, together with a two-matrix inequality $\varphi(a^*b)\varphi(b^*b)^{-1}\varphi(b^*a) \le \varphi(a^*a)$ in the second dual of $B$. The paper shows that for 2-positive $\varphi$ the orthogonality domain is a C$^*$-algebra that contains the multiplicative domain, and the proof of the one-variable theorem uses the two-matrix inequality to turn the condition $\varphi(a)^2 \approx \varphi(a^2)\varphi(h_\lambda)$ into the norm bound that places $a$ in $\mathrm{OD}(\varphi)$. That inclusion, together with matrix-entry estimates on an infinite direct sum of copies of $A$, is what carries the argument.

What would settle it

A direct falsifier would be a finite-dimensional counterexample: a unital 2-positive map $\varphi$ from $M_3$ to $M_3$ such that $\varphi(a)^2 = \varphi(a^2)\varphi(1)$ for every positive contraction $a$, but whose amplification $\varphi\otimes\mathrm{id}_{M_3}$ is not positive. The paper asserts that no such map exists; finding one, for instance by searching over the $9\times 9$ block matrix of the map's matrix-unit values, would refute the order-zero-to-complete-positivity claim and the decomposition-rank theorem.

Watch

Extended reading notes

Core claim

The central claim is that for a 2-positive contraction $\varphi$ from a C$^*$-algebra $A$ into $B$, the almost-order-zero condition that $\limsup_\lambda \|\varphi(a)^2 - \varphi(a^2)\varphi(h_\lambda)\|$ be small forces the global almost-multiplicativity relation $\sup_{\|b\|\le 1} \|\varphi(a)\varphi(b) - h_\varphi\varphi(ab)\|$ to be small, where $h_\varphi$ is the weak$^*$-limit of $\varphi(h_\lambda)$. Hence a 2-positive map is order zero exactly when $\varphi(a)^2 = \varphi(a^2)\varphi(1_A)$ for every positive contraction $a$. From this the paper derives that every 2-positive order zero map is completely positive, and it proves the decomposition-rank analogue: for a unital separable C$^*$-algebra $A$, decomposition rank at most $d$ is equivalent to approximation, for each finite set and each $\varepsilon>0$, by compositions $(\sum_i \varphi_i)\circ\psi$ in which $\psi$ is a 2-positive contraction into a finite direct sum of finite-dimensional C$^*$-algebras and each $\varphi_i$ is a 2-positive order zero contraction.

Load-bearing premise

The load-bearing premise is that the two-matrix inequality for 2-positive maps, $\varphi(a^*b)\varphi(b^*b)^{-1}\varphi(b^*a) \le \varphi(a^*a)$ in the second dual, continues to hold without assuming $\varphi(b^*b)$ is invertible; all the norm estimates that place an element in the orthogonality domain rest on this extension.

Editorial extensions

If this is right

  • Finiteness of decomposition rank for a unital separable C$^*$-algebra can be certified by 2-positive maps alone: for each finite set and tolerance one needs one 2-positive contraction into a finite direct sum and 2-positive order zero maps back, with no check over tensor products with arbitrary matrix algebras.
  • Every 2-positive order zero map admits the classical order-zero structure $\varphi(a)=h_\varphi\pi(a)$ with $\pi$ a $*$-homomorphism into the bidual, so such maps are automatically completely positive and can be used in place of completely positive order zero maps in dimension computations.
  • The one-variable criterion gives a practical test for almost order zero: measuring $\varphi(a)^2 \approx \varphi(a^2)\varphi(h_\lambda)$ on a positive contraction $a$ controls $\varphi(a)\varphi(b)$ against $h_\varphi\varphi(ab)$ for every $b$, so no exhaustive family of multiplicative-domain tests is needed.
  • The equivalence in Theorem 1.2 ties finite decomposition rank to 2-positive order zero approximations passing through nuclearity, so the class of algebras captured is unchanged when complete positivity is relaxed to 2-positivity.
  • The paper's examples show the phenomenon is graded: for every $k$ there are $k$-positive almost order zero maps that are not $(k+1)$-positive, so the collapse to complete positivity happens exactly at the order-zero level, not for almost order zero maps.

Reading between the lines

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

  • The one-element criterion suggests a practical numerical certificate: checking $\varphi(a)^2 \approx \varphi(a^2)\varphi(h)$ on a small generating set of positive contractions could certify almost order zero behaviour without constructing the whole multiplicative domain.
  • If the 2-positive formulation of decomposition rank extends beyond separable unital algebras, decomposition rank could be certified by 2-positive approximations alone, which are often easier to build than completely positive ones in noncommutative probability and quantum information settings.
  • The examples of $k$-positive almost order zero maps that are not $(k+1)$-positive point to a graded hierarchy between $k$-positivity and complete positivity; the paper shows the hierarchy collapses at the order-zero level, but the behaviour of nearly-order-zero maps at finite $k$ is left unexplored.
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

0 major / 5 minor

Summary. The paper studies 2-positive maps with an almost order-zero (disjointness-preserving) property. Theorem 1.1 gives an internal characterization: if a 2-positive contraction φ from A to B satisfies limsup ||φ(a)^2 − φ(a^2)φ(h_λ)|| < δ for a positive contraction a, then φ behaves like h_φπ(·) up to ε, where h_φ is the weak*-limit of φ(h_λ). The proof proceeds by a separable reduction and a Schwarz inequality for positive maps on commutative C*-subalgebras. Corollary 3.7 shows that every 2-positive order zero map is completely positive. Theorem 1.2, the main application, characterizes decomposition rank at most d for unital separable C*-algebras using 2-positive maps instead of completely positive maps in the defining approximation, via a one-sided CPAP characterization of nuclearity (Theorem 5.1) and the Choi–Effros lifting theorem. Section 4 constructs examples of k-positive almost order zero maps that are not (k+1)-positive.

Significance. If the results stand, Theorem 1.2 is a useful simplification: checking decomposition rank requires only 2-positive maps rather than completely positive ones. Theorem 1.1 extends Choi's multiplicative-domain argument and yields a short route to the Winter–Zacharias structure theorem under 2-positivity. Corollary 3.7 is a clean and natural structural statement. The proofs are detailed, self-contained, and rely on standard, independently established tools (Kadison, Choi, Choi–Effros, Tomiyama, Winter–Zacharias). The constants are explicit, and no free parameters, fitted data, or dependence on the author's earlier results enter the proofs of the main theorems. The Section 4 examples usefully delineate k-positivity from (k+1)-positivity in the almost-order-zero setting.

minor comments (5)
  1. [§6, proof of Theorem 6.2] The proof of (iii)⇒(i) produces approximations only on finite sets of unitaries, whereas condition (i) is stated for contractions. The standard Russo–Dye argument (the unit ball is the closed convex hull of the unitaries) should be added to justify the passage to contractions. In the final step, the equality φ∘Q∘ψ(a)=a in the quotient yields the desired approximation only for sufficiently large indices; the proof should explicitly pass from a given μ=(F,ε) to a larger μ′ to obtain the stated error for all x∈F. As written, the sentence 'we conclude that ψ_μ and φ_i,μ satisfy the conditions in (i)' is not literally justified.
  2. [§3, Proposition 3.5] The definition of y in the displayed equation following the Schwarz inequality should read φ(a²+b²) − [φ(a)g_{α2}(φ(h_n))φ(a) + φ(b)g_{α2}(φ(h_n))φ(b)]; the missing bracket makes the formula ambiguous. The asserted bound '‖X‖ε₁ < 5ε₁' is not explained; it follows from the estimate ‖Y‖ ≤ ‖Y₁₁‖ + ‖Y₂₂‖ ≤ 3 for the relevant positive 2×2 block Y, so ‖X‖ ≤ ‖Y‖ < 5. A one-sentence justification would improve readability.
  3. [§4, Example 4.1] The estimate ‖φ^{(m)}_λ(x)² − φ^{(m)}_λ(x²)‖ < 6ε is stated without proof. Since this estimate is the point of the example, a brief verification using the fact that the second summand is supported on the (1,1)-corner would be helpful.
  4. [§3, Proof of Theorem 1.1] The proof of Proposition 3.5 assumes ε∈(0,1) at the outset, but the reduction from arbitrary ε>0 to this case is not stated. The reduction is immediate because the expression to be bounded is always at most 2, but it should be mentioned.
  5. [Throughout] There are minor typographical issues: 'Schwartz inequality' should be 'Schwarz inequality' in Section 2; in Corollary 2.4(ii) the expression 'ϕ−1/2(y)ϕ(x)' should be 'ϕ(y)−1/2ϕ(x)'; and 'disjointness preserving' appears where 'order zero' is meant in the abstract and introduction.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are proved from external inequalities such as Kadison's inequality and Choi's Schwarz inequality, with no fitted parameters or load-bearing self-citations.

full rationale

The paper's derivation chain is self-contained against standard external results. Theorem 1.1 is proved from Proposition 2.5, whose two parts are established in the paper from Kadison's inequality and from Choi's results [6, Corollary 4.4] and [6, Proposition 4.1], extended to non-invertible elements via Lemma 2.3. Corollary 3.7, which turns 2-positive order zero maps into completely positive maps, is proved from Theorem 1.1 and Corollary 3.6 rather than assumed, so it is not an imported premise. Theorem 1.2 is then proved using Corollary 3.7, the external Choi-Effros lifting theorem [8, Theorem 3.10], and the paper's own Theorem 5.1, which is itself proved from known nuclearity/CPAP equivalences ([22], [7]) and the Kasparov-Stinespring dilation theorem. The author's own previous papers [26] and [27] are cited only in the introduction as background on decomposition rank and Jiang-Su absorption, and they are not used in the proofs of Theorems 1.1 or 1.2. There are no free parameters, no fitted data, and no prediction that is defined in terms of the quantity it is claimed to establish. No circular step meeting the required standard could be identified.

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

No fitted constants, no hand-chosen parameters, and no newly postulated objects. The central claim is carried by standard external theorems plus the paper's own arguments. The delta in Theorem 1.1 is an existence guarantee from the proof, not a fitted value.

assumptions (9)
  • standard math Kadison's inequality for contractive 2-positive maps: phi(a)* phi(a) <= phi(a*a) for all a.
    Used in Proposition 2.2, Proposition 2.5, and Lemma 5.2 to obtain positivity and norm bounds; cited to [5] and [18, p.770].
  • standard math Weak*-compactness of the unit ball of A** and existence of weak*-limits of bounded monotone nets.
    Used in Lemma 2.3 and Remark 3.2 to define h_phi and to select accumulation points in B**.
  • standard math Hahn-Banach separation theorem for convex sets in Banach spaces.
    Used in Lemma 3.3 to find the approximating net b_mu.
  • standard math Every separable C*-algebra has a strictly positive element, and functional calculus for continuous functions is available.
    Used in Lemma 3.4 to build the special approximate unit k_m; cited to [29, Section 3.10].
  • standard math Kasparov-Stinespring dilation theorem: a unital completely positive map from M_N to A is a corner of a *-homomorphism from M_N to B(H_A).
    Used in the proof of Theorem 5.1 to represent phi as pi(.)_{1,1}; cited to [19] and [24, Theorem 6.5].
  • standard math Choi-Effros lifting theorem for separable nuclear C*-algebras.
    Used in the proof of Theorem 1.2 to lift the inverse isomorphism psi to the product algebra; cited to [8, Theorem 3.10].
  • standard math Nuclearity of a C*-algebra is equivalent to the completely positive approximation property, and A** is injective when A is nuclear.
    Used in Theorem 5.1 and its proof to conclude that A has CPAP; cited to [22], [7], and [9].
  • standard math Tomiyama's criterion for k-positivity of psi_lambda(a) = lambda tr(a) 1 + (1-lambda) a on M_n.
    Used in Example 4.1 to construct k-positive, not (k+1)-positive, almost order zero maps; cited to [34, Theorem 2].
  • standard math Every element of a unital C*-algebra is a linear combination of unitaries, so the unitaries generate A.
    Used in the proof of Theorem 1.2 to ensure that the C*-algebra generated by the U_x maps onto all of A.

how reviews work

0 comments
Cite this review

Pith. "Pith review of 2-positive almost order zero maps and decomposition rank." pith.science (2026). https://pith.science/paper/W4FNOILQ

@misc{pith2026190803466,
  author       = {Pith},
  title        = {Pith review of: 2-positive almost order zero maps and decomposition rank},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/W4FNOILQ}},
  note         = {Machine review of arXiv:1908.03466}
}
read the original abstract

We consider 2-positive almost order zero (disjointness preserving) maps on C*-algebras. Generalizing the argument of M. Choi for multiplicative domains, we give an internal characterization of almost order zero for 2-positive maps. It is also shown that complete positivity can be reduced to 2-positivity in the definition of decomposition rank for unital separable C*-algebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 36 canonical work pages

  1. [1]

    Blackadar and D

    B. Blackadar and D. Handelman Dimension Functions and Traces on C∗-algebras, J. Funct. Anal. 45 (1982), 297–340

    work page 1982

  2. [2]

    J. Bosa, N. P. Brown, Y. Sato, A. Tikuisis, S. White, and W. Winter, Covering dimension of C∗-algebras and 2-coloured Classification , Mem. Amer. Math. Soc. 257 (2019), no. 1233, vii+97 pp, arXiv:1506.03974

    work page Pith review arXiv 2019

  3. [3]

    N. P. Brown and N. Ozawa, C ∗-algebras and finite-dimensional approximations , Grad- uate Studies in Mathematics, vol. 88, American Mathematica l Society, Providence, RI, (2008)

    work page 2008

  4. [4]

    Bratteli and D

    O. Bratteli and D. W. Robinson, Operator algebras and quantum statistical mechanics

    work page

  5. [5]

    Texts and Monographs in Physics

    C∗ and W∗-algebras, symmetry groups, decomposition of states , Second edition. Texts and Monographs in Physics. Springer-Verlag, New York , (1987)

    work page 1987

  6. [6]

    M. D. Choi, A Schwarz inequality for positive linear maps on C∗-algebras, Illinois J. Math. 18 (1974), 565–574

    work page 1974

  7. [7]

    M. D. Choi, Some assorted inequalities for positive linear maps on C∗-algebras, J. Operator Theory 4 (1980), no. 2, 271–285

    work page 1980

  8. [8]

    M. D. Choi and E. G. Effros, Nuclear C∗-algebras and the approximation property , Amer. J. Math. 100 (1978), 61–79

    work page 1978

Show all 40 references
  1. [9]

    M. D. Choi and E. G. Effros, The completely positive lifting problem for C∗-algebras, Ann. of Math. (2) 104 (1976), no. 3, 585–609

    1976

  2. [10]

    Connes, Classification of injective factors Cases II 1, II ∞, III λ, λ ⁄= 1, Ann

    A. Connes, Classification of injective factors Cases II 1, II ∞, III λ, λ ⁄= 1, Ann. of Math. (2), 104 (1976), 73–115

    1976

  3. [11]

    Dadarlat and A

    M. Dadarlat and A. S. Toms, Ranks of operators in simple C∗-algebras, J. Funct. Anal. 259 (2010), no. 5, 1209–1229

    2010

  4. [12]

    G. A. Elliott and A. S. Toms, Regularity properties in the classification program for separable amenable C∗-algebras, Bull. Amer. Math. Soc. (N.S.) 45 (2008), no. 2, 229–245

    2008

  5. [13]

    G. A. Elliott, G. Gong, H. Lin, and Z. Niu, On the classification of simple amenable C∗-algebras with finite decomposition rank, II , arXiv:1507.03437

    arXiv

  6. [14]

    Farah, Combinatorial Set Theory of C∗-algebras, Springer Monographs in Mathe- matics, (2019)

    I. Farah, Combinatorial Set Theory of C∗-algebras, Springer Monographs in Mathe- matics, (2019)

    2019

  7. [15]

    Farah, D

    I. Farah, D. Hathaway, T. Katsura, and A. Tikuisis, A simple C∗-algebra with finite nuclear dimension which is not Z-stable, Munster J. Math. 7 (2014), no. 2, 515–528. 19

    2014

  8. [16]

    G. Gong, H. Lin, and Z. Niu, Classification of finite simple amenable Z-stable C∗- algebras, arXiv:1501.00135v6

    arXiv

  9. [17]

    Jiang and H

    X. Jiang and H. Su, On a simple unital projectionless C∗-algebra, Amer. J. Math. 121 (1999), no. 2, 359–413

    1999

  10. [18]

    Johnston and D

    N. Johnston and D. W. Kribs, Generalized multiplicative domains and quantum error correction, Proc. Amer. Math. Soc. 139 (2011), no. 2, 627–639

    2011

  11. [19]

    R. V. Kadison and J. R. Ringrose, Fundamentals of the theory of operator algebras, Vol. II. Advanced theory , Pure and Applied Mathematics, 100. Academic Press, Inc., Orlando, FL, (1986), 399–1074

    1986

  12. [20]

    G. G. Kasparov, Hilbert C∗-modules: theorems of Stinespring and Voiculescu , J. Operator Theory 4 (1980), no. 1, 133–150

    1980

  13. [21]

    Kishimoto and S

    A. Kishimoto and S. Sakai, Homogeneity of the pure state space for the separable nuclear C∗-algebras. Surikaisekikenkyusho Kokyuroku No. 1250 (2002), 22–41

    2002

  14. [22]

    Kishimoto, N

    A. Kishimoto, N. Ozawa, and S. Sakai, Homogeneity of the pure state space of a separable C∗-algebra, Canad. Math. Bull. 46 (2003), no. 3, 365–372

    2003

  15. [23]

    Kirchberg, C ∗-nuclearity implies CPAP , Math

    E. Kirchberg, C ∗-nuclearity implies CPAP , Math. Nachr. 76 (1977), 203-212

    1977

  16. [24]

    Kirchberg and W

    E. Kirchberg and W. Winter, Covering dimension and quasidiagonality , Internat. J. Math. 15 (2004), no. 1, 63–85

    2004

  17. [25]

    E. C. Lance, Hilbert C∗-modules. A toolkit for operator algebraists , London Mathe- matical Society Lecture Note Series, 210. Cambridge Univer sity Press, Cambridge, (1995)

    1995

  18. [26]

    Lin and Z

    H. Lin and Z. Niu, Lifting KK -elements, asymptotic unitary equivalence and classi- fication of simple C ∗-algebras, Adv. Math., 219 (2008), 1729–1769

    2008

  19. [27]

    Matui and Y

    H. Matui and Y. Sato, Strict comparison and Z-absorption of nuclear C∗-algebras, Acta Math. 209 (2012), no. 1, 179–196

    2012

  20. [28]

    Matui and Y

    H. Matui and Y. Sato, Decomposition rank of UHF-absorbing C∗-algebras, Duke Math. J., 163(14) (2014), 2687–2708

    2014

  21. [29]

    Ozawa, A survey on Characterization of nuclear C∗-algebras, Surikaisekikenkyusho Kokyuroku No

    N. Ozawa, A survey on Characterization of nuclear C∗-algebras, Surikaisekikenkyusho Kokyuroku No. 1291 (2002), 45–54

    2002

  22. [30]

    G. K. Pedersen, C ∗-algebras and their automorphism groups . London Mathematical Society Monographs, 14. Academic Press, Inc. (1979)

    1979

  23. [31]

    Sato, Trace spaces of simple nuclear C∗-algebras with finite-dimensional extreme boundary, preprint, arXiv:1209.3000

    Y. Sato, Trace spaces of simple nuclear C∗-algebras with finite-dimensional extreme boundary, preprint, arXiv:1209.3000

    arXiv

  24. [32]

    Y. Sato, S. White, and W. Winter, Nuclear dimension and Z-stability, Invent. Math. 202 (2015), no. 2, 893–921. 20

    2015

  25. [33]

    R. R. Smith, Completely contractive factorizations of C∗-algebras, J. Funct. Anal. 64 (1985), no. 3, 330–337

    1985

  26. [34]

    Tikuisis, S

    A. Tikuisis, S. White, and Wilhelm Winter, Quasidiagonality of nuclear C∗-algebras, Ann. of Math. (2), 185: 229–284, 2017, arXiv:1509.08318

    2017 arXiv

  27. [35]

    Tomiyama, On the geometry of positive maps in matrix algebras

    J. Tomiyama, On the geometry of positive maps in matrix algebras. II , Linear Algebra Appl. 69 (1985), 169–177

    1985

  28. [36]

    Winter, Decomposition rank and Z-stability, Invent

    W. Winter, Decomposition rank and Z-stability, Invent. Math. 179 (2010), no. 2, 229–301

    2010

  29. [37]

    Winter, Nuclear dimension and Z-stability of pure C∗-algebras, Invent

    W. Winter, Nuclear dimension and Z-stability of pure C∗-algebras, Invent. Math. 187 (2012), no. 2, 259–342

    2012

  30. [38]

    Wolff, Disjointness preserving operators on C∗-algebras, Arch

    M. Wolff, Disjointness preserving operators on C∗-algebras, Arch. Math. (Basel) 62 (1994), no. 3, 248–253

    1994

  31. [39]

    Winter and J

    W. Winter and J. Zacharias, Completely positive maps of order zero , Munster J. Math. 2 (2009), 311–324

    2009

  32. [40]

    Winter and J

    W. Winter and J. Zacharias, The nuclear dimension of C∗-algebras, Adv. Math. 224 (2010), no. 2, 461–498, arXiv:0903.4914. Yasuhiko Sato Graduate School of Science Kyoto University Sakyo-ku, Kyoto 606-8502 Japan ysato@math.kyoto-u.ac.jp 21

    2010 arXiv

Pith tools

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