Schur States and Many-Body Quantum Walks on Line Graphs
Abstract
Let H be a finite simple graph. A one-particle continuous-time quantum walk on its line graph ℓ H has one mode for each edge of H. This paper is a corrected and reorganized account of that setting. We first record the matrix encoding of an edge-amplitude vector, its Schur state. The encoding is necessarily complex symmetric if it is to be complex linear and to retain the global phase, and it is normalized by 1/√2. It is unitary for the Frobenius inner product and is closed under a canonical tensor lift to the categorical product of graphs. The tensor lift also pins down the convention. Among all unimodular phase variants the symmetric choice is the only one that survives, and every relaxed variant reduces to a sign. We then replace the labelled tensor-power description by the bosonic and fermionic Fock spaces over ℓ2(EH), and assemble the standard free-particle apparatus in the form used afterwards. This covers the occupation-number basis, the second-quantized line-graph Hamiltonian, permanent and determinant formulae for many-particle transition amplitudes, and the one-particle reduced density matrix. The one graph-theoretic input is the even-Eulerian criterion, which is the zero-sum $2$-flow criterion of Wang and Hu, recalled here with a short proof to fix conventions. Its translation through the incidence identity gives a real equimodular full-support −2 eigenmode of A(ℓ H), and hence bosonic condensates of energy −2N that are uniform over the edges of H. The fermionic case is stated separately so that the Pauli constraint is explicit.
Related
- Walk/Zeta correspondence for quantum walks on path graphs: a pre-geometric structure implied by a generalized reflection principle
- Construction of Partial Join Graphs with Perfect State Transfer in Shunt Decomposition-Based Quantum Walks
- 𝒫(Φ)2 Theory from many-body quantum Gibbs states
- The operator-valued Schur-Agler class in infinitely many variables
- Near-Optimal Learning of Quantum Many-Body Systems from Gibbs and Thermal Metastable States via the Stationarity Test
BibTeX
@misc{kang2026schur,
title = {{Schur States and Many-Body Quantum Walks on Line Graphs}},
author = {Musung Kang},
howpublished = {arXiv},
year = {2026},
month = aug,
doi = {10.48550/arxiv.2605.01953},
eprint = {2605.01953},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2605.01953},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Schur States and Many-Body Quantum Walks on Line Graphs
AU - Musung Kang
PY - 2026
DA - 2026/08/30
PB - arXiv
DO - 10.48550/arxiv.2605.01953
UR - https://arxiv.org/abs/2605.01953
AB - Let H be a finite simple graph. A one-particle continuous-time quantum walk on its line graph ℓ H has one mode for each edge of H. This paper is a corrected and reorganized account of that setting. We first record the matrix encoding of an edge-amplitude vector, its Schur state. The encoding is necessarily complex symmetric if it is to be complex linear and to retain the global phase, and it is normalized by 1/√2. It is unitary for the Frobenius inner product and is closed under a canonical tensor lift to the categorical product of graphs. The tensor lift also pins down the convention. Among all unimodular phase variants the symmetric choice is the only one that survives, and every relaxed variant reduces to a sign. We then replace the labelled tensor-power description by the bosonic and fermionic Fock spaces over ℓ^2(EH), and assemble the standard free-particle apparatus in the form used afterwards. This covers the occupation-number basis, the second-quantized line-graph Hamiltonian, permanent and determinant formulae for many-particle transition amplitudes, and the one-particle reduced density matrix. The one graph-theoretic input is the even-Eulerian criterion, which is the zero-sum $2$-flow criterion of Wang and Hu, recalled here with a short proof to fix conventions. Its translation through the incidence identity gives a real equimodular full-support −2 eigenmode of A(ℓ H), and hence bosonic condensates of energy −2N that are uniform over the edges of H. The fermionic case is stated separately so that the Pauli constraint is explicit.
ER -