1: %% AMS-LaTeX
2: %% Paper 2 - Version GAMMA
3: %% Part 04
4: %% (The Main Lemma)
5: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6:
7: %!TEX root = paper2-2005.tex
8:
9: \section{The Main Lemma}
10: \label{section:the_main_lemma}
11:
12: This paper relies on a technical result of \cite{Muranov:2005:dsmcbgbsg}
13: called there ``the Main Theorem.''
14: In fact, it suffices to use a simplified form of that result,
15: which is stated in this section as the Main Lemma.
16:
17: ``Inductive Lemmas'' and ``the Main Theorem''
18: in this section refer to the corresponding statements
19: in~\cite{Muranov:2005:dsmcbgbsg}.
20: Because they are not used outside of this section, because their
21: statements
22: involve properties of maps that are not defined in this paper,
23: and because the Main Lemma may be viewed as a particular case of
24: the Main Theorem, the Main Theorem and Inductive Lemmas are not
25: stated here.
26:
27: \begin{definition}
28: Call a map $\Delta$ \emph{semisimple\/} if
29: %and only if
30: every edge of $\Delta$ is incident to a face of~$\Delta$.
31: \end{definition}
32:
33: \begin{definition}
34: Let $\Delta$ be a semisimple S-map.
35: Let $S$ be the number of selected external edges of~$\Delta$.
36: Let $\mu$ be a real number.
37: Then the S-map $\Delta$ is said to satisfy the \emph{condition\/}
38: $\mathcal X(\mu)$ if
39: %and only if
40: $$
41: S\ge\|\Delta(1)\|-\mu\!\sum_{\Pi\in\Delta(2)}\!|\partial\Pi|.
42: $$
43: \end{definition}
44:
45: Note that the definition of the condition $\mathcal X$ in
46: \cite{Muranov:2005:dsmcbgbsg},
47: given there only for simple S-maps,
48: is extended here to all semisimple S-maps.
49:
50: \begin{proposition}
51: \label{proposition:(4.1)}
52: Let\/ $\Delta$ be an S-map\textup, and let\/ $\mu$ be a real number\textup.
53: Suppose every maximal semisimple S-submap of\/ $\Delta$
54: satisfies the condition\/ $\mathcal X(\mu)$\textup.
55: Let\/ $S$ be the number of selected external edges of\/ $\Delta$\textup.
56: Then
57: $$
58: S\ge(1-2\mu)\!\sum_{\Pi\in\Delta(2)}\!|\partial\Pi|.
59: $$
60: \end{proposition}
61:
62: \begin{proof}
63: Consider an arbitrary maximal semisimple S-submap $\Delta'$ of~$\Delta$.
64: Let $S'$ be the number of selected external edges of~$\Delta'$.
65: Let $\Sigma'$ be the sum of the degrees of all the faces of~$\Delta'$.
66: Then
67: $$
68: S'=2S'-S'\ge2\|\Delta'(1)\|-2\mu\Sigma'-S'
69: \ge S'+\Sigma'-2\mu\Sigma'-S'=(1-2\mu)\Sigma'.
70: $$
71:
72: Now, consider $\Delta$ itself.
73: Remove from the underlying $2$-complex of $\Delta$
74: all edges that are not incident to any face.
75: All connected components of the remaining $2$-complex
76: (some, possibly, consisting of just one vertex)
77: define semisimple S-submaps of~$\Delta$.
78: These S-submaps are precisely all maximal semisimple S-submaps of~$\Delta$.
79: Therefore, every selected external edge of $\Delta$,
80: as well as every face of $\Delta$,
81: belongs to exactly one maximal semisimple S-submap of~$\Delta$.
82: Hence, the desired inequality for $\Delta$ may be obtained by
83: adding up the analogous inequalities for all of its maximal
84: semisimple S-submaps.
85: \end{proof}
86:
87: Although it takes little effort to derive the Main Lemma formulated below
88: from the Main Theorem, it will be even easier if a modified version
89: of the Main Theorem with slightly weakened hypotheses is used instead.
90: It can be observed that the Main Theorem will still hold true if
91: ``simple S-map'' is replaced with ``semisimple S-map'' in the hypotheses.
92: Indeed, analysis of the proofs of Inductive Lemmas shows that
93: their statements can be modified in the following way
94: without turning them false:
95: \begin{enumerate}
96: \item
97: The hypotheses of Inductive Lemma~1 may be weakened by requiring
98: the condition $\mathcal X(\mu)$ only from all simple disc
99: S-submaps of $\Delta$ all of whose edges are internal in $\Delta$,
100: rather than from all proper simple disc S-submaps.
101: \item
102: The hypotheses of Inductive Lemma~2 may be weakened by requiring
103: the S-map $\Delta$ to be only semisimple, rather than simple.
104: \end{enumerate}
105: The original proofs with a few obvious changes apply to the modified lemmas.
106:
107: The statement obtained from the Main Theorem by replacing
108: ``simple'' with ``semisimple'' shall be referred to as
109: the Modified Main Theorem.
110: The original proof of the Main Theorem applies to the Modified Main Theorem
111: if Inductive Lemmas, used in the proof, are modified as described.
112: (The condition $\mathcal X$ in the conclusions of the Modified Main Theorem
113: and modified Inductive Lemma~2 shall be understood in the above-defined
114: broader sense.)
115:
116: \begin{remark}
117: The Modified Main Theorem can also be obtained as a corollary of
118: the Main Theorem by ``cutting'' a given semisimple S-map into its
119: ``simple components.''
120: \end{remark}
121:
122: \begin{definition}
123: Let $\Delta$ be an S-map.
124: Let $\lambda_1,\lambda_2\in[0,1]$.
125: The S-map $\Delta$ is said to satisfy the \emph{condition\/}
126: $\mathcal B(\lambda_1,\lambda_2)$ if
127: %and only if
128: it satisfies the following three conditions:
129: \begin{description}
130: \item[$\mathcal B_0$]
131: For each face $\Pi$ of $\Delta$, the contour of $\Pi$ has
132: at least one selected subpath and at most one maximal selected subpath
133: (note that if all nontrivial subpaths are selected,
134: then there is no maximal selected subpath).
135:
136: \item[$\mathcal B_1(\lambda_1)$]
137: For each face $\Pi$ of $\Delta$,
138: there is a selected subpath of $\partial\Pi$
139: of length at least $(1-\lambda_1)|\partial\Pi|$.
140:
141: \item[$\mathcal B_2(\lambda_2)$]
142: For each face $\Pi$ of $\Delta$,
143: the length of every double-selected arc incident to $\Pi$
144: is at most $\lambda_2|\partial\Pi|$.
145: \end{description}
146: A map $\Delta$ is said to satisfy the condition
147: $\mathcal B(\lambda_1,\lambda_2)$ if
148: %and only if
149: there exists a selection on $\Delta$ such that $\Delta$ with this selection
150: satisfies $\mathcal B(\lambda_1,\lambda_2)$.
151: \end{definition}
152:
153: For all admissible values of $\lambda_1$ and $\lambda_2$,
154: the condition $\mathcal B(\lambda_1,\lambda_2)$ is equivalent to
155: the condition $\mathcal A(1,1,1;\lambda_1,\lambda_2,0,0)$
156: in~\cite{Muranov:2005:dsmcbgbsg}.
157:
158: \begin{main_lemma}
159: Let\/ $\Delta$ be an S-map with at most\/ $3$ contours\textup.
160: Let\/ $\lambda_1,\lambda_2\in[0,1]$\textup.
161: Suppose\/ $2\lambda_1+13\lambda_2<1$
162: and\/ $\Delta$ satisfies\/ $\mathcal B(\lambda_1,\lambda_2)$\textup.
163: Let\/ $S$ be the number of selected external edge of\/ $\Delta$\textup,
164: and let\/ $\mu=\lambda_1+5\lambda_2$\textup.
165: Then
166: $$
167: S\ge(1-2\mu)\!\sum_{\Pi\in\Delta(2)}\!|\partial\Pi|.
168: $$
169: \end{main_lemma}
170:
171: \begin{proof}
172: Every maximal semisimple S-submap of $\Delta$ has at most $3$ contours
173: (see the description of maximal semisimple S-submaps given in the proof
174: of Proposition~\ref{proposition:(4.1)})
175: and satisfies the condition $\mathcal B(\lambda_1,\lambda_2)$.
176: By the Modified Main Theorem, and Remarks 6.3 and 6.4
177: in \cite{Muranov:2005:dsmcbgbsg},
178: all maximal semisimple S-submaps of $\Delta$ satisfy
179: the condition $\mathcal X(\mu)$.
180: The desired inequality now follows from
181: Proposition~\ref{proposition:(4.1)}.
182: \end{proof}
183:
184: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
185: