pith. sign in

arxiv: 2606.27740 · v1 · pith:CXCMGI2Lnew · submitted 2026-06-26 · 🧮 math-ph · math.MP· quant-ph

Bottleneck Effects and Harmonic-Type Velocity Bounds for Periodic Quantum Walks

Pith reviewed 2026-06-29 02:50 UTC · model grok-4.3

classification 🧮 math-ph math.MPquant-ph
keywords quantum walksperiodic coinspropagation velocitybottleneck effectsharmonic meanunitary operatorsCMV matrices
0
0 comments X

The pith

Periodic quantum walks on the line have propagation velocities bounded above by the harmonic mean of their transmission parameters.

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

The paper proves explicit upper bounds on how far and fast a one-dimensional quantum walker can travel when the governing coins repeat periodically with any period length. When one transmission parameter is small, that nearly reflecting coin creates a bottleneck that caps the speed linearly in the parameter value, with a precise leading-order formula. For any nonzero parameters the velocity is controlled from above by their harmonic mean, with a sharper version that sees how neighboring coins differ, plus a matching lower bound that applies to the related CMV matrices as well. A reader cares because these results quantify the slowest transport step in a repeating quantum system without needing to solve the full time evolution.

Core claim

We prove explicit upper bounds on the propagation velocity of one-dimensional quantum walks with periodic coins of arbitrary period. In a perturbative regime where one transmission parameter is small, the corresponding almost reflecting coin acts as a bottleneck for transport: the velocity is bounded linearly in this parameter, with an explicit leading order estimate. For arbitrary nonzero transmission parameters, we prove a general a priori bound in terms of their harmonic mean, together with a refined version that detects the spatial variation of neighboring coins. Moreover, we prove a general lower bound on the velocity. These bounds apply directly to the corresponding CMV setting.

What carries the argument

The transmission parameters of the periodic unitary coins that set the reflection-versus-transmission balance at each site, from which velocity is read off the spectrum of the resulting unitary operator on the line.

If this is right

  • In the small-transmission regime the velocity scales at most linearly with that parameter, with the leading coefficient given explicitly.
  • For any collection of nonzero transmission parameters the velocity is at most a constant times their harmonic mean.
  • A refined upper bound exists that tightens when neighboring coins vary spatially.
  • A matching lower bound on velocity holds in the same setting.
  • The same statements transfer directly to the CMV matrix setting.

Where Pith is reading between the lines

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

  • The dominance of the harmonic mean implies that the single most reflecting coin largely sets the global speed, even when other coins transmit freely.
  • These bounds could be checked by direct simulation of the walk operator for small periods and compared against the analytic expressions.
  • The bottleneck picture suggests that inserting a single low-transmission coin into an otherwise transmitting chain would throttle long-range transport proportionally to that coin's parameter.

Load-bearing premise

The quantum walk is built from a repeating sequence of unitary coins whose transmission parameters alone determine reflection versus transmission, and velocity is read from the spectral properties of the infinite-line unitary they generate.

What would settle it

A numerical computation of the group velocity or spreading rate for a periodic coin sequence whose transmission parameters are known exactly, showing a speed strictly larger than the harmonic-mean upper bound or larger than the linear estimate in the small-parameter regime.

Figures

Figures reproduced from arXiv: 2606.27740 by Darren C. Ong, Houssam Abdul-Rahman, Thomas A. Jackson.

