VC-Dimension von Zylindern innerhalb eines Zylinders


8

Ich möchte die VC-Dimension eines Bereichsraums der wie folgt aufgebaut ist:(X,R)

  1. { ( x , y , z ) R 3 | x 2 + y 21 }X ist der Zylinder {(x,y,z)R3|x2+y21}
  2. Die Bereiche in werden gebildet, indem die Vereinigung von Kreisscheiben so genommen wird, dass: R
    • Die Ebene, die die Scheibe enthält, ist orthogonal zur z-Achse (wir "stapeln" die Scheiben in der z-Richtung).
    • Eine Scheibe berührt die Zylindergrenze am Punkt(1,0,z)
    • Eine Scheibe hat einen Durchmesser , wobei (streng) durch ist und streng monoton ansteigt, streng monoton abnimmt oder konstant ist.f ( z ) - 1 < f ( z ) < 1f(z)+1f(z)1<f(z)<1
  3. Jeder Satz, der durch Drehen eines dieser Bereiche um die z-Achse um einen beliebigen Winkel konstruiert wird, ist ebenfalls ein Bereich.

Stellen Sie sich intuitiv vor, Sie nehmen einen Satz Münzen (natürlich kreisförmig) und sortieren sie nach Durchmesser, entweder abnehmend oder zunehmend. Lassen Sie sie dann vorsichtig in dieser Reihenfolge in ein Rohr (den Hauptzylinder) fallen, sodass jedes auf dem letzten ruht. Kippen Sie nun das Rohr leicht, so dass alle an der Seite des Zylinders anliegen. Wenn unsere Münzen keine Dicke hätten und wir eine für jede reelle Zahl hätten, wäre dies unsere Reichweite.

Ich interessiere mich hauptsächlich für den Fall, dass sigmoid ist, wie die Fehlerfunktion oder . Insbesondere interessieren mich die zylindrischen Bereiche, die durch die Funktionsfamilie , wobei .tanh tanh ( α ( z - β ) ) α , β R.f(z)tanhtanh(α(zβ))α,βR

Ich weiß, dass dieser Bereichsraum mindestens VC-dim 4 hat (ich kann einen Satz von vier Punkten konstruieren, die er zerbricht), aber ich bin daran interessiert, eine Obergrenze festzulegen und zu verstehen, warum. Ich weiß das:

  1. Circular Disks in haben VC-dim 3R2
  2. Teilmengen des Streifens , die über oder unter haben mindestens VC-dim 3, wahrscheinlich gleich 3, da der Steigungsteil der Funktion ähnlich wie eine Linie wirkt tanh ( α ( z - β ) ) tanh{1y1}R2tanh(α(zβ))tanh

Gibt es eine Möglichkeit, diese Fakten zu kombinieren , um eine Obergrenze für die VC-Dimension zu erhalten ? Gibt es etwas zu allgemeinem zu sagen , das die Kriterien in (2) erfüllt?f(z)


Ich scheine etwas falsch zu verstehen. Wenn die Funktion fest ist, wird jeder Bereich eindeutig durch den Drehwinkel um die Achse bestimmt. Am Ende versuchen Sie im Wesentlichen, kreisförmige Intervalle mit Punkten zu zerstören. Was fehlt mir? Kann die Funktion für verschiedene Bereiche unterschiedlich sein? z ffzf
James King

1
Gute Frage. Ja, kann anders sein. Wie in der Antwort unten angegeben, müssen Sie vorsichtig mit , aber kann zu einer Familie von Funktionen gehören. Wie im obigen Beispiel kann zur Familie der Funktionenf f f tanh ( α ( z - β ) )fffftanh(α(zβ)) .
Josephine Moeller

Antworten:


4

Sie benötigen die Sigmoid-Beschränkung für damit die VC-Dimension endlich ist. Andernfalls können Sie wie eine Treppe mit beliebig vielen Schritten verhalten lassen . Dann können diese Treppen beliebig viele Kreuzungen haben. Dies ermöglicht Bereichen, verschiedene Teilmengen zuzulassen . f n 2 nffn2n

Wenn tanhf(z) ein Polynom ist, können Sie die VC-Dimension mit dem Grad des Polynoms (kombiniert mit dem Grad des Polynoms (2), das die Scheibe beschreibt) begrenzen. Sie sind sich jedoch nicht sicher, wie Sie diese Art von Ergebnis für anwenden sollen .tanh


Recht. Wenn Sie ein Polynom , können Sie die in Matousek beschriebene Grenze verwenden. Ein transzendentales wirft diesbezüglich jedoch Probleme auf. f ( t )f(t)f(t)
Josephine Moeller

1
Es gibt einige Arbeiten zu o-minimalen Strukturen / Theorien, die versuchen, mit solchen Dingen umzugehen. en.wikipedia.org/wiki/O-minimal_theory#Examples
Sariel Har-Peled

@Sariel: Wollen Sie damit sagen, dass dies beispielsweise eine Möglichkeit wäre, eine Art Aufzug zu einem Raum zu definieren, der aus transzendentalen Funktionen der Koordinaten anstelle von Polynomfunktionen aufgebaut ist? Weil die hyperbolischen Funktionen Pfaffian sind?
Josephine Moeller

Gut. Es ist eine Erweiterung der konstanten algebraischen Komplexität. Es könnte aus der Ferne relevant sein - ich weiß es ehrlich gesagt nicht.
Sariel Har-Peled
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.