Pith. sign in

REVIEW 2 major objections 3 minor 36 references

Witness wedges in fidelity-deviation plane: separating teleportation advantage and Bell-inequality violation

T0 review · 2 major / 3 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read In any dimension d, measuring a teleportation protocol's average fidelity and its spread across inputs certifies whether the shared resource beats classical teleportation or violates a Bell inequality.

desk verdict The central witness-wedge result is invalid: Eq. (43) is false for d=3, so the main certification theorems do not hold. read the letter →

arxiv 2511.21079 v1 pith:EJ6MZ222 submitted 2025-11-26 quant-ph

Kyoungho Cho , Jeongho Bang This is my paper
classification quant-ph
keywords quantumteleportationfidelitydeviationSchur-WeyldualityHaaraveragesCGLMPinequalityBellnonlocalityisotropicchannelswitnesswedges
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

This paper argues that two numbers from a quantum teleportation experiment — the average fidelity F across all input states and the fidelity deviation D, its spread — together form a calibrated diagnostic chart for the strength of the shared entangled resource in any dimension d. For a resource that is a maximally entangled state mixed with white noise at visibility p, the paper derives a universal trade-off: D can never exceed s_d (F_max(p) − F), where s_d = sqrt(2/[d(d+3)]) and F_max(p) is the best average fidelity at that visibility. This inequality converts any measured (F,D) into a lower bound on p, so a point that falls outside the wedge W_cl — F ≤ 2/(d+1), D ≤ s_d(2/(d+1) − F) — certifies that the protocol beats the classical teleportation benchmark, and a point outside the higher wedge W_local certifies that the resource violates the CGLMP Bell inequality. The two witness lines share the same slope but sit at different heights, so the strip between them is exactly the regime where a resource is entangled enough for teleportation advantage but too weak to be Bell nonlocal. The decisive point is that a large deviation D can certify nonlocality even when the average fidelity F is still inside the Bell-local strip.

What carries the argument

The load-bearing object is the universal deviation bound D ≤ s_d(F_max(p) − F), with s_d = sqrt(2/[d(d+3)]), derived by evaluating fourth-moment Haar averages over pure input states through Schur-Weyl duality and cycle decomposition of permutation traces (Eqs. 28–43). This bound is what maps measured (F,D) data into a visibility certificate and gives both witnesses their identical slope; without it, the wedges would not be straight lines.

What would settle it

Take d=3, set the isotropic visibility to the CGLMP threshold p_BV ≈ 0.696, and numerically optimize over unitary correction unitaries {X_alpha} to see whether any (F,D) pair lands above the line D = (1/3)(F_max(p_BV) − F); even one such pair would disprove Eq. (43) and destroy both wedges.

Watch

Extended reading notes

Core claim

The central claim is that the (F,D) plane is a calibrated visibility map for isotropic teleportation resources. Using Schur-Weyl duality and permutation-symmetry calculus, the authors reduce the Haar averages defining F and D to finite trace invariants of the composed correction unitaries X_alpha = V_alpha U_alpha^dagger, yielding closed forms valid for all dimensions d. From these they obtain the tight dimension-dependent bound D ≤ s_d(F_max(p) − F). Substituting the two physical thresholds — the CGLMP Bell-visibility threshold p_BV and the separability threshold p_c — produces two parallel witness lines of slope −s_d, anchored respectively at F_max(p_BV) and 2/(d+1). Any measured (F,D) out

Load-bearing premise

The whole certification argument hinges on the unproved universal bound D ≤ s_d(F_max(p) − F) holding for every set of correction unitaries in every dimension; the paper justifies it by convexity but supplies neither the interpolation argument nor the extremal optimization that fixes the slope.

Editorial extensions

If this is right

  • Outside the classical wedge W_cl, (F,D) certifies that the resource visibility p exceeds 1/(d+1), i.e., the protocol outperforms the best measure-and-prepare scheme.
  • Outside the Bell wedge W_local, (F,D) certifies p > p_BV and therefore a CGLMP inequality violation, even when F alone is below the Bell-local threshold.
  • The parallel lines with equal slope but different intercepts make the gap between entangled-but-local and genuinely nonlocal resources quantitatively visible as a vertical strip in the (F,D) plane.
  • The closed-form expressions and bound hold for arbitrary Hilbert-space dimension d, so the same chart applies to qudit teleportation; for d=2 it reduces to the previously known qubit relation D ≤ (F_max − F)/√5.
  • Since F depends only on the diagonal trace budget of the X_alpha while D depends on pairwise invariants, protocols indistinguishable by F alone can be separated by D at fixed F.

