Charakterisierung aller $K_4$-freien wohlkantendominierten Graphen mit Taillenweite 3

Grundinformationen

• Papier-ID: 2511.06095
• Titel: Characterizing all $K_4$-free well-edge-dominated graphs of girth 3
• Autoren: Sarah E. Anderson (University of St. Thomas), Kirsti Kuenzel (Trinity College)
• Klassifikation: math.CO (Kombinatorik)
• Veröffentlichungsdatum: 11. November 2025 (Preprint)
• Papierlink: https://arxiv.org/abs/2511.06095

Zusammenfassung

Dieses Papier untersucht das Kantendominations-Problem in der Graphentheorie. Für einen gegebenen Graphen $G$ wird eine Kantenmenge $F$ als Kantendominionsmenge bezeichnet, wenn alle Kanten in $G$ entweder in $F$ enthalten sind oder zu einer Kante in $F$ benachbart sind. Ein Graph $G$ wird wohlkantendominiert genannt, wenn alle minimalen Kantendominionsmenge die gleiche Kardinalität haben. Basierend auf früheren Arbeiten charakterisiert dieses Papier vollständig alle wohlkantendominierten Graphen, die Dreiecke enthalten, aber $K_4$ (vollständiger Graph) nicht als induzierten Untergraphen enthalten.

Forschungshintergrund und Motivation

Zu lösende Probleme

Dieses Papier zielt darauf ab, Graphen vollständig zu charakterisieren, die folgende drei Bedingungen erfüllen:

1. Wohlkantendominierung (well-edge-dominated)
2. Taillenweite 3 (d. h. Enthaltung von Dreiecken)
3. $K_4$-Freiheit (enthält $K_4$ nicht als induzierten Untergraphen)

Bedeutung des Problems

1. Theoretische Vollständigkeit: Wohlkantendominierte Graphen sind eng mit äquimatchbaren Graphen verwandt. Jedes maximale Matching ist eine minimale Kantendominionsmenge, daher sind wohlkantendominierte Graphen notwendigerweise äquimatchbar. Die vollständige Charakterisierung wohlkantendominierter Graphen ist ein wichtiges Ziel der Graphenstrukturtheorie.
2. Schrittweise Forschung: Dieses Problem ist Teil eines systematischen Forschungsplans:
   • 2010: Frendrup et al. beweisen, dass äquimatchbare Graphen mit Taillenweite ≥ 5 wohlkantendominiert sind
   • 2022: Anderson et al. beweisen, dass nicht-bipartite wohlkantendominierte Graphen mit Taillenweite ≥ 4 nur drei sind ($C_5, C_7, C_7^*$)
   • 2025: Berg et al. charakterisieren wohlkantendominierte Graphen mit genau einem Dreieck
   • Dieses Papier: Charakterisierung aller wohlkantendominierten Graphen mit Dreiecken und $K_4$-Freiheit
3. Rechenkomplexität: Obwohl es einen Polynomzeit-Algorithmus zur Erkennung äquimatchbarer Graphen gibt, bleibt die Strukturcharakterisierung ein offenes Problem, zu dem dieses Papier wichtige Fortschritte leistet.

Einschränkungen bestehender Methoden

• Der Fall Taillenweite ≥ 4 ist grundsätzlich gelöst, aber der Fall Taillenweite 3 (mit Dreiecken) ist erheblich komplexer
• Die bestehende Charakterisierung des Einzeldreieck-Falls lässt sich nicht direkt auf Mehrdreieck-Fälle verallgemeinern
• Neue Konstruktionsmethoden und Beweistechniken sind erforderlich, um die Wechselwirkung mehrerer Dreiecke zu behandeln

Kernbeiträge

1. Definition von drei unendlichen Graphklassen:
   • P-Klasse (Propeller-Graphen): Bestehend aus mehreren Dreiecken, die an einem gemeinsamen Scheitelpunkt geklebt sind
   • W-Klasse (Windmühlen-Graphen): Bestehend aus einem Hausgraphen und mehreren Dreiecken, die an einem gemeinsamen Scheitelpunkt geklebt sind
   • G-Klasse: Die allgemeinste Konstruktionsklasse, die durch Kleben von wohlkantendominierten bipartiten Graphen mit Propellern, Windmühlen, Rauten und anderen Komponenten nach bestimmten Regeln gebildet wird
2. Hauptsatz (Theorem 4): Vollständige Charakterisierung von $K_4$-freien wohlkantendominierten Graphen: $G \text{ ist } K_4\text{-frei wohlkantendominiert mit Taillenweite 3} \Leftrightarrow G \in \mathcal{G} \cup \{DH, F_5, Cr, W_1, W_2, W_3\}$ wobei $DH$ (Traumhaus), $Cr$ (Kristallgraph), $F_5$ (5-Knoten-Fächer), $W_1, W_2, W_3$ fünf Ausnahmegraphen sind.
3. Beweis der Wohlkantendominierung aller Konstruktionsgraphen:
   • Beweis, dass alle Mitglieder der P-Klasse und W-Klasse wohlkantendominiert sind (Lemma 5)
   • Beweis, dass alle Mitglieder der G-Klasse wohlkantendominiert sind (Korollar 1)
4. Vollständigkeitsbeweis: Durch erschöpfende Fallunterscheidung und Induktionsargumente wird bewiesen, dass alle $K_4$-freien wohlkantendominierten Graphen in der obigen Klassifikation enthalten sind.
5. Rechnerische Verifikation: Verwendung von Sage-Software zur Verifikation aller zusammenhängenden wohlkantendominierten Graphen der Ordnung 7-8, was eine Grundlage für theoretische Beweise bietet.

Methodische Details

Aufgabendefinition

Eingabe: Graph $G = (V(G), E(G))$

Ziel: Bestimmen Sie, ob $G$ erfüllt:

1. Wohlkantendominierung: $\gamma'(G) = \Gamma'(G)$ (alle minimalen Kantendominionsmenge haben die gleiche Kardinalität)
2. Taillenweite 3: Existenz eines Dreiecks (3-Zyklus)
3. $K_4$-Freiheit: Enthält $K_4$ nicht als induzierten Untergraphen

Ausgabe: Falls erfüllt, bestimmen Sie, zu welcher Konstruktionsklasse $G$ gehört

Kernkonstruktionsmethoden

1. Grundlegende Graphklassendefinitionen

P-Klasse (Propeller):

• Nehmen Sie $k$ disjunkte Dreiecke $T_1, \ldots, T_k$
• Wählen Sie aus jedem $T_i$ einen Scheitelpunkt $v_i$
• Kleben Sie alle $v_i$ zu einem einzelnen Scheitelpunkt zusammen (genannt "Nase")

W-Klasse (Windmühle):

• Fügen Sie auf Basis der P-Klasse einen Hausgraphen $H$ hinzu
• Der Hausgraph enthält ein Dreieck und einen 4-Zyklus
• Kleben Sie den Scheitelpunkt mit Grad 2 des Hausgraph-Dreiecks an die Nase des Propellers

G-Klasse (Allgemeine Konstruktion): Ausgehend von folgenden Komponenten:

• $G' = (A \cup B, E')$: Zusammenhängender nicht-trivialer bipartiter wohlkantendominierter Graph mit $|A| < |B|$
• $W_1, \ldots, W_k$: Windmühlen
• $P_1, \ldots, P_r$: Propeller
• $D_1, \ldots, D_\ell$: Rauten ($K_4 - e$)

Wählen Sie $B' \subset B$ so, dass $G' - B'$ wohlkantendominiert ist und keine trivialen Zweige hat. Teilen Sie $B' = \{s_1, \ldots, s_k, x_1, \ldots, x_r\}$ auf in:

• Stark trennbare Scheitelpunkte $s_i$: Alle ihre Nachbarn in $G' - B'$ sind Trägerscheitelpunkte
• Trennbare Scheitelpunkte $x_i$

Klebungsregeln:

• (a) Die Nase von $W_i$ wird mit dem stark trennbaren Scheitelpunkt $s_i$ geklebt
• (b) Die Nase von $P_i$ wird mit dem trennbaren Scheitelpunkt $x_i$ geklebt
• (c) Die Nase von $D_i$ (äußerer Scheitelpunkt) wird mit dem Trägerscheitelpunkt $y_i$ in $A$ geklebt

2. Beweisstrategien für Wohlkantendominierung

Lemma 6 (Schlüssel-Lemma): Wenn $G_1, G_2$ wohlkantendominierte Graphen sind, $x \in V(G_1), y \in V(G_2)$ erfüllen:

