Define plane diamond coloring directly via parity-separation
Replaces the scaffold-mediated definition with the equivalent direct condition (two color classes contained in opposite-parity BFS layers from some root) and removes the scaffold definition, 2-colorability theorem, connectedness lemma, and equivalence proposition that existed solely to translate between the two formulations. Updates the refutation proof to invoke the new definition directly. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
This commit is contained in:
@@ -1,11 +1,13 @@
|
||||
\relax
|
||||
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{Notation}}{1}{}\protected@file@percent }
|
||||
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Definitions}}{1}{}\protected@file@percent }
|
||||
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Results}}{1}{}\protected@file@percent }
|
||||
\citation{appel1977every}
|
||||
\citation{robertson1997four}
|
||||
\citation{mckaygraph6}
|
||||
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{Notation}}{1}{}\protected@file@percent }
|
||||
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Definitions}}{1}{}\protected@file@percent }
|
||||
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Results}}{1}{}\protected@file@percent }
|
||||
\bibcite{appel1977every}{1}
|
||||
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The unique smallest maximal planar graph with no plane diamond coloring; it has $13$ vertices and degree sequence $(6,6,6,6,6,6,6,5,5,4,4,3,3)$.}}{2}{}\protected@file@percent }
|
||||
\newlabel{fig:counterexample}{{1}{2}}
|
||||
\bibcite{robertson1997four}{2}
|
||||
\bibcite{mckaygraph6}{3}
|
||||
\newlabel{tocindent-1}{0pt}
|
||||
@@ -13,7 +15,5 @@
|
||||
\newlabel{tocindent1}{17.77782pt}
|
||||
\newlabel{tocindent2}{0pt}
|
||||
\newlabel{tocindent3}{0pt}
|
||||
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The unique smallest maximal planar graph with no plane diamond coloring; it has $13$ vertices and degree sequence $(6,6,6,6,6,6,6,5,5,4,4,3,3)$.}}{3}{}\protected@file@percent }
|
||||
\newlabel{fig:counterexample}{{1}{3}}
|
||||
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{3}{}\protected@file@percent }
|
||||
\gdef \@abspage@last{3}
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
# Fdb version 3
|
||||
["pdflatex"] 1778345508 "paper.tex" "paper.pdf" "paper" 1778345509
|
||||
["pdflatex"] 1778346213 "paper.tex" "paper.pdf" "paper" 1778346214
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1246382020 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 ""
|
||||
@@ -18,7 +18,6 @@
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1136768653 1116 933a60c408fc0a863a92debe84b2d294 ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1136768653 1120 8b7d695260f3cff42e636090a8002094 ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmti10.tfm" 1136768653 1480 aa8e34af0eb6a2941b776984cf1dfdc4 ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmti7.tfm" 1136768653 1492 86331993fe614793f5e7e755835c31c5 ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmti8.tfm" 1136768653 1504 1747189e0441d1c18f3ea56fafc1c480 ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm" 1136768653 768 1321e9409b4137d6fb428ac9dc956269 ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm" 1136768653 768 d7b9a2629a0c353102ad947dc9221d49 ""
|
||||
@@ -33,7 +32,6 @@
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1248133631 32569 5e5ddc8df908dea60932f3c484a54c0d ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb" 1248133631 32716 08e384dc442464e7285e891af9f45947 ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb" 1248133631 37944 359e864bd06cde3b1cf57bb20757fb06 ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti7.pfb" 1248133631 36607 d654cb3f2bc54f57509240071db3bffa ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb" 1248133631 35660 fb24af7afbadb71801619f1415838111 ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb" 1248133631 31099 c85edf1dd5b9e826d67c9c7293b6786c ""
|
||||
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb" 1248133631 24287 6b803fa9eb1ddff9112e00519b09dd9e ""
|
||||
@@ -63,8 +61,8 @@
|
||||
"/usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt" 1665017617 2826443 7e98410c533054b636c6470db83a27bc ""
|
||||
"/usr/local/texlive/2022/texmf.cnf" 1647878952 577 209b46be99c9075fd74d4c0369380e8c ""
|
||||
"counterexample.png" 1778345471 31680 49acd944c061e194d20aac1d5cd8ef86 ""
|
||||
"paper.aux" 1778345509 1030 d76673a7c450eca67268187399b24cac "pdflatex"
|
||||
"paper.tex" 1778345503 10589 51592aa33a281bbb7d4895e76f9e26b3 ""
|
||||
"paper.aux" 1778346214 1030 91a64fb2301d318c3529a163b199f774 "pdflatex"
|
||||
"paper.tex" 1778346203 7393 d95c3a990ad0a8a45120d7bebb561308 ""
|
||||
(generated)
|
||||
"paper.aux"
|
||||
"paper.log"
|
||||
|
||||
@@ -224,13 +224,11 @@ INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmti10.tfm
|
||||
OUTPUT paper.pdf
|
||||
INPUT /usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmti7.tfm
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmti7.tfm
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm
|
||||
OUTPUT paper.pdf
|
||||
INPUT /usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map
|
||||
INPUT ./counterexample.png
|
||||
INPUT ./counterexample.png
|
||||
INPUT counterexample.png
|
||||
@@ -249,7 +247,6 @@ INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti7.pfb
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb
|
||||
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 9 MAY 2026 12:51
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 9 MAY 2026 13:03
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
%&-line parsing enabled.
|
||||
@@ -193,42 +193,41 @@ File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
|
||||
e
|
||||
))
|
||||
[1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
|
||||
[2]
|
||||
<counterexample.png, id=24, 338.9463pt x 339.669pt>
|
||||
<counterexample.png, id=19, 338.9463pt x 339.669pt>
|
||||
File: counterexample.png Graphic file (type png)
|
||||
<use counterexample.png>
|
||||
Package pdftex.def Info: counterexample.png used on input line 182.
|
||||
Package pdftex.def Info: counterexample.png used on input line 144.
|
||||
(pdftex.def) Requested size: 161.9989pt x 162.34474pt.
|
||||
[3 <./counterexample.png>] (./paper.aux) )
|
||||
|
||||
[2 <./counterexample.png>] [3] (./paper.aux) )
|
||||
Here is how much of TeX's memory you used:
|
||||
2672 strings out of 478268
|
||||
38651 string characters out of 5846347
|
||||
343139 words of memory out of 5000000
|
||||
20716 multiletter control sequences out of 15000+600000
|
||||
477036 words of font info for 59 fonts, out of 8000000 for 9000
|
||||
2669 strings out of 478268
|
||||
38618 string characters out of 5846347
|
||||
339139 words of memory out of 5000000
|
||||
20714 multiletter control sequences out of 15000+600000
|
||||
476338 words of font info for 57 fonts, out of 8000000 for 9000
|
||||
1302 hyphenation exceptions out of 8191
|
||||
69i,8n,76p,847b,344s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/local/texlive/2022/texmf-dist/
|
||||
fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/local/texlive/2022/texmf-dist/f
|
||||
onts/type1/public/amsfonts/cm/cmcsc10.pfb></usr/local/texlive/2022/texmf-dist/f
|
||||
onts/type1/public/amsfonts/cm/cmex10.pfb></usr/local/texlive/2022/texmf-dist/fo
|
||||
nts/type1/public/amsfonts/cm/cmmi10.pfb></usr/local/texlive/2022/texmf-dist/fon
|
||||
ts/type1/public/amsfonts/cm/cmmi7.pfb></usr/local/texlive/2022/texmf-dist/fonts
|
||||
/type1/public/amsfonts/cm/cmr10.pfb></usr/local/texlive/2022/texmf-dist/fonts/t
|
||||
ype1/public/amsfonts/cm/cmr7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type
|
||||
1/public/amsfonts/cm/cmr8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/p
|
||||
ublic/amsfonts/cm/cmsy10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/pu
|
||||
blic/amsfonts/cm/cmsy7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/publ
|
||||
ic/amsfonts/cm/cmti10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/publi
|
||||
c/amsfonts/cm/cmti7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/
|
||||
amsfonts/cm/cmti8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/am
|
||||
sfonts/cm/cmtt10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/ams
|
||||
fonts/cm/cmtt8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfo
|
||||
nts/symbols/msam10.pfb>
|
||||
Output written on paper.pdf (3 pages, 233959 bytes).
|
||||
69i,8n,76p,770b,362s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/local/texlive/2022/texmf-di
|
||||
st/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/local/texlive/2022/texmf-dis
|
||||
t/fonts/type1/public/amsfonts/cm/cmcsc10.pfb></usr/local/texlive/2022/texmf-dis
|
||||
t/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/local/texlive/2022/texmf-dist
|
||||
/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/local/texlive/2022/texmf-dist/
|
||||
fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/local/texlive/2022/texmf-dist/fo
|
||||
nts/type1/public/amsfonts/cm/cmr10.pfb></usr/local/texlive/2022/texmf-dist/font
|
||||
s/type1/public/amsfonts/cm/cmr7.pfb></usr/local/texlive/2022/texmf-dist/fonts/t
|
||||
ype1/public/amsfonts/cm/cmr8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type
|
||||
1/public/amsfonts/cm/cmsy10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1
|
||||
/public/amsfonts/cm/cmsy7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/p
|
||||
ublic/amsfonts/cm/cmti10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/pu
|
||||
blic/amsfonts/cm/cmti8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/publ
|
||||
ic/amsfonts/cm/cmtt10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/publi
|
||||
c/amsfonts/cm/cmtt8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/
|
||||
amsfonts/symbols/msam10.pfb>
|
||||
Output written on paper.pdf (3 pages, 215556 bytes).
|
||||
PDF statistics:
|
||||
97 PDF objects out of 1000 (max. 8388607)
|
||||
57 compressed objects within 1 object stream
|
||||
92 PDF objects out of 1000 (max. 8388607)
|
||||
54 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
6 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
|
||||
Binary file not shown.
@@ -96,54 +96,16 @@ Equivalently, $L_i = \{v \in V(G) : d(v, u) = i\}$, where $d(v, u)$ denotes the
|
||||
\end{definition}
|
||||
|
||||
\begin{definition}
|
||||
Let $G$ be a maximal planar graph with a plane embedding, and let $\{L_0, L_1, L_2, \dots\}$ be the distance partition of $G$ from some $u \in V(G)$. The \emph{diamond scaffold} of $G$ relative to $u$ is the spanning subgraph $G^\diamond \subseteq G$ obtained by removing every edge $\{x, y\} \in E(G)$ such that $x, y \in L_i$ for some $i$.
|
||||
\end{definition}
|
||||
|
||||
\begin{definition}
|
||||
Let $G$ be a maximal planar graph. A \emph{plane diamond coloring} of $G$ is a proper $4$-coloring $C$ of $G$ such that there exist two colors $c_a, c_b$ and a diamond scaffold $G^\diamond$ of $G$ with a proper $2$-coloring $C^\diamond : V(G) \to \{c_a, c_b\}$ satisfying
|
||||
Let $G$ be a maximal planar graph. A \emph{plane diamond coloring} of $G$ is a proper $4$-coloring $C$ of $G$ for which there exist a vertex $u \in V(G)$ and two distinct colors $c_a, c_b$ such that, with respect to the distance partition $\{L_0, L_1, L_2, \dots\}$ of $G$ from $u$,
|
||||
\[
|
||||
C^\diamond(v) = c_a \quad \text{for every } v \in C^{-1}(c_a),
|
||||
\]
|
||||
\[
|
||||
C^\diamond(v) = c_b \quad \text{for every } v \in C^{-1}(c_b).
|
||||
C^{-1}(c_a) \subseteq \bigcup_{i \text{ even}} L_i \qquad \text{and} \qquad C^{-1}(c_b) \subseteq \bigcup_{i \text{ odd}} L_i.
|
||||
\]
|
||||
\end{definition}
|
||||
|
||||
\section{Results}
|
||||
|
||||
\begin{theorem}
|
||||
The diamond scaffold of any maximal planar graph $G$ is $2$-colorable.
|
||||
\end{theorem}
|
||||
|
||||
\begin{proof}
|
||||
Let $\{L_0, L_1, L_2, \dots\}$ be the distance partition of $G$ from the chosen vertex $u$, and let $G^\diamond$ be the resulting diamond scaffold. We show $G^\diamond$ is bipartite by exhibiting a proper $2$-coloring.
|
||||
|
||||
For any edge $\{x, y\} \in E(G)$, the depths of $x$ and $y$ differ by at most $1$: if $x \in L_i$, then prepending the edge $\{y, x\}$ to a shortest path from $x$ to $u$ gives a walk of length $i + 1$ from $y$ to $u$, so $y \in L_j$ for some $j \leq i + 1$, and symmetrically $i \leq j + 1$. Hence $|i - j| \leq 1$.
|
||||
|
||||
By construction, $G^\diamond$ contains no edge with both endpoints in the same level $L_i$. Combined with the bound above, every edge of $G^\diamond$ joins some $L_i$ to $L_{i+1}$. Color each vertex $v \in L_i$ by the parity of $i$. Every edge of $G^\diamond$ connects vertices of opposite parity, so this is a proper $2$-coloring.
|
||||
\end{proof}
|
||||
|
||||
\begin{lemma}
|
||||
The diamond scaffold $G^\diamond$ of a maximal planar graph $G$ relative to $u$ is connected.
|
||||
\end{lemma}
|
||||
|
||||
\begin{proof}
|
||||
Let $\{L_0, L_1, L_2, \dots\}$ be the distance partition of $G$ from $u$. We show by induction on $i$ that every vertex of $L_i$ is connected to $u$ in $G^\diamond$. The base case $i = 0$ is immediate, since $L_0 = \{u\}$. For $i \geq 1$, let $v \in L_i$. By definition of $L_i$, there is a shortest path from $v$ to $u$ of length $i$ in $G$, whose penultimate vertex $w$ lies in $L_{i-1}$. The edge $\{v, w\}$ joins $L_i$ to $L_{i-1}$, hence is not a level edge, hence belongs to $G^\diamond$. By the inductive hypothesis $w$ is connected to $u$ in $G^\diamond$, so $v$ is as well.
|
||||
\end{proof}
|
||||
|
||||
\begin{proposition}
|
||||
A maximal planar graph $G$ has a plane diamond coloring if and only if there exist a proper $4$-coloring $C$ of $G$, a vertex $u \in V(G)$, and two distinct colors $c_a, c_b$ such that, with respect to the distance partition $\{L_0, L_1, L_2, \dots\}$ of $G$ from $u$,
|
||||
\[
|
||||
C^{-1}(c_a) \subseteq \bigcup_{i \text{ even}} L_i \qquad \text{and} \qquad C^{-1}(c_b) \subseteq \bigcup_{i \text{ odd}} L_i.
|
||||
\]
|
||||
\end{proposition}
|
||||
|
||||
\begin{proof}
|
||||
Since $G^\diamond$ is connected and bipartite (Theorem 2.1 and Lemma 2.2), its proper $2$-coloring is unique up to swapping the two colors, and is given by the parity of level. Hence a proper $2$-coloring $C^\diamond : V(G) \to \{c_a, c_b\}$ of $G^\diamond$ exists with $C^\diamond(v) = c_a$ on the even-parity layers and $C^\diamond(v) = c_b$ on the odd-parity layers (or vice versa). The agreement condition $C(v) = C^\diamond(v)$ on $C^{-1}(c_a) \cup C^{-1}(c_b)$ is then equivalent to the stated containment.
|
||||
\end{proof}
|
||||
|
||||
\begin{remark}
|
||||
The conjecture below asserts a structural property of $4$-colorings of maximal planar graphs strictly stronger than the conclusion of the Four Color Theorem \cite{appel1977every,robertson1997four}: it requires not merely the existence of a proper $4$-coloring, but the existence of a proper $4$-coloring together with a root $u$ such that two of the four color classes are separated by the parity of the BFS layering from $u$.
|
||||
Definition 1.2 imposes a structural condition on $4$-colorings of maximal planar graphs strictly stronger than the conclusion of the Four Color Theorem \cite{appel1977every,robertson1997four}: it requires not merely the existence of a proper $4$-coloring, but the existence of a proper $4$-coloring together with a root $u$ such that two of the four color classes are separated by the parity of the BFS layering from $u$.
|
||||
\end{remark}
|
||||
|
||||
\begin{conjecture}
|
||||
@@ -151,7 +113,7 @@ Every maximal planar graph $G$ has a plane diamond coloring.
|
||||
\end{conjecture}
|
||||
|
||||
\begin{theorem}
|
||||
Conjecture 2.5 is false. Moreover, the smallest counterexample has order $13$, and is unique up to isomorphism among triangulations of order at most $13$.
|
||||
The preceding conjecture is false. Moreover, the smallest counterexample has order $13$, and is unique up to isomorphism among triangulations of order at most $13$.
|
||||
\end{theorem}
|
||||
|
||||
\begin{proof}
|
||||
@@ -168,9 +130,9 @@ shown in Figure~\ref{fig:counterexample}. Equivalently, $G$ has edge set
|
||||
\end{align*}
|
||||
We have $|V(G)| = 13$ and $|E(G)| = 33 = 3 \cdot 13 - 6$, so $G$ is a triangulation.
|
||||
|
||||
By Proposition 2.4, it suffices to verify that for every choice of root $u \in V(G)$ and every pair of distinct colors $c_a, c_b$, no proper $4$-coloring $C$ of $G$ satisfies $C^{-1}(c_a) \subseteq \bigcup_{i \text{ even}} L_i^{(u)}$ and $C^{-1}(c_b) \subseteq \bigcup_{i \text{ odd}} L_i^{(u)}$, where $\{L_i^{(u)}\}$ denotes the distance partition from $u$.
|
||||
By Definition 1.2, it suffices to show that for every root $u \in V(G)$, no proper $4$-coloring $C$ of $G$ admits two distinct colors $c_a, c_b$ with $C^{-1}(c_a)$ contained in the union of even-indexed levels and $C^{-1}(c_b)$ contained in the union of odd-indexed levels of the distance partition from $u$.
|
||||
|
||||
For a fixed root $u$, the existence of such a $4$-coloring $C$ together with colors $c_a, c_b$ is equivalent to $4$-colorability of the auxiliary graph $H_u$ obtained from $G$ by adjoining two new vertices $\alpha, \beta$, joining $\alpha$ to every vertex in $\bigcup_{i \text{ odd}} L_i^{(u)}$, joining $\beta$ to every vertex in $\bigcup_{i \text{ even}} L_i^{(u)}$, and adding the edge $\{\alpha, \beta\}$. Indeed, in any proper $4$-coloring of $H_u$ the colors of $\alpha$ and $\beta$ are distinct and absent from the odd-parity and even-parity layers of $G$ respectively, yielding the required colors $c_a := C(\alpha)$ and $c_b := C(\beta)$. Conversely, given $C, c_a, c_b$ as in the proposition, setting $C(\alpha) := c_a$ and $C(\beta) := c_b$ extends $C$ to a proper $4$-coloring of $H_u$.
|
||||
For a fixed root $u$, the existence of such a triple $(C, c_a, c_b)$ is equivalent to $4$-colorability of the auxiliary graph $H_u$ obtained from $G$ by adjoining two new vertices $\alpha, \beta$, joining $\alpha$ to every vertex in odd-indexed levels, joining $\beta$ to every vertex in even-indexed levels, and adding the edge $\{\alpha, \beta\}$. Indeed, in any proper $4$-coloring of $H_u$ the colors of $\alpha$ and $\beta$ are distinct and absent from the odd-parity and even-parity layers of $G$ respectively, yielding $c_a := C(\alpha)$ and $c_b := C(\beta)$. Conversely, given a $4$-coloring satisfying the parity-separation condition, setting $C(\alpha) := c_a$ and $C(\beta) := c_b$ extends it to a proper $4$-coloring of $H_u$.
|
||||
|
||||
A direct computation (using \texttt{Sage}'s \texttt{chromatic\_number}) verifies that $\chi(H_u) > 4$ for every $u \in V(G)$, so $G$ admits no plane diamond coloring.
|
||||
|
||||
|
||||
Reference in New Issue
Block a user