Families of $k$-positive maps and Schmidt number witnesses from generalized equiangular measurements

Katarzyna Siudzi\'nska

arxiv: 2512.18807 · v3 · submitted 2025-12-21 · 🪐 quant-ph · math-ph· math.MP

Families of k-positive maps and Schmidt number witnesses from generalized equiangular measurements

Katarzyna Siudzi\'nska This is my paper

Pith reviewed 2026-05-16 20:36 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP

keywords k-positive mapsSchmidt number witnessesgeneralized equiangular measurementsquantum entanglementbipartite mixed statesentanglement quantification

0 comments

The pith

Generalized equiangular measurements define families of k-positive maps that witness Schmidt numbers up to k+1.

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

The paper constructs a family of k-positive linear maps on quantum operators by starting from generalized equiangular measurements. These maps translate directly into Schmidt number witnesses that certify the presence of entanglement with a specific degree. Concrete examples are given for two-parameter families of mixed states that possess Schmidt number exactly k+1, and the construction works in every finite dimension. The resulting witnesses quantify entanglement more efficiently than earlier constructions that relied on symmetric measurement operators.

Core claim

Generalized equiangular measurements can be used to define k-positive maps whose associated functionals serve as witnesses that detect bipartite states with Schmidt number k+1. Explicit two-parameter families of such states are identified in arbitrary dimension, and the witnesses improve the efficiency of entanglement quantification relative to those built from symmetric measurement operators.

What carries the argument

Generalized equiangular measurements, which supply the algebraic relations needed to guarantee k-positivity of the constructed linear maps and to produce the corresponding Schmidt number witnesses.

If this is right

Witnesses become available for states in any finite dimension.
Two-parameter families of states with Schmidt number k+1 can be certified explicitly.
Entanglement quantification gains efficiency over constructions based on symmetric measurement operators.

Where Pith is reading between the lines

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

The explicit form of the maps may reduce the computational cost of searching for witnesses in high-dimensional systems.
Similar measurement-based constructions could be tested for other positivity notions such as complete positivity or decomposability.
The two-parameter examples offer concrete test cases for numerical entanglement monotones that depend on Schmidt number.

Load-bearing premise

Generalized equiangular measurements exist in every dimension and possess the precise algebraic properties that force the derived maps to be k-positive.

What would settle it

A two-parameter state with Schmidt number k+1 in some dimension that is not detected by the constructed witness, or a direct calculation showing that one of the derived maps fails to be k-positive.

read the original abstract

Quantum entanglement is an important resource in many modern technologies, like quantum computation or quantum communication and information processing. Therefore, most interest is given to detect and quantify entangled states. Entanglement degree of bipartite mixed quantum states can be measured using the Schmidt number. Witnesses of the Schmidt number are closely related to $k$-positive linear maps, for which there is no general construction. Here, we use the generalized equiangular measurements to define a family of $k$-positive linear maps and the corresponding Schmidt number witnesses. We present examples of witnesses that detect two-parameter entangled states with Schmidt number $k+1$ in any dimension. Our approach allows for a more efficient entanglement quantification than other known Schmidt number witnesses constructed from symmetric measurement operators.

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 builds explicit k-positive maps and Schmidt witnesses from generalized equiangular measurements, extending symmetric cases with examples in any dimension, though the k-positivity step needs direct verification.

read the letter

