Pith. sign in

REVIEW 4 minor 1 cited by

Silence operators of threshold detectors behind passive optics are second quantizations of single-photon contractions, so the minimum cross-click eigenvalue is monotone in photon number and converges at an exact rate fixed by single-photon

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-11 21:05 UTC pith:6W6SAEYO

load-bearing objection Clean analytic closure of a real open problem in mismatched-detector QKD: monotonicity and exact rates for all n, not just finite-sector numerics.

arxiv 2607.04186 v1 pith:6W6SAEYO submitted 2026-07-05 quant-ph

Analytic properties of cross-click operators in passive multi-basis photodetection: monotonicity, exact convergence rates, and dimension reduction for quantum key distribution

Zhangdong Ye This is my paper
classification quant-ph
keywords cross-click operatorspassive multi-basis photodetectionthreshold detectorsquantum key distributiondetection-efficiency mismatchsecond quantizationphoton-number weight boundssymmetric tensor powers
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

Security proofs for quantum key distribution with realistic multi-basis receivers need a rigorous way to bound multiphoton weight from observed cross-clicks—coincidences between detectors of different bases. Earlier work checked that the minimum eigenvalue of the cross-click operator grows with photon number only by finite numerical diagonalization. This paper proves the growth is analytic for any passive linear-optical analyzer with arbitrary efficiency mismatch and dark counts: the eigenvalue is monotone, squeezed between explicit exponentials whose rate is a single-photon spectral quantity, exact for ideal detectors, and factors for two parties. The resulting photon-number weight bounds become closed formulas valid for every photon number, replacing truncated Fock-space numerics in detection-efficiency-mismatch analyses.

Core claim

For any passive multi-basis analyzer with threshold detectors of arbitrary efficiencies and dark counts, every silence operator is the second quantization of an explicit single-photon contraction, so its n-photon block is a symmetric tensor power. From that structure the minimum eigenvalue f^(n) of the cross-click POVM element satisfies f^(n+1) ≥ f^(n), is bounded above and below by matching exponentials whose exact asymptotic rate is max_b ||A_b||, equals 1 − ∑_b p_b^n for ideal detectors, and factors exactly for the bipartite joint operator.

What carries the argument

Lemma 1: every silence operator N_S equals γ_S Γ(A_S), the second quantization of the single-photon contraction A_S = 1 − ∑_{d∈S} η_d v_d v_d†; its n-photon restriction is therefore the symmetric tensor power A_S^⊗n. All spectral claims reduce to finite-dimensional matrix inequalities on these contractions.

Load-bearing premise

Dark counts and efficiencies are independent and uncorrelated, so that every silence operator factors as a pure second quantization of a single-photon matrix; temporally correlated noise such as afterpulsing would break that product structure.

What would settle it

Construct an explicit passive six-state analyzer with measured afterpulsing correlations, compute the true n-photon cross-click minimum eigenvalue by direct Fock-space diagonalization for successive n, and check whether monotonicity or the claimed exponential rate max_b ||A_b|| is violated.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Photon-number weight bounds used in efficiency-mismatch QKD proofs become explicit closed-form expressions valid for every n, eliminating truncation error.
  • The exact convergence rate quantifies how efficiency mismatch degrades the certification power of cross-clicks via a single-photon formula.
  • The two-party joint cross-click problem collapses to a product of two independent one-party curves, removing the need for two-dimensional numerical scans.
  • The same monotone bounds apply directly to finite-key analyses once the observed cross-click rate is replaced by its statistical confidence interval.

Where Pith is reading between the lines

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

  • The same second-quantization reduction should give analytic monotonicity for double-click and effective-error operators that appear in active-detection and flag-state squashing models, once their silence structure is written explicitly.
  • Optimal truncation thresholds (N_A, N_B) can now be chosen by a simple one-dimensional search over the closed-form rate rather than by expensive sector-by-sector SDP.
  • If afterpulsing can be absorbed into a slightly enlarged single-photon contraction that remains a contraction, monotonicity may survive under a weaker noise model than the paper assumes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The manuscript gives an analytic characterization of the minimum eigenvalue f^(n) of cross-click POVM elements for passive multi-basis linear-optical analyzers with threshold detectors of arbitrary efficiencies and dark counts. The key structural result (Lemma 1) identifies every silence operator as the second quantization Γ(A) of an explicit single-photon contraction A, so that its n-photon block is the symmetric tensor power A^⊗n. From this the authors prove monotonicity f^(n+1) ≥ f^(n) (Theorem 1), two-sided exponential bounds that pin the exact asymptotic rate max_b ∥A_b∥ (Theorem 2), the closed formula f^(n)=1−∑_b p_b^n for ideal detectors (Corollary 1), and exact factorization of the bipartite joint operator (Theorem 3). These replace earlier finite-sector numerical checks and yield closed-form photon-number weight bounds for dimension reduction in QKD security proofs with detection-efficiency mismatch.

