意味
させて
空でない集合であり、インデックス集合と呼ばれることもある。対称関数
これは正定値(pd)カーネルと呼ばれます。
もし
すべての
、
。
確率論では、(1.1) の等号が意味する正定値カーネルと、
、およびこの条件を課さない正半定値 (psd) カーネル。これは、ペアワイズ評価によって構築されたすべての有限行列が、
は、完全に正の固有値(pd)または非負の固有値(psd)のいずれかを持つ。
数学文献では、カーネルは通常、複素数値関数である。つまり、複素数値関数
は、以下の条件を満たす場合にエルミート核と呼ばれます。
任意の有限個の点集合に対して正定値である
および任意の複素数
、

どこ
は複素共役を表します。[ 1 ]この記事の残りの部分では、pdカーネルの応用で一般的な慣行である実数値関数を仮定します。
いくつかの一般的な特性
- pdカーネルのファミリーの場合

- 円錐和
はpdであり、
- この製品は
はpdであり、
- 限界
極限が存在する場合、それはpdである。
- もし
は集合の列であり、
pdカーネルのシーケンス、そして両方
そして
pdカーネルは
。 - させて
すると制限が
の
に
これもpdカーネルです。
pdカーネルの例
- ユークリッド空間上で定義されたpdカーネルの一般的な例
含む: - 線形カーネル:
。 - 多項式カーネル:
。 - ガウスカーネル(RBFカーネル):
。 - ラプラシアンカーネル:
。 - アベル核:
。 - カーネル生成ソボレフ空間
:
、 どこ
は第3種ベッセル関数です。 - ペイリー・ウィーナー空間を生成するカーネル:
。
- もし
がヒルベルト空間である場合、対応する内積
これはpdカーネルです。実際、私たちは
- カーネルは以下のように定義されます
およびヒストグラム: ヒストグラムは、 実生活の問題の応用において頻繁に遭遇します。ほとんどの観測値は通常、カウントの非負ベクトルの形式で得られ、これを正規化すると、頻度のヒストグラムが得られます。次の二乗メトリックの族、それぞれジェンセンダイバージェンス、
-二乗、全変動、およびヘリンジャー距離の2つのバリエーション:

以下の式を用いてpdカーネルを定義することができる。
その他のカーネルの例
シグモイドカーネル、または双曲線正接カーネルは次のように定義されます。
どこ
は実数パラメータです。カーネルはPDではありませんが、カーネルアルゴリズムに使用されることがあります。[ 3 ]
歴史
(1.1)で定義される正定値カーネルは、1909年にジェームズ・マーサーによる積分方程式に関する論文で初めて登場した。[ 4 ]その後20年間で他の著者数名がこの概念を利用したが、カーネルを明示的に使用した者はいなかった。
、iepd 関数(実際、M. Mathias とS. Bochner はpd カーネルの研究を知らなかったようです)。マーサーの研究は、1904 年のヒルベルトの論文[ 5 ]の第 2 種フレドホルム積分方程式から始まりました。
特にヒルベルトは、
どこ
は連続実対称核であり、
連続的である、
は正規直交固有関数の完全なシステムであり、
は、(1.2) の対応する固有値である。ヒルベルトは、「確定」核を、二重積分が
満たす
例外
マーサーの論文の本来の目的は、ヒルベルトの意味で正定値である核関数を特徴づけることであったが、マーサーはすぐに、そのような関数のクラスは行列式で特徴づけるには制約が厳しすぎることに気づいた。そこで彼は、連続な実対称核関数を定義した。
正型(つまり正定値)である場合
すべての実連続関数に対して
の上
そして彼は、(1.1)がカーネルが正型であるための必要十分条件であることを証明した。マーサーは、任意の連続pdカーネルに対して展開が成り立つことを証明した。
絶対的かつ均一に成り立つ。
ほぼ同時期に、WH Young [ 6 ]は、積分方程式の理論における別の疑問に触発されて、連続核の場合、条件 (1.1) は以下と同等であることを示した。
すべての人々のために
。
EH ムーア[ 7 ] [ 8 ]は、非常に一般的な種類の pd カーネルの研究を開始しました。
は抽象的な集合であり、彼は関数と呼ぶ。
定義済み
すべての に対して (1.1) を満たす場合、「正のエルミート行列」
ムーアは積分方程式の一般化に興味を持ち、そのような各積分方程式に対して
ヒルベルト空間が存在する
各関数について
この性質は核の再生性質と呼ばれ、楕円型偏微分方程式の境界値問題の解法において重要な意味を持つことがわかっています。
pd 核が大きな役割を果たしたもう 1 つの発展の流れは、 1929 年にE. Cartanによって始められ、H. Weylと S. Ito によって引き継がれた同次空間上の調和理論です。同次空間における pd 核の最も包括的な理論はM. Krein [ 9 ]によるもので、pd 関数と局所コンパクト群の既約ユニタリ表現に関する研究を特殊なケースとして含んでいます。
確率論では、pdカーネルは確率過程の共分散カーネルとして現れる。[ 10 ]
再生核ヒルベルト空間および特徴マップとの関連性
正定値カーネルは、いくつかの基本的なヒルベルト空間構成を包含する枠組みを提供する。以下では、正定値カーネルと、再生ヒルベルト空間および特徴マップという2つの数学的対象との密接な関係を示す。
させて
セットである、
関数のヒルベルト空間
、 そして
対応する内積
どのような場合でも
評価関数
定義される
まず、再生核ヒルベルト空間(RKHS)を定義します。
定義:空間
評価汎関数が連続である場合、それは再生核ヒルベルト空間と呼ばれます。
すべてのRKHSには、再生核という特別な機能が関連付けられています。
定義:再生核は関数である
そのため
、 そして
すべての
そして
。
後者の性質は再生性質と呼ばれる。
以下の結果は、RKHSと再生核が等価であることを示している。
定理—すべての再生核
固有のRKHSを誘導し、すべてのRKHSは固有の再生核を持つ。
正定値カーネルとRKHSの関係は、次の定理によって示される。
定理—すべての再生核は正定値であり、すべての正定値核は一意のRKHSを定義し、そのRKHSの唯一の再生核である。
したがって、正定値カーネルが与えられた場合
関連するRKHSを構築することが可能です
再生核として。
前述のように、正定値カーネルは内積から構築できます。この事実は、pdカーネルを機械学習アプリケーションで発生するもう1つの興味深いオブジェクト、つまり特徴マップと関連付けるために使用できます。
ヒルベルト空間であり、
対応する内積。任意のマップ
これはフィーチャマップと呼ばれます。この場合、
特徴空間。 [ 11 ]からわかるように、すべての特徴マップは、次の方法で一意のpdカーネルを定義します。
実際、正定値性
これは内積のpd特性から導かれる。一方、すべてのpdカーネルとその対応するRKHSには、多くの関連特徴マップがある。例えば:
、 そして
すべての人々のために
。 それから
これは、再生特性によるものです。このことから、pdカーネルを適切なヒルベルト空間における内積として捉える新たな視点が示唆されます。言い換えれば、pdカーネルは、2点間の類似性を効果的に定量化する類似性マップとして見なすことができます。
そして
価値を通じて
さらに、pdカーネルとその対応するRKHSの等価性により、すべての特徴マップを使用してRKHSを構築できます。
カーネルと距離
カーネル法は、最近傍法などの距離ベースの手法と比較されることが多い。このセクションでは、それぞれの構成要素であるカーネル間の類似点について議論する。
距離
。
ここでは、ある集合の各要素のペア間の距離関数によって定義される。
ここでいう距離とは、その集合上で定義された距離、すなわち非負の値をとる任意の関数を指します。
の上
これは以下を満たす
、 そして
かつその場合に限り
、