Reading between the lines

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

  • The wedge logic does not depend on the specific Bell inequality chosen: any local-realist threshold on visibility p* would produce a parallel wedge, so the same chart could be repurposed for steering or one-sided device-independent certification by substituting the relevant p*.
  • Because D is the empirical variance of single-shot fidelities, the witness is immediately testable with Haar-random or unitary-2-design input sampling; finite-sample estimation of D sets the statistical resolution of the wedge boundary, which the paper does not quantify.
  • If the noise on the shared resource is not isotropic, the bound D ≤ s_d(F_max(p) − F) may fail; an interesting testable extension is to check whether dephasing or colored noise produces (F,D) points outside the isotropic wedges without actually possessing the certified resource strength.
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.

Referee Report

2 major / 3 minor

Summary. The paper develops a Schur-Weyl/Weingarten calculus for the Haar averages of the teleportation fidelity f(phi) and uses it to compute the average fidelity F and fidelity deviation D for arbitrary dimension d with an isotropic resource of visibility p. It then claims a universal bound D <= s_d (Fmax(p) - F), with s_d = sqrt(2/[d(d+3)]), and uses this bound to draw two witness wedges in the (F,D) plane: one certifying p > p_BV(d) (CGLMP violation) and one certifying p > p_c (teleportation advantage). The main theorems assert that all p <= p_BV resources lie in W_local and all p <= p_c resources lie in W_cl, so points outside these wedges certify the corresponding resource strength.

Significance. If the central bound Eq. (43) were true, the paper would provide a clean and experimentally useful diagnostic: a single measured (F,D) point would yield a visibility certificate and separate Bell-nonlocal from entangled-but-local isotropic resources using only fidelity statistics. The derivation of the closed forms for F (Eq. 35) and the exact covariance expression for D (Eqs. 39-41) is explicit, and the statement of the fourth-moment contraction (Eq. 34) is a useful resource. However, the whole witness-wedge construction rests on Eq. (43), and that inequality is false. The claimed certification theorems therefore do not hold, and the central message of the paper is invalid as stated.

major comments (2)
  1. [Sec. IV.B, Eq. (43)] The load-bearing inequality D <= s_d(Fmax(p)-F) is false. Take d=3 and the constant wiring X_alpha = X = diag(1, e^{i pi/3}, e^{-i pi/3}) for every alpha, which is admissible because V_alpha = X U_alpha is unitary. Then f(phi)=p |<phi|X|phi>|^2+(1-p)/3. Using the paper's own Eq. (30) and Eq. (34), E|<phi|X|phi>|^2 = 7/12 and E|<phi|X|phi>|^4 = 11/30. Hence F = p(7/12)+(1-p)/3, Fmax = p+(1-p)/3, and D = p sqrt(11/30-(7/12)^2) = p sqrt(19/720). Therefore D/(Fmax-F) = (12/5) sqrt(19/720) = sqrt(19)/(5 sqrt(5)) ≈ 0.3899 > 1/3 = s_3. Eq. (43) is thus violated for every p>0. The one-line justification 'By convexity (linear interpolation in the trace data entering Eq. (35))' is not a proof, and the counterexample shows it cannot be repaired by a different argument along those lines: D is a square-root of fourth-moment covariance data, not an affine function of the second-moment trace budget.
  2. [Sec. V.B, Theorems 1 and 2] Because Theorems 1 and 2 are derived by substituting p_BV and p_c into the false inequality Eq. (43), the certification conclusions are invalid. Concretely, with the d=3 wiring above and p=0.65, one has (F,D) = (0.4958, 0.1056). Since p_BV(3) ≈ 0.696, Fmax_BV ≈ 0.7973 and the W_local boundary at this F allows D <= (0.7973-0.4958)/3 ≈ 0.1005. The point therefore lies outside W_local even though p < p_BV, and it lies inside the entangled-but-local window p_c < p < p_BV. This directly falsifies the claimed 'any (F,D) outside W_local certifies CGLMP violation'. The same failure propagates to the visibility-estimation narrative and to the two-door interpretation in Sec. V.B. Eq. (42), the asserted extremal evaluation, is likewise presented without an optimization proof; the counterexample shows that the resulting bound is not a universal property of all wirings.
minor comments (3)
  1. [Eq. (34) and Appendix A] The fourth-moment formula (34) is quoted as 'which can be directly used [18]' and relies on a companion preprint. Since this formula is essential for D, it would be helpful to include a full derivation in an appendix rather than citing the companion work for the explicit result.
  2. [Throughout] The text contains several typos and stylistic errors: 'Equavalently' in Theorem 2, 'casted' for 'cast', and the abstract's 'to analyzed-dimensional quantum teleportation' should be 'to analyze d-dimensional quantum teleportation'.
  3. [Sec. V.A] The numerical CGLMP thresholds p_BV(d) are stated without derivation or a precise citation beyond the original CGLMP paper. A short note on how Q_d is obtained would improve reproducibility.

Circularity Check

0 steps flagged · score 2.0 of 10

No constructional circularity: the (F,D) witnesses are logical consequences of the Haar-moment identities plus external thresholds p_BV and p_c; the unproved Eq. (43) is a correctness risk, not a circular reduction.

full rationale

The derivation chain is not circular in the required sense. F is fixed by Eq. (35) from the second-moment identity Eq. (30); D is fixed by Eq. (39) together with the fourth-moment contraction Eq. (34). The witness wedges in Theorems 1 and 2 are obtained by substituting external thresholds p_BV(d) (from CGLMP numerical values, Ref. [10]) and p_c=1/(d+1) into the universal bound. No parameter is fitted to the (F,D) point being certified; the inference 'outside Wlocal ⇒ p>p_BV' is a monotonicity consequence of Fmax(p) and Eq. (43), not a restatement of the wedge definition. The paper's weakest step is Eq. (43): the text says 'By convexity (linear interpolation in the trace data entering Eq. (35)) we obtain...' but gives no proof of this interpolation, and the extremal evaluation Eq. (42) is stated without explicit optimization; if the skeptic's d=3 counterexample is correct, the bound is false. That is an unproved/false premise, not an equivalence-by-construction. The same authors' companion preprints [15,18] are cited for Schur-Weyl details and the explicit fourth-moment formula ('...can be directly used [18]'), and Appendix A says its goal is 'rather than to provide full proofs'; those citations make the manuscript less self-contained, but the current paper's central witness geometry is a new inference from the stated identities and external Bell thresholds, not a conclusion imported from the cited papers. Overall: no significant circularity; score 2 reflects the companion self-citations and the unproved convexity assertion, with the validity risk carried by Eq. (43).

Assumptions & free parameters 2 free parameters · 5 assumptions · 0 invented entities

The derivation is mostly self-contained standard representation theory, but the load-bearing deviation bound Eq. (43) is introduced as a one-line convexity assertion, and the CGLMP thresholds and linear-scaling behavior are imported from external literature. No new physical entities are postulated.

free parameters (2)
  • Isotropic visibility p = not fitted; inferred from (F,D)
    Parameterizes the noisy resource in Eq. (5). The diagnostic map inverts measured (F,D) for p, and all witness thresholds are functions of p.
  • CGLMP visibility threshold p_BV(d) = 1/√2 for d=2; ≈0.696 (d=3), ≈0.691 (d=4), →0.673 (d→∞)
    Imported from Ref. [10] as numerical/nearly asymptotic values. It sets the Bell witness intercept Fmax_BV in Eqs. (52) and (56), and the paper gives no analytic expression for general d.
