Polyak-Łojasiewicz-Ungleichung: Wurzeln bekannt, Notation PL° bleibt unklar

Forschende, die sich mit Optimierungsverfahren beschäftigen, stoßen regelmäßig auf das Kürzel PL – die Polyak-Łojasiewicz-Bedingung. Sie ist eine zentrale Annahme, um lineare Konvergenzraten des Gradientenverfahrens zu garantieren, selbst wenn die Zielfunktion nicht konvex ist. Doch eine scheinbar kleine Variation in der Schreibweise, (PL^\circ), wirft eine große Frage auf: In welchem Paper wurde sie eigentlich eingeführt?

Was die Quellen sicher belegen

Die klassische Polyak-Łojasiewicz-Ungleichung ist historisch klar verortet. Gleich mehrere akademische Texte verweisen auf das Jahr 1963 als Geburtsstunde dieser Bedingung.

• Eine Quelle erklärt, Polyak habe diese Bedingung 1963 vorgeschlagen und sie sei ein Spezialfall der Łojasiewicz-Ungleichung .
• Eine weitere Arbeit stellt fest, die PL-Bedingung sei in Polyaks frühen Arbeiten eingeführt worden .
• Auch ein Paper von 2022 referenziert die Bedingung direkt mit „[Polyak, 1963]“ .
• Es besteht Konsens, dass die Ungleichung unabhängig von Polyak und Łojasiewicz formuliert wurde und starke Konvexität nicht voraussetzt .

Worüber die Quellen schweigen

Keine der ausgewerteten Quellen beantwortet die Frage nach der Notation (PL^\circ). Die vorhandenen Snippets behandeln ausnahmslos die übliche PL-Bedingung .