pith. sign in

arxiv: 2111.15131 · v3 · submitted 2021-11-30 · 🧮 math-ph · math.MP· quant-ph

Localization in quantum walks with periodically arranged coin matrices

Chusei Kiumi This is my paper

Pith reviewed 2026-05-24 12:19 UTC · model grok-4.3

classification 🧮 math-ph math.MPquant-ph
keywords quantum walkslocalizationtransfer matricesperiodic coin matriceseigenvalue analysistime-averaged limit distributionspace-inhomogeneous models
0
0 comments X

The pith

The transfer matrix method for quantum walk eigenvalues extends to models with periodically arranged coin matrices.

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

The paper shows that a transfer matrix technique previously limited to space-inhomogeneous quantum walks with constant coins far left and right can be applied when the coin matrices repeat periodically. Localization is detected through the existence of eigenvalues of the time evolution operator. The same analysis also yields the time-averaged limit distribution for these extended models. A sympathetic reader would care because localization governs whether quantum walks remain useful for applications that rely on confined probability mass.

Core claim

The transfer matrix approach to the eigenvalue problem for the time evolution operator generalizes directly to quantum walks whose coin matrices are arranged periodically, allowing both the detection of eigenvalues that signal localization and the explicit derivation of the associated time-averaged limit distributions.

What carries the argument

The generalized transfer matrix constructed over one period of the repeating coin matrices, which encodes the condition for eigenvalues of the full time evolution operator.

If this is right

  • Eigenvalue conditions for localization become computable for any periodic sequence of coin matrices.
  • Time-averaged limit distributions follow from the same spectral data in the periodic setting.
  • The method applies uniformly across all periods and all admissible coin matrices without additional constraints.

Where Pith is reading between the lines

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

  • The same transfer-matrix construction may apply to quasi-periodic or almost-periodic coin arrangements.
  • Numerical checks of the predicted eigenvalues against direct diagonalization of finite-period truncations would test the extension.
  • Physical realizations with engineered periodic coin operators could be used to observe the derived localization lengths.

Load-bearing premise

The transfer matrix construction for constant coins far left and right carries over to the periodic case without extra restrictions on period length or matrix entries.

What would settle it

An explicit counter-example in which the product of transfer matrices over one period fails to produce the eigenvalues predicted by the generalized method would disprove the claimed extension.

Figures

Figures reproduced from arXiv: 2111.15131 by Chusei Kiumi.

Figure 1
Figure 1. Figure 1: The example of Proposition 3.2 with parameters ∆1 = π 2 , ∆2 = − π 2 , α0 = 1, α1 = α2 = β2 = √ 1 2 , β1 = √ i 2 . (a) illustrates the eigenvalues of the time evolution operator. (b) shows the probability distribution at time t = 70 (gray line) and the time￾averaged limit distribution calculated from (3) (bold black line). Here, the initial state is given as Ψ0(0) = [ √ 1 2 , √ 1 2 ] T and Ψ0(x) = 0 for x … view at source ↗
Figure 2
Figure 2. Figure 2: The example of Proposition 3.3 with parameters ∆0 = π 2 , ∆1 = − π 2 , βm = √ 1 2 e π 4 i , αp,0 = αm,0 = βp = √ 1 2 , αp,1 = αm,1 = 1. (a) illustrates the eigenvalues of the time evolution operator. (b) shows the probability distribution at time t = 70 (gray line) and the time-averaged limit distribution calculated from (3) (bold black line). Here, the initial state is given as Ψ0(0) = [ √ 1 2 , √ 1 2 ] T… view at source ↗
Figure 3
Figure 3. Figure 3: The example of Proposition 3.4 with parameters ∆0 = π 2 , ∆1 = − π 2 , βm = √ 1 2 e π 4 i , βp = √ 1 2 . (a) illustrates the eigenvalues of the time evolution operator. (b) shows the probability distribution at time t = 70 (gray line) and the time-averaged limit distribution calculated from (3) (bold black line). Here, the initial state is given as Ψ0(0) = [ √ 1 2 , √ 1 2 ] T and Ψ0(x) = 0 for x 6= 0. on t… view at source ↗
read the original abstract

