Absence of Ballistic Transport in Quantum Walks with Asymptotically Reflecting Sites

Abstract: We prove general sufficient conditions for zero velocity in position dependent one-dimensional quantum walks, and hence for the absence of ballistic transport. Our starting point is a general a priori upper bound on the velocity, formulated in terms of sparse bi-infinite sequences of sites, their gap structure, and the corresponding local coin parameters. This estimate yields several deterministic criteria for zero velocity that depend only on the behavior of suitable coin entries along selected subsequences and are independent of the values of the coins elsewhere. We also discuss the random case as an application of the general approach. All of our results remain valid in the CMV setting.

• The paper establishes deterministic criteria for eliminating ballistic transport via asymptotically reflecting sites in discrete-time quantum walks.
• It employs CMV matrices and a modified position operator to derive sharp bounds on the decay of local coin parameters and gap sequences.
• The study demonstrates that both deterministic and random coin configurations can suppress linear spreading, offering robust insights for quantum transport control.

Absence of Ballistic Transport in Quantum Walks with Asymptotically Reflecting Sites

Introduction and Context

This work by Abdul-Rahman, Jackson, and Salah ["Absence of Ballistic Transport in Quantum Walks with Asymptotically Reflecting Sites", (2604.20654)] delivers rigorous deterministic criteria for suppression of ballistic transport in one-dimensional position-dependent discrete-time quantum walks. The authors establish explicit sufficient conditions ensuring vanishing maximal velocity (zero group velocity) for inhomogeneous split-step quantum walks, encompassing both deterministic and random constructions, and articulating sharp a priori bounds in terms of the local coin parameters along judicious sequences and the gap structure between them. Their results are formulated in the language of CMV matrices, allowing immediate translation to extended spectral and dynamical settings.

The study is motivated by the dichotomy of quantum transport: periodic quantum walks exhibit ballistic spreading (linear-in-time growth of the position), while static disorder generally leads to spectral and dynamical localization, and quasi-periodic inhomogeneities produce anomalous, sub-ballistic behavior. This work isolates and formalizes a sparse-local inhomogeneity mechanism that deterministically guarantees the absence of linear spreading, i.e., ballistic transport, independently of global spectral or stochastic assumptions.

Setting and Formalization

The system under consideration is a split-step quantum walk on $\ell^2(\mathbb{Z})\otimes \mathbb{C}^2$, generated by the unitary operator $W = S_+ C_1 S_- C_2$, where $C_1$ and $C_2$ are bi-infinite sequences of local $U(2)$ coin matrices, and $S_\pm$ are conditional shift operators. This general form includes the standard "shift-coin" walk as a special case. Via a standard identification, this walk is unitarily equivalent to a generalized extended CMV matrix, with even/odd Verblunsky parameters determined by $C_1,C_2$.

The dynamical observable of interest is the maximal (asymptotic upper) group velocity,

$$v(W) = \sup_{\|\psi\|=1,\, \psi\in D(Q)} \limsup_{t\to\infty} \frac{1}{t}\|Q\, W^t \psi\|,$$

where $Q$ is the canonical position operator. Ballistic transport corresponds to $v(W)>0$, i.e., the possibility of linear-in-time spreading for some initial state, whereas $W = S_+ C_1 S_- C_2$0 indicates absence thereof.

Main Results

Deterministic Zero-Velocity Mechanisms

The central contribution is the identification of local, sparse deterministic mechanisms inhibiting ballistic transport. The main theorem formulates sufficient criteria for $W = S_+ C_1 S_- C_2$1 based on the existence of a bi-infinite sequence $W = S_+ C_1 S_- C_2$2 such that the transmission coefficients $W = S_+ C_1 S_- C_2$3 of one coin sequence (i.e., the $W = S_+ C_1 S_- C_2$4 entries) decay to zero as $W = S_+ C_1 S_- C_2$5. The quantitative structure of the gap sequence $W = S_+ C_1 S_- C_2$6 (or $W = S_+ C_1 S_- C_2$7 for $W = S_+ C_1 S_- C_2$8) gives the precise criterion.