assumptions (5)
  • standard math Schur-Weyl duality and Weingarten calculus correctly compute k-fold Haar twirls and pure-state moments.
    Used throughout Section III to reduce Haar integrals to permutation-trace invariants; this is standard background not proved in the paper.
  • domain assumption The entangled resource is isotropic: ρ_iso(p) = p|Ψ0><Ψ0| + (1-p)/d² 1.
    Stated in Eq. (5). All visibility estimates and witness wedges are derived for this specific noise family; the paper does not extend them to general non-isotropic noise.
  • domain assumption Teleportation uses a unitary error basis, Bell measurement, and arbitrary unitary corrections V_α; the composed objects X_α = V_α U_α† are arbitrary unitaries.
    Introduced in Section II.A, Eqs. (2)-(4). The closed forms for F and D and the wedges depend on this wiring model.
  • domain assumption For isotropic states, the CGLMP value scales linearly with p: I_d(ρ_iso(p);M) = p I_d(|Ψ0>;M), so the Bell-visibility threshold is p_BV(d) = 2/Q_d.
    Taken from CGLMP literature (Eqs. 44-46). The Bell witness line inherits this linear-scaling assumption.
  • ad hoc to paper The universal bound D ≤ s_d(Fmax(p) − F) is valid for all wirings and all d.
    Asserted around Eq. (43) as a consequence of convexity, but no proof or external reference is supplied. All witness theorems and the visibility certification rely on this bound.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Witness wedges in fidelity-deviation plane: separating teleportation advantage and Bell-inequality violation." pith.science (2026). https://pith.science/paper/EJ6MZ222

@misc{pith2026251121079,
  author       = {Pith},
  title        = {Pith review of: Witness wedges in fidelity-deviation plane: separating teleportation advantage and Bell-inequality violation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EJ6MZ222}},
  note         = {Machine review of arXiv:2511.21079}
}
abstract

We develop a unified framework to analyze $d$-dimensional quantum teleportation through the joint geometry of two complementary figures of merit: average fidelity $F$ (how well a protocol works on average) and fidelity deviation $D$ (how uniformly it works across the inputs). Technically, we formulate a representation-theoretical framework based on Schur-Weyl duality and permutation symmetry calculus that reduce the higher-moment Haar averages to a finite set of trace invariants of the composed correction unitaries. This yields closed-form expressions for $F$ and $D$ in arbitrary Hilbert-space dimension and delivers tight bounds that link the admissible deviation directly to the gap from the optimal average performance. In particular, any measured pair $(F, D)$ can be ported into a visibility estimate for isotropic channel resources, turning the $(F, D)$-plane into a calibrated diagnostic map. We further cast the teleportation advantage and CGLMP-inequality violation as two witnesses lines in the $(F,D)$ plane: one line certifies that $F$ beats the classical benchmark $2/(d{+}1)$, while the other line certifies the Bell nonlocality. Their identical slope but distinct intercepts expose a quantitative gap between "entangled yet local" and "genuinely nonlocal" resources.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

