Poisson operator on the interacting Fock space associated with a discrete-time quantum walk

Daiju Funakawa; Kazuyuki Wada; Yuki Ueda

REVIEW 2 major objections 4 minor 26 references

Poisson operator on the interacting Fock space associated with a discrete-time quantum walk

T0 review · 2 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read 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.

desk verdict Solid spectral analysis of QW-Poisson operator; two concrete formula errors (δ0 mass and skewness) need correction. read the letter →

arxiv 2607.29345 v2 pith:BVHG5H5A submitted 2026-07-31 math.FA math-phmath.MPmath.OAmath.PR

Daiju Funakawa , Yuki Ueda , Kazuyuki Wada This is my paper · ORCID

classification math.FAmath-phmath.MPmath.OAmath.PR

keywords operatorqw-poissonpoissondistributionfockinteractingspaceassociated

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

A discrete-time quantum walk on the line has a limiting position distribution called the Konno distribution. That distribution can be encoded by a Jacobi sequence, which in turn defines creation and annihilation operators on an interacting Fock space. From those operators one can build a Gaussian-type operator and a Poisson-type operator. This paper studies the spectral distribution of that Poisson-type operator, called the QW-Poisson operator.

The main trick is a general identity: for any interacting Fock space, the size-biased transform of the Poisson operator's spectral measure is exactly the spectral measure of a 'reversed' Poisson operator. Since the reversed operator has a much simpler Jacobi matrix, the authors can compute its density explicitly using free Meixner distributions and Stieltjes inversion. Dividing by x gives the QW-Poisson density, plus a few atoms that are located by solving one-dimensional equations.

The paper then tracks what happens at the left endpoint of the continuous spectrum. For generic parameter values the density vanishes like the square root of the distance to the endpoint. At two special values of the intensity parameter, the density instead blows up like the inverse square root. These special values also mark changes in the number of atoms and in whether zero lies in the spectrum. The paper additionally computes moments, skewness and kurtosis, proves that the Gaussianization of the QW-Poisson operator converges to the Konno distribution, and connects the Konno and reversed QW-Poisson distributions to Boolean self-decomposability. All of this is restricted to the symmetric case, where the Jacobi parameters are eventually constant; the asymmetric case is left open.

Extended reading notes

Core claim

Theorem 5.4: for the QW-Poisson operator, dμ_P/dx(x) ∼ Cλ (x−S−)^{κ(λ)} as x↓S−, with κ=1/2 for λ ≠ Λ−(r), ω, and κ=−1/2 at λ=Λ−(r) or λ=ω. Combined with Theorem 1.3, this gives the full classification of the support, atoms, and edge behavior of the QW-Poisson spectral distribution, with λ=Λ−(r) and λ=ω as phase-transition points.

Load-bearing premise

The paper assumes the Jacobi parameters of the symmetric Konno distribution are eventually constant: in Eq. (1.1), ω1=1−√(1−r²), ω2=√(1−r²)/2·ω1, and ω_n = r²/4 for all n≥3, taken from Hamada–Konno–Mlotkowski [10, Theorem 3.1]. The entire reduction to a semicircular tail and free Meixner densities, and hence the explicit spectral formulas and edge exponents in Theorems 1.3 and 5.4, depends on this eventual constancy. The authors state in Section 8 that in the asymmetric case c(a,b,φ)≠0 the Jacobi parameters may fail to be eventually constant, and the methods do not extend.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the 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.

What'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.

Soft 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.

The 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.

Minor: 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.

Bottom 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.

Referee Report

2 major / 4 minor

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.

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 (2)

[§4.2, Theorem 4.7 (also Theorem 1.3)] 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.
[§6.1, Corollary 6.3] 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.

minor comments (4)

[§2.1, Example 2.2(1)] 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.
[§4.2, proof of Theorem 4.7] 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.
[Theorem 1.3] 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.
[§6.2, Theorem 6.5] The Poisson approximation theorem appears sound; it is useful to note this in contrast to the moment-formula errors in §6.1.

Assumptions & free parameters 2 free parameters · 5 assumptions · 0 invented entities

The central claim rests on standard interacting Fock space machinery and on the known eventually-constant Jacobi structure of the symmetric Konno distribution. No new physical entities, forces, or dimensions are postulated. The only 'invented' objects are the QW-Poisson and reversed QW-Poisson operators, which are mathematical constructions built from already-defined creation/annihilation operators, not unexplained postulates.

free parameters (2)

r
Shape parameter of the symmetric Konno distribution, inherited from the quantum walk coin parameter |a|. Not fitted; varies over (0,1).
λ
Intensity parameter of the QW-Poisson operator P^QW_λ. Not fitted; varies over (0,∞).

assumptions (5)

