pith. sign in

arxiv: 2604.18600 · v1 · submitted 2026-04-09 · 🧮 math.RA · math.OA· quant-ph

Tomiyama-type maps with a diagonal perturbation

Anindita Bera , Bihalan Bhattacharya , Dariusz Chru\'sci\'nski This is my paper

Pith reviewed 2026-05-10 17:29 UTC · model grok-4.3

classification 🧮 math.RA math.OAquant-ph
keywords Tomiyama mapsdiagonal perturbationpositivity of mapscomplete positivityk-positivityChoi matrixblock-positivitylinear maps on matrices
0
0 comments X p. Extension

The pith

A two-parameter family of diagonal perturbations of Tomiyama maps admits explicit necessary and sufficient conditions for positivity, complete positivity, and k-positivity in arbitrary dimensions.

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

The paper examines linear maps on matrix algebras obtained by adding a diagonal perturbation to the classical Tomiyama maps, producing a two-parameter family. It employs the Choi matrix representation together with block-positivity techniques to obtain explicit conditions on the parameters that guarantee positivity, complete positivity, or k-positivity for maps acting on any matrix size. These conditions delineate geometrically distinct regions inside the two-dimensional parameter space. A sympathetic reader would care because such maps serve as test cases for quantum channels and entanglement witnesses, so the boundaries help construct or rule out examples in quantum information.

Core claim

We investigate a two-parameter family of linear maps on matrix algebras, constructed as diagonal perturbations of classical Tomiyama maps. Employing the Choi matrix method alongside block-positivity techniques, we derive explicit necessary and sufficient conditions for positivity, complete positivity, and k-positivity across arbitrary dimensions. These conditions provide a transparent geometric characterization of the positivity regions within the parameter space.

What carries the argument

The Choi matrix of the perturbed map together with block-positivity analysis, which identifies the exact boundaries separating positive, completely positive, and k-positive regimes in the two-parameter plane.

If this is right

  • The map is positive precisely when the two parameters lie inside an explicitly described region of the parameter plane.
  • Complete positivity requires the parameters to satisfy stricter inequalities that shrink the allowed region.
  • For each fixed k the k-positive maps occupy their own intermediate geometric region between positivity and complete positivity.
  • All of the above regions are described uniformly for every matrix dimension n.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The geometric regions may exhibit scaling or symmetry properties that simplify the search for maps that are positive but not completely positive.
  • Similar diagonal perturbations could be applied to other known families of positive maps to produce new tunable examples.
  • In applications the explicit boundaries could speed up numerical checks for whether a given quantum operation preserves positivity.

Load-bearing premise

The block-positivity techniques and Choi-matrix analysis remain valid and exhaustive for the perturbed family in every matrix dimension n.

What would settle it

A concrete pair of parameter values and a dimension n where direct computation of the Choi matrix spectrum shows positivity behavior that violates the derived inequalities.

Figures

Figures reproduced from arXiv: 2604.18600 by Anindita Bera, Bihalan Bhattacharya, Dariusz Chru\'sci\'nski.

