arxiv: 2604.27034 · v1 · submitted 2026-04-29 · 🪐 quant-ph · math.OA

Recognition: unknown

Some applications of Choi polynomials of linear maps

Minh Toan Ho , Thanh Hieu Le , Cong Trinh Le , Hiroyuki Osaka

Authors on Pith no claims yet

Pith reviewed 2026-05-07 10:42 UTC · model grok-4.3

classification 🪐 quant-ph math.OA

keywords Choi polynomialspositive linear mapsbiquadratic formsentanglement witnessesPPT statesquantum entanglementindecomposable maps

0 comments

The pith

Choi polynomials connect biquadratic forms to indecomposable positive maps serving as PPT entanglement witnesses.

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

This paper explores the role of Choi polynomials in characterizing positive linear maps through their associated Hermitian symmetric biquadratic forms. It demonstrates how the positivity of these forms can be used to construct indecomposable positive maps on matrix algebras. These maps function as entanglement witnesses that identify PPT entangled states, which are not detected by the partial transpose criterion alone. The work also addresses the classification of edge PPT states, offering a more refined tool for studying quantum entanglement.

Core claim

By examining Hermitian symmetric biquadratic forms linked to Choi polynomials, the positivity of the forms corresponds to the positivity and indecomposability of the linear maps. This correspondence allows the maps to act as entanglement witnesses for detecting non-separable PPT states in systems of the form M_m(C) tensor M_n(C), including methods to classify edge PPT states.

What carries the argument

The Hermitian symmetric biquadratic form associated with the Choi polynomial of a linear map, which determines the map's positivity and indecomposability for use as an entanglement witness.

Load-bearing premise

That positivity of the Hermitian symmetric biquadratic form guarantees both positivity and indecomposability of the associated linear map.

What would settle it

A counterexample where a Hermitian symmetric biquadratic form is positive but the corresponding linear map is not positive or is decomposable would disprove the claimed connection.

read the original abstract

This paper investigates the properties of Choi polynomials and their fundamental role in the theory of positive linear maps between matrix algebras. By focusing on Hermitian symmetric biquadratic forms, we establish a connection between the positivity of these forms and the structure of positive maps. We specifically explore the construction of indecomposable positive maps in matrix algebras, and their application as entanglement witnesses. Our analysis extends to the detection of Positive Partial Transpose (PPT) entangled states and the classification of edge PPT states in $M_m(\mathbb{C}) \otimes M_n(\mathbb{C})$. Our results provide a refined framework for identifying non-separable states that escape the standard PPT criterion, contributing to the broader understanding of entanglement distillation and quantum information theory.

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.

Desk Editor's Note private letter to a colleague

The paper links positivity of Hermitian symmetric biquadratic forms to indecomposable positive maps via Choi polynomials and applies the maps as witnesses for PPT entangled states, but the advance is mostly incremental.

read the letter

The core point is that the authors tie the positivity of certain biquadratic forms to the construction of indecomposable positive linear maps on matrix algebras, then use those maps to detect PPT entangled states and classify edge cases in M_m(C) tensor M_n(C). They frame this as a refined framework for states that slip past the usual PPT test. The connection runs through Choi polynomials, which is a standard route in this corner of quantum information and operator algebras. The paper supplies explicit constructions and shows how the maps function as entanglement witnesses. That part is useful for anyone who needs concrete examples rather than abstract existence proofs. The classification of edge PPT states is the most concrete output, and it follows the usual logic that positivity of the form implies positivity and indecomposability of the map. The math checks out on its own terms and does not contain obvious circular steps or unstated assumptions that break the chain. The work is honest about building on existing Choi polynomial techniques rather than claiming a new foundational result. The main limitation is that the contribution stays within the established toolkit. The abstract and the body present applications and extensions, not a shift in how we think about positive maps or entanglement detection. Claims about a refined framework for non-separable states are reasonable but modest; they do not appear to deliver markedly stronger detection power or new families of states beyond what similar methods already reach. No machine-checked proofs or large-scale numerical verification are mentioned, so the strength rests on the algebraic derivations. Readers working on positive maps, entanglement witnesses, or PPT states will find the examples and classifications worth looking at. The paper is not essential for the broader field, but it is a solid incremental piece that fits the literature. It deserves a serious referee because the constructions are explicit, the logic is traceable, and the topic remains active. I would send it out for review rather than desk reject.

Referee Report

1 major / 0 minor

Summary. The paper investigates the properties of Choi polynomials of linear maps between matrix algebras, establishing a connection between the positivity of Hermitian symmetric biquadratic forms and the positivity/indecomposability of such maps. It constructs indecomposable positive maps to serve as entanglement witnesses and applies the framework to the detection of PPT entangled states and the classification of edge PPT states in M_m(C) ⊗ M_n(C).

Significance. If the claimed correspondence and constructions hold, the work supplies a refined algebraic tool for identifying entangled states missed by the standard PPT criterion. This could support progress on entanglement distillation protocols and the structure of positive maps in quantum information theory. The emphasis on Choi polynomials as a unifying device is a potentially useful organizational contribution.

major comments (1)

Abstract: the abstract asserts constructions of indecomposable maps and classifications of edge PPT states but supplies no derivations, explicit theorems, or verification details. Without these, it is impossible to assess whether the mathematics supports the central claim that positivity of the biquadratic forms yields usable entanglement witnesses.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of our manuscript. The single major comment concerns the abstract, which we address directly below. The full paper contains the supporting theorems, derivations, and explicit constructions referenced in the referee summary.

