{"id":"e596b172-f945-44fe-86b8-0801d8d2980c","arxiv_id":"2607.29345","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The QW-Poisson operator has a fully classified spectrum whose density decays like (x-S-)^{1/2} at the left edge, except at two critical intensities where it blows up like (x-S-)^-1/2.","lead":"This paper computes the full spectral picture of a Poisson-type operator built from the interacting Fock space of a one-dimensional quantum walk. It finds explicit atoms, an absolutely continuous part, and a phase transition where the density's left-edge exponent flips from +1/2 to -1/2.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Correcting the branch of G_SC at z=0 changes the δ0 atom mass in Theorems 4.7 and 1.3; the printed R_{λ,ω} is not the true μ^P({0}) for λ<ω.","rationale":"The reader identified the eventual-constancy assumption as the weakest point and flagged Corollary 6.3 as a concrete error. I find a more serious concrete error in the proof of Theorem 4.7: the atom mass at 0 is computed with the wrong branch of the semicircle Cauchy transform at z=0. This is not a stylistic issue; it makes the explicit δ0 coefficients in Theorem 1.3 quantitatively false. The correct atom mass can be computed two independent ways (continued fraction with the proper branch, and the explicit kernel vector of A^QW_λ), and both disagree with the printed R_{λ,ω}. Because Theorem 1.3 is a central classification result, this is load-bearing for the paper's full claims. However, the paper's headline edge-behavior Theorem 5.4 does not use these atom masses, and my independent checks of its asymptotic analysis suggest it is intact. The appropriate verdict remains CONDITIONAL: the paper is promising and likely correct in its spectral-edge conclusions, but the atom-mass formulas must be corrected before the paper is relied upon. I do not raise this concern to impugn the authors; the branch choice is a subtle and common pitfall in continued-fraction evaluations at the boundary.","tokens_in":30130,"tokens_out":58241,"duration_ms":958316,"concrete_test":"For r=0.9 and λ=0.1, compute N = 1 + λ/ω1 + λ²/(ω1ω2) + λ³/(ω1ω2(ω−λ)) with ω1=1−√(1−r²), ω2=(√(1−r²)/2)ω1, ω=r²/4. The true vacuum atom mass is 1/N≈0.684. Compare this to R_{λ,ω} from Theorem 4.7; they differ (≈0.755). Alternatively, evaluate G_C(0) via the continued fraction using G_SC(0)=−1/ω for λ<ω and verify that 1+λG_C(0)=1/N. Repeating for several λ<ω should confirm the discrepancy is systematic.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"For λ<ω, 0 lies strictly to the left of the semicircular tail's support. With the branch of sqrt chosen in Example 2.2, the correct limit is G_SC(0) = −1/ω, not −1/λ. Substituting this into (3.3) gives G_C(0) = 1 / ( −(λ+ω1) − λω1/( −λ − ω2(1−λ/ω) ) ), so μ^P({0}) = 1 + λ G_C(0). For a concrete check, take r=0.9, λ=0.1<ω≈0.2025. Then the correct value is μ^P({0})≈0.684. This same value follows independently from the kernel of A^QW_λ: the square-summable vector with coefficients c_n=(−1)^n λ^{n/2}/√(ω1⋯ω_n) satisfies A^QW_λ Φ=0, so μ^P({0})=1/N, where N=1+λ/ω1+λ²/(ω1ω2)+λ³/(ω1ω2(ω−λ))≈1.462, hence 1/N≈0.684. The paper's R_{0.1,0.9} from Theorem 4.7 is about 0.755, so the printed formula is wrong. This error propagates to every explicit δ0 coefficient in Theorem 1.3 with λ≤ω. The edge exponents in Theorem 5.4 do not depend on the atom mass, so that central claim appears unaffected, but the atom classification and the claimed quantitative 'number of atoms' transition are incorrect as stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Poisson operator P^QW_λ on the interacting Fock space built from the Jacobi parameters of the symmetric Konno distribution. The main results are: (i) a general size-biased relation between a Poisson operator and its reversed partner (Theorem 4.1); (ii) a complete description of the spectrum and spectral distribution of the QW-Poisson operator (Theorems 1.3 and 4.7), including atoms and an absolutely continuous part; (iii) an edge-behavior classification with phase transitions at λ = Λ−(r) and λ = ω (Theorems 5.3 and 5.4); (iv) moment and Poisson-approximation results (Theorem 6.1, Corollary 6.3, Theorem 6.5); and (v) Boolean self-decomposability for the Konno distribution and a shifted reversed QW-Poisson distribution (Theorems 7.5 and 7.6). The central spectral analysis is detailed and largely coherent, and the edge-exponent result appears robust.","tokens_in":30508,"tokens_out":34354,"duration_ms":272309,"significance":"If the main spectral claims were fully correct, the paper would provide a valuable operator-theoretic bridge between discrete-time quantum walks and noncommutative probability, with explicit phase transitions in the spectral measure. The size-biased transform (Theorem 4.1) is elegant and likely of independent interest. The edge-behavior phase transition at λ = Λ−(r) and λ = ω is a striking, concretely computable phenomenon. The paper also gives a machine-checkable-style derivation in Proposition 3.3 and Theorem 3.5, and it is careful to state limitations of the asymmetric case. However, two specific sets of displayed results—the atom mass at 0 in Theorem 4.7/1.3 and the skewness/kurtosis formulas in Corollary 6.3—contain errors that need correction before the results can be accepted as stated.","major_comments":[{"comment":"The atom mass μ^{P_λ}({0}) is computed incorrectly for λ ≤ ω. The source is the branch of G_SC at z=0: for λ < ω, 0 lies to the left of the support of SC_{α̃,ω̃}, and the correct boundary value from C+ is G_SC(0) = −1/ω (not −ω). Substituting this into (3.3) gives G_C(0) = [−(λ+ω2)+λω2/ω] / [λ²+ω2(λ+ω1)(1−λ/ω)]? Actually the correct final atom mass is R_{λ,ω}^{correct} = ω1ω2(1−λ/ω) / [λ²+ω2(λ+ω1)(1−λ/ω)]. At λ=ω this is 0, whereas the printed R_{λ,ω} is positive. For a concrete check, r=0.9, λ=0.1 gives the printed value ≈0.755, while the kernel calculation or corrected branch gives ≈0.684. This error propagates to every explicit δ0 coefficient in Theorem 1.3 and to the claimed transition at λ=ω. The qualitative phase-transition statement remains plausible, but the quantitative atom masses and the assertion R_{λ,ω}>0 for λ=ω are wrong.","section":"§4.2, Theorem 4.7 (also Theorem 1.3)"},{"comment":"The definitions of skewness and kurtosis used in the paper are nonstandard: Skew(μ) = m3/√Var and Kur(μ) = m4/Var²−3 use raw moments rather than central moments, which is not the usual skewness/kurtosis. More importantly, even accepting these definitions, the displayed formulas are inconsistent with Theorem 6.1. Using m1=λ, m2=λ(λ+ω1), m3=λ(λ²+3λω1+ω1²) and m4 as in Theorem 6.1, the central third moment is λω1², so the standard skewness is √(ω1/λ). The printed formula contains λ³ and is dimensionally inconsistent. The correct excess kurtosis is ω2/ω1 + ω1/λ − 2, not the printed expression. This affects the statistical summary of the QW-Poisson distribution.","section":"§6.1, Corollary 6.3"}],"minor_comments":[{"comment":"The displayed Cauchy transform of the semicircle law misses the factor 1/(2v): it should be G_{SC_{m,v}}(z) = (z−m−√((z−m)²−4v))/(2v). As written, it is not the Cauchy transform of a probability measure for v≠1. Although later computations appear to use the correct continued-fraction/free-Meixner forms, this displayed formula is misleading and should be corrected.","section":"§2.1, Example 2.2(1)"},{"comment":"The inequality “1 − λω ≥ 1 − ω² > 0” is used to conclude R_{λ,ω}>0 for λ≤ω. With the correct factor 1−λ/ω, this is nonnegative and vanishes at λ=ω. The proof should be adjusted accordingly, and the statement that the atom mass is strictly positive for all λ≤ω should be revised.","section":"§4.2, proof of Theorem 4.7"},{"comment":"The definition of R_{λ,ω} immediately before Theorem 1.3 should be replaced by the corrected expression. The qualitative claims about the number of atoms and the λ=ω transition survive, but the explicit formulas are wrong.","section":"Theorem 1.3"},{"comment":"The Poisson approximation theorem appears sound; it is useful to note this in contrast to the moment-formula errors in §6.1.","section":"§6.2, Theorem 6.5"}],"recommendation":"major_revision","confidential_remarks":"The two major errors are serious but localized. The edge-behavior analysis (Theorems 5.3 and 5.4) does not depend on the atom mass and appears correct, so the core phase-transition story has a good chance of being salvageable. I would encourage the editor to seek a careful revision rather than a rejection. The incorrect atom mass is particularly concerning because it appears in a headline theorem; however, the kernel calculation and the corrected branch make the fix clear. The skewness/kurtosis errors are also straightforward to correct once the central-moment definitions are used."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a worthwhile paper with a real new idea—the size-biased relation between Poisson and reversed Poisson operators on interacting Fock spaces—and a mostly correct spectral analysis of the QW-Poisson operator. But there are two concrete errors in the printed formulas that a referee should catch: the δ0 atom mass in Theorems 4.7 and 1.3, and the skewness in Corollary 6.3.\n\nWhat's good: Theorem 4.1 (sb(μ_P)=μ_C) is a clean general result, and the application to the QW case gives the first complete description of the support, atoms, and edge behavior for these operators. The edge-exponent phase transition at Λ_-(r) and ω (Theorem 5.4) is detailed and convincing; I checked the asymptotics at S_-, they hold. The paper also honestly discloses the restriction to the symmetric case and the limitations for asymmetric walks.\n\nSoft spots: The most important is the δ0 coefficient. In Theorem 4.7, R_{λ,ω} is printed with (1-λω) in numerator and denominator; it should be (1-λ/ω). For r=0.9, λ=0.1, the printed value is about 0.755, but the true μ^P({0}) from the kernel vector is about 0.684. The error persists for all λ≤ω and, worse, at λ=ω the printed formula gives a positive atom mass when it should be zero. I suspect the mistake comes from evaluating the semicircle Cauchy transform at z=0 with the wrong branch; the corrected formula is simple, but the paper as written gives wrong masses and misidentifies the atom count at the critical point.\n\nThe other clear error is Corollary 6.3. The skewness is defined nonstandardly (m_3/√Var rather than m_3/Var^{3/2}) and the printed formula has λ^3 where λ^2 is required by the moments in Theorem 6.1. That needs a fix and a comment.\n\nMinor: Example 2.2(1) writes the semicircle Cauchy transform without the 1/v factor; it's inconsistent with the stated density. This probably compounds the branch issue but is local.\n\nBottom line: The main theorems (size-biased relation, support and edge classification) appear correct and are worth having. I would send this to a serious referee. The errors are fixable and don't undermine the central argument, but they do mean the paper needs revision before publication.","headline":"Solid spectral analysis of QW-Poisson operator; two concrete formula errors (δ0 mass and skewness) need correction.","tokens_in":31028,"tokens_out":29197,"would_cite":true,"duration_ms":339368,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":null,"created_at":"2026-08-04T03:08:04.338976+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":null,"supporting_citations":[],"review_version":2}