[2011.05452] Bulk-edge correspondence in the Haldane phase of the bilinear-biquadratic spin-1 Hamiltonian

[2011.05814] Quantization of edge currents along magnetic interfaces: A K-theory approach