円分余弦式のガロア軌道と安定領域での単純化
Galois-Orbit Structure, Ramanujan Sums, and Stable-Range Collapse for Cyclotomic Cosine Formulas
この論文をやさしく読む
ひとことで言うと
円分余弦の式が階層を大きくするとどう単純化するかを、ガロア軌道と和の展開から調べた数学研究。
何に役立つ？
円分余弦の評価式を扱う際、単に値がガロア不変であることから何を言えるか、追加の構造が何をもたらすかを区別するのに役立つ。
この研究の面白いところ
値が有理数であることだけでは強い規則性は得られず、軌道構造を持つ特定のパターンでは十分大きな階層で一次式に単純化する。
どこまで分かった？
単純化は固定したパターンと十分大きな許容階層に対する結果であり、任意の円分余弦式に当てはまるわけではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
ガロア軌道の構造と有限周波数展開を組み合わせ、完全に対称な場合を超えた円分余弦式の評価を研究する。まず、有理数体上の打ち切りと両立する多項式族について、評価された値の不変性と多項式の式そのものの不変性を区別する。階層の有理関数で総和を表せることは、評価値が十分大きな階層で有理数になることを強制する。逆に、どの有理数値列も、総次数が一様に2以下の両立する族で実現できる。したがって値だけのガロア不変性からは、安定領域での硬い制約はほとんど得られない。次に、乗法的な配置で添字付けした、軌道構造を持つ明示的なパターン和を導入する。固定した各パターンについて、十分大きい許容階層 n では、その円分余弦の評価は、n と対応する Laurent 多項式のゼロ周波数係数 S0(r,h) の積から2の |h| 乗を引いた一次式へ単純化する。したがって、有限個のこのようなパターンから一つの多項式の作り方で一様に生成したどの族も、十分大きい階層では評価値が多項式となる。最後に、穴を除いた添字集合を最大公約数による軌道へ分解すると、Ramanujan 和を用いた軌道ごとの厳密な式が得られる。二つの素数の積の場合と素数冪の場合は、この一般式の分かりやすい特殊例となる。これらの結果は、値だけのガロア不変性から対称な場合の硬い制約を広げることを妨げる理由と、非対称でも安定領域で一様に単純化する具体的なクラスを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study cyclotomic cosine evaluations beyond the fully symmetric setting by combining Galois-orbit structure with finite-frequency expansions. First, for truncation-compatible poly?nomial families over Q, we distinguish invariance of the evaluated value from invariance of the polynomial formula. Summability by a rational function of the level forces eventual rationality of the evaluated values. Conversely, every rational-valued sequence can be realized by a compatible family whose total degree is uniformly bounded by two, showing that value-level Galois invariance alone carries essentially no stable-range rigidity. We then introduce explicit orbit-structured pattern sums indexed by multiplicative configurations. For every fixed pattern, at each sufficiently large admissible level n, its cyclotomic cosine evaluation collapses to an affine function n times S0(r,h) minus 2 to the abs(h) power, where S0 is the zero-frequency coefficient of the associated Laurent polynomial. Consequently, every family uniformly generated from finitely many such patterns by a single polynomial recipe has eventually polynomial evaluation. Finally, decomposing the punctured index set into gcd-orbits yields an exact orbitwise formula in terms of Ramanujan sums. The semiprime and prime-power cases become transparent specializations of this general identity. These results identify both the obstruction to extending symmetric rigidity from value-level Galois invariance and a concrete non-symmetric class exhibiting uniform stable-range collapse
著者のコメント
22 pages
arXiv ID: 2609.27084 ／ 要約の誤りについて