On number of cyclic $n$-roots and disjointness of Fourier supports

技術要約：巡回 $n$ 根の数とフーリエ支持集合の非交差性について

問題提起
本論文は、特定の多変数同次多項式方程式を解く $n$ 次元の複素ベクトルである、巡回 $n$ 根の集合の有限性について扱っている。BjörckとSaffariによる中心的な予想では、巡回 $n$ 根の集合が有限であるための必要十分条件は、$n$ が平方フリー（square-free）であることだとされている。一方、「$n$ が平方フリーでないならば集合は無限である」という方向は確立されているが、「$n$ が素数ならば有限である」というHaagerupによる証明に対し、「$n$ が平方フリーな合成数である場合」の方向は依然として未解決のままである。

素数 $n$ に対するHaagerupの証明は、決定的な簡約化（命題1）に基づいている。すなわち、もし巡回 $n$ 根の集合が無限であるならば、時間領域と周波数領域の両方において支持集合が互いに素であるような、2つの非ゼロベクトル $u, v \in \mathbb{C}^n$ が存在しなければならない（具体的には、すべての $i$ について $u_i v_i = 0$ かつ $\hat{u}_i \check{v}_i = 0$）。素数 $n$ の場合、加法的不確定性原理がこのようなペアの存在を阻止するため、有限性が証明される。本論文は、この簡約化が合成数 $n$ においても成立するかどうか、特に合成数においてそのような非交差な支持集合を持つペアが存在するかどうかを調査している。

手法
著者は、合成数 $n$ に対する簡約化ステップに対する明示的な反例を構築するために、有限巡回群 $\mathbb{Z}_n$ 上のフーリエ解析を用いている。その手法は以下の通りである：

1. 代数的構成: $\mathbb{Z}_n$ の部分群とその直交補空間を利用する。本論文は、有限群におけるポアソン和公式のアナログ、特に $\widehat{\mathbf{1}_{H_d}} = \frac{d}{\sqrt{n}} \mathbf{1}_{H_d^\perp}$ （ここで $H_d$ は位数 $d$ の部分群）の関係を利用している。
2. ベクトルの合成: 特定の剰余類および部分群の特性関数の線形結合として、ベクトル $u$ および $v$ を構築する。この構成により、$u$ の支持集合は $v$ の支持集合と時間領域で互いに素であり、かつ $u$ のフーリエ変換の支持集合は $v$ の逆フーリエ変換の支持集合と互いに素となることが保証される。
3. ケース分析:
   • 命題2: 相互に互いに素な3つの整数 $p, q, r$ の積である $n = pqr$ に対して、部分群の平行移動を用いて交わりを相殺することで、そのようなペアを構築する。
   • 定理1: 任意の合成数 $n$ に対してこの構成を一般化する。$d$ が $n$ の約数であり、$1 < d < \sqrt{2n}$ を満たすとき、著者は非交差条件を相互に満たす $1 + \lfloor d/2 \rfloor$ 個のベクトル集合を構築する。
   • 単一ベクトル・ケース（命題3）: $\text{supp}(x) \cap \text{supp}(\hat{x}) = \emptyset$ を満たす単一のベクトル $x$ の存在を調査する。これは、フーリエ行列の特異な主部分行列の存在に関連している。著者は、素数冪（prime powers）および特定の合成数のケースについて構成を示し、Chebotarëvの定理（素数 $n$ において非消滅なマイナーを保証するもの）と対比させている。

主要な貢献と結果

• 定理1: 本論文は、非ゼロのベクトル対 $u, v$ が非交差支持条件（式2）を満たすのは、$n$ が合成数である場合、かつその場合に限ることを証明している。
  • $n$ が合成数の場合: 著者はそのようなベクトルを明示的に構築する。$n$ の約数 $d$ ($1 < d < \sqrt{2n}$) に対して、条件を満たす互いに非交差なベクトルが少なくとも $1 + \lfloor d/2 \rfloor$ 個存在する。
  • $n$ が素数の場合: 加法的不確定性原理を通じて、そのようなペアの非存在が再確認される。これはHaagerupの証明と一致している。
• 簡約化の妥当性の反駁: 主要な結果は、Haagerupによる簡約化ステップ（命題1）が、平方フリーな合成数における巡回 $n$ 根の有限性を証明するためのものとしては、不適切であることを示している。なぜなら、「障害」（非交差な支持集合を持つペアの存在）はすべての合成数において存在するため、非存在を用いることで平方フリーな合成数の有限性を証明することはできないからである。
• 具体的な例: 本論文は $n=30$ および $n=6$ の具体的な例を提供している。$n=6$ の場合、このような非交差なペアが存在すること（これは、もし簡約化が十分であれば無限であることを示唆する条件であるが）を示しているが、巡回6-根の集合は有限であることが知られている。これは、ペアの存在が簡約化が機能するための必要条件ではあるものの、巡回根の無限性を意味する十分条件ではないことを裏付けている。
• 予想の拡張: 本論文は、時間・周波数領域で支持集合が互いに素である単一のベクトルについて論じている。これは、フーリエ行列の主マイナーの特異性と関連している。著者は、Chebotarëvの定理の拡張（平方フリーな $n$ では主マイナーが非消滅であるという予想）を支持する形で、非平方フリーな $n$（具体的には素数冪や特定の合成数構造）においてそのようなベクトルが存在することを示している。

意義と主張
本論文は、その主な貢献は、Björck-Saffari予想における既存の証明戦略におけるボトルネックを特定したことにあると控えめに主張している。

• 簡約化の明確化: Haagerupの簡約化は、素数 $n$ の有限性を証明することには成功しているが、平方フリーな合成数と非平方フリーな合成数を区別できないことを明らかにしている。なぜなら、「非交差な支持集合」という障害はすべての合成数において存在するからである。
• 予想への影響: これらのベクトル対が平方フリーな合成数においても存在するという事実は、平方フリーな合成数における巡回 $n$ 根の有限性を証明するためには、新しいアプローチが必要であることを示唆している。本論文は、これらのケースについて予想が真であるか偽であるかを証明するものではなく、素数に対して用いられた特定の代数幾何学的簡約化が不十分であることを示している。
• 構造的洞察: 本研究は、巡回 $n$ 根、CAZAC数列、およびフーリエ行列のスペクトル特性（特にその部分行列の特異性）との関係について、より深い構造的理解を提供する。

要約すると、本論文は「非交差なフーリエ支持集合」という現象が合成次元における普遍的な特徴であることを確立しており、それによって、平方フリーな合成数の巡回 $n$ 根の有限性を証明するための、素数における特定の簡約化議論を無効化している。