diff --git a/papers/coloring_nested_tire_graphs/paper.log b/papers/coloring_nested_tire_graphs/paper.log index b6c5179..6625f02 100644 --- a/papers/coloring_nested_tire_graphs/paper.log +++ b/papers/coloring_nested_tire_graphs/paper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 25 MAY 2026 15:17 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 25 MAY 2026 15:23 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -214,7 +214,7 @@ LaTeX Warning: `h' float specifier changed to `ht'. Here is how much of TeX's memory you used: 3006 strings out of 478268 41985 string characters out of 5846347 - 339156 words of memory out of 5000000 + 338156 words of memory out of 5000000 21053 multiletter control sequences out of 15000+600000 475666 words of font info for 53 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 @@ -235,7 +235,7 @@ ive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb> -Output written on paper.pdf (4 pages, 464467 bytes). +Output written on paper.pdf (4 pages, 464573 bytes). PDF statistics: 97 PDF objects out of 1000 (max. 8388607) 56 compressed objects within 1 object stream diff --git a/papers/coloring_nested_tire_graphs/paper.pdf b/papers/coloring_nested_tire_graphs/paper.pdf index cb273ff..5881a2c 100644 Binary files a/papers/coloring_nested_tire_graphs/paper.pdf and b/papers/coloring_nested_tire_graphs/paper.pdf differ diff --git a/papers/coloring_nested_tire_graphs/paper.tex b/papers/coloring_nested_tire_graphs/paper.tex index f92ab08..f5497b3 100644 --- a/papers/coloring_nested_tire_graphs/paper.tex +++ b/papers/coloring_nested_tire_graphs/paper.tex @@ -195,12 +195,14 @@ $F_{C'}$. \end{lemma} \begin{proof}[Proof sketch] -By Lemma~2.6 of \cite{bauerfeld-pds} (whose argument, given for an -outer-cycle source, extends verbatim to an arbitrary level source $S$ -by treating $S$ as the depth-$0$ set), the subgraph $G[L_{d'}]$ is -outerplanar for each $d' \geq 0$. Since subgraphs of outerplanar -graphs are outerplanar, both $G[V_{C'} \cap L_d]$ and -$G[V_{C'} \cap L_{d+1}]$ are outerplanar. +Since $S$ is a single vertex, we may choose a plane embedding of $G$ +that places $S$ on the outer face. By Lemma~2.6 of +\cite{bauerfeld-pds}, applied with this embedding and source set $S$, +the subgraph $G[L_{d'}]$ is outerplanar for each $d' \geq 0$; +outerplanarity is a graph property, so this conclusion is independent +of the embedding choice. Since subgraphs of outerplanar graphs are +outerplanar, both $G[V_{C'} \cap L_d]$ and $G[V_{C'} \cap L_{d+1}]$ are +outerplanar. Layer containment (a consequence of the bounded-step property of BFS on a triangulation) gives $V_{C'} \subseteq L_d \cup L_{d+1}$, so $C$ diff --git a/papers/plane_depth_sequencing/paper.aux b/papers/plane_depth_sequencing/paper.aux new file mode 100644 index 0000000..dda1255 --- /dev/null +++ b/papers/plane_depth_sequencing/paper.aux @@ -0,0 +1,16 @@ +\relax +\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Motivation}}{1}{}\protected@file@percent } +\citation{baker1994} +\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Definitions}}{2}{}\protected@file@percent } +\newlabel{lem:outerplanarity}{{2.6}{2}} +\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Quadrilateral sequencing}}{3}{}\protected@file@percent } +\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The deep embedding $G'$ of a small maximal planar graph (drawn with one outer-cap face as the outer face), with each quadrilateral $Q_n$ of the canonical sequence labelled by its index and the move code (AD = anchor drop, LA = level add, J = join, RC = ring completion) of the move that produced it. Solid edges are non-level; dashed edges are level. Background colour encodes quadrilateral type: amber for shallow diamonds, teal for deep diamonds, pink for S quads. Outer-cycle vertices are blue, the outer-cap vertex $x^{*}$ is red. The move-code string for this example is $01211333$.}}{6}{}\protected@file@percent } +\newlabel{fig:example-sequence}{{1}{6}} +\bibcite{baker1994}{1} +\newlabel{tocindent-1}{0pt} +\newlabel{tocindent0}{12.7778pt} +\newlabel{tocindent1}{17.77782pt} +\newlabel{tocindent2}{0pt} +\newlabel{tocindent3}{0pt} +\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{8}{}\protected@file@percent } +\gdef \@abspage@last{8} diff --git a/papers/plane_depth_sequencing/paper.log b/papers/plane_depth_sequencing/paper.log new file mode 100644 index 0000000..db4af39 --- /dev/null +++ b/papers/plane_depth_sequencing/paper.log @@ -0,0 +1,251 @@ +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 25 MAY 2026 15:23 +entering extended mode + restricted \write18 enabled. + %&-line parsing enabled. +**paper.tex +(./paper.tex +LaTeX2e <2021-11-15> patch level 1 +L3 programming layer <2022-02-24> +(/usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +Document Class: amsart 2020/05/29 v2.20.6 +\linespacing=\dimen138 +\normalparindent=\dimen139 +\normaltopskip=\skip47 +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2021/10/15 v2.17l AMS math features +\@mathmargin=\skip48 + +For additional information on amsmath, use the `?' option. +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +Package: amstext 2021/08/26 v2.01 AMS text + +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +File: amsgen.sty 1999/11/30 v2.0 generic functions +\@emptytoks=\toks16 +\ex@=\dimen140 +)) +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +Package: amsbsy 1999/11/29 v1.2d Bold Symbols +\pmbraise@=\dimen141 +) +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +Package: amsopn 2021/08/26 v2.02 operator names +) +\inf@bad=\count185 +LaTeX Info: Redefining \frac on input line 234. +\uproot@=\count186 +\leftroot@=\count187 +LaTeX Info: Redefining \overline on input line 399. +\classnum@=\count188 +\DOTSCASE@=\count189 +LaTeX Info: Redefining \ldots on input line 496. +LaTeX Info: Redefining \dots on input line 499. +LaTeX Info: Redefining \cdots on input line 620. +\Mathstrutbox@=\box50 +\strutbox@=\box51 +\big@size=\dimen142 +LaTeX Font Info: Redeclaring font encoding OML on input line 743. +LaTeX Font Info: Redeclaring font encoding OMS on input line 744. +\macc@depth=\count190 +\c@MaxMatrixCols=\count191 +\dotsspace@=\muskip16 +\c@parentequation=\count192 +\dspbrk@lvl=\count193 +\tag@help=\toks17 +\row@=\count194 +\column@=\count195 +\maxfields@=\count196 +\andhelp@=\toks18 +\eqnshift@=\dimen143 +\alignsep@=\dimen144 +\tagshift@=\dimen145 +\tagwidth@=\dimen146 +\totwidth@=\dimen147 +\lineht@=\dimen148 +\@envbody=\toks19 +\multlinegap=\skip49 +\multlinetaggap=\skip50 +\mathdisplay@stack=\toks20 +LaTeX Info: Redefining \[ on input line 2938. +LaTeX Info: Redefining \] on input line 2939. +) +LaTeX Font Info: Trying to load font information for U+msa on input line 397 +. + +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +File: umsa.fd 2013/01/14 v3.01 AMS symbols A +) +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support +\symAMSa=\mathgroup4 +\symAMSb=\mathgroup5 +LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. +LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' +(Font) U/euf/m/n --> U/euf/b/n on input line 106. +) +\copyins=\insert199 +\abstractbox=\box52 +\listisep=\skip51 +\c@part=\count197 +\c@section=\count198 +\c@subsection=\count266 +\c@subsubsection=\count267 +\c@paragraph=\count268 +\c@subparagraph=\count269 +\c@figure=\count270 +\c@table=\count271 +\abovecaptionskip=\skip52 +\belowcaptionskip=\skip53 +\captionindent=\dimen149 +\thm@style=\toks21 +\thm@bodyfont=\toks22 +\thm@headfont=\toks23 +\thm@notefont=\toks24 +\thm@headpunct=\toks25 +\thm@preskip=\skip54 +\thm@postskip=\skip55 +\thm@headsep=\skip56 +\dth@everypar=\toks26 +) +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty +Package: amssymb 2013/01/14 v3.01 AMS font symbols +) +(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty +Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) + +(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty +Package: keyval 2014/10/28 v1.15 key=value parser (DPC) +\KV@toks@=\toks27 +) +(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty +Package: graphics 2021/03/04 v1.4d Standard LaTeX Graphics (DPC,SPQR) + +(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty +Package: trig 2021/08/11 v1.11 sin cos tan (DPC) +) +(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg +File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration +) +Package graphics Info: Driver file: pdftex.def on input line 107. + +(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def +File: pdftex.def 2020/10/05 v1.2a Graphics/color driver for pdftex +)) +\Gin@req@height=\dimen150 +\Gin@req@width=\dimen151 +) +\c@theorem=\count272 + +(/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +File: l3backend-pdftex.def 2022-02-07 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count273 +\l__pdf_internal_box=\box53 +) +No file paper.aux. +\openout1 = `paper.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 55. +LaTeX Font Info: ... okay on input line 55. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 55. +LaTeX Font Info: ... okay on input line 55. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 55. +LaTeX Font Info: ... okay on input line 55. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 55. +LaTeX Font Info: ... okay on input line 55. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 55. +LaTeX Font Info: ... okay on input line 55. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 55. +LaTeX Font Info: ... okay on input line 55. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 55. +LaTeX Font Info: ... okay on input line 55. +LaTeX Font Info: Trying to load font information for U+msa on input line 55. + +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +File: umsa.fd 2013/01/14 v3.01 AMS symbols A +) +LaTeX Font Info: Trying to load font information for U+msb on input line 55. + + +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd +File: umsb.fd 2013/01/14 v3.01 AMS symbols B +) +(/usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii +[Loading MPS to PDF converter (version 2006.09.02).] +\scratchcounter=\count274 +\scratchdimen=\dimen152 +\scratchbox=\box54 +\nofMPsegments=\count275 +\nofMParguments=\count276 +\everyMPshowfont=\toks28 +\MPscratchCnt=\count277 +\MPscratchDim=\dimen153 +\MPnumerator=\count278 +\makeMPintoPDFobject=\count279 +\everyMPtoPDFconversion=\toks29 +) (/usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty +Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf +Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 +85. + +(/usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg +File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv +e +)) +Overfull \hbox (4.80505pt too wide) in paragraph at lines 89--90 +[]\OT1/cmr/m/n/10 A nat-u-ral ques-tion is whether the lo-cal free-dom present +at the non-ring-completion + [] + +[1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] + +LaTeX Warning: Citation `baker1994' on page 2 undefined on input line 110. + +[2] [3] [4] [5] + +File: example_figure.pdf Graphic file (type pdf) + +Package pdftex.def Info: example_figure.pdf used on input line 292. +(pdftex.def) Requested size: 306.0022pt x 306.0055pt. + [6 <./example_figure.pdf>] +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [7] +[8] (./paper.aux) + +LaTeX Warning: There were undefined references. + + +LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. + + ) +Here is how much of TeX's memory you used: + 2989 strings out of 478268 + 41694 string characters out of 5846347 + 341017 words of memory out of 5000000 + 21039 multiletter control sequences out of 15000+600000 + 475834 words of font info for 54 fonts, out of 8000000 for 9000 + 1302 hyphenation exceptions out of 8191 + 69i,8n,76p,1128b,288s stack positions out of 10000i,1000n,20000p,200000b,200000s + +< +/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb> +Output written on paper.pdf (8 pages, 250125 bytes). +PDF statistics: + 157 PDF objects out of 1000 (max. 8388607) + 77 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) + diff --git a/papers/plane_depth_sequencing/paper.pdf b/papers/plane_depth_sequencing/paper.pdf index 3d92437..82af70c 100644 Binary files a/papers/plane_depth_sequencing/paper.pdf and b/papers/plane_depth_sequencing/paper.pdf differ diff --git a/papers/plane_depth_sequencing/paper.tex b/papers/plane_depth_sequencing/paper.tex index b35fc4c..41e558a 100644 --- a/papers/plane_depth_sequencing/paper.tex +++ b/papers/plane_depth_sequencing/paper.tex @@ -107,7 +107,7 @@ A triangle $\{u, v, w\}$ in $G$ is an \emph{up triangle} if the multiset of dept \end{definition} \begin{remark} -We now relate our terminology to existing terminology, namely $k$-outerplanar graphs \cite{baker1994}. The following definition and lemma show that the subgraph induced by any single depth level is outerplanar, i.e., $1$-outerplanar in the sense of Baker. +We now relate our terminology to existing terminology, namely $k$-outerplanar graphs \cite{baker1994}. The following definition and lemma show that the subgraph induced by any single depth level relative to any source set on the outer face is outerplanar, i.e., $1$-outerplanar in the sense of Baker. \end{remark} \begin{definition} @@ -115,19 +115,50 @@ A plane graph is \emph{outerplanar} if every vertex lies on the outer face. More \end{definition} \begin{lemma} -Let $G$ be a graph with a plane embedding and outer cycle $C$. For each $d \geq 0$, the subgraph of $G$ induced by $V_d = \{v \in V(G) : \mathrm{depth}(v) = d\}$ is outerplanar. +\label{lem:outerplanarity} +Let $G$ be a planar graph with a plane embedding $\Pi$, and let +$S \subseteq V(G)$ be a nonempty set of vertices, every one of which +lies on the boundary of the outer face of $\Pi$. For each $d \geq 0$, +the subgraph of $G$ induced by +\[ + V_d^S := \{ v \in V(G) : \mathrm{dist}_G(v, S) = d \} +\] +is outerplanar. + +The special case $S = V(C)$, where $C$ is the outer cycle, recovers +$V_d^S = V_d$ (depth-$d$ vertices as in Definition~2.1) and is the +form most often used in the rest of this paper. \end{lemma} \begin{proof} -Let $H = G[V_d]$ with the plane embedding inherited from $G$. It suffices to show every vertex of $H$ lies on the outer face of $H$. +Let $H = G[V_d^S]$ with the plane embedding inherited from $\Pi$. It +suffices to show that every vertex of $H$ lies on the outer face of $H$. -For $d = 0$, we have $V_0 = C$, so $H$ is outerplanar. +For $d = 0$, $V_0^S = S$, and by hypothesis every vertex of $S$ lies +on the boundary of the outer face of $\Pi$. Removing the vertices and +edges of $G \setminus H$ from the embedding only enlarges or merges +face regions, so the outer face of $\Pi$ is contained in the outer face +of $H$, and every vertex of $S$ remains on the outer face of $H$. -For $d \geq 1$, let $U$ be the open subset of the plane obtained by removing all vertices and edges of $H$. We show every $v \in V_d$ lies on the boundary of the component $U_{\mathrm{out}}$ of $U$ containing the outer face of $G$. +For $d \geq 1$, let $U$ be the open subset of the plane obtained by +removing all vertices and edges of $H$. We show every $v \in V_d^S$ +lies on the boundary of the component $U_{\mathrm{out}}$ of $U$ +containing the outer face of $\Pi$. -Since every vertex in $V_{\leq d-1}$ has a shortest path to $C$ passing entirely through $V_{\leq d-1}$, the subgraph $G[V_{\leq d-1}]$ is connected and contains $C$. Its vertices and edges lie in $U$ (as they are not in $H$), and $C$ borders the outer face of $G$, so $G[V_{\leq d-1}]$ and the outer face of $G$ are connected within $U$, hence both lie in $U_{\mathrm{out}}$. +Since every vertex in $V_{