[論文レビュー] Introduction to coherent spaces

Arnold Neumaier|arXiv (Cornell University)|Apr 4, 2018

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

ひとこと要約

本稿では、ベクトル空間の公理を放棄しながら内積構造を保ったまま、複素ユークリッド空間の非線形一般化としての「一貫性空間」を導入する。基礎的概念として、一貫性積、量子空間、位相的構造を定義し、条件付き正値関数がベレジン＝ワラッハ集合を介して一貫性空間に対応することを証明する。これにより、指数型カーネルが正定値のままである指数の範囲が特徴づけられる。

ABSTRACT

The notion of a coherent space is a nonlinear version of the notion of a complex Euclidean space: The vector space axioms are dropped while the notion of inner product is kept. Coherent spaces provide a setting for the study of geometry in a different direction than traditional metric, topological, and differential geometry. Just as it pays to study the properties of manifolds independently of their embedding into a Euclidean space, so it appears fruitful to study the properties of coherent spaces independent of their embedding into a Hilbert space. Coherent spaces have close relations to reproducing kernel Hilbert spaces, Fock spaces, and unitary group representations, and to many other fields of mathematics, statistics, and physics. This paper is the first of a series of papers and defines concepts and basic theorems about coherent spaces, associated vector spaces, and their topology. Later papers in the series discuss symmetries of coherent spaces, relations to homogeneous spaces, the theory of group representations, $C^*$-algebras, hypergroups, finite geometry, and applications to quantum physics. While the applications to quantum physics were the main motiviation for developing the theory, many more applications exist in complex analysis, group theory, probability theory, statistics, physics, and engineering.

研究の動機と目的

• 内積に基づく空間を研究するための幾何的枠組みを構築すること。ただし、ベクトル空間の公理を必要としない。
• 一貫性空間と再生核ヒルベルト空間、フォック空間、ユニタリ群表現との関係を確立すること。
• 一貫性積構造を用いて、一貫性状態、対称空間、量子場理論を統一的に幾何学的に理解する視点を提供すること。
• ベレジン＝ワラッハ集合 $ W(F) $ を定義・分析し、指数型カーネルが正定値のままである指数の範囲を特徴づけること。
• 将来の研究の基盤を築くこと。特に、対称性、同次空間、C*-代数、物理学および統計学への応用を想定する。

提案手法

• 一貫性空間を、複素数値関数（一貫性積）を備えた集合として定義する。この関数は正値性および対称性の条件を満たす。
• 有限個の評価汎関数の線形結合の空間の完備化として、量子空間を定義する。
• ムーア＝アロンツァインの定理を用いて、任意の一貫性積に対して再生核ヒルベルト空間を関連付ける。
• 正値型関数の理論、特にボホナーの定理およびクラインの定理を応用し、一貫性積を特徴づける。
• ベレジン＝ワラッハ集合 $ W(F) $ を、$ \beta \geq 0 $ に対して $ e^{\beta F} $ が正値型であるような $ \beta $ の集合として定義する。ここで $ F(z,z') = \log K(z,z') $ である。
• $ W(F) $ が閉集合であり、0 を含み、加法に関して閉じており、$ F $ が条件付き正値である場合、すべての非負実数を含むことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル空間の公理を要しない条件下で、ユークリッド空間の内積構造をどのように一般化できるか？
• RQ2 関数 $ F: Z \times Z \to \mathbb{C} \cup \{-\infty\} $ が、$ K(z,z') = e^{\beta F(z,z')} $ を通じて正定値カーネルを生成するための必要十分条件は何か？
• RQ3 ベレジン＝ワラッハ集合 $ W(F) $ の構造は何か？また、$ F $ の条件付き正値性とはどのように関係するか？
• RQ4 一貫性空間は再生核ヒルベルト空間、フォック空間、ユニタリ群表現とどのように関係するか？
• RQ5 一貫性空間は、量子物理学における一貫性状態および対称空間を幾何学的にどのように枠組みづけるか？

主な発見

• ベレジン＝ワラッハ集合 $ W(F) $ は常に閉集合であり、0 を含み、加法に関して閉じており、したがってその元のすべての非負整数線形結合を含む。
• $ F $ が条件付き正値である場合、$ W(F) $ はすべての非負実数を含む。これは、すべての $ \beta \geq 0 $ に対して $ e^{\beta F} $ が正定値であることを意味する。
• $ W(F) $ の極限点として 0 が存在するならば、$ F $ は条件付き正値でなければならない。これは前記の結果の逆を示しており、成立する。
• 非負実数の一貫性積を持つ有限一貫性空間に対しては、$ W(F) $ は区間 $ [|Z| - 2, \infty) $ を含む。これはフィッツジェラルドとホーンによって示された。
• 一貫性積 $ K(z,z') $ はムーア＝アロンツァイン構成により再生核ヒルベルト空間を定義し、一貫性空間と関数解析学との深い関係を確立する。
• 一貫性空間は、$ F $ がヘルミート的対称空間のケーラー・ポテンシャルである場合、対称空間およびカーラー多様体を一般化する。