Gradsätze für lineare Erweiterungsgraphen

Eine lineare Ausdehnung eines poset ist eine lineare Ordnung auf die Elemente , derart , daß in bedeutet , in für alle . $L$ $\mathcal{P}$ $\mathcal{P}$ $x \leq y$ $\mathcal{P}$ $x \leq y$ $L$ $x,y\in\mathcal{P}$

Ein linearer Erweiterungsgraph ist ein Graph auf der Menge der linearen Erweiterungen eines Posets, wobei zwei lineare Erweiterungen genau dann benachbart sind, wenn sie sich in einem benachbarten Elementaustausch unterscheiden.

Auf dem folgenden Bild ist das als -Poset bekannte Poset und sein linearer Erweiterungsgraph zu sehen, wobei . $N$ $a=1234, b=2134, c=1243, d=2143, e=2413$

Alt-Text (Diese Abbildung stammt aus der Arbeit .)

Wenn Sie lineare Erweiterungsgraphen (LEG) studieren, können Sie eine Idee (Vermutung) aufstellen, dass, wenn - maximaler Grad eines LEG, - bzw. minimaler Grad, der Gradsatz eines LEG aus und jedem besteht natürliche Zahl zwischen ihnen. Nehmen wir zum Beispiel einen als Chevron bekannten Poset, dann in dessen LEG mit und , und nach unserer Vermutung sind in auch Scheitelpunkte mit den Graden 4 und 3 enthalten der Graph. Die Frage ist also, ob wir diese Vermutung beweisen oder widerlegen können. $\Delta$ $\delta$ $\Delta,\delta$ $\mathcal{G}$ $\Delta(\mathcal{G})=5$ $\delta(\mathcal{G})=2$

Über LEGs und wie sehen sie aus wie ein in der Dissertation von Mareike Massow lesen hier . Chevron und sein Bein sind auf Seite 23 der Dissertation zu sehen.

Zu den Gradsätzen gibt es die klassische Arbeit " Gradsätze für Graphen " von Kapoor SF et al.

graph-theory co.combinatorics

— Oleksandr Bondarenko
quelle

Was ist ein linearer Erweiterungsgraph? das heißt, können Sie die Definition in die Frage falten, so dass sie etwas eigenständiger ist?

— Suresh Venkat

Diese Vermutung ist süß. Gibt es eine Motivation oder bekannte Anwendungen für die Vermutung? (Sagen Sie Kürzungen zu anderen Vermutungen.)

— Hsien-Chih Chang 張顯之

@ Hsien-Chih Chang Die Motivation für diese Vermutung ist, wenn wir beweisen, dass wir den Inhalt des eingestellten Grades kennen, indem wir nur die maximalen und minimalen Grade eines gegebenen linearen Erweiterungsgraphen kennen.

— Oleksandr Bondarenko

Ich glaube, ich habe es gestern bewiesen. Also hier ist die Skizze des Beweises. Zunächst wird das folgende Lemma bewiesen.

Lemma . Sei - eine Teilordnung, - sein linearer Erweiterungsgraph und - zwei benachbarte Eckpunkte von . Dann . $\mathcal{P}$ $G(\mathcal{P})$ $v_1,v_2$ $G(\mathcal{P})$ $|deg(v_1)-deg(v_2)|\leq 2$

Die Skizze des Beweises.

Gleichzeitig sind lineare Erweiterungen von so dass eine von ihnen, beispielsweise , durch eine Transposition benachbarter Elemente in transformiert werden kann (benachbarte Transposition). Es ist leicht zu erkennen (man betrachte zum Beispiel und aus der obigen Abbildung), dass jedes Element mit jeder linearen Ausdehnung die Anzahl von nicht vergleichbaren benachbarten Elementen an höchstens zwei ändern kann: $v_1,v_2$ $\mathcal{P}$ $v_1$ $v_2$ $d$ $e$ $x_i$ $L=x_1x_2\dots x_n$

$x_i$ $x_{i+1}$ $x_i\parallel x_{i+1}$ $x_i\perp x_{i+1}$ $L_1=\dots x_{i-1}x_ix_{i+1}x_{i+2}\dots$ $L_2=\dots x_{i-1}x_{i+1}x_{i}x_{i+2}\dots$
$G(\mathcal{P})$ $L$ $x_ix_{i+2}$ $x_{i-1}x_{i+1}$

$x_{i+1}\parallel(\perp) x_{i+2}\land x_{i}\parallel(\perp) x_{i+2}$ $deg(L)$ $x_{i+1}\perp(\parallel) x_{i+2}\land x_{i}\parallel(\perp) x_{i+2}$ erhöht (verringert) sich um eins. Die Proofskizze ist fertig. $deg(L)$

$G(\mathcal{P})$ $G(\mathcal{P})$ $v_1,v_2$ $deg(v_1)=k,deg(v_2)=k+2$ $v_3\in G(\mathcal{P})$ $deg(v_3)=k+1$

Die Skizze des Beweises.

$v_1,v_2,deg(v_1)=k,deg(v_2)=k+2$ $G(\mathcal{P})$ $k$ $G(\mathcal{P})$ $k+1$

$L_1,L_2$

x_{i + 1} ⊥ x_{i + 2} \land x_{i} ∥ x_{i + 2},

$x_{i+1}\perp x_{i+2}\land x_{i}\parallel x_{i+2},$

x_{i - 1} ⊥ x_{i} \land x_{i - 1} ∥ x_{i + 1},

$x_{i-1}\perp x_{i}\land x_{i-1}\parallel x_{i+1},$

$deg(L_2)=deg(L_1)+2$

$x_{i+1}$ $x_1$

x_{j} ⊥ x_{i + 1} \land x_{i + 1} ∥ x_{j + 1},

$x_{j}\perp x_{i+1}\land x_{i+1}\parallel x_{j+1},$

j < i - 1

$j<i-1$

— Oleksandr Bondarenko
quelle

x \sim y

$x \sim y$

x

$x$

y

$y$

v_{1}, v_{2}

$v_1,v_2$

x ⊥ y

$x\perp y$