• $G_1 - x$ ist wohlkantendominiert und $\gamma'(G_1 - x) = \gamma'(G_1)$
• $G_2 - y$ ist wohlkantendominiert und $\gamma'(G_2 - y) = \gamma'(G_2)$

Dann ist der durch Kleben von $x, y$ erhaltene Graph $H$ wohlkantendominiert, und $\gamma'(H) = \gamma'(G_1) + \gamma'(G_2)$

Beweisidee: Für jede minimale Kantendominionsmenge $F$ wird bewiesen, dass $F \cap E(G_1 - x)$ und $F \cap E(G_2 - y)$ minimale Kantendominionsmenge der entsprechenden Untergraphen sind, daher ist die Kardinalität festgelegt.

Technische Innovationen

1. Rekursives Konstruktionsgerüst: Durch wiederholte Anwendung von Lemma 6 werden komplexe Graphen in Klebungen einfacher Komponenten zerlegt
2. Trennbarkeitsbegriff: Einführung der Unterscheidung zwischen stark trennbar und gewöhnlich trennbar, um genau zu charakterisieren, welche Scheitelpunkte zum Kleben verwendet werden können
3. Fallunterscheidungsstrategie:
   • Induktion nach Graphordnung
   • Klassifikation nach Rautenenthalten
   • Klassifikation nach topologischer Position von Dreiecken (Propeller/Windmühle/Raute)
   • Auswahl von Kontraktionskanten nach Scheitelpunktabstand zu Dreiecken
4. Sage-Computerunterstützung: Computergestützte Aufzählung und Verifikation von Fällen kleiner Ordnung ($n \leq 8$), um eine Grundlage für Induktion großer Ordnung zu bieten
5. Strukturcharakterisierung von Lemma 7: Für spezielle topologische Strukturen (unabhängige Menge + Dreieck + Verbindungsmenge) wird eine vollständige Charakterisierung gegeben

Experimentelle Einrichtung

Computergestützte Verifikationsmethode

Werkzeug: Sage-Mathematiksoftware

Verifikationsbereich:

• Alle zusammenhängenden wohlkantendominierten Graphen der Ordnung 7 (in Abbildung 3 $W_1$ bis $W_{13}$)
• Alle zusammenhängenden wohlkantendominierten Graphen der Ordnung 8 (in Abbildung 4 $V_1$ bis $V_{12}$)

Verifikationsinhalte:

1. Aufzählung aller möglichen Graphstrukturen
2. Überprüfung der Wohlkantendominierung: Berechnung aller minimalen Kantendominionsmenge, Verifikation gleicher Kardinalität
3. Überprüfung der $K_4$-Freiheitseigenschaft
4. Klassifikation in entsprechende Konstruktionsklassen

Schlüsselbeobachtung (Observation 1)

Für Graphen der Ordnung 7, die eine Raute enthalten: $G \text{ ist } K_4\text{-frei wohlkantendominiert} \Leftrightarrow G \in \{W_1, W_2, W_3, W_4\}$

Dies bietet eine wichtige Klassifikationsbasis für nachfolgende Beweise.

Experimentelle Ergebnisse

Vollständige Aufzählung kleiner Ordnungen

Graphen der Ordnung 7 (Abbildung 3):

• Insgesamt 13 zusammenhängende wohlkantendominierte Graphen: $W_1$ bis $W_{13}$
• Davon enthalten $W_1, W_2, W_3$ Rauten, sind aber nicht in der G-Klasse (Ausnahmegraphen)
• $W_4$ enthält eine Raute, ist aber in der G-Klasse (enthält 3 hängende Kanten der Raute)
• $W_{10} \cong DH$ (Traumhaus), $W_{12} \cong Cr$ (Kristallgraph)
• Die übrigen sind alle in $\mathcal{G}$ enthalten

Graphen der Ordnung 8 (Abbildung 4):

• Insgesamt 12 zusammenhängende wohlkantendominierte Graphen: $V_1$ bis $V_{12}$
• Nur $V_1, V_2, V_3$ enthalten Rauten
• Alle Graphen sind in $\mathcal{G} \cup \{W_1, W_2, W_3\}$ enthalten

Verifikation des Hauptsatzes

