[論文レビュー] Free Convex Algebraic Geometry

J. William Helton, Igor Klep+1 more|arXiv (Cornell University)|Apr 15, 2013

Mathematics and Applications参考文献 53被引用数 15

ひとこと要約

この論文は、行列および作用素変数を用いた非可換多項式不等式を解析するためのフレームワークとして、自由凸代数幾何学を導入する。主な焦点は凸性と正定性に向けられている。自由凸多項式はちょうど次数 ≤2 であることが示され、自由正性に関する洗練されたPositivstellensatzが提供され、線形システム工学と量子情報理論における最適化手法を統合する。

ABSTRACT

This chapter is a tutorial on techniques and results in free convex algebraic geometry and free real algebraic geometry (RAG). The term free refers to the central role played by algebras of noncommutative polynomials R in free (freely noncommuting) variables x=(x_1,...,x_g). The subject pertains to problems where the unknowns are matrices or Hilbert space operators as arise in linear systems engineering and quantum information theory. The subject of free RAG flows in two branches. One, free positivity and inequalities is an analog of classical real algebraic geometry, a theory of polynomial inequalities embodied in algebraic formulas called Positivstellensätze; often free Positivstellensätze have cleaner statements than their commutative counterparts. Free convexity, the second branch of free RAG, arose in an effort to unify a torrent of ad hoc optimization techniques which came on the linear systems engineering scene in the mid 1990's. Mathematically, much as in the commutative case, free convexity is connected with free positivity through the second derivative: A free polynomial is convex if and only if its Hessian is positive. However, free convexity is a very restrictive condition, for example, free convex polynomials have degree 2 or less. This article describes for a beginner techniques involving free convexity. As such it also serves as a point of entry into the larger field of free real algebraic geometry.

研究の動機と目的

• 自由凸代数幾何学および自由実代数幾何学（自由RAG）のチュートリアルフレームワークを構築すること。特に、自由に非可換な変数を含む非可換多項式に焦点を当てる。
• 1990年代の線形システム工学における即席の最適化技法を、自由凸性と正性の観点から統合すること。
• ヘッセ行列を通じて自由凸性と自由正性の関係を確立し、自由多項式が凸であるための必要十分条件がそのヘッセ行列が半正定値であることであることを示すこと。
• 量子情報、線形システム、自由確率論への応用を含め、初心者にとって自由RAGへの入り口を提供すること。
• 自由凸多項式がちょうど次数 ≤2 に制限されることを示し、非可換設定における重要な構造的制約を強調すること。

提案手法

• g 個の自由に非可換な変数 x = (x₁,…,x₉) を持つ非可換多項式環 R⟨x⟩ を用い、行列および作用素変数をモデル化する。
• ヘッセ行列を用いて自由凸性を特徴づける：自由多項式が凸であるための必要十分条件は、そのヘッセ行列が半正定値であることである。
• 非可換多項式における二次形式のための「中央行列」表現を導入し、正定性のテストを行列の半正定性に還元可能にする。
• 曲率と凸性を非可換多様体で分析するために、「緩めたヘッセ行列」と「修正ヘッセ行列」を用いる。
• 中央行列を用いたグラムに類似た表現を構築し、正定性と行列の正定性を結びつける。
• Der QuadratischePositivstellensatz（二次Positivstellensatz）を適用し、凸性制約下で非負の自由多項式が平方和として表されることを特徴づける。

実験結果

リサーチクエスチョン

• RQ1 非可換変数における自由凸多項式はどのように特徴づけられるのか。なぜそれらはちょうど次数 ≤2 に制限されるのか。
• RQ2 ヘッセ行列は非可換設定における凸性をどのように決定するのか。正定性とどのように関係するのか。
• RQ3 正の曲率を持つ非可換多様体の構造は何か。曲率は定義多項式の次数にどのように制約を加えるのか。
• RQ4 自由正性はどのようにPositivstellens¨atzeを用いて特徴づけられるのか。古典的可換バージョンと比べてどう異なるのか。
• RQ5 中央行列は非可換多項式の正定性の表現とテストにおいて果たす役割は何か。

主な発見

• 自由凸多項式はちょうど次数 ≤2 である。これは可換の場合に見られない強い制限を示している。
• 非負の自由多項式は平方和である。これは定理1で確立されており、古典的実代数幾何学よりも洗練された結果をもたらす。
• 自由凸性は、自由多項式のヘッセ行列が半正定値であることと同値である。これにより、凸性が2階微分解析と直接結びつく。
• 中央行列表現により、非可換多項式の正定性のテストが行列の半正定性に還元され、効果的に可能になる。
• 正の曲率を持つ非可換多様体は、すべて次数が2以下である多項式によって定義されなければならない。これは第6節の主結果で示されている。
• Der QuadratischePositivstellensatzは、凸性仮定の下で非負の自由多項式が平方和として完全に特徴づけられることを示している。