There is a property called localization, which is essential for applications of quantum walks. From a mathematical point of view, the occurrence of localization is known to be equivalent to the existence of eigenvalues of the time evolution operators, which are defined by coin matrices. A previous study proposed an approach to the eigenvalue problem for space-inhomogeneous models using transfer matrices. However, the approach was restricted to models whose coin matrices are the same in positions sufficiently far to the left and right, respectively. This study shows that the method can be applied to extended models with periodically arranged coin matrices. Moreover, we investigate localization by performing the eigenvalue analysis and deriving their time-averaged limit distribution.

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

1 major / 1 minor

Summary. The paper claims that the transfer-matrix method for solving the eigenvalue problem of the time-evolution operator in space-inhomogeneous quantum walks (previously restricted to constant coins far left and right) extends directly to the case of periodically arranged coin matrices. It constructs a composite transfer matrix over one full period, derives an eigenvalue condition from its trace and determinant, performs the corresponding eigenvalue analysis, and obtains the time-averaged limit distribution from the resulting spectral measure to study localization.

Significance. If the extension is valid without additional restrictions on period length or coin entries (beyond unitarity), the work enlarges the class of quantum-walk models amenable to explicit localization analysis. The derivation of the time-averaged limit distribution supplies a concrete, computable object for the periodic setting and strengthens the practical utility of the method.

major comments (1)
  1. [Transfer-matrix construction and eigenvalue analysis sections] The central claim that the eigenvalue condition for the composite transfer matrix remains equivalent to localization (i.e., existence of eigenvalues of the infinite-line time-evolution operator) is load-bearing. The manuscript must supply an explicit verification or derivation showing that the periodicity does not introduce extra constraints (such as Bloch-phase conditions or modified boundary behavior at infinity) that would invalidate the equivalence used in the constant-coin case.
minor comments (1)
  1. [Method] Notation for the composite transfer matrix (e.g., its explicit block form or the period length N) should be introduced with a clear equation number and contrasted with the single-step matrix of the earlier constant-coin work.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We address the major comment below.

read point-by-point responses

  1. Referee: [Transfer-matrix construction and eigenvalue analysis sections] The central claim that the eigenvalue condition for the composite transfer matrix remains equivalent to localization (i.e., existence of eigenvalues of the infinite-line time-evolution operator) is load-bearing. The manuscript must supply an explicit verification or derivation showing that the periodicity does not introduce extra constraints (such as Bloch-phase conditions or modified boundary behavior at infinity) that would invalidate the equivalence used in the constant-coin case.

    Authors: We agree that an explicit verification of the equivalence is required. In the revised manuscript we will insert a dedicated paragraph in the eigenvalue analysis section deriving that the spectral condition on the composite transfer matrix (trace and determinant) is equivalent to the existence of an l2 eigenvector for the infinite-line operator. The argument proceeds by constructing the general solution via the composite matrix on each period and showing that the decay condition at both ±∞ is identical to the constant-coin case; no additional Bloch-phase quantization appears because we seek point spectrum rather than the absolutely continuous spectrum of the periodic operator. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is a direct constructive extension

full rationale

The manuscript extends the transfer-matrix eigenvalue analysis from the constant-coin case to periodic coin sequences by explicitly forming the composite transfer matrix over one full period, extracting the eigenvalue condition from its trace and determinant, and obtaining the time-averaged limit distribution from the resulting spectral measure. These steps follow from the definition of the unitary time-evolution operator and the standard properties of transfer matrices; no parameter is fitted to data and then re-labeled as a prediction, no quantity is defined in terms of itself, and the central claims do not reduce to a self-citation chain. The prior restriction to asymptotically constant coins is removed by the period-composition construction itself, which is externally verifiable and does not presuppose the target localization results.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new entities; all such elements are unknown.

