Abstract:This work focuses on the quantum mixing time, which is crucial for efficient quantum sampling and algorithm performance. We extend Richter's previous analysis of continuous time quantum walks on the periodic lattice $\mathbb{Z}_{n_1}\times \mathbb{Z}_{n_2}\times \dots \times \mathbb{Z}_{n_d}$, allowing for non-identical dimensions $n_i$. We present two quantum walks that achieve faster mixing compared to classical random walks. The first is a coordinate-wise quantum walk with a mixing time of $O\left(\left(\sum{i=1}^{d} n_i \right) \log{(d/\epsilon)}\right)$ and $O(d \log(d/\epsilon))$ measurements. The second is a continuous-time quantum walk with $O(\log(1/\epsilon))$ measurements, conjectured to have a mixing time of $O\left(\sum_{i=1}^d n_i(\log(n_1))^2 \log(1/\epsilon)\right)$. Our results demonstrate a quadratic speedup over classical mixing times on the generalized periodic lattice. We provide analytical evidence and numerical simulations supporting the conjectured faster mixing time. The ultimate goal is to prove the general conjecture for quantum walks on regular graphs.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is whether the mixing time of quantum walks on the periodic lattice $L = \mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2} \times \cdots \times \mathbb{Z}_{n_d}$ is faster compared to classical random walks. Specifically, the paper focuses on the mixing time of Continuous Time Quantum Walk (CTQW) on regular graphs and describes the evolution process of quantum walks through the unitary map $U = e^{i\bar{A}t}$, where the Hamiltonian $\bar{A}$ is the normalized adjacency matrix of the graph. ### Main Contributions 1. **Axial - Coordinate Quantum Walk**: - Proposed an axial - coordinate quantum walk method, which performs quantum walks on each $\mathbb{Z}_{n_i}$ separately and measures using the corresponding basis on each axis. - Proved that the mixing time of this quantum walk is $O\left(\left(\sum_{i = 1}^d n_i\right)\log\left(\frac{d}{\epsilon}\right)\right)$ and requires $O\left(\log\left(\frac{d}{\epsilon}\right)\right)$ measurements. 2. **Continuous - Time Quantum Walk**: - Proposed a continuous - time quantum walk method and supported a conjecture through numerical simulations, that the mixing time on $L$ is $O\left(\left(\sum_{i = 1}^d n_i\right)(\log n_1)^2\log\left(\frac{1}{\epsilon}\right)\right)$ and requires $O\left(\log\left(\frac{1}{\epsilon}\right)\right)$ measurements. - For the special case of $d = 2$, that is, on $\mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2}$, proved that the mixing time is $O\left((n_1 + n_2)(\log n_1)^2\log\left(\frac{1}{\epsilon}\right)\right)$. ### Research Background - **Quantum Walk**: A quantum walk is the quantum analogue of a classical random walk, in which the position of the walk on a graph or lattice is in a quantum superposition state. - **Mixing Time**: The mixing time refers to the time required for the walk to reach its limiting distribution, and it is an important indicator for measuring the efficiency of quantum algorithms. - **Classical Random Walk**: In a classical random walk, the mixing time is $O(d n_1^2\log\left(\frac{d}{\epsilon}\right))$, where $n_1=\max_i \{n_i\mid1\leq i\leq d\}$. ### Conclusion - The paper shows that on the periodic lattice $L$, the mixing time of quantum walks has a quadratic acceleration compared to classical random walks. - Proposed a hypothesis that for any $d > 2$, the mixing time of continuous - time quantum walk is $O\left(\left(\sum_{i = 1}^d n_i\right)(\log n_1)^2\log\left(\frac{1}{\epsilon}\right)\right)$ and requires $O\left(\log\left(\frac{1}{\epsilon}\right)\right)$ measurements. - These results provide progress in proving the general conjecture of the mixing time of quantum walks, that is, of quantum on any regular graph.

Quantum walk mixing is faster than classical on periodic lattices

Quantum walks advantage on the dihedral group for uniform sampling problem

For every quantum walk there is a (classical) lifted Markov chain with faster mixing time

Quantum walks, the discrete wave equation and Chebyshev polynomials

Study of Quantum Walk over a Square Lattice

Non-uniform Mixing of Quantum Walks on the Symmetric Group

Mixing of Quantum Walks on Generalized Hypercubes

Spreading Estimates for Quantum Walks on the Integer Lattice via Power-Law Bounds on Transfer Matrices

A note on graphs resistant to quantum uniform mixing

Combinatorial necessary conditions for regular graphs to induce periodic quantum walks

Average Mixing in Quantum Walks of Reversible Markov Chains

Tuning for Quantum Speedup in Directed Lackadaisical Quantum Walks

Faster quantum mixing for slowly evolving sequences of Markov chains

Quantum random walks on congested lattices

$ε$-Uniform Mixing in Discrete Quantum Walks

Optimization for the propagation of a multiparticle quantum walk in a one-dimensional lattice

Exponential speedups for quantum walks in random hierarchical graphs

Increasing the dimensionality of quantum walks using multiple walkers

Efficient quantum circuits for continuous-time quantum walks on composite graphs

Uniform Mixing and Association Schemes