didericis
163e453464
Section 4 no longer states the floor as a proven Proposition. Now: prove interior-free disks attain 2^(n-2) (ear-peeling) and the un-stacking lemma, state |Phi(D)| >= 2^(n-2) as a Conjecture, and give an honest status remark -- holds for the Apollonian class, reduces to the irreducible case, empirically strict (5/4), but |Phi| is NOT monotone (the earlier freedom-positive monotonicity claim was wrong) and both natural elementary proofs provably fail. Soften the note's observation to match. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
57 lines
2.5 KiB
TeX
57 lines
2.5 KiB
TeX
\relax
|
|
\citation{bauerfeld-nested-tires}
|
|
\citation{bauerfeld-nested-tires}
|
|
\citation{bauerfeld-nested-tires}
|
|
\citation{bauerfeld-nested-tires}
|
|
\citation{bauerfeld-nested-tires}
|
|
\citation{bauerfeld-nested-tires}
|
|
\citation{Heawood1898}
|
|
\citation{bauerfeld-medial-tires}
|
|
\citation{bauerfeld-nested-tires}
|
|
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Introduction}}{1}{}\protected@file@percent }
|
|
\citation{bauerfeld-nested-tires}
|
|
\citation{bauerfeld-nested-tires}
|
|
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Connected tire clusters}}{2}{}\protected@file@percent }
|
|
\newlabel{sec:tire-clusters}{{2}{2}}
|
|
\newlabel{lem:same-depth-vertex-meet}{{2.1}{2}}
|
|
\newlabel{def:connected-tire-cluster}{{2.2}{2}}
|
|
\newlabel{rem:cluster-cut-vertices}{{2.3}{2}}
|
|
\newlabel{prop:two-clusters-per-vertex}{{2.4}{2}}
|
|
\citation{bauerfeld-nested-tires}
|
|
\citation{bauerfeld-nested-tires}
|
|
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Heawood restrictions on the tire dual}}{3}{}\protected@file@percent }
|
|
\newlabel{sec:heawood-restrictions}{{3}{3}}
|
|
\newlabel{def:heawood-labelling}{{3.1}{3}}
|
|
\newlabel{rem:no-interior-constraint}{{3.2}{3}}
|
|
\newlabel{def:boundary-sequences}{{3.3}{3}}
|
|
\newlabel{def:heawood-compatible}{{3.4}{3}}
|
|
\citation{Heawood1898}
|
|
\newlabel{rem:compat-is-heawood}{{3.5}{4}}
|
|
\newlabel{eq:heawood-face-sum-dual}{{3.1}{4}}
|
|
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Why the programme runs between nested clusters}}{4}{}\protected@file@percent }
|
|
\newlabel{prop:two-sided-decomposition}{{3.6}{4}}
|
|
\citation{bauerfeld-nested-tires}
|
|
\newlabel{rem:why-clusters}{{3.7}{5}}
|
|
\newlabel{conj:heawood-chain-pigeonhole}{{3.8}{5}}
|
|
\newlabel{conj:heawood-route-fct}{{3.9}{5}}
|
|
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{The constraint floor}}{6}{}\protected@file@percent }
|
|
\newlabel{sec:constraint-floor}{{4}{6}}
|
|
\newlabel{def:achievable-boundary-set}{{4.1}{6}}
|
|
\newlabel{prop:attainment}{{4.2}{6}}
|
|
\newlabel{lem:unstack}{{4.3}{6}}
|
|
\newlabel{conj:constraint-floor}{{4.4}{6}}
|
|
\newlabel{rem:floor-status}{{4.5}{6}}
|
|
\bibcite{Heawood1898}{1}
|
|
\bibcite{bauerfeld-depth}{2}
|
|
\bibcite{bauerfeld-nested-tires}{3}
|
|
\bibcite{bauerfeld-medial-tires}{4}
|
|
\bibcite{bauerfeld-nested-tire-duals}{5}
|
|
\newlabel{tocindent-1}{0pt}
|
|
\newlabel{tocindent0}{14.69437pt}
|
|
\newlabel{tocindent1}{17.77782pt}
|
|
\newlabel{tocindent2}{0pt}
|
|
\newlabel{tocindent3}{0pt}
|
|
\newlabel{rem:floor-consequences}{{4.6}{7}}
|
|
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{7}{}\protected@file@percent }
|
|
\gdef \@abspage@last{7}
|