Geometry, Conditioning, and Parity in One-Sided Directional Curvature Recovery, with a Controlled Comparison of Estimators

Technische Zusammenfassung: Geometrie, Konditionierung und Parität in der einseitigen Richtungskrümmungswiederherstellung

Problemstellung
Die Arbeit befasst sich mit den fundamentalen Grenzen der Rekonstruktion einer Hessian-Matrix (zweiter Ableitungsordnung) aus Funktionswerten, die entlang von Strahlen aus einem einzelnen Punkt abgetastet wurden. Dieses Szenario tritt in der derivatfreien Optimierung, bei Finite-Differenzen-Approximationen nahe Domänengrenzen und in inversen Problemen auf, bei denen der Komplementärbereich eines Gebiets unzugänglich ist. In diesen Fällen sind die zulässigen Richtungen durch die Geometrie eingeschränkt (z. B. durch aktive Ungleichheitsbeschränkungen, dünne Strukturen oder Grenzen), was die Bildung symmetrischer Stencils verhindert. Die zentrale Frage ist nicht, wie ein spezifischer Schätzer zu entwerfen ist, sondern was angesichts dieser geometrischen Einschränkungen theoretisch möglich ist: Welche Größen sind identifizierbar, wie verschlechtert sich die Konditionierung durch eingeschränkten Zugriff und welche Genauigkeit ist erreichbar.

Methodik und Rahmenwerk
Die Studie verfolgt einen geometrischen und analytischen Ansatz, anstatt einen neuen numerischen Schätzer vorzuschlagen. Die Kernmethodik umfasst:

1. Messmodell: Verwendung einer einseitigen Richtungs-Sonde, definiert durch drei Punkte auf einem Strahl: das Zentrum $x$, einen inneren Knoten $x + R h u$ und einen Endpunkt $x + h u$. Die Sonde bildet eine zweite differenzierte Differenz, um die gerichtete Krümmung $u^T H u$ zu schätzen.
2. Geometrische Analyse: Analyse der Identifizierbarkeit der Hessian basierend auf der Verteilung der Abtastrichtungen. Der Autor nutzt den Raum der symmetrischen $3 \times 3$-Matrizen ($\text{Sym}_3(\mathbb{R})$) und Kugelflächenharmonics, um den Messoperator zu zerlegen.
3. Paritätszerlegung: Ausnutzung der Parität (gerade/ungerade Symmetrie) homogener Polynome auf der Sphäre. Die Sondenerweiterung wird in gerade Teile (die die Hessian tragen) und ungerade Teile (die den führenden Truncation-Fehler tragen) aufgeteilt.
4. Kontrollierter Vergleich: Ein rigoroses Benchmarking-Protokoll, das acht Schätzer (einschließlich quadratischer Regression, Moving Least Squares und verschiedener Richtungsverfahren) unter einem „Fairness-Protokoll“ vergleicht. Jedem Verfahren wird sein eigener orakel-optimaler Abtastradius gewährt, und alle teilen identische Rauschrealisierungen sowie Durchführbarkeitsbeschränkungen.

Wesentliche Beiträge und Ergebnisse

1. Identifizierbarkeitsgrenzen (Theorem 4, Proposition 5):

   • Evaluationsuntergrenze: In $\mathbb{R}^3$ sind ohne Glattheits-Priors mindestens 10 Punkt-Evaluierungen in allgemeiner Position notwendig und ausreichend, um eine Hessian eindeutig zu bestimmen.
   • Richtungsuniqueness: Für gerichtete Messungen ist die Bedingung für Eindeutigkeit nicht bloß, dass die Richtungen $\mathbb{R}^3$ aufspannen, sondern dass die Richtungen nicht auf einem gemeinsamen Quadrik-Kegel liegen.
   • Kostenauswirkung: Ein Richtungsverfahren, das $m$ Richtungen verwendet, benötigt $1 + 2m$ Evaluierungen. Da $m \ge 6$ für die Eindeutigkeit erforderlich ist, liegt die minimale Kostenmenge bei 13 Evaluierungen, was die 10-Evaluierungen-Untergrenze für allgemeine Punktmengen überschreitet.

2. Konditionierung unter eingeschränktem Zugriff (Theorem 10):

   • Wenn die zulässigen Richtungen auf eine Kugelkappe mit Halbwinkel $\theta$ beschränkt sind, skaliert die Singularwertverteilung des Rekonstruktionsoperators als $\{1, \theta, \theta, \theta^2, \theta^2, \theta^2\}$.
   • Folglich wächst die Konditionszahl als $\kappa(\theta) \asymp \theta^{-2}$. Das Papier leitet exakte Konstanten für dieses Wachstum her (z. B. $\kappa \theta^2 \to \sqrt{24} \approx 4.899$ für oberflächenuniforme Abtastung).
   • Interpretation: Schmale Kegel messen die Normalkrümmung gut, aber gemischte und tangentielle Krümmungen schlecht (in den Ordnungen $\theta$ bzw. $\theta^2$). Eine glatte Grenze (Halbkugel, $\theta \approx 90^\circ$) ist unbedenklich; Konditionierungsprobleme entstehen nur an Ecken, Spitzen oder hochgradig eingeschränkten aktiven Mengen.

