{"id":"5c3f3f0b-63fd-4ee3-9afe-15eb254b5bae","arxiv_id":"1908.04086","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A systematic analysis shows that photon addition generally improves nonclassicality of a photon-added-then-subtracted displaced Fock state, with higher-order criteria detecting effects that lower-order ones miss.","lead":"This paper studies a quantum light state built by adding then subtracting photons from a displaced Fock state, and checks many criteria for nonclassical behavior. It finds that photon addition generally strengthens nonclassicality, while photon subtraction helps at larger displacements and alters phase properties more strongly.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The plotted nonclassicality witnesses are computed from an infinite moment sum whose coefficient support and truncation are never specified, so the large-displacement comparisons that anchor the central claims are not reproducible as written.","rationale":"The reader identified the unreported truncation of infinite sums as the weakest assumption; my reading agrees and sharpens it. The paper's central claims are comparative statements about signs and depths of nonclassicality witnesses over a range of α, and all of these are computed from Eq. (3), which is an infinite sum. Two concrete omissions make the plotted evidence non-reproducible: the coefficients C_m(α,n,k,q) are not given explicitly, and the support/bounds of the summation are not stated for cases with k<q. The truncation issue is especially load-bearing for large α, where the relevant photon-number components shift to high m. A simple convergence test with increasing truncation order would settle whether the reported odd-order HOSPS behavior and the large-α advantages are genuine or artifacts. This does not amount to a demonstration that the physics is wrong; it is a conditional-acceptance issue requiring the authors to provide the missing coefficient definition, summation bounds, and convergence data. I therefore keep the reader's CONDITIONAL verdict rather than rejecting or accepting outright.","tokens_in":14488,"tokens_out":15675,"duration_ms":164882,"concrete_test":"Recompute the HOSPS witnesses D_h(1), D_h(2), and D_h(3) for |ψ(1,1,1,α)⟩ at α=4 using Eq. (3) with the explicit coefficient C_m(α,n,k,q)=⟨m+k−q|â^q â†^k D̂(α)|n⟩, enforcing the lower limit m≥max(0,q−k), and using truncation orders M=20, 40, 80, and 160. If any of the three witnesses changes sign between M=80 and M=160, then the 'odd-order HOSPS' conclusion and the large-α advantage claims are numerical artifacts; if all signs are stable, report the M value and convergence criterion so the figures can be independently reproduced.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central comparative claims—photon addition improves nonclassicality, subtraction helps at large displacement, and HOSPS appears only for odd orders—are established by plots of moments obtained from Eq. (3). That equation is an infinite sum over coefficients C_m(α,n,k,q), but the paper never gives an explicit expression for these coefficients, never states their support, and never reports the truncation order or convergence criterion used for the infinite sums in Figs. 1–4, 6, and 7. This matters concretely: for k<q, the state expansion in Eq. (2) contains the Fock index m+k−q, which is negative for m<q−k, so the sum over m must start at m≥q−k and all factorial arguments in Eq. (3) must be non-negative. If the lower limit is not enforced, terms with negative factorials are undefined and the plotted moments for states such as |ψ(1,2,1,α)⟩ are not well-defined. Independently, for large α the photon-number distribution of a displaced Fock state is peaked near m∼|α|² with width O(|α|); truncating Eq. (3) at a fixed small number of terms could change the sign of witnesses like D_h in Fig. 1(d) and S^(l) in Fig. 2. Since the headline claims about the advantage of photon addition and subtraction depend precisely on the signs and depths of these witnesses, the numerical evidence is not reproducible or verifiable as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the family of photon-added-then-subtracted displaced Fock states |ψ(k,q,n,α)⟩ = N a^q a†^k D(α)|n⟩. Analytic formulas are given for the moments ⟨a†^t a^j⟩, the phase distribution, and the Q function; these are used to evaluate a battery of nonclassicality witnesses—lower- and higher-order antibunching, higher-order sub-Poissonian photon statistics, Hong–Mandel-type squeezing, Klyshko's, Agarwal–Tara's, and Vogel's criteria—whose dependence on α is plotted for various (k,q,n). Phase properties (phase distribution and Carruthers–Nieto fluctuation parameter U) and the Q function are also studied. The main conclusions are that photon addition generally deepens nonclassicality; photon subtraction extends nonclassicality to larger displacement α at the cost of the small-α depth; higher-order criteria can detect nonclassicality where lower-order ones fail, with an exception noted for HOSPS; HOSPS appears only in odd orders; and subtraction modifies phase properties more strongly than addition.","tokens_in":14840,"tokens_out":23268,"duration_ms":209902,"significance":"If the numerical results are reproducible, this is a useful systematic survey of a broad and experimentally relevant state family that unifies coherent, Fock, displaced Fock, PACS, and photon-subtracted states in various limits. The computations are parameter-free (no fitting), and the comparative phenomenology—especially the complementarity between photon addition at small α and photon subtraction at large α, and the added reach of higher-order criteria—is a plausible guide for continuous-variable state engineering. The analytic framework is standard and the criteria are applied in the conventional way. The principal weaknesses are completeness and reproducibility: the central coefficient C_m(α,n,k,q) is never defined, the summation limits are omitted, and the truncation of the infinite sums used for all figures is undocumented. These gaps currently prevent verification of the paper's headline claims.","major_comments":[{"comment":"The coefficient C_m(α,n,k,q) in the expansion (2) is never defined, and the summation ranges in Eqs. (2), (3), (14), and (19) are not specified. For k < q the Fock index m+k−q is negative for m < q−k, and the factorials appearing in Eq. (3) are undefined unless the sum is restricted so that both m+k−q−j and m−j+t are non-negative. As printed, the central moment formula (3) is ill-defined for states such as |ψ(1,2,1,α)⟩ used in Fig. 1, and the plotted results are not reproducible as written. Please define C_m(α,n,k,q) explicitly (e.g., as the displaced-Fock coefficient C_m(α,n) times the factorial factors arising from a^q a†^k) and state the allowed summation limits for each moment order.","section":"§2, Eqs. (2)–(3)"},{"comment":"The infinite sums in Eq. (3) (and in Eq. (19) for the Q function) are truncated for numerical evaluation, but the truncation order and any convergence criterion are not reported. This is quantitatively consequential: a displaced Fock state has its photon-number distribution peaked near m ≈ |α|² with width O(|α|), and the higher-order witnesses weight the tail by powers m^l. Since α ranges up to about 4–5 in Figs. 1 and 2, an insufficient cutoff could shift zero crossings or change the sign of witnesses such as d(l−1), D_h(l−1), and S(l). Because the headline claims of Section 3 are read from the signs and depths of these curves, please report the cutoff used, add a convergence check showing that the qualitative conclusions are unchanged when the cutoff is doubled, and state the number of terms retained for each figure.","section":"§3, Figs. 1–4, 6, 7"},{"comment":"The abstract and Conclusions state that higher-order sub-Poissonian photon statistics 'is only observed for the odd orders.' This is presented as a general statement but is supported only by the representative curves of Fig. 1(d) for selected parameter values. If a theorem guarantees non-negativity of the HOSPS witness for even orders, please provide a citation or a short proof; otherwise, restrict the claim to the parameter ranges actually studied and describe it as a numerical observation.","section":"§3.2 and Abstract"},{"comment":"Equation (9) as printed, A3 = det m(3)/det μ(3) − det m(3) < 0, is not the standard Agarwal–Tara witness: the two terms have incompatible scalings, and for a coherent state both determinants vanish, leaving the ratio indeterminate rather than giving the boundary value A3 = 0. The usual definition is A3 = det m(3) − det μ(3) < 0; please correct Eq. (9) accordingly and confirm that Fig. 4(a) was generated with the corrected expression.","section":"§3.5, Eq. (9)"}],"minor_comments":[{"comment":"There are several typographical errors, including 'a nd' in the title, 'nonclasscial' in the Conclusions, and 'Here, We will establish' in Section 5; the manuscript needs a careful proofread.","section":"Throughout"},{"comment":"The figure captions are garbled and incomplete: the Fig. 1 caption mixes the antibunching panels (a)–(b) with the HOSPS panels (c)–(d), and the Fig. 2 caption does not clearly identify all three panels. Please rewrite the captions to identify each panel and the plotted quantity with its formula number.","section":"Figs. 1 and 2 captions"},{"comment":"The sentence 'The Klyshko's nonclassicality witness is positive for some photon numbers only if k+n>q' presumably should read 'negative' rather than 'positive'; please clarify the intended condition and state it precisely.","section":"§3.4"},{"comment":"The upper limit 'r/2' of the second sum in Eq. (7) should be written as floor(r/2), with an explicit statement that the sum over i runs over integers, to remove ambiguity for odd r.","section":"§3.3, Eq. (7)"},{"comment":"The three parameter combinations for which the phase-fluctuation parameter U dips below its coherent-state value are not identified; please list them explicitly rather than referring to Fig. 6 without a specification.","section":"§4.2"},{"comment":"The claim that non-Gaussianity is established via the Q function is qualitative: a Gaussian state always has a positive Q function, so please state the specific criterion used (e.g., presence of zeros, or departure from a fitted Gaussian) and acknowledge the qualitative nature of the non-Gaussianity statement.","section":"§5"},{"comment":"The abstract's statement that 'higher-order nonclassicality criteria are found to detect nonclassicality even in the cases when corresponding lower-order criteria failed to do so' should be qualified, since §3.2 reports the opposite behavior for HOSPS (higher-order HOSPS fails where lower-order succeeds for certain α).","section":"Abstract vs. §3.2"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is in scope for a quantum-optics journal and the state family is well motivated. The main technical risk is the undocumented truncation in the numerics; I recommend requiring the authors to provide the cutoff and a convergence check before acceptance. I would also ask the authors to state explicitly what is new relative to their companion works (refs. [31], [35], [45]), which define related states and criteria, so that the incremental contribution can be assessed fairly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick read: this is a solid but incremental catalogue of nonclassical and phase properties for a state family the same group already introduced in ref. [35]. The new content is a broader set of higher-order witnesses, phase analysis, and Q-function plots. The moment calculations are standard and appear correct. The main thing to know is that the numerical plots are not reproducible as written: the coefficients C_m(α,n,k,q) in Eq. (3) are never defined, the summation lower limits are not given (they matter for k<q, where negative-factorial terms appear), and the truncation of the infinite sums is unspecified. The qualitative conclusions may well be right, but the evidence as presented cannot be independently checked.\n\nWhat the paper does well: it applies a wide range of nonclassicality criteria—Klyshko, Vogel, Agarwal-Tara, lower- and higher-order antibunching, HOSPS, squeezing—plus phase distribution and Q function. The limiting cases (coherent, Fock, PACS, etc.) are correctly enumerated. The claim that higher-order criteria detect nonclassicality where lower-order ones fail is useful, and the odd-order-only HOSPS observation is interesting. No parameters are fitted, so the circularity burden is low.\n\nWhere the soft spots are: as I said, the missing coefficient definitions and truncation details are real. For a reader without ref. [35], the notation is not self-contained. This is not a fatal conceptual flaw, but it is a serious reproducibility gap in a paper whose main results are numerical plots. The demarcation from the authors' prior work could also be sharper; the paper should spell out exactly what is new versus ref. [35].\n\nWho it's for: specialists in quantum state engineering and nonclassicality witnesses, with an eye to CV-QKD and metrology. It is a workmanlike contribution, not a breakthrough.\n\nI would send it to peer review. The analytic backbone is sound, and the weaknesses are fixable by adding the explicit coefficients, the support of m, and a truncation/convergence statement. A serious referee should be engaged, but the authors need to be held to that standard.","headline":"A competent extension of the authors' earlier PASDFS work with new higher-order witnesses and phase analysis, but missing coefficient definitions and unstated numerical truncation make the plotted claims non-reproducible as written.","tokens_in":15298,"tokens_out":5574,"would_cite":true,"duration_ms":54441,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81V80"],"pacs":["42.50.-p","42.50.Dv","42.50.Ct","03.65.-w"],"model":"deepseek-v4-flash","headline":"Photon addition strengthens nonclassicality across a family of engineered light states.","keywords":["photon addition","photon subtraction","displaced Fock state","nonclassicality witnesses","higher-order sub-Poissonian statistics","quantum phase","Q function","quantum state engineering"],"falsifier":"Take one of the plotted witnesses, say the antibunching parameter $d(1)$ or Agarwal-Tara's $A_3$, for a state with large $\\alpha$ (for example $\\alpha = 4$) and recompute it while increasing the truncation cutoff until the value stops changing. If the sign of the witness flips between a low cutoff and the converged value, the reported nonclassicality regions for large displacement are an artifact of truncation rather than a property of the state.","tokens_in":14354,"feed_emoji":"⚛️","tokens_out":6010,"duration_ms":60275,"temperature":0.7,"pith_summary":"The paper studies what happens when one first adds $k$ photons to, then subtracts $q$ photons from, a displaced Fock state, namely $|\\psi(k,q,n,\\alpha)\\rangle = \\mathcal{N}\\hat{a}^q\\hat{a}^{\\dagger k}\\hat{D}(\\alpha)|n\\rangle$. Its central claim is that photon addition generally improves the nonclassicality of this family of states, while photon subtraction extends that improvement to large displacement amplitudes, and increasing the Fock index $n$ extends it to small amplitudes. It also claims that higher-order moment-based witnesses detect nonclassicality in parameter regions where the corresponding lower-order witnesses fail, and that higher-order sub-Poissonian photon statistics appear only for odd orders. These results matter because the family reduces in different limits to coherent, Fock, photon-added coherent, photon-subtracted coherent, and displaced Fock states, so the trends give a practical guide for choosing operations when engineering nonclassical light.","feed_headline":"Adding photons deepens nonclassicality in engineered light states","feed_subtitle":"A unified family of displaced Fock states shows higher-order witnesses catching what lower-order criteria miss.","key_machinery":"The load-bearing object is the photon-added-then-subtracted displaced Fock state $$|\\psi(k,q,n,\\$\\alpha$)\\rangle = \\mathcal{N}\\,\\hat{a}^q\\,\\hat{a}^{\\dagger k}\\,\\hat{D}(\\$\\alpha$)|n\\rangle,$$ with normalization $\\mathcal{N}$, together with the moment formula $$\\langle \\hat{a}^{\\dagger t}\\hat{a}^j\\rangle = \\mathcal{N}^2 \\sum_{m=0}^\\infty C_m^*\\, C_{m-j+t}\\, \\frac{\\sqrt{(m+k-q)!\\,(m+k-q-j+t)!}}{(m+k-q-j)!}.$$ All the nonclassicality witnesses are constructed from such moments, so this formula is the central engine of the paper: once it is fixed, each criterion is just a different combination of moments. The phase distribution and the $Q$ function are built from the same expansion coefficients $C_m$, so a single analytic expression drives all the reported results.","core_discovery":"On its own terms, the paper establishes a parameter-by-parameter map of how photon addition, photon subtraction, displacement, and the initial Fock level shape nonclassicality and phase properties. Using moments of the bosonic operators, it evaluates six criteria: Klyshko's, Agarwal-Tara's, Vogel's, antibunching, Hong-Mandel squeezing, and sub-Poissonian statistics, together with the phase distribution, phase fluctuation parameter $U$, and the $Q$ function. The consistent pattern is that photon addition deepens the nonclassicality witnesses in most regimes; photon subtraction is the operation that induces squeezing and is the most effective at altering phase properties; and the Fock parameter behaves oppositely to addition and subtraction, helping at small displacement and hurting at large. A further claim is that the higher-order versions of the criteria are more sensitive, catching nonclassicality that the lower-order versions miss, with the exception that higher-order sub-Poissonian statistics is never negative for even orders.","pith_inferences":["The odd-order-only higher-order sub-Poissonian pattern suggests a combinatorial constraint in the Stirling-number expansion of the witness: if that constraint holds for all orders, then even-order sub-Poissonian statistics can never certify nonclassicality for any state in this family, not just for the plotted cases.","A practical state-engineering protocol could exploit the reported trade-off by choosing $k$, $q$, and $n$ according to the target displacement: more subtraction for bright fields, more Fock level for dim fields, with photon addition as the baseline improvement.","Because the $Q$ function shows zeros and non-Gaussian deformation at specific parameters, a heterodyne measurement of $Q$ could serve as a direct experimental test of the predicted parameter regions without full tomography.","The claim that higher-order criteria catch what lower-order criteria miss suggests a noise-robust detection strategy: in the presence of losses that wash out low-order moments, the higher-order witnesses may still give a nonclassicality signal."],"forward_implications":["The same witness hierarchy can certify single-photon sources: when lower-order antibunching or sub-Poissonian statistics gives no signal, a higher-order criterion still records nonclassicality, and the reported depth grows with the order.","Photon subtraction is the operation to reach for when squeezing is the target, and adding several photons lets squeezing survive at large displacement amplitudes, trading away the squeezing seen at small amplitudes.","Because the state reduces to coherent, Fock, photon-added coherent, photon-subtracted coherent, and displaced Fock states, the reported trends carry over to those known states as limiting cases.","The phase-distribution plots indicate that subtraction changes phase properties more than addition, while the Fock parameter shifts the phase behaviour in the opposite direction, so the three operations are not interchangeable knobs.","The phase fluctuation parameter $U$ detects antibunching in the same cases where Vogel's criterion does, giving an independent, phase-based route to the same nonclassicality signal."],"supporting_citations":[{"why":"Defines nonclassicality through negativity of the Glauber-Sudarshan $P$ function, the foundational criterion the paper works from.","marker":"[2, 3]"},{"why":"Supplies the displaced Fock state expansion in the Fock basis used in Eq. (1).","marker":"[34]"},{"why":"Provides the earlier treatment of photon-added and photon-subtracted displaced Fock states and the moment-based criteria used here.","marker":"[35]"},{"why":"Experimental realization of a photon-added coherent state, supporting the feasibility of the operations studied.","marker":"[37]"},{"why":"Defines the lower- and higher-order antibunching criteria used in Section 3.1.","marker":"[40]"},{"why":"Gives Klyshko's criterion based on three successive photon-number probabilities.","marker":"[53]"},{"why":"Introduces the Agarwal-Tara determinant criterion for nonclassicality.","marker":"[54]"},{"why":"Introduces Vogel's moment-matrix criterion used in Section 3.6.","marker":"[55]"},{"why":"Provides the criterion for higher-order sub-Poissonian photon statistics.","marker":"[59]"},{"why":"Experimental demonstration of photon addition and subtraction, supporting the realizability of the state-preparation sequence.","marker":"[73]"}],"fun_headline_variants":["Photon addition deepens nonclassicality in light states","Higher-order witnesses spot nonclassicality lower orders miss","Photon subtraction induces squeezing in displaced Fock states","Adding photons boosts nonclassicality, subtraction induces squeezing","Photon addition and subtraction tune nonclassicality of light states"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The numerical claims assume that truncating the infinite sums in Eqs. (3) and (19) at a finite photon number gives converged values, but the paper does not report the truncation order or a convergence check, and for large displacement $\\alpha$ the neglected high-photon terms can be substantial.","fun_headline_variants_meta":{"raw":{"variants":["Photon addition deepens nonclassicality in light states","Higher-order witnesses spot nonclassicality lower orders miss","Photon subtraction induces squeezing in displaced Fock states","Adding photons boosts nonclassicality, subtraction induces squeezing","Photon addition and subtraction tune nonclassicality of light states"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000887,"raw_usage":{"total_tokens":3890,"prompt_tokens":1065,"completion_tokens":2825,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":681,"completion_tokens_details":{"reasoning_tokens":2742}},"tokens_in":681,"tokens_out":2825,"duration_ms":22207,"temperature":1.0,"reasoning_tokens":2742,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:50:44.028704+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take one of the plotted witnesses, say the antibunching parameter $d(1)$ or Agarwal-Tara's $A_3$, for a state with large $\\alpha$ (for example $\\alpha = 4$) and recompute it while increasing the truncation cutoff until the value stops changing. If the sign of the witness flips between a low cutoff and the converged value, the reported nonclassicality regions for large displacement are an artifact of truncation rather than a property of the state.","supporting_citations":[{"cited_title":"De Oliveira, M","cited_arxiv_id":null,"evidence_quote":"Supplies the displaced Fock state expansion in the Fock basis used in Eq. (1)."},{"cited_title":"Malpani, N","cited_arxiv_id":null,"evidence_quote":"Provides the earlier treatment of photon-added and photon-subtracted displaced Fock states and the moment-based criteria used here."},{"cited_title":"Pathak and M","cited_arxiv_id":null,"evidence_quote":"Defines the lower- and higher-order antibunching criteria used in Section 3.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives Klyshko's criterion based on three successive photon-number probabilities."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the Agarwal-Tara determinant criterion for nonclassicality."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces Vogel's moment-matrix criterion used in Section 3.6."},{"cited_title":"Zou and L","cited_arxiv_id":null,"evidence_quote":"Provides the criterion for higher-order sub-Poissonian photon statistics."}],"review_version":1}