One-loop $p$-adic string theory and the Néron local height function - An Huang; Christian Jepsen (2026)