pith. sign in

arxiv: 2602.03192 · v2 · pith:LK3A5FKRnew · submitted 2026-02-03 · 🧮 math-ph · math.MP· math.SP

Resonant scattering for tunable quantum walks on graphs with tails

Kenta Higuchi , Ryuta Ishikawa , Hisashi Morioka , Etsuo Segawa , Eijirou Yoshimura This is my paper

Pith reviewed 2026-05-16 08:07 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.SP
keywords quantum walksresonant scatteringgraphs with tailsperturbation theoryscattering matrixKato theorydiscrete-time dynamics
0
0 comments X

The pith

Resonant scattering in quantum walks on graphs with tails arises from eigenvalue perturbations of a finite matrix on the internal graph.

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

The paper examines discrete-time quantum walks on infinite graphs consisting of a finite internal section connected to infinite tails. Resonances are reduced to the perturbation of eigenvalues belonging to a finite-rank matrix that encodes only the internal graph. Kato's perturbation theory is then applied after reducing generalized eigenspaces, producing an explicit asymptotic expansion of the scattering matrix near those energies. This establishes that resonant scattering occurs precisely at the perturbed resonant energies. The reduction replaces the original infinite-dimensional problem with a finite-matrix calculation that a reader can use to predict scattering behavior.

Core claim

We reduce the study of resonances to the perturbation of eigenvalues of a finite rank matrix associated with the internal graph. Then we can apply Kato's perturbation theory of matrices, and the reduction process of generalized eigenspaces allows us to derive an explicit asymptotic expansion of the scattering matrix. As a consequence, we obtain the resonant scattering at resonant energies.

What carries the argument

Reduction of resonances to eigenvalue perturbations of a finite-rank matrix for the internal graph, followed by Kato's perturbation theory and generalized eigenspace reduction to obtain the scattering-matrix expansion.

If this is right

  • The scattering matrix admits an explicit asymptotic expansion near resonant energies.
  • Resonant scattering occurs exactly at the perturbed resonant energies identified by the finite-matrix calculation.
  • Analysis of scattering on the infinite graph reduces to standard perturbation theory on a finite matrix.
  • Choice of the internal graph determines the locations and strengths of observable resonances in the walk.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method opens a route to designing quantum-walk devices whose transmission or reflection can be tuned by adjusting only the finite internal section.
  • Similar reductions may apply to other discrete scattering problems on graphs or lattices where the scattering region is finite.
  • Higher-order terms in the Kato expansion could be computed to quantify the width and lifetime of each resonance.

Load-bearing premise

That resonances on the infinite graph with tails can be fully captured by eigenvalue perturbations of the finite-rank matrix for the internal graph while preserving the structure required for Kato's theory.

What would settle it

Numerical computation of the scattering matrix for a concrete small internal graph with tails, evaluated at energies near a resonance, to check whether the values match the predicted asymptotic expansion obtained from the finite-matrix perturbation.

Figures

Figures reproduced from arXiv: 2602.03192 by Eijirou Yoshimura, Etsuo Segawa, Hisashi Morioka, Kenta Higuchi, Ryuta Ishikawa.

