Detecting $k$-nonstretchability via a class of informationally complete symmetric measurements

Huaqi Zhou; Limei Zhang; Limin Gao; Mengjia Zhang; Yan Hong

REVIEW 3 major objections 1 minor 1 cited by

Detecting $k$-nonstretchability via a class of informationally complete symmetric measurements

T0 review · 3 major / 1 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read Symmetric measurements certify k-nonstretchable states

desk verdict Plausible incremental contribution in entanglement detection; abstract too thin to judge the math, but worth a referee. read the letter →

arxiv 2508.12817 v3 pith:YAWZ6JCY submitted 2025-08-18 quant-ph math-phmath.MP

Yan Hong , Mengjia Zhang , Limin Gao , Huaqi Zhou , Limei Zhang This is my paper · ORCID

classification quant-phmath-phmath.MP MSC 81P4081P15 PACS 03.67.Mn03.65.Ta

keywords k-nonstretchabilitymultipartiteentanglementinformationallycompletePOVMs(st)-POVMsdetectionsymmetricmeasurementsquantum

topics The Measurement Problem

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 establishes that informationally complete (s,t)-POVMs can be used to detect k-nonstretchability in multipartite quantum systems. It derives two families of criteria that certify when a state is not k-stretchable, and it identifies explicit classes of states that these criteria distinguish. This matters because k-nonstretchability is a way to measure how richly entangled a multipartite state is, and detecting it usually requires either full tomography or specially tailored witnesses. The (s,t) family both supplies the detecting measurements and, through its two parameters, gives flexibility in choosing a certificate.

What carries the argument

The load-bearing object is the (s,t)-POVM, an informationally complete measurement whose effects are rank-s positive operators with constant overlap t between distinct effects. The parameters s and t shape the geometry of the measurement, and the paper's criteria are built from the expectation values of these effects, separating k-stretchable from k-nonstretchable states.

What would settle it

Take one of the paper's example states and solve the semidefinite-programming problem of whether a convex decomposition into k-stretchable states exists; if such a decomposition is found, the (s,t)-POVM criterion would not actually be detecting k-nonstretchability.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the two-parameter family of informationally complete (s,t)-POVMs yields two families of k-nonstretchability criteria. The paper does not stop at a single witness; it derives a whole parametrized collection of sufficient conditions for k-nonstretchability and demonstrates, with explicit examples, that these conditions can certify concrete multipartite states. The examples illustrate an advantage of the (s,t) family: choosing different values of the two parameters provides witnesses that are naturally suited to different states, giving a flexible detection tool.

Load-bearing premise

The criteria work only if informationally complete (s,t)-POVMs with the required parameter values exist and can be realized in the relevant dimension; if such a measurement does not exist there, the certificates have no experimental backing.

Editorial extensions

If this is right

A state passing an (s,t)-POVM criterion is certified as k-nonstretchable, so the criterion functions as a structural entanglement witness.
Because the measurements are informationally complete, a single measurement setup supplies the data needed for the criterion, avoiding full tomography or bespoke witnesses.
The explicit example states provide a catalog useful for benchmarking other entanglement-detection schemes.

Reading between the lines

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

The two parameters s and t could be tuned to optimize the noise tolerance of the witness, a natural extension the abstract does not mention.
The same (s,t)-POVM data could simultaneously serve state reconstruction and k-nonstretchability certification, an integrated workflow not promised in the abstract.
If k-nonstretchability is related to tensor-rank or Schmidt-number width in multipartite systems, these criteria may translate into new lower bounds for those quantities, though the abstract draws no such link.

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.

Desk Editor's Note

read the letter

The honest verdict here is that we can't yet give one. The abstract is too thin: no definitions, no equations, no examples. So the only fair thing I can say is that the claim—two families of k-nonstretchability criteria built from informationally complete (s,t)-POVMs—is plausible and sits naturally in the existing entanglement-detection literature. The authors aren't claiming a revolution; they're claiming a new tool, and the abstract's tone matches that.

What looks good from the abstract: the idea of exploiting informational completeness to certify k-nonstretchability is a sensible extension of the POVM-based detection program. If the two families genuinely come from the same construction and the examples are non-trivial, that's a real, if incremental, contribution. The abstract also avoids overstating; 'we investigate' and 'derive' are the right verbs.

The soft spots are what you'd expect from an abstract-only review. First, we don't know if the criteria are sufficient only, or also necessary for some classes of states. That matters: if they only detect a subset, the advantage over existing criteria is unclear. Second, the construction of the (s,t)-POVMs is the load-bearing piece. If those measurements aren't realisable in the relevant dimensions, or if their informational completeness doesn't buy the discriminating power the authors claim, the criteria collapse. The reader's weakest assumption is exactly right. Third, there's a circularity risk: the criteria might secretly encode the known k-nonstretchability classification via the POVM construction. That's not visible from the abstract, but it's the first thing I'd check.

