From d7e83a45ac1796c8334e0b8bb2fad8f007628b30 Mon Sep 17 00:00:00 2001 From: didericis Date: Thu, 21 May 2026 18:06:29 -0400 Subject: [PATCH] Extend disjunction-conjecture empirical table to n=12 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Disjunction (every maximal planar graph is a derived level graph or intertwining tree) holds through n=12. New intertwining-only iso class at n=12 (analog of T*_9 at n=9) brings the count of derived-resistant iso classes to 2 in this range. Per the intertwining-tree ⟺ Hamiltonian-dual equivalence, intertwining-tree failures cannot occur until n=21 (dual of the 38-vertex Holton-McKay minimum Tait counterexample). Co-Authored-By: Claude Opus 4.7 --- papers/even_level_graph_generators/paper.log | 6 +++--- papers/even_level_graph_generators/paper.pdf | Bin 530157 -> 530171 bytes papers/even_level_graph_generators/paper.tex | 1 + 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/papers/even_level_graph_generators/paper.log b/papers/even_level_graph_generators/paper.log index 13f382c..a79cc91 100644 --- a/papers/even_level_graph_generators/paper.log +++ b/papers/even_level_graph_generators/paper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 21 MAY 2026 16:14 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 21 MAY 2026 18:03 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -391,7 +391,7 @@ Package rerunfilecheck Info: File `paper.out' has not changed. Here is how much of TeX's memory you used: 9727 strings out of 478268 150592 string characters out of 5846347 - 450778 words of memory out of 5000000 + 451778 words of memory out of 5000000 27640 multiletter control sequences out of 15000+600000 475666 words of font info for 53 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 @@ -409,7 +409,7 @@ texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb> -Output written on paper.pdf (4 pages, 530157 bytes). +Output written on paper.pdf (4 pages, 530171 bytes). PDF statistics: 145 PDF objects out of 1000 (max. 8388607) 103 compressed objects within 2 object streams diff --git a/papers/even_level_graph_generators/paper.pdf b/papers/even_level_graph_generators/paper.pdf index 5c22f938d94b885d68963b81a944d3851c3c9ab2..ed13744c676e535397a8a2f8224f6e26c6a88973 100644 GIT binary patch delta 631 zcmaF6R^j(rg@zW!7N!>F7M3lnwe3uX7Sjuvm^8L8Z)cU~l6+bGq)`9-3Ln{%$#HUb zCM|!G_~0+=$6r(LwqKaY3dC&NFHB_L(!gqAU~FnKy;F!o4#M2NMu>xpDbU!|z|zFh z(Z$@w#l+ae)x^xm#o64&$4i7gHS1L` zo%WvUC~^Gb&%Nv4TOU7l#yc|W=FxZMYtQIxT|8CpZC>1_)sC(TH;ghKp1Uf@^uOts zbdy-qY%yJ>J04Cfo!p8Ag$jxpg|ps2es;LLtzA;$nC0`XiNzBq>+4ysl96jvXwv;4 zkfhOA`+-5oBhkL6shwv|%kKa#>4e2GyOOro=T6eHi@16q%rZRhw9yTo+5+}p55?{@ z%q|eudLS3#BpPy9;Z9qkrk;gs-O0ZD>nh$XzM6M~_4blWU(IhYZVh1nxIziv$kbq1>b3yFM+uzN~S^N$rss`)lyw{Lveq6xh=PYb;Ski*~ z`2yB+&h^?c4Q4wyrcc?UedFX?uYFgeN;N_^hc3VLi*xm9uj2b_H+jYH-S#TzSLMZ3 z(U}i>uZsTMRknKdr`-6p>rVFfM14KsFTS?wsr}mhZhmzOHUF$WI=xYTa^w8s#`t)q z)1MosPCD@Z+JRRU3nuWcxytg7kL};t8=A@=B<39mmS|3I++!cSY*qVCoB5{ln!%A` z-&W1v{eSf>mk(U2c`3yuMX8CoAXa`-7FTgeVo^y&QED2Osgb3rp#hhws;j>n7XS!U B60iUO delta 622 zcmeypR^jbhg@zW!7N!>F7M3lnwe3s>#?uR#m^8L8Z)cU~;>vW9V>=apGpObHbVWus z;r34xS%H{s`=^QQ3maI?3{6Z7r_T`Lkb^L{?-t_VVhVILGd3_VcXl*1HZV7Gb#gRt zG%>d{b#gK=a24X0bZUT_2pQy`5p|_}}R-b8b^p6pL=roaBt%TjLExa)4qii@X0sivoJ%e+ znjds#+x39$%E6)))4iX+sn6D4a>sae=?1rRsc&yEXg`#RX%pPR@%$lEOruOp>(vV! zz6HE`2TL{AS-Jk(9lJlS@Mr5)u^TMeOLs-i&TZ(uz@vMCE4gdS0}=7~+xPr#tf_dj zUUvH-vyAq_8+_IYAt#%cZ@bRcY