距離とpdカーネルの間の関係の一つは、負定値カーネルと呼ばれる特定の種類のカーネルによって与えられ、それは次のように定義される。
定義:対称関数 :{\mathcal {X}}\times {\mathcal {X}}\to \mathbb {R} }
は負定値 (nd) カーネルと呼ばれます。
もし
あらゆる
そして
そのため
。
nd カーネルと距離の類似点は次のとおりです。 nd カーネルが集合上で消滅する場合
、そして、この集合上でのみゼロである場合、その平方根は距離である。
[ 12 ]同時に、各距離は必ずしもカーネルに対応するわけではありません。これは、距離がヒルベルト距離の場合にのみ当てはまります。
距離空間を埋め込むことができる場合、それはヒルベルト的と呼ばれる。
あるヒルベルト空間に等長変換する。
一方、ndカーネルは、無限に分割可能なカーネルとして知られるpdカーネルのサブファミリーと同一視できる。非負の値を持つカーネル
は、すべての に対して が無限に割り切れると言われます。
正定値カーネルが存在する
そのため
。
もう1つの関連性は、pdカーネルが擬似距離を誘導し、距離関数の最初の制約が緩和されて
のために
正定値カーネルが与えられた場合
距離関数は次のように定義できます。 
いくつかのアプリケーション
その他の用途
コンピュータ実験[ 14 ]やその他の工学実験に関する文献では、pdカーネル、RBF、またはクリギングに基づくモデルに遭遇することが増えています。そのようなトピックの1つが応答曲面法です。データフィッティングに帰着する他のタイプのアプリケーションには、ラピッドプロトタイピングとコンピュータグラフィックスがあります。ここでは、点群データを近似または補間するために暗黙的曲面モデルがよく使用されます。
pdカーネルの応用は、多変数積分、多変数最適化、数値解析、科学計算など、数学のさまざまな分野に及んでおり、これらの分野では、高性能計算環境で理想的に実装される高速で正確かつ適応性の高いアルゴリズムが研究されている。[ 15 ]
参考文献
- ↑ベレザンスキー、ユーリ・マカロヴィチ( 1968)。自己共役作用素の固有関数による展開。プロビデンス、ロードアイランド州:アメリカ数学会。pp. 45–47。ISBN 978-0-8218-1567-0。
- ↑ Hein, M. および Bousquet, O. (2005). "確率測度上のヒルベルト計量と正定値カーネル". Ghahramani, Z. および Cowell, R. 編、AISTATS 2005 論文集。
- ↑ Lin, Hsuan-Tien、Chih-Jen Lin。「SVM 用シグモイドカーネルの研究と SMO 型手法による非 PSD カーネルの学習」 Neural Comput 3.1-32 (2003): 16。
- ↑ Mercer, J. (1909). “正負の関数と積分方程式の理論との関連”. Philosophical Transactions of the Royal Society of London, Series A 209, pp. 415–446.
- ↑ヒルベルト、D. (1904)。 「Grundzuge einer allgemeinen Theorie der lineen Integralgleichungen I」、Gott。ナクリテン、数学-物理学。 K1 (1904)、49 ~ 91 ページ。
- ↑ Young, WH (1909). 「対称関数のクラスと積分方程式の理論で必要とされる定理に関する注記」、Philos. Trans. Roy.Soc. London, Ser. A, 209, pp. 415–446.
- ↑ Moore, EH (1916). 「正のエルミート行列について」、Bull. Amer. Math. Soc. 23, 59, pp. 66–67.
- ↑ムーア、EH (1935)。「一般分析、パート I」、アメリカ哲学会紀要 1、フィラデルフィア。
- ↑ Krein. M (1949/1950). "均質空間 I および II 上のエルミート正核" (ロシア語)、Ukrain. Mat. Z. 1(1949)、pp. 64–98、および 2(1950)、pp. 10–59。英語訳: Amer. Math. Soc. Translations Ser. 2、34 (1963)、pp. 69–164。
- ↑ Loève, M. (1960). "確率論", 第2版、Van Nostrand、プリンストン、ニュージャージー州
- ↑ Rosasco, L. および Poggio, T. (2015). "機械学習の正則化ツアー – MIT 9.520 講義ノート" 原稿。
- ↑ Berg, C., Christensen, JPR, and Ressel, P. (1984). "半群上の調和解析". 数学大学院テキスト第100巻、Springer Verlag。
- ↑ Schaback, R. および Wendland, H. (2006). "カーネル技術: 機械学習からメッシュレス法まで", Cambridge University Press, Acta Numerica (2006), pp. 1–97.
- ↑ Haaland, B. および Qian, PZG (2010). 「大規模コンピュータ実験のための正確なエミュレータ」、Ann. Stat.
- ↑ Gumerov, NA および Duraiswami, R. (2007). "前処理付き Krylov 反復による高速放射基底関数補間". SIAM J. Scient. Computing 29/5, pp. 1876–1899.