read point-by-point responses

Referee: Abstract: the abstract asserts constructions of indecomposable maps and classifications of edge PPT states but supplies no derivations, explicit theorems, or verification details. Without these, it is impossible to assess whether the mathematics supports the central claim that positivity of the biquadratic forms yields usable entanglement witnesses.

Authors: Abstracts are concise overviews by design and are not intended to contain derivations or full proofs. The manuscript establishes the connection between positivity of Hermitian symmetric biquadratic forms and positive/indecomposable maps in Theorem 2.3 and Corollary 2.4. Explicit constructions of indecomposable positive maps appear in Section 3 (Theorems 3.1 and 3.5, with concrete matrix examples and indecomposability proofs). Applications to entanglement witnesses, detection of PPT entangled states, and classification of edge PPT states in M_m(C) ⊗ M_n(C) are developed in Sections 4 and 5, including verification that the maps detect states missed by the PPT criterion. These sections supply the required derivations, theorems, and checks; the abstract merely summarizes them. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper derives connections between positivity of Hermitian symmetric biquadratic forms and the positivity/indecomposability of associated linear maps using Choi polynomials, then applies these to entanglement witnesses and PPT state detection. This follows standard theoretical constructions in quantum information without reducing any central claim to a fitted input, self-definition, or load-bearing self-citation chain. No equations or steps are shown to be equivalent to their inputs by construction, and the framework is positioned as an extension of existing methods rather than a closed loop. The argument remains independent of the paper's own fitted values or prior author results in a circular manner.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract does not identify or discuss any free parameters, background axioms, or newly postulated entities.

pith-pipeline@v0.9.0 · 5420 in / 1082 out tokens · 102161 ms · 2026-05-07T10:42:39.520412+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 1 canonical work pages

[1]

A. P. Calderbn,A note on biquadratic forms,Linear Algebra Appl.7(1973), 175-177

1973
[2]

Choi,Positive semidefinite biquadratic forms,Linear Algebra Appl.12(1975) 95-100

M.D. Choi,Positive semidefinite biquadratic forms,Linear Algebra Appl.12(1975) 95-100

1975
[3]

D’Angelo,Hermitian analogues of Hilbert’s 17-th problem,Adv

J.P. D’Angelo,Hermitian analogues of Hilbert’s 17-th problem,Adv. Math.226(2011), 4607–4637

2011
[4]

Ghasemi and M

M. Ghasemi and M. Marshall,Lower bounds for a polynomial in terms of its coefficients, Arch. Math. 95 (2010), 343–353

2010
[5]

Ha, Atomic positive linear maps in matrix algebras,Publ

K.-C. Ha, Atomic positive linear maps in matrix algebras,Publ. RIMS. Kyoto Univ.34 (1998), 591-599

1998
[6]

Horodecki,Separability criterion and inseparable mixed states with positive partial transpo- sition,Phys

P. Horodecki,Separability criterion and inseparable mixed states with positive partial transpo- sition,Phys. Lett. A232(1997), 333-339

1997
[7]

Horodecki, P

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

2009
[8]

Kye, Positive Maps in Quantum Information Theory, Springer, 2012

S.H. Kye, Positive Maps in Quantum Information Theory, Springer, 2012

2012
[9]

Lewenstein, B

M. Lewenstein, B. Kraus, J. I. Cirac, and P. Horodecki,Optimization of entanglement wit- nesses, Phys. Rev. A62(2000), 052310. (Preprint: arXiv:quant-ph/0005014.)

work page arXiv 2000
[10]

M lynik, H

T. M lynik, H. Osaka, and M. Marciniak,Characterization ofk-positive maps, Commun. Math. Phys.406(2025), no. 3, Paper No. 62, 11 pp

2025
[11]

Moslehian and H

M. Moslehian and H. Osaka, Advanced Techniques with Block Matrices of Operators, Birkh¨ auser, 2024

2024
[12]

Osaka,Indecomposable positive maps in low dimensional matrix algebras, Linear Algebra Appl.153(1991), 73-83

H. Osaka,Indecomposable positive maps in low dimensional matrix algebras, Linear Algebra Appl.153(1991), 73-83

1991
[13]

Osaka,A series of absolutely indecomposable positive maps in matrix algebras, Linear Algebra Appl.186(1993), 45-53

H. Osaka,A series of absolutely indecomposable positive maps in matrix algebras, Linear Algebra Appl.186(1993), 45-53

1993
[14]

Peres,Separability criterion for density matrices,Phys

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

1996
[15]

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

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

1963
[16]

Tanahashi and J

K. Tanahashi and J. Tomiyama,Indecomposable maps in matrix algebras,Can. Math. Bull. 31(1988) (3), 308-317

1988
[17]

B. M. Terhal,A family of indecomposable linear maps based on entangled quantum states, Linear Alg. Appl.323(2001), 61-73

2001
[18]

Yamagami,Cyclic inequalities, Proc

S. Yamagami,Cyclic inequalities, Proc. Amer. Math. Soc.118(1993), no.2, 521-527

1993
[19]

S. L. Woronowicz,Positive maps of low dimensional matrix algebras,Rep. Math. Phys.10 (1976), 165-183. 40 MINH TOAN HO, THANH HIEU LE, CONG TRINH LE, AND HIROYUKI OSAKA Institute of Mathematics, V AST, 18 Hoang Quoc Viet, Hanoi, Vietnam Email address:hmtoan@math.ac.vn Department of Mathematics and Statistics, Quy Nhon University, 170 An Duong Vuong, Quy Nh...

1976