哪些实二次域的Kim八元型是万有的？

设$K=\mathbb{Q}(\sqrt{D})$，其中$D>1$无平方因子，并设$\varepsilon_+$为$\mathcal{O}_K$的全正基本单位。B. M. Kim在2000年证明了当$D=n^2-1$无平方因子时，八元对角型$$f=x_1^2+\cdots+x_4^2+\varepsilon_+(x_5^2+\cdots+x_8^2)$$ 在$\mathcal{O}_K$上是万有的。我们将Kim的结果完善为充要分类：$f$是万有的当且仅当$D=n^2-1$（对某个$n\ge2$），或$D=n^2-4$（对某个奇数$n\ge3$），两种情况均需满足无平方因子条件。第二个族在此背景下似乎是新的，并在$n=3$时包含$\mathbb{Q}(\sqrt{5})$作为退化边界情形，恢复了Maa\ss{}的经典例外三平方现象。等价地，$f$在$\mathcal{O}_K$上是万有的当且仅当Blomer-Kala不变量$M_D$等于$1$；对于所述的两个族，我们有$M_D=1$，因此Blomer-Kala万有$8M_D$-变量构造恰好特化为$f$。逆命题利用了连分数对合$\tau(\gamma)=\varepsilon_+\gamma'$以及收敛坐标中的闭式公式、正基本判别式本原二次多项式的三连续平方值引理，以及由完全商范数界导出的偶根排除引理。