1: \begin{abstract}
2: Quantum walks on graphs are ubiquitous in quantum computing finding a myriad of applications. Likewise, random walks on graphs are a fundamental building block for a large number of algorithms with diverse applications.
3: While the relationship between quantum and random walks has been recently discussed in
4: specific scenarios, this work establishes a formal equivalence between the processes on arbitrary
5: finite graphs and general conditions for shift and coin operators. It requires empowering random
6: walks with time heterogeneity, where the transition probability of the walker is non-uniform and time dependent.
7: The equivalence is obtained by equating the probability of measuring the quantum walk on a given node
8: of the graph and the probability that the random walk is at that same node, for all nodes and time steps.
9: The result is given by the construction procedure of a matrix sequence for the random walk that
10: yields the exact same vertex probability distribution sequence of any given quantum walk, including the scenario with multiple interfering walkers.
11: Interestingly, these matrices allows for a different simulation approach for quantum walks where node samples respect
12: neighbor locality and convergence is guaranteed by the law of large numbers, enabling efficient (polynomial) sampling of quantum graph trajectories (paths).
13: Furthermore, the complexity of constructing
14: this sequence of matrices is discussed in the general case.%, as well as in a Grover-coined quantum walk on a torus with moving-shift operator.
15: % \keywords{Quantum walks \and Random walks \and Markov chains}
16: % \PACS{PACS code1 \and PACS code2 \and more}
17: % \subclass{MSC code1 \and MSC code2 \and more}
18: \end{abstract}
19: