3 papers
math.CO2026
Laziness of Quantum Walks on Graphs
Amulya Mohan, Christino Tamon, Yichi Xu +1
The trace of the average mixing matrix of a quantum walk measures the "laziness" of the walk: the higher the trace, the more likely that the walker returns home in the long run. In…
math.CO2025
Subspace State Transfer in Coined Quantum Walks
Yichi Xu, Hanmeng Zhan
We study a transport phenomenon in certain coined quantum walks where a subspace of states localized at a vertex gets transferred to another vertex. We first develop characterizati…
cs.LO2025
A Coq Formalization of Unification Modulo Exclusive-Or
Yichi Xu, Daniel J. Dougherty, Rose Bohrer
Equational Unification is a critical problem in many areas such as automated theorem proving and security protocol analysis. In this paper, we focus on XOR-Unification, that is, un…