TY - RPRT TI - Rigorous Index Theory for One-Dimensional Interacting Topological Insulators AU - Hal Tasaki PY - 2023 DO - 10.1063/5.0123738 UR - https://arxiv.org/abs/2111.07335 ID - 2111.07335 ER -