发表机构
Imperial College, London（伦敦帝国理工学院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究针对实二次域上Zauner的SIC-POVM猜想的维度塔，利用分圆多项式证明结构定理，建立双参数范数关系，为Leopoldt猜想的模$p$类比提供新的算术视角。
AI 中文摘要
我们针对在实二次域$K=\mathbb{Q}(\sqrt{D})$上Zauner的SIC-POVM猜想的数论表述中出现的维度塔$\{d_k(D)\}_{k\geq0}$证明了一个结构定理。若$\eps$表示$K$的基本单位的第一个全正幂，且$t_k = \eps^k + \eps^{-k}$为其$k$次幂的迹，则SIC维度塔$\{d_k=1+t_k\}_{k\geq0}$是附属于$K$的无限二维分圆数组$\{\Psi_m(t_k)\}_{m\geq1,k\geq0}$的$m=3$级行，而辅助因子$(d_k+1)$和$(d_k-3)$分别是其分歧级$m=2$和$m=1$。此处$\Psi_m$表示$\zeta_m+\zeta_m^{-1}=2\cos{2\pi/m}$的极小多项式。该构造最初源于尝试以$q$-代数术语表述SIC维度之间的关系。核心对象是双参数族$c_{m,k}=1-\zeta_m\eps^k$在分圆域塔$\{K(\mu_m)\}_{m\geq1}$上的单个复合范数关系。该框架通过将Zauner猜想的核心3对称性置于更广泛的算术背景中，为Leopoldt猜想的模$p$类比提供了新视角。在不整除$2mD$的素数外，每个固定级$m$处的赋值$v_p(\Psi_m(t_k))$可通过单个局部单位赋值精确描述，随后该赋值通过$p$-adic类数公式与对应的$p$-adic L值相关联。
英文摘要
We prove a structure theorem for the dimension towers~$\{d_k(D)\}_{k\geq0}$ which arise in the number-theoretic formulation of Zauner's SIC-POVM conjecture over a real quadratic field~$K=\Q(\qD)$. If~$\eps$ denotes the first totally positive power of a fundamental unit of~$K$ and $t_k = \eps^k + \eps^{-k}$ the trace of its $k$-th power, then the SIC dimension tower~$\{d_k=1+t_k\}_{k\geq0}$ is the level~$m=3$ row of an infinite two-dimensional cyclotomic array~$\{Ψ_m(t_k)\}_{m\geq1,k\geq0}$ attached to~$K$, while the auxiliary factors~$(d_k+1)$ and $(d_k-3)$ are its ramified levels $m=2$ and $m=1$. Here~$Ψ_m$ denotes the minimal polynomial of~ $ζ_m+ζ_m^{-1} = 2\cos{2π/m}$. This construction arose initially from an attempt to formulate relations among SIC dimensions in $q$-algebraic terms. The central object is a single closed composite norm relation for the two-parameter family $c_{m,k}=1-ζ_m\eps^k$ over the cyclotomic field tower $\{K(μ_m)\}_{m\geq1}$. This framework sheds new light on the mod-$p$ analogue of Leopoldt's conjecture, by placing the central 3-symmetry of Zauner's conjecture within a broader arithmetic context. Away from the primes dividing~$2mD$, the valuations $v_p(Ψ_m(t_k))$ at every fixed level~$m$ are described exactly in terms of a single local unit valuation, which is then related, through the~$p$-adic class number formula, to the corresponding $p$-adic $L$-value.
Comments15 pages; 1 table
