2 papers
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…