{"id":"bd6bd5dc-32cd-4655-949b-079b7ea6d05c","arxiv_id":"2607.04186","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Silence operators of passive threshold-detector analyzers are second quantizations of single-photon contractions, yielding monotonicity, exact rates, and bipartite factorization of cross-click eigenvalues for all n.","lead":"This paper proves that cross-click operators in passive multi-basis optical detectors have monotone minimum eigenvalues and exact exponential convergence rates for all photon numbers. The closed formulas replace finite-sector numerics in quantum-key-distribution security proofs that must handle detector-efficiency mismatch.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the independent-dark-count hypothesis as the principal modeling limitation and correctly notes that it is already acknowledged. Within the model the proofs are short, fully written, and rest only on standard facts about second quantization and positive tensor powers. The numerical cross-checks reported in Sec. V (brute-force six-mode Fock-space spectra for n≤4, verification of the key inequality (21), and the closed-form rate (31)) supply independent support. Because no stronger load-bearing flaw appears, the ACCEPT verdict with high confidence stands; the concrete test above is merely a quick sanity check of the foundational reduction rather than a potential falsifier.","tokens_in":17700,"tokens_out":459,"duration_ms":5962,"concrete_test":"Independently recompute the n=2 block of N_C for the balanced six-state analyzer with ideal detectors via the occupation-number basis of Sym^{2}(ℂ^{2}) and verify that λ_max(N_C^{(2)}) equals exactly 1/3, matching Corollary 1 (f^{(2)}=1-3·(1/3)^{2}=2/3). Agreement to machine precision confirms the second-quantization reduction used throughout.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims (Theorems 1–3) rest on Lemma 1: silence operators equal γ_S Γ(A_S) with A_S an explicit single-photon contraction. Under the paper’s stated model—passive linear optics, independent dark counts, uncorrelated efficiencies—this identity holds by the standard second-quantization pull-back (Appendix A). The subsequent operator inequalities (Eq. 21, Lemma 2) and the factorization of the joint operator are elementary consequences of positive-semidefinite tensor powers and multiplicativity of the operator norm. The independent-dark-count assumption is already flagged by the author (Sec. VI) as an open extension; it is not a hidden gap inside the claimed theorems. No internal inconsistency, circularity, or unstated hypothesis that would invalidate the monotonicity or rate results under the model as written was found.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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.","tokens_in":17876,"tokens_out":758,"duration_ms":12649,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null}],"recommendation":"accept","confidential_remarks":"The central mathematics is elementary once Lemma 1 is granted and appears free of circularity or hidden parameters. The self-citations to the author’s thesis and related experiment supply legitimate motivation rather than padding. Fit for a quant-ph / QKD-methods journal is clear; I see no reason to request major revision."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper does exactly what the abstract claims. Earlier QKD and entanglement-verification work (Zhang–Lütkenhaus and the four–six-state analyses) needed the min eigenvalue of the cross-click operator to grow with photon number and approach 1; they checked it numerically up to 20–60 photons and left the all-n proof open. Ye shows that every silence operator is the second quantization of an explicit single-photon contraction, so the n-photon block is just a symmetric tensor power. From that one structural fact you get monotonicity for every n, matching two-sided exponential bounds whose rate is a single-photon spectral quantity, the exact ideal-detector formula, and exact factorization of the joint two-party operator.\n\nThe proofs are short operator inequalities—positive-semidefinite order preserved under tensor powers, a simple telescoping difference for the (n+1) vs n comparison, multiplicativity of the norm on positive operators. They match the standard passive linear-optics + threshold-detector model with arbitrary efficiency mismatch and independent dark counts. Independent Fock-space checks for small n and the closed-form six-state rate are reported; the application section turns the theorems into explicit photon-number weight bounds that replace the old truncated numerics.\n\nThe only real soft spot is the one the author already flags: independent dark counts and uncorrelated efficiencies. Afterpulsing or temporal correlations break the product structure of Lemma 1, so the theorems stop applying. That is a genuine modeling limitation for some hardware, not a hole inside the claimed results. Self-citations supply the experimental and numerical motivation; they are not load-bearing for the proofs.\n\nThis is for people who write or use dimension-reduction / numerical key-rate proofs with passive multi-basis receivers. If you work on detection-efficiency mismatch or flag-state-type arguments, the closed forms and the bipartite factorization are immediately usable. The math is elementary and fully written out; a serious editor should send it to referees. I would read it carefully and cite the weight-bound formulas when I next need them.","headline":"Clean analytic closure of a real open problem in mismatched-detector QKD: monotonicity and exact rates for all n, not just finite-sector numerics.","tokens_in":18449,"tokens_out":522,"would_cite":true,"duration_ms":11755,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"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","keywords":["cross-click operators","passive multi-basis photodetection","threshold detectors","quantum key distribution","detection-efficiency mismatch","second quantization","photon-number weight bounds","symmetric tensor powers"],"falsifier":"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.","tokens_in":18602,"feed_emoji":"🔒","tokens_out":956,"duration_ms":16496,"temperature":0.7,"pith_summary":"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.","feed_headline":"Cross-click eigenvalues rise for every photon number","feed_subtitle":"Single-photon matrices give exact rates, closing multiphoton gaps in QKD proofs without numerics","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Cross-click eigenvalues climb with every photon number","Single-photon contractions fix exact multiphoton rates","Silence operators as tensor powers prove eigenvalue growth","Analytic bounds replace numerics for all cross-click weights","Exact bipartite factorization of joint cross-click operators"],"cache_read_input_tokens":128,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Cross-click eigenvalues climb with every photon number","Single-photon contractions fix exact multiphoton rates","Silence operators as tensor powers prove eigenvalue growth","Analytic bounds replace numerics for all cross-click weights","Exact bipartite factorization of joint cross-click operators"]},"model":"grok-4.5","effort":"low","cost_usd":0.007596,"raw_usage":{"total_tokens":1968,"prompt_tokens":957,"num_sources_used":0,"completion_tokens":77,"cost_in_usd_ticks":75960000,"prompt_tokens_details":{"text_tokens":957,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":934,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":957,"tokens_out":77,"duration_ms":8228,"temperature":1.0,"reasoning_tokens":934,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T21:05:29.555210+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}