[論文レビュー] Moments of isotropic measures and optimal projective codes

Alexey Glazyrin|arXiv (Cornell University)|Apr 25, 2019

Mathematical Approximation and Integration参考文献 70被引用数 4

ひとこと要約

本稿では、実数、複素数、クaternion的空間における等方的測度のモーメントの鋭い上界を導出するための線形計画法フレームワークを開発し、それらを用いて射影コードにおける $p$-フレームエネルギーの新たな下界を確立する。主な結果は、BukhとCoxの予想を解決し、$K^d$ における等方的測度の $q$-次のモーメントが $\beta^q + \frac{1 - \beta^q}{M}$ で抑えられることを示した。ここで等号は $d = 2,3,7,23$（$K=\mathbb{R}$）、$d=3$（$K=\mathbb{H}$）、および予想的にはすべての $d$（$K=\mathbb{C}$）における最大射影単体で成立する。

ABSTRACT

In this paper, we use the linear programming approach to find new upper bounds for the moments of isotropic measures. These bounds are then utilized for finding lower packing bounds and energy bounds for projective codes. We also show that the obtained energy bounds are sharp for several infinite families of codes.

研究の動機と目的

• 線形計画法のアプローチを $\mathbb{R}^d$, $\mathbb{C}^d$, および $\mathbb{H}^d$ における等方的測度のモーメントを評価するように拡張する。
• これらのモーメントの上限を用いて、射影コードにおける $p$-フレームエネルギーのポテンシャルの新たな下界を導出する。
• 等方的測度の第一モーメントの上限の鋭さに関するBukhとCoxの予想を解決する。
• 導出したエネルギー下界が鋭い、無限個の射影コード族を構成する。
• Gale変換と Hölder の不等式を用いて、射影コードとタイトフレームの間の双対性を一般化する。

提案手法

• $K = \mathbb{R}, \mathbb{C}, \mathbb{H}$ に対して、Yudin型線形計画法を $K^d$ における等方的測度に適応する。
• $q \in [1,2]$ における等方的測度の $q$-次のモーメントの一般線形計画法による上限を導出する。
• 式 $\beta^q + \frac{1 - \beta^q}{M}$ を用い、ここで $\beta = \sqrt{\frac{1}{d + 2(dim_{\mathbb{R}}K)^{-1}}}$ かつ $M = d + \frac{d^2 - d}{2} dim_{\mathbb{R}}K$ とする。
• モーメントの上限を用いて、射影コード上での $p$-フレームエネルギーのポテンシャルの下界を導出する。
• タイトフレームのGale双対性から得られる1パラメータ族のグラム行列を用いて、最小化構成を構成する。
• 最大射影単体上の一様分布で等号が成立することを示すことにより、上限の鋭さを確認する。

実験結果

リサーチクエスチョン

• RQ1 実数、複素数、クaternion的空間 $K = \mathbb{R}, \mathbb{C}, \mathbb{H}$ における $K^d$ における等方的測度の $q$-次のモーメントの最良上界は何か？
• RQ2 線形計画法のアプローチを、射影コードにおける $p$-フレームポテンシャルの鋭いエネルギー評価に拡張できるか？
• RQ3 BukhとCoxの予想、すなわち等方的測度の第一モーメントの上限の鋭さは真か？
• RQ4 どの無限個の射影コード族において、導出したエネルギー下界が鋭いか？
• RQ5 Gale双対性を用いて、関数不等式を通じて射影コードのエネルギーとタイトフレームのエネルギーを結びつけられるか？

主な発見

• 等方的測度の $q$-次のモーメントは、$\beta^q + \frac{1 - \beta^q}{M}$ で抑えられ、ここで $\beta = \sqrt{\frac{1}{d + 2(dim_{\mathbb{R}}K)^{-1}}}$ かつ $M = d + \frac{d^2 - d}{2} dim_{\mathbb{R}}K$ である。
• この上限は、最大射影単体上の一様分布において、正確に等号が成立する。最大射影単体は、$K = \mathbb{R}$ のとき $d = 2,3,7,23$、$K = \mathbb{H}$ のとき $d = 3$、$K = \mathbb{C}$ のとき予想的にはすべての $d$ で存在する。
• 本稿は、BukhとCoxの予想を解決し、彼らの第一モーメントの上限が、$q = 1$ の場合の一般結果の特殊ケースであることを示した。
• モーメントの上限を用いて、$\mathbb{R}^d$, $\mathbb{C}^d$, および $\mathbb{H}^d$ における射影コードの $p$-フレームエネルギーのポテンシャルの新たな下界が得られた。
• 導出したエネルギー下界が鋭い無限個の射影コード族が構成され、特に $\mathbb{R}^4$ における6点コードに対しては、1パラメータ族の最小化グラム行列が得られた。
• $\mathbb{R}^4$ における6点コードの場合、最小化構成は $\alpha = 1 + \frac{1}{1 + 2^{\frac{p-2}{p-1}}}$ でパラメータ化された行列の線分を形成し、$\alpha \in [\frac{4}{3}, \frac{3}{2}]$ であり、32個の異なる最小化グラム行列を生成する。