I don't see a concrete flaw in the central claim, because the claim hasn't been stated precisely enough to have one. That's not a criticism of the paper—it's a limitation of reviewing an abstract. My recommendation: send it to peer review. The subfield needs better detection tools, and the direction is sound. I wouldn't cite it yet, but I'd be glad to see the full text and then decide.

Referee Report

3 major / 1 minor

Summary. The paper (arXiv:2508.12817) claims to characterize multipartite entanglement through the concept of k-stretchability, focusing on k-nonstretchable states. The abstract states that the authors investigate k-nonstretchability using informationally complete (s,t)-POVMs and derive two families of criteria that identify classes of k-nonstretchable states, with explicit examples demonstrating applicability and advantages. No definitions, equations, proofs, or example details are provided in the abstract; the full text was not available for this review.

Significance. If the claimed criteria are correct and the examples are valid, this would be a useful contribution to the entanglement-characterization toolkit, potentially extending k-stretchability analysis to measurement-based frameworks with informational completeness. The abstract does not reveal any obvious flaw, and the idea of connecting (s,t)-POVMs to k-nonstretchability is plausibly novel. However, the significance cannot be assessed from the abstract alone: the criteria are not stated, the construction of the relevant POVMs is not described, and the claimed examples are not given. No machine-checked proofs, reproducible code, or parameter-free derivations are mentioned. The verdict is therefore uncertain rather than positive.

major comments (3)

[Abstract] The central claim that 'two families of criteria' are derived cannot be evaluated because neither the criteria nor the underlying definitions (k-stretchability, (s,t)-POVMs, informational completeness in this context) are stated. Without the equations or theorem statements, the reader cannot verify that the criteria are not circular or trivial.
[Abstract] The assertion that the criteria 'identify classes of k-nonstretchable states' is unsupported in the abstract. No classes are named, no example states are specified, and no comparison with existing criteria is provided. The claimed 'advantages' are therefore not independently assessable.
[Abstract] The load-bearing premise that informationally complete (s,t)-POVMs can be constructed for the relevant dimensions is not mentioned in the abstract. If such measurements are unavailable or lack the required discriminating power, the criteria would not detect the claimed states; the abstract gives no evidence to rule this out.

minor comments (1)

[Abstract] The abstract would benefit from at least one concrete equation or a named example class (e.g., a specific family of states) to ground the claims and allow a preliminary assessment.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identifiable from the abstract; full derivation not available.

full rationale

This review is based solely on the abstract of arXiv:2508.12817. The abstract states that the paper investigates k-nonstretchability using informationally complete (s,t)-POVMs and derives two families of criteria, with explicit examples. There is no presentation of equations, definitions, derivations, or fitted parameters in the abstract, so there is no specific step that can be shown to reduce to its own inputs. No self-citation, no definitional circularity, and no fitted-input-called-prediction pattern is visible. Under the default expectation that papers are not circular, and given the absence of the full text needed to exhibit any circular reduction, the correct finding is no significant circularity with score 0. If the full text later reveals that the criteria are constructed to encode the target classification or that the (s,t)-POVMs are chosen specifically to match the examples, the score would need to be revisited, but such speculation is not permitted as a basis for a circularity finding here.

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

From the abstract, the paper depends on established frameworks (k-stretchability) and on the availability of (s,t)-POVMs. No invented physical entities or free parameters are mentioned.

assumptions (3)

domain assumption The k-stretchability framework is a valid and useful characterization of multipartite entanglement.
The abstract treats k-stretchability as a fundamental concept for multipartite entanglement; this is background theory the paper builds on.
domain assumption Informationally complete (s,t)-POVMs exist and can be constructed with the required symmetry properties.
The criteria are derived using these measurements; constructibility is required for practical applicability.
domain assumption The measurement outcomes of (s,t)-POVMs provide enough information to certify k-nonstretchability.
The derived criteria rely on informationally complete measurements capturing the relevant entanglement structure.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Detecting $k$-nonstretchability via a class of informationally complete symmetric measurements." pith.science (2026). https://pith.science/paper/YAWZ6JCY

@misc{pith2026250812817,
  author       = {Pith},
  title        = {Pith review of: Detecting $k$-nonstretchability via a class of informationally complete symmetric measurements},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YAWZ6JCY}},
  note         = {Machine review of arXiv:2508.12817}
}

abstract

Characterizing multipartite entanglement is a fundamental problem in quantum information theory. The concept of $k$-stretchability provides a framework for characterizing the structure of multipartite entanglement. We investigate $k$-nonstretchability using informationally complete $(s,t)$-positive operator-valued measures ($(s,t)$-POVMs) and derive two families of criteria. These criteria identify classes of $k$-nonstretchable states, and we demonstrate their applicability and advantages through explicit examples.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

Tensor invariants for multipartite entanglement classification
math-ph 2026-04 accept novelty 7.5 of 10

Trace-invariants of colored graphs fully label LU orbits of HT multipartite states, completely characterize their LO preorder via weight-function divisibility, and yield large-N combinatorial distinctions from Haar-ra...

Pith tools

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