Figure 1
Figure 1. Figure 1: Regrouping of the one-dimensional lattice sites into blocks of length p. Each site carries two internal states, represented by the upper circle for the spin basis |+⟩ and the lower circle for |−⟩. Thus, Qp assigns the same label j to all sites in the block {pj, pj + 1, . . . , pj + p − 1}. We now observe that the block velocity is invariant under cyclic regrouping, i.e., the velocity is independent of the … view at source ↗
Figure 2
Figure 2. Figure 2: transmission parameters: a1 = 0.8, a2 = 0.7, a3 = 1, a4 = 0.005, a5 = 1. 0 π 2 π 3π 2 2π π 4 π 2 3π 4 π θ ωj (c, θ) 0 π 2 π 3π 2 2π 0 0.001 0.002 0.003 0.004 0.005 θ |∂θωj (c, θ)| [PITH_FULL_IMAGE:figures/full_fig_p016_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: transmission parameters: a1 = 0.8, a2 = 0.7, a3 = 0.6, a4 = 0.005, a5 = 0.8. 6Note that if bj ∈ [0, 1) is real for all j = 1, . . . , 2p, then the spectrum of the Floquet matrix Ubp(c, θ) is invariant under complex conjugation. Consequently, its eigenvalues may be written in pairs of the form e ±iωj (c,θ) , see Remark 6.3. In figures 2 to 5, we plot only the nonnegative phases ωj (c, θ) ≥ 0 [PITH_FULL_IMA… view at source ↗
Figure 4
Figure 4. Figure 4: transmission parameters: a1 = 0.8, a2 = 0.7, a3 = 0.6, a4 = 0.5, a5 = 0.8. 0 π 2 π 3π 2 2π π 4 π 2 3π 4 π θ ωj (c, θ) 0 π 2 π 3π 2 2π 0 0.02 0.04 0.06 0.08 0.1 0.12 0.14 0.16 θ |∂θωj (c, θ)| [PITH_FULL_IMAGE:figures/full_fig_p017_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: transmission parameters: a1 = 0.8, a2 = 1, a3 = 0.9, a4 = 1, a5 = 0.4. The first two figures illustrate the bottleneck effect caused by the very small transmission param￾eter a4 = 0.005. In [PITH_FULL_IMAGE:figures/full_fig_p017_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: tests the same bounds in a larger-period regime, namely p = 50. 0 π 2 π 3π 2 2π 0 0.001 0.001 0.002 θ |∂θωj (c, θ)| 0 π 2 π 3π 2 2π 0 0.002 0.004 0.006 0.008 0.01 0.012 θ |∂θωj (c, θ)| [PITH_FULL_IMAGE:figures/full_fig_p018_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Schematic representation of the 2p components of the eigenvector xj (c(0), 0), grouped into pairs (x + j,k, x− j,k). The upper row denotes the (+) com￾ponents and the lower row denotes the (−) components. Blue diagonal bonds represent the equal-modulus relations |x − j,k| = |x + j,k+1|, with cyclic convention x + j,p+1 = x + j,1 . Dotted red vertical bonds indicate perfect transmitter sites |aℓ | = 1, wher… view at source ↗
Figure 8
Figure 8. Figure 8: Right- and left-going fluxes through the cut between sites j and j + 1. Thus, the signed difference is the net flux through the cut. This is interpreted as the current Kψ, which is independent of the position of the cut, as explained in (5.26). With this notion, the block velocity is the normalized maximum current carried by the Floquet eigenvectors. In the decoupled case c = c(0), the equal-modulus relati… view at source ↗
read the original abstract

We prove explicit upper bounds on the propagation velocity of one-dimensional quantum walks with periodic coins of arbitrary period. We treat two complementary settings. First, in a perturbative regime where one transmission parameter is small, we show that the corresponding almost reflecting coin acts as a bottleneck for transport: the velocity is bounded linearly in this parameter, with an explicit leading order estimate. Second, for arbitrary nonzero transmission parameters, we prove a general a priori bound in terms of their harmonic mean, together with a refined version that detects the spatial variation of neighboring coins. Moreover, we prove a general lower bound on the velocity. These bounds apply directly to the corresponding CMV setting.

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

0 major / 1 minor

Summary. The manuscript proves explicit upper bounds on the propagation velocity of one-dimensional quantum walks with periodic coins of arbitrary period. In a perturbative regime where one transmission parameter is small, the corresponding almost-reflecting coin acts as a bottleneck, yielding a linear bound in that parameter together with an explicit leading-order estimate. For arbitrary nonzero transmission parameters, a general a priori upper bound is derived in terms of the harmonic mean of the transmission parameters, with a refined version that detects spatial variation among neighboring coins; a matching general lower bound is also established. The results apply directly to the corresponding CMV setting.

Significance. If the derivations are correct, the work supplies concrete, explicit a priori velocity estimates that highlight bottleneck phenomena in periodic quantum walks. The harmonic-mean bound and the perturbative linear estimate are notable for being direct and free of fitted parameters. The extension to CMV matrices broadens applicability within spectral theory of unitary operators. These features strengthen the contribution to mathematical physics.

minor comments (1)
  1. [Abstract] Abstract: the precise meaning of 'propagation velocity' (e.g., whether it is the supremum of the group velocities extracted from the spectrum of the unitary operator) is not stated explicitly; adding one sentence would improve accessibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of the manuscript, including the recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives explicit a priori upper and lower bounds on propagation velocity directly from the spectral properties of the unitary operator generated by periodic coins, using the transmission parameters in perturbative and general regimes. The bottleneck bound (linear in small transmission parameter) and harmonic-mean bound are obtained via analysis of the CMV or quantum-walk operator without any reduction to fitted inputs, self-definitions, or load-bearing self-citations. The central claims rest on standard unitary and periodicity assumptions that are independent of the target velocity bounds, making the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the work relies on standard properties of unitary operators and the definition of quantum walks; no free parameters, ad-hoc axioms, or invented entities are mentioned.

axioms (1)
  • standard math Quantum walks are generated by unitary coin operators acting on a one-dimensional lattice
    Implicit in the definition of the model throughout the abstract.

pith-pipeline@v0.9.1-grok · 5641 in / 1175 out tokens · 48861 ms · 2026-06-29T02:50:37.914850+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

57 extracted references · 38 linked inside Pith

  1. [1]

    Abdul-Rahman, C

    H. Abdul-Rahman, C. Cedzich, G. Stolz, and A. H. Werner. Exponential suppression of transport in periodic electric quantum walks.arXiv:2511.15664

  2. [2]

    Abdul-Rahman, M

    H. Abdul-Rahman, M. Darras, C. Fischbacher, and G. Stolz. Slow propagation velocities in Schr¨ odinger operators with large periodic potential.Annales Henri Poincar´ e, 26:3635–3663, 2025.arXiv:2401.11508

  3. [3]

    Abdul-Rahman, J

    H. Abdul-Rahman, J. Fillman, C. Fischbacher, and W. Liu. Sharp polynomial velocity decay bounds for multi- dimensional periodic Schr¨ odinger operators.arXiv:2509.04381

  4. [4]

    Abdul-Rahman, T

    H. Abdul-Rahman, T. A. Jackson, and Y. Salah. Absence of ballistic transport in quantum walks with asymp- totically reflecting sites.arXiv:2604.20654

  5. [5]

    Abdul-Rahman and G

    H. Abdul-Rahman and G. Stolz. Exponentially decaying velocity bounds of quantum walks in periodic fields. Communications in Mathematical Physics, 403(3):1297–1327, 2023.arXiv:2302.01869

  6. [6]

    Ahlbrecht, V

    A. Ahlbrecht, V. B. Scholz, and R. F. Werner. Disordered quantum walks in one lattice dimension.Journal of Mathematical Physics, 52(10):102201, 2011.arXiv:1101.2298

  7. [7]

    Ahlbrecht, H

    A. Ahlbrecht, H. Vogts, A. H. Werner, and R. F. Werner. Asymptotic evolution of quantum walks with random coin.Journal of Mathematical Physics, 52(4):042201, 2011.arXiv:1009.2019

  8. [8]

    J. K. Asb´ oth. Symmetries, topological phases, and bound states in the one-dimensional quantum walk.Physical Review B, 86(19):195414, 2012.arXiv:1208.2143

  9. [9]

    J. K. Asb´ oth and H. Obuse. Bulk-boundary correspondence for chiral symmetric quantum walks.Physical Review B, 88(12):121406, 2013.arXiv:1303.1199

  10. [10]

    Asch and A

    J. Asch and A. Joye. Lower bounds on the localisation length of balanced random quantum walks.Letters in Mathematical Physics, 109:2133–2155, 2019.arXiv:1812.05842

  11. [11]

    Aspuru-Guzik and P

    A. Aspuru-Guzik and P. Walther. Photonic quantum simulators.Nature Physics, 8:285–291, 2012

  12. [12]

    Bourgain, F

    J. Bourgain, F. A. Gr¨ unbaum, L. Vel´ azquez, and J. Wilkening. Quantum recurrence of a subspace and operator- valued Schur functions.Communications in Mathematical Physics, 329(3):1031–1067, 2014.arXiv:1302.7286

  13. [13]

    Bourget, J

    O. Bourget, J. S. Howland, and A. Joye. Spectral analysis of unitary band matrices.Communications in Math- ematical Physics, 234(2):191–227, 2003.arXiv:math-ph/0204016

  14. [14]

    M. J. Cantero, F. A. Gr¨ unbaum, L. Moral, and L. Vel´ azquez. The CGMV method for quantum walks.Quantum Information Processing, 11(5):1149–1192, 2012

  15. [15]

    M. J. Cantero, L. Moral, F. A. Gr¨ unbaum, and L. Vel´ azquez. Matrix-valued Szeg˝ o polynomials and quantum random walks.Communications on Pure and Applied Mathematics, 63(4):464–507, 2010.arXiv:0901.2244

  16. [16]

    M. J. Cantero, L. Moral, and L. Vel´ azquez. Five-diagonal matrices and zeros of orthogonal polynomials on the unit circle.Linear Algebra and its Applications, 362:29–56, 2003.arXiv:math/0204300. 46 H. Abdul-Rahman, T. Jackson, and D. Ong

  17. [17]

    Cedzich, J

    C. Cedzich, J. Fillman, L. Li, D. C. Ong, and Q. Zhou. Exact mobility edges for almost-periodic CMV matrices via gauge symmetries.International Mathematics Research Notices, 2024:6906–6941, 2024.arXiv:2307.10909

  18. [18]

    Cedzich, J

    C. Cedzich, J. Fillman, and D. C. Ong. Almost everything about the unitary almost-Mathieu operator.Com- munications in Mathematical Physics, 403:745–794, 2023.arXiv:2112.03216

  19. [19]

    Cedzich, J

    C. Cedzich, J. Fillman, and L. Vel´ azquez. Absence of ballistic motion and presence of almost-ballistic motion for unitary operators with pure point spectrum.arXiv:2603.03114

  20. [20]

    Cedzich, T

    C. Cedzich, T. Geib, F. A. Gr¨ unbaum, C. Stahl, L. Vel´ azquez, A. H. Werner, and R. F. Werner. The topolog- ical classification of one-dimensional symmetric quantum walks.Annales Henri Poincar´ e, 19(2):325–383, 2018. arXiv:1611.04439

  21. [21]

    Cedzich, A

    C. Cedzich, A. Joye, A. H. Werner, and R. F. Werner. Exponential tail estimates for quantum lattice dynamics. Annales Henri Poincar´ e, 2025.arXiv:2408.02108

  22. [22]

    Cedzich, T

    C. Cedzich, T. Ryb´ ar, A. H. Werner, A. Alberti, M. Genske, and R. F. Werner. Propagation of quantum walks in electric fields.Physical Review Letters, 111:160601, 2013.arXiv:1302.2081

  23. [23]

    Cedzich and A

    C. Cedzich and A. H. Werner. Anderson localization for electric quantum walks and skew-shift CMV matrices. Communications in Mathematical Physics, 387:1257–1279, 2021.arXiv:1906.11931

  24. [24]

    A. M. Childs. Universal computation by quantum walk.Physical Review Letters, 102(18):180501, 2009. arXiv:0806.1972

  25. [25]

    Damanik and J

    D. Damanik and J. Fillman. Spectral properties of limit-periodic operators.Analysis and geometry on graphs and manifolds, 461:382–444, 2020.arXiv:1802.05794

  26. [26]

    Damanik, J

    D. Damanik, J. Fillman, and D. C. Ong. Spreading estimates for quantum walks on the integer lattice via power-law bounds on transfer matrices.Journal de Math´ ematiques Pures et Appliqu´ ees, 105(3):293–341, 2016. arXiv:1505.07292

  27. [27]

    Damanik, M

    D. Damanik, M. Lukic, and W. Yessen. Quantum dynamics of periodic and limit-periodic Jacobi and block Jacobi matrices with applications to some quantum many body problems.Communications in Mathematical Physics, 337(3):1535–1561, 2015.arXiv:1407.5067

  28. [28]

    Damanik, T

    D. Damanik, T. Malinovitch, and G. Young. What is ballistic transport?Journal of Spectral Theory, 2024. arXiv:2403.19618

  29. [29]

    J. Fillman. Spectral homogeneity of discrete one-dimensional limit-periodic operators.Journal of Spectral Theory, 7(1):201–226, 2017.arXiv:1409.7734

  30. [30]

    Fillman and D

    J. Fillman and D. C. Ong. Purely singular continuous spectrum for limit-periodic CMV operators with applica- tions to quantum walks.Journal of Functional Analysis, 272(12):5107–5143, 2017.arXiv:1610.06159

  31. [31]

    Gr¨ unbaum, L

    F. Gr¨ unbaum, L. Vel´ azquez, A. Werner, and R. Werner. Recurrence for discrete time unitary evolutions.Com- munications in Mathematical Physics, 320:543–569, 2013.arXiv:1202.3903

  32. [32]

    Hamza and A

    E. Hamza and A. Joye. Spectral transition for random quantum walks on trees.Communications in Mathematical Physics, 326(2):415–439, 2014.arXiv:1212.6078

  33. [33]

    Hamza, A

    E. Hamza, A. Joye, and G. Stolz. Localization for random unitary operators.Letters in Mathematical Physics, 75(3):255–272, 2006.arXiv:math-ph/0504075

  34. [34]

    Hamza, A

    E. Hamza, A. Joye, and G. Stolz. Dynamical localization for unitary Anderson models.Mathematical Physics, Analysis and Geometry, 12:381–444, 2009.arXiv:0903.0028

  35. [35]

    Hamza and G

    E. Hamza and G. Stolz. Lyapunov exponents for unitary Anderson models.Journal of Mathematical Physics, 48(4):043301, 2007.arXiv:math-ph/0611081

  36. [36]

    S. M. Huang, Y. Tokura, H. Akimoto, K. Kono, J. J. Lin, S. Tarucha, and K. Ono. Spin bottleneck in resonant tunneling through double quantum dots with different zeeman splittings.Physical Review Letters, 104:136801, 2010.arXiv:0904.1046

  37. [37]

    Joye and M

    A. Joye and M. Merkli. Dynamical localization of quantum walks in random environments.Journal of Statistical Physics, 140(6):1025–1053, 2010.arXiv:1004.4130

  38. [38]

    A. Joye, A. Schaefer, and S. Warzel. Dynamical localization for general scattering quantum walks. arXiv:2602.12760

  39. [39]

    Kato.Perturbation Theory for Linear Operators

    T. Kato.Perturbation Theory for Linear Operators. Classics in Mathematics. Springer, Berlin, Heidelberg, 1995

  40. [40]

    J. Kempe. Quantum random walks: an introductory overview.Contemporary Physics, 44(4):307–327, 2003. arXiv:quant-ph/0303081

  41. [41]

    Kitagawa, M

    T. Kitagawa, M. S. Rudner, E. Berg, and E. Demler. Exploring topological phases with quantum walks.Physical Review A, 82(3):033429, 2010.arXiv:1003.1729

  42. [42]

    N. Konno. One-dimensional discrete-time quantum walks on random environments.Quantum Information Pro- cessing, 8(5):387–399, 2009.arXiv:0904.0392

  43. [43]

    N. Konno. Localization of an inhomogeneous discrete-time quantum walk on the line.Quantum Information Processing, 9:405–418, 2010.arXiv:0908.2213

  44. [44]

    Kumar and M

    K. Kumar and M. Sabri. Ergodicity in discrete-time quantum walks.arXiv:2603.16837. Bottleneck Effects and Harmonic-Type Velocity Bounds for Periodic Quantum Walks 47

  45. [45]

    N. P. Kumar, R. Balu, R. Laflamme, and C. M. Chandrashekar. Bounds on the dynamics of periodic quan- tum walks and emergence of the gapless and gapped Dirac equation.Physical Review A, 97(1):012116, 2018. arXiv:1711.05920

  46. [46]

    Maeda, A

    M. Maeda, A. Suzuki, and K. Wada. Absence of singular continuous spectra and embedded eigenvalues for one-dimensional quantum walks with general long-range coins.Reviews in Mathematical Physics, 34(5):2250016, 2022.arXiv:2007.12832

  47. [47]

    Montanaro

    A. Montanaro. Quantum algorithms: An overview.npj Quantum Information, 2:15023, 2016.arXiv:1511.04206

  48. [48]

    D. T. Nguyen, D. A. Nolan, and N. F. Borrelli. Localized quantum walks in quasi-periodic Fibonacci arrays of waveguides.Optics Express, 27(1):886–898, 2019

  49. [49]

    D. C. Ong. Limit-periodic Verblunsky coefficients for orthogonal polynomials on the unit circle.Journal of Mathematical Analysis and Applications, 394(2):633–644, 2012.arXiv:1112.0988

  50. [50]

    Portugal.Quantum Walks and Search Algorithms

    R. Portugal.Quantum Walks and Search Algorithms. Springer, New York, 2013

  51. [51]

    Simon.Orthogonal polynomials on the unit circle

    B. Simon.Orthogonal polynomials on the unit circle. Part 2: Spectral theory, volume 54 ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2005

  52. [52]

    B. Simon. CMV matrices: Five years after.Journal of Computational and Applied Mathematics, 208(1):120–154, 2007.arXiv:math/0603093

  53. [53]

    A. Suzuki. Asymptotic velocity of a position-dependent quantum walk.Quantum Information Processing, 15(1):103–119, 2016.arXiv:1507.08562

  54. [54]

    S. E. Venegas-Andraca. Quantum walks: A comprehensive review.Quantum Information Processing, 11:1015– 1106, 2012.arXiv:1201.4780

  55. [55]

    Wang and D

    F. Wang and D. Damanik. Anderson localization for quasi-periodic CMV matrices and quantum walks.Journal of Functional Analysis, 276(6):1978–2006, 2019.arXiv:1804.00301

  56. [56]

    Q. Weng, L. Yang, Z. An, P. Chen, A. Tzalenchuk, W. Lu, and S. Komiyama. Quasiadiabatic electron transport in room temperature nanoelectronic devices induced by hot-phonon bottleneck.Nature Communications, 12:4752, 2021

  57. [57]

    W´ ojcik, T

    A. W´ ojcik, T. Luczak, P. Kurzy´ nski, A. Grudka, and M. Bednarska. Quasiperiodic dynamics of a quantum walk on the line.Physical Review Letters, 93:180601, 2004.arXiv:quant-ph/0407128. [H. Abdul-Rahman] Department of Mathematical Sciences, United Arab Emirates University, AL Ain, UAE Email address:houssam.a@uaeu.ac.ae [T. Jackson] Department of Mathemat...