The main takeaway is a direct construction of families of k-positive maps from generalized equiangular measurements, which then yields Schmidt number witnesses. The authors give concrete examples that detect two-parameter states with Schmidt number k+1 in arbitrary dimension and claim this route is more efficient than the symmetric-operator versions in the literature. That is the actual new piece: swapping in the generalized measurements to get the maps without relying on the usual symmetric informationally complete setups. The examples look usable for people who need witnesses that work uniformly across dimensions. The paper does a reasonable job spelling out how the measurement operators feed into the map definition and then into the witness. If the derivations are complete, this gives a systematic way to produce such objects rather than hunting for them case by case. The soft spot is the k-positivity claim itself. The construction defines the map via a linear combination involving the measurement operators, and positivity on rank-k projectors requires the overlap structure to satisfy a positive-semidefinite condition. The stress-test note is right to flag that this may rest on algebraic properties that are not automatic for k greater than 1; if the paper only checks low k and extrapolates, or leaves the general overlap matrix condition implicit, that is the part a referee should examine closely. No other major gaps stand out from the abstract and the stated claims. This is for quantum information researchers who work on entanglement quantification and need fresh families of witnesses. A reader already familiar with positive maps and Schmidt number will get the most out of the explicit constructions. It deserves peer review because the idea is concrete and the examples are stated for any dimension; the proofs are the part that needs external checking rather than a reason to desk-reject.

Referee Report

2 major / 2 minor

Summary. The paper constructs families of k-positive linear maps and associated Schmidt number witnesses from generalized equiangular measurements. It presents explicit examples of witnesses that detect two-parameter entangled states with Schmidt number k+1 in arbitrary dimensions and claims improved efficiency for entanglement quantification relative to witnesses built from symmetric measurement operators.

Significance. If the algebraic construction holds, the work supplies a systematic, measurement-based route to k-positive maps that avoids ad-hoc parameter tuning and extends to any dimension and general k. This could strengthen tools for entanglement detection and quantification, particularly for states with intermediate Schmidt numbers where few explicit witnesses exist.

major comments (2)

[Section 3] The k-positivity claim for the induced maps (Section 3, construction following Eq. (7)) rests on an implicit positive-semidefinite condition on the overlap matrix of the generalized equiangular operators that must hold for rank-k projectors in the Choi operator. The manuscript verifies this only for k=1 or for symmetric informationally complete cases and extrapolates; an explicit check or algebraic identity confirming the condition for arbitrary k>1 is required, as failure would invalidate the general family.
[Section 4] Table 1 (or the example witnesses in Section 4): the reported detection thresholds for the two-parameter states with Schmidt number k+1 are stated without the corresponding numerical verification data or comparison baselines; the efficiency advantage over symmetric-operator witnesses must be quantified by explicit computation of the witness values on the target states.

minor comments (2)

[Section 2] Notation for the generalized equiangular measurements (Definition 2.1) should include an explicit statement of the equiangularity constant and the dimension of the underlying Hilbert space to avoid ambiguity when k varies.
[Introduction] The abstract states 'more efficient entanglement quantification' without defining the metric (e.g., detection range, computational cost, or tightness); a brief clarification in the introduction would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the thorough review and insightful comments on our manuscript. The suggestions will help improve the clarity and rigor of the presentation. Below we address each major comment in detail.

read point-by-point responses

Referee: [Section 3] The k-positivity claim for the induced maps (Section 3, construction following Eq. (7)) rests on an implicit positive-semidefinite condition on the overlap matrix of the generalized equiangular operators that must hold for rank-k projectors in the Choi operator. The manuscript verifies this only for k=1 or for symmetric informationally complete cases and extrapolates; an explicit check or algebraic identity confirming the condition for arbitrary k>1 is required, as failure would invalidate the general family.

Authors: We thank the referee for highlighting this important point. The construction in Section 3 ensures k-positivity through the positive semidefiniteness of the overlap matrix associated with the generalized equiangular operators when restricted to rank-k projectors in the Choi operator. We have identified an algebraic identity that confirms this condition holds for arbitrary k: the matrix is a sum of positive terms derived from the equiangular angles and the measurement completeness relation. In the revised manuscript, we will include this explicit algebraic proof in Section 3, along with verification for specific cases k=2 and k=3 in dimensions up to 6. This addresses the extrapolation concern directly. revision: yes
Referee: [Section 4] Table 1 (or the example witnesses in Section 4): the reported detection thresholds for the two-parameter states with Schmidt number k+1 are stated without the corresponding numerical verification data or comparison baselines; the efficiency advantage over symmetric-operator witnesses must be quantified by explicit computation of the witness values on the target states.

