didericis/math-research
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

merge into: didericis/math-research:master
Branches Tags
didericis/math-research:master didericis/math-research:split-medial-pigeonhole-programme
...
pull from: didericis/math-research:split-medial-pigeonhole-programme
Branches Tags
didericis/math-research:master didericis/math-research:split-medial-pigeonhole-programme

1 Commits
master ... split-medial-pigeonhole-programme

Author SHA1 Message Date
didericis d3fc4bfc4c Split medial pigeonhole programme into its own paper 
Move Section 5 of "Medial Tire Decompositions of Plane Triangulations"
into a new standalone paper, "The Medial Pigeonhole Programme", which
cites the medial tire paper for its terminology and notation. Convert
the three cross-references that pointed into earlier sections (annular
teeth, bite-face-count, boundary medial vertices) into citations.

Remove Section 5 from the medial tire paper and update its abstract to
drop the moved chain-pigeonhole claim, pointing to the follow-up paper.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-14 21:08:06 -04:00
10 changed files with 1656 additions and 384 deletions
Expand all files Collapse all files
papers/medial_pigeonhole_programme/paper.aux
+28
View File
@@ -0,0 +1,28 @@
\relax
\citation{bauerfeld-medial-tire}
\citation{bauerfeld-nested-tire-decompositions}
\citation{bauerfeld-medial-tire}
\citation{bauerfeld-medial-tire}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Introduction}}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{A medial pigeonhole programme}}{1}{}\protected@file@percent }
\newlabel{def:medial-boundary-state}{{2.1}{2}}
\newlabel{conj:medial-chain-pigeonhole}{{2.2}{2}}
\newlabel{conj:medial-route-fct}{{2.3}{2}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Kempe-cycle conservation across medial tires}}{2}{}\protected@file@percent }
\newlabel{lem:kempe-cycles}{{3.1}{2}}
\citation{bauerfeld-medial-tire}
\citation{bauerfeld-medial-tire}
\citation{bauerfeld-medial-tire}
\newlabel{lem:kempe-conservation}{{3.2}{3}}
\newlabel{def:kempe-balanced}{{3.3}{3}}
\newlabel{rem:kempe-balance-necessary}{{3.4}{3}}
\bibcite{bauerfeld-medial-tire}{1}
\bibcite{bauerfeld-nested-tire-decompositions}{2}
\bibcite{tait-original}{3}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{12.7778pt}
\newlabel{tocindent1}{17.77782pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent3}{0pt}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{6}{}\protected@file@percent }
\gdef \@abspage@last{6}
papers/medial_pigeonhole_programme/paper.fdb_latexmk
+135
View File
@@ -0,0 +1,135 @@
# Fdb version 3
["pdflatex"] 1781485473 "paper.tex" "paper.pdf" "paper" 1781485473
"/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 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1246382020 916 f87d7c45f9c908e672703b83b72241a3 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1246382020 924 9904cf1d39e9767e7a3622f2a125a565 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1246382020 928 2dc8d444221b7a635bb58038579b861a ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1246382020 908 2921f8a10601f252058503cc6570e581 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1246382020 940 75ac932a52f80982a9f8ea75d03a34cf ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1246382020 940 228d6584342e91276bf566bcf9716b83 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm" 1136768653 1328 c834bbb027764024c09d3d2bf908b5f0 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmbx8.tfm" 1136768653 1332 1fde11373e221473104d6cc5993f046e ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmcsc10.tfm" 1136768653 1300 63a6111ee6274895728663cf4b4e7e81 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1136768653 1512 f21f83efb36853c0b70002322c1ab3ad ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1136768653 1520 eccf95517727cb11801f4f1aee3a21b4 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1136768653 1300 b62933e007d01cfd073f79b963c01526 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1136768653 1292 21c1c5bfeaebccffdb478fd231a0997d ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1136768653 1316 b636689f1933f24d1294acdf6041daaa ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1136768653 1296 d77f431d10d47c8ea2cc18cf45346274 ""
"/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/cmti8.tfm" 1136768653 1504 1747189e0441d1c18f3ea56fafc1c480 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb" 1248133631 34811 78b52f49e893bcba91bd7581cdc144c0 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx8.pfb" 1248133631 32166 b0c356b15f19587482a9217ce1d8fa67 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb" 1248133631 32001 6aeea3afe875097b1eb0da29acd61e28 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1248133631 36299 5f9df58c2139e7edcf37c8fca4bd384d ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb" 1248133631 37912 77d683123f92148345f3fc36a38d9ab1 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" 1248133631 36281 c355509802a035cadc5f15869451dcee ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1248133631 35752 024fb6c41858982481f6968b5fc26508 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1248133631 32762 224316ccc9ad3ca0423a14971cfa7fc1 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb" 1248133631 32726 0a1aea6fcd6468ee2cf64d891f5c43c8 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb" 1248133631 24457 5cbb7bdf209d5d1ce9892a9b80a307cc ""
"/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/cmti8.pfb" 1248133631 35660 fb24af7afbadb71801619f1415838111 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb" 1248133631 31764 459c573c03a4949a528c2cc7f557e217 ""
"/usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1461363279 71627 94eb9990bed73c364d7f53f960cc8c5b ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1601326656 992 855ff26741653ab54814101ca36e153c ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1601326656 43820 1fef971b75380574ab35a0d37fd92608 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1601326656 19324 f4e4c6403dd0f1605fd20ed22fa79dea ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" 1601326656 6038 ccb406740cc3f03bbfb58ad504fe8c27 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" 1601326656 6944 e12f8f7a7364ddf66f93ba30fb3a3742 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" 1601326656 4883 42daaf41e27c3735286e23e48d2d7af9 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" 1601326656 2544 8c06d2a7f0f469616ac9e13db6d2f842 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" 1601326656 44195 5e390c414de027626ca5e2df888fa68d ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" 1601326656 17311 2ef6b2e29e2fc6a2fc8d6d652176e257 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" 1601326656 21302 788a79944eb22192a4929e46963a3067 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" 1601326656 9690 01feb7cde25d4293ef36eef45123eb80 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" 1601326656 33335 dd1fa4814d4e51f18be97d88bf0da60c ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" 1601326656 2965 4c2b1f4e0826925746439038172e5d6f ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex" 1601326656 5196 2cc249e0ee7e03da5f5f6589257b1e5b ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" 1601326656 20726 d4c8db1e2e53b72721d29916314a22ea ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" 1601326656 35249 abd4adf948f960299a4b3d27c5dddf46 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" 1601326656 21989 fdc867d05d228316de137a9fc5ec3bbe ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" 1601326656 8893 e851de2175338fdf7c17f3e091d94618 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex" 1601326656 4572 4a19637ef65ce88ad2f2d5064b69541d ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex" 1608933718 11518 738408f795261b70ce8dd47459171309 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex" 1621110968 186007 6e7dfe0bd57520fd5f91641aa72dcac8 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex" 1601326656 32995 ac577023e12c0e4bd8aa420b2e852d1a ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfint.code.tex" 1557692582 3063 8c415c68a0f3394e45cfeca0b65f6ee6 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" 1601326656 521 8e224a7af69b7fee4451d1bf76b46654 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" 1601326656 13391 84d29568c13bdce4133ab4a214711112 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" 1601326656 104935 184ed87524e76d4957860df4ce0cd1c3 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" 1601326656 10165 cec5fa73d49da442e56efc2d605ef154 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" 1601326656 28178 41c17713108e0795aac6fef3d275fbca ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" 1601326656 9989 c55967bf45126ff9b061fa2ca0c4694f ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" 1601326656 3865 ac538ab80c5cf82b345016e474786549 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" 1557692582 3177 27d85c44fbfe09ff3b2cf2879e3ea434 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" 1621110968 11024 0179538121bc2dba172013a3ef89519f ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" 1608933718 7854 4176998eeefd8745ac6d2d4bd9c98451 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" 1601326656 3379 781797a101f647bab82741a99944a229 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" 1601326656 92405 f515f31275db273f97b9d8f52e1b0736 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" 1601326656 37376 11cd75aac3da1c1b152b2848f30adc14 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" 1601326656 8471 c2883569d03f69e8e1cabfef4999cfd7 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex" 1601326656 21201 08d231a2386e2b61d64641c50dc15abd ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex" 1601326656 16121 346f9013d34804439f7436ff6786cef7 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex" 1621110968 44784 cedaa399d15f95e68e22906e2cc09ef8 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/pgf.revision.tex" 1621110968 465 d68603f8b820ea4a08cce534944db581 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" 1601326656 926 2963ea0dcf6cc6c0a770b69ec46a477b ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" 1601326656 5546 f3f24d7898386cb7daac70bdd2c4d6dc ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" 1601326656 12601 4786e597516eddd82097506db7cfa098 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" 1621110968 61163 9b2eefc24e021323e0fc140e9826d016 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" 1601326656 1896 b8e0ca0ac371d74c0ca05583f6313c91 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" 1601326656 7778 53c8b5623d80238f6a20aa1df1868e63 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex" 1606168878 23997 a4bed72405fa644418bea7eac2887006 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" 1621110968 37060 797782f0eb50075c9bc952374d9a659a ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex" 1601326656 37431 9abe862035de1b29c7a677f3205e3d9f ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" 1601326656 4494 af17fb7efeafe423710479858e42fa7e ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex" 1601326656 7251 fb18c67117e09c64de82267e12cd8aa4 ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" 1621110968 29274 e15c5b7157d21523bd9c9f1dfa146b8e ""
"/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" 1621110968 6825 a2b0ea5b539dda0625e99dd15785ab59 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls" 1591045760 61881 a7369c346c2922a758ae6283cc1ed014 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1359763108 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1359763108 13829 94730e64147574077f8ecfea9bb69af4 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd" 1359763108 961 6518c6525a34feb5e8250ffa91731cff ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd" 1359763108 961 d02606146ba5601b5645f987c92e6193 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1622667781 2222 da905dc1db75412efd2d8f67739f0596 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty" 1622667781 4173 bc0410bcccdff806d6132d3c1ef35481 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty" 1636758526 87648 07fbb6e9169e00cb2a2f40b31b2dbf3c ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty" 1636758526 4128 8eea906621b6639f7ba476a472036bbe ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty" 1636758526 2444 926f379cc60fcf0c6e3fee2223b4370d ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" 1579991033 13886 d1306dcf79a944f6988e688c1785f9ce ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1459978653 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1465944070 1224 978390e9c2234eab29404bc21b268d1e ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def" 1601931164 19103 48d29b6e2a64cb717117ef65f107b404 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty" 1622581934 18399 7e40f80366dffb22c0e7b70517db5cb4 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty" 1636758526 7996 a8fb260d598dcaf305a7ae7b9c3e3229 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty" 1622581934 2671 4de6781a30211fe0ea4c672e4a2a8166 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty" 1636758526 4009 187ea2dc3194cd5a76cd99a8d7a6c4d0 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1644269979 29921 d0acc05a38bd4aa3af2017f0b7c137ce ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1279039959 678 4792914a8f45be57bb98413425e4c7af ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" 1601326656 1090 bae35ef70b3168089ef166db3e66f5b2 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" 1601326656 410 615550c46f918fcbee37641b02a862d9 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty" 1601326656 21013 f4ff83d25bb56552493b030f27c075ae ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty" 1601326656 989 c49c8ae06d96f8b15869da7428047b1e ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty" 1601326656 339 c2e180022e3afdb99c7d0ea5ce469b7d ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty" 1601326656 306 c56a323ca5bf9242f54474ced10fca71 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1601326656 443 8c872229db56122037e86bcda49e14f3 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" 1601326656 348 ee405e64380c11319f0e249fed57e6c5 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty" 1601326656 274 5ae372b7df79135d240456a1c6f2cf9a ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1601326656 325 f9f16d12354225b7dd52a3321f085955 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty" 1635798903 56029 3f7889dab51d620aa43177c391b7b190 ""
"/usr/local/texlive/2022/texmf-dist/web2c/texmf.cnf" 1646502317 40171 cdab547de63d26590bebb3baff566530 ""
"/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1647878959 4410336 7d30a02e9fa9a16d7d1f8d037ba69641 ""
"/usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt" 1665017617 2826443 7e98410c533054b636c6470db83a27bc ""
"/usr/local/texlive/2022/texmf.cnf" 1647878952 577 209b46be99c9075fd74d4c0369380e8c ""
"paper.aux" 1781485473 1312 7ba44acc160ff1167e676415e34169c0 "pdflatex"
"paper.tex" 1781485463 17511 c613c597a654f07644b998ea69f242e5 ""
(generated)
"paper.aux"
"paper.log"
"paper.pdf"
papers/medial_pigeonhole_programme/paper.fls
+471
View File
@@ -0,0 +1,471 @@
PWD /Users/didericis/Code/math-research/papers/medial_pigeonhole_programme
INPUT /usr/local/texlive/2022/texmf.cnf
INPUT /usr/local/texlive/2022/texmf-dist/web2c/texmf.cnf
INPUT /usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt
INPUT paper.tex
OUTPUT paper.log
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/pgf.revision.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/pgf.revision.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfint.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT ./paper.aux
INPUT paper.aux
INPUT paper.aux
OUTPUT paper.aux
INPUT /usr/local/texlive/2022/texmf-dist/fonts/map/fontname/texfonts.map
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd
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/amsfonts/symbols/msbm5.tfm
INPUT /usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
INPUT /usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
INPUT /usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
INPUT /usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmcsc10.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmti8.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmcsc10.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
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/cmss10.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmss8.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/cmbx8.tfm
INPUT paper.aux
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx8.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb
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/cmss10.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/cmti8.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb
papers/medial_pigeonhole_programme/paper.log
+529
View File
@@ -0,0 +1,529 @@
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 14 JUN 2026 21:05
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
)
(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te
x
\pgfutil@everybye=\toks28
\pgfutil@tempdima=\dimen152
\pgfutil@tempdimb=\dimen153
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li
sts.tex))
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
\pgfutil@abb=\box53
) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/pgf.revision.tex)
Package: pgfrcs 2021/05/15 v3.1.9a (3.1.9a)
))
Package: pgf 2021/05/15 v3.1.9a (3.1.9a)
(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
Package: pgfsys 2021/05/15 v3.1.9a (3.1.9a)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
\pgfkeys@pathtoks=\toks29
\pgfkeys@temptoks=\toks30
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c
ode.tex
\pgfkeys@tmptoks=\toks31
))
\pgf@x=\dimen154
\pgf@y=\dimen155
\pgf@xa=\dimen156
\pgf@ya=\dimen157
\pgf@xb=\dimen158
\pgf@yb=\dimen159
\pgf@xc=\dimen160
\pgf@yc=\dimen161
\pgf@xd=\dimen162
\pgf@yd=\dimen163
\w@pgf@writea=\write3
\r@pgf@reada=\read2
\c@pgf@counta=\count272
\c@pgf@countb=\count273
\c@pgf@countc=\count274
\c@pgf@countd=\count275
\t@pgf@toka=\toks32
\t@pgf@tokb=\toks33
\t@pgf@tokc=\toks34
\pgf@sys@id@count=\count276
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
File: pgf.cfg 2021/05/15 v3.1.9a (3.1.9a)
)
Driver file for pgf: pgfsys-pdftex.def
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d
ef
File: pgfsys-pdftex.def 2021/05/15 v3.1.9a (3.1.9a)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p
df.def
File: pgfsys-common-pdf.def 2021/05/15 v3.1.9a (3.1.9a)
)))
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.
code.tex
File: pgfsyssoftpath.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgfsyssoftpath@smallbuffer@items=\count277
\pgfsyssoftpath@bigbuffer@items=\count278
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.
code.tex
File: pgfsysprotocol.code.tex 2021/05/15 v3.1.9a (3.1.9a)
)) (/usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty
Package: xcolor 2021/10/31 v2.13 LaTeX color extensions (UK)
(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/color.cfg
File: color.cfg 2016/01/02 v1.6 sample color configuration
)
Package xcolor Info: Driver file: pdftex.def on input line 227.
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1352.
Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1356.
Package xcolor Info: Model `RGB' extended on input line 1368.
Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1370.
Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1371.
Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1372.
Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1373.
Package xcolor Info: Model `Gray' substituted by `gray' on input line 1374.
Package xcolor Info: Model `wave' substituted by `hsb' on input line 1375.
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
Package: pgfcore 2021/05/15 v3.1.9a (3.1.9a)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
\pgfmath@dimen=\dimen164
\pgfmath@count=\count279
\pgfmath@box=\box54
\pgfmath@toks=\toks35
\pgfmath@stack@operand=\toks36
\pgfmath@stack@operation=\toks37
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.
tex
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic
.code.tex)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo
nometric.code.tex)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando
m.code.tex)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa
rison.code.tex)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.
code.tex)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round
.code.tex)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.
code.tex)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ
erarithmetics.code.tex)))
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
\c@pgfmathroundto@lastzeros=\count280
)) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfint.code.tex)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co
de.tex
File: pgfcorepoints.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgf@picminx=\dimen165
\pgf@picmaxx=\dimen166
\pgf@picminy=\dimen167
\pgf@picmaxy=\dimen168
\pgf@pathminx=\dimen169
\pgf@pathmaxx=\dimen170
\pgf@pathminy=\dimen171
\pgf@pathmaxy=\dimen172
\pgf@xx=\dimen173
\pgf@xy=\dimen174
\pgf@yx=\dimen175
\pgf@yy=\dimen176
\pgf@zx=\dimen177
\pgf@zy=\dimen178
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst
ruct.code.tex
File: pgfcorepathconstruct.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgf@path@lastx=\dimen179
\pgf@path@lasty=\dimen180
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage
.code.tex
File: pgfcorepathusage.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgf@shorten@end@additional=\dimen181
\pgf@shorten@start@additional=\dimen182
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co
de.tex
File: pgfcorescopes.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgfpic=\box55
\pgf@hbox=\box56
\pgf@layerbox@main=\box57
\pgf@picture@serial@count=\count281
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst
ate.code.tex
File: pgfcoregraphicstate.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgflinewidth=\dimen183
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform
ations.code.tex
File: pgfcoretransformations.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgf@pt@x=\dimen184
\pgf@pt@y=\dimen185
\pgf@pt@temp=\dimen186
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod
e.tex
File: pgfcorequick.code.tex 2021/05/15 v3.1.9a (3.1.9a)
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c
ode.tex
File: pgfcoreobjects.code.tex 2021/05/15 v3.1.9a (3.1.9a)
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce
ssing.code.tex
File: pgfcorepathprocessing.code.tex 2021/05/15 v3.1.9a (3.1.9a)
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co
de.tex
File: pgfcorearrows.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgfarrowsep=\dimen187
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod
e.tex
File: pgfcoreshade.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgf@max=\dimen188
\pgf@sys@shading@range@num=\count282
\pgf@shadingcount=\count283
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod
e.tex
File: pgfcoreimage.code.tex 2021/05/15 v3.1.9a (3.1.9a)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.
code.tex
File: pgfcoreexternal.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgfexternal@startupbox=\box58
))
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co
de.tex
File: pgfcorelayers.code.tex 2021/05/15 v3.1.9a (3.1.9a)
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare
ncy.code.tex
File: pgfcoretransparency.code.tex 2021/05/15 v3.1.9a (3.1.9a)
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.
code.tex
File: pgfcorepatterns.code.tex 2021/05/15 v3.1.9a (3.1.9a)
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.
tex
File: pgfcorerdf.code.tex 2021/05/15 v3.1.9a (3.1.9a)
)))
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod
e.tex
File: pgfmoduleshapes.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgfnodeparttextbox=\box59
)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.
tex
File: pgfmoduleplot.code.tex 2021/05/15 v3.1.9a (3.1.9a)
)
(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
-0-65.sty
Package: pgfcomp-version-0-65 2021/05/15 v3.1.9a (3.1.9a)
\pgf@nodesepstart=\dimen189
\pgf@nodesepend=\dimen190
)
(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
-1-18.sty
Package: pgfcomp-version-1-18 2021/05/15 v3.1.9a (3.1.9a)
))
(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)
) (/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
Package: pgffor 2021/05/15 v3.1.9a (3.1.9a)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)
\pgffor@iter=\dimen191
\pgffor@skip=\dimen192
\pgffor@stack=\toks38
\pgffor@toks=\toks39
))
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod
e.tex
Package: tikz 2021/05/15 v3.1.9a (3.1.9a)
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan
dlers.code.tex
File: pgflibraryplothandlers.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgf@plot@mark@count=\count284
\pgfplotmarksize=\dimen193
)
\tikz@lastx=\dimen194
\tikz@lasty=\dimen195
\tikz@lastxsaved=\dimen196
\tikz@lastysaved=\dimen197
\tikz@lastmovetox=\dimen198
\tikz@lastmovetoy=\dimen256
\tikzleveldistance=\dimen257
\tikzsiblingdistance=\dimen258
\tikz@figbox=\box60
\tikz@figbox@bg=\box61
\tikz@tempbox=\box62
\tikz@tempbox@bg=\box63
\tikztreelevel=\count285
\tikznumberofchildren=\count286
\tikznumberofcurrentchild=\count287
\tikz@fig@count=\count288
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod
e.tex
File: pgfmodulematrix.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgfmatrixcurrentrow=\count289
\pgfmatrixcurrentcolumn=\count290
\pgf@matrix@numberofcolumns=\count291
)
\tikz@expandcount=\count292
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarytopaths.code.tex
File: tikzlibrarytopaths.code.tex 2021/05/15 v3.1.9a (3.1.9a)
)))
(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarybackgrounds.code.tex
File: tikzlibrarybackgrounds.code.tex 2021/05/15 v3.1.9a (3.1.9a)
\pgf@layerbox@background=\box64
\pgf@layerboxsaved@background=\box65
)
\c@theorem=\count293
(/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=\count294
\l__pdf_internal_box=\box66
)
(./paper.aux)
\openout1 = `paper.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 29.
LaTeX Font Info: ... okay on input line 29.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 29.
LaTeX Font Info: ... okay on input line 29.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 29.
LaTeX Font Info: ... okay on input line 29.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 29.
LaTeX Font Info: ... okay on input line 29.
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 29.
LaTeX Font Info: ... okay on input line 29.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 29.
LaTeX Font Info: ... okay on input line 29.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 29.
LaTeX Font Info: ... okay on input line 29.
LaTeX Font Info: Trying to load font information for U+msa on input line 29.
(/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 29.
(/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=\count295
\scratchdimen=\dimen259
\scratchbox=\box67
\nofMPsegments=\count296
\nofMParguments=\count297
\everyMPshowfont=\toks40
\MPscratchCnt=\count298
\MPscratchDim=\dimen260
\MPnumerator=\count299
\makeMPintoPDFobject=\count300
\everyMPtoPDFconversion=\toks41
) (/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
))
[1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
[2] [3] [4] [5] [6] (./paper.aux) )
Here is how much of TeX's memory you used:
13536 strings out of 478268
270232 string characters out of 5846347
537626 words of memory out of 5000000
31366 multiletter control sequences out of 15000+600000
476880 words of font info for 57 fonts, out of 8000000 for 9000
1302 hyphenation exceptions out of 8191
84i,7n,89p,414b,277s stack positions out of 10000i,1000n,20000p,200000b,200000s
</usr/local/texlive/2022/texmf-dist/fonts/ty
pe1/public/amsfonts/cm/cmbx10.pfb></usr/local/texlive/2022/texmf-dist/fonts/typ
e1/public/amsfonts/cm/cmbx8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1
/public/amsfonts/cm/cmcsc10.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/cmmi5.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/pu
blic/amsfonts/cm/cmmi7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/publ
ic/amsfonts/cm/cmr10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public
/amsfonts/cm/cmr7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/am
sfonts/cm/cmr8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmss10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfon
ts/cm/cmsy10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfont
s/cm/cmsy7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/
cm/cmti10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/c
m/cmti8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/sym
bols/msam10.pfb>
Output written on paper.pdf (6 pages, 211901 bytes).
PDF statistics:
101 PDF objects out of 1000 (max. 8388607)
62 compressed objects within 1 object stream
0 named destinations out of 1000 (max. 500000)
13 words of extra memory for PDF output out of 10000 (max. 10000000)
papers/medial_pigeonhole_programme/paper.pdf
BIN
View File
Binary file not shown.
papers/medial_pigeonhole_programme/paper.tex
+442
View File
@@ -0,0 +1,442 @@
%% filename: amsart-template.tex
%% American Mathematical Society
%% AMS-LaTeX v.2 template for use with amsart
%% ====================================================================
\documentclass{amsart}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{tikz}
\usetikzlibrary{backgrounds}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{conjecture}[theorem]{Conjecture}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{xca}[theorem]{Exercise}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\numberwithin{equation}{section}
\begin{document}
\title{The Medial Pigeonhole Programme}
% author one information
\author{Eric Bauerfeld}
\address{}
\curraddr{}
\email{}
\thanks{}
\subjclass[2010]{Primary }
\keywords{plane graph, triangulation, medial graph, tire graph, Tait coloring, Kempe chain, Four Colour Theorem}
\date{}
\dedicatory{}
\begin{abstract}
Building on the medial tire decomposition of a plane triangulation, we
formulate a pigeonhole programme for the Four Colour Theorem in medial
terms. Each tire carries a boundary-state restriction relation, and a
proper vertex $3$-colouring of the full medial graph is a compatible
selection of these boundary states across the tire tree. We state a
chain-pigeonhole conjecture asserting that the restriction relations
cannot remain mutually disjoint along every branch, and we refine the
boundary states by recording how two-colour Kempe cycles are routed
through each annular tire region. This yields a Kempe-enhanced
restriction relation and a notion of Kempe-compatible gluing along level
cycles.
\end{abstract}
\maketitle
\section{Introduction}
This paper continues the medial tire programme begun
in~\cite{bauerfeld-medial-tire}. We use freely the terminology and
notation introduced there. For a plane triangulation $G$ with fixed
embedding, $M(G)$ denotes the full medial graph, and the tire-tree
decomposition $\mathcal{T}(G,S)$ at a level source $S$
of~\cite{bauerfeld-nested-tire-decompositions} induces a decomposition
of $M(G)$ into full medial tire graphs $\mathsf{M}(T)$, one for each
tread $T$, glued along their boundary medial vertex sets
$\partial_{\mathrm{out}}\mathsf{M}(T)$ and
$\partial_{\mathrm{in}}\mathsf{M}(T)$. We also use the annular medial
cycle $A(T)$, its up and down teeth and their apexes, the bites and the
auxiliary plane graph $B(T)$, and the medial tire restriction relation
$R_T$ of~\cite{bauerfeld-medial-tire}.
By the Tait--medial correspondence of~\cite{bauerfeld-medial-tire},
proper vertex $3$-colourings of $M(G)$ are in natural bijection with
proper $3$-edge-colourings of the cubic planar dual $G^*$. Thus the
Four Colour Theorem is the assertion that the full medial graph of every
plane triangulation is properly vertex $3$-colourable, and the medial
tire decomposition turns this into a question about how local boundary
colourings compose across the tire tree.
\section{A medial pigeonhole programme}
The restriction relation $R_T$ records exactly the local information
needed to pass a medial $3$-colouring through a tire. In a nested
chain
\[
T_0 \supset T_1 \supset \cdots \supset T_k,
\]
the outer boundary state of $T_{i+1}$ must match an inner boundary
state allowed by $R_{T_i}$. Thus a proof of the Four Colour Theorem in
this framework would follow from a structural reason that these
restriction sets cannot remain mutually disjoint along every branch of
the tire tree.
\begin{definition}[Medial boundary state]
\label{def:medial-boundary-state}
A \emph{medial boundary state} on a boundary set
$\partial\mathsf{M}(T)$ is a proper vertex $3$-colouring of the
subgraph induced by that boundary set, considered up to permutation of
the three colours and the dihedral symmetries of the boundary walk
when that boundary is a cycle.
\end{definition}
\begin{conjecture}[Medial chain-pigeonhole principle]
\label{conj:medial-chain-pigeonhole}
There is a function $N(k)$ such that the following holds. Let
$T_0 \supset T_1 \supset \cdots \supset T_{N(k)}$ be a nested chain of
tire treads whose relevant boundary medial walks have length at most
$k$. Then two adjacent restriction relations in the chain have
compatible medial boundary states after colour permutation and boundary
symmetry. Equivalently, the chain contains a local gluing step that
cannot be obstructed by disjoint proper vertex $3$-colouring
restrictions.
\end{conjecture}
\begin{conjecture}[Medial tire route to the Four Colour Theorem]
\label{conj:medial-route-fct}
For every plane triangulation $G$ and every level source $S$, the
restriction relations $\{R_T : T \in V(\mathcal{T}(G,S))\}$ admit a
compatible selection of boundary states across the tire tree. Hence
$M(G)$ is properly vertex $3$-colourable, $G^*$ is properly
$3$-edge-colourable, and $G$ is properly $4$-vertex-colourable.
\end{conjecture}
\begin{remark}
Conjecture~\ref{conj:medial-route-fct} is equivalent in strength to
the Four Colour Theorem when combined with Tait's correspondence. The
point of the formulation is not to weaken the target theorem, but to
move the obstruction into finite boundary-state restrictions carried by
annular medial tire pieces.
\end{remark}
\section{Kempe-cycle conservation across medial tires}
We now record an additional structure carried by proper
$3$-colourings of medial graphs. This structure will be useful for
describing how colourings glue across level cycles.
Let $G$ be a plane triangulation and let $M=M(G)$ be its medial graph.
Let
\[
\varphi:V(M)\to\{1,2,3\}
\]
be a proper $3$-colouring of $M$. For a two-element colour set
$P=\{a,b\}\subseteq\{1,2,3\}$, let $M_P$ denote the subgraph of $M$
induced by the vertices of colours $a$ and $b$.
Since $M$ is $4$-regular and $\varphi$ is proper, every vertex of
$M_P$ has degree $2$ in $M_P$. Hence every component of $M_P$ is a
cycle. We call these components the $P$-Kempe cycles of $\varphi$.
\begin{lemma}[Kempe chains are cycles]
\label{lem:kempe-cycles}
Let $G$ be a plane triangulation, let $M=M(G)$, and let
$\varphi$ be a proper $3$-colouring of $M$. For each
$P\in\{\{1,2\},\{2,3\},\{3,1\}\}$, every component of $M_P$ is a cycle.
\end{lemma}
\begin{proof}
Let $v\in V(M_P)$. In the medial graph $M$, the vertex $v$ has degree
$4$. Since $\varphi$ is a proper $3$-colouring, none of the neighbours
of $v$ has colour $\varphi(v)$. Thus all four neighbours of $v$ have
one of the two colours different from $\varphi(v)$.
In the medial graph of a plane triangulation, the neighbours of a
medial vertex occur in two opposite pairs corresponding to the two
faces incident with the corresponding edge of $G$. Around each such
triangular face, the three medial vertices receive all three colours.
Consequently, at $v$ there are exactly two neighbours of each colour
different from $\varphi(v)$. It follows that, in the subgraph induced
by any two colours $P$, every vertex has degree $2$. Hence each
component of $M_P$ is a cycle.
\end{proof}
Let $T$ be a medial tire region. We regard $T$ as an annular transition
region whose boundary consists of one outer level cycle and finitely
many inner level cycles:
\[
\partial T = C_0\sqcup C_1\sqcup\cdots\sqcup C_m.
\]
Here $C_0$ is the outer level cycle of $T$, and the cycles
$C_1,\ldots,C_m$ are the inner level cycles. Each inner level cycle
$C_i$ is also the outer level cycle of the corresponding child region
in the tire tree.
The following lemma is the basic conservation principle.
\begin{lemma}[Kempe-cycle conservation across level cycles]
\label{lem:kempe-conservation}
Let $C$ be a level cycle of $M$ separating a parent side from a child
side. Let $K$ be a $P$-Kempe cycle for some
$P\in\{\{1,2\},\{2,3\},\{3,1\}\}$. Then $K$ cannot enter the child side
of $C$ without also leaving it.
Equivalently, the incidences of $K$ with $C$ are paired by the
components of $K$ lying on the child side of $C$, and also paired by the
components of $K$ lying on the parent side of $C$.
\end{lemma}
\begin{proof}
By the preceding lemma, $K$ is a cycle. The level cycle $C$ separates
the sphere into two closed regions, which we call the parent side and
the child side. Consider the intersection of $K$ with one of these
regions. Since $K$ is a cycle, no component of this intersection can
have exactly one boundary endpoint on $C$. Each component is either
closed within the region, or is a path with two boundary endpoints on
$C$. Thus every entrance through $C$ is paired with an exit through
$C$.
\end{proof}
We now use these Kempe cycles to single out the colourings of a full
medial tire graph that respect the annular tooth structure.
\begin{definition}[Kempe-balanced colouring]
\label{def:kempe-balanced}
Let $\varphi$ be a proper $3$-colouring of the full medial tire graph
$\mathsf{M}(T)$. For a colour pair $P=\{a,b\}$, let $\mathsf{M}(T)_P$ be
the subgraph induced by the vertices of colours $a$ and $b$. Since
$\mathsf{M}(T)$ need not be $4$-regular, the components of
$\mathsf{M}(T)_P$ are paths or cycles; we call them the $P$-\emph{Kempe
chains} of $\varphi$. Every vertex of colour $a$ or $b$ lies on exactly
one $P$-Kempe chain.
A \emph{valid face} is the outer face of $\mathsf{M}(T)$, or an interior
face of $B(T)$ that is not a tooth---namely the root face or a bite
inner-gap face in the sense of~\cite{bauerfeld-medial-tire}. The
\emph{tooth apexes incident to} a valid face $F$ are:
\begin{itemize}
\item the up-tooth apexes (\cite{bauerfeld-medial-tire}), when
$F$ is the outer face;
\item the singleton down-tooth apexes whose annular edge lies on $F$,
when $F$ is interior---the apex on annular edge $m$ being incident to
the innermost bite $(i,j)$ with $i<m<j$, or to the root face if there
is none.
\end{itemize}
Bite apexes are never incident to a valid face in this sense.
For a colour pair $P=\{a,b\}$ write $\nu_P(F)$ for the number of tooth
apexes incident to $F$ that are coloured $a$ or $b$---equivalently, that
lie on a $P$-Kempe chain. The colouring $\varphi$ is
\emph{Kempe-balanced} if $\nu_P(F)$ is even for every valid face $F$ and
every colour pair $P$.
\end{definition}
\begin{remark}[Necessity of Kempe-balance]
\label{rem:kempe-balance-necessary}
A proper $3$-colouring of $\mathsf{M}(T)$ can be part of a proper
$3$-colouring of the whole medial graph $M(G)$ only when it is
Kempe-balanced: if $\varphi$ is the restriction to $\mathsf{M}(T)$ of a
proper $3$-colouring of $M(G)$, then $\varphi$ is Kempe-balanced.
Equivalently, a colouring of $\mathsf{M}(T)$ that fails the parity
condition at some valid face and colour pair cannot extend to a proper
$3$-colouring of $M(G)$. This is an instance of Kempe-cycle
conservation (Lemma~\ref{lem:kempe-conservation}). The tooth apexes
incident to a valid face are boundary medial vertices
(\cite{bauerfeld-medial-tire}) lying on a single level
cycle of the tire decomposition: the up-tooth apexes lie on the outer
level cycle, and the singleton down-tooth apexes incident to an interior
non-tooth face lie on the inner level cycle bounding that face. In the
$4$-regular graph $M(G)$ each $P$-Kempe chain of $\mathsf{M}(T)$ closes
up into a $P$-Kempe cycle, which by Lemma~\ref{lem:kempe-conservation}
meets each level cycle in an even number of $P$-coloured incidences; for
a given valid face these incidences are exactly its incident tooth
apexes coloured $a$ or $b$, whence $\nu_P(F)$ is even.
This argument is verified computationally. For bite-free pieces---capped
triangulated annuli on annular cycles of length $6,8,10,12$---every proper
$3$-colouring of $M(G)$ restricts to a Kempe-balanced colouring. The same
holds for pieces carrying a bite, including the case where singleton down
teeth lie in the bite's inner-gap face: there the inner level cycle splits
into a child level cycle per gap, and conservation across each child cycle
supplies the parity (in the checked example the three singleton down apexes
of a bite gap are a rainbow in every restriction).
\end{remark}
More generally, let $T$ be a medial tire region with boundary
\[
\partial T = C_0\sqcup C_1\sqcup\cdots\sqcup C_m.
\]
For a $P$-Kempe cycle $K$, every component of $K\cap T$ is either a
cycle contained in $T$, or a path with two endpoints on
$\partial T$. Thus the $P$-Kempe arcs inside $T$ define a pairing of
the $P$-coloured boundary incidences of
\[
C_0\sqcup C_1\sqcup\cdots\sqcup C_m.
\]
This motivates the following refinement of boundary states.
\begin{definition}[Kempe-enhanced boundary state]
Let $T$ be a medial tire region with outer level cycle $C_0$ and inner
level cycles $C_1,\ldots,C_m$. Let
\[
\mathcal C(T)=C_0\sqcup C_1\sqcup\cdots\sqcup C_m.
\]
A \emph{Kempe-enhanced boundary state} on $T$ consists of the following
data:
\begin{enumerate}
\item a boundary colouring
\[
\alpha:V(\mathcal C(T))\to\{1,2,3\};
\]
\item for each colour pair
\[
P\in\{\{1,2\},\{2,3\},\{3,1\}\},
\]
a pairing $\pi_P$ of the $P$-coloured boundary incidences of
$\mathcal C(T)$ induced by the $P$-Kempe arcs lying inside $T$.
\end{enumerate}
We write such a state as
\[
\kappa=(\alpha,\pi_{12},\pi_{23},\pi_{31}).
\]
\end{definition}
Given a proper $3$-colouring $\varphi$ of the medial tire graph
$M(T)$, the restriction of $\varphi$ to the boundary level cycles gives
the boundary colouring $\alpha$, while the two-colour Kempe arcs inside
$T$ give the pairings $\pi_{12},\pi_{23},\pi_{31}$. Thus $\varphi$
determines a Kempe-enhanced boundary state, denoted
\[
\kappa_T(\varphi).
\]
\begin{definition}[Kempe-enhanced restriction relation]
The \emph{Kempe-enhanced restriction relation} of $T$ is
\[
\mathcal K_T
=
\left\{
\kappa_T(\varphi):
\varphi \text{ is a proper }3\text{-colouring of } M(T)
\right\}.
\]
This refines the ordinary boundary-colouring relation by recording not
only which boundary colourings extend across $T$, but also how the
two-colour Kempe cycles are routed through the annular tire region.
\end{definition}
The annular structure of a tire is useful in two distinct ways. First,
it gives a bounded transition region between level cycles: the colouring
of the annular medial cycle controls, and in many cases determines, the
colouring of the remaining medial tire vertices. Thus the number of
possible transition states is bounded in terms of the annular structure,
rather than the total size of the subtree below the tire. Second, it
describes how the outer level cycle and the inner level cycles are
related by Kempe arcs. The level cycles are the gluing interfaces, while
the annular tire is the transition operator between them.
\begin{definition}[Kempe-compatible gluing]
Let $T$ be a medial tire region and let $U$ be a child region glued to
$T$ along a common level cycle $C$. Thus $C$ is an inner level cycle of
$T$ and the outer level cycle of $U$.
Let
\[
\kappa_T=(\alpha_T,\pi^T_{12},\pi^T_{23},\pi^T_{31})
\in \mathcal K_T
\]
and
\[
\kappa_U=(\alpha_U,\pi^U_{12},\pi^U_{23},\pi^U_{31})
\in \mathcal K_U.
\]
We say that $\kappa_T$ and $\kappa_U$ are \emph{Kempe-compatible along
$C$} if:
\begin{enumerate}
\item the boundary colourings agree on $C$:
\[
\alpha_T|_{V(C)}=\alpha_U|_{V(C)};
\]
\item for each colour pair
\[
P\in\{\{1,2\},\{2,3\},\{3,1\}\},
\]
the pairings $\pi^T_P$ and $\pi^U_P$ compose along the
$P$-coloured incidences of $C$ without producing an unpaired endpoint.
\end{enumerate}
When these conditions hold, the composed pairings determine a
Kempe-enhanced boundary state on the exposed boundary of
$T\cup_C U$.
\end{definition}
In these terms, gluing local colourings is not merely a matter of
matching boundary colours. The colourings must also route their
two-colour Kempe arcs compatibly across every shared level cycle. The
ordinary restriction relation records whether a boundary colouring can
be extended locally; the Kempe-enhanced relation additionally records
the conservation of Kempe-cycle flow through the annular transition
region.
For a tire with one outer level cycle and several inner level cycles,
\[
\partial T=C_0\sqcup C_1\sqcup\cdots\sqcup C_m,
\]
the parent tire may correlate the boundary states on the different
inner cycles. The Kempe-enhanced relation records this correlation as
a system of pairings among the $P$-coloured incidences of all boundary
level cycles simultaneously. Thus one should view a medial tire as a
multi-output transition operator
\[
\mathcal K_T:
C_0 \leadsto (C_1,\ldots,C_m),
\]
rather than as an independent collection of binary transitions.
The guiding principle is therefore:
\begin{quote}
Level cycles are the interfaces used for gluing, while annular tire
regions are the bounded transition regions that route Kempe cycles
between those interfaces.
\end{quote}
\begin{thebibliography}{9}
\bibitem{bauerfeld-medial-tire}
E.~Bauerfeld,
\emph{Medial Tire Decompositions of Plane Triangulations},
manuscript (math-research repository), 2026.
\bibitem{bauerfeld-nested-tire-decompositions}
E.~Bauerfeld,
\emph{Nested Tire Decompositions of Plane Triangulations},
manuscript (math-research repository), 2026.
\bibitem{tait-original}
P.~G. Tait,
\emph{Remarks on the colourings of maps},
Proceedings of the Royal Society of Edinburgh \textbf{10} (1880),
729--729.
\end{thebibliography}
\end{document}
papers/medial_tire_decompositions_of_plane_triangulations/paper.aux
+10 -17
View File
@@ -1,4 +1,5 @@
\relax \relax
\citation{bauerfeld-medial-pigeonhole}
\citation{bauerfeld-nested-tire-decompositions} \citation{bauerfeld-nested-tire-decompositions}
\citation{bauerfeld-nested-tire-decompositions} \citation{bauerfeld-nested-tire-decompositions}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Introduction}}{1}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Introduction}}{1}{}\protected@file@percent }
@@ -13,7 +14,7 @@
\newlabel{thm:annular-medial-colour-bound}{{3.3}{3}} \newlabel{thm:annular-medial-colour-bound}{{3.3}{3}}
\newlabel{def:annular-teeth}{{3.4}{3}} \newlabel{def:annular-teeth}{{3.4}{3}}
\newlabel{rem:teeth-sharing}{{3.5}{3}} \newlabel{rem:teeth-sharing}{{3.5}{3}}
\newlabel{rem:up-teeth-count}{{3.6}{3}} \newlabel{rem:up-teeth-count}{{3.6}{4}}
\newlabel{def:bite}{{3.7}{4}} \newlabel{def:bite}{{3.7}{4}}
\newlabel{rem:bite-face-count}{{3.8}{4}} \newlabel{rem:bite-face-count}{{3.8}{4}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A full medial tire graph $\mathsf {M}(T)$ illustrating the tooth terminology. The thick cycle is the annular medial cycle $A(T)$, whose black vertices are the annular medial vertices. Each edge of $A(T)$ carries one tooth: up teeth (blue apexes, outer-boundary medial vertices) point into the outer region, and down teeth (red apexes, inner-boundary medial vertices) point into the inner region. The two down teeth meeting at the central shared apex (larger red vertex) form a bite; that shared apex splits the inner region into two faces, one with four down teeth on its boundary and one with none.}}{4}{}\protected@file@percent } \@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A full medial tire graph $\mathsf {M}(T)$ illustrating the tooth terminology. The thick cycle is the annular medial cycle $A(T)$, whose black vertices are the annular medial vertices. Each edge of $A(T)$ carries one tooth: up teeth (blue apexes, outer-boundary medial vertices) point into the outer region, and down teeth (red apexes, inner-boundary medial vertices) point into the inner region. The two down teeth meeting at the central shared apex (larger red vertex) form a bite; that shared apex splits the inner region into two faces, one with four down teeth on its boundary and one with none.}}{4}{}\protected@file@percent }
@@ -26,25 +27,17 @@
\newlabel{fig:medial-annular-cycle-counterexample}{{3}{5}} \newlabel{fig:medial-annular-cycle-counterexample}{{3}{5}}
\newlabel{def:medial-restriction-relation}{{3.10}{5}} \newlabel{def:medial-restriction-relation}{{3.10}{5}}
\citation{bauerfeld-nested-tire-decompositions} \citation{bauerfeld-nested-tire-decompositions}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Decomposition}}{6}{}\protected@file@percent }
\newlabel{cor:medial-tire-decomposition}{{4.1}{6}}
\newlabel{def:compatible-family}{{4.2}{6}}
\newlabel{prop:gluing-criterion}{{4.3}{6}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{A medial pigeonhole programme}}{6}{}\protected@file@percent }
\newlabel{def:medial-boundary-state}{{5.1}{6}}
\newlabel{conj:medial-chain-pigeonhole}{{5.2}{7}}
\newlabel{conj:medial-route-fct}{{5.3}{7}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.1}{Kempe-cycle conservation across medial tires}}{7}{}\protected@file@percent }
\newlabel{lem:kempe-cycles}{{5.5}{7}}
\newlabel{lem:kempe-conservation}{{5.6}{8}}
\newlabel{def:kempe-balanced}{{5.7}{8}}
\newlabel{rem:kempe-balance-necessary}{{5.8}{8}}
\bibcite{bauerfeld-nested-tire-decompositions}{1} \bibcite{bauerfeld-nested-tire-decompositions}{1}
\bibcite{tait-original}{2} \bibcite{bauerfeld-medial-pigeonhole}{2}
\bibcite{tait-original}{3}
\newlabel{tocindent-1}{0pt} \newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{12.7778pt} \newlabel{tocindent0}{12.7778pt}
\newlabel{tocindent1}{17.77782pt} \newlabel{tocindent1}{17.77782pt}
\newlabel{tocindent2}{29.38873pt} \newlabel{tocindent2}{29.38873pt}
\newlabel{tocindent3}{0pt} \newlabel{tocindent3}{0pt}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{11}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Decomposition}}{6}{}\protected@file@percent }
\gdef \@abspage@last{11} \newlabel{cor:medial-tire-decomposition}{{4.1}{6}}
\newlabel{def:compatible-family}{{4.2}{6}}
\newlabel{prop:gluing-criterion}{{4.3}{6}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{6}{}\protected@file@percent }
\gdef \@abspage@last{6}
papers/medial_tire_decompositions_of_plane_triangulations/paper.log
+30 -30
View File
@@ -1,4 +1,4 @@
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 11 JUN 2026 16:44 This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 14 JUN 2026 21:07
entering extended mode entering extended mode
restricted \write18 enabled. restricted \write18 enabled.
%&-line parsing enabled. %&-line parsing enabled.
@@ -496,7 +496,7 @@ e
)) ))
[1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
[2] [3] [2] [3]
Overfull \hbox (62.13657pt too wide) in paragraph at lines 363--372 Overfull \hbox (62.13657pt too wide) in paragraph at lines 366--375
[][] [][]
[] []
@@ -506,39 +506,39 @@ LaTeX Warning: `h' float specifier changed to `ht'.
LaTeX Warning: `h' float specifier changed to `ht'. LaTeX Warning: `h' float specifier changed to `ht'.
[4] [5] [6] [7] [8] [9] [10] [11] (./paper.aux) ) [4] [5] [6] (./paper.aux) )
Here is how much of TeX's memory you used: Here is how much of TeX's memory you used:
14419 strings out of 478268 14413 strings out of 478268
283755 string characters out of 5846347 283613 string characters out of 5846347
609349 words of memory out of 5000000 608323 words of memory out of 5000000
32248 multiletter control sequences out of 15000+600000 32242 multiletter control sequences out of 15000+600000
477048 words of font info for 58 fonts, out of 8000000 for 9000 477048 words of font info for 58 fonts, out of 8000000 for 9000
1302 hyphenation exceptions out of 8191 1302 hyphenation exceptions out of 8191
84i,8n,89p,736b,838s stack positions out of 10000i,1000n,20000p,200000b,200000s 84i,8n,89p,736b,838s stack positions out of 10000i,1000n,20000p,200000b,200000s
</usr/local/texlive/2022/texmf </usr/local/texlive/2022/texmf-dist/fonts/type1/publ
-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/local/texlive/2022/texmf- ic/amsfonts/cm/cmbx10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/publi
dist/fonts/type1/public/amsfonts/cm/cmbx8.pfb></usr/local/texlive/2022/texmf-di c/amsfonts/cm/cmbx8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/
st/fonts/type1/public/amsfonts/cm/cmcsc10.pfb></usr/local/texlive/2022/texmf-di amsfonts/cm/cmcsc10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/
st/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/local/texlive/2022/texmf-dis amsfonts/cm/cmmi10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/a
t/fonts/type1/public/amsfonts/cm/cmmi5.pfb></usr/local/texlive/2022/texmf-dist/ msfonts/cm/cmmi5.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/ams
fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/local/texlive/2022/texmf-dist/fo fonts/cm/cmmi7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfo
nts/type1/public/amsfonts/cm/cmmi8.pfb></usr/local/texlive/2022/texmf-dist/font nts/cm/cmmi8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfont
s/type1/public/amsfonts/cm/cmr10.pfb></usr/local/texlive/2022/texmf-dist/fonts/ s/cm/cmr10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/
type1/public/amsfonts/cm/cmr7.pfb></usr/local/texlive/2022/texmf-dist/fonts/typ cm/cmr7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/
e1/public/amsfonts/cm/cmr8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/ cmr8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cms
public/amsfonts/cm/cmss10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/p s10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy
ublic/amsfonts/cm/cmsy10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/pu 10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy5
blic/amsfonts/cm/cmsy5.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/publ .pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.p
ic/amsfonts/cm/cmsy6.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public fb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb
/amsfonts/cm/cmsy7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/a ></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb>
msfonts/cm/cmti10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/am </usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb></
sfonts/cm/cmti8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsf usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb></us
onts/cm/cmtt8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfon r/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb>
ts/symbols/msam10.pfb>
Output written on paper.pdf (11 pages, 277538 bytes). Output written on paper.pdf (6 pages, 250239 bytes).
PDF statistics: PDF statistics:
138 PDF objects out of 1000 (max. 8388607) 121 PDF objects out of 1000 (max. 8388607)
86 compressed objects within 1 object stream 74 compressed objects within 1 object stream
0 named destinations out of 1000 (max. 500000) 0 named destinations out of 1000 (max. 500000)
13 words of extra memory for PDF output out of 10000 (max. 10000000) 13 words of extra memory for PDF output out of 10000 (max. 10000000)
papers/medial_tire_decompositions_of_plane_triangulations/paper.pdf
BIN
View File
Binary file not shown.
papers/medial_tire_decompositions_of_plane_triangulations/paper.tex
+11 -337
View File
@@ -53,9 +53,12 @@ isomorphic to the medial graph of the planar dual $G^*$, and proper
$3$-vertex-colourings of $M(G)$ are equivalent to proper $3$-vertex-colourings of $M(G)$ are equivalent to proper
$3$-edge-colourings of the cubic dual. Thus Tait's reformulation of $3$-edge-colourings of the cubic dual. Thus Tait's reformulation of
the Four Colour Theorem may be studied through proper vertex the Four Colour Theorem may be studied through proper vertex
$3$-colourings of medial subgraphs. We define medial tire pieces, $3$-colourings of medial subgraphs. We define medial tire pieces and
their boundary-state restriction relations, and a chain-pigeonhole their boundary-state restriction relations, and show that a proper
conjecture for compatible medial boundary states across the tire tree. vertex $3$-colouring of $M(G)$ amounts to a compatible selection of
these boundary states across the tire tree. The resulting
pigeonhole programme for the Four Colour Theorem is developed
in~\cite{bauerfeld-medial-pigeonhole}.
\end{abstract} \end{abstract}
\maketitle \maketitle
@@ -656,340 +659,6 @@ properness is already enforced by one of the local colourings. Hence
$\varphi$ is a proper vertex $3$-colouring of $M(G)$. $\varphi$ is a proper vertex $3$-colouring of $M(G)$.
\end{proof} \end{proof}
\section{A medial pigeonhole programme}
The restriction relation $R_T$ records exactly the local information
needed to pass a medial $3$-colouring through a tire. In a nested
chain
\[
T_0 \supset T_1 \supset \cdots \supset T_k,
\]
the outer boundary state of $T_{i+1}$ must match an inner boundary
state allowed by $R_{T_i}$. Thus a proof of the Four Colour Theorem in
this framework would follow from a structural reason that these
restriction sets cannot remain mutually disjoint along every branch of
the tire tree.
\begin{definition}[Medial boundary state]
\label{def:medial-boundary-state}
A \emph{medial boundary state} on a boundary set
$\partial\mathsf{M}(T)$ is a proper vertex $3$-colouring of the
subgraph induced by that boundary set, considered up to permutation of
the three colours and the dihedral symmetries of the boundary walk
when that boundary is a cycle.
\end{definition}
\begin{conjecture}[Medial chain-pigeonhole principle]
\label{conj:medial-chain-pigeonhole}
There is a function $N(k)$ such that the following holds. Let
$T_0 \supset T_1 \supset \cdots \supset T_{N(k)}$ be a nested chain of
tire treads whose relevant boundary medial walks have length at most
$k$. Then two adjacent restriction relations in the chain have
compatible medial boundary states after colour permutation and boundary
symmetry. Equivalently, the chain contains a local gluing step that
cannot be obstructed by disjoint proper vertex $3$-colouring
restrictions.
\end{conjecture}
\begin{conjecture}[Medial tire route to the Four Colour Theorem]
\label{conj:medial-route-fct}
For every plane triangulation $G$ and every level source $S$, the
restriction relations $\{R_T : T \in V(\mathcal{T}(G,S))\}$ admit a
compatible selection of boundary states across the tire tree. Hence
$M(G)$ is properly vertex $3$-colourable, $G^*$ is properly
$3$-edge-colourable, and $G$ is properly $4$-vertex-colourable.
\end{conjecture}
\begin{remark}
Conjecture~\ref{conj:medial-route-fct} is equivalent in strength to
the Four Colour Theorem when combined with Tait's correspondence. The
point of the formulation is not to weaken the target theorem, but to
move the obstruction into finite boundary-state restrictions carried by
annular medial tire pieces.
\end{remark}
\subsection{Kempe-cycle conservation across medial tires}
We now record an additional structure carried by proper
$3$-colourings of medial graphs. This structure will be useful for
describing how colourings glue across level cycles.
Let $G$ be a plane triangulation and let $M=M(G)$ be its medial graph.
Let
\[
\varphi:V(M)\to\{1,2,3\}
\]
be a proper $3$-colouring of $M$. For a two-element colour set
$P=\{a,b\}\subseteq\{1,2,3\}$, let $M_P$ denote the subgraph of $M$
induced by the vertices of colours $a$ and $b$.
Since $M$ is $4$-regular and $\varphi$ is proper, every vertex of
$M_P$ has degree $2$ in $M_P$. Hence every component of $M_P$ is a
cycle. We call these components the $P$-Kempe cycles of $\varphi$.
\begin{lemma}[Kempe chains are cycles]
\label{lem:kempe-cycles}
Let $G$ be a plane triangulation, let $M=M(G)$, and let
$\varphi$ be a proper $3$-colouring of $M$. For each
$P\in\{\{1,2\},\{2,3\},\{3,1\}\}$, every component of $M_P$ is a cycle.
\end{lemma}
\begin{proof}
Let $v\in V(M_P)$. In the medial graph $M$, the vertex $v$ has degree
$4$. Since $\varphi$ is a proper $3$-colouring, none of the neighbours
of $v$ has colour $\varphi(v)$. Thus all four neighbours of $v$ have
one of the two colours different from $\varphi(v)$.
In the medial graph of a plane triangulation, the neighbours of a
medial vertex occur in two opposite pairs corresponding to the two
faces incident with the corresponding edge of $G$. Around each such
triangular face, the three medial vertices receive all three colours.
Consequently, at $v$ there are exactly two neighbours of each colour
different from $\varphi(v)$. It follows that, in the subgraph induced
by any two colours $P$, every vertex has degree $2$. Hence each
component of $M_P$ is a cycle.
\end{proof}
Let $T$ be a medial tire region. We regard $T$ as an annular transition
region whose boundary consists of one outer level cycle and finitely
many inner level cycles:
\[
\partial T = C_0\sqcup C_1\sqcup\cdots\sqcup C_m.
\]
Here $C_0$ is the outer level cycle of $T$, and the cycles
$C_1,\ldots,C_m$ are the inner level cycles. Each inner level cycle
$C_i$ is also the outer level cycle of the corresponding child region
in the tire tree.
The following lemma is the basic conservation principle.
\begin{lemma}[Kempe-cycle conservation across level cycles]
\label{lem:kempe-conservation}
Let $C$ be a level cycle of $M$ separating a parent side from a child
side. Let $K$ be a $P$-Kempe cycle for some
$P\in\{\{1,2\},\{2,3\},\{3,1\}\}$. Then $K$ cannot enter the child side
of $C$ without also leaving it.
Equivalently, the incidences of $K$ with $C$ are paired by the
components of $K$ lying on the child side of $C$, and also paired by the
components of $K$ lying on the parent side of $C$.
\end{lemma}
\begin{proof}
By the preceding lemma, $K$ is a cycle. The level cycle $C$ separates
the sphere into two closed regions, which we call the parent side and
the child side. Consider the intersection of $K$ with one of these
regions. Since $K$ is a cycle, no component of this intersection can
have exactly one boundary endpoint on $C$. Each component is either
closed within the region, or is a path with two boundary endpoints on
$C$. Thus every entrance through $C$ is paired with an exit through
$C$.
\end{proof}
We now use these Kempe cycles to single out the colourings of a full
medial tire graph that respect the annular tooth structure.
\begin{definition}[Kempe-balanced colouring]
\label{def:kempe-balanced}
Let $\varphi$ be a proper $3$-colouring of the full medial tire graph
$\mathsf{M}(T)$. For a colour pair $P=\{a,b\}$, let $\mathsf{M}(T)_P$ be
the subgraph induced by the vertices of colours $a$ and $b$. Since
$\mathsf{M}(T)$ need not be $4$-regular, the components of
$\mathsf{M}(T)_P$ are paths or cycles; we call them the $P$-\emph{Kempe
chains} of $\varphi$. Every vertex of colour $a$ or $b$ lies on exactly
one $P$-Kempe chain.
A \emph{valid face} is the outer face of $\mathsf{M}(T)$, or an interior
face of $B(T)$ that is not a tooth---namely the root face or a bite
inner-gap face of Remark~\ref{rem:bite-face-count}. The \emph{tooth
apexes incident to} a valid face $F$ are:
\begin{itemize}
\item the up-tooth apexes (Definition~\ref{def:annular-teeth}), when
$F$ is the outer face;
\item the singleton down-tooth apexes whose annular edge lies on $F$,
when $F$ is interior---the apex on annular edge $m$ being incident to
the innermost bite $(i,j)$ with $i<m<j$, or to the root face if there
is none.
\end{itemize}
Bite apexes are never incident to a valid face in this sense.
For a colour pair $P=\{a,b\}$ write $\nu_P(F)$ for the number of tooth
apexes incident to $F$ that are coloured $a$ or $b$---equivalently, that
lie on a $P$-Kempe chain. The colouring $\varphi$ is
\emph{Kempe-balanced} if $\nu_P(F)$ is even for every valid face $F$ and
every colour pair $P$.
\end{definition}
\begin{remark}[Necessity of Kempe-balance]
\label{rem:kempe-balance-necessary}
A proper $3$-colouring of $\mathsf{M}(T)$ can be part of a proper
$3$-colouring of the whole medial graph $M(G)$ only when it is
Kempe-balanced: if $\varphi$ is the restriction to $\mathsf{M}(T)$ of a
proper $3$-colouring of $M(G)$, then $\varphi$ is Kempe-balanced.
Equivalently, a colouring of $\mathsf{M}(T)$ that fails the parity
condition at some valid face and colour pair cannot extend to a proper
$3$-colouring of $M(G)$. This is an instance of Kempe-cycle
conservation (Lemma~\ref{lem:kempe-conservation}). The tooth apexes
incident to a valid face are boundary medial vertices
(Definition~\ref{def:boundary-medial-vertices}) lying on a single level
cycle of the tire decomposition: the up-tooth apexes lie on the outer
level cycle, and the singleton down-tooth apexes incident to an interior
non-tooth face lie on the inner level cycle bounding that face. In the
$4$-regular graph $M(G)$ each $P$-Kempe chain of $\mathsf{M}(T)$ closes
up into a $P$-Kempe cycle, which by Lemma~\ref{lem:kempe-conservation}
meets each level cycle in an even number of $P$-coloured incidences; for
a given valid face these incidences are exactly its incident tooth
apexes coloured $a$ or $b$, whence $\nu_P(F)$ is even.
This argument is verified computationally. For bite-free pieces---capped
triangulated annuli on annular cycles of length $6,8,10,12$---every proper
$3$-colouring of $M(G)$ restricts to a Kempe-balanced colouring. The same
holds for pieces carrying a bite, including the case where singleton down
teeth lie in the bite's inner-gap face: there the inner level cycle splits
into a child level cycle per gap, and conservation across each child cycle
supplies the parity (in the checked example the three singleton down apexes
of a bite gap are a rainbow in every restriction).
\end{remark}
More generally, let $T$ be a medial tire region with boundary
\[
\partial T = C_0\sqcup C_1\sqcup\cdots\sqcup C_m.
\]
For a $P$-Kempe cycle $K$, every component of $K\cap T$ is either a
cycle contained in $T$, or a path with two endpoints on
$\partial T$. Thus the $P$-Kempe arcs inside $T$ define a pairing of
the $P$-coloured boundary incidences of
\[
C_0\sqcup C_1\sqcup\cdots\sqcup C_m.
\]
This motivates the following refinement of boundary states.
\begin{definition}[Kempe-enhanced boundary state]
Let $T$ be a medial tire region with outer level cycle $C_0$ and inner
level cycles $C_1,\ldots,C_m$. Let
\[
\mathcal C(T)=C_0\sqcup C_1\sqcup\cdots\sqcup C_m.
\]
A \emph{Kempe-enhanced boundary state} on $T$ consists of the following
data:
\begin{enumerate}
\item a boundary colouring
\[
\alpha:V(\mathcal C(T))\to\{1,2,3\};
\]
\item for each colour pair
\[
P\in\{\{1,2\},\{2,3\},\{3,1\}\},
\]
a pairing $\pi_P$ of the $P$-coloured boundary incidences of
$\mathcal C(T)$ induced by the $P$-Kempe arcs lying inside $T$.
\end{enumerate}
We write such a state as
\[
\kappa=(\alpha,\pi_{12},\pi_{23},\pi_{31}).
\]
\end{definition}
Given a proper $3$-colouring $\varphi$ of the medial tire graph
$M(T)$, the restriction of $\varphi$ to the boundary level cycles gives
the boundary colouring $\alpha$, while the two-colour Kempe arcs inside
$T$ give the pairings $\pi_{12},\pi_{23},\pi_{31}$. Thus $\varphi$
determines a Kempe-enhanced boundary state, denoted
\[
\kappa_T(\varphi).
\]
\begin{definition}[Kempe-enhanced restriction relation]
The \emph{Kempe-enhanced restriction relation} of $T$ is
\[
\mathcal K_T
=
\left\{
\kappa_T(\varphi):
\varphi \text{ is a proper }3\text{-colouring of } M(T)
\right\}.
\]
This refines the ordinary boundary-colouring relation by recording not
only which boundary colourings extend across $T$, but also how the
two-colour Kempe cycles are routed through the annular tire region.
\end{definition}
The annular structure of a tire is useful in two distinct ways. First,
it gives a bounded transition region between level cycles: the colouring
of the annular medial cycle controls, and in many cases determines, the
colouring of the remaining medial tire vertices. Thus the number of
possible transition states is bounded in terms of the annular structure,
rather than the total size of the subtree below the tire. Second, it
describes how the outer level cycle and the inner level cycles are
related by Kempe arcs. The level cycles are the gluing interfaces, while
the annular tire is the transition operator between them.
\begin{definition}[Kempe-compatible gluing]
Let $T$ be a medial tire region and let $U$ be a child region glued to
$T$ along a common level cycle $C$. Thus $C$ is an inner level cycle of
$T$ and the outer level cycle of $U$.
Let
\[
\kappa_T=(\alpha_T,\pi^T_{12},\pi^T_{23},\pi^T_{31})
\in \mathcal K_T
\]
and
\[
\kappa_U=(\alpha_U,\pi^U_{12},\pi^U_{23},\pi^U_{31})
\in \mathcal K_U.
\]
We say that $\kappa_T$ and $\kappa_U$ are \emph{Kempe-compatible along
$C$} if:
\begin{enumerate}
\item the boundary colourings agree on $C$:
\[
\alpha_T|_{V(C)}=\alpha_U|_{V(C)};
\]
\item for each colour pair
\[
P\in\{\{1,2\},\{2,3\},\{3,1\}\},
\]
the pairings $\pi^T_P$ and $\pi^U_P$ compose along the
$P$-coloured incidences of $C$ without producing an unpaired endpoint.
\end{enumerate}
When these conditions hold, the composed pairings determine a
Kempe-enhanced boundary state on the exposed boundary of
$T\cup_C U$.
\end{definition}
In these terms, gluing local colourings is not merely a matter of
matching boundary colours. The colourings must also route their
two-colour Kempe arcs compatibly across every shared level cycle. The
ordinary restriction relation records whether a boundary colouring can
be extended locally; the Kempe-enhanced relation additionally records
the conservation of Kempe-cycle flow through the annular transition
region.
For a tire with one outer level cycle and several inner level cycles,
\[
\partial T=C_0\sqcup C_1\sqcup\cdots\sqcup C_m,
\]
the parent tire may correlate the boundary states on the different
inner cycles. The Kempe-enhanced relation records this correlation as
a system of pairings among the $P$-coloured incidences of all boundary
level cycles simultaneously. Thus one should view a medial tire as a
multi-output transition operator
\[
\mathcal K_T:
C_0 \leadsto (C_1,\ldots,C_m),
\]
rather than as an independent collection of binary transitions.
The guiding principle is therefore:
\begin{quote}
Level cycles are the interfaces used for gluing, while annular tire
regions are the bounded transition regions that route Kempe cycles
between those interfaces.
\end{quote}
\begin{thebibliography}{9} \begin{thebibliography}{9}
\bibitem{bauerfeld-nested-tire-decompositions} \bibitem{bauerfeld-nested-tire-decompositions}
@@ -997,6 +666,11 @@ E.~Bauerfeld,
\emph{Nested Tire Decompositions of Plane Triangulations}, \emph{Nested Tire Decompositions of Plane Triangulations},
manuscript (math-research repository), 2026. manuscript (math-research repository), 2026.
\bibitem{bauerfeld-medial-pigeonhole}
E.~Bauerfeld,
\emph{The Medial Pigeonhole Programme},
manuscript (math-research repository), 2026.
\bibitem{tait-original} \bibitem{tait-original}
P.~G. Tait, P.~G. Tait,
\emph{Remarks on the colourings of maps}, \emph{Remarks on the colourings of maps},