Determinantally equivalent nonzero functions

Dieser Artikel widerlegt die Vermutung, dass determinantal äquivalente Funktionen nur durch Transposition oder Diagonalsimilarität verbunden sind, indem er ein Gegenbeispiel konstruiert, und liefert unter zusätzlichen natürlichen Bedingungen eine vollständige Klassifikation sowie einen elementar-kombinatorischen Beweis, der die Symmetrieannahme aufhebt.

Das Wesentliche

Das große Rätsel: Wenn zwei Bilder gleich aussehen, sind sie dann identisch?

Stellen Sie sich vor, Sie haben zwei verschiedene Rezepte für einen Kuchen, nennen wir sie Rezept K und Rezept Q.

In der Welt dieser Mathematik (die sich mit sogenannten Determinanten-Punktprozessen beschäftigt) ist ein "Rezept" eigentlich eine große Tabelle von Zahlen. Diese Zahlen beschreiben, wie wahrscheinlich es ist, dass bestimmte Dinge (wie Punkte auf einem Blatt Papier) zusammen auftreten.

Die magische Eigenschaft dieser Rezepte ist folgende: Wenn Sie aus diesen Tabellen kleine Ausschnitte nehmen (z. B. nur 3 Zeilen und 3 Spalten) und daraus eine Art "Schmeck-Test" (einen mathematischen Wert, den man Determinante nennt) berechnen, dann kommen bei beiden Rezepten exakt die gleichen Ergebnisse heraus.

Die große Frage, die sich die Mathematiker stellten, war:

Wenn zwei Rezepte bei jedem möglichen "Schmeck-Test" (für jede Gruppengröße) das gleiche Ergebnis liefern, müssen sie dann auch im Wesentlichen das gleiche Rezept sein? Oder gibt es noch andere Tricks, wie man sie verwechseln kann?

Die alte Theorie: Zwei einfache Tricks

In einer früheren Arbeit (von Marco Stevens) wurde vermutet, dass es nur zwei Möglichkeiten gibt, wie man aus einem Rezept das andere machen kann:

1. Der "Spiegel-Trick" (Transposition): Man dreht das Rezept einfach um. Was oben links stand, steht jetzt unten rechts. Das ist wie ein Spiegelbild.
2. Der "Gewicht-Trick" (Konjugation): Man nimmt jeden einzelnen Punkt im Rezept und multipliziert ihn mit einem speziellen Faktor. Stellen Sie sich vor, Sie haben eine Waage. Bei jedem Punkt auf der Waage ändern Sie das Gewicht leicht, aber Sie tun dies so, dass sich die Gesamtbalance (die Wahrscheinlichkeit) nicht ändert. Es ist, als würde man den Kuchen in eine andere Form backen, aber er schmeckt immer noch genau gleich.

Die Forscher dachten: "Das ist es! Nur diese zwei Tricks funktionieren."

Der böse Überraschungs-Effekt: Der "Teilverkehr"

Der Autor dieses neuen Papiers hat jedoch einen Haken gefunden. Er hat ein Gegenbeispiel konstruiert, das zeigt, dass die alte Theorie nicht immer stimmt.

Stellen Sie sich vor, Sie haben eine große Party mit 4 Leuten.

• In Rezept K sind Person 1 und 2 befreundet, und Person 3 und 4 sind befreundet.
• In Rezept Q sind Person 1 und 2 nicht befreundet, aber Person 3 und 4 sind es.

Der Autor zeigte, dass man die Beziehungen zwischen den Leuten in zwei getrennten Gruppen (einem "Block") einfach tauschen kann, ohne dass sich die Ergebnisse der "Schmeck-Tests" ändern. Das ist wie bei einem Verkehrssystem: Man könnte den Verkehr in der Nordhälfte der Stadt umleiten und in der Südhälfte lassen, und trotzdem kämen alle Autos zur gleichen Zeit an.

Dieser neue Trick nennt sich "Teilverkehr" (Partial Transposition). Er ist nicht in der alten Liste der zwei erlaubten Tricks enthalten. Das bedeutet: Die alte Vermutung war falsch, wenn man keine weiteren Regeln aufstellt.