Vollständige Aussage von Theorem 4: Sei $G$ ein $K_4$-freier Graph, dann $G \text{ ist wohlkantendominiert mit Taillenweite 3} \Leftrightarrow G \in \mathcal{G} \cup \{DH, F_5, Cr, W_1, W_2, W_3\}$

Beweisstruktur:

1. Vorwärtsrichtung (Korollar 1): Alle Graphen in $\mathcal{G}$ sind wohlkantendominiert
2. Rückwärtsrichtung: Annahme eines minimalen Gegenbeispiels, Herleitung eines Widerspruchs durch:
   • Falls nur ein Dreieck enthalten, ist es nach Theorem 3 in der Klassifikation
   • Falls $n(G) \leq 8$, ist es nach Sage-Verifikation in der Klassifikation
   • Falls $n(G) \geq 9$, Auswahl einer geeigneten Kante $st$, Betrachtung von $G' = G - N_e[st]$
   • Erschöpfende Fallunterscheidung für verschiedene Möglichkeiten von $G'$ (zu welcher Klasse gehörig)
   • Jeder Fall führt entweder zu $G \in \mathcal{G}$ oder zu einem Widerspruch

Anwendung von Schlüssel-Lemmata

Lemma 7: Für Graphen mit bestimmter topologischer Struktur (unabhängige Menge $I$, Verbindungsmenge $S$, Dreieck $xyz$) wird vollständig charakterisiert als: $G \in \{Cr, H\} \cup \mathcal{K} \cup \mathcal{P} \cup \mathcal{R} \cup \mathcal{W}$

wobei $\mathcal{K}$ (Drachen), $\mathcal{R}$ Unterklassen von $\mathcal{G}$ sind.

Beweismethode:

• Auswahl eines minimalen Gegenbeispiels
• Fallunterscheidung nach Leerheit von $I$
• Fallunterscheidung nach Unabhängigkeit von $S$
• Durch Kantenlöschungs-Induktion und Widerspruchsbeweis

Verwandte Arbeiten

Forschung zu äquimatchbaren Graphen

1. Frühe Arbeiten:
   • Lewin (1974), Meng (1974): Unabhängige Definition äquimatchbarer Graphen
   • Lesk, Plummer, Pulleyblank (1984): Polynomzeit-Erkennungsalgorithmus
2. Strukturcharakterisierung:
   • Sumner (1979, Theorem 1): Zufällig matchbare Graphen sind nur $K_{2n}$ oder $K_{n,n}$
   • Frendrup et al. (2010): Charakterisierung äquimatchbarer Graphen mit Taillenweite ≥ 5
   • Büyükçolak et al. (2022): Nicht-bipartite äquimatchbare Graphen mit 4-Zyklus
3. Bipartite äquimatchbare Graphen:
   • Lemma 1 (Schlüsseleigenschaft): Wenn $G = (A \cup B, E)$ äquimatchbar und $|A| < |B|$, dann ist jeder Scheitelpunkt in $A$ entweder ein Trägerscheitelpunkt oder in $K_{2,2}$ enthalten

Forschung zu wohlkantendominierten Graphen

1. Fall Taillenweite ≥ 4:
   • Theorem 2 (Anderson et al., 2022): Wohlkantendominierte Graphen mit Taillenweite ≥ 4 sind entweder bipartit oder einer von $\{C_5, C_7, C_7^*\}$
2. Fall mit einem Dreieck:
   • Theorem 3 (Berg et al., 2025): Wohlkantendominierte Graphen mit genau einem Dreieck werden vollständig charakterisiert als $\mathcal{T} \cup \mathcal{F} \cup \{K_3, Cr, H, DH\}$
3. Beitrag dieses Papiers: Vervollständigung des Falls Taillenweite 3 und $K_4$-Freiheit, wichtiger Schritt zur vollständigen Charakterisierung

Technische Werkzeuge

• Lemma 3 (Anderson et al., 2022): Wenn $M$ ein Matching ist und $G$ wohlkantendominiert, dann ist $G - N_e[M]$ wohlkantendominiert
• Lemma 4: Wenn $y \in A$ kein Trägerscheitelpunkt ist, existiert eine minimale Kantendominionsmenge, die keine zu $y$ inzidenten Kanten enthält

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Vollständige Klassifikation: Alle $K_4$-freien, Taillenweite-3-wohlkantendominierten Graphen gehören zu:
   • Unendliche Klasse $\mathcal{G}$ (enthält Unterklassen $\mathcal{P}, \mathcal{W}, \mathcal{K}, \mathcal{R}$)
   • 5 endliche Ausnahmen: $DH, F_5, Cr, W_1, W_2, W_3$
