Frame the 4-coloring motivation and add an online greedy check

Adds a Motivation section to paper.tex explaining that the
quadrilateral sequencing is intended to support an inductive 4-coloring
of the underlying maximal planar graph, with ring completion as the
suspected obstacle.

Adds commentary.tex recording (a) why a pure pigeonhole argument is
unlikely to close the conjecture, (b) the observation that under any
strictly local online rule every G'-edge constraint is enforced when
its second endpoint is colored (so ring completions cannot fail at the
moment they fire), and (c) the empirical finding that pure greedy
fails at non-ring-completion moves on every 3-connected triangulation
of order 5-7.

Adds quad_sequence_coloring_check.py, an enumeration check over small
triangulations via Sage's planar_graphs that runs greedy online
4-coloring under the canonical sequence and classifies failures.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

papers/plane_depth_sequencing/commentary.tex

@@ -0,0 +1,67 @@
+\documentclass{amsart}
+
+\newtheorem{theorem}{Theorem}[section]
+\newtheorem{lemma}[theorem]{Lemma}
+\theoremstyle{definition}
+\newtheorem{definition}[theorem]{Definition}
+\newtheorem{remark}[theorem]{Remark}
+
+\title{Commentary on the 4-coloring motivation for plane depth sequencing}
+\author{}
+\date{}
+
+\begin{document}
+\maketitle
+
+\section*{Purpose}
+
+This note records analytic and empirical responses to the motivation stated in the companion paper: the hope that the quadrilateral sequencing of a deep embedding can be combined with an inductive local choice rule to 4-color the underlying maximal planar graph, with ring completion as the only structural obstruction. The reasoning below is informal and is meant to scope where the 4-coloring story is delicate and where empirical probing is most likely to be informative.
+
+\section{Why a pure pigeonhole argument is unlikely to close this}
+
+A purely counting / pigeonhole argument showing ``every ring completion succeeds for at least one coloring of the preceding moves'' would, if it worked, give a constructive 4-coloring of every maximal planar graph by following the canonical sequence. The 4-color theorem of Appel--Haken and the cleaner Robertson--Sanders--Seymour--Thomas proof exist because no such argument has been found, and substantial structural machinery (unavoidable configurations, reducibility, Kempe-chain swaps) is necessary. A short pigeonhole would therefore be too good to be true.
+
+There is also an online-coloring obstacle. Even with optimal play, deterministic online algorithms on planar graphs can be forced past 4 colors when the algorithm sees the input one vertex at a time and cannot revise earlier choices. The quadrilateral sequencing fixes a vertex-revelation order in advance, and any local rule that colors a new vertex against its already-colored $G'$-neighbors is effectively such an online algorithm.
+
+\section{What ring completion actually constrains}
+
+Under a strictly local online rule that colors each new vertex against its already-colored $G'$-neighbors, every $G'$-edge constraint is enforced at the moment its second endpoint is colored. By the time a ring completion fires, all five edges of its quadrilateral (four perimeter edges and the level edge) have already had their constraints enforced, since their endpoints were colored at earlier steps. The ring completion adds no new edge constraints and therefore cannot fail at the moment it fires --- provided that the earlier non-ring-completion moves never got stuck.
+
+This shifts the question. The interesting failure mode is not at ring completion. It is at the earlier moves where a new vertex is introduced and the rule cannot supply a valid color because all four colors are forbidden by the new vertex's already-colored $G'$-neighbors. In other words: the relevant obstruction lives in the anchor drop, level add, and join steps, not in the ring completions.
+
+\section{Empirical check on small triangulations}
+
+An empirical check was set up under the simplest concrete instance of an online rule: for each non-ring-completion move, color each new vertex with the smallest unused color among its already-colored $G'$-neighbors, in canonical (depth, vertex-id) order. The check enumerates every 3-connected planar triangulation of order $n \in [4, 9]$ (via Sage's \texttt{graphs.planar\_graphs}) and classifies each run as one of \texttt{success}, \texttt{no\_color\_available} (greedy exhausted the palette), or \texttt{ring\_completion\_monochromatic} (a ring completion found a monochromatic edge).
+
+The observation on small orders is consistent with the theoretical analysis above:
+
+\begin{itemize}
+    \item Every failure observed so far is of type \texttt{no\_color\_available}.
+    \item No failure of type \texttt{ring\_completion\_monochromatic} occurred.
+    \item Failures appear already at $n = 5$ and dominate at $n = 6, 7$.
+\end{itemize}
+
+The empirical picture, in short: the framing ``ring completion is where the trouble lies'' is not supported by this discipline. Pure greedy fails at the introduction of vertices well before any ring completion has a chance to be inconsistent. If the local rule is to succeed at all, it must either be smarter than greedy in choosing colors at introductions, or must permit backtracking / Kempe-chain repair when the palette runs out.
+
+\section{Directions that have a chance}
+
+\begin{itemize}
+    \item \textbf{Kempe-chain repair at the failing step.} When a new vertex cannot be colored because its colored neighborhood uses all four colors, swap colors along a Kempe chain to free one. This is the engine of Heawood's 5-color proof and a load-bearing component of the 4-color proof. It is not pigeonhole; it is a local recoloring argument whose success depends on the chain structure, not on cardinalities alone.
+    \item \textbf{Reducibility / unavoidable-configuration argument.} Identify a finite list of local patches that can appear at a failing introduction, and show each is reducible in the Appel--Haken sense. This is essentially a miniature 4-color proof restricted to the configurations that arise under the canonical sequence.
+    \item \textbf{Restricting to subclasses.} For stacked / Apollonian triangulations or triangulations with no separating triangles, an inductive coloring may line up cleanly with the canonical sequence. If empirically pure greedy succeeds on a subclass, that suggests a tractable target subtheorem.
+    \item \textbf{Choosing a smarter introduction rule.} Greedy with smallest-color is a particularly weak choice. A more structural rule --- e.g., one that consults depth parity, the move type, and the local triangle type --- might avoid the \texttt{no\_color\_available} dead-ends. The check infrastructure can be re-parameterized with such a rule to test.
+\end{itemize}
+
+\section{What the empirical failures might be useful for}
+
+Even though the failures of pure greedy are not the ring-completion failures originally hoped for, they have potential value as a structural probe. Each failing graph identifies a small triangulation on which the canonical sequence forces an introduction step into a 4-color dead-end. The structure of the dead-end --- which vertex, which move type, which neighborhood --- is recorded by the saved canonical graphs in \texttt{data/graphs/}. These small examples could:
+
+\begin{itemize}
+    \item suggest the form of a smarter introduction rule;
+    \item identify a candidate ``unavoidable configuration'' for a reducibility argument;
+    \item or, in conjunction with the related colored-edge flip-class work, identify a structural witness that the sequencing interacts non-trivially with proper 4-colorings.
+\end{itemize}
+
+The empirical pipeline is short enough that broader sweeps over $n$ or over alternative introduction rules are cheap to run, and the failure list can be regenerated whenever the rule changes.
+
+\end{document}