Figure 1
Figure 1. Figure 1: Illustration of Corollary 2.3 in the (α, β)-plane. The completely positive region PCP is the green triangle conv{Ψ0, Ψ1, Ψ2}, and the positive region P1 is the quadrilateral conv{Ψ0, Ψ1, T1,P}. Moreover, Ψ2 = 1 2 (T1 + P) lies on the vertical segment between T1 and P. Since CP maps {Ψ0, Ψ1, Ψ2} are k-positive the above set contains k-positive maps only. Our goal is to show that if Φα,β is k-positive it mus… view at source ↗
Figure 2
Figure 2. Figure 2: Illustration of Conjecture 3.1. The completely positive region [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A solid red line defines the border of CP region. The dashed blue line from [26] belongs [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Illustration of Corollary 3.3: quadrilateral of positive maps containing a green triangle [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
read the original abstract

We investigate a two-parameter family of linear maps on matrix algebras, constructed as diagonal perturbations of classical Tomiyama maps. Employing the Choi matrix method alongside block-positivity techniques, we derive explicit necessary and sufficient conditions for positivity, complete positivity, and k-positivity across arbitrary dimensions. These conditions provide a transparent geometric characterization of the positivity regions within the parameter space.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript studies a two-parameter family of linear maps on M_n obtained by adding a diagonal perturbation to the classical Tomiyama maps. Employing the Choi matrix construction together with block-positivity criteria, it derives explicit necessary-and-sufficient conditions for positivity, complete positivity, and k-positivity that hold for arbitrary matrix size n, together with a geometric description of the corresponding regions in the two-dimensional parameter space.

Significance. If the derivations are correct, the work supplies concrete, checkable criteria for the positivity properties of this perturbed family, extending the existing literature on Tomiyama maps with an explicit geometric picture. Such explicit conditions are of value in the classification of positive maps and may find use in quantum information theory for constructing or excluding entanglement witnesses and channels.

minor comments (3)
  1. [Abstract] The abstract asserts that the conditions are valid 'across arbitrary dimensions,' yet the introduction should state explicitly whether the final inequalities are uniform in n or acquire n-dependent terms (for example, in the range of admissible parameters).
  2. Notation for the two perturbation parameters and the underlying Tomiyama map should be introduced once, with a single consistent symbol set, before the first theorem; scattered re-definitions later in the text reduce readability.
  3. The geometric characterization of the positivity regions would benefit from a single summary figure (or table of boundary equations) that collects all the derived inequalities for the three notions of positivity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our manuscript and for recommending minor revision. The referee's description accurately reflects the content and contributions of the work. No specific major comments or requested changes were provided in the report.

Circularity Check

0 steps flagged

No significant circularity: standard methods applied to new family

full rationale

The derivation applies the established Choi-matrix criterion and block-positivity techniques to the two-parameter diagonal perturbation of Tomiyama maps. These are external, independently verifiable tools whose validity does not depend on the present paper's results or self-citations. No step reduces a claimed prediction or necessary-and-sufficient condition to a fitted parameter, a self-definition, or a load-bearing citation chain whose own justification loops back to the current work. The central claim therefore remains a direct, non-circular computation within the standard framework for positivity of linear maps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard properties of the Choi matrix as a complete-positivity test and on the definition of block positivity; no new entities are introduced and no parameters are fitted to data.

axioms (2)
  • standard math The Choi matrix of a linear map is positive semidefinite if and only if the map is completely positive.
    Invoked implicitly when the authors employ the Choi matrix method to obtain complete-positivity conditions.
  • domain assumption Block positivity of a Hermitian matrix implies positivity of the associated linear map on positive semidefinite inputs.
    Used to translate positivity conditions into matrix inequalities.

pith-pipeline@v0.9.0 · 5354 in / 1263 out tokens · 48535 ms · 2026-05-10T17:29:33.957113+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Interpolating between positive, Schwarz, and completely positive evolution for d-level systems

    quant-ph 2026-04 unverdicted novelty 4.0

    Geometric analysis of a class of interpolating quantum maps for d-level systems shows trajectories crossing positivity regions with eventual entanglement breaking and interpretations for divisibility and eternal non-M...

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [1]

    Paulsen,Completely Bounded Maps and Operator Algebras, Cambridge University Press, 2002

    V. Paulsen,Completely Bounded Maps and Operator Algebras, Cambridge University Press, 2002

    work page 2002

  2. [2]

    Bhatia,Positive Definite Matrices, Princeton University Press, New Jersey, 2007

    R. Bhatia,Positive Definite Matrices, Princeton University Press, New Jersey, 2007

    work page 2007

  3. [3]

    Størmer,Positive Linear Maps of Operator Algebras, Springer Monographs in Mathe- matics, Springer, 2013

    E. Størmer,Positive Linear Maps of Operator Algebras, Springer Monographs in Mathe- matics, Springer, 2013

    work page 2013

  4. [4]

    Nielsen and I.L

    M.A. Nielsen and I.L. Chuang,Quantum Computation and Quantum Information, Cam- bridge University Press, Cambridge, UK, 2000

    work page 2000

  5. [5]

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

    J. Watrous,The theory of quantum information, Cambridge University Press, 2018

    work page 2018

  6. [6]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, K. Horodecki, Quantum entanglement,Rev. Mod. Phys.81, 865 (2009)

    work page 2009

  7. [7]

    Choi, Completely positive linear maps on complex matrices,Linear Algebra Appl

    M.-D. Choi, Completely positive linear maps on complex matrices,Linear Algebra Appl. 10, 285 (1975)

    work page 1975

  8. [8]

    Størmer, Positive linear maps on operator algebras, Acta Math.110, 233 (1963)

    E. Størmer, Positive linear maps on operator algebras, Acta Math.110, 233 (1963)

    work page 1963

  9. [9]

    Choi, Positive linear maps onC ∗-algebras, Can

    M.-D. Choi, Positive linear maps onC ∗-algebras, Can. J. Math.24, 520 (1972)

    work page 1972

  10. [10]

    Woronowicz, Positive maps of low dimensional matrix algebras, Rep

    S.L. Woronowicz, Positive maps of low dimensional matrix algebras, Rep. Math. Phys.10, 165 (1976)

    work page 1976

  11. [11]

    Ha and S.-H

    K.-H. Ha and S.-H. Kye, Various notions of positivity for bi-linear maps and applications to tri-partite entanglement, J. Math. Phys.57, 015205 (2016)

    work page 2016

  12. [12]

    Kye, Compositions and Tensor Products of Linear Maps between Matrix Algebras, Linear Algebra Appl.654, 1 (2022)

    S.-H. Kye, Compositions and Tensor Products of Linear Maps between Matrix Algebras, Linear Algebra Appl.654, 1 (2022)

    work page 2022

  13. [13]

    Kye, Facial structures for various notions of positivity and applications to the theory of entanglement, Rev

    S.-H. Kye, Facial structures for various notions of positivity and applications to the theory of entanglement, Rev. Math. Phys.25, 1330002 (2013)

    work page 2013

  14. [14]

    Majewski, M

    W.A. Majewski, M. Marciniak, On a characterization of positive maps, J. Phys. A, Math. Gen.34, 5836 (2001)

    work page 2001

  15. [15]

    Chru´ sci´ nski and G

    D. Chru´ sci´ nski and G. Sarbicki, Entanglement witnesses: construction, analysis and classi- fication, J. Phys. A47, 483001 (2014)

    work page 2014

  16. [16]

    Takasaki and J

    T. Takasaki and J. Tomiyama, On the geometry of positive maps in matrix algebras, Math. Z.184, 101 (1983)

    work page 1983

  17. [17]

    Tanahashi and J

    K. Tanahashi and J. Tomiyama, Indecomposable positive maps in matrix algebras, Canad. Math. Bull.31, 308 (1988)

    work page 1988

  18. [18]

    Osaka, A class of positive maps in matrix algebras, Publ

    H. Osaka, A class of positive maps in matrix algebras, Publ. Res. Inst. Math. Sci.31, 747 (1995)

    work page 1995

  19. [19]

    A. Bera, G. Sarbicki, D. Chru´ sci´ nski, A class of optimal positive maps inMn, Linear Algebra Appl.668, 131 (2023)

    work page 2023

  20. [20]

    A. Bera, G. Scala, G. Sarbicki, D. Chru´ sci´ nski, Generalizing Choi map inM 3 beyond circulant scenario, Linear and Multilinear Algebra73, 177 (2024). 15

    work page 2024

  21. [21]

    Chru´ sci´ nski and A

    D. Chru´ sci´ nski and A. Kossakowski, Spectral Conditions for Positive Maps, Commun. Math. Phys.209, 1051 (2009)

    work page 2009

  22. [22]

    Sun and Y

    X.-H. Sun and Y. Li,k-Positivity and Schwarz inequality for two linear maps, Positivity 26, 16 (2022)

    work page 2022

  23. [23]

    M lynik, H

    T. M lynik, H. Osaka, and M. Marciniak, Characterization ofk-positive maps, Commun. Math. Phys.406, 62 (2025)

    work page 2025

  24. [24]

    vom Ende, S

    F. vom Ende, S. Khatri, and S. Denisov,k-Positive Maps: New Characterizations and a Generation Method, Open Syst. Inf. Dyn.32, 2550015 (2025)

    work page 2025

  25. [25]

    Tomiyama, On the geometry of positive maps in matrix algebras II, Linear Algebra Appl

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

    work page 1985

  26. [26]

    Cho, S.-H

    S.-J. Cho, S.-H. Kye, and S.G. Lee, Generalized Choi maps in three-dimensional matrix algebra, Linear Algebra Appl.171, 213 (1992)

    work page 1992

  27. [27]

    A. S. Holevo, Covariant quantum channels and their entropy, Rep. Math. Phys.32, 211 (1993)

    work page 1993

  28. [28]

    Werner and A

    R.F. Werner and A. S. Holevo, Counterexample to an additivity conjecture for output purity of quantum channels, J. Math. Phys.43, 4353 (2002)

    work page 2002

  29. [29]

    Mukhamedov and D

    F. Mukhamedov and D. Chru´ sci´ nski, Constructingk-Kadison-Schwarz maps, arXiv:2603.11204

    work page arXiv

  30. [30]

    Devendra, N

    R. Devendra, N. Mallik, and K. Sumesh, Mapping cone ofk-entanglement breaking maps, Positivity27, 5 (2023). 16

    work page 2023