REVIEW 5 minor 44 references
Averaging a Haar-random coin fully depolarizes that subspace, yet vertex measurements can still recover initial-state information forever.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-11 16:51 UTC pith:3LN2JLLD
load-bearing objection Clean, explicit spectral analysis of Haar-averaged coined walks: coin depolarizes, yet Abelian Cayley graphs keep |G| fixed points and forever-measurable vertex correlations.
Quantum random walks on d-regular graphs with Haar-random coin operators
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Even though the expectation value of a Haar-random-coin quantum walk completely depolarizes the coin subspace and reproduces classical diffusion on the graph, the resulting averaged channel is never ergodic. On any d-regular graph that admits a unitary edge labeling it has multiple density-operator fixed points; on Cayley graphs of Abelian groups the number of independent fixed points equals the number of vertices and the channel is dephasing in the Fourier basis. Consequently, carefully chosen measurements of vertex positions or of correlations between pairs of vertices continue to carry information about the initial state after arbitrarily many iterations.
What carries the argument
The averaged quantum channel obtained by integrating the unitary walk over the Haar measure on the coin unitaries (Eq. 20 / 22). This super-operator depolarizes the coin, acts as a classical transition matrix on vertices, yet retains a large eigenspace of eigenvalue ±1 that encodes the surviving Fourier coherences.
Load-bearing premise
The graph must allow every edge label to define a global permutation of the vertices so that the controlled-shift operators remain unitary; without that combinatorial condition the averaged channel used throughout the paper is not even defined.
What would settle it
On the cycle of even length, prepare a pure superposition of Fourier modes k and k+N/2, iterate the averaged channel many times, and measure the two-vertex correlator P_vv'; if the extracted angle heta fails to match the prepared superposition (or decays), the claim that off-diagonal Fourier components of eigenvalue −1 survive forever is false.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies discrete-time quantum walks on d-regular undirected connected simple graphs in which the coin operator is redrawn independently at every step from the Haar measure on U(d). The averaged channel (expectation over the Haar measure) fully depolarizes the coin subspace and recovers the classical random walk with a fair d-sided die; the same averaged channel is nevertheless non-ergodic. Explicit spectral decompositions are given for the cycle, the hypercube and, more generally, Cayley graphs of finite Abelian groups: the channel is dephasing in the Fourier basis of the vertex space, possesses a number of linearly independent fixed points equal to the number of vertices, and admits surviving off-diagonal (or correlation) components that can be detected by suitably chosen vertex measurements even after arbitrarily many iterations. Position variance on the cycle grows linearly with the number of steps, consistent with classical diffusion.
Significance. The work supplies a clean, parameter-free and fully explicit example of a bipartite quantum system in which one subsystem is subjected to maximal random unitary noise while information about the complementary subsystem remains permanently encoded in non-decaying eigenspaces and is in principle measurable. The calculations rest only on the Haar integral and the standard controlled-shift construction; they therefore constitute a useful pedagogical and technical benchmark for the open-quantum-walk and random-circuit communities. The linear growth of variance and the precise characterization of the fixed-point space for Abelian Cayley graphs are concrete, falsifiable predictions that can be checked numerically or experimentally.
minor comments (5)
- Section headings and some inline text contain spurious spaces (e.g., “W ALK”, “THA T”, “A VERAGED”). These appear to be PDF-extraction artefacts; they should be cleaned in the final version.
- Indexing conventions for vertices and coin states alternate between {0,…,N-1} and {1,…,N} (explicitly noted by the author). A single consistent convention, or a short clarifying sentence at the start of each example, would improve readability.
- Figure 2 compares a Hadamard walk at steps 3/23/43 with a Haar-random walk at steps 5/85/165. A brief remark explaining the different time scales (or a common set of iteration numbers) would make the visual comparison more immediate.
- The linearization used to estimate the change in variance (Eqs. 114–117) is approximate; a short remark that higher-order moments of the Haar measure are not needed for the leading linear growth would strengthen the presentation of Section V.
- The combinatorial precondition that the edge-labeling functions w(j,v) must be permutations (so that the Ŵ_j are unitary) is standard for coined walks, yet it is worth restating once more in the concluding section that the non-ergodicity proof of §III D applies only to graphs admitting such a labeling.
Circularity Check
No circularity: all claims follow by direct calculation from the Haar average and the controlled-shift definition.
full rationale
The paper defines the Haar-random coined walk via the product of the controlled-shift operator Λ_S (Eq. 3) and an independent Haar-random unitary on the coin (Eq. 17). The averaged channel is obtained by applying the standard first-moment formula for Haar unitaries (Mele Cor. 13) to the coin factor, immediately yielding the depolarizing map of Eq. 19–22. Non-ergodicity is shown by exhibiting multiple fixed points (the completely mixed coin tensored with any Fourier projector, or more generally any density operator diagonal in the Fourier basis of a Cayley graph of an Abelian group). The explicit eigenvectors and eigenvalues for the cycle (Eqs. 42–43), hypercube (Eqs. 72, 74) and general Abelian Cayley graph (Eqs. 96–97) are obtained by substituting the Fourier representation of the shift operators into the averaged channel and reading off the spectrum; no free parameters are fitted and no uniqueness theorem is imported from prior work by the same author. The claim that vertex-subspace correlations can survive is likewise a direct consequence of the existence of those non-decaying eigenmodes. All steps are therefore self-contained algebraic consequences of the definitions; the only external inputs are textbook facts about Haar measure and Fourier analysis on finite Abelian groups. Circularity score is therefore zero.
Axiom & Free-Parameter Ledger
axioms (3)
- standard math The first moment of a Haar-random unitary on C^d is the completely depolarizing map: E[U O U†] = (tr O / d) I_d (Mele, Cor. 13).
- domain assumption A d-regular undirected simple connected graph admits index functions w(j,v) that are permutations of the vertex set for each edge label j, so that the operators Ŵ_j are unitary.
- standard math Finite Abelian groups possess a complete set of one-dimensional irreducible characters that furnish a discrete Fourier transform diagonalizing the Cayley-graph shift operators.
read the original abstract
With unitary coin operator that is a random matrix drawn from a uniform distribution with respect to the Haar measure, we construct a variant of a discrete quantum random walk using a d-regular undirected connected simple graph. With each step of the walk, the coin operator random matrix is drawn independently from the distribution. The expectation value over the distribution of random unitaries for the associated quantum channel gives a depolarization channel for the coin subspace and resembles the associated classical random walk where the direction a walker steps depends upon the outcome of a fair coin or balanced d-sided dice. Remarkably, despite the fact that the averaged channel depolarizes the coin subspace, measurements in the vertex subspace can be designed that would reveal information about the initial quantum state, even after many iterations of the channel. We illustrate with examples of quantum walks on Cayley graphs of Abelian groups, such as the cycle and hypercube graphs. For Cayley graphs of Abelian groups, the averaged channel is dephasing in the Fourier basis. These quantum walks are examples of bipartite strongly interacting systems, where one subsystem is strongly perturbed, yet information about the initial state in the other subsystem is potentially measurable forever. Due to its decoherence, a quantum random walk with a Haar-random coin would not be useful in search algorithms but could aid in understanding quantum systems with strongly perturbed subsystems.
Figures
Reference graph
Works this paper leans on
-
[1]
Example 1: The Hadamard coin quantum walk on the cycle graph 3
-
[2]
A quantum walk with a Markov coin that is Haar-random 4 A
Example 2: The Grover coin quantum walk on the hypercube graph 4 III. A quantum walk with a Markov coin that is Haar-random 4 A. The averaged quantum channel 4 B. A numerical illustration of the Haar-random coin quantum walk on the cycle graph 5 C. Expectation values of the iterated Markov coin random walk 6 D. The averaged channel is not ergodic 6 E. The...
Pith/arXiv arXiv 2026
-
[3]
The quantum channel itself is also a linear operator (often called a superoperator)
Byquantum channelE(ρ) we mean a trace preserving completely positive linear map operating on the space of density operators. The quantum channel itself is also a linear operator (often called a superoperator). Since we work with a bipartite tensor product space, we can take the partial trace of a density operator. When tracing over thed-dimensional subspa...
-
[4]
Instead of an infinite dimensional line, the graph is the cycle graph withNvertices (e.g., following [1])
Example 1: The Hadamard coin quantum walk on the cycle graph We give an example similar to the quantum walk on the line [2]. Instead of an infinite dimensional line, the graph is the cycle graph withNvertices (e.g., following [1]). Each vertex has two edges so the graph degree is d= 2. The quantum space is 2×Ndimensional. We label the vertices so thatvis ...
-
[5]
For thed-dimensional hypercube, with N= 2 d vertices, theN-dimensional space describing ver- tices is equivalent to the tensor product ofdtwo state quantum systems ordqubits
Example 2: The Grover coin quantum walk on the hypercube graph We give an example for a quantum walk on the hy- percube [19, 26]. For thed-dimensional hypercube, with N= 2 d vertices, theN-dimensional space describing ver- tices is equivalent to the tensor product ofdtwo state quantum systems ordqubits. A vertex on the hypercube can be labelled with its b...
-
[6]
The averaged channel has more than one fixed point (in the space of density operators) and consequently it is not er- godic
Since these states have trace of 1 and are positive, they are both in the space of density operators. The averaged channel has more than one fixed point (in the space of density operators) and consequently it is not er- godic. We find that the averaged channel of a quantum random walk with a Haar-random coin is not ergodic when constructed on anyd-regular...
-
[7]
A characterχ k() :G→C(labelled by indexk) generates a complex numberχ k(g) that is a root of unity for each elementgin the group
can be defined using the group ˆGof its multiplica- tive characters (which are the 1-dimensional irreducible representations). A characterχ k() :G→C(labelled by indexk) generates a complex numberχ k(g) that is a root of unity for each elementgin the group. Mul- tiplication of the characters obey group multiplication; χk(g)χk(h) =χ k(gh) forg, h∈G. For an ...
-
[8]
Each discrete Fourier transform in the product is associated with a generators j ∈Sand depends on a phase factorω j as defined in equation 89
A Fourier basis for a finite Abelian group can be described as a product of discrete Fourier transforms in the form of equation 36. Each discrete Fourier transform in the product is associated with a generators j ∈Sand depends on a phase factorω j as defined in equation 89. According to the fundamental theorem of finite Abelian groups, any finite Abelian ...
-
[9]
Equation 93 shows that in the Fourier basis, the unitary operators ˆWm ∈ L(C N) are diagonal
The sum overkis over all Fourier basis elements. Equation 93 shows that in the Fourier basis, the unitary operators ˆWm ∈ L(C N) are diagonal. As before, we construct a quantum random walk with a Haar-random coin. The averaged channel ¯ESV is again given via equation 22 which we write in the Fourier basis giving ¯ESV (ρ) = 1 d dX m=1 |m⟩ ⟨m| ⊗ ˆWm trA(ρ) ...
2026
-
[10]
Aharonov, D., Ambainis, A., Kempe, J., Vazirani, U.,
-
[11]
Quantum walks on graphs, in: Proceedings of the Thirty-Third Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, NY, USA. pp. 50–59. URL:https://doi.org/10. 1145/380752.380758, doi:doi:10.1145/380752.380758
-
[12]
Aharonov, Y., Davidovich, L., Zagury, N., 1993. Quan- tum random walks. Phys Rev A 48, 1687–1690. doi:doi: 10.1103/PhysRevA.48.1687
-
[13]
Ahlbrecht, A., Vogts, H., Werner, A.H., Werner, R.F.,
-
[14]
Journal of Mathematical Physics 52, 042201
Asymptotic evolution of quantum walks with random coin. Journal of Mathematical Physics 52, 042201. URL:https://doi.org/10.1063/1.3575568, 18 doi:doi:10.1063/1.3575568
-
[15]
Cen- tral Limit Theorems for Open Quantum Random Walks and Quantum Measurement Records
Attal, S., Guillotin-Plantard, N., Sabot, C., 2015. Cen- tral Limit Theorems for Open Quantum Random Walks and Quantum Measurement Records. Annales Henri Poincar´ e 16, 15–43. doi:doi:10.1007/s00023-014-0319-3
-
[16]
Fourier Analysis on Finite Groups and Applications
Audrey, T., 1999. Fourier Analysis on Finite Groups and Applications. volume 43 ofLondon Mathematical Society Student Texts. Cambridge University Press
1999
-
[17]
Markovian Repeated Interaction Quantum Systems
Bougron, J.F., Joye, A., Pillet, C.A., 2022. Marko- vian repeated interaction quantum systems. Reviews in Mathematical Physics 34, 2250028–43. doi:doi: 10.1142/S0129055X22500283,arXiv:2202.05321
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/s0129055x22500283 2022
-
[18]
Quantum random walks with decoherent coins
Brun, T.A., Carteret, H.A., Ambainis, A., 2003. Quan- tum random walks with decoherent coins. Phys Rev A 67, 032304. doi:doi:10.1103/PhysRevA.67.032304, arXiv:quant-ph/0210180
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physreva.67.032304 2003
-
[19]
Ergodic and Mixing Quantum Channels in Finite Dimensions
Burgarth, D., Chiribella, G., Giovannetti, V., Perinotti, P., Yuasa, K., 2013. Ergodic and mixing quantum channels in finite dimensions. New Journal of Physics 15, 073045. doi:doi:10.1088/1367-2630/15/7/073045, arXiv:1210.5625
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1367-2630/15/7/073045 2013
-
[20]
Open Quantum Random Walks: Reducibility, Period, Ergodic Properties
Carbone, R., Pautrat, Y., 2016. Open Quantum Random Walks: Reducibility, Period, Ergodic Properties. Annales Henri Poincar´ e 17, 99–135. doi:doi:10.1007/s00023-015- 0396-y
-
[21]
Spatial search by quantum walk
Childs, A.M., Goldstone, J., 2004. Spatial search by quantum walk. Phys Rev A 70, 022314. doi:doi:10.1103/PhysRevA.70.022314, arXiv:quant-ph/0306054
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physreva.70.022314 2004
-
[22]
Uni- versal Computation by Multiparticle Quantum Walk
Childs, A.M., Gosset, D., Webb, Z., 2013. Uni- versal Computation by Multiparticle Quantum Walk. Science 339, 791–794. doi:doi:10.1126/science.1229957, arXiv:1205.3782
-
[23]
Stochastic collision model approach to transport phenomena in quantum networks
Chisholm, D.A., Garc´ ıa-P´ erez, G., Rossi, M.A.C., Palma, G.M., Maniscalco, S., 2021. Stochastic collision model approach to transport phenomena in quantum networks. New Journal of Physics 23, 033031. doi:doi:10.1088/1367- 2630/abd57d,arXiv:2010.05618
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1367- 2021
-
[24]
Quantum collision models: Open sys- tem dynamics from repeated interactions
Ciccarello, F., Lorenzo, S., Giovannetti, V., Palma, G.M., 2022. Quantum collision models: Open sys- tem dynamics from repeated interactions. Physics Re- ports 954, 1–70. doi:doi:10.1016/j.physrep.2022.01.001, arXiv:2106.11974
-
[25]
Anderson localization of a one- dimensional quantum walker
Derevyanko, S., 2018. Anderson localization of a one- dimensional quantum walker. Scientific Reports 8, 1795
2018
-
[26]
Pseudo-Random Unitary Op- erators for Quantum Information Processing
Emerson, J., Weinstein, Y.S., Saraceno, M., Lloyd, S., Cory, D.G., 2003. Pseudo-Random Unitary Op- erators for Quantum Information Processing. Sci- ence 302, 2098–2101. doi:doi:10.1126/science.1090790, arXiv:quant-ph/0410087
-
[27]
Fisher, M.P.A., Khemani, V., Nahum, A., Vijay, S., 2023. Random Quantum Circuits. Annual Re- view of Condensed Matter Physics 14, 335–379. doi:doi:10.1146/annurev-conmatphys-031720-030658, arXiv:2207.14280
Pith/arXiv arXiv doi:10.1146/annurev-conmatphys-031720-030658 2023
-
[28]
Ghosh, J., 2014. Simulating Anderson localization via a quantum walk on a one-dimensional lattice of super- conducting qubits. Phys Rev A 89, 022309. doi:doi: 10.1103/PhysRevA.89.022309,arXiv:1311.4284
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physreva.89.022309 2014
-
[29]
Graydon, M.A., Skanes-Norman, J., Wallman, J.J.,
-
[30]
Designing Stochastic Channels. arXiv e-prints , arXiv:2201.07156doi:doi:10.48550/arXiv.2201.07156, arXiv:2201.07156
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2201.07156
-
[31]
Quantum random walks: An introductory overview
Kempe, J., 2003. Quantum random walks: An introductory overview. Contemporary Physics 44, 307–327. doi:doi:10.1080/00107151031000110776, arXiv:quant-ph/0303081
-
[32]
Quantum walks on Cayley graphs
Lopez Acevedo, O., Gobron, T., 2006. Quantum walks on Cayley graphs. Journal of Physics A: Mathemat- ical and General 39, 585–599. doi:doi:10.1088/0305- 4470/39/3/011,arXiv:quant-ph/0503078
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0305- 2006
-
[33]
Quantum walks in higher dimensions
Mackay, T.D., Bartlett, S.D., Stephenson, L.T., Sanders, B.C., 2002. Quantum walks in higher dimen- sions. Journal of Physics A Mathematical General 35, 2745–2753. doi:doi:10.1088/0305-4470/35/12/304, arXiv:quant-ph/0108004
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0305-4470/35/12/304 2002
-
[34]
Introduction to Haar Measure Tools in Quantum Information: A Beginner’s Tutorial
Mele, A.A., 2024. Introduction to Haar Measure Tools in Quantum Information: A Beginner’s Tutorial. Quantum 8, 1340. doi:doi:10.22331/q-2024-05-08-1340, arXiv:2307.08956
-
[35]
Theory of Ergodic Quantum Processes
Movassagh, R., Schenker, J., 2021. Theory of Ergodic Quantum Processes. Physical Review X 11, 041001. doi:doi:10.1103/PhysRevX.11.041001, arXiv:2004.14397
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevx.11.041001 2021
-
[36]
Quantum Walks and Search Algorithms
Portugal, R., 2018. Quantum Walks and Search Algorithms. Quantum Science and Technology. 2nd ed., Springer Nature Switzerland, Cham, Switzerland. doi:doi:10.1007/978-3-319-97813-0
-
[37]
Matrix product solutions of boundary driven quantum chains
Prosen, T., 2015. Matrix product solutions of bound- ary driven quantum chains. Journal of Physics A Mathematical General 48, 373001. doi:doi:10.1088/1751- 8113/48/37/373001,arXiv:1504.00783
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1751- 2015
-
[38]
Quan- tum random-walk search algorithm
Shenvi, N., Kempe, J., Whaley, K.B., 2003. Quan- tum random-walk search algorithm. Phys Rev A 67, 052307. doi:doi:10.1103/PhysRevA.67.052307, arXiv:quant-ph/0210064
-
[39]
Stanzione, V., Civolani, A., Malo, J.Y., Chiofalo, M.L.,
-
[40]
Tailoring transport in quantum spin chains via disorder and collisions. Physical Review B 112, 224209. doi:doi:10.1103/zt36-nkbv,arXiv:2502.15515
-
[41]
Quantum walks: a com- prehensive review
Venegas-Andraca, S.E., 2012. Quantum walks: a com- prehensive review. Quantum Information Processing Vol- ume 11, 1015–1106
2012
-
[42]
Recurrence in discrete-time quantum stochastic walks
ˇStefaˇ n´ ak, M., Potoˇ cek, V., Yal¸ cınkaya,˙I., G´ abris, A., Jex, I., 2026. Recurrence in discrete-time quantum stochastic walks. Quantum 10, 1982. doi:doi:10.22331/q- 2026-01-22-1982
doi:10.22331/q- 2026
-
[43]
Quantum simulations of classical ran- dom walks and undirected graph connectivity
Watrous, J., 2001. Quantum simulations of classical ran- dom walks and undirected graph connectivity. Journal of Computer and System Sciences 62, 376–391
2001
-
[44]
Quantum stochastic walks: A generalization of classical random walks and quantum walks
Whitfield, J.D., Rodr´ ıguez-Rosario, C.A., Aspuru-Guzik, A., 2010. Quantum stochastic walks: A generalization of classical random walks and quantum walks. Phys Rev A 81, 022323. doi:doi:10.1103/PhysRevA.81.022323, arXiv:0905.2942
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physreva.81.022323 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.