papers/plane_depth_sequencing/paper.tex

@@ -36,6 +36,8 @@
 
 \documentclass{amsart}
 
+\usepackage{amssymb}
+
 \newtheorem{theorem}{Theorem}[section]
 \newtheorem{lemma}[theorem]{Lemma}
 
@@ -65,17 +67,26 @@
 
 \subjclass[2010]{Primary }
 
-\keywords{}
+\keywords{plane graph, triangulation, plane depth, deep embedding, quadrilateral decomposition, $k$-outerplanar graph, canonical sequencing}
 
 \date{}
 
 \dedicatory{}
 
 \begin{abstract}
+Given a plane embedding of a graph with outer cycle $C$, the \emph{plane depth} of a vertex is its graph distance to $C$. We use this depth function to organize plane triangulations into a layered combinatorial structure. First, we show that the subgraph induced by each depth level is outerplanar, recovering Baker's notion of a $k$-outerplanar graph. We then introduce the \emph{deep embedding} of a maximal planar graph, obtained by inserting a new vertex into each neutral triangular face (including the outer face), and prove that every face of the resulting spherical triangulation is an \emph{up} or \emph{down} triangle. Pairing adjacent triangles across their unique level edge yields a \emph{quadrilateral decomposition} into three combinatorial types: shallow diamonds, deep diamonds, and S quads. Finally, we define a deterministic traversal of this decomposition using four moves --- anchor drop, level add, join, and ring completion --- under a fixed precedence, and prove that, starting from any boundary deep diamond, the resulting sequence visits every quadrilateral exactly once.
 \end{abstract}
 
 \maketitle
 
+\section{Motivation}
+
+This paper is one step of a longer programme aimed at 4-coloring maximal planar graphs by inductive local construction. The quadrilateral sequencing is designed so that the deep embedding $G'$ can be built up one quadrilateral at a time, and so that --- at least at first glance --- each new quadrilateral admits a natural local 4-coloring choice for the vertices it introduces.
+
+Three of the four moves --- anchor drop, level add, and join --- attach a quadrilateral that introduces one or two new vertices. For each of these moves the new vertex (or vertices) can be assigned a color that respects the local triangle constraints. The fourth move, \emph{ring completion}, introduces no new vertices: it attaches a quadrilateral all four of whose corners are already in the slice. Whether the move succeeds therefore depends on previously chosen colors.
+
+A natural question is whether the local freedom present at the non-ring-completion moves is enough to guarantee that, by the time each ring completion fires, the four corner colors are already compatible with a proper 4-coloring of the new quadrilateral. The remaining sections develop the structural machinery needed to phrase this question precisely; companion commentary (\texttt{commentary.tex}) records what is known so far about why this hope is delicate, and an empirical check (\texttt{quad\_sequence\_coloring\_check.py}) explores the behavior of a particular online coloring discipline on small triangulations.
+
 \section{Definitions}
 
 \begin{definition}