Figure 1
Figure 1. Figure 1: The generalized eigenfunction to −ψ ′′ + V ψ = λψ, λ > 0, with the double barrier potential satisfies the asymptotic behavior ψ(x) ∼ e i √ λx + ρ(λ)e −i √ λx as x → −∞ and ψ(x) ∼ τ (λ)e i √ λx as x → ∞. It is well-known that |ρ(λ)| 2 +|τ (λ)| 2 = 1. Even though λ < supx V (x), the reflected wave vanishes for some λ. A similar phenomenon is also known for the potential V ∈ C∞(R3 ) of the shape resonance mod… view at source ↗
Figure 2
Figure 2. Figure 2: An example of Γ = (V, A) with four tails. The internal graph acts as a perturbation. The closed paths of the internal graph are analogues of the bounded classical trajectories for the Schr¨odinger operators. Note that some tails can have a common boundary vertex. In this case, we have v2,0 = v4,0. For every vertex v ∈ V , we define the subsets A♭ v and A ♯ v by A ♭ v = {a ∈ A ; t(a) = v}, A♯ v = {a ∈ A ; o… view at source ↗
Figure 3
Figure 3. Figure 3: The initial state φ0 has its support only on incoming edges of tails [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: In view of the scattering theory, we consider a solution ψ ∈ ℓ∞(A) to Uψ = e −iλψ such that ψ satisfies the situation of this figure. α ♭ is the vector of complex intensities of incoming waves, and α ♯ (λ) is that of outgoing waves [PITH_FULL_IMAGE:figures/full_fig_p014_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Left: C4, the cycle with four vertices. / Right: K4, the complete graph with four vertices. for sufficiently small ϵ > 0. In view of (5.17), we also have (µe−iπγη(1)ϵ − µϵ) s+1 =  − π 2 ϵ 2 2  µ(γη(1)) 2 + γµη(1) − 2µ (2) + o(ϵ 2 ) s+1 =  − π 2 ϵ 2 2  µ(γη(1)) 2 + γµη(1) − 2µ (2)s+1 + o(ϵ 2s+2). Then it follows from Uϵ = U0 − iπϵU(1) 0 + o(ϵ) that Uϵχ ∗ intP (2) κ,µ(2) (Eϵ − µϵ) sP (2) κ,µ(2)χintUϵ… view at source ↗
Figure 6
Figure 6. Figure 6: C4 with three tails (Left / Middle). Suppose that the inflow has its support only on the tail connected to the vertex v0. There are two types (Left / Middle) in view of symmetry. Note that σp(Eϵ) for every case coincides with each other. C4 with four tails has a stronger symmetry (Right). For K4, we also consider the similar situations [PITH_FULL_IMAGE:figures/full_fig_p029_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Resonances for C4 and K4 with three tails, ϵ = 0.25. There exist birth eigenvalues ±1. In this case, letting u = [u(a0), u(a1), u(a2), u(a3), u(a0), u(a1), u(a2), u(a3)]T ∈ CAint, we have E0u =  Q4 0 0 Q∗ 4  u, Q4 =     0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0     . Therefore, we can see σp(E0) = {±1, ±i} and every eigenvalue has the geometric multiplicity 2. The eigenspaces are given as follows: Ker(E0 ∓… view at source ↗
Figure 8
Figure 8. Figure 8: Left: Total transmission for C4 with three tails, ϵ = 0.25 (Left of [PITH_FULL_IMAGE:figures/full_fig_p030_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Left: Total transmission for K4 with three tails, ϵ = 0.25 (Left of [PITH_FULL_IMAGE:figures/full_fig_p030_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Resonances for C4 and K4 with four tails, ϵ = 0.25. There exist birth eigenvalues ±1 and degenerate resonanes. Recalling the definition of Γ in §2, let us introduce the identification vj−1 = vj,0. Namely, the tail connected to the vertex vj−1 is identified the j-th tail Γt,j [PITH_FULL_IMAGE:figures/full_fig_p030_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Let µ ∈ σp(A). We have the disjoint union σp(Aκ, µ) = ⊔ µ(1)∈σp(Ae(1) µ |R(µ) ) σp(Aκ, µ, µ(1)) [PITH_FULL_IMAGE:figures/full_fig_p034_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: The second order reduction process gives a decomposition of the subspace Ran(Pκ,µ) of λκ ∈ σp(Aκ, µ) into some subspaces Ran(P (2) κ,µ(2) ). Since P (2) κ,µ(2) converges to P (2) µ(2) , the subspace Ker(A − µ) can be decomposed into the disjoint union of Ran(P (2) µ(2) ). In order to consider the second order reduction process, we assume that Ae(1) µ = PµA(1)Pµ is also semi-simple. Let Ae(2) µ(1) = P (1) … view at source ↗
read the original abstract

We study the resonant scattering for discrete time quantum walks on graphs with some tails. In our arguments, we reduce the study of resonances to the perturbation of eigenvalues of a finite rank matrix associated with the internal graph. Then we can apply Kato's perturbation theory of matrices, and the reduction process of generalized eigenspaces allows us to derive an explicit asymptotic expansion of the scattering matrix. As a consequence, we obtain the resonant scattering at resonant energies.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that resonances in discrete-time quantum walks on graphs with tails can be reduced to eigenvalue perturbations of a finite-rank matrix associated with the internal graph. Applying Kato's perturbation theory together with a reduction of generalized eigenspaces then yields an explicit asymptotic expansion of the scattering matrix, from which resonant scattering at resonant energies follows.

Significance. If the central reduction is rigorously justified, the work supplies a systematic route from infinite-graph scattering to finite-dimensional perturbation expansions, which is potentially useful for analyzing resonances in quantum walks with leads. The explicit use of Kato's theory for an asymptotic expansion of the scattering matrix is a clear methodological strength when the spectral isolation conditions are verified.

major comments (2)
  1. [Reduction step (abstract and main derivation)] The reduction of the infinite-graph resonance problem to a finite-rank matrix on the internal graph (central claim in the abstract) requires an explicit spectral-gap or isolation condition ensuring that the continuous spectrum supported on the tails does not interfere with the relevant eigenvalues. Without such a condition stated and verified, the generalized eigenspace reduction may not preserve the analyticity needed for Kato's expansion.
  2. [Kato perturbation application] The application of Kato's perturbation theory to the reduced matrix yields the asymptotic expansion of the scattering matrix, but the manuscript does not provide error bounds or verification that the perturbation remains compact relative to the tail contributions; this directly affects the validity of the resonant-scattering conclusion.
minor comments (2)
  1. [Introduction and setup] Notation for the internal graph, tails, and the finite-rank matrix should be introduced with a clear diagram or table early in the text to aid readability.
  2. [Abstract] The abstract could briefly indicate the graph assumptions (e.g., finite internal part, infinite tails) under which the reduction holds.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major point below and will revise the paper accordingly to strengthen the presentation and rigor.

read point-by-point responses

  1. Referee: The reduction of the infinite-graph resonance problem to a finite-rank matrix on the internal graph (central claim in the abstract) requires an explicit spectral-gap or isolation condition ensuring that the continuous spectrum supported on the tails does not interfere with the relevant eigenvalues. Without such a condition stated and verified, the generalized eigenspace reduction may not preserve the analyticity needed for Kato's expansion.

    Authors: We agree that an explicit spectral isolation condition should be stated for full rigor. In the manuscript the internal graph is finite while the tails are semi-infinite; the continuous spectrum of the free walk on the tails lies on the unit circle and is separated from the resonant energies by the dispersion relation of the quantum walk. The reduction proceeds by solving the eigenvalue equation explicitly on the tails and matching boundary conditions, which isolates the relevant generalized eigenspace from the continuous spectrum. In the revision we will add a precise statement of this gap condition in Section 2 together with a short proof that the reduced finite-rank operator inherits the required analyticity in the perturbation parameter, thereby justifying the application of Kato's theory. revision: yes

  2. Referee: The application of Kato's perturbation theory to the reduced matrix yields the asymptotic expansion of the scattering matrix, but the manuscript does not provide error bounds or verification that the perturbation remains compact relative to the tail contributions; this directly affects the validity of the resonant-scattering conclusion.

    Authors: Kato's perturbation theory supplies the asymptotic expansion together with explicit remainder estimates of order O(ε^{k+1}) once the eigenvalue is isolated. Because the reduced operator acts on a finite-dimensional space, the perturbation is bounded and hence compact; the tail contributions are removed exactly by the boundary-matching reduction and do not re-enter the finite-rank matrix. In the revised manuscript we will insert the standard Kato remainder bounds into the statement of the scattering-matrix expansion and add a brief remark confirming relative compactness of the perturbation with respect to the unperturbed internal operator. These additions will make the resonant-scattering conclusion fully rigorous. revision: yes

Circularity Check

0 steps flagged

No circularity: reduction to Kato perturbation on finite-rank matrix is externally grounded

full rationale

The paper claims to reduce resonances of the infinite-graph quantum walk to eigenvalue perturbations of a finite-rank matrix on the internal graph, then invokes Kato's perturbation theory plus generalized eigenspace reduction to derive an explicit asymptotic expansion of the scattering matrix. This chain relies on standard external mathematical tools (Kato's theory) applied after a reduction step whose validity is asserted via spectral arguments on the graph structure; no equation or claim reduces the target expansion or resonant scattering result to a fitted parameter, self-definition, or self-citation chain. The derivation is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests primarily on the applicability of Kato's perturbation theory to the reduced finite-rank matrix and the validity of the resonance reduction process for graphs with tails; no free parameters or invented entities are apparent from the abstract.

axioms (2)
  • standard math Kato's perturbation theory of matrices applies directly to the eigenvalues and generalized eigenspaces of the finite-rank matrix obtained from the internal graph.
    Invoked explicitly in the reduction process described in the abstract.
  • domain assumption The infinite graph with tails allows a clean reduction of the scattering problem to a finite-dimensional perturbation problem.
    Underlying the entire reduction step for graphs with tails.

pith-pipeline@v0.9.0 · 5377 in / 1560 out tokens · 31878 ms · 2026-05-16T08:07:35.189876+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Aguilar and J

    J. Aguilar and J. M. Combes,A class of analytic perturbations for one-body Schr¨ odinger Hamiltonians, Commun. Math. Phys.,22(1971), 269-279

    work page 1971

  2. [2]

    Benbernou-Lahmar,Estimation des r´ esidus de la matrice de diffusion associ´ es ` a des r´ esonances de forme I, Ann

    A. Benbernou-Lahmar,Estimation des r´ esidus de la matrice de diffusion associ´ es ` a des r´ esonances de forme I, Ann. Inst. H. Poincar´ e,71(1999), 303-338

    work page 1999

  3. [3]

    Quantum Theory

    D. Bohm, “Quantum Theory”, Dover Books on Physics Series, Dover Publications, 1951

    work page 1951

  4. [4]

    L. L. Chang, L. Esaki and R. Tsu,Resonant tunneling in semiconductor double barriers, Applied Physics Letters,24(1974), 593-595

    work page 1974

  5. [5]

    J. M. Combes, P. Duclos, M. Klein and R. Seiler,The shape resonance, Commun. Math. Phys.,110(1987), 215-236

    work page 1987

  6. [6]

    Mathematical Theory of Scattering Resonances

    S. Dyatlov and M. Zworski, “Mathematical Theory of Scattering Resonances”, Graduate Studies in Mathe- matics 200, AMS, 2019

    work page 2019

  7. [7]

    Quantum walks on graphs and quantum scattering theory

    E. Feldman and M. Hillery, “Quantum walks on graphs and quantum scattering theory”, in Coding theory and quantum computing, volume 381 of Contemp. Math., pp. 71-95, Amer. Math. Soc., Providence, RI, 2005

    work page 2005

  8. [8]

    G´ erard and A

    C. G´ erard and A. Matrinez,Prolongement m´ eromorphe de la matrice de scattering pour des probl´ emes ` a deux corps ` a longue port´ ee, Ann. Inst. H. Poincar´ e,51(1989), 81-101

    work page 1989

  9. [9]

    Higuchi,Resonant tunneling effect for quantum walks on directed graphs, preprint

    K. Higuchi,Resonant tunneling effect for quantum walks on directed graphs, preprint. arXiv:2504.15584

    work page arXiv

  10. [10]

    Higuchi and H

    K. Higuchi and H. Morioka,Complex translation methods and its application to resonances for quantum walks, Rev. Math. Phys.,36(2024), 2450018

    work page 2024

  11. [11]

    Higuchi, H

    K. Higuchi, H. Morioka and E. Segawa,Resonance expansion for quantum walks and its applications to the long-time behavior, J. Spectr. Theory,14(2024), 207-244

    work page 2024

  12. [12]

    Higuch, N

    Yu. Higuch, N. Konno, I. Sato and E. Segawa,Spectral and asymptotic properties of Grover walks on crystal lattices, J. Funct. Anal.,267(2014), 4197-4235

    work page 2014

  13. [13]

    Higuchi and E

    Yu. Higuchi and E. Segawa,A dynamical system induced by quantum walk, J. Phys. A,52(2019), 395202. RESONANT SCATTERING FOR TUNABLE QWS ON GRAPHS WITH TAILS 37

    work page 2019

  14. [14]

    Higuchi and E

    Yu. Higuchi and E. Segawa,Circuit equation of Grover walk, Ann. Henri Poincar´ e,25(2024), 3739-3777

    work page 2024

  15. [15]

    Hunziker,Distortion analyticity and molecular resonance curves, Ann

    W. Hunziker,Distortion analyticity and molecular resonance curves, Ann. Inst. H. Poincar´ e,45(1986), 339-358

    work page 1986

  16. [16]

    Perturbation Theory for Linear Operators

    T. Kato, “Perturbation Theory for Linear Operators”, 2nd edition, Springer-Verlag, Berlin, Heidelberg, New-York, 1980

    work page 1980

  17. [17]

    A short introduction to perturbation theory for linear operators

    T. Kato, “A short introduction to perturbation theory for linear operators”, Springer-Verlag, New York- Berlin, 1982

    work page 1982

  18. [18]

    Kato and S

    T. Kato and S. T. Kuroda,Theory of simple scattering and eigenfunction expansions, Functional Analysis and Related Fields (Proc. Conf. for M. Stone, Univ. Chicago, Chicago, III., 1968) pp. 99-131, Springer, New York, 1970

    work page 1968

  19. [19]

    Klein,On the absence of resonances for Schr¨ odinger operators with non-trapping potentials in the classical limit, Commun

    M. Klein,On the absence of resonances for Schr¨ odinger operators with non-trapping potentials in the classical limit, Commun. Math. Phys.,106(1986), 485-494

    work page 1986

  20. [20]

    Komatsu, N

    T. Komatsu, N. Konno, H. Morioka and E. Segawa,Generalized eigenfunctions for quantum walks via path counting approach, Rev. Math. Phys.,33(2021), 2150019

    work page 2021

  21. [21]

    Komatsu, N

    T. Komatsu, N. Konno, H. Morioka and E. Segawa,Asymptotic properties of generalized eigenfunctions for multi-dimensional quantum walks, Ann. Henri Poincar´ e,23(2022), 1693-1724

    work page 2022

  22. [22]

    Matsue, O

    K. Matsue, O. Ogurisu and E. Segawa,A note on the spectral mapping theorem of quantum walk models, Interdisciplinary Inf. Sci.,23(2017), 105-114

    work page 2017

  23. [23]

    Matsue, L

    K. Matsue, L. Matsuoka, O. Ogurisu and E. Segawa,Resonant-tunneling in discrete-time quantum walk, Quantum Stud. Math. Found.,6(2019), 35-44

    work page 2019

  24. [24]

    Morioka,Generalized eigenfunctions and scattering matrices for position-dependent quantum walks, Rev

    H. Morioka,Generalized eigenfunctions and scattering matrices for position-dependent quantum walks, Rev. Math. Phys.,31(2019), 1950019

    work page 2019

  25. [25]

    Nakamura,Scattering theory for the shape resonance model I

    S. Nakamura,Scattering theory for the shape resonance model I. Non-resonant energies, Ann. Inst. H. Poincar´ e,50(1989), 115-131

    work page 1989

  26. [26]

    Nakamura,Scattering theory for the shape resonance model II

    S. Nakamura,Scattering theory for the shape resonance model II. Resonance scattering, Ann. Inst. H. Poincar´ e,50(1989), 133-142

    work page 1989

  27. [27]

    Richard, A

    S. Richard, A. Suzuki and R. Tiedra de Aldecoa,Quantum walks with an anisotropic coin I: Spectral theory, Lett. Math. Phys.,108(2018) 331-357

    work page 2018

  28. [28]

    Richard, A

    S. Richard, A. Suzuki, and R. Tiedra de Aldecoa,Quantum walks with an anisotropic coin II: scattering theory, Lett. Math. Phys.,109(2019), 61-88

    work page 2019

  29. [29]

    Segawa and A

    E. Segawa and A. Suzuki,Spectral mapping theorem of an abstract quantum walk, Quantum Inf. Procesing, 18(2019), 333

    work page 2019

  30. [30]

    Simon,Resonances and complex scaling : a rigorous overview, J

    B. Simon,Resonances and complex scaling : a rigorous overview, J. Quant. Chem.,14(1978), 529-542

    work page 1978

  31. [31]

    Suzuki,Asymptotic velocity of a position-dependent quantum walk, Quantum Inf

    A. Suzuki,Asymptotic velocity of a position-dependent quantum walk, Quantum Inf. Process.,15(2016), 103-119

    work page 2016

  32. [32]

    Tiedra de Aldecoa,Stationary scattering for unitary operators with an application to quantum walks, J

    R. Tiedra de Aldecoa,Stationary scattering for unitary operators with an application to quantum walks, J. Funct. Anal.,279(2020), 108704. 38 K. HIGUCHI, R. ISHIKAWA, H. MORIOKA, E. SEGAWA, AND E. YOSHIMURA (K. Higuchi)F aculty of Education, Gifu University, Yanagido 1-1, Gifu, 501-1193, Japan Email address:higuchi.kenta.b7@gifu-u.ac.jp (R. Ishikawa)ABeam ...

    work page 2020