2. Konstruktionsmethode: Bietet ein systematisches Konstruktionsgerüst, das von wohlkantendominierten bipartiten Graphen ausgeht und durch Klebungsoperationen alle möglichen Graphen erzeugt
3. Notwendigkeit und Hinlänglichkeit: Beweist sowohl, dass alle Konstruktionsgraphen wohlkantendominiert sind (Hinlänglichkeit), als auch dass alle Graphen, die die Bedingungen erfüllen, in der Konstruktion enthalten sind (Notwendigkeit)

Einschränkungen

1. Abhängigkeit von bipartiten Graphen: Die Konstruktion hängt von wohlkantendominierten bipartiten Graphen ab, deren Struktur aber noch nicht vollständig charakterisiert ist (bleibt ein offenes Problem)
2. $K_4$-Einschränkung: Dieses Papier behandelt nur den $K_4$-freien Fall; wohlkantendominierte Graphen mit $K_4$ bleiben ungelöst
3. Computergestützte Verifikationsbereich: Nur bis zur Ordnung 8 verifiziert; größere Ordnungen hängen von der Korrektheit theoretischer Beweise ab
4. Wesen der Ausnahmegraphen: Warum können die 5 Ausnahmegraphen nicht in ein einheitliches Gerüst integriert werden? Eine tiefere Erklärung fehlt

Zukünftige Richtungen

Section 3 macht deutlich:

"the final step to characterizing all non-bipartite, well-edge-dominated graphs would be to characterize those that contain an induced $K_4$."

Spezifische Richtungen:

1. Fall mit $K_4$: Die Autoren glauben, dass dies durch Hinzufügen von $K_4$ zu Graphen in $\mathcal{G}$ charakterisiert werden kann
2. Bipartite wohlkantendominierte Graphen: Vollständige Charakterisierung der Struktur wohlkantendominierter bipartiter Graphen
3. Algorithmische Implementierung: Basierend auf Charakterisierungsergebnissen effizientere Erkennungsalgorithmen entwerfen
4. Verallgemeinerung: Untersuchung allgemeinerer Kantendominations-Eigenschaften wie $k$-Kantendominierung

Tiefgreifende Bewertung

Stärken

1. Theoretische Vollständigkeit:
   • Vollständige Lösung des $K_4$-freien Taillenweite-3-Falls, Schließung einer wichtigen Lücke
   • Strenge Beweise, erschöpfende Fallunterscheidung (Fall 1-3, jeweils mit mehrschichtigen Unterfällen)
   • Vollständige Argumentation in beide Richtungen
2. Methodische Innovation:
   • Einführung des Konzepts der starken Trennbarkeit, genaue Charakterisierung von Klebungsbedingungen
   • Lemma 6 bietet ein modulares Konstruktions- und Beweisgerüst
   • Kombination computergestützter Verifikation und theoretischer Beweise, gegenseitige Unterstützung
3. Strukturelle Klarheit:
   • Von einfach zu komplex: $\mathcal{P} \subset \mathcal{W} \subset \mathcal{G}$
   • Konstruktionsregeln sind explizit, leicht zu verifizieren und anzuwenden
   • Anhang listet alle Klassendefinitionen detailliert auf
4. Visualisierungsunterstützung:
   • Abbildungen 1-4 bieten intuitive Darstellungen wichtiger Graphen
   • Vollständige Aufzählung aller Graphen der Ordnung 7-8 erhöht die Glaubwürdigkeit

Schwächen

1. Beweiskomplexität:
   • Der Beweis von Theorem 4 erstreckt sich über 12 Seiten (S. 12-24), Fallunterscheidung ist äußerst aufwändig
   • Einige Argumentationen hängen von vielen vorgelagerten Lemmata ab, Verfolgung ist schwierig
   • Lesbarkeit beeinträchtigt, schnelle Erfassung der Kernidee schwierig