Three main scenarios are considered:

1. Uniformly Bounded Gaps: If $W = S_+ C_1 S_- C_2$9 and $C_1$0, then $C_1$1 without quantitative constraints on the decay rate. That is, perfect or nearly-perfect reflectors densely spaced deterministically suppress ballistic spreading.
2. Sublinear Gaps with Quantitative Decay: If the spacings $C_1$2 (i.e., the reflective sites become sparse, but sublinearly so relative to position), and $C_1$3, then still $C_1$4. This quantifies the required decay of the reflection imperfection as the sites become more sparse.
3. Gap-Weighted Decay: Removing any restriction on gap growth, if $C_1$5 as $C_1$6, ballistic transport is suppressed. This condition allows arbitrarily sparse reflecting sites, provided their "strength" as reflectors increases appropriately with their spacing.

These results are insensitive to coin values away from the selected subsequence—a local, rather than global, mechanism controls the absence of ballistic transport.

Modified Position Observable and Technical Methods

A crucial methodological innovation is the introduction of a modified position operator tailored to the decomposition induced by the sequence of (asymptotically) reflecting sites. This block-scalar observable commutes with the inert blocks (the "inactive" regions between reflectors), allowing direct estimation of large-time spreading by focusing solely on interfacial couplings.

The authors' a priori bounds are subsequence-driven, with the velocity controlled entirely by the behavior of coin parameters along the sparse sequence and the geometry of the gaps.

Applications to Random Walks

An immediate application is to quantum walks with i.i.d. random coin entries. If the distribution of $C_1$7 admits sufficient weight near zero—specifically, if $C_1$8 for $C_1$9 small and some $C_2$0—then almost surely $C_2$1. Thus, in a random medium where nearly-reflective coins occur with polynomial probability near zero, ballistic transport is suppressed almost surely, highlighting the robustness of the local sparse-reflector mechanism.

Relation to Spectral and Dynamical Properties

While the primary focus is absence of ballistic transport, the construction is closely related to the theory of sparse barriers in Schrödinger and CMV operators, a regime where singular continuous spectrum and nontrivial (e.g., intermittent) dynamics commonly arise. The results do not establish full localization or describe the entire spectral type, but exploit the deterministic and local structure, complementing classical random/disordered localization frameworks.

The authors emphasize that their method does not capture interference- and phase-induced mechanisms (e.g., quasi-periodic models such as Fibonacci walks or almost-Mathieu analogues), reflecting the fundamentally local rather than global character of their approach.

Implications and Future Directions

This work formalizes a general criterion for the suppression of ballistic transport in inhomogeneous quantum walks, capturing how the insertion of sufficiently strong (asymptotically perfect) local reflectors, even sparsely and with arbitrary coin behavior elsewhere, systematically destroys linear-in-time spreading. The results extend to the CMV matrix setting, indicating broad spectral-theoretical relevance.

Several open questions are suggested:

• In regimes where $C_2$2, what is the finer dynamical behavior—does dynamical localization, anomalous sub-ballistic spreading, or quantum intermittency emerge? What spectral types are compatible with these dynamics under such sparse-reflector conditions? Are there explicit constructions with $C_2$3 but purely absolutely continuous spectrum?
• Can the criterion or methods be adapted to quasi-periodic models or settings controlled by global interference effects?
• To what extent is the local-sparse mechanism effective in higher-dimensional or more complex quantum walk settings?

Conclusion

This paper establishes a local sparse-reflector mechanism, rigorously proving that ballistic transport is absent in one-dimensional quantum walks (and associated extended CMV models) provided a sequence of sites with vanishing transmission parameters is inserted with appropriate spacing. The approach is technically innovative, introducing modified observables and providing robust deterministic and probabilistic criteria that are both general and sharp. The work links quantum-walk transport theory, spectral properties, and random matrix dynamics, and defines clear directions for exploration of the interplay between sparse local inhomogeneity and global quantum transport phenomena.