domain assumption Jacobi parameters of the symmetric Konno distribution are eventually constant: ω1=1−√(1−r²), ω2=√(1−r²)/2·ω1, ω_n=r²/4 for n≥3 (Eq. 1.1, from [10, Theorem 3.1]).
This is the structural premise on which the whole spectral computation rests; the authors note in Section 8 that asymmetric cases may fail to satisfy it.
standard math General interacting Fock space spectral theory: bounded creation/annihilation operators with weight sequence determine a unique compactly supported spectral distribution via the vacuum state, and the Jacobi sequence reconstructs the measure ([20, Prop 3.13], [21, Thm 4.13]).
Invoked in Sections 2.2 and 3 to pass from the operators B^QW_± to the measures μ_N, μ_C, μ_P.
standard math Stieltjes inversion and Cauchy transform characterization of probability measures ([23]).
Used throughout Sections 3–5 to derive explicit densities and atom weights from Cauchy transforms.
domain assumption Boolean self-decomposability criterion via the function k_μ ([11, Props 3.3 and 3.4]).
Used in Section 7 to test Boolean self-decomposability of Konno and reversed QW-Poisson distributions. This is a prior theorem by Hasebe–Noba–Sakuma–Ueda, co-authored by the second author of the present paper.
standard math Deift/Weyl relation: for A^*, A, the nonzero spectra of A^*A and AA^* coincide (cited as [3, Remark 7.12]).
Used in Proposition 4.6 to compare σ(P^QW_λ) and σ(C^QW_λ).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Poisson operator on the interacting Fock space associated with a discrete-time quantum walk." pith.science (2026). https://pith.science/paper/BVHG5H5A

@misc{pith2026260729345,
  author       = {Pith},
  title        = {Pith review of: Poisson operator on the interacting Fock space associated with a discrete-time quantum walk},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BVHG5H5A}},
  note         = {Machine review of arXiv:2607.29345}
}

abstract

We study the Poisson operator on the interacting Fock space associated with a discrete-time quantum walk, which we call the QW-Poisson operator. First, we investigate the spectral properties of the QW-Poisson distribution. In particular, we establish a relation between the spectral distributions of the Poisson operator and the reversed Poisson operator on a general interacting Fock space via a size-biased transform. Next, we study the edge behavior of the density of the QW-Poisson distribution. We show that a phase transition occurs at the left endpoint of the support: depending on the parameter, the density either decays to $0$ or blows up to $+\infty$. Moreover, this phase transition coincides with the transition in the number of atoms of the QW-Poisson distribution, equivalently, in the point spectrum of the QW-Poisson operator, and with whether $0$ belongs to the spectrum of the QW-Poisson operator. We then compute the moment-generating function and several statistical quantities of the QW-Poisson operator. We also obtain a limit theorem for the Konno distribution through a Poisson approximation. Finally, we study a connection between the interacting Fock space associated with a discrete-time quantum walk and noncommutative probability theory.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references

[1]

Ambainis, E

A. Ambainis, E. Bach, A. Nayak, A. Vishwanath, and J. Watrous. One- dimensional quantum walks. In Proceedings of the thirty-third annual ACM symposium on Theory of computing , pages 37–49, 2001

2001
[2]

Anshelevich

M. Anshelevich. Free martingale polynomials. Journal of Functional Analysis , 201(1):228–261, 2003

2003
[3]

A. Arai. Analysis on Fock spaces and mathematical theory of quantum ﬁ elds: An introduction to mathematical analysis of quantum ﬁelds . World Scientiﬁc, 2018

2018
[4]

Arizmendi and T

O. Arizmendi and T. Hasebe. Classical and free inﬁnite divisibility fo r boolean stable laws. Proceedings of the American Mathematical Society , 142(5):1621– 1632, 2014

2014
[5]

Arizmendi and T

O. Arizmendi and T. Hasebe. Classical scale mixtures of boolean s table laws. Transactions of the American Mathematical Society , 368(7):4873–4905, 2016. 38

2016
[6]

Arratia, L

R. Arratia, L. Goldstein, and F. Kochman. Size bias for one and all. Probability Surveys, 16:1–61, 2019

2019
[7]

Bercovici, V

H. Bercovici, V. Pata, and P. Biane. Stable laws and domains of att raction in free probability theory. Annals of Mathematics , pages 1023–1060, 1999

1999
[8]

Bercovici and D

H. Bercovici and D. Voiculescu. Free convolution of measures wit h unbounded support. Indiana Univ. Math. J. , 42(3):733–773, 1993

1993

Show all 26 references

[9]

Bo˙ zejko and W

M. Bo˙ zejko and W. Bryc. On a class of free l´ evy laws related to a regression problem. Journal of Functional Analysis , 236(1):59–77, 2006

2006
[10]

Hamada, N

M. Hamada, N. Konno, and W. M/suppress lotkowski. Orthogonal polynomials induced by discrete-time quantum walks in one dimension.Interdisciplinary Information Sciences, 15(3):367–375, 2009

