[論文レビュー] On the group of rational spectral units with finite order

Emmanuel Amiot|ArXiv.org|Jul 5, 2009

Mathematical Analysis and Transform Methods参考文献 1被引用数 3

ひとこと要約

本稿は、巡回群上の同響的集合の文脈において、有限位数をもつ有理スペクトルユニットの部分群を特徴づける。フーリエ解析と法n乗法群作用における固有値の関係を用いて、このようなスペクトルユニットが、固有値が単位根であることに完全に決定されることを証明する。その制約はnの約数およびnの偶奇性に依存する。

ABSTRACT

The problem of phase retrieval is a difficult one which remains far from solved. Two homometric sets are always connected by way of a convolution product by some spectral unit, though not necessarily in a unique way. Here we elucidate one small aspect, the subgroup of spectral units with finite order. Its elements are completely characterized by relations between their eigenvalues. This sheds some light on the beltway problem.

研究の動機と目的

• 巡回群上の同響的集合の文脈において、有限位数をもつ有理スペクトルユニットの部分群を特徴づける。
• 畳み込みのもとで区間内容を保存するスペクトルユニットの代数的構造を理解する。
• このようなスペクトルユニットが有理係数かつ有限位数をもつための条件を特定する。
• Z_n^* の作用における固有値の関係が、これらのユニットを定義する役割を明確にする。
• ベルトウェイ問題と音楽理論におけるZ関係を、スペクトルユニットを通じて代数的整数論と結びつける。

提案手法

• 巡回行列、畳み込み代数、対角行列の間の同型をフーリエ変換を用いて確立する。
• フーリエ行列Ωを用いて巡回行列を対角化し、スペクトルユニットをユニモジュラー固有値をもつ対角行列と関連付ける。
• 乗法群Z_n^* が固有値に作用する様子を分析し、軌道構造と制約を特定する。
• 中国剰余定理とZ_n^* 内の差の性質を用いて、固有値の条件を導出する。
• ベズーの等式を用いて、各j ∈ Z_n がd = gcd(n,j) という約数に対応することを示し、問題を約数代表元に還元する。
• 補題6を適用し、Δ_n = Z_n^* - Z_n^* がnが奇数のときはZ_n、nが偶数のときは2Z_nに等しいことを示し、固有値の位数を制約する。

実験結果

リサーチクエスチョン

• RQ1 有理係数をもつスペクトルユニットが有限位数をもつための必要十分条件は何か？
• RQ2 有限位数をもつ有理スペクトルユニットの固有値は、単位根およびZ_n の構造とどのように関係するか？
• RQ3 n の約数およびn の偶奇性が、このようなスペクトルユニットの可能な固有値を決定する上で果たす役割は何か？
• RQ4 有限位数をもつ有理スペクトルユニットは、Z_n^* の軌道への作用によって完全に特徴づけられるか？
• RQ5 乗法群Z_n^* の構造が、有限位数をもつ有理スペクトルユニットにおける固有値関係をどのように制約するか？

主な発見

• すべての有限位数をもつ有理スペクトルユニットは、固有値が単位根であり、n の約数に依存する制約を満たすことで完全に決定される。
• nが偶数のとき、nを割るjについての固有値ξ_jは、n/j の2進数的評価に応じて、位数がnまたは2nを割る単位根でなければならない。
• nが奇数のとき、ξ_j はn乗根であれば位数がnを割る単位根であり、原始2n乗根であれば位数が2nを割る単位根でなければならない。
• nの任意の約数jについて、固有値ξ_jは、k, k' ∈ Z_n^* がk' - k = n/j（奇数の場合）または2n/j（偶数の場合）を満たす存在によって制約され、ξ_j^{n/j} = 1 または ξ_j^{2n/j} = 1 が成り立つ。
• 固有値ξ_j がn乗単位根でない場合、-ξ_j はn乗単位根でなければならない。これはn/j が奇数のときにのみ成立する。
• すべてのスペクトルユニットは、nの各約数dについて、nまたは2nを割る単位根を選び、n/d の偶奇に応じて決定される。