36 extracted references · 3 linked inside Pith

  1. [1]

    For the unitary groupU(d), we denote this measure bydµ H (U) or simplydU

    Haar measure The Haar measure on a compact group provides the unique notion of uniformity compatible with the group structure. For the unitary groupU(d), we denote this measure bydµ H (U) or simplydU. Definition 1.LetGbe a compact group. A probability measureµ H onGis called theHaar measureif, for every measurable setS⊆Gand integrable functionf:G→C, µH (S...

  2. [2]

    C. H. Bennett, G. Brassard, C. Crepeau, R. Jozsa, A. Peres, and W. K. Wootters, Phys. Rev. Lett.70, 1895 (1993)

    1993

  3. [3]

    This invariant subalgebra is precisely thecommutantof thek-fold tensor-power representation, and it governs the entire structure of Haar averages

    Schur-W eyl duality and the structure of Haar averages The analysis of thek-th moment operator reduces to understanding the operators that remain invariant under conjugation by ˆU ⊗k for all ˆU∈U(d). This invariant subalgebra is precisely thecommutantof thek-fold tensor-power representation, and it governs the entire structure of Haar averages. Before inv...

  4. [4]

    (A12) concrete

    Permutation operators and invariant projectors The permutation representation of the symmetric group plays a central role in rendering the expansion in Eq. (A12) concrete. Since the Schur-Weyl duality identifies the permutation operators as a basis for the Haar-invariant commu- tant, we collect here the algebraic properties that make these operators effec...

  5. [5]

    R. F. Werner, Phys. Rev. A40, 4277 (1989)

    1989

  6. [6]

    W eingarten calculus and trace identities Building on the general Weingarten expansion for compact groups established in Theorem 5, we now focus on the unitary groupU(d). We extract several fundamental identities for its Weingarten function and the relevant trace decompositions, which provide the main computational tools for the Haar averages used in this...

  7. [7]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Rev. A60, 1888 (1999)

    1999

  8. [8]

    H. J. Briegel, D. E. Browne, W. D¨ ur, R. Raussendorf, and M. Van den Nest, Nature Physics5, 19 (2009)

    2009

Show all 36 references
  1. [9]

    Bang, S.-W

    J. Bang, S.-W. Lee, H. Jeong, and J. Lee, Phys. Rev. A 86, 062317 (2012)

    2012

  2. [10]

    J. Bang, J. Ryu, and D. Kaszlikowski, J. Phys. A51, 135302 (2018)

    2018

  3. [11]

    Gisin, Phys

    N. Gisin, Phys. Lett. A210, 157 (1996)

    1996

  4. [12]

    Massar and S

    S. Massar and S. Popescu, Phys. Rev. Lett.74, 1259 (1995)

    1995

  5. [13]

    R. F. Werner, J. Phys. A34, 7081 (2001)

    2001

  6. [14]

    Collins, N

    D. Collins, N. Gisin, N. Linden, S. Massar, and S. Popescu, Phys. Rev. Lett.88, 040404 (2002)

    2002

  7. [15]

    Bowen and S

    G. Bowen and S. Bose, Phys. Rev. Lett.87, 267901 (2001)

    2001

  8. [16]

    Jozsa, J

    R. Jozsa, J. Mod. Opt.41, 2315 (1994)

    1994

  9. [18]

    Collins and P

    B. Collins and P. ´Sniady, Commun. Math. Phys.264, 773 (2006)

    2006

  10. [19]

    Cho and J

    K. Cho and J. Bang, (2025), arXiv:2508.00301 [quant- ph]

    2025

  11. [20]

    S. L. Braunstein, G. M. D’Ariano, G. J. Milburn, and M. F. Sacchi, Phys. Rev. Lett.84, 3486 (2000)

    2000

  12. [21]

    Albeverio, S.-M

    S. Albeverio, S.-M. Fei, and W.-L. Yang, Phys. Rev. A 66, 012301 (2002)

    2002

  13. [22]

    Cho and J

    K. Cho and J. Bang, (2025), arXiv:2509.26373 [quant- ph]

    2025 arXiv

  14. [23]

    W. Song, J. Ryu, K. Baek, and J. Bang, J. Korean Phys. Soc78, 496503 (2021)

    2021

  15. [24]

    Ghosal, D

    A. Ghosal, D. Das, S. Roy, and S. Bandyopadhyay, Phys. Rev. A101, 012304 (2020)

    2020

  16. [25]

    Ghosal, D

    A. Ghosal, D. Das, and S. Banerjee, Phys. Rev. A103, 052422 (2021)

    2021

  17. [26]

    Patra, R

    A. Patra, R. Gupta, S. Roy, and A. Sen, Phys. Rev. A 106, 022433 (2022)

    2022

  18. [27]

    W. K. Wootters and B. D. Fields, Annals of Physics191, 363 (1989)

    1989

  19. [28]

    Gross, K

    D. Gross, K. Audenaert, and J. Eisert, J. Math. Phys. 48, 052104 (2007)

    2007

  20. [29]

    Popescu, Phys

    S. Popescu, Phys. Rev. Lett.72, 797 (1994)

    1994

  21. [30]

    Horodecki, M

    R. Horodecki, M. Horodecki, and P. Horodecki, Phys. Lett. A222, 21 (1996)

    1996

  22. [31]

    Clifton and D

    R. Clifton and D. Pope, Phys. Lett. A292, 1 (2001)

    2001

  23. [32]

    Y. Fan, C. Jia, and L. Qiu, Phys. Rev. A106, 012433 (2022)

    2022

  24. [33]

    W. Son, J. Lee, and M. Kim, Phys. Rev. Lett.96, 060406 (2006)

    2006

  25. [34]

    Zhang, (2014), arXiv:1408.3782 [quant-ph]

    L. Zhang, (2014), arXiv:1408.3782 [quant-ph]

    2014 arXiv

  26. [35]

    Ragone, P

    M. Ragone, P. Braccia, Q. T. Nguyen, L. Schatzki, P. J. Coles, F. Sauvage, M. Larocca, and M. Cerezo, (2022), arXiv:2210.07980 [quant-ph]

    2022 arXiv

  27. [36]

    A. A. Mele, Quantum8, 1340 (2024)

    2024

  28. [37]

    Dankert, R

    C. Dankert, R. Cleve, J. Emerson, and E. Livine, Phys. Rev. A80, 012304 (2009)

    2009

Pith tools

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