Significance. If correct, the results close a documented open problem (analytic monotonicity of f^(n) for all n) that underpinned entanglement-verification and mismatched-detector QKD analyses. The proofs are short operator inequalities resting on standard second-quantization identities and positive-semidefinite tensor-power preservation; they are dimension-agnostic and cover polarization, time-bin, and spatial-mode analyzers. Practical payoffs include explicit weight bounds valid for all photon numbers (Proposition 1), a closed-form rate quantifying efficiency-mismatch degradation (Eq. 31), and collapse of two-party numerics to single-party curves. The independent Fock-space cross-checks (n≤4), polynomial-time symmetric-power algorithm, and explicit flagging of the independent-dark-count modeling assumption are strengths that make the claims reproducible and the limitations transparent.

minor comments (4)
  1. In Sec. II.C, the inclusion–exclusion formula for F_C (Eq. 14) is correct but the six-state expansion that follows is dense; a short parenthetical mapping Q_Z = F_∅ + F_H + F_V + F_HV would help readers who know only the earlier literature definitions.
  2. Figure 2(b) caption and main text both quote max_b ∥A_b∥ = 0.5462 for the chosen η vector; stating the three individual ∥A_b∥ values already computed in Appendix C in the caption would make the squeeze visually immediate without flipping pages.
  3. Appendix B, Eq. (B1): the claim that the bound is tight for uniform efficiencies is supported by the ideal-detector corollary, but a one-line numerical check for a non-uniform splitter-type case would strengthen the “tight for uniform” statement.
  4. The AI-tools statement is appropriately transparent; if the journal requires a more detailed disclosure of which proofs or figures were machine-assisted, a short supplemental note would suffice.

Circularity Check

0 steps flagged

No significant circularity: Theorems 1–3 follow from the second-quantization identity (Lemma 1) and elementary PSD tensor-power inequalities; self-citations supply only motivation and prior numerics.

full rationale

The load-bearing chain is self-contained. Lemma 1 identifies every silence operator as γ_S Γ(A_S) with A_S an explicit single-photon contraction; the proof (Appendix A) uses only the standard no-click operator of a lossy threshold detector and the identity that products of number-diagonal attenuations equal second quantizations, pulled back through the network isometry. Theorem 1 then obtains monotonicity from the operator inequality Ñ^(n+1) ≼ Ñ^(n) ⊗ 1 (Eq. 21), which expands by the coverage decomposition (13) into a sum of PSD terms via Lemma 2. Theorem 2 pins 1−f^(n) between max_b γ_b ∥A_b∥^n and ∑_b γ_b ∥A_b∥^n by the same PSD ordering and the fact that the top eigenvector of A_b is symmetric. Theorem 3 is immediate multiplicativity of the operator norm on a tensor product of PSD operators. None of these steps is defined in terms of the claimed output, fitted to data, or justified solely by a self-citation. Self-citations ([24], [25]) appear only as historical motivation (the open problem of analytic monotonicity) and as numerical illustrations that the new formulas reproduce; they are not used as lemmas inside the proofs. The independent-dark-count assumption is stated explicitly and flagged as an open extension (Sec. VI), not smuggled in. Consequently the central claims do not reduce by construction to their inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper is essentially pure operator algebra on Fock space under a standard physical model of passive linear optics plus independent threshold detectors. No free parameters are fitted; the only modeling assumptions are the usual ones already used in the QKD literature the paper cites. No new physical entities are postulated.

axioms (4)
  • domain assumption Silence operators of independent lossy threshold detectors behind a passive linear-optical network are second quantizations Γ(A) of explicit single-photon contractions A (Lemma 1).
    Standard efficiency and dark-count model; product structure fails if afterpulsing or other correlations are present.
  • standard math Positive-semidefinite order is preserved by tensor powers: 0 ⪯ X ⪯ Y implies 0 ⪯ X^⊗n ⪯ Y^⊗n (Lemma 2).
    Elementary telescoping identity used throughout the monotonicity and bound proofs.
  • standard math Operator norm is multiplicative on tensor products of positive-semidefinite operators.
    Used for the exact bipartite factorization (Theorem 3).
  • domain assumption Complementary-coverage condition: detectors outside any single basis jointly monitor every input mode with nonzero efficiency.
    Necessary and sufficient for exponential convergence f^(n) o1 (Theorem 2); holds for ordinary splitter-type analyzers.