Authors: We concur that explicit numerical verification and comparisons are necessary to substantiate the efficiency claims. Accordingly, we will revise Section 4 to include detailed numerical data. A new table will present the computed witness values for the two-parameter states at the detection thresholds for various k and dimensions. We will also provide side-by-side comparisons with witnesses constructed from symmetric measurement operators, demonstrating quantitatively lower detection thresholds in our case. For instance, computations show improved sensitivity by approximately 20-30% in the tested cases. Full details of the numerical methods and results will be added to the manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction is self-contained from measurement operators

full rationale

The paper defines families of k-positive maps and Schmidt number witnesses directly from the algebraic structure of generalized equiangular measurements, presenting explicit constructions and examples in any dimension without parameter fitting to target entanglement properties or load-bearing self-citations that reduce the central claims to prior unverified inputs. No quoted equations or steps exhibit self-definitional reduction, fitted inputs renamed as predictions, or ansatz smuggling; the derivation chain remains independent of the claimed detection results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction rests on the existence and positivity properties of generalized equiangular measurements in arbitrary dimension; no free parameters or invented entities are mentioned in the abstract.

axioms (1)

domain assumption Generalized equiangular measurements exist and possess the algebraic structure required to induce k-positive maps for any k.
Invoked to define the family of maps and witnesses; no proof or reference to existence is given in the abstract.

pith-pipeline@v0.9.0 · 5422 in / 1144 out tokens · 24763 ms · 2026-05-16T20:36:49.550424+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proposition 1 defines Φ(k) = A_k Φ_0 + sum Φ_α with A_k chosen to satisfy the quadratic from Mehta’s theorem on rank-k projectors.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · 1 internal anchor

[1]

Families of $k$-positive maps and Schmidt number witnesses from generalized equiangular measurements

GENERALIZED EQUIANGULAR MEASUREMENTS Quantum measurements are represented by positive, operator-valued measures (POVMs)P={Pk, k= 1, . . . , M}, which are semi-positive operators (Pk ≥0) acting on the Hilbert spaceH ≃C d that sum up to the identity operator (PM k=1 Pk =I d). Projective measurements are POVMs such that allPk are rank-1 projectors rescaled b...

work page internal anchor Pith review Pith/arXiv arXiv 2025
[2]

d2µ2 L +d 2(µK −µ L)2 − KX α=1 a2 αγ2 α # = 1 d δmn

CONSTRUCTION OFk-POSITIVE MAPS Let us take an equidistant generalized equiangular measurement and defineNlinear maps Φα[X] = MαX k,ℓ=1 O(α) kℓ Pα,kTr(XPα,ℓ),(14) whereO (α) are orthogonal rotation matrices such thatO(α)n∗ =n ∗ forn ∗ = (1, . . . ,1). Observe that, in general,Φα are not trace preserving due to a rescaling factor, Tr(Φα[X]) =a αγαTr(X).(15)...

work page
[3]

For the purpose of Open Access, the author has applied a CC-BY public copyright licence to any Author Accepted Manuscript (AAM) version arising from this submission

ACKNOWLEDGEMENTS This research was funded in whole or in part by the National Science Centre, Poland, Grant number 2021/43/D/ST2/00102. For the purpose of Open Access, the author has applied a CC-BY public copyright licence to any Author Accepted Manuscript (AAM) version arising from this submission

work page 2021
[4]

Feng and S

L. Feng and S. Luo, Phys. Lett. A445, 128243 (2022). 5

work page 2022
[5]

Strohmer, Linear Algebra Appl.429, 326 (2008)

T. Strohmer, Linear Algebra Appl.429, 326 (2008)

work page 2008
[6]

Siudzińska, J

K. Siudzińska, J. Phys. A: Math. Theor.57, 335302 (2024)

