[論文レビュー] On Holder-Brascamp-Lieb inequalities for torsion-free discrete Abelian groups

Michael Christ, James Demmel+3 more|arXiv (Cornell University)|Oct 14, 2015

Limits and Structures in Graph Theory参考文献 7被引用数 8

ひとこと要約

本稿は、捩れのない離散アーベル群におけるホルダー＝ブラスキャン＝リーブ不等式の最適定数が、不等式が成立する限り正確に1に等しいことを確立する。また、許容可能な指数多面体を計算するためのアルゴリズムを提示し、その多面体を定義する不等式の完全なリストを計算することは、有理数体上でのヒルベルトの10番目の問題を解くことと同値であることを証明する——これはまだ未解決の問題である。

ABSTRACT

Hölder-Brascamp-Lieb inequalities provide upper bounds for a class of multilinear expressions, in terms of $L^p$ norms of the functions involved. They have been extensively studied for functions defined on Euclidean spaces. Bennett-Carbery-Christ-Tao have initiated the study of these inequalities for discrete Abelian groups and, in terms of suitable data, have characterized the set of all tuples of exponents for which such an inequality holds for specified data, as the convex polyhedron defined by a particular finite set of affine inequalities. In this paper we advance the theory of such inequalities for torsion-free discrete Abelian groups in three respects. The optimal constant in any such inequality is shown to equal $1$ whenever it is finite. An algorithm that computes the admissible polyhedron of exponents is developed. It is shown that nonetheless, existence of an algorithm that computes the full list of inequalities in the Bennett-Carbery-Christ-Tao description of the admissible polyhedron for all data, is equivalent to an affirmative solution of Hilbert's Tenth Problem over the rationals. That problem remains open. Applications to computer science will be explored in a forthcoming companion paper.

研究の動機と目的

• 捩れのない離散アーベル群の設定において、ホルダー＝ブラスキャン＝リーブ不等式が成立する指数の集合を特徴づけること。
• このような不等式における最適定数を特定し、それが有限である限り常に1に等しいことを示すこと。
• 与えられた群データに対して許容可能な指数多面体を計算するためのアルゴリズムを開発すること。
• 多面体を定義する不等式の完全なリストを計算する際の論理的複雑性を調査し、有理数体上でのヒルベルトの10番目の問題と結びつけること。

提案手法

• 有限生成で捩れのないアーベル群間の群準同型 $\phi_j: G \to G_j$ を用いて、多重線形表現を定義する。
• 部分群 $H \leq G$ におけるランク不等式を用いて、許容可能な指数集合 $\mathcal{P}(\mathfrak{G})$ を定義する。
• 部分群のランク条件から導かれる有限個のアフィン不等式を用いて、凸多面体 $\mathcal{P}(\mathfrak{G})$ を記述する。
• 代数幾何学とモデル理論を用いて、$\mathbb{Q}$ 上の多項方程式系の解の構造を分析する。
• ベンネット＝カーバリー＝クリスト＝トウの記述におけるすべての不等式を計算する問題を、ディオファントス方程式系の解の存在問題に還元する。
• 有理数ベクトル空間における行簡約と基底構成を用いて、群準同型データによって定義される代数的概形に属するかを検証する。

実験結果

リサーチクエスチョン

• RQ1 捩れのない離散アーベル群におけるホルダー＝ブラスキャン＝リーブ不等式の最適定数は何か？
• RQ2 このような群の許容可能な指数多面体を定義する不等式の完全なリストを計算するアルゴリズムは存在するか？
• RQ3 多面体を定義する不等式の完全なリストを計算する問題は、数論における未解決問題と同値か？
• RQ4 部分群のランク条件は、許容可能な指数集合の構造をどのように決定するか？
• RQ5 与えられた指数タプルが許容可能な多面体に属するかどうかを決定する論理的複雑性は何か？

主な発見

• 捩れのない離散アーベル群における任意のホルダー＝ブラスキャン＝リーブ不等式の最適定数 $C$ は、不等式が成立する限り正確に1に等しい。
• 許容可能な指数集合 $\mathcal{P}(\mathfrak{G})$ は、部分群のランク条件から導かれる有限個のアフィン不等式によって定義される凸多面体である。
• 任意のアーベル群HBLデータに対して、多面体 $\mathcal{P}(\mathfrak{G})$ を計算するためのアルゴリズムが存在する。
• ベンネット＝カーバリー＝クリスト＝トウの記述における $\mathcal{P}(\mathfrak{G})$ のすべての不等式を計算するアルゴリズムの存在は、有理数体上でのヒルベルトの10番目の問題の肯定的解法に同値である。
• この同値性は、$\mathbb{Q}$ 上の多項方程式系の可解性への還元によって確立され、解は代数的概形上の有理点に対応する。
• 本稿は、不等式が定数1で成立するか否かが、関連する有限集合不等式 (1.5) が定数1で成立するか否かに同値であることを確認しており、解析的および組合せ的表現を結びつける。