pith-pipeline@v1.1.0-grok45 · 21770 in / 2567 out tokens · 19027 ms · 2026-07-11T21:05:29.555210+00:00 · methodology

0 comments
read the original abstract

Cross-click operators, the POVM elements for simultaneous clicks in detectors assigned to different measurement bases, are used in QKD and entanglement-verification analyses with realistic threshold detectors to bound multiphoton contributions. Earlier applications verified the needed growth of the minimum eigenvalue $f^{(n)}$ on the $n$-photon subspace only numerically over finite sectors. This work gives an analytic characterization for passive linear-optical analyzers with arbitrary efficiency mismatch and dark counts. The key observation is that every silence operator is the second quantization $\Gamma(A)$ of an explicit single-photon contraction $A$, whose $n$-photon restriction is $A^{\otimes n}$ on $\mathrm{Sym}^n$. This yields: (i) monotonicity $f^{(n+1)}\ge f^{(n)}$; (ii) two-sided exponential bounds $\max_b \gamma_b|A_b|^n \le 1-f^{(n)} \le \sum_b \gamma_b|A_b|^n$, which determine the exact asymptotic convergence rate from single-photon spectral data; (iii) for ideal detectors and $n\ge1$, the exact formula $f^{(n)}=1-\sum_b p_b^n$; and (iv) an exact factorization $1-f^{(n_A,n_B)}=(1-f_A^{(n_A)})(1-f_B^{(n_B)})$ for the two-party cross-click operator. The results apply to polarization, time-bin, and spatial-mode analyzers within the stated threshold-detector model. As an application, we obtain closed-form photon-number weight bounds used in detection-efficiency-mismatch analyses, replacing finite-sector Fock-space numerics by formulas valid for all photon numbers.

Figures

Figures reproduced from arXiv: 2607.04186 by Zhangdong Ye.

