円柱内の円柱のVC次元


8

次のように構築された範囲空間のVC次元を知りたい:(X,R)

  1. { X Y Z R 3 | X 2 + Y 21 }X円柱 {(x,y,z)R3|x2+y21}
  2. の範囲は、次のような円形ディスクの結合をとることによって形成されます。 R
    • ディスクを含む平面はz軸に直交します(ディスクをz方向に「スタック」します)
    • ディスクは点で円柱の境界に接しています(1,0,z)
    • ディスクの直径はで、はによって(厳密に)制限され、厳密に単調増加、厳密に単調減少、または定数になります。f z 1 < f z < 1f(z)+1f(z)1<f(z)<1
  3. これらの範囲の1つをz軸を中心に任意の角度で回転させて作成されたセットも範囲です。

直感的に、一連のコイン(もちろん、円形)を受け取り、直径で並べ替える場合を想像してください。次に、それらを順番に慎重にチューブ(メインシリンダー)にドロップします。次に、チューブを少し傾けて、すべてがシリンダーの側面に当たるようにします。コインの厚さがゼロで、実数ごとに1つある場合、これが範囲になります。

エラー関数やように、がシグモイドである場合に最も関心があります。具体的には、関数のファミリーによって形成される円筒形の範囲に興味があります。ここで、です。TANH TANH α Z - β α β Rf(z)tanhtanh(α(zβ))α,βR

この範囲空間には少なくとも VC-dim 4 があることを知っています(4つのポイントのセットを構築できます)。これに上限を設定し、その理由を理解することに興味があります。そんなこと知ってる:

  1. 円形ディスクにはVC-dim 3がありますR2
  2. ストリップ、によって上下に区切られている場合、少なくともVC-dimがあります3、おそらく3に等しい。関数の傾斜部分が直線のように機能するため TANH α Z - β TANH{1y1}R2tanh(α(zβ))tanh

これらの事実を組み合わせてVCディメンションの上限を取得する方法はありますか?(2)の基準を満たす一般的なについて言うことはありますか?f(z)


何か誤解しているようです。関数が固定されている場合、各範囲は軸の周りの回転角度によって一意に決定されます。その後、基本的にポイントで円形の間隔を粉砕しようとします。何が欠けているのですか?関数は範囲ごとに異なる可能性がありますか?z ffzf
James King、

1
良い質問。はい、は異なる場合があります。以下の回答で述べたように、は注意する必要がありますが、は関数のファミリーに属している場合があります。上記の例のように、は関数群属している場合があります。F F F TANH α Z - β fffftanh(α(zβ))
Josephine Moeller、

回答:


4

VC次元が有限でためには、のシグモイド制限が必要です。それ以外の場合は、階段のように動作させ、任意の数のステップを使用できます。次に、これらの階段は任意に多くの交差点を持つことができます。これにより、範囲で異なるサブセットを許可できます。 f n 2 nffn2n

場合多項式であり、その後、(多項式(2)ディスクを説明する程度と組み合わさ)多項式の次数を使用してVC-寸法を結合することができます。しかし、このタイプの結果をに適用する方法がわかりません。tanhf(z)tanh


正しい。多項式場合は、Matousekで説明されている範囲を使用できます。しかし、超越はこの点で問題を引き起こします。f t f(t)f(t)
Josephine Moeller、

1
そのようなことを処理しようとするo-minimal構造/理論に関するいくつかの研究があります。en.wikipedia.org/wiki/O-minimal_theory#Examples
Sariel Har-Peled

@サリエル:これは、たとえば、多項式関数ではなく、座標の超越関数から構築された空間へのある種の揚力を定義する方法だと言っていますか?双曲線関数はプファフィアンなので?
Josephine Moeller、

上手。これは、一定の代数的複雑さの拡張です。それは遠隔的に関連しているかもしれません-私は率直に言って知りません。
Sariel Har-Peled
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.