2. Behandlung von Ausnahmegraphen:
   • Das Auftreten von 5 Ausnahmegraphen wirkt abrupt, einheitliche Erklärung fehlt
   • Warum können $W_1, W_2, W_3$ nicht in $\mathcal{G}$ integriert werden? Theoretischer Grund unklar
3. Bipartite Graphen als Black Box:
   • Konstruktion hängt stark von wohlkantendominierten bipartiten Graphen ab, deren Struktur unbekannt ist
   • Dies macht die Konstruktion nicht ausreichend "explizit", Anwendung begrenzt
4. Fehlende Computerdetails:
   • Sage-Verifikationscode und Algorithmen nicht bereitgestellt
   • Unabhängige Reproduktion von Rechenergebnissen unmöglich
   • Rechenkomplexität nicht analysiert
5. Unzureichende Verallgemeinerungsdiskussion:
   • Können Methoden auf Fälle mit $K_4$ verallgemeinert werden?
   • Beziehung zu anderen Graphklassen (z. B. planare Graphen, krallenfreie Graphen)?

Einfluss

1. Theoretischer Beitrag:
   • Legt Grundlagen für vollständige Charakterisierung nicht-bipartiter wohlkantendominierter Graphen
   • Das bereitgestellte Konstruktionsgerüst könnte auf Charakterisierung anderer Graphklassen anwendbar sein
   • Fördert die Entwicklung der Strukturtheorie äquimatchbarer Graphen
2. Methodologischer Wert:
   • Kombinationsparadigma computergestützter Verifikation und theoretischer Beweise
   • Ideen modularer Konstruktion und Klebungsoperation
   • Das Trennbarkeitsbegriff könnte breitere Anwendung finden
3. Praktischer Nutzen begrenzt:
   • Hauptsächlich reine Theorieergebnisse, begrenzte direkte Anwendungsszenarien
   • Erkennungsalgorithmus nicht verbessert (bereits Polynomzeit-Algorithmus vorhanden)
   • Orientierungswert für Algorithmendesign noch zu klären
4. Reproduzierbarkeit:
   • Theoretische Beweise verifizierbar (obwohl aufwändig)
   • Computergestützte Teile schlecht reproduzierbar (Code nicht öffentlich)
   • Konstruktionsdefinitionen explizit, leicht implementierbar

Anwendungsszenarien

1. Theoretische Forschung:
   • Forscher der Graphenstrukturtheorie
   • Forschung zu äquimatchbaren Graphen und Dominationstheorie
   • Extremale Kombinatorik
2. Algorithmendesign:
   • Könnte effiziente Algorithmen auf speziellen Graphklassen inspirieren
   • Parametrisiertes Algorithmendesign (mit Dreieckzahl als Parameter)
3. Verwandte Probleme:
   • Kantenüberdeckung, Kantenfärbung und verwandte Probleme
   • Probleme im Zusammenhang mit perfekten Matchings
   • Andere Dominationsvarianten

Literaturverzeichnis

Schlüsselzitate:

2 Anderson et al. (2022): Charakterisierung wohlkantendominierter Graphen mit Taillenweite ≥ 4 (Grundlage für Theorem 2)

3 Berg et al. (2025): Charakterisierung wohlkantendominierter Graphen mit einem Dreieck (Grundlage für Theorem 3)

5 Büyükçolak et al. (2023): Eigenschaften äquimatchbarer bipartiter Graphen (Lemma 1)

9 Frendrup et al. (2010): Äquimatchbare Graphen mit Taillenweite ≥ 5

11 Lesk et al. (1984): Polynomzeit-Erkennungsalgorithmus für äquimatchbare Graphen

14 Sumner (1979): Charakterisierung zufällig matchbarer Graphen (Theorem 1)

Gesamtbewertung: Dies ist ein hochqualitatives theoretisches Papier der Kombinatorik, das durch strenge Fallunterscheidung und konstruktive Beweise das Charakterisierungsproblem $K_4$-freier wohlkantendominierter Graphen vollständig löst. Obwohl der Beweis aufwändig ist und von ungelösten bipartiten Graphenproblemen abhängt, leistet er bedeutende Beiträge zu theoretischer Vollständigkeit und methodischer Innovation. Dies ist von großer Bedeutung für die Förderung der vollständigen Charakterisierung wohlkantendominierter Graphen und äquimatchbarer Graphen und stellt einen soliden Fortschritt in diesem Forschungsbereich dar.