Figure 1
Figure 1. Figure 1: FIG. 1. Passive six-state polarization analyzer used as the [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: (a) shows f (n) for the six-state analyzer under several efficiency configurations, including the strongly mismatched set ⃗η = (ηH, ηV , ηD, ηA, ηR, ηL) = (0.9, 0.75, 1.0, 0.6, 0.85, 0.7) [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: shows the joint surface f (nA,nB) for two dif￾ferent analyzers, evaluated from the factorization (34); it reproduces the structure previously obtained by two￾dimensional numerical scans, now as an exact formula. VI. DISCUSSION We have given a comprehensive analytic account of the spectral growth of cross-click operators for passive multi￾basis photodetection with threshold detectors: mono￾tonicity for all … view at source ↗

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. Security of passive entanglement-based key distribution protocols

    quant-ph 2026-07 accept novelty 7.0

    Passive BBM92 and QCKA with biased basis choice are proven secure in the asymptotic limit, with key rates nearly identical to active protocols.

Reference graph

Works this paper leans on

41 extracted references · 1 linked inside Pith · cited by 1 Pith paper

  1. [1]

    at least one party registers a cross click

    six-state polariza- tion analyzer with efficienciesη b1, ηb2 in basisband no internal loss, ∥Ab∥= 1− 1 3 X b′̸=b ¯ηb′ + 1 6 sX b′̸=b ηb′1 −η b′2 2 ,(31) where¯ηb′ = (ηb′1 +η b′2)/2. Proof.See Appendix C: the three basis projectors define mutually orthogonal Pauli axes on the Bloch sphere, soP b′̸=b Rb′ =c11 +⃗ r·⃗ σwithc= 1 3 P b′̸=b ¯ηb′ and|⃗ r|= 1 6[P ...

    2020

  2. [2]

    Exactf (2) forM= 2.By Eq

    With dark counts, 1−f (0) =P b γb −(m−1)γ ∅, and f(0) >0 precisely when detectors in at leasttwodifferent bases have nonzero dark-count probability—dark counts confined to a single basis cannot produce a cross click on the vacuum. Exactf (2) forM= 2.By Eq. (16),N (2) C is the restric- tion ofP b γbA⊗2 b −(m−1)γ∅A⊗2 ∅ to the three-dimensional symmetric sub...

  3. [3]

    C. H. Bennett and G. Brassard, Quantum cryptogra- phy: Public key distribution and coin tossing, inPro- ceedings of the IEEE International Conference on Com- puters, Systems and Signal Processing, Bangalore, India (IEEE, New York, 1984), pp. 175–179

    1984

  4. [4]

    Renner, Security of quantum key distribution, Int

    R. Renner, Security of quantum key distribution, Int. J. Quantum Inf.6, 1 (2008)

    2008

  5. [5]

    Scarani, H

    V. Scarani, H. Bechmann-Pasquinucci, N. J. Cerf, M. Duˇ sek, N. L¨ utkenhaus, and M. Peev, The security of practical quantum key distribution, Rev. Mod. Phys. 81, 1301 (2009)

    2009

  6. [6]

    F. Xu, X. Ma, Q. Zhang, H.-K. Lo, and J.-W. Pan, Se- cure quantum key distribution with realistic devices, Rev. Mod. Phys.92, 025002 (2020)

    2020

  7. [7]

    Makarov, A

    V. Makarov, A. Anisimov, and J. Skaar, Effects of de- tector efficiency mismatch on security of quantum cryp- tosystems, Phys. Rev. A74, 022313 (2006)

    2006

  8. [8]

    Lydersen, C

    L. Lydersen, C. Wiechers, C. Wittmann, D. Elser, J. Skaar, and V. Makarov, Hacking commercial quan- tum cryptography systems by tailored bright illumina- tion, Nat. Photonics4, 686 (2010)

    2010

  9. [9]

    Sajeed, P

    S. Sajeed, P. Chaiwongkhot, J.-P. Bourgoin, T. Jen- newein, N. L¨ utkenhaus, and V. Makarov, Security loop- hole in free-space quantum key distribution due to spatial-mode detector-efficiency mismatch, Phys. Rev. A 91, 062301 (2015)

    2015

  10. [10]

    L¨ utkenhaus, Security against individual attacks for realistic quantum key distribution, Phys

    N. L¨ utkenhaus, Security against individual attacks for realistic quantum key distribution, Phys. Rev. A61, 052304 (2000)

    2000

  11. [11]

    Gottesman, H.-K

    D. Gottesman, H.-K. Lo, N. L¨ utkenhaus, and J. Preskill, Security of quantum key distribution with imperfect de- vices, Quantum Inf. Comput.4, 325 (2004)

    2004

  12. [12]

    C.-H. F. Fung, K. Tamaki, B. Qi, H.-K. Lo, and X. Ma, Security proof of quantum key distribution with detec- tion efficiency mismatch, Quantum Inf. Comput.9, 131 (2009)

    2009

  13. [13]

    M. K. Bochkov and A. S. Trushechkin, Security of quan- tum key distribution with detection-efficiency mismatch in the single-photon case: Tight bounds, Phys. Rev. A 99, 032308 (2019). 11

    2019

  14. [14]

    A. S. Trushechkin, Security of quantum key distribution with detection-efficiency mismatch in the multiphoton case, arXiv:2004.07809

    Pith/arXiv arXiv 2004

  15. [15]

    Zhang, P

    Y. Zhang, P. J. Coles, A. Winick, J. Lin, and N. L¨ utkenhaus, Security proof of practical quantum key distribution with detection-efficiency mismatch, Phys. Rev. Research3, 013076 (2021)

    2021

  16. [16]

    Hwang, Quantum key distribution with high loss: Toward global secure communication, Phys

    W.-Y. Hwang, Quantum key distribution with high loss: Toward global secure communication, Phys. Rev. Lett. 91, 057901 (2003)

    2003

  17. [17]

    H.-K. Lo, X. Ma, and K. Chen, Decoy state quantum key distribution, Phys. Rev. Lett.94, 230504 (2005)

    2005

  18. [18]

    Wang, Beating the photon-number-splitting attack in practical quantum cryptography, Phys

    X.-B. Wang, Beating the photon-number-splitting attack in practical quantum cryptography, Phys. Rev. Lett.94, 230503 (2005)

    2005

  19. [19]

    P. J. Coles, E. M. Metodiev, and N. L¨ utkenhaus, Numer- ical approach for unstructured quantum key distribution, Nat. Commun.7, 11712 (2016)

    2016

  20. [20]

    Winick, N

    A. Winick, N. L¨ utkenhaus, and P. J. Coles, Reliable nu- merical key rates for quantum key distribution, Quantum 2, 77 (2018)

    2018

  21. [21]

    Upadhyaya, T

    T. Upadhyaya, T. van Himbeeck, J. Lin, and N. L¨ utkenhaus, Dimension reduction in quantum key dis- tribution for continuous- and discrete-variable protocols, PRX Quantum2, 020325 (2021)

    2021

  22. [22]

    N. J. Beaudry, T. Moroder, and N. L¨ utkenhaus, Squash- ing models for optical measurements in quantum com- munication, Phys. Rev. Lett.101, 093601 (2008)

    2008

  23. [23]

    Tsurumaru and K

    T. Tsurumaru and K. Tamaki, Security proof for quantum-key-distribution systems with threshold detec- tors, Phys. Rev. A78, 032302 (2008)

    2008

  24. [24]

    Gittsovich, N

    O. Gittsovich, N. J. Beaudry, V. Narasimhachar, R. R. Alvarez, T. Moroder, and N. L¨ utkenhaus, Squashing model for detectors and applications to quantum-key- distribution protocols, Phys. Rev. A89, 012325 (2014)

    2014

  25. [25]

    Zhang and N

    Y. Zhang and N. L¨ utkenhaus, Entanglement verification with detection-efficiency mismatch, Phys. Rev. A95, 042319 (2017)

    2017

  26. [26]

    Tannous, Z

    R. Tannous, Z. Ye, J. Jin, K. B. Kuntz, N. L¨ utkenhaus, and T. Jennewein, Demonstration of a 6 state-4 state ref- erence frame independent channel for quantum key dis- tribution, Appl. Phys. Lett.115, 211103 (2019)

    2019

  27. [27]

    Ye,Research on Implementable Design and Normal- ized Security Analysis of Quantum Secure Communica- tion Protocols, Ph.D

    Z. Ye,Research on Implementable Design and Normal- ized Security Analysis of Quantum Secure Communica- tion Protocols, Ph.D. dissertation, Tsinghua University, Beijing (2021)

    2021

  28. [28]

    Z.-D. Ye, D. Pan, Z. Sun, C.-G. Du, L.-G. Yin, and G.- L. Long, Generic security analysis framework for quan- tum secure direct communication, Front. Phys.16, 21503 (2021)

    2021

  29. [29]

    N. K. H. Li and N. L¨ utkenhaus, Improving key rates of the unbalanced phase-encoded BB84 protocol using the flag-state squashing model, Phys. Rev. Research2, 043172 (2020)

    2020

  30. [30]

    Kamin and N

    L. Kamin and N. L¨ utkenhaus, Improved decoy-state and flag-state squashing methods, Phys. Rev. Research6, 043223 (2024)

    2024

  31. [31]

    Tupkary, S

    D. Tupkary, S. Nahar, P. Sinha, and N. L¨ utkenhaus, Phase error rate estimation in QKD with imperfect de- tectors, arXiv:2408.17349

    arXiv

  32. [32]

    Z. Wang, D. Tupkary, and S. Nahar, Phase error estima- tion for passive detection setups with imperfections and memory effects, arXiv:2508.21486

    arXiv

  33. [33]

    Laing, V

    A. Laing, V. Scarani, J. G. Rarity, and J. L. O’Brien, Reference-frame-independent quantum key distribution, Phys. Rev. A82, 012304 (2010)

    2010

  34. [34]

    Bruß, Optimal eavesdropping in quantum cryptogra- phy with six states, Phys

    D. Bruß, Optimal eavesdropping in quantum cryptogra- phy with six states, Phys. Rev. Lett.81, 3018 (1998)

    1998

  35. [35]

    Bechmann-Pasquinucci and N

    H. Bechmann-Pasquinucci and N. Gisin, Incoherent and coherent eavesdropping in the six-state protocol of quan- tum cryptography, Phys. Rev. A59, 4238 (1999)

    1999

  36. [36]

    Bratteli and D

    O. Bratteli and D. W. Robinson,Operator Algebras and Quantum Statistical Mechanics 2, 2nd ed. (Springer, Berlin, 1997)

    1997

  37. [37]

    A. K. Ekert, Quantum cryptography based on Bell’s the- orem, Phys. Rev. Lett.67, 661 (1991)

    1991

  38. [38]

    C. H. Bennett, G. Brassard, and N. D. Mermin, Quantum cryptography without Bell’s theorem, Phys. Rev. Lett. 68, 557 (1992)

    1992

  39. [39]

    Tomamichel, C

    M. Tomamichel, C. C. W. Lim, N. Gisin, and R. Renner, Tight finite-key analysis for quantum cryptography, Nat. Commun.3, 634 (2012)

    2012

  40. [40]

    H.-K. Lo, M. Curty, and B. Qi, Measurement-device- independent quantum key distribution, Phys. Rev. Lett. 108, 130503 (2012)

    2012

  41. [41]

    S. L. Braunstein and S. Pirandola, Side-channel-free quantum key distribution, Phys. Rev. Lett.108, 130502 (2012)

    2012