[論文レビュー] On Chebotarëv's nonvanishing minors theorem and the Biró-Meshulam-Tao discrete uncertainty principle

Stephan Ramon Garcia, Gizem Karaali+1 more|arXiv (Cornell University)|Jul 19, 2018

Computability, Logic, AI Algorithms被引用数 2

ひとこと要約

この論文は、離散フーリエ行列の非ゼロ小行列式に関するチェボタレフの定理を、離散コサイン行列およびサイン行列へ一般化し、群作用における対称性を持つ関数に対するより広範な不確定性原理を確立する。結果の最適性を証明し、ガウス和を用いて非素数体へ拡張することで、ビロ、メシュルァム、タオの先行研究を強化する。

ABSTRACT

Chebotarev's theorem says that every minor of a discrete Fourier matrix of prime order is nonzero. We prove a generalization of this result that includes analogues for discrete cosine and discrete sine matrices as special cases. We then establish a generalization of the Biro-Meshulam-Tao uncertainty principle to functions with symmetries that arise from certain group actions, with some of the simplest examples being even and odd functions. We show that our result is best possible and in some cases is stronger than that of Biro-Meshulam-Tao. Some of these results hold in certain circumstances for non-prime fields; Gauss sums play a central role in such investigations.

研究の動機と目的

• 離散コサイン行列およびサイン行列へまで、チェボタレフの非ゼロ小行列式定理を拡張すること。
• ビロ、メシュルァム、タオの離散不確定性原理を、偶関数や奇関数など群作用に関して不変な関数へ一般化すること。
• 新しい不確定性原理の最適性を示し、元の結果よりも特定の状況で優れていることを示すこと。
• ガウス和が中心的役割を果たす非素数体におけるこれらの結果の有効性を調査すること。

提案手法

• 代数的数論および単位根の性質を用いたチェボタレフの定理の一般化。
• 直交性および対称性構造を用いた離散コサイン行列およびサイン行列の小行列式の分析。
• 群作用および表現論的対称性に基づいた一般化された不確定性原理の定式化。
• ガウス和を用いて、非素数有限体への結果の拡張。
• 双対性および調和解析を用いて、対称性制約下での時間領域および周波数領域におけるスパarsityの関係を関係づける。
• 境界に到達する関数の明示的構成により最適性の証明。

実験結果

リサーチクエスチョン

• RQ1 チェボタレフの非ゼロ小行列式定理は、離散コサイン行列およびサイン行列へ拡張可能か？
• RQ2 対称性を持つ関数に対する不確定性原理は、元のビロ・メシュルァム・タオの原理とどのように比較されるか？
• RQ3 ガウス和は、これらの結果を非素数体へ拡張する際に果たす役割は何か？
• RQ4 一般化された不確定性原理は最適か？ また、どのような状況で元の結果よりも厳密に強いのか？
• RQ5 どのような群作用のもとで、一般化された不確定性原理が成り立つか？

主な発見

• 本論文は、素数順序の離散コサイン行列およびサイン行列のすべての小行列式が非ゼロであることを確立し、チェボタレフの定理を一般化する。
• 群作用に関して不変な関数（偶関数・奇関数なども含む）に適用可能な一般化された不確定性原理を証明する。
• 新しい不確定性原理が最適であることが示され、境界に到達する明示的例が提示される。
• 一部の状況では、一般化された原理が元のビロ・メシュルァム・タオの結果よりも厳密に強い境界を与える。
• 結果は非素数体へも拡張可能であり、関連小行列式の非ゼロ性を証明する際にガウス和が不可欠である。
• この枠組みは、対称性制約下での既存の不確定性原理を統合・強化する。