3. Paritätszerlegung und Truncation (Propositions 13, 14, Corollary 15):

   • Die einseitige Sonde expandiert in gerade (Hessian-bezogene) und ungerade (Truncation-bezogene) Kugelflächenharmonische Komponenten.
   • Hessian-freie Messung: Die ungerade Projektion isoliert die dritte Ableitung der dritten Ordnung ($D^3 f$) unabhängig von der Hessian, genau bis $O(h^2)$. Dies ermöglicht die Messung des Truncation-Terms ohne Vorwissen über die Hessian.
   • Erreichbare Ordnung (Proposition 17): Eine Genauigkeit zweiter Ordnung im aggregierten Hessian-Schätzer ist genau dann erreichbar, wenn die Menge der zulässigen Richtungen antipodal symmetrisch ist ($u \in U \implies -u \in U$). Wenn die Menge genuin einseitig ist (keine antipodalen Paare), bleibt der Fehler unabhängig von der Anzahl der Richtungen oder Gewichtungsschemata bei $O(h)$.

4. Rauschen und Pilot-Design (Propositions 19, 21, 22):

   • Das Papier quantifiziert die Varianz der Sonde und die daraus resultierende untere Grenze der nutzbaren Schrittweite (Span). Der optimale Span skaliert als $\sigma^{1/3}$, konsistent mit der Standard-Finite-Differenzen-Theorie.
   • Die Extraktion der Truncation-Konstante via ungerader Paritätsprojektion erfordert eine „Pilot“-Phase. Das Papier stellt fest, dass dieser Pilot teuer ist und mindestens 18 Richtungen benötigt, um stabil zu sein, was die Kosten der Hessian-Schätzung selbst übersteigen kann.

5. Kontrollierter Vergleich der Schätzer:

   • Unter dem Fairness-Protokoll boten Richtungsverfahren keinen Vorteil gegenüber der Standard-Quadratischen Regression oder $\Lambda$-poised Interpolation auf denselben zulässigen Punkten.**
   • Wo symmetrische Stencils durchführbar sind, sind zentrale Differenzen am genauesten. Wo dies nicht der Fall ist, erreichen oder übertreffen die quadratische Regression und das Moving Least Squares die Richtungsverfahren.
   • Der Grund für das Ausbleiben eines Vorteils der Richtungsverfahren liegt darin, dass sie den der einseitigen Zugänglichkeit inhärenten $O(h)$ Truncation-Fehler nicht überwinden können (Proposition 17) und denselben geometrischen Konditionierungsgrenzen unterliegen wie andere Methoden.

Bedeutung und Ansprüche
Das Papier rahmt seine Beiträge explizit als strukturelle Schranken der Messgeometrie ein, statt als Verbesserungen spezifischer Algorithmen.

• Beschränkungen der Optimalität: Die Ergebnisse definieren die „unmögliche“ Region: Kein Schätzer kann eine Genauigkeit zweiter Ordnung ohne antipodale Symmetrie erreichen, und kein Schätzer kann die $\theta^{-2}$ Konditionierungsstrafe enger Kegel umgehen.
• Nicht genutzte Struktur: Die Identifizierung der ungeraden Kugelflächenharmonischen Komponente als Hessian-freie Messgröße des Truncation-Terms wird als strukturelle Erkenntnis hervorgehoben, wenngleich das Papier davor warnt, dass deren Extraktion rechenintensiv ist.
• Methodische Strenge: Ein erheblicher Teil des Papiers widmet sich der Dokumentation von neun spezifischen experimentellen Artefakten (z. B. Parameterpropagationsfehler, Geometrie-Generierungsfehler, fehlerhafte Fairness-Annahmen), die entfernt werden mussten, um vertrauenswürdige Ergebnisse zu erzielen. Der Autor argumentiert, dass das negative Ergebnis – dass Richtungsverfahren unter fairen Bedingungen keinen Vorteil gegenüber der Regression bieten – wertvoller ist als ein potenziell falsches positives Ergebnis.

Bescheidenheit und Limitationen
Der Autor unterscheidet sorgfältig zwischen bewiesenen Theoremen und numerischen Beobachtungen. Er behauptet nicht, dass einseitiges gerichtetes Sampling in der Nähe von Grenzen überlegen ist; tatsächlich legen seine Ergebnisse und der Vergleich nahe, dass es dies nicht ist. Er räumt ein, dass seine Ergebnisse zur Paritätszerlegung Instanzen der bestehenden Slepian-Theorie oder der Literatur zur eingeschränkten Veronese-Einbettung sein könnten, und rahmt diese als „offene Positionierungsfragen“ statt als neuartige Entdeckungen ein. Das Papier schließt damit, dass die praktische Nutzbarkeit von Richtungsverfahren durch die fundamentalen Trade-offs zwischen Geometrie, Truncation und Rauschen begrenzt ist.