A non-Archimedean Ohsawa–Takegoshi extension theorem

We prove an Ohsawa–Takegoshi-type extension theorem on the Berkovich closed unit disc over certain non-Archimedean fields. As an application, we establish a non-Archimedean analogue of Demailly’s regularization theorem for quasisubharmonic functions on the Berkovich unit disc.