2009
[11]

Hasebe, K

T. Hasebe, K. Noba, N. Sakuma, and Y. Ueda. On boolean selfde composable distributions. Studia Mathematica, 274(2):129–151, 2024

2024
[12]

Hasebe, N

T. Hasebe, N. Sakuma, S. Thorbjørnsen, et al. The normal dis tribution is freely self-decomposable. International Mathematics Research Notices , 2019(6):1758– 1787, 2019

2019
[13]

Hasebe and S

T. Hasebe and S. Thorbjørnsen. Unimodality of the freely selfd ecomposable probability laws. Journal of theoretical probability , 29(3):922–940, 2016

2016
[14]

S. Ken-Iti. L´ evy processes and inﬁnitely divisible distributions, volume 68. Cam- bridge university press, 1999

1999
[15]

N. Konno. Quantum random walks in one dimension. Quantum Information Processing, 1(5):345–354, 2002

2002
[16]

N. Konno. A new type of limit theorems for the one-dimensional q uantum random walk. Journal of the Mathematical Society of Japan , 57(4):1179–1195, 2005

2005
[17]

Konno, N

N. Konno, N. Obata, and E. Segawa. Localization of the grover walks on spidernets and free meixner laws. Communications in Mathematical Physics , 322(3):667–695, 2013

2013
[18]

Matsuzawa, A

Y. Matsuzawa, A. Suzuki, Y. Tanaka, N. Teranishi, and K. Wada . The witten index for one-dimensional split-step quantum walks under the non- fredholm condition. Reviews in Mathematical Physics , 35(06):2350010, 2023

2023
[19]

J. A. Mingo and R. Speicher. Free probability and random matrices, volume 35. Springer, 2017

2017
[20]

Nica and R

A. Nica and R. Speicher. Lectures on the combinatorics of free probability , volume 13. Cambridge University Press, 2006

2006
[21]

N. Obata. Spectral analysis of growing graphs , volume 20. SpringerBriefs Math. Phys., 2017. 39

2017
[22]

Saitoh and H

N. Saitoh and H. Yoshida. The inﬁnite divisibility and orthogonal po lynomials with a constant recursion formula in free probability theory. Probability and Mathematical Statistics, 21(1):159–170, 2001

2001
[23]

Schm¨ udgen

K. Schm¨ udgen. Unbounded self-adjoint operators on Hilbert space . Springer Science & Business Media, 2012

2012
[24]

Speicher and R

R. Speicher and R. Woroudi. Boolean convolution. In Free probability theory (Waterloo, ON, 1995) , volume 12 of Fields Inst. Commun. , pages 267–279. Amer. Math. Soc., Providence, RI, 1997

1995
[25]

A. Suzuki. Asymptotic velocity of a position-dependent quantu m walk. Quan- tum Information Processing , 15(1):103–119, 2016

2016
[26]

D. V. Voiculescu, K. J. Dykema, and A. Nica. Free random variables, volume 1. American Mathematical Soc., 1992. Author Information Daiju Funakawa Department of Electronics and Information Engineering, Hokkai-Gakuen Uni- versity, Sapporo, Hokkaido 062-8605, Japan. E-mail: funak...

1992

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.

[1] [1]

Ambainis, E

A. Ambainis, E. Bach, A. Nayak, A. Vishwanath, and J. Watrous. One- dimensional quantum walks. In Proceedings of the thirty-third annual ACM symposium on Theory of computing , pages 37–49, 2001

2001

[2] [2]

Anshelevich

M. Anshelevich. Free martingale polynomials. Journal of Functional Analysis , 201(1):228–261, 2003

2003

[3] [3]

A. Arai. Analysis on Fock spaces and mathematical theory of quantum ﬁ elds: An introduction to mathematical analysis of quantum ﬁelds . World Scientiﬁc, 2018

2018

[4] [4]

Arizmendi and T

O. Arizmendi and T. Hasebe. Classical and free inﬁnite divisibility fo r boolean stable laws. Proceedings of the American Mathematical Society , 142(5):1621– 1632, 2014

2014

[5] [5]

Arizmendi and T

O. Arizmendi and T. Hasebe. Classical scale mixtures of boolean s table laws. Transactions of the American Mathematical Society , 368(7):4873–4905, 2016. 38

2016

[6] [6]

Arratia, L

R. Arratia, L. Goldstein, and F. Kochman. Size bias for one and all. Probability Surveys, 16:1–61, 2019

2019

[7] [7]

Bercovici, V

H. Bercovici, V. Pata, and P. Biane. Stable laws and domains of att raction in free probability theory. Annals of Mathematics , pages 1023–1060, 1999

1999

[8] [8]

Bercovici and D

H. Bercovici and D. Voiculescu. Free convolution of measures wit h unbounded support. Indiana Univ. Math. J. , 42(3):733–773, 1993

1993