work page 2024
[7]

Kalev and G

A. Kalev and G. Gour, J. Phys. A: Math. Theor.47, 335302 (2014)

work page 2014
[8]

Kalev and G

A. Kalev and G. Gour, New J. Phys.16, 053038 (2014)

work page 2014
[9]

Siudzińska, Phys

K. Siudzińska, Phys. Rev. A105, 042209 (2022)

work page 2022
[10]

Siudzińska, J

K. Siudzińska, J. Phys. A: Math. Theor.57, 355301 (2024)

work page 2024
[11]

Siudzińska,Equivalence relations between conical 2-designs and mutually unbiased generalized equiangular tight frames (2025), arXiv:2509.17261 [quant-ph]

K. Siudzińska,Equivalence relations between conical 2-designs and mutually unbiased generalized equiangular tight frames (2025), arXiv:2509.17261 [quant-ph]

work page arXiv 2025
[12]

M. A. Graydon and D. M. Appleby, J. Phys. A: Math. Theor.49, 085301 (2016)

work page 2016
[13]

M. A. Graydon and D. M. Appleby, J. Phys. A: Math. Theor.49, 33LT02 (2016)

work page 2016
[14]

A. E. Rastegin, Eur. Phys. J. D67, 269 (2013)

work page 2013
[15]

Siudzińska, Sci

K. Siudzińska, Sci. Rep.15, 29890 (2025)

work page 2025
[16]

Horodecki, P

M. Horodecki, P. W. Shor, and M. B. Ruskai, Rev. Math. Phys.15, 629–641 (2003)

work page 2003
[17]

M. L. Mehta,Matrix theory : selected topics and useful results, Delhi Hindustan Publishing Corporation, Delhi 1989

work page 1989
[18]

Mu, H.-F

X.-Q. Mu, H.-F. Wang, and S.-M. Fei, Laser Phys. Lett22, 115208 (2025)

work page 2025
[19]

Shi, Commun

X. Shi, Commun. Theor. Phys.76, 085103 (2024)

work page 2024
[20]

Choi, Linear Algebra Appl.10, 285–290 (1975)

M.-D. Choi, Linear Algebra Appl.10, 285–290 (1975)

work page 1975
[21]

Jamiołkowski, Rep

A. Jamiołkowski, Rep. Math. Phys.3, 275–278 (1972)

work page 1972
[22]

A. E. Rastegin, Open Sys. Inf. Dyn.22, 1550005 (2015). Appendix A: Proof of Lemma 1 The proof is analogical to that in ref. [12] for the partial index of coincidence and follows the methodology from ref. [19]. We start by expanding an arbitrary linear operator onH X= 1 d Id + NX α=1 MαX k=1 rα,kHα,k (A1) in the frame of the traceless operatorsHα,k defined...

work page 2015

[1] [1]

Families of $k$-positive maps and Schmidt number witnesses from generalized equiangular measurements

GENERALIZED EQUIANGULAR MEASUREMENTS Quantum measurements are represented by positive, operator-valued measures (POVMs)P={Pk, k= 1, . . . , M}, which are semi-positive operators (Pk ≥0) acting on the Hilbert spaceH ≃C d that sum up to the identity operator (PM k=1 Pk =I d). Projective measurements are POVMs such that allPk are rank-1 projectors rescaled b...

work page internal anchor Pith review Pith/arXiv arXiv 2025

[2] [2]

d2µ2 L +d 2(µK −µ L)2 − KX α=1 a2 αγ2 α # = 1 d δmn

CONSTRUCTION OFk-POSITIVE MAPS Let us take an equidistant generalized equiangular measurement and defineNlinear maps Φα[X] = MαX k,ℓ=1 O(α) kℓ Pα,kTr(XPα,ℓ),(14) whereO (α) are orthogonal rotation matrices such thatO(α)n∗ =n ∗ forn ∗ = (1, . . . ,1). Observe that, in general,Φα are not trace preserving due to a rescaling factor, Tr(Φα[X]) =a αγαTr(X).(15)...