Die Lösung: Die "Nicht-Null"-Regel und die 4er-Gruppe

Der Autor sagt nun: "Okay, dieser 'Teilverkehr'-Trick ist möglich, aber wir können ihn verbieten, wenn wir eine einfache Bedingung hinzufügen."

Diese Bedingung ist wie ein Sicherheitsgurt für die Mathematik:
"Alle Zahlen in der Tabelle müssen von Null verschieden sein (außer vielleicht auf der Diagonalen)."

Stellen Sie sich vor, die Zahlen in der Tabelle sind Entfernungen zwischen Städten. Wenn eine Entfernung "Null" ist, bedeutet das, die Städte sind identisch oder es gibt eine Lücke. Der Autor sagt: "Wenn wir sicherstellen, dass es keine Lücken gibt (keine Nullen), dann funktioniert der 'Teilverkehr'-Trick nicht mehr."

Außerdem fügt er eine weitere Bedingung hinzu: Wenn man vier beliebige Punkte nimmt, dürfen sie nicht so angeordnet sein, dass sie eine "leere Ecke" bilden. Das ist wie eine Regel im Fußball: Wenn vier Spieler auf dem Feld sind, müssen sie alle miteinander interagieren können, sonst funktioniert das Spiel nicht.

Das Ergebnis: Ein neuer Beweis mit einem neuen Werkzeug

Mit diesen Regeln (keine Nullen, keine leeren Ecken) beweist der Autor, dass die alte Vermutung doch wieder stimmt!
Wenn zwei Rezepte bei allen Tests gleich sind UND keine Nullen enthalten, dann sind sie wirklich nur durch den "Spiegel-Trick" oder den "Gewicht-Trick" voneinander verschieden.

Wie hat er das bewiesen?
Anstatt komplizierte lineare Algebra zu benutzen (was wie das Lösen einer riesigen Gleichung mit tausend Unbekannten klingt), hat er einen cleveren Weg gewählt, der eher wie ein Puzzle oder ein Spaziergang durch ein Labyrinth ist.

1. Die Graphen: Er hat die Punkte als Knoten in einem Netz (Graph) dargestellt.
2. Die Runden: Er hat sich vorgestellt, wie man durch dieses Netz läuft (Runden oder "Zyklen").
3. Die Magie der 3er- und 4er-Runden: Er hat gezeigt, dass wenn man kleine Runden (3 Personen) und etwas größere Runden (4 Personen) betrachtet, sich die Mathematik fast wie ein Zaubertrick verhält. Wenn die kleinen Runden passen, müssen automatisch auch die großen passen.

Er nutzt dabei drei einfache algebraische Identitäten (wie kleine mathematische Gesetze), die besagen: "Wenn A und B zusammen C ergeben, und A mal B D ist, dann sind A und B festgelegt."

Zusammenfassung für den Alltag

Stellen Sie sich vor, Sie haben zwei verschiedene Landkarten einer Stadt.

• Beide Karten zeigen, dass die Entfernung zwischen je zwei beliebigen Vierteln (in bestimmten Kombinationen) exakt gleich ist.
• Früher dachte man: "Dann sind die Karten identisch, außer man dreht sie um oder ändert die Maßstäbe leicht."
• Der Autor zeigte: "Moment mal! Man könnte die Karte in zwei Hälften teilen und die eine Hälfte spiegeln, ohne dass die Entfernungen in den Tests auffallen."
• ABER: Wenn man verlangt, dass auf der Karte keine Lücken sind (jeder Ort ist mit jedem anderen verbunden) und man keine "leeren Ecken" zulässt, dann ist dieser Trick unmöglich.
• Dann bleiben nur noch die zwei ursprünglichen Tricks übrig.

