coloring_nested_tire_dual_graphs: tighten abstract/intro for moved Def

The previous abstract/intro still treated "partial tire dual" as
foundational vocabulary defined elsewhere.  After moving Definition
1.7 into this paper, the wording is fixed:
  - Abstract: now lists tire graphs + dual depth as foundational
    (from companion paper), and notes we DEFINE partial tire dual
    here.
  - Intro: removes "partial tire duals D(T)" from the list of
    foundational vocabulary cited from the companion paper.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
This commit is contained in:
2026-05-27 00:58:02 -04:00
parent df9411d2bd
commit 70b605e84f
3 changed files with 11 additions and 11 deletions
@@ -1,4 +1,4 @@
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 27 MAY 2026 00:57 This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 27 MAY 2026 00:58
entering extended mode entering extended mode
restricted \write18 enabled. restricted \write18 enabled.
%&-line parsing enabled. %&-line parsing enabled.
@@ -258,7 +258,7 @@ live/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/local/texl
ive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb></usr/local/texliv ive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb></usr/local/texliv
e/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/local/texlive e/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/local/texlive
/2022/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb> /2022/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb>
Output written on paper.pdf (9 pages, 605744 bytes). Output written on paper.pdf (9 pages, 605784 bytes).
PDF statistics: PDF statistics:
151 PDF objects out of 1000 (max. 8388607) 151 PDF objects out of 1000 (max. 8388607)
89 compressed objects within 1 object stream 89 compressed objects within 1 object stream
Binary file not shown.
@@ -45,10 +45,11 @@
\begin{abstract} \begin{abstract}
This is a follow-up to \cite{bauerfeld-nested-tires}, which This is a follow-up to \cite{bauerfeld-nested-tires}, which
establishes the basic vocabulary of tire graphs $T$ and their establishes the basic vocabulary of tire graphs $T$ and dual
partial tire duals $D(T)$. Building on those definitions, we depth. Building on those definitions, we define the
analyse the structure of $D(T)$ in the spoke-only case (a corona \emph{partial tire dual} $D(T)$ and analyse its structure in the
graph $C_{n+m} \circ K_1$), prove the tire-component lemma spoke-only case (a corona graph $C_{n+m} \circ K_1$), prove the
tire-component lemma
exhibiting every BFS-level component as a tire graph, give an exhibiting every BFS-level component as a tire graph, give an
edge-vertex coloring bijection that reduces counting proper edge-vertex coloring bijection that reduces counting proper
$3$-edge-colorings of $D(T)$ to counting proper $3$-vertex-colorings $3$-edge-colorings of $D(T)$ to counting proper $3$-vertex-colorings
@@ -72,11 +73,10 @@ admitting no proper $3$-edge-colouring.
This paper is the second in a series studying that structure This paper is the second in a series studying that structure
through the lens of \emph{nested level duals}. The foundational through the lens of \emph{nested level duals}. The foundational
vocabulary --- level sources, levels, the inner planar dual $G'$ vocabulary --- level sources, levels, the inner planar dual $G'$
and its dual depth, tire graphs, and partial tire duals and its dual depth, and tire graphs --- is developed in the
$D(T)$ --- is developed in the companion paper companion paper \cite{bauerfeld-nested-tires}; we refer to that
\cite{bauerfeld-nested-tires}; we refer to that paper for all paper for those definitions and rely on them throughout. In
basic definitions and rely on them throughout. In particular we particular we use, without restating, the notions of:
use, without restating, the notions of:
\begin{itemize} \begin{itemize}
\item \emph{level source} $S$ and $G$-vertex levels $\ell_G(v)$; \item \emph{level source} $S$ and $G$-vertex levels $\ell_G(v)$;
\item the inner planar dual $G'$ \item the inner planar dual $G'$