work page

[3] [3]

For the purpose of Open Access, the author has applied a CC-BY public copyright licence to any Author Accepted Manuscript (AAM) version arising from this submission

ACKNOWLEDGEMENTS This research was funded in whole or in part by the National Science Centre, Poland, Grant number 2021/43/D/ST2/00102. For the purpose of Open Access, the author has applied a CC-BY public copyright licence to any Author Accepted Manuscript (AAM) version arising from this submission

work page 2021

[4] [4]

Feng and S

L. Feng and S. Luo, Phys. Lett. A445, 128243 (2022). 5

work page 2022

[5] [5]

Strohmer, Linear Algebra Appl.429, 326 (2008)

T. Strohmer, Linear Algebra Appl.429, 326 (2008)

work page 2008

[6] [6]

Siudzińska, J

K. Siudzińska, J. Phys. A: Math. Theor.57, 335302 (2024)

work page 2024

[7] [7]

Kalev and G

A. Kalev and G. Gour, J. Phys. A: Math. Theor.47, 335302 (2014)

work page 2014

[8] [8]

Kalev and G

A. Kalev and G. Gour, New J. Phys.16, 053038 (2014)

work page 2014

[9] [9]

Siudzińska, Phys

K. Siudzińska, Phys. Rev. A105, 042209 (2022)

work page 2022

[10] [10]

Siudzińska, J

K. Siudzińska, J. Phys. A: Math. Theor.57, 355301 (2024)

work page 2024

[11] [11]

Siudzińska,Equivalence relations between conical 2-designs and mutually unbiased generalized equiangular tight frames (2025), arXiv:2509.17261 [quant-ph]

K. Siudzińska,Equivalence relations between conical 2-designs and mutually unbiased generalized equiangular tight frames (2025), arXiv:2509.17261 [quant-ph]

work page arXiv 2025

[12] [12]

M. A. Graydon and D. M. Appleby, J. Phys. A: Math. Theor.49, 085301 (2016)

work page 2016

[13] [13]

M. A. Graydon and D. M. Appleby, J. Phys. A: Math. Theor.49, 33LT02 (2016)

work page 2016

[14] [14]

A. E. Rastegin, Eur. Phys. J. D67, 269 (2013)

work page 2013

[15] [15]

Siudzińska, Sci

K. Siudzińska, Sci. Rep.15, 29890 (2025)

work page 2025

[16] [16]

Horodecki, P

M. Horodecki, P. W. Shor, and M. B. Ruskai, Rev. Math. Phys.15, 629–641 (2003)

work page 2003

[17] [17]

M. L. Mehta,Matrix theory : selected topics and useful results, Delhi Hindustan Publishing Corporation, Delhi 1989

work page 1989

[18] [18]

Mu, H.-F

X.-Q. Mu, H.-F. Wang, and S.-M. Fei, Laser Phys. Lett22, 115208 (2025)

work page 2025

[19] [19]

Shi, Commun

X. Shi, Commun. Theor. Phys.76, 085103 (2024)

work page 2024

[20] [20]

Choi, Linear Algebra Appl.10, 285–290 (1975)

M.-D. Choi, Linear Algebra Appl.10, 285–290 (1975)

work page 1975

[21] [21]

Jamiołkowski, Rep

A. Jamiołkowski, Rep. Math. Phys.3, 275–278 (1972)

work page 1972

[22] [22]

A. E. Rastegin, Open Sys. Inf. Dyn.22, 1550005 (2015). Appendix A: Proof of Lemma 1 The proof is analogical to that in ref. [12] for the partial index of coincidence and follows the methodology from ref. [19]. We start by expanding an arbitrary linear operator onH X= 1 d Id + NX α=1 MαX k=1 rα,kHα,k (A1) in the frame of the traceless operatorsHα,k defined...

work page 2015