Der Autor hat also gezeigt, dass unter "sauberen" Bedingungen (keine Nullen, volle Verbindungen) die Welt der Wahrscheinlichkeiten sehr ordentlich ist: Wenn zwei Dinge gleich aussehen, sind sie auch wirklich gleich, nur vielleicht leicht verpackt. Und er hat das mit einfachen Mitteln (Puzzles und Graphen) bewiesen, statt mit schwerer Mathematik.

Technische Zusammenfassung

Titel: Determinantal äquivalente nichtverschwindende Funktionen

Autor: Harry Sapranidis Mantelos
Datum: 23. Januar 2026

---

1. Problemstellung und Hintergrund

Das Papier adressiert ein Problem, das ursprünglich von Marco Stevens (2021) im Kontext von determinantal point processes (DPPs) aufgeworfen wurde. Die zentrale Frage lautet:
Gegeben zwei Funktionen $K, Q: \Lambda^2 \to \mathbb{F}$ (wobei $\Lambda$ eine Menge und $\mathbb{F}$ ein Körper ist), die determinantal äquivalent sind, d.h. für alle $n \in \mathbb{N}$ und alle $x_1, \dots, x_n \in \Lambda$ gilt:
$$\det(Q(x_i, x_j))_{1 \le i,j \le n} = \det(K(x_i, x_j))_{1 \le i,j \le n}$$
Welche Transformationen können $Q$ in $K$ überführen?

In der Literatur wurde für den Fall symmetrischer Funktionen vermutet, dass die einzigen möglichen Transformationen sind:

1. Konjugation: $Q(x, y) = g(x)g(y)^{-1}K(x, y)$ für eine nirgends verschwindende Funktion $g$.
2. Transposition: $Q(x, y) = K(y, x)$.

Das Ziel dieses Papers ist es, diese Vermutung auf den allgemeinen Fall nicht-symmetrischer Funktionen zu erweitern.

2. Gegenbeispiel und Notwendigkeit neuer Bedingungen

Der Autor zeigt zunächst, dass die Vermutung von Stevens im allgemeinen (nicht-symmetrischen) Fall falsch ist.

• Gegenbeispiel: Für eine endliche Menge $\Lambda$ mit $|\Lambda|=4$ wird eine Matrixkonstruktion vorgestellt, bei der $K$ und $Q$ dieselben Hauptminoren haben, aber weder durch Konjugation noch durch vollständige Transposition ineinander überführt werden können.
• Ursache: Es existiert eine Art "partielle Transposition", die durch blockweise Strukturen (insbesondere durch Blöcke aus Einsen in den Eckbereichen der Matrizen) ermöglicht wird.

Um diese pathologischen Fälle auszuschließen, führt der Autor zwei wesentliche Bedingungen ein:

1. Nirgends verschwindend: Die Funktionen $K$ und $Q$ dürfen nur auf der Diagonalen $\{(x,x)\}$ Null sein, sonst sind sie überall ungleich Null.
2. Nicht-entartete 2x2-Determinanten: Für alle paarweise verschiedenen $x, y, z, w \in \Lambda$ muss gelten:
   $$\det \begin{pmatrix} Q(x, y) & Q(x, w) \\ Q(z, y) & Q(z, w) \end{pmatrix} \neq 0$$
   Diese Bedingung verhindert die blockweise Struktur, die das Gegenbeispiel ermöglicht.

3. Methodik

Der Beweisansatz unterscheidet sich grundlegend von früheren linear-algebraischen Methoden (wie denen von Loewy, die auf Irreduzibilität und Rangbedingungen basieren). Stattdessen nutzt der Autor einen elementaren kombinatorischen Ansatz mit graphentheoretischen Techniken:

• Graphentheoretische Notation: Funktionen werden als Gewichte auf Kanten eines Graphen interpretiert. Zyklen (Cycles) spielen eine zentrale Rolle.
• Cocycle-Eigenschaft: Eine Funktion $c$ ist ein Cocycle, wenn das Produkt der Werte entlang jedes Zyklus gleich 1 ist. Es wird gezeigt, dass die Konjugationstransformation äquivalent dazu ist, dass das Verhältnis $S(x,y) = Q(x,y)/K(x,y)$ (für $x \neq y$) ein Cocycle ist.
• Reduktion auf kleine Zyklen: Ein zentrales Lemma (Proposition 4.3) besagt, dass eine Funktion genau dann ein vollständiger Cocycle ist, wenn sie die Cocycle-Eigenschaft für Zyklen der Länge 1, 2 und 3 erfüllt.
• Algebraische Identitäten: Der Beweis stützt sich auf drei einfache algebraische Identitäten, die Beziehungen zwischen Produkten von Werten entlang von 3-Zyklen und 4-Zyklen herstellen. Diese werden durch die Determinantengleichungen für $n=3$ und $n=4$ hergeleitet.
• Fallunterscheidung (Case 1 vs. Case 2): Für jeden 3-Zyklus $p$ wird gezeigt, dass entweder $K[p] = Q[p]$ und $K'[p] = Q'[p]$ (Case 1) oder $K[p] = Q'[p]$ und $K'[p] = Q[p]$ (Case 2) gilt. Der Kern des Beweises besteht darin zu zeigen, dass alle 3-Zyklen in $\Lambda$ demselben Fall angehören.

4. Hauptergebnis (Theorem 1.1)

Unter den oben genannten Bedingungen (nirgends verschwindend und nicht-entartete 2x2-Determinanten) gilt:
Wenn $K$ und $Q$ determinantal äquivalent sind, dann existiert entweder eine Konjugationsfunktion $g$ oder eine Transposition, sodass $Q$ aus $K$ hervorgeht. Genauer gesagt:

• Entweder ist $Q(x, y) = g(x)g(y)^{-1}K(x, y)$ für alle $x, y$.
• Oder $Q(x, y) = g(x)g(y)^{-1}K(y, x)$ für alle $x, y$.

Dies bestätigt die Vermutung von Stevens für den allgemeinen Fall, sofern die zusätzlichen, technisch milden Bedingungen erfüllt sind.

5. Schlüsselbeiträge und Bedeutung

• Widerlegung der allgemeinen Vermutung: Das Papier liefert ein explizites Gegenbeispiel, das zeigt, dass die ursprüngliche Klassifikation ohne weitere Annahmen im nicht-symmetrischen Fall nicht haltbar ist.
• Lösung unter natürlichen Bedingungen: Es wird gezeigt, dass die Vermutung unter der Bedingung der "Nicht-Entartung" (Condition 3) und "Nirgends-Verschwindend" wieder wahr ist.
• Vereinfachung der Beweisführung: Im Gegensatz zu Loewys komplexer linear-algebraischer Analyse (die Irreduzibilität und Rangbedingungen verwendet), bietet dieser Beweis einen elementaren, kombinatorischen Zugang. Er benötigt keine fortgeschrittene Matrixtheorie, sondern nur grundlegende Algebra und Graphentheorie.
• Verbindung zu DPPs: Die Ergebnisse klären die Eindeutigkeit von Kernen in determinantal point processes auch für nicht-symmetrische Fälle, was für Anwendungen im Machine Learning (z.B. zur Modellierung von Diversität/Repulsion) relevant ist.
• Verbindung zu Loewys Arbeit: Für endliche Mengen $\Lambda$ mit $4 < |\Lambda| < \infty$ impliziert die hier verwendete Bedingung (3) automatisch die Bedingungen von Loewy, wodurch das Ergebnis als nicht-lineare-algebraischer Beweis für einen Spezialfall von Loewys Resultat interpretiert werden kann.

6. Fazit

Das Papier schließt eine Lücke in der Theorie der determinantal äquivalenten Funktionen, indem es die Gültigkeit der Klassifikation durch Konjugation und Transposition für nicht-symmetrische Funktionen unter spezifischen, aber gut motivierten Bedingungen beweist. Es liefert gleichzeitig ein wichtiges Gegenbeispiel, das die Grenzen der ursprünglichen Vermutung aufzeigt, und etabliert eine neue, zugänglichere Beweistechnik basierend auf Zyklen-Identitäten.