pith-pipeline@v0.9.0 · 5629 in / 1107 out tokens · 33808 ms · 2026-05-24T12:19:52.640369+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

30 extracted references · 30 canonical work pages

  1. [1]

    One-dimensional quantum walks

    A. Ambainis et al. “One-dimensional quantum walks”. Proceedings of the thirty- third annual ACM symposium on Theory of computing . Association for Computing Machinery, 2001, pp. 37–49

    work page 2001

  2. [2]

    Quantum Random Walks in One Dimension

    N. Konno. “Quantum Random Walks in One Dimension”. Quantum Inf. Process. 1.5 (2002), pp. 345–354. 13

    work page 2002

  3. [3]

    Spatial search by quantum walk

    A. M. Childs and J. Goldstone. “Spatial search by quantum walk”. Phys. Rev. A 70.2 (2004), p. 022314

    work page 2004

  4. [4]

    Universal computation by quantum walk

    A. M. Childs. “Universal computation by quantum walk”. Phys. Rev. Lett. 102.18 (2009), p. 180501

    work page 2009

  5. [5]

    Universal quantum computation using the dis crete-time quan- tum walk

    N. B. Lovett et al. “Universal quantum computation using the dis crete-time quan- tum walk”. Phys. Rev. A 81.4 (2010), p. 042330

    work page 2010

  6. [6]

    Universal computation by multiparticle quantum walk

    A. M. Childs, D. Gosset, and Z. Webb. “Universal computation by multiparticle quantum walk”. Science 339.6121 (2013), pp. 791–794

    work page 2013

  7. [7]

    P. R. N. Falc˜ ao et al. Universal dynamical scaling laws in three-state quantum wa lks. quant-ph/2108.10275

    work page arXiv

  8. [8]

    Limit theorems of a 3-state quantum walk and its app lication for discrete uniform measures

    T. Machida. “Limit theorems of a 3-state quantum walk and its app lication for discrete uniform measures”. Quantum Inf. Comput. 15.5&6 (2015), pp. 406–418

    work page 2015

  9. [9]

    The CGMV method for quantum walks

    M. J. Cantero et al. “The CGMV method for quantum walks”. Quantum Inf. Pro- cess. 11.5 (2012), pp. 1149–1192

    work page 2012

  10. [10]

    Eigenvalues of Two-State Quantum Walks Induce d by the Hadamard Walk

    S. Endo et al. “Eigenvalues of Two-State Quantum Walks Induce d by the Hadamard Walk”. Entropy 22.1 (2020), p. 127

    work page 2020

  11. [11]

    Localization of multi-state quantum walk in one dimension

    N. Inui and N. Konno. “Localization of multi-state quantum walk in one dimension”. Phys. A: Stat. Mech. Appl. 353 (2005), pp. 133–144

    work page 2005

  12. [12]

    Generator of an abstract quantum walk

    E. Segawa and A. Suzuki. “Generator of an abstract quantum walk”. Quantum Stud.: Math. Found. 3.1 (2016), pp. 11–30

    work page 2016

  13. [13]

    Trapping a particle of a quantum walk on the line

    A. W´ ojcik et al. “Trapping a particle of a quantum walk on the line” . Phys. Rev. A 85.1 (2012), p. 012329

    work page 2012

  14. [14]

    Kiumi and K

    C. Kiumi and K. Saito. Strongly trapped space-inhomogeneous quantum walks in one dimension. math-ph/2105.10962

    work page arXiv

  15. [15]

    Eigenvalues of two-phase quantum walks with one defect in one dimension

    C. Kiumi and K. Saito. “Eigenvalues of two-phase quantum walks with one defect in one dimension”. Quantum Inf. Process. 20.5 (2021), p. 171

    work page 2021

  16. [16]

    Quantum random-walk s earch algorithm

    N. Shenvi, J. Kempe, and K. B. Whaley. “Quantum random-walk s earch algorithm”. Phys. Rev. A 67.5 (2003), p. 052307

    work page 2003

  17. [17]

    Coins make quantum walks faster

    A. Ambainis, J. Kempe, and A. Rivosh. “Coins make quantum walks faster”. Pro- ceedings of the sixteenth annual ACM-SIAM symposium on Disc rete algorithms . Society for Industrial and Applied Mathematics, 2005, pp. 1099–1 108

    work page 2005

  18. [18]

    Exploring topological phases with quantum wa lks

    T. Kitagawa et al. “Exploring topological phases with quantum wa lks”. Phys. Rev. A 82.3 (2010), p. 033429

    work page 2010

  19. [19]

    Relation between two-phas e quantum walks and the topological invariant

    T. Endo, N. Konno, and H. Obuse. “Relation between two-phas e quantum walks and the topological invariant”. Yokohama Math. J. 64 (2020)

    work page 2020

  20. [20]

    Stationary measure for two-state space- inhomogeneous quantum walk in one dimension

    H. Kawai, T. Komatsu, and N. Konno. “Stationary measure for two-state space- inhomogeneous quantum walk in one dimension”. Yokohama Math. J. 64 (2018), pp. 111–130. 14

    work page 2018

  21. [21]

    Stationary measures of three-state quantum walks on the one-dimensional lattice

    H. Kawai, T. Komatsu, and N. Konno. “Stationary measures of three-state quantum walks on the one-dimensional lattice”. Yokohama Math. J. 63 (2017), pp. 59–74

    work page 2017

  22. [22]

    C. Kiumi. Eigenvalues of two-phase three-state quantum walks with on e defect. math- ph/2111.14300

    work page arXiv

  23. [23]

    Inhomogeneous quantum walks

    N. Linden and J. Sharam. “Inhomogeneous quantum walks”. Phys. Rev. A 80.5 (2009), p. 052327

    work page 2009

  24. [24]

    One-dimensional quantum walks with a position-dependent coin

    R. Ahmad, U. Sajjad, and M. Sajid. “One-dimensional quantum walks with a position-dependent coin”. Commun. Math. Phys. 72.6 (2020), p. 065101

    work page 2020

  25. [25]

    Localization and fractality in inhomo geneous quantum walks with self-duality

    Y. Shikano and H. Katsura. “Localization and fractality in inhomo geneous quantum walks with self-duality”. Phys. Rev. E 82 (3 2010), p. 031122

    work page 2010

  26. [26]

    Analyticity breaking and Anderson loc alization in incom- mensurate lattices

    S. Aubry and G. Andr´ e. “Analyticity breaking and Anderson loc alization in incom- mensurate lattices”. Ann. Israel Phys. Soc. 3 (133 1980), p. 18

    work page 1980

  27. [27]

    The stationary measure of a space-inh omogeneous quan- tum walk on the line

    T. Endo and N. Konno. “The stationary measure of a space-inh omogeneous quan- tum walk on the line”. Yokohama Math. J. 60 (2014), pp. 33–47

    work page 2014

  28. [28]

    The stationary measure of a spa ce-inhomogeneous three-state quantum walk on the line

    C. Wang, X. Lu, and W. Wang. “The stationary measure of a spa ce-inhomogeneous three-state quantum walk on the line”. Quantum Inf. Process. 14.3 (2015), pp. 867– 880

    work page 2015

  29. [29]

    Stationary measure for three-state quantum walk

    T. Endo et al. “Stationary measure for three-state quantum walk”. Quantum Inf. Comput. 19.11&12 (2019), pp. 901–912

    work page 2019

  30. [30]

    Limit Theorem for a Time-Dependent C oined Quantum Walk on the Line

    T. Machida and N. Konno. “Limit Theorem for a Time-Dependent C oined Quantum Walk on the Line”. Natural Computing . Springer Japan, 2010, pp. 226–235. 15

    work page 2010