{"id":"c6b2aaa7-a327-4eb9-b457-dc3409c8e87e","arxiv_id":"2507.23524","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Coined quantum walks on the line are classified modulo distributional equivalence by a few angles, and their closed-form amplitudes are corrected and linked to classical correlated walks.","lead":"This preprint sorts one-dimensional coined quantum walks by the spatial probability distributions they generate, and compares them with correlated classical random walks. It offers parametrizations for symmetric, general, and limiting distributions, plus corrected closed-form amplitude formulas.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3's surjectivity proof uses a phase reduction that fails to preserve the interference term κ; the constructed representative is not distributionally equivalent, so the parametrization of all walks is not established as written.","rationale":"The reader identified the reliance on Konno's Lemma 3 and Theorem 1 as the weakest assumption, and flagged the algebraic error in Theorem 2's p(n,n) computation. My read finds an additional, more specific weakness inside the application of Konno's Lemma 3: the phase-reduction step in the proof of Theorem 3 does not preserve κ, and a concrete two-state comparison shows that the constructed representative is not distributionally equivalent to the original. This does not disprove the parametrization itself, since a different choice of ξ̃ can restore κ, but it invalidates the proof as written. Together with the reader's identified issues, the correct disposition remains CONDITIONAL pending repairs; no change to the verdict is needed.","tokens_in":15620,"tokens_out":36206,"duration_ms":399386,"concrete_test":"Evaluate the one-step distributions for the original setup (θ=2π/3, φ=π/4, ξ=0, ϕ1=ϕ2=0) and for the representative prescribed in the proof of Theorem 3 (θ=π/3, φ=π/4, ξ=0, ϕ1=ϕ2=0). If p(1) and p(−1) are not identical, the claimed reduction step is false and Theorem 3 is unproven as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The surjectivity half of the classification of all walks (Theorem 3) is the least secure part of the central claim. The proof reduces an arbitrary setup (C,|γ⟩) to a representative with θ̃=ϱ(θ_C), ϕ̃1=ϕ̃2=0, and ξ̃=ξγ if ξγ≤π, else π−ξγ, asserting distributional equivalence via Konno's Lemma 3. As used in the paper, that lemma says p_C(j,n) depends on the setup only through cos²φ, sin²φ, cos²θ, sin²θ, and κ=2cosθ sinθ cosφ sinφ cos(ξ−ϕ2). But ϱ replaces cosθ sinθ by |cosθ sinθ|. Whenever θ_C∈(π/2,π) or (3π/2,2π), the sign of the product flips, and the prescribed ξ transformation does not compensate. Concretely, take θ_C=2π/3, φ=π/4, ξ=0, ϕ2=0. The original coin has κ<0; the constructed representative (θ=π/3, ξ=0) has κ>0. Direct n=1 calculation gives p(1)≈0.067 and p(−1)≈0.933 for the original, but these are swapped for the representative; hence the two setups are not distributionally equivalent. The theorem may be salvageable by choosing ξ̃∈[0,π] with cos ξ̃=sign(cosθ sinθ)cos(ξ−ϕ2), but the proof as written does not establish surjectivity.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies discrete-time coined quantum walks on the line with arbitrary SU(2) coins and arbitrary initial coin states. Its main results are: Theorem 1 characterizes the initial coin states that produce spatially symmetric walks; Theorem 2 gives a bijective parametrization of symmetric walks modulo the equivalence relation of having identical position distributions at all times; Theorem 3 gives a surjective parametrization of all walks modulo the same equivalence; and Theorem 4 gives a bijective parametrization of the limiting distributions of all non-trivial walks. The paper also derives closed-form amplitude expressions for quantum walks (Lemma 5) and for correlated classical random walks (Lemma 6), and compares the variance growth and limiting distributions of the two models.","tokens_in":15914,"tokens_out":16343,"duration_ms":162148,"significance":"If the theorems are correct, the classification is a useful and fairly complete structural description of one-dimensional coined quantum walks, consolidating and extending Konno's exact distribution formulas. The corrected finite-time amplitude formulas address a concrete error in the literature and are used in the paper's counterexamples and edge-case analyses. The comparison with correlated classical random walks is conceptually valuable, and the paper provides code and data on GitHub, which is a practical strength. However, the current manuscript contains two load-bearing proof errors in the classification theorems and omits the key final step of the inverse Fourier transform in Lemmas 5 and 6; these points need to be repaired before the central claims can be certified.","major_comments":[{"comment":"The surjectivity proof is invalid as written. The reduction sets θ=ϱ(θ_C) and ξ=ξγ (or π−ξγ), but the interference term κ=cosθ sinθ cosφ sinφ cos(ξ−ϕ2) is not preserved by this map. If θ_C lies in (π/2,π) or (3π/2,2π), then cosθ sinθ changes sign under ϱ, and the prescribed ξ-transformation does not compensate. A concrete counterexample to the construction is θ_C=2π/3, φ=π/4, ξ=0: the original setup has κ<0, while the representative (θ,ξ)=(π/3,0) has κ>0; indeed the one-step probabilities are p(1)=(2−√3)/4 and p(−1)=(2+√3)/4 for the original, and these two values are interchanged for the constructed representative. Additionally, for ξγ>π the map ξ↦π−ξγ sends the parameter outside [0,π] and changes the sign of cosξ; the intended reduction appears to be 2π−ξγ or an equivalent phase shift. The surjectivity claim may be salvageable by choosing ξ̃ with cosξ̃=sign(cosθ_C sinθ_C)cos(ξγ−ϕ2), but the proof as it stands does not establish Theorem 3. I also note an inconsistency in the definition of κ: the proof of Theorem 2 uses aαbβ+aαbβ = 2cosθ sinθ cosφ sinφ cos(ξ−ϕ2), while the proof of Theorem 3 defines κ without the factor 2 and then states its range as [−1/4,1/4]; these two conventions cannot both be correct, and the discrepancy should be fixed.","section":"IV.1, Proof of Theorem 3"},{"comment":"The injectivity argument contains an algebraic error. From |a|^{2(n−1)}(|b|²+|a|²)/2 with |a|=cosθ and |b|=sinθ, one obtains cos^{2(n−1)}(θ)/2, since |b|²+|a|²=1. The displayed chain then incorrectly simplifies this to cos²(θ)/2. That equality is false for every n>1 and would make p(n,n) independent of n, which is not the case. Since this identity is used to prove injectivity of the parametrization θ↦[setup], the proof as written is not valid. The claim can be repaired by evaluating p(n,n) at n=2 (giving cos²θ/2, which is injective on [0,π/2]), but the current text must be corrected.","section":"IV.1, Proof of Theorem 2"},{"comment":"The paper explicitly omits the final inverse Fourier transform calculation for both Lemma 5 and Lemma 6, stating only that the result follows from applying the identity ∫ dk/(2π) e^{ikx}=δ(x) multiple times. These lemmas are presented as corrections of [21] and are subsequently used for counterexamples and edge-case variance computations, so the omitted derivation is load-bearing for the closed-form contribution. The authors should include the full final calculation, or at least a detailed and complete appendix derivation, so that the claimed corrected formulas can be independently verified.","section":"IV.2, Lemmas 5 and 6"}],"minor_comments":[{"comment":"The notation 'cosh(θ)' and 'cosh+1(θ)' should be written as cos^h(θ) and cos^{h+1}(θ); in standard notation cosh denotes the hyperbolic cosine, which is clearly not intended here.","section":"Lemma 5"},{"comment":"The condition '|α| = |β|2 = 1/2' should read '|α|² = |β|² = 1/2'.","section":"Section VI"},{"comment":"The legend label 'θ = π 2' should be 'θ = π/2'.","section":"Figures 1 and 2"},{"comment":"Reference [20] is dated 1995, but the cited paper by Gillis appeared in 1955.","section":"References"},{"comment":"In the statement of Lemma 6, the component β_j(n) is written as β_j(t) in the displayed formula; the argument should be n consistently.","section":"Lemma 6"}],"recommendation":"major_revision","confidential_remarks":"The paper has two proof errors in its central classification theorems that are concrete and fixable: the Theorem 3 construction fails to preserve the interference term, and the Theorem 2 injectivity algebra is wrong. The omission of the inverse Fourier transform in Lemmas 5 and 6 is also a significant gap for a paper whose stated contribution is a corrected closed-form expression. I would not recommend rejection, because the main theorems may be true and the framework is sound, but the authors must repair these points and provide the missing derivation before the paper can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this is a useful paper that mostly does what it says, but the proof of Theorem 3 has a genuine flaw, and there are a couple of formula slips that need fixing. The core classification ideas are sound, and I'd send it to referees, but it needs a revision.\n\nThe genuinely new items: the bijective parametrization of symmetric walks (Theorem 2) is clean, and the corrected closed-form amplitudes in Lemma 5 address a real error in Jayakody and Cohen. Extending the Fourier/Fibonacci-Horner method to correlated classical walks (Lemma 6) is a nice addition, and the explicit counterexample in Section VI (same limiting distribution but different finite-time distributions) is a good sanity check. The paper builds squarely on Konno's results and is honest about that. The code on GitHub is a plus.\n\nNow the soft spots. The algebraic slip in the proof of Theorem 2 — p(n,n) simplifies to cos^{2(n-1)}(θ)/2, not cos²(θ)/2 — is minor and doesn't harm injectivity. Lemma 6's β_j(n) has an obvious typo: the first sum should multiply β, not α. Also, the authors say they omit the inverse Fourier transform final calculation for both lemmas; that's acceptable for a short cut, but for a rigorous journal proof they'd need to at least outline it.\n\nThe serious issue is Theorem 3. The proof maps an arbitrary θ_C to ϱ(θ_C) ∈ [0,π/2] and leaves ξ unchanged (or flips to π−ξ only when ξ > π). But the distribution depends on κ = 2 cosθ sinθ cosφ sinφ cos(ξ−ϕ2). When cosθ_C sinθ_C is negative, ϱ(θ_C) has positive cosθ sinθ, and if ξ is in [0,π] the cos factor doesn't flip, so κ changes sign. Concrete example: θ_C=2π/3, φ=π/4, ξ=0 gives p(1)≈0.067, p(−1)≈0.933; the constructed representative (θ=π/3, ξ=0) gives the swapped distribution. So the surjectivity proof fails as written. It's likely fixable — choose ξ̃ so that cos ξ̃ has the opposite sign, which is always possible in [0,π] — but the current proof does not establish the claim. This is load-bearing, since Theorem 3 is one of the paper's headline results.\n\nWho should read this: people working on one-dimensional quantum walk classifications and closed-form expressions. The flaws are real but repairable, and the paper's framework is genuinely useful. I'd accept it for peer review with a request for major revision focusing on Theorem 3, the typos, and the omitted Fourier inversion steps.","headline":"Useful extension of Konno's classification, but Theorem 3's surjectivity proof has a sign gap that needs fixing before the paper's main claims are fully established.","tokens_in":16457,"tokens_out":9175,"would_cite":true,"duration_ms":81147,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P68","60G50","60F05"],"pacs":["03.65.-w","05.40.Fb","03.67.-a"],"model":"deepseek-v4-flash","headline":"One angle classifies every symmetric coined quantum walk on the line, and corrected closed-form amplitudes make finite-step predictions exact.","keywords":["coined quantum walk","distributional classification","symmetric quantum walk","closed-form amplitudes","correlated classical random walk","limiting distribution","variance scaling","Fibonacci-Horner method"],"falsifier":"Run the walk for a small fixed number of steps, say $n=3$, with a generic non-symmetric coin such as Hopf coordinates $\\theta=\\pi/4$, $\\phi_1=0.3$, $\\phi_2=0.1$ and initial state $\\varphi=\\pi/3$, $\\xi=1.2$, and compare the Lemma 5 amplitudes with a direct matrix multiplication of $W(C)^3$ applied to $|0\\rangle|\\gamma\\rangle$; any difference beyond rounding error would falsify the corrected closed-form expression, and since the classification feeds on the same distribution formula, it would also undercut Theorems 2--4.","tokens_in":15391,"feed_emoji":"⚛️","tokens_out":13071,"duration_ms":119250,"temperature":0.7,"pith_summary":"This paper sets out to classify one-dimensional coined quantum walks — walks in which a particle on the integer line carries an internal spin, is rotated by a unitary \"coin\" operation, and then shifts left or right depending on that spin — by the spatial probability distributions they produce. Its main theorem states that every symmetric walk, for any coin and any initial spin state, is distributionally equivalent to one canonical setup: a real coin of the form $\\cos(\\theta)(|\\uparrow\\rangle\\langle\\uparrow|+|\\downarrow\\rangle\\langle\\downarrow|)+\\sin(\\theta)(|\\uparrow\\rangle\\langle\\downarrow|-|\\downarrow\\rangle\\langle\\uparrow|)$ together with the initial state $(|\\uparrow\\rangle+i|\\downarrow\\rangle)/\\sqrt{2}$, indexed by a single angle $\\theta\\in[0,\\pi/2]$. It also gives a surjective three-parameter parametrization of all walks and a bijective parametrization of their limiting distributions, and it corrects a published closed-form expression for the walk amplitudes after $n$ steps while transferring the method to correlated classical random walks. A reader should care because the classification turns a continuous family of unitary coin choices into a small explicit list, and it makes the quantum/classical comparison exact at the level of probabilities.","feed_headline":"One angle classifies every symmetric quantum walk on a line","feed_subtitle":"Any symmetric coined walk matches a canonical coin family; exact finite-step formulas now exist.","key_machinery":"The load-bearing device is the reduction of a coin setup to the handful of quantities that actually enter the spatial distribution: the squared amplitudes $|\\alpha|^2,|\\beta|^2,|a|^2,|b|^2$ and the overlap term $\\kappa=2\\cos(\\theta)\\sin(\\theta)\\cos(\\varphi)\\sin(\\varphi)\\cos(\\xi-\\phi_2)$, as given in [22, Lemma 3]. The canonical family of Theorem 2 is obtained by enforcing the symmetry conditions $|\\alpha|=|\\beta|=1/\\sqrt2$ and $\\kappa=0$, which leaves only $\\theta$ free. For the exact amplitudes, the paper applies the spatial Fourier transform to the walk operator, reducing $n$ steps to the $n$-th power of a $2\\times2$ matrix, and evaluates those powers with the Fibonacci–Horner decomposition coming from the Cayley–Hamilton theorem. The same matrix-power machinery, with the unitary coin replaced by a doubly stochastic transition matrix, yields the correlated classical formulas.","core_discovery":"On its own terms, the paper claims that the spatial probability distribution $p_{\\mathcal C}(j,n)$ is the correct equivalence invariant for a coin setup $\\mathcal C=(C,|\\gamma\\rangle)$, and that modulo this invariant the symmetric walks are classified by $\\theta\\in[0,\\pi/2]$. Theorem 2 establishes the bijection $\\theta\\mapsto(\\cos(\\theta)(|\\uparrow\\rangle\\langle\\uparrow|+|\\downarrow\\rangle\\langle\\downarrow|)+\\sin(\\theta)(|\\uparrow\\rangle\\langle\\downarrow|-|\\downarrow\\rangle\\langle\\uparrow|),\\ (|\\uparrow\\rangle+i|\\downarrow\\rangle)/\\sqrt{2})$. Theorem 3 shows every walk is distributionally equivalent to one with $\\phi_1=0$ and parameter triples in $[0,\\pi/2]\\times[0,\\pi]\\times[0,\\pi/2]$, and Theorem 4 gives a bijective description of the limiting densities $f_{\\mathcal C}(x)=\\frac{\\sqrt{1-|a|^2(1-\\lambda_{\\mathcal C}x)}}{\\pi(1-x^2)\\sqrt{|a|^2-x^2}}$ with $\\lambda_{\\mathcal C}=\\cos(2\\varphi)+\\sin(2\\varphi)\\tan(\\theta)\\cos(\\xi)$. Lemma 5 provides corrected exact amplitudes $\\alpha_j(n)$ and $\\beta_j(n)$ for arbitrary $n$, and Lemma 6 gives the analogous joint probabilities for the correlated classical walk. The variance analysis concludes that every non-trivial quantum walk spreads quadratically in $n$, while correlated classical walks spread linearly except at full correlation, where the two models coincide.","pith_inferences":["Beyond the paper: because Theorem 2 is bijective, the same $\\theta$ family could serve as an experimental benchmark: any measured symmetric walk distribution can be mapped to a $\\theta$ value and tested against the exact amplitudes of Lemma 5.","Beyond the paper: the surjective parametrization of Theorem 3 and the bijective limiting parametrization of Theorem 4 give an outer and an inner bound for the open problem of a bijective classification of all walks; a natural next step is to seek a minimal injective parameter domain interpolating between the two.","Beyond the paper: the classical counterpart is built from one doubly stochastic transition matrix; replacing it with more general Markov transition matrices should produce non-symmetric classical limiting distributions and would allow a direct test of how much of the quantum asymmetry is genuinely non-classical.","Beyond the paper: the closed-form amplitudes could be differentiated to yield the full characteristic function and all moments, giving a parameter-free derivation of higher cumulants beyond the variance."],"forward_implications":["For symmetric walks, the full history of spatial probabilities is encoded in the single angle $\\theta$; two symmetric setups with the same $\\theta$ are indistinguishable by position measurements at every time step.","Beyond symmetry, every coined walk is captured by three real parameters $(\\varphi,\\xi,\\theta)$ in the stated ranges, so classification questions reduce to a three-dimensional parameter space.","The limiting distribution of any non-trivial walk is fixed by the pair $(\\theta,\\lambda_{\\mathcal C})$, and the paper's counterexample with $\\theta=1.2$, $\\varphi_1=0.2$, $\\varphi_2=1.0$ shows that equal limiting distributions do not imply equal finite-time distributions.","Variance scales as $\\Omega(n^2)$ for every non-trivial quantum walk; the only exception is the $\\theta=\\pi/2$ case, which oscillates, while the correlated classical walk scales linearly for $\\delta\\in(-1,1)$.","The corrected amplitudes make exact finite-time predictions available for arbitrary coins and initial states, replacing the earlier expression that contained an error."],"supporting_citations":[{"why":"Supplies the spatial-distribution formula, symmetry criterion, limiting density, and variance formula on which Theorems 1--4 and the variance section rest.","marker":"[22]"},{"why":"Establishes the path-integral and Fourier methods for the Hadamard walk, including the quadratic variance scaling that the paper generalizes.","marker":"[16]"},{"why":"Contains the closed-form amplitude expressions whose error Lemma 5 corrects.","marker":"[21]"},{"why":"Provides the Fibonacci–Horner decomposition used to take $n$-th powers of the $2\\times2$ Fourier-transformed matrices.","marker":"[24]"},{"why":"Supplies the correlated classical random walk probability and variance formulas that Lemma 6 and Section V extend.","marker":"[20]"},{"why":"Introduces the Fourier analysis for Hadamard walk amplitudes that the paper extends to general coins and initial states.","marker":"[23]"}],"fun_headline_variants":["Symmetric quantum walks pinned down by a single angle","Corrected walk formulas unify quantum and classical randomness","Quantum walks spread quadratically, classical ones linearly","All symmetric quantum walks share one canonical coin family","Quantum vs classical walk variance: a scaling tale"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification takes as given the previously published formulas for the spatial distribution and limiting density of a general coined walk; if those formulas carry hidden assumptions about the coin or initial state, the parametrizations will not cover all walks.","fun_headline_variants_meta":{"raw":{"variants":["Symmetric quantum walks pinned down by a single angle","Corrected walk formulas unify quantum and classical randomness","Quantum walks spread quadratically, classical ones linearly","All symmetric quantum walks share one canonical coin family","Quantum vs classical walk variance: a scaling tale"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000664,"raw_usage":{"total_tokens":3092,"prompt_tokens":1065,"completion_tokens":2027,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":681,"completion_tokens_details":{"reasoning_tokens":1963}},"tokens_in":681,"tokens_out":2027,"duration_ms":16386,"temperature":1.0,"reasoning_tokens":1963,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T10:39:56.809301+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the walk for a small fixed number of steps, say $n=3$, with a generic non-symmetric coin such as Hopf coordinates $\\theta=\\pi/4$, $\\phi_1=0.3$, $\\phi_2=0.1$ and initial state $\\varphi=\\pi/3$, $\\xi=1.2$, and compare the Lemma 5 amplitudes with a direct matrix multiplication of $W(C)^3$ applied to $|0\\rangle|\\gamma\\rangle$; any difference beyond rounding error would falsify the corrected closed-form expression, and since the classification feeds on the same distribution formula, it would also undercut Theorems 2--4.","supporting_citations":[{"cited_title":"Aharonov, A","cited_arxiv_id":null,"evidence_quote":"Contains the closed-form amplitude expressions whose error Lemma 5 corrects."},{"cited_title":"Ambainis, E","cited_arxiv_id":null,"evidence_quote":"Supplies the spatial-distribution formula, symmetry criterion, limiting density, and variance formula on which Theorems 1--4 and the variance section rest."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the path-integral and Fourier methods for the Hadamard walk, including the quadratic variance scaling that the paper generalizes."},{"cited_title":"Goldstein, Q","cited_arxiv_id":null,"evidence_quote":"Provides the Fibonacci–Horner decomposition used to take $n$-th powers of the $2\\times2$ Fourier-transformed matrices."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the correlated classical random walk probability and variance formulas that Lemma 6 and Section V extend."},{"cited_title":"Feller, An introduction to probability theory and its applications, Vol","cited_arxiv_id":null,"evidence_quote":"Introduces the Fourier analysis for Hadamard walk amplitudes that the paper extends to general coins and initial states."}],"review_version":1}