On P Versus NP

L. Gordeev

[email protected]

Abstract. Consider a following NP-problem DOUBLE CLIQUE (abbr.: CLIQ${}_{2}$): Given a natural number $k>2$ and a pair of two disjoint subgraphs of a fixed graph $G$ decide whether each subgraph in question contains a $k$-clique. I show that CLIQ${}_{2}$ can’t be solved in polynomial time by a deterministic TM,  which yields $\mathbf{P}\neq\mathbf{NP}$. The proof upgrades the well-known proof of polynomial unsolvability of the partial result with respect to analogous monotone problem CLIQUE (abbr.: CLIQ). However, problem CLIQ${}_{2}$ is not monotone and appears more complex than just iterated CLIQ, as the required subgraphs are mutually dependent.

1 Introduction and survey of contents

The paper deals with the open problem P versus NP usually abbreviated to: $\mathbf{P}=\mathbf{NP}$ or $\mathbf{P}\neq\mathbf{NP}$ ? I argue in favor of $\mathbf{P}\neq\mathbf{NP}$. To this end first recall three well-known observations (cf. e.g. [1], [4], [3], [7], [8]):

(A) The well-known graph theoretic problem CLIQUE is NP-complete. Thus in order to prove $\mathbf{P}\neq\mathbf{NP}$ it will suffice e.g. to show that for sufficiently large natural number $k$ there is no Boolean circuit of $k$-polynomial size expressing that a given graph $G$ on $k^{4}$ vertices has a clique of $k$ elements; this particular case of CLIQUE problem I’ll designate CLIQ$\left(G,k^{4},k\right)$.

(B) CLIQ$\left(G,k^{4},k\right)$ is monotone, i.e. $G\subset H$ with CLIQ$\left(G,k^{4},k\right)$ implies CLIQ$\left(H,k^{4},k\right)$, while CLIQ$\left(G,k^{4},k\right)$ is not decidable by monotone, i.e. negation-free $(\vee,\wedge)$-circuits. More precisely, for sufficiently large $k$, the size of monotone circuit solutions of CLIQ$\left(G,k^{4},k\right)$ is exponential in $k$.

(C) Computational complexity of Boolean circuits is linear in that of DeMorgan normal (abbr.: DMN) $(\vee,\wedge)$-circuits which allow negated inputs.

Summing up, in order to prove $\mathbf{P}\neq\mathbf{NP}$ it will suffice to show that for sufficiently large natural numbers $k<m$ there are no DMN circuit solutions of CLIQ$\left(G,m,k\right)$ whose size is polynomial in $k$. In fact, instead of CLIQ$\left(G,k^{4},k\right)$, it will suffice to work with an apparently stronger (but equivalent modulo NP complexity) non-monotone double clique problem CLIQ${}_{2}\left(G_{1},G_{2},k^{15},k\right)$ saying that two disjoint subgraphs $G_{1}$ and $G_{2}$ of a given graph $H$ on $k^{15}$ vertices both contain cliques of $k$ elements. To formalize this problem I upgrade monotone approach of (B) using method of approximations. Aside from plain graphs I consider double graphs (= pairs of disjoint graphs consisting of positive and negative parts thereof) and appropriate twice double graphs. Instead of circuit considerations I use basic formalism of Boolean algebra and apply a suitable double Erdős-Rado lemma to both components of double graphs and estimate upper bounds of deviations between total numbers of test graphs accepted by DMN formulas $\varphi$ and corresponding approximations (Lemma 13). Using these estimations I show that the circuit size of $\varphi$ that behaves correctly on test graphs is exponential in $k$ (Theorem 14). Afterwards I use an auxiliary 3-value semantic to show that the assumptions of Theorem 14 are fulfilled by arbitrary DMN solutions of CLIQ${}_{2}\left(G_{1},G_{2},k^{15},k\right)$ (Corollary 19). Together with (C) and an appropriate Boolean interpretation of the 3-value semantic involved this yields the result (Theorems 21, 24 and Corollary 25). The entire proof is formalizable in the exponential function arithmetic $\mathbf{EFA}$. Below for the sake of brevity CLIQ$\left(G,k^{4},k\right)$ and CLIQ${}_{2}\left(G_{1},G_{2},k^{15},k\right)$ are abbreviated by CLIQ and CLIQ${}_{2}$, respectively.

Acknowledgment

I would like to thank René Thiemann who took the time to verify crucial proofs with the theorem prover Isabelle. His work was extremely helpful in finding flaws and errors in prior presentation of the results.

2 Preliminaries

2.1 Basic notations

• In the sequel we assume $2<\ell$, $2\ell+1\leq p<k\leq m^{\frac{1}{15}}\$and$\ L=\left(p-1\right)^{3\ell}\ell!$.

• For any $A,B\subseteq\left[m\right]$ we let $A\ast B:=\left\{\left\{x,y\right\}:x\in A\ \&\ y\in B\ \&\ x\neq y\right\}$ and$\ \framebox{$A^{\left(2\right)}:=A\ast A$}$, where $\left[m\right]:=\left\{1,\cdots,m\right\}$. Thus $\left|\left[m\right]^{\left(2\right)}\right|=\frac{1}{2}m\left(m-1\right)$, where $\left|S\right|:=\mathrm{card}\left(S\right)$.

• For any $X\subseteq\left[m\right]^{\left(2\right)}$ let:

  1.  v$\left(X\right):=\left\{x\in\left[m\right]:\left(\exists y\in\left[m\right]\right)\left\{x,y\right\}\in X\right\}$,

  2. $\widetilde{X}:=\text{{v}}\left(X\right)^{\left(2\right)}\setminus X=\left\{\left\{x,y\right\}\in\text{{v}}\left(X\right)^{\left(2\right)}:\left\{x,y\right\}\notin X\right\}$.

• Let $\mathcal{F}:=\left\{f:\left[m\right]\rightarrow\left[k\right]\right\}$ and for any $f\in\mathcal{F}$ let:

  $\mathrm{Dom}$$f:=\left\{x\in\left[m\right]:f\left(x\right)<k\right\}=\mathrm{Dom}\left(f\right)\setminus f^{-1}\left\{k\right\}$,

  $C_{f}:=\left\{\left\{x,y\right\}\in\underline{\mathrm{Dom}}f^{\left(2\right)}:f\left(x\right)\neq f\left(y\right)\right\}$.

2.2 Plain, double and twice double graphs

• Call $\mathcal{G}:=\wp\left[m\right]^{\left(2\right)}$ the set of plain graphs (unordered, possibly empty) with $m$ vertices. For any $\emptyset\neq G\in\mathcal{G}$ call pairs $\left\{x,y\right\}\in G$ and v$\left(G\right)$ the edges and vertices, respectively.

• $\mathrm{POS}:=\mathcal{K\!}:=\!\left\{\text{{v\negthinspace}}\left(G\right)^{\left(2\right)}:\left|\text{{v}}\left(G\right)\right|=k\right\}$ and

  $\framebox{$\mathrm{CLIQ}:=\left\{G\in\mathcal{G}:\left(\exists K\in\mathcal{K\!}\right)K\subseteq G\right\}$}$

  are called cliques and plain clique problem, respectively.

• $\mathrm{NEG}:=\left\{C_{f}:f\in\mathcal{F}\right\}$ and $\framebox{$\mathrm{ACLIQ}:=\left\{G\in\mathcal{G}:\left(\exists H\in\mathrm{NEG}\right)G\subseteq H\right\}$}$

  are called negative tests and plain anticliques, respectively.

• Pairs of disjoint plain graphs are called double graphs. That is, we let $\mathcal{D}:=\left\{\left\langle G,H\right\rangle\in\mathcal{G\times G}:G\cap H=\emptyset\right\}$ be the set of double graphs. Double graph $\left\langle\emptyset,\emptyset\right\rangle$ is identified with $\emptyset$, while $\mathcal{G}$ regarded as part of $\mathcal{D}$ e.g. via $\mathcal{G}\ni G\hookrightarrow\left\langle G,\emptyset\right\rangle\in\mathcal{D}$ and/or $\mathcal{G}\ni G\hookrightarrow\left\langle\emptyset,G\right\rangle\in\mathcal{D}$.

• For any $D=\left\langle G,H\right\rangle\in\mathcal{D}$ let $D^{+}\!:=\!G$, $D^{-}\!:=\!H$.

• For the sake of completeness we also consider twice double graphs

  $\mathcal{T}:=\left\{\left\langle D,E\right\rangle\in\mathcal{D\times D}:\,\left(D^{+}\!\cup D^{-}\right)\cap E^{+}=\emptyset\right\}$.

• For any $T=\left\langle D,E\right\rangle\in\mathcal{T}$ let $T^{\bullet}\!:=\!D,T^{\circ}\!:=\!E$.

• For any $D\in\mathcal{D}$, $\mathcal{X}\subseteq\mathcal{D}$ and $\mathcal{Y}\subseteq\mathcal{T}$ let $\widehat{D}:=\left\langle D,\emptyset\right\rangle$$\,\in\mathcal{T}$ ,
  $\mathcal{X}^{+}:=\left\{D^{+}:D\in\mathcal{X}\right\}$$\,\subseteq\mathcal{G}$, $\mathcal{X}^{-}:=\left\{D^{-}:D\in\mathcal{X}\right\}$$\,\subseteq\mathcal{G}$,

  $\mathcal{Y}^{\bullet}:=\left\{T^{\bullet}:T\in\mathcal{Y}\right\}$$\,\subseteq\mathcal{D}$, $\mathcal{Y}^{\circ}:=\left\{T^{\circ}:T\in\mathcal{Y}\right\}$$\,\subseteq\mathcal{D}$.

• For any $D,E\in\mathcal{D}$ and $T\in\mathcal{T}$ let

  $D\subseteq^{\pm}E\leftrightharpoons D^{+}\!\subseteq\!E^{+}\!\ \&\ D^{-}\!\subseteq E^{-}$ and $T\subseteq^{\pm}D\leftrightharpoons T^{\bullet}\subseteq^{\pm}\!D$.

• $\mathrm{POS}_{2}:=\left\{E\in\mathcal{K\!}\times\mathcal{K}\,:\mathcal{\text{{v}}}\left(E^{-}\right)\cap\mathcal{\text{{v}}}\left(E^{+}\right)=\emptyset\ \right\}$$\,\subseteq\mathcal{D}$ and

  $\framebox{$\mathrm{CLIQ}_{2}:=\left\{D\in\mathcal{D}:\left(\exists E\in\mathrm{POS}_{2}\right)E\subseteq^{\pm}D\right\}$}\subseteq\mathcal{D}$

  are called double clique tests and double cliques, respectively.

• $\mathcal{F}_{2}:=\left\{\left\langle f,g\right\rangle\in\mathcal{F}\times\mathcal{F}:\,\underline{\mathrm{Dom}}f\uplus\underline{\mathrm{Dom}}\,g=\left[m\right]\right\}$,

  where $A\uplus B=C\leftrightharpoons A\cup B=C\ \&\ A\cap B=\emptyset$.

• For any $\left\langle f,g\right\rangle\in\mathcal{F}_{2}$ let $C_{\left\langle f,g\right\rangle}:=\left\langle C_{f},C_{g}\right\rangle$$\,\in\mathcal{D}$.

• $\framebox{$\mathrm{NEG}_{2}:=\left\{C_{\left\langle f,g\right\rangle}:\left\langle f,g\right\rangle\in\mathcal{F}_{2}\right\}$}\subseteq\mathcal{D}$ and

  $\framebox{$\mathrm{ACLIQ}_{2}:=\left\{D\in\mathcal{D}:\left(\exists E\in\mathrm{NEG}_{2}\right)D\subseteq^{\pm}E\right\}$}\subseteq\mathcal{D.}$

  are called negative double tests and double anticliques, respectively.

Lemma 1

$\mathrm{POS}_{2}\subset\,$CLIQ${}_{2}$, $\mathrm{NEG}_{2}\subset\,$ACLIQ${}_{2}$ and $\mathrm{CLIQ}_{2}\,\cap\,$ACLIQ ${}_{2}=\emptyset$. Moreover $\left|\mathrm{POS}_{2}\right|$ $\!=\!\left(\QATOP{m}{k}\right)\left(\QATOP{m-k}{k}\right)$, $\left|\mathcal{F}_{2}\right|=\left(k-1\right)^{m}2^{m}>\left|\mathrm{NEG}_{2}\right|>\left|\mathcal{F}_{2}\right|_{\simeq}$, where for $\left\langle f,g\right\rangle,\left\langle f^{\prime},g^{\prime}\right\rangle\in\mathcal{F}_{2}$ we let $\left\langle f,g\right\rangle\simeq\left\langle f^{\prime},g^{\prime}\right\rangle\leftrightharpoons C_{\left\langle f,g\right\rangle}=C_{\left\langle f^{\prime},g^{\prime}\right\rangle}$.

Proof. First assertion and $\left|\mathrm{POS}_{2}\right|$ $\!=\!\left(\QATOP{m}{k}\right)\left(\QATOP{m-k}{k}\right)$ are readily seen. Now $\left|\mathcal{F}_{2}\right|=\overset{m}{\underset{i=0}{\sum}}\left(k-1\right)^{i}\left(k-1\right)^{m-i}\binom{m}{i}=\left(k-1\right)^{m}\overset{m}{\underset{i=0}{\sum}}\binom{m}{i}=\left(k-1\right)^{m}2^{m}$. The rest is obvious (a more precise estimation of $\left|\mathrm{NEG}_{2}\right|$ is not important).   

2.3 Basic operations on sets of (twice) double graphs

Except for standard set-theoretic operations $\cup$ and $\cap$ we consider double union $\Cup$ and two double products $\odot$.

• For any $D,E\in\mathcal{D}$ let $D\Cup E:=$ $\!\left\{\!\!\begin{array}[]{ccc}\left\langle D^{+}\!\cup\!E^{+}\!,D^{-}\!\cup\!E^{-}\right\rangle,&\!if&\!\!\in\mathcal{D},\\ \emptyset,&\!else.&\end{array}\!\right.$

• For any $\mathcal{X,Y\subseteq D}$ let $\mathcal{X\odot Y}:=\!\left\{D\Cup E:\left\langle D,E\right\rangle\in\mathcal{X}\times\mathcal{Y}\right\}$$\,\subseteq\mathcal{\!D.}$

• For any $T,S\in\mathcal{T}$ let $T\Cup S:=$ $\!\left\{\!\!\begin{array}[]{ccc}\widehat{T^{\bullet}\Cup S^{\bullet}\!},&\!if&\!\!T^{\bullet}\Cup S^{\bullet}\in\mathcal{D},\\ \emptyset,&\!else.&\end{array}\!\right.$

• For any $\mathcal{X,Y\subseteq T}$ let $\mathcal{X\odot Y}:=\!\left\{T\Cup S:\left\langle T,S\right\rangle\in\mathcal{X}\times\mathcal{Y}\right\}$$\,\subseteq\mathcal{\!T}$

Note that $\mathcal{\emptyset\odot Y=X\odot\emptyset}=\emptyset$. It is readily seen that following conditions hold for any $\mathcal{X,Y,X}^{\prime}\mathcal{,Y}^{\prime}\mathcal{\subseteq D}$ $(\mathcal{T}).$

1. $\mathcal{X\odot Y}=\mathcal{Y\odot X,\ X}\odot\left(\mathcal{Y\odot Z}\right)=\left(\mathcal{X\odot Y}\right)\odot\mathcal{Z}.$

2. $\mathcal{X}\odot\left(\mathcal{Y\cup Z}\right)=\left(\mathcal{X\odot Y}\right)\cup\left(\mathcal{X\odot Z}\right),\ \mathcal{X}\cup\left(\mathcal{Y\odot Z}\right)\subseteq\left(\mathcal{X\cup Y}\right)\odot\left(\mathcal{X\cup Z}\right).$

3. $\mathcal{X\subseteq X}^{\prime}\&\,\mathcal{Y\subseteq Y}^{\prime}\Rightarrow\mathcal{X\odot Y}\subseteq\mathcal{X}^{\prime}\mathcal{\odot Y}^{\prime}.$

4. For any $\mathcal{X,Y}\,\mathcal{\subseteq T}$ we have $\left(\mathcal{X\!\cup\!Y}\right)^{\bullet}\!=\mathcal{X^{\bullet}\cup\!Y}^{\bullet}$, $\left(\mathcal{X\!\cap\!Y}\right)^{\bullet}\!=\mathcal{X^{\bullet}\!\!\,\cap\!Y}^{\bullet}$ and $\left(\mathcal{X\!\odot\!Y}\right)^{\bullet}\!=\mathcal{X^{\bullet}\!\!\,\odot\!Y}^{\bullet}.$

3 Proof proper

3.1 Acceptability

With any given set of (twice) double graphs $\mathcal{X}$ we correlate accepted (especially positive) double tests $\mathrm{AC}\left(\mathcal{X}\right)\subseteq\mathcal{D},$ $\mathrm{AC}^{\text{{p}}}\left(\mathcal{X}\right)\subseteq\mathrm{POS}_{2}$ and negative double coloring $\mathrm{AC}^{\text{{n}}}\left(\mathcal{X}\right)\subseteq\mathrm{NEG}_{2}$. Corresponding sets of accepted double tests, resp. colorings, are as follows.

Definition 2

For any $\mathcal{X\subseteq D}$ or $\mathcal{X}\subseteq\mathcal{T}$ and $D\in\mathcal{D}$ let $\mathcal{X}\Vdash^{\pm}D$ abbreviate $\left(\exists E\in\mathcal{X}\right)E\subseteq^{\pm}D\vskip 3.0pt plus 1.0pt minus 1.0pt$ or $\vskip 3.0pt plus 1.0pt minus 1.0pt\left(\exists T\in\mathcal{X}\right)T\subseteq^{\pm}D$, respectively. Then let:

1. $\mathrm{AC}\left(\mathcal{X}\right):=\left\{D\in\mathcal{D}:\mathcal{X}\Vdash^{\pm}D\right\}$, $\mathrm{AC}^{\text{{p}}}\left(\mathcal{X}\right):=\mathrm{AC}\left(\mathcal{X}\right)\cap\mathrm{POS}_{2}$.

2. $\mathrm{AC}^{\text{{n}}}\left(\mathcal{X}\right):=\left\{C_{\left\langle f,g\right\rangle}\in\mathrm{NEG}_{2}\!:\mathcal{X}\Vdash^{\pm}C_{\left\langle f,g\right\rangle}\right\}.$

Lemma 3

Conditions 1–5 hold for any $\mathcal{X,Y}\subseteq\mathcal{D}$ or $\mathcal{X,Y}\subseteq\mathcal{T}$.

1. $\mathrm{AC}\left(\mathcal{\emptyset}\right)=\mathrm{AC}^{\text{{p}}}\left(\mathcal{\emptyset}\right)=\mathrm{AC}^{\text{{n}}}\left(\mathcal{\emptyset}\right)=\emptyset$.

2. $\mathrm{AC}\left(\mathcal{D}\right)=\mathcal{D},\ \mathrm{AC}^{\text{{p}}}\left(\mathrm{POS}_{2}\right)=\mathrm{POS}_{2},\ \mathrm{AC}^{\text{{n}}}\left(\mathrm{NEG}_{2}\right)=\mathrm{NEG}_{2}.$

3. $\mathrm{AC}^{\left(\text{{p}}\right)\left(\text{{n}}\right)}\left(\mathcal{X}\right)=\mathrm{AC}^{\left(\text{{p}}\right)\left(\text{{n}}\right)}\left(\mathcal{X}^{\bullet}\right)$.

4. If $\mathcal{X\subseteq Y}$ then $\mathrm{AC}^{\left(\text{{p}}\right)\left(\text{{n}}\right)}\left(\mathcal{X}\right)\subseteq\mathrm{AC}^{\left(\text{{p}}\right)\left(\text{{n}}\right)}\left(\mathcal{Y}\right)$.

5. 1. $\mathrm{AC}\left(\mathcal{X\cup Y}\right)=\mathrm{AC}\left(\mathcal{X}\right)\cup\mathrm{AC}\left(\mathcal{Y}\right)$,

   2. $\mathrm{AC}^{\text{{p}}}\left(\mathcal{X\cup Y}\right)=\mathrm{AC}^{\text{{p}}}\left(\mathcal{X}\right)\cup\mathrm{AC}^{\text{{p}}}\left(\mathcal{Y}\right)$,

   3. $\mathrm{AC}^{\text{{n}}}\left(\mathcal{X\cup Y}\right)=\mathrm{AC}^{\text{{n}}}\left(\mathcal{X}\right)\cup\mathrm{AC}^{\text{{n}}}\left(\mathcal{Y}\right)$.

6. 1. $\mathrm{AC}\left(\mathcal{X\cap Y}\right)\subseteq\mathrm{AC}\left(\mathcal{X\odot Y}\right)=\mathrm{AC}\left(\mathcal{X}\right)\cap\mathrm{AC}\left(\mathcal{Y}\right)$,

   2. $\mathrm{AC}^{\text{{p}}}\left(\mathcal{X\cap Y}\right)\subseteq\mathrm{AC}^{\text{{p}}}\left(\mathcal{X\odot Y}\right)=\mathrm{AC}^{\text{{p}}}\left(\mathcal{X}\right)\cap\mathrm{AC}^{\text{{p}}}\left(\mathcal{Y}\right)$,

   3. $\mathrm{AC}^{\text{{n}}}\left(\mathcal{X\cap Y}\right)\subseteq\mathrm{AC}^{\text{{n}}}\left(\mathcal{X\odot Y}\right)=\mathrm{AC}^{\text{{n}}}\left(\mathcal{X}\right)\cap\mathrm{AC}^{\text{{n}}}\left(\mathcal{Y}\right)$.

Proof. For the sake of brevity we assume that $\mathcal{X,Y}\subseteq\mathcal{D}$ (cf. also 2.3 (4)).

1–5: trivial.

6 (a). It suffices to prove $\mathrm{AC}\left(\mathcal{X\odot Y}\right)=\mathrm{AC}\left(\mathcal{X}\right)\cap\mathrm{AC}\left(\mathcal{Y}\right)$. So suppose $D\in\mathrm{AC}\left(\mathcal{X\odot Y}\right)$, i.e. $\mathcal{X\odot Y}\Vdash^{\pm}D$, i.e.  there are $E_{1}\in\mathcal{X}$ and $E_{2}\in\mathcal{Y}$ such that $E_{1}^{+}\cup E_{2}^{+}\subseteq D^{+}$ and $E_{1}^{-}\cup E_{2}^{-}\subseteq D^{-}$, which by

$$\begin{array}[]{l}E_{1}^{+}\cup E_{2}^{+}\subseteq D^{+}\&\,E_{1}^{-}\cup E_{2}^{-}\subseteq D\Leftrightarrow\\ E_{1}^{+}\subseteq D^{+}\&\,E_{1}^{-}\subseteq D^{-}\&\,E_{2}^{+}\subseteq D^{+}\&\,E_{2}^{-}\subseteq D^{-}\end{array}$$

yields both $D\in\mathrm{AC}\left(\mathcal{X}\right)$ and $D\in\mathrm{AC}\left(\mathcal{Y}\right)$. Suppose $D\in\mathrm{AC}\left(\mathcal{X}\right)\cap\mathrm{AC}\left(\mathcal{Y}\right)$, i.e. $\mathcal{X}\Vdash^{\pm}D$ and $\mathcal{Y}\Vdash^{\pm}D$, i.e. there are $E_{1}\in\mathcal{X}$ and $E_{2}\in\mathcal{Y}$ such that $E_{1}^{+}\subseteq D^{+}$, $E_{1}^{-}\subseteq D^{-}$, $E_{2}^{+}\subseteq D^{+}$, $E_{2}^{-}\subseteq D^{-}$ and hence $E_{1}\Cup E_{2}\in\mathcal{X\odot Y}$, which by the same token yields $D\in\mathrm{AC}\left(\mathcal{X\odot Y}\right)$.

6 (b), (c) follow analogously to 4 (a).   

3.2 Approximations and deviations

In what follows we generalize conventional monotone approach, cf. e.g. [4], [8], [3], [7]. We supply operations $\cup$ and $\mathcal{\odot}$ on $\wp\mathcal{D}$ with approximators $\sqcup$ and $\sqcap$ operating on arbitrary subsets $\mathcal{X}\subseteq\mathcal{D}$ or $\mathcal{X}\subseteq\mathcal{T}$ such that for all $D$ from $\mathcal{X}$ (resp. $\mathcal{X}^{\bullet}$), $\max\left\{\left|\text{{v}}\left(D^{+}\right)\right|,\left|\text{{v}}\left(D^{-}\right)\right|\right\}\leq\ell$; note that we approximate both (positive and negative) parts of double graphs. We define corresponding double deviations $\partial_{\sqcup}^{\text{{p}}},\partial_{\sqcup}^{\text{{n}}},$ $\partial_{\sqcap}^{\text{{p}}},\partial_{\sqcap}^{\text{{n}}}$ from $\cup$ and $\mathcal{\odot}$ with respect to accepted double test graphs and show that these deviations make “small” fractions thereof (Lemmata 10, 11). Double deviations are analogous to “error sets” caused by approximations in conventional monotone approach that is based on the Erdős-Rado lemma [3], [8], [10]; in fact we’ll use a suitable double version of the latter.

3.2.1 Basic notations and definitions

• Let $\mathcal{G}^{\ell}:=\left\{G\in\mathcal{G}:\left|\text{{v}}\left(G\right)\right|\leq\ell\right\}$, $\mathcal{D}^{\ell}:=\left\{D\in\mathcal{D}:\left\|\text{{v}}\left(D\right)\right\|\leq\ell\right\}$ and $\mathcal{T}^{\ell}:=\newline \left\{D\in\mathcal{T}^{\bullet}:\left\|\text{{v}}\left(D\right)\right\|\leq\ell\right\}$, where $\left\|\text{{v}}\left(D\right)\right\|:=\max\left\{\left|\text{{v}}\left(D^{+}\right)\right|,\left|\text{{v}}\left(D^{-}\right)\right|\right\}$.

• If $D,E\in\mathcal{D}^{\ell}$ and $\mathcal{X,Y}\subseteq\mathcal{D}^{\ell}$, let $D\,\Cup^{\ell}E:=\left\{\begin{array}[]{ccc}D\Cup E,&if&D\Cup E\in\mathcal{D}^{\ell},\\ \emptyset&else,&\end{array}\right.$ and $\mathcal{X\odot}^{\ell}\mathcal{Y}:=\left\{D\Cup^{\ell}\!E\in\mathcal{D}^{\ell}:D\in\mathcal{X}\ \&\ E\in\mathcal{Y}\right\}\in\wp\,\mathcal{D}^{\ell}$.

• For any $\mathcal{X\subseteq D}$, $\mathcal{Y\subseteq T}$ let
  v$\left(\mathcal{X}\right):=\left\{\text{{v}}\left(D\right):D\in\mathcal{X}\right\}$ and v$\left(\mathcal{Y}\right):=\left\{\text{{v}}\left(D\right):D\in\mathcal{Y}^{\bullet}\right\}$ where v$\left(D\right):=\left\langle\text{{v}}\left(D^{+}\right),\text{{v}}\left(D^{-}\right)\right\rangle$. Also let
  $\wp_{L}\mathcal{D}:=\left\{\mathcal{X\subseteq D}:\left|\mathcal{X}\right|\leq L\right\}$, $\wp_{L}\mathcal{T}:=\left\{\mathcal{Y\subseteq T}:\left|\mathcal{Y}\right|\leq L\right\}$ and $\wp_{L}\mathcal{D}^{\ell}$ $:=$ $\left\{\mathcal{X\subseteq D}^{\ell}:\left|\mathcal{X}\right|\leq L\right\}$, $\wp_{L}\mathcal{T}^{\ell}$ $:=$ $\left\{\mathcal{Y\subseteq T}^{\ell}:\left|\mathcal{Y}\right|\leq L\right\}$.

• Parallel to double graphs $\mathcal{D}$ we’ll consider auxiliary double sets $\mathcal{S}:=\left\{\left\langle A,B\right\rangle:A,B\subseteq\left[m\right]\ \&\ A\cap B=\emptyset\right\}$. For any $S=\left\langle A,B\right\rangle\in\mathcal{S}$ denote $A$ by $S^{+}$ and $B$ by $S^{-}$ and for $S,T\in\mathcal{S}$ let $S\Cap T:=\left\langle S^{+}\cap T^{+},S^{-}\cap T^{-}\right\rangle\in\mathcal{S}$. Now for any $D\in\mathcal{D}$ define s$\left(D\right)\in\mathcal{S}$ by s$\left(D\right)^{+}:={\textsc{v}}\left(D^{+}\right)\setminus{\textsc{v}}\left(D^{-}\right)$ and s$\left(D\right)^{-}:={\textsc{v}}\left(D^{-}\right)\setminus{\textsc{v}}\left(D^{+}\right)$ and for any $\mathcal{X\!\subseteq\!D}$ let s$\left(\mathcal{X}\right):=\left\{\text{{s}}\left(D\right):D\in\mathcal{X}\right\}$.

• Let $\mathcal{S}^{\ell}:=\left\{S\in\mathcal{S}:\left\|S\right\|\leq\ell\right\}$ where $\left\|S\right\|:=\max\left\{\left|S^{+}\right|,\left|S^{-}\right|\right\}$, $\wp_{L}\mathcal{S}:=\left\{\mathcal{X\subseteq S}:\left|\mathcal{X}\right|\leq L\right\}$ and $\wp_{L}\mathcal{S}^{\ell}$ := $\left\{\mathcal{X\subseteq S}^{\ell}:\left|\mathcal{X}\right|\leq L\right\}$. Thus for any $\mathcal{X\!\subseteq\!D}$, $\mathcal{Y\subseteq D}^{\ell}$ and $\mathcal{Z}\in\wp_{L}\mathcal{D}^{\ell}$ we have s$\left(\mathcal{X}\right)\subseteq\mathcal{S}$, s$\left(\mathcal{Y}\right)\subseteq\mathcal{S}^{\ell}$ and s$\left(\mathcal{Z}\right)\in\wp_{L}\mathcal{S}^{\ell}$. By the same token for any $\mathcal{X\!\subseteq\!T}$, $\mathcal{Y\subseteq T}^{\ell}$ and $\mathcal{Z}\in\wp_{L}\mathcal{T}^{\ell}$ we arrive at s$\left(\mathcal{X}^{\bullet}\right)\subseteq\mathcal{S}$, s$\left(\mathcal{Y}^{\bullet}\right)\subseteq\mathcal{S}^{\ell}$ and s$\left(\mathcal{Z}^{\bullet}\right)\in\wp_{L}\mathcal{S}^{\ell}$.

Definition 4

A collection of double sets $\mathcal{V}=\left\{S_{1},\cdots,S_{p}\right\}\subset$ $\mathcal{S}$ is called a sunflower with $p$ (different) petals $S_{1},\cdots,S_{p}$ if $S_{1}\Cap S_{2}=S_{i}\Cap S_{j}$ holds for all $i<j\in\left[p\right]$. Then $S_{\copyright}=\underset{j=1}{\overset{p}{\bigcap\!\!\!\!\!\bigcap}}S_{j}=S_{1}\Cap S_{2}$ is called the core of $\mathcal{V}$.

Lemma 5

Any $\mathcal{U}\subseteq\mathcal{S}^{\ell}$ such that $\left|\mathcal{U}\right|>L$ contains a sunflower $\mathcal{V}\subset$ $\mathcal{U}$ with $p$ petals $S_{1},\cdots,S_{p}$ and core $S_{\copyright}\in\mathcal{S}^{\ell}$.

Proof. Regard $\left\langle A,B\right\rangle\in\mathcal{S}^{\ell}$ as disjoint sums $A\uplus B\subseteq\left[2\ell\right]$. By the original Erdős-Rado lemma [10], there is a required sunflower $\mathcal{V}\subset$ $\mathcal{U}$, provided that $\left|\mathcal{U}\right|>L^{\prime}:=\left(p-1\right)^{2\ell}\left(2\ell\right)!$. But $L=\left(p-1\right)^{3\ell}\ell!>L^{\prime}$ as by the assumption we have $p-1\geq 2\ell$.   

Definition 6 (plucking)

Double plucking algorithm

$$\wp\mathcal{D}^{\ell}\ni\mathcal{Y}\mapsto\mathrm{PL}_{2}\left(\mathcal{Y}\right)\in\wp_{L}\mathcal{D}^{\ell}$$

is defined by recursion on $\left|\text{{s}}\left(\mathcal{Y}\right)\right|$. If $\left|\text{{s}}\left(\mathcal{Y}\right)\right|\leq L$, let $\mathrm{PL}_{2}\left(\mathcal{Y}\right):=\mathcal{Y}$. Otherwise, let $\mathcal{Y}_{0}:=\mathcal{Y}$, thus $\left|\text{{s}}\left(\mathcal{Y}_{0}\right)\right|>L$. By the double Erdős-Rado lemma we choose a sunflower of cardinality $p$, $\mathcal{V}=\left\{S_{1},\cdots,S_{p}\right\}\subseteq\,$s$\left(\mathcal{Y}_{0}\right)$ with petals $S_{1},\cdots,S_{p}$ and core $S_{\copyright}=\underset{j=1}{\overset{p}{\bigcap\!\!\!\!\!\bigcap}}S_{j}=\left\langle S_{\copyright}^{+},S_{\copyright}^{-}\right\rangle\in\mathcal{S}^{\ell}$. Furthermore let
$\mathcal{Y}_{0}^{\prime}:=\left\{D\in\mathcal{Y}_{0}:\left(\exists j\in\left[p\right]\right)\text{{s}}\left(D\right)=S_{j}\right\}$ and
$D_{\copyright}=\left\langle D_{\copyright}^{+},D_{\copyright}^{-}\right\rangle:=\left\langle\bigcap\left\{D^{+}\!:D\in\mathcal{Y}_{0}^{\prime}\right\},\bigcap\left\{D^{-}\!:D\in\mathcal{Y}_{0}^{\prime}\right\}\right\rangle\in\mathcal{D}^{\ell}$; thus
 s$\left(D_{\copyright}\right)^{+}\subseteq S_{\copyright}^{+}$ and s$\left(D_{\copyright}\right)^{-}\!\subseteq S_{\copyright}^{-}$. Rewrite $\mathcal{Y}_{0}$ to $\mathcal{Y}_{1}$ that arises by replacing every $D\in\mathcal{Y}_{0}^{\prime}$ by $D_{\copyright}:=\left\langle D_{\copyright}^{+},D_{\copyright}^{-}\right\rangle$. Note that $\left|\text{{s}}\left(\mathcal{Y}_{1}\right)\right|\leq\left|\text{{s}}\left(\mathcal{Y}_{0}\right)\right|-p+1.$ Now if $\left|\text{{s}}\left(\mathcal{Y}_{1}\right)\right|\leq L$, let $\mathrm{PL}_{2}\left(\mathcal{Y}\right):=\mathcal{Y}_{1}$. Otherwise, if $\left|\text{{s}}\left(\mathcal{Y}_{1}\right)\right|>L$, then we analogously pass from $\mathcal{Y}_{1}\subseteq\mathcal{D}^{\ell}$ to $\mathcal{Y}_{2}\subseteq\mathcal{D}^{\ell}$. Proceeding this way we eventually arrive at $\mathcal{Y}_{q}\subseteq\mathcal{D}^{\ell}$ with $\left|\text{{s}}\left(\mathcal{Y}_{q}\right)\right|\leq L$ and then let $\mathrm{PL}_{2}\left(\mathcal{Y}\right):=\mathcal{Y}_{q}$.

Twice double plucking algorithm

$$\wp\mathcal{T}^{\ell}\ni\mathcal{Z}\mapsto\mathrm{PL}_{2}\left(\mathcal{Z}\right)\in\wp_{L}\mathcal{T}^{\ell}$$

is determined by $\mathrm{PL}_{2}\left(\mathcal{Z}\right):=\widehat{\mathrm{PL}_{2}\left(\mathcal{Z}^{\bullet}\right)}$. Note that $\mathrm{PL}_{2}\left(\mathcal{Z}\right)^{\bullet}=\mathrm{PL}_{2}\left(\mathcal{Z}^{\bullet}\right)\in\wp_{L}\mathcal{D}^{\ell}$.

Lemma 7

For any given $\mathcal{Y}\in\wp\mathcal{D}^{\ell}$, $\mathrm{PL}{}_{2}\left(\mathcal{Y}\right)\in\wp_{L}\mathcal{D}^{\ell}$ requires less than $\left|\text{{s}}\left(\mathcal{Y}\right)\right|$ elementary pluckings. That is, if $\mathrm{PL}_{2}\left(\mathcal{Y}\right):=\mathcal{Y}_{q}$ as above, then $q<\left|\text{{s}}\left(\mathcal{Y}\right)\right|$. The same estimation also holds for $\mathcal{Z}\in\wp\mathcal{T}^{\ell}$ and $\mathrm{PL}_{2}\left(\mathcal{Z}\right)\in\wp_{L}\mathcal{T}^{\ell}$.

Proof. Each elementary plucking reduces the number of sets at least by $p-1$. Hence $q<\left|\text{{s}}\left(\mathcal{Z}\right)\right|\left(p-1\right)^{-1}$ $<\left|\text{{s}}\left(\mathcal{Z}\right)\right|$.   

Definition 8

For any $\mathcal{X,Y}\in\wp\mathcal{D}^{\ell}$ or $\mathcal{X,Y}\in\wp\mathcal{T}^{\ell}$ we’ll call the following operations $\sqcup$, $\sqcap$ and sets $\mathcal{X\sqcup Y}$, $\mathcal{X\sqcap Y}$ the approximators and approximations of operations $\cup$, $\odot$ and sets $\mathcal{X\cup Y}$, $\mathcal{X\odot Y}$, respectively, which determine double or twice double deviations $\partial_{\sqcup}^{\text{{p}}},\partial_{\sqcup}^{\text{{n}}},\partial_{\sqcap}^{\text{{p}}},\partial_{\sqcap}^{\text{{n}}}$ with respect to the accepted tests.

1. $\mathcal{X\sqcup Y}:=\mathrm{PL}_{2}\left(\mathcal{X\cup Y}\right)\in\wp_{L}\mathcal{D}^{\ell}$ (resp. $\wp_{L}\mathcal{T}^{\ell}$).

2. $\mathcal{X\sqcap Y}:=\mathrm{PL}_{2}\left(\mathcal{X\odot^{\ell}Y}\right)\in\wp_{L}\mathcal{D}^{\ell}$ (resp. $\wp_{L}\mathcal{T}^{\ell}$).

3. $\partial_{\sqcup}^{\text{{p}}}\left(\mathcal{X,Y}\right):=\mathrm{AC}^{\text{{p}}}\!\left(\mathcal{X\cup Y}\right)\setminus\mathrm{AC}^{\text{{p}}}\!\left(\mathcal{X\sqcup Y}\right)\subseteq\mathrm{POS}_{2}.$

4. $\partial_{\sqcap}^{\text{{p}}}\left(\mathcal{X,Y}\right):=\mathrm{AC}^{\text{{p}}}\!\left(\mathcal{X\odot Y}\right)\setminus\mathrm{AC}^{\text{{p}}}\!\left(\mathcal{X\sqcap Y}\right)\subseteq\mathrm{POS}_{2}.$

5. $\partial_{\sqcup}^{\text{{n}}}\left(\mathcal{X,Y}\right):=\mathrm{AC}^{\text{{n}}}\!\left(\mathcal{X\sqcup Y}\right)\setminus\mathrm{AC}^{\text{{n}}}\!\left(\mathcal{X\cup Y}\right)\subseteq\mathrm{NEG}_{2}.$

6. $\partial_{\sqcap}^{\text{{n}}}\left(\mathcal{X,Y}\right):=\mathrm{AC}^{\text{{n}}}\!\left(\mathcal{X\sqcap Y}\right)\setminus\mathrm{AC}^{\text{{n}}}\!\!\left(\mathcal{X\odot Y}\right)\subseteq\mathrm{NEG}_{2}.$

For any $\mathcal{U}\subseteq\mathrm{NEG}_{2}$ we let $\left|\mathcal{U}\right|^{\ast}:=\left|\left\{\left\langle f,g\right\rangle\in\mathcal{F}_{2}:C_{\left\langle f,g\right\rangle}\in\mathcal{U}\right\}\right|$ (: functional cardinality of $\mathcal{U}$). In particular $\left|\mathrm{NEG}_{2}\right|^{\ast}=\mathcal{F}_{2}$. In the sequel we use functional cardinality as our basic measure of the number of negative double tests involved.

Upper bounds

Below we assume that $m$ is sufficiently large and $k=\ell^{2}$.

Lemma 9

For any $D\in\mathcal{D}^{\ell}$ let $\mathcal{R}_{\subseteq}\left(D\right):=\left\{\left\langle f,g\right\rangle\in\mathcal{F}_{2}:D\subseteq^{\pm}C_{\left\langle f,g\right\rangle}\right\}$ and $\mathcal{R}_{\nsubseteq}\left(D\right):=\left\{\left\langle f,g\right\rangle\in\mathcal{F}_{2}:D\nsubseteq^{\pm}C_{\left\langle f,g\right\rangle}\right\}=\mathcal{F}_{2}\setminus\mathcal{R}_{\subseteq}\left(D\right)$. Then
$\left|\mathcal{R}_{\subseteq}\left(D\right)\right|\geq\dfrac{1}{4^{1+\ell}}\left|\mathcal{F}_{2}\right|$ and $\left|\mathcal{R}_{\nsubseteq}\left(D\right)\right|\leq\dfrac{4^{1+\ell}-1}{4^{1+\ell}}\left|\mathcal{F}_{2}\right|$. Let $r:=\dfrac{4^{1+\ell}}{4^{1+\ell}\!-\!1}>1$, so $\left|\mathcal{R}_{\nsubseteq}\left(D\right)\right|\leq r^{-1}\left|\mathcal{F}_{2}\right|$. Now if $D_{1},\cdots,D_{q}\in\mathcal{D}^{\ell}$ and $\left(\forall i\neq j\in\left[q\right]\right)D_{i}\Cap D_{j}=\emptyset$, then $\left|\overset{q}{\underset{i=1}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(D_{i}\right)\right|\leq r^{-q}\left|\mathcal{F}_{2}\right|$.

Proof. For any $A\subseteq\left[m\right]$, $G\in\mathcal{G}^{\ell}$ let

$\mathcal{R}_{\subseteq}\left(A,G\right):=\left\{f\in\mathcal{F}:\mathrm{Dom}^{\circ}\!\left(f\right)=A\,\,\&\,G\subseteq C_{f}\right\}$.

This yields by standard monotone arguments

$\left|\mathcal{R}_{\subseteq}\left(A,G\right)\right|\geq\frac{1}{2}\left(k-1\right)^{\left|A\right|}$ , provided that $A\supseteq\,$v $\left(G\right)$ (cf. e.g. Appendix A).

Now for any $A\subseteq\left[m\right]$ and $D\in\mathcal{D}^{\ell}$ let $\overline{A}:=\left[m\right]\setminus A$ and

$\mathcal{R}_{\subseteq}\left(A,D\right):=\left\{\left\langle f,g\right\rangle\in\mathcal{F}_{2}:\mathrm{Dom}^{\circ}\!\left(f\right)=A\,\&\,\mathrm{Dom}^{\circ}\!\left(g\right)=\overline{A}\,\&\,\,D\subseteq^{\pm}C_{\left\langle f,g\right\rangle}\right\}$

$=\left\{\left\langle f,g\right\rangle\in\mathcal{F}_{2}:\mathrm{Dom}^{\circ}\!\left(f\right)=A\,\&\left\langle f,g\right\rangle\in\mathcal{R}_{\subseteq}\left(A,D^{+}\right)\times\mathcal{R}_{\subseteq}\left(\overline{A},D^{-}\right)\right\}$. Then

$$\mathcal{R}_{\subseteq}\left(D\right) = \underset{A\subseteq\left[m\right]}{\bigcup}\mathcal{R}_{\subseteq}\left(A,D\right)$$

$$= \underset{A\supseteq\text{{v}}\left(D^{+}\right),\overline{A}\supseteq\text{{v}}\left(D^{-}\right)}{\bigcup}\mathcal{R}_{\subseteq}\left(A,D\right)$$

$$= \underset{A\supseteq\text{{v}}\left(D^{+}\right),\overline{A}\supseteq\text{{v}}\left(D^{-}\right)}{\bigcup}\mathcal{R}_{\subseteq}\left(A,D^{+}\right)\times\mathcal{R}_{\subseteq}\left(\overline{A},D^{-}\right),$$

which yields

$$\qquad\left|\mathcal{R}_{\subseteq}\left(D\right)\right| = \underset{A\supseteq\text{{v}}\left(D^{+}\right),\overline{A}\supseteq\text{{v}}\left(D^{-}\right)}{\sum}\left|\mathcal{R}_{\subseteq}\left(A,D^{+}\right)\right|\times\left|\mathcal{R}_{\subseteq}\left(\overline{A},D^{-}\right)\right|\qquad\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt\qquad$$

$$\geq \frac{1}{4}\underset{A\supseteq\text{{v}}\left(D^{+}\right),\overline{A}\supseteq\text{{v}}\left(D^{-}\right)}{\sum}\left(k-1\right)^{\left|A\right|}\times\left(k-1\right)^{m-\left|A\right|}\qquad\qquad\qquad\vskip 3.0pt plus 1.0pt minus 1.0pt$$

$$\geq \frac{1}{4}\left(k-1\right)^{m}\overset{m-2\ell}{\underset{i=0}{\sum}}\binom{m-2\ell}{i}\qquad\qquad\qquad\qquad\qquad\qquad\quad\qquad\quad\quad$$

$$= \frac{1}{4}\left(k-1\right)^{m}2^{m-2\ell}=\dfrac{1}{4^{1+\ell}}\left|\mathcal{F}_{2}\right|\qquad\qquad\qquad\qquad\qquad\qquad\qquad\quad\$$

and hence

$$\left|\mathcal{R}_{\nsubseteq}\left(D\right)\right|\leq\left|\mathcal{F}_{2}\right|-\left|\mathcal{R}_{\subseteq}\left(D\right)\right|\leq\dfrac{4^{1+\ell}-1}{4^{1+\ell}}\left|\mathcal{F}_{2}\right|=r^{-1}\left|\mathcal{F}_{2}\right|\text{.}$$

To establish the last assertion it will suffice to observe that for any $j\in\left[q-1\right]$,

$$\mathbb{P}\left[\overset{q}{\underset{i=j}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(D_{i}\right)\right]=\mathbb{P}\left[\mathcal{R}_{\nsubseteq}\left(D_{j}\right)\right]\cdot\mathbb{P}\left[\overset{q}{\underset{i=j+1}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(D_{i}\right)\right]$$

where for any $\mathcal{X}\subseteq\mathcal{F}_{2}$ we set $\mathbb{P}\left[\mathcal{X}\right]:=\left|\mathcal{X}\right|\left|\mathcal{F}_{2}\right|^{-1}$ (the probability). The latter holds by standard arguments as $\mathcal{R}_{\nsubseteq}\left(D_{1}\right),\cdots,\mathcal{R}_{\nsubseteq}\left(D_{q}\right)$ are independent events in the space $\mathcal{F}_{2}$ (see also Appendix A).   

Lemma 10

Let $\mathcal{Z}=\mathcal{X\cup Y}\in\wp\,\mathcal{D}^{\ell}$, $\mathrm{PL}_{2}\left(\mathcal{Z}\right)\in\wp_{L}\mathcal{D}^{\ell}$ for $\mathcal{X,Y}\in\wp_{L}\mathcal{D}^{\ell}$. Thus $\left|\text{{s}}\left(\mathcal{Z}\right)\right|\leq 2L$ and $\left|\text{{s}}\left(\mathrm{PL}_{2}\left(\mathcal{Z}\right)\right)\right|\leq L$. Then $\mathrm{PL}_{2}\left(\mathcal{Z}\right)$ requires $<2L$ elementary pluckings. Moreover $\partial_{\sqcup}^{\text{{p}}}\left(\mathcal{X,Y}\right)=0$ while $\framebox{$\left|\partial_{\sqcup}^{\text{{n}}}\left(\mathcal{X,Y}\right)\right|^{\ast}<2Lr^{-p}\left|\mathcal{F}_{2}\right|$}$. The same estimation also holds for $\mathcal{Z}\in\wp\mathcal{T}^{\ell}$ and $\mathrm{PL}_{2}\left(\mathcal{Z}\right)\in\wp_{L}\mathcal{T}^{\ell}$, respectively.

Proof. We argue as in the analogous monotone case using Lemmata 7, 9. Let $\mathcal{V}=\left\{S_{1},\cdots,S_{p}\right\}$ $\subseteq\,$s$\left(\left(\mathcal{X\cup Y}\right)_{i}\right)$ be the sunflower with petals $S_{1},\cdots,S_{p}$ and core $S_{\copyright}=\underset{j=1}{\overset{p}{\bigcap\!\!\!\!\!\bigcap}}S_{j}$ that arises at $i^{th}$ elementary plucking ($i>0$) and let $D_{\copyright}^{+},D_{\copyright}^{-}\in\mathcal{G}^{\ell}$ be the corresponding plain graphs. Consider $\mathrm{PL}_{2}\left(\mathcal{Z}\right)$ and corresponding $\partial_{\sqcup}^{\text{{p}}}\left(\mathcal{X,Y}\right)$ and $\partial_{\sqcup}^{\text{{n}}}\left(\mathcal{X,Y}\right)$. $\partial_{\sqcup}^{\text{{p}}}\left(\mathcal{X,Y}\right)=\emptyset$ is clear as elementary pluckings replace some plain graphs by subgraphs and thereby preserve the accepted positive double tests. Now consider $\partial_{\sqcup}^{\text{{n}}}\left(\mathcal{X,Y}\right)$. Let us estimate the total number of fake negative double tests that arise after rewriting $\mathcal{Z}_{i-1}\hookrightarrow\mathcal{Z}_{i}$ involved. Suppose $\mathcal{Z}_{i}$ is obtained by substituting $D_{\copyright}=\left\langle D_{\copyright}^{+},D_{\copyright}^{-}\right\rangle=\left\langle\bigcap\left\{D^{+}:D\in\mathcal{Z}_{0}^{\prime}\right\},\bigcap\left\{D^{-}:D\in\mathcal{Z}_{0}^{\prime}\right\}\right\rangle$ for every $D\in\mathcal{Z}_{i-1}^{\prime}$, where $\mathcal{Z}_{i-1}^{\prime}=\newline \left\{D\in\mathcal{X}_{i-1}:\left(\exists j\in\left[p\right]\right)\text{{s}}\left(D\right)=S_{j}\right\}$ (cf. Definition 6). Let $\left|\mathcal{Z}_{i-1}^{\prime}\right|=p^{\prime}\geq p$ and $\mathcal{Z}_{i-1}^{\prime}=\left\{D_{1},\cdots,D_{p^{\prime}}\right\}$. Now let $C_{\left\langle f,g\right\rangle}=\left\langle C_{f},C_{g}\right\rangle\in\mathrm{NEG}_{2}$ be any fake negative double test created by this substitution. That is, $D_{\copyright}\subseteq^{\pm}C_{\left\langle f,g\right\rangle}$ and hence $D_{\copyright}^{+}\subseteq C_{f}$ and $D_{\copyright}^{-}\subseteq C_{g}$, although for every $t\in\left[p^{\prime}\right]$, we have $D_{t}\nsubseteq^{\pm}C_{\left\langle f,g\right\rangle}$. Let $D_{t}^{\prime}:=\left\langle D_{t}^{+}\setminus D_{\copyright}^{+},D_{t}^{-}\setminus D_{\copyright}^{-}\right\rangle\in\mathcal{D}^{\ell}$ and note that for any $s\neq t\in\left[p^{\prime}\right]$ we have $D_{s}^{\prime}\Cap D_{t}^{\prime}=\emptyset\neq D_{t}$, while $S_{\copyright}=\,$s$\left(D_{\copyright}\right)$ contains the only common nodes of $D_{t}$ and $D_{t}$. Furthermore by Lemma 9 we know that $\mathbb{P}\left[\mathcal{R}_{\nsubseteq}\left(D_{t}^{\prime}\right)\right]\leq\mathbb{P}\left[\mathcal{R}_{\nsubseteq}\left(D_{t}\right)\right]\leq r^{-1}$ holds for every $t\in\left[p^{\prime}\right]$. Summing up, by Lemma 9 we obtain

$$\mathbb{P}\left[\underset{t=1}{\overset{p^{\prime}}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(D_{t}\right)\cap\mathcal{R}_{\subseteq}\left(D_{\copyright}\right)\right] = \mathbb{P}\left[\underset{t=1}{\overset{p^{\prime}}{\bigcap}}\left(\mathcal{R}_{\nsubseteq}\left(D_{t}\right)\cap\mathcal{R}_{\subseteq}\left(D_{\copyright}\right)\right)\right]$$

$$\leq \mathbb{P}\left[\underset{t=1}{\overset{p^{\prime}}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(D_{t}^{\prime}\right)\right]\leq r^{-p^{\prime}}$$

$$\leq r^{-p}.$$

Hence with regard to functional cardinality there are less than

$$\left|\underset{t=1}{\overset{p^{\prime}}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(D_{t}\right)\cap\mathcal{R}_{\subseteq}\left(D_{\copyright}\right)\right|=\mathbb{P}\left[\underset{t=1}{\overset{p^{\prime}}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(D_{t}\right)\cap\mathcal{R}_{\subseteq}\left(D_{\copyright}\right)\right]\left|\mathcal{F}_{2}\right|\leq r^{-p}\left|\mathcal{F}_{2}\right|$$

fake negative double tests $C_{\left\langle f,g\right\rangle}$ created by the replacement $\mathcal{X}_{i-1}\hookrightarrow\mathcal{X}_{i\text{ }}$. Recall that by Lemma 7 there are $q<2L$ elementary pluckings involved. This yields

$$\partial_{\sqcup}^{\text{{n}}}\left(\mathcal{X,Y}\right)\subseteq\overset{q-1}{\underset{i=0}{\bigcup}}\partial_{\sqcup}^{\text{{n}}}\left(\mathcal{X,Y}\right)_{i}\text{ for }\partial_{\sqcup}^{\text{{n}}}\left(\mathcal{X,Y}\right)_{i}:=\mathrm{AC}^{\text{{n}}}\!\left(\mathcal{X\cup Y}\right)_{i+1}\setminus\mathrm{AC}^{\text{{n}}}\!\left(\mathcal{X\cup Y}\right)_{i}.$$

Hence $\left|\partial_{\sqcup}^{\text{{n}}}\left(\mathcal{X,Y}\right)\right|^{\ast}\leq\overset{q-1}{\underset{i=0}{\sum}}\left|\partial_{\sqcup}^{\text{{n}}}\left(\mathcal{X,Y}\right)_{i}\right|^{\ast}<qr^{-p}\left|\mathcal{F}_{2}\right|<2Lr^{-p}\left|\mathcal{F}_{2}\right|$.   

Lemma 11

Let $\mathcal{X,Y}\in\wp_{L}\mathcal{D}^{\ell}$, $\mathcal{X\mathcal{\odot}^{\ell}Y}\in\wp\,\mathcal{D}^{\ell}$ and $\mathcal{Z}=\mathrm{PL}_{2}\left(\mathcal{X\odot}^{\ell}\mathcal{Y}\right)\in\wp_{L}\mathcal{D}^{\ell}$. So $\left|\text{{s}}\left(\mathcal{Z}\right)\right|\leq L$ and $\left|\text{{s}}\left(\mathcal{X\mathcal{\odot}Y}\right)\right|\leq L^{2}.$ Then $\framebox{$\left|\partial_{\sqcap}^{\text{{p}}}\left(\mathcal{X,Y}\right)\right|<L^{2}\left(\QATOP{m-\ell-1}{k-\ell-1}\right)\left(\QATOP{m-k}{k}\right)$}$ and $\framebox{$\left|\partial_{\sqcap}^{\text{{n}}}\left(\mathcal{X,Y}\right)\right|^{\ast}<L^{2}r^{-p}\left|\mathcal{F}_{2}\right|$}$. The same estimation also holds for $\mathcal{X,Y}\in\wp_{L}\mathcal{T}^{\ell}$ and $\mathrm{PL}_{2}\left(\mathcal{Z}\right)\in\wp_{L}\mathcal{T}^{\ell}$, respectively.

Proof. $\left|\partial_{\sqcap}^{\text{{n}}}\left(\mathcal{X,Y}\right)\right|\!^{\ast}<L^{2}r^{-p}\left|\mathcal{F}_{2}\right|$ is analogous to the inequality for $\partial_{\sqcup}^{\text{{n}}}\left(\mathcal{X,Y}\right)$. Consider $\partial_{\sqcap}^{\text{{p}}}\left(\mathcal{X,Y}\right)$. We adapt standard arguments used in the “monotone” proofs (cf. e.g. [3], [8]). It is readily seen that deviations can only arise by deleting a $D\Cup E\notin\mathcal{D}^{\ell}$ for some $D,E\in\mathcal{D}^{\ell}$ when passing from $\mathcal{X\odot Y}$ to $\mathcal{X\odot}^{\ell}\mathcal{Y}$ (note that $\mathcal{X\odot Y}$ can completely disappear, in which case $\mathrm{PL}_{2}\left(\mathcal{X\odot}^{\ell}\mathcal{Y}\right)=\mathcal{X\odot}^{\ell}\mathcal{Y=\emptyset}$). So suppose $H\in\left(\mathcal{X\mathcal{\odot}Y}\right)\setminus\mathcal{D}^{\ell}$ and hence $H^{\flat}\in\left(\mathcal{X\mathcal{\odot}Y}\right)^{\flat}\setminus\mathcal{G}^{\ell}$ for some $\flat\in\left\{+,-\right\}$. Thus $\ell<\left|\text{{v}}\left(H^{\flat}\right)\right|\leq 2\ell$, while $\left|\text{{v}}\left(H^{\natural}\right)\right|\leq 2\ell$ for $\flat\neq\natural\in\left\{+,-\right\}$. Moreover v$\left(H^{\flat}\right)\cap\,$v$\left(H^{\natural}\right)=\emptyset$. Let us estimate $\left|\mathcal{K}_{H}\right|$ for $\mathcal{K}_{H}:=\left\{\left\langle K^{\flat},K^{\natural}\right\rangle\in\mathrm{POS}_{2}:H^{\flat}\subseteq K^{\flat}\&H^{\natural}\subseteq K^{\natural}\right\}$. Note that $\ell<\left|\text{{v}}\left(H^{\flat}\right)\right|$ and $K^{\flat}\cap K^{\natural}=\emptyset$ implies that $\mathcal{K}_{H}$ contains at most $\left(\QATOP{m-\ell-1}{k-\ell-1}\right)$ cliques $K^{\flat}$ and $\left(\QATOP{m-k}{k}\right)$ cliques $K^{\natural}$, respectively. Thus $\left|\mathcal{K}_{H}\right|\leq\left(\QATOP{m-\ell-1}{k-\ell-1}\right)\left(\QATOP{m-k}{k}\right).$ Now

$$\partial_{\sqcap}^{\text{{p}}}\left(\mathcal{X,Y}\right)\subseteq\bigcup\left\{\mathcal{K}_{H}:H\in\mathcal{\left(\mathcal{X\mathcal{\odot}Y}\right)\setminus\mathcal{G}^{\ell}}\right\}\subseteq\bigcup\left\{\mathcal{K}_{H}:H\in\mathcal{\mathcal{X\mathcal{\odot}Y}}\right\}$$

which by $\left|\text{{s}}\left(\mathcal{X\mathcal{\odot}Y}\right)\right|\leq L^{2}$ and Lemma 7 yields the result.   

3.3 Formalism

To formalize previous considerations we use basic DeMorgan logic with atomic negation (called DMN logic) over $\left(\QATOP{m}{2}\right)$ distinct variables. For any DMN formula $\varphi$ we define its double graph representation $\mathrm{DN}\left(\varphi\right)$ with approximation $\mathrm{AP}\left(\varphi\right)$ augmented with corresponding total deviations $\partial^{\text{{p}}}\left(\varphi\right)\subseteq\mathrm{POS}_{2}$ and $\partial^{\text{{n}}}\left(\varphi\right)\subseteq\mathrm{NEG}_{2}$. Using previous estimates on $\partial_{\sqcup}^{\text{{p}}},\partial_{\sqcup}^{\text{{n}}},\partial_{\sqcap}^{\text{{p}}},\partial_{\sqcap}^{\text{{n}}}$ we show that the assumptions $\mathrm{POS}_{2}=\mathrm{AC}^{\text{{p}}}\left(\mathrm{DN}\left(\varphi\right)\right)$ and $\mathrm{AC}^{\text{{n}}}\left(\mathrm{DN}\left(\varphi\right)\right)=\emptyset$ infer exponential circuit size of $\varphi$ (cf. Theorem 14 below).

3.3.1 Syntax

In the sequel we let $n:=\left(\QATOP{m}{2}\right)=\frac{1}{2}m\left(m-1\right)$ and $\pi:\left[n\right]\overset{1-1}{\longrightarrow}\left[m\right]^{\left(2\right)}$.

• Let $\mathcal{A}$ denote Boolean algebra with constants $\top,\bot$, binary operations $\vee,\wedge$, atomic unary operations $\lnot$, $\Box$, $\boxtimes$ and variables $v_{1},\cdots,v_{n}$.

• Formulas of $\mathcal{A}$ (abbr.: $\varphi,\sigma,\tau$) are built up from literals $\top,\,\bot,\,v_{i},\,\lnot v_{i},\,\Box v_{i},\newline \boxtimes\!v_{i}$ $\left(i=1,\cdots,n\right)$ by positive operations $\vee$ and $\wedge$. For brevity we also stipulate $\top\vee\varphi=\varphi\vee\top:=\top$, $\bot\wedge\varphi=\varphi\wedge\bot:=\bot$ and $\top\wedge\varphi=\varphi\wedge\top=\bot\vee\varphi=\bot\vee\varphi=\varphi\vee\bot:=\varphi$. Let $\mathrm{cs}\left(\varphi\right)$ denote structural complexity (= circuit size) of $\varphi$.

• We define by recursion on $\mathrm{cs}\left(\varphi\right)$ two assignments

  $$\mathcal{A}\ni\varphi\hookrightarrow\mathrm{DN}\left(\varphi\right)\in\left\{\top\right\}\cup\wp\mathcal{T}\text{\ and }\mathcal{A}\ni\varphi\hookrightarrow\mathrm{AP}\left(\varphi\right)\in\left\{\top\right\}\cup\wp_{L}\mathcal{T}^{\ell}$$

  that represent DNFs and corresponding approximations of $\tau$, respectively.

  1. $\mathrm{DN}\left(\top\right)=\mathrm{AP}\left(\top\right):=\top,\ \mathrm{DN}\left(\bot\right)=\mathrm{AP}\left(\bot\right):=\emptyset.$

  2. $\mathrm{DN}\left(v_{i}\right)=\mathrm{AP}\left(v_{i}\right):=\left\{\left\langle\left\{\pi\left(i\right)\right\},\emptyset\right\rangle,\emptyset\right\},$

     $\mathrm{DN}\left(\lnot v_{i}\right)=\mathrm{AP}\left(\lnot v_{i}\right):=\!\left\{\left\langle\emptyset,\left\{\pi\left(i\right)\right\}\right\rangle,\emptyset\right\},$

     $\mathrm{DN}\left(\Box v_{i}\right)=\mathrm{AP}\left(\Box v_{i}\right):=\!\left\{\emptyset,\left\langle\left\{\pi\left(i\right)\right\},\emptyset\right\rangle\right\},$

     $\mathrm{DN}\left(\boxtimes v_{i}\right)=\mathrm{AP}\left(\boxtimes v_{i}\right):=\!\left\{\emptyset,\left\langle\emptyset,\left\{\pi\left(i\right)\right\}\right\rangle\right\}.$

  3. $\mathrm{DN}\left(\sigma\vee\tau\right):=\mathrm{DN}\left(\sigma\right)\cup\mathrm{DN}\left(\tau\right),\ \mathrm{AP}\left(\sigma\vee\tau\right):=\mathrm{AP}\left(\sigma\right)\sqcup\mathrm{AP}\left(\tau\right).$

  4. $\mathrm{DN}\left(\sigma\wedge\tau\right):=\mathrm{DN}\left(\sigma\right)\odot\mathrm{DN}\left(\tau\right),\ \mathrm{AP}\left(\sigma\wedge\tau\right):=\mathrm{AP}\left(\sigma\right)\sqcap\mathrm{AP}\left(\tau\right).$

• For any $\varphi\in\mathcal{A}$, total deviations $\partial^{\text{{p}}}\left(\varphi\right)$ and $\partial^{\text{{n}}}\left(\varphi\right)$ are defined as follows, where we let $\mathrm{AC}^{\text{{p}}}\left(\top\right):=\mathrm{POS}_{2}$ and $\mathrm{AC}^{\text{{n}}}\left(\top\right):=\mathrm{NEG}_{2}$ and abbreviate $\mathrm{AC}^{\text{{p}}}\left(\mathrm{DN}\left(\varphi\right)\right)$ and $\mathrm{AC}^{\text{{n}}}\left(\mathrm{DN}\left(\varphi\right)\right)$ by $\mathrm{AC}^{\text{{p}}}\left(\varphi\right)$ and $\mathrm{AC}^{\text{{n}}}\left(\varphi\right)$, respectively.

  1. $\partial^{\text{{p}}}\left(\varphi\right):=\mathrm{AC}^{\text{{p}}}\left(\varphi\right)\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\varphi\right)\right).$

  2. $\partial^{\text{{n}}}\left(\varphi\right):=\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\varphi\right)\right)\setminus\mathrm{AC}^{\text{{n}}}\left(\varphi\right).$

Lemma 12

For any $\sigma,\tau\in\mathcal{A}$ the following holds.

1. $\partial^{\text{{p}}}\left(\sigma\vee\tau\right)\subseteq\partial^{\text{{p}}}\left(\sigma\right)\cup\partial^{\text{{p}}}\left(\tau\right)\cup\partial_{\sqcup}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AP}\left(\tau\right)\right).$

2. $\partial^{\text{{p}}}\left(\sigma\wedge\tau\right)\subseteq\partial^{\text{{p}}}\left(\sigma\right)\cup\partial^{\text{{p}}}\left(\tau\right)\cup\partial_{\sqcap}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AP}\left(\tau\right)\right).$

3. $\partial^{\text{{n}}}\left(\sigma\vee\tau\right)\subseteq\partial^{\text{{n}}}\left(\sigma\right)\cup\partial^{\text{{n}}}\left(\tau\right)\cup\partial_{\sqcup}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AP}\left(\tau\right)\right).$

4. $\partial^{\text{{n}}}\left(\sigma\wedge\tau\right)\subseteq\partial^{\text{{n}}}\left(\sigma\right)\cup\partial^{\text{{n}}}\left(\tau\right)\cup\partial_{\sqcap}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AP}\left(\tau\right)\right).$

Proof. Straightforward via boolean inclusion $A\setminus B\subseteq\left(A\setminus C\right)\cup\left(C\setminus B\right)$ (cf. Appendix B).   

Lemma 13

For any $\varphi\in\mathcal{A}$ the following conditions hold.

1. $\left|\partial^{\text{{p}}}\left(\varphi\right)\right|<\mathrm{cs}\left(\varphi\right)\cdot L^{2}\left(\QATOP{m-\ell-1}{k-\ell-1}\right)\left(\QATOP{m-k}{k}\right).$

2. $\left|\partial^{\text{{n}}}\left(\varphi\right)\right|^{\ast}\leq\mathrm{cs}\left(\varphi\right)\cdot L^{2}r^{-p}\left|\mathcal{F}_{2}\right|$.

3. If $\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\varphi\right)\right)\neq\emptyset$ then $\left|\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\varphi\right)\right)\right|^{\ast}\geq\dfrac{1}{4^{1+\ell}}\left|\mathcal{F}_{2}\right|$.

Proof. 1–2 follows from Lemmata 10, 11 by induction on $\mathrm{cs}\left(\varphi\right)$.

3: $\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP\!}\left(\varphi\right)\right)\neq\!\emptyset$ implies $\mathrm{AP\!}\left(\varphi\right)\neq\!\emptyset$, so there is at least one $D\in\mathrm{AP\!}\left(\varphi\right)$, $\left\|\text{{v}}\left(D\right)\right\|\leq\ell$. Now by Lemma 9, $\left|\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\varphi\right)\right)\right|^{\ast}\geq\left|\mathcal{R}_{\subseteq}\left(D\right)\right|\geq\dfrac{1}{4^{1+\ell}}\left|\mathcal{F}_{2}\right|$, as $\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\varphi\right)\right)^{\ast}\supseteq\mathcal{R}_{\subseteq}\left(D\right)$   

• Final assumptions. Let

  $k=2\ell^{2}=m^{\frac{1}{15}},\ r=\dfrac{4^{1+\ell}}{4^{1+\ell}\!-\!1},\ p=\ell\log_{r}m,\ L=\left(p-1\right)^{3\ell}\ell!,\ m\gg 0.$

Theorem 14

Suppose that $\mathrm{POS}_{2}=\mathrm{AC}^{\text{{p}}}\left(\varphi\right)$ and $\mathrm{AC}^{\text{{n}}}\left(\varphi\right)=\emptyset$ both hold for a given $\varphi\in\mathcal{A}$. Then for sufficiently large $m$, $\mathrm{cs}\left(\varphi\right)>m^{\frac{1}{5}m^{\frac{1}{30}}}=k^{3\sqrt{k}}$.

Proof. Consider two cases (cf. Appendix C).

1: Assume $\mathrm{AC}^{\mathrm{p}}\left(\mathrm{AP}\left(\varphi\right)\right)=\emptyset$. By $\mathrm{POS}_{2}=\mathrm{AC}^{\text{{p}}}\left(\varphi\right)$ we have

$\partial^{\text{{p}}}\left(\varphi\right)=\mathrm{AC}^{\text{{p}}}\left(\varphi\right)\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\varphi\right)\right)=\mathrm{POS}_{2}$. Hence by Lemma 13 (1),

$\qquad\mathrm{cs}\left(\varphi\right)\cdot\left(\QATOP{m-\ell-1}{k-\ell-1}\right)\left(\QATOP{m-k}{k}\right)L^{2}\geq\left|\partial^{\text{{p}}}\left(\varphi\right)\right|=\left|\mathrm{POS}_{2}\right|=\left(\QATOP{m}{k}\right)\left(\QATOP{m-k}{k}\right).$

Hence $\mathrm{cs}\left(\varphi\right)\geq\left(\QATOP{m}{k}\right)\!\left(\QATOP{m-\ell-1}{k-\ell-1}\right)^{-1}\!L^{-2}>$ $\left(\frac{m-\ell}{k}\right)^{\ell}\!L^{-2}>m^{\frac{1}{5}m^{\frac{1}{30}}}$.

2: Otherwise, assume $\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\varphi\right)\right)\neq\emptyset$. So $\mathrm{AC}^{\text{{n}}}\left(\varphi\right)=\emptyset$ implies

$\partial^{\text{{n}}}\left(\varphi\right)=\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\varphi\right)\right)\setminus\mathrm{AC}^{\text{{n}}}\left(\varphi\right)\!=\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\varphi\right)\right)$. Hence

$\mathrm{cs}\left(\varphi\right)\cdot L^{2}r^{-p}\left|\mathcal{F}_{2}\right|\geq\left|\partial^{\text{{n}}}\left(\varphi\right)\right|^{\ast}\geq\dfrac{1}{4^{1+\ell}}\left|\mathcal{F}_{2}\right|$ by Lemma 13 (2, 3). So

$\mathrm{cs}\left(\varphi\right)\geq\dfrac{1}{4^{1+\ell}}r^{p}L^{-2}>m^{\frac{1}{5}m^{\frac{1}{30}}}$.   

In the sequel we show that the assumptions of Theorem 14 are fulfilled by any formula $\varphi\in\mathcal{A}$ that provides a solution of $\!\mathrm{CLIQ}_{2}$. To this end we supply $\mathcal{G}$ and $\mathcal{D}$ with 3-value semantics, as follows.

3.3.2 3-value semantics

Definition 15

Consider 3-value variable evaluations $\mathrm{VE}=$ $\left\{\varepsilon:\left[n\right]\rightarrow\left\{0,1,\Box\right\}\right\}$ where we set

$$\begin{array}[]{lll}\Box\wedge 0=0\wedge\Box=0,&\Box\wedge 1=1\wedge\Box=\Box&\Box\wedge\Box=\Box,\\ \Box\vee 0=0\vee\Box=0,&\Box\vee 1=1\vee\Box=1,&\Box\vee\Box=\Box.\end{array}$$

For any $v,v_{i},\varphi_{1},\cdots,\varphi_{s}\!\in\!\mathcal{A}$, $G\!\in\!\mathcal{G},D\!\in\!\mathcal{D},T\!\in\!\mathcal{T},\mathcal{X}\!\subseteq\!\mathcal{G},\mathcal{Y}\!\subseteq\!\mathcal{D},\mathcal{Z}\!\subseteq\!\mathcal{T},\varepsilon\in\mathrm{VE}$, formulas $\mathrm{F}\left(G\right)\!,\mathrm{F}\left(D\right)\!,\mathrm{F}\left(T\right)\!,\mathrm{F}\left(\mathcal{X}\right)\!,\mathrm{F}\left(\mathcal{Y}\right)\!,\mathrm{F}\left(\mathcal{Z}\right)\in\mathcal{A}$ and corresponding values $\left\|-\right\|_{\varepsilon}\in\left\{0,1,\Box\right\}$ are defined recursively as follows.

1. $\mathrm{F}\left(G\right):=\underset{\pi\left(i\right)\in G}{\bigwedge}v_{i},\ \mathrm{F}\left(D\right):=\mathrm{F}\left(D^{+}\right)\wedge\underset{\pi\left(j\right)\in D^{-}}{\bigwedge}\!\!\lnot v_{j},$

   $\mathrm{F}\left(T\right):=\mathrm{F}\left(T^{\bullet}\right)\wedge\underset{\pi\left(i\right)\in T^{\circ+}}{\bigwedge}\!\!\Box\,v_{i}\wedge\underset{\pi\left(j\right)\in T^{\circ-}}{\bigwedge}\!\!\boxtimes v_{j}.$

2. $\ \mathrm{F}\left(\mathcal{X}\right):=\underset{G\in\mathcal{X}}{\bigvee}\mathrm{F}\left(G\right),\ \mathrm{F}\left(\mathcal{Y}\right):=\underset{D\in\mathcal{Y}}{\bigvee}\mathrm{F}\left(D\right),\ \mathrm{F}\left(\mathcal{Z}\right):=\underset{T\in\mathcal{Z}}{\bigvee}\mathrm{F}\left(T\right).$

3. $\left\|\top\right\|_{\varepsilon}:=1,\ \left\|\bot\right\|_{\varepsilon}=\left\|\emptyset\right\|_{\varepsilon}:=0.$

4. $\left\|v_{i}\right\|_{\varepsilon}:=\varepsilon\left(i\right).$

5. $\left\|\lnot v_{i}\right\|_{\varepsilon}:=\left\{\begin{array}[]{lll}1-\varepsilon\left(i\right),&\!\!\text{if}&\!\!\varepsilon\left(i\right)\in\left\{0,1\right\},\\ \Box,&\!\!\text{else}.&\end{array}\right.$

6. $\left\|\Box v_{i}\right\|_{\varepsilon}:=\left\{\begin{array}[]{lll}1,&\!\!\text{if}&\!\!\varepsilon\left(i\right)=\Box,\\ 0,&\!\!\text{else}.&\end{array}\right.$

7. $\left\|\boxtimes v_{i}\right\|_{\varepsilon}:=\left\{\begin{array}[]{lll}0,&\!\!\text{if}&\!\!\varepsilon\left(i\right)=\Box,\\ 1,&\!\!\text{else}.&\end{array}\right.$

8. $\left\|\varphi_{1}\vee\cdots\vee\varphi_{s}\right\|_{\varepsilon}:=\left\|\varphi_{1}\right\|_{\varepsilon}\vee\cdots\vee\left\|\varphi_{s}\right\|_{\varepsilon}$.

9. $\left\|\varphi_{1}\wedge\cdots\wedge\varphi_{s}\right\|_{\varepsilon}:=\left\|\varphi_{1}\right\|_{\varepsilon}\wedge\cdots\wedge\left\|\varphi_{s}\right\|_{\varepsilon}$, if $\left(\nexists i,j\in\left[s\right]\right)\varphi_{i}=\lnot\varphi_{j}$ and

   $\left(\nexists i,j,k\in\left[s\right]\right)\left(\varphi_{i}=\Box v_{k}\,\&\,\varphi_{j}=\boxtimes v_{k}\right)$, otherwise $\left\|\varphi_{1}\wedge\cdots\wedge\varphi_{s}\right\|_{\varepsilon}:=0.$

10. $\left\|G\right\|_{\varepsilon}:=\left\|\mathrm{F}\left(G\right)\right\|_{\varepsilon},\ \left\|D\right\|_{\varepsilon}:=\left\|\mathrm{F}\left(D\right)\right\|_{\varepsilon},\ \left\|T\right\|_{\varepsilon}:=\left\|\mathrm{F}\left(T\right)\right\|_{\varepsilon}.$

11. $\ \left\|\mathcal{X}\right\|_{\varepsilon}:=\left\|\mathrm{F}\left(\mathcal{X}\right)\right\|_{\varepsilon},\ \left\|\mathcal{Y}\right\|_{\varepsilon}:=\left\|\mathrm{F}\left(\mathcal{Y}\right)\right\|_{\varepsilon},\ \left\|\mathcal{Z}\right\|_{\varepsilon}:=\left\|\mathrm{F}\left(\mathcal{Z}\right)\right\|_{\varepsilon}.$

Lemma 16

$\left\|\varphi\right\|_{\varepsilon}=1\Leftrightarrow\left\|\mathrm{DN}\left(\varphi\right)\right\|_{\varepsilon}=1$ holds for any $\varphi\in\mathcal{A}$ and $\varepsilon\in\mathrm{VE}$.

Proof. Consider induction step $\varphi=\sigma\wedge\tau$ where $\mathrm{DN}\left(\sigma\right),\mathrm{DN}\left(\tau\right)\neq\emptyset$. Now $\mathrm{DN}\left(\varphi\right)=\mathrm{DN}\left(\sigma\right)\odot\mathrm{DN}\left(\tau\right)=\!\left\{\left\langle D\!\Cup\!E,\emptyset\right\rangle\!\in\mathcal{T}:\left\langle D,E\right\rangle\!\in\!\mathrm{DN}\left(\sigma\right)^{\bullet}\!\!\times\!\mathrm{DN}\left(\tau\right)^{\bullet}\right\}$,

which yields
$\left\|\mathrm{DN}\left(\varphi\right)\right\|_{\varepsilon}=\bigvee\left\{\left\|D^{+}\cup\!E^{+}\right\|_{\varepsilon}\wedge\left\|D^{-}\cup E^{-}\right\|_{\varepsilon}:D\in\mathrm{DN}\left(\sigma\right)^{\bullet}\&\ E\in\mathrm{DN}\left(\tau\right)^{\bullet}\right\}$.

So by the induction hypothesis we get
$\begin{array}[]{l}\left\|\mathrm{DN}\left(\varphi\right)\right\|_{\varepsilon}=1\Leftrightarrow\left(\exists R\in\mathrm{DN}\left(\sigma\right)\right)\left(\exists T\in\mathrm{DN}\left(\tau\right)\right)\\ \qquad\qquad\qquad\qquad\left(\left\|R^{\bullet+}\cup T^{\bullet+}\right\|_{\varepsilon}\wedge\left\|R^{\bullet}{}^{-}\cup T^{\bullet-}\right\|_{\varepsilon}=1\right)\\ \Leftrightarrow\left(\exists R\in\mathrm{DN}\left(\sigma\right)\right)\left(\left\|R^{\bullet+}\right\|_{\varepsilon}\wedge\left\|R^{\bullet}{}^{-}\right\|_{\varepsilon}=1\right)\&\\ \quad\ \left(\exists T\in\mathrm{DN}\left(\tau\right)\right)\left(\left\|T^{\bullet+}\right\|_{\varepsilon}\wedge\left\|T^{\bullet}{}^{-}\right\|_{\varepsilon}=1\right)\\ \Leftrightarrow\vskip 3.0pt plus 1.0pt minus 1.0pt\left\|\mathrm{DN}\left(\sigma\right)\right\|_{\varepsilon}=1=\left\|\mathrm{DN}\left(\tau\right)\right\|_{\varepsilon}\\ \Leftrightarrow\left\|\sigma\right\|_{\varepsilon}=1=\left\|\tau\right\|_{\varepsilon}\\ \Leftrightarrow\vskip 3.0pt plus 1.0pt minus 1.0pt\left\|\varphi\right\|_{\varepsilon}=1,\end{array}$

which yields the result.

Basis of induction and case $\varphi=\sigma\vee\tau$ are trivial.   

Definition 17

For any $\varphi\in\mathcal{A}$ and $\mathcal{X,Y}\subseteq\mathcal{T}$ let

$\begin{array}[]{l}\mathcal{X}\sim\mathcal{Y}\leftrightharpoons\left(\forall\varepsilon\in\mathrm{VE}\right)\left\|\mathcal{X}\right\|_{\varepsilon}=\left\|\mathcal{Y}\right\|_{\varepsilon},\\ \mathcal{X}\approx\mathcal{Y}\leftrightharpoons\left(\forall\varepsilon\in\mathrm{VE}\right)\left(\left\|\mathcal{X}\right\|_{\varepsilon}=1\Leftrightarrow\left\|\mathcal{Y}\right\|_{\varepsilon}=1\right),\\ \varphi\sim\mathcal{X}\leftrightharpoons\mathrm{DN}\left(\varphi\right)\sim\mathcal{X},\ \varphi\approx\mathcal{X}\leftrightharpoons\mathrm{DN}\left(\varphi\right)\approx\mathcal{X}.\end{array}$

Obviously $\sim$ and $\approx$ are equivalences, $\sim$ being stronger than $\approx$. Moreover $\varphi\sim\mathrm{F}\left(\mathrm{DN}\left(\varphi\right)\right)$ and $\mathcal{X}\sim\mathrm{DN}\left(\mathrm{F}\left(\mathcal{X}\right)\right)$, and hence $\varphi\approx\mathrm{F}\left(\mathrm{DN}\left(\varphi\right)\right)$ and $\mathcal{X}\approx\mathrm{DN}\left(\mathrm{F}\left(\mathcal{X}\right)\right)$. For brevity we’ll sometimes identify $\mathrm{POS}_{2}\subseteq\mathcal{D}$ with $\widehat{\mathrm{POS}_{2}}\subseteq\mathcal{T}$ and $\mathrm{CLIQ}_{2}\subseteq\mathcal{D}$ with $\widehat{\mathrm{CLIQ}_{2}}\subseteq\mathcal{T}$.

Lemma 18

Suppose that $\varphi\!\in\!\mathcal{A}$ satisfies $\varphi\approx\mathrm{CLIQ}_{2}$. Then $\mathrm{POS}_{2}=\mathrm{AC}^{\text{{p}}}\left(\varphi\right)$ and $\mathrm{AC}^{\text{{n}}}\left(\varphi\right)=\emptyset$. Hence by Theorem 14, $\mathrm{cs}\left(\varphi\right)>m^{\frac{1}{5}m^{\frac{1}{30}}}$ holds for sufficiently large $m$.

Proof. By Lemmata 3, 16, $\varphi\approx\mathrm{CLIQ}_{2}$ implies $\mathrm{DN}\left(\varphi\right)\approx\mathrm{CLIQ}_{2}$ and also $\mathrm{POS}_{2}=\mathrm{AC}^{\text{{p}}}\left(\varphi\right)$. For let $\left\langle K^{+},K^{-}\right\rangle\in\mathrm{POS}_{2}$, where $K^{+}=\left\{\pi\left(i\right):i\in S^{+}\right\}$ and $K^{-}=\left\{\pi\left(i\right):i\in S^{-}\right\}$, $S^{+}\cap S^{-}=\emptyset$, which yields $\left\|\mathrm{CLIQ}_{2}\right\|_{\varepsilon}=1$ for $\varepsilon\left(i\right):=\!\left\{\begin{array}[]{lll}1,&\!\text{if\negthinspace\negthinspace}&\!\!\!i\in S^{+}\text{,}\\ 0,&\!\text{if\negthinspace\negthinspace}&\!\!\!i\in S^{-}\text{,}\\ \Box,&\!\text{else.}&\end{array}\right.$ By the assumption, this implies $\left\|\mathrm{DN}\left(\varphi\right)\right\|_{\varepsilon}=1$. Hence there is $T\in\mathrm{DN}\left(\varphi\right)$ for $T^{\bullet+}=\left\{\pi\left(i\right):i\in I^{+}\right\}$, $T^{\bullet-}\!=\!\left\{\pi\left(i\right):i\in I^{-}\right\}$, $T^{\circ+}=\left\{\pi\left(i\right):i\in J^{+}\right\}$, $T^{\circ-}=\left\{\pi\left(i\right):i\in J^{-}\right\}$ with $I^{+}\cap\,I^{-}=J^{+}\cap\,J^{-}=\emptyset$ and $\left(I^{+}\cup\,I^{-}\right)\cap J^{+}=\emptyset$  and $\left\|\mathrm{F}\left(T\right)\right\|_{\varepsilon}=1$. Consequently, $\left(\forall i\in I^{+}\right)\left\|v_{i}\right\|_{\varepsilon}=1$, $\left(\forall i\in I^{-}\right)\left\|v_{i}\right\|_{\varepsilon}=0$ and $\left(\forall j\in J^{+}\right)\left\|v_{j}\right\|_{\varepsilon}=\Box$ and hence $I^{+\left(-\right)}\subseteq S^{+\left(-\right)}$ with $J^{+}\cap\left(S^{+}\cap\,S^{-}\right)=\emptyset$, which yields $T\subseteq^{\pm}\left\langle K^{+}\!,\!K^{-}\right\rangle$. Thus $\left\langle K^{+}\!,\!K^{-}\right\rangle\in\mathrm{AC}^{\text{{p}}}\left(\mathrm{DN}\left(\varphi\right)\right)=\mathrm{AC}^{\text{{p}}}\left(\varphi\right)$ and hence $\mathrm{POS}_{2}\subseteq\mathrm{AC}^{\text{{p}}}\left(\varphi\right)\subseteq\mathrm{POS}{}_{2}$, i.e. $\mathrm{POS}_{2}=\mathrm{AC}^{\text{{p}}}\left(\varphi\right)$, as required. Now suppose there is a $C_{\left\langle f,g\right\rangle}\in\mathrm{AC}^{\text{{n}}}\left(\varphi\right)$, i.e. there exists $T\!\in\!\mathrm{DN}\left(\varphi\right)$ such that $T\subseteq^{\pm}\left\langle C_{f},C_{g}\right\rangle=C_{\left\langle f,g\right\rangle}$. Suppose $T^{\bullet+}=\left\{\pi\left(i\right):i\in I^{+}\right\}$, $T^{\bullet-}=\left\{\pi\left(i\right):i\in I^{-}\right\}$ with $I^{+}\cap I^{-}=\emptyset$ and let $\varepsilon\left(i\right):=\left\{\begin{array}[]{lll}1,&\!\text{if\negthinspace\negthinspace}&\!\!\!i\in I^{+}\text{,}\\ 0,&\!\text{if\negthinspace\negthinspace}&\!\!\!i\in I^{-}\text{,}\\ \Box,&\!\text{else.}&\end{array}\right.$ Then $\left\|\mathrm{F}\left(T\right)\right\|_{\varepsilon}=1=\left\|\mathrm{DN}\left(\varphi\right)\right\|_{\varepsilon}$ and hence $\left\|\mathrm{CLIQ}_{2}\right\|_{\varepsilon}=1$. Arguing as above we conclude that there exist $K^{+},K^{-}\in\mathcal{K}$ with $K^{+}\subseteq T^{\bullet+}\subseteq C_{f}$ and $K^{-}\subseteq T^{\bullet-}\subseteq C_{g}$, which contradicts Lemma 1. Thus $\mathrm{AC}^{\text{{n}}}\left(\varphi\right)=\emptyset$, as required.   

Corollary 19

Suppose that $\varphi\!\in\!\mathcal{A}$ provides a solution of $\mathrm{CLIQ}_{2}$ in 3-value DMN semantics involved. Then for sufficiently large $m$, $\mathrm{cs}\left(\varphi\right)\!>m^{\frac{1}{5}m^{\frac{1}{30}}}\!=k^{3\sqrt{k}}$.

3.4 General Boolean case

• Let $\mathcal{B}$ denote full Boolean (also called DeMorgan) algebra with constants $\top,\bot$, operations $\vee,\wedge,\lnot,\Box,\boxtimes$ and variables $\mathrm{VAR}=\left\{v_{1},\cdots,v_{n}\right\}$.

Recall that arbitrary Boolean formulas $\varphi\in\mathcal{B}$ are convertible to equivalent DMN $\varphi^{\ast}\in\mathcal{A}$ obtained by applying standard DeMorgan rules 1–5.

1. $\lnot\top\hookrightarrow\bot,\ \lnot\bot\hookrightarrow\top.$

2. $\lnot\Box v_{i}\hookrightarrow\boxtimes v_{i},\ \lnot\!\boxtimes\!v_{i}\hookrightarrow\Box v_{i}.$

3. $\lnot\left(\sigma\vee\tau\right)\hookrightarrow\lnot\varphi\wedge\lnot\psi.$

4. $\lnot\left(\sigma\wedge\tau\right)\hookrightarrow\lnot\sigma\wedge\lnot\tau.$

5. $\lnot\lnot\varphi\hookrightarrow\varphi.$

It is a folklore that circuit size of $\varphi^{\ast}$ at most doubles that of $\varphi$, i.e.

Lemma 20

$\mathrm{cs}\left(\varphi^{\ast}\right)\leq 2\mathrm{cs}\left(\varphi\right)$ holds for any $\varphi\in\mathcal{B}$.

Proof. See e.g. Appendix D.   

Theorem 21

Suppose that $\varphi\!\in\!\mathcal{B}$ provides a solution of $\mathrm{CLIQ}_{2}$ in full Boolean logic with respect to the underlying 3-value semantics. Then for sufficiently large $m$, $\mathrm{cs}\left(\varphi\right)>m^{\frac{1}{5}m^{\frac{1}{30}}}=k^{3\sqrt{k}}$.

Proof. This follows directly from Corollary 19 and Lemma 20 via $\varphi^{\ast}\approx\mathrm{CLIQ}_{2}$ as in Theorem 14 (cf. also Appendix C).   

In the next section we’ll eliminate references to 3-value semantics and obtain applications to standard computability.

3.5 More on 3-value decidability

3.5.1 Background

For any set of symbols $\Gamma$ denote by $\Gamma_{\leq n}^{\ast}$ the set of $\Gamma$-subsets $V=\left\{s_{0}s_{1}\cdots s_{k}\right\}$ $\left(s_{i}\in\Gamma\right)$ of length $k\leq n$. Let $\Gamma_{n}^{\star}$ denote the set of $\Gamma$-multisets $W=\left[s_{0}s_{1}\cdots s_{n}\right]$ $\left(s_{i}\in\Gamma\right)$ of the length $n$. That is, $s_{i}\neq s_{j}$ holds for all $i\neq j\leq k$ and $s_{i},s_{j}\in V\in\Gamma_{\leq n}^{\ast}$, whereas $s_{i}\in W\in\Gamma_{n}^{\star}$ are not necessarily different for all $i\leq n$. For any multiset $W\in\Gamma_{n}^{\star}$ denote by $W^{\ast}\in\Gamma_{\leq n}^{\ast}$ the set consisting of all (different) symbols $s_{i}$ occurring in $W$. Now for any $n$ let $L\subseteq\Gamma_{\leq n}^{\ast}$ be a given language in $\Gamma$. Then set $L^{\star}:=\left\{W\in\Gamma_{n}^{\star}:W^{\ast}\in L\right\}$. Thus $L^{\star}\subseteq\Gamma_{n}^{\star}$ contains all $\Gamma$-multisets $W$ such that $W^{\ast}\in L$. We say that $L^{\star}$ is decidable by a given deterministic TM $M$ if any given input $W\in\Gamma_{n}^{\star}$ is accepted by $M$ iff $W\in L^{\star}$ holds, i.e. the output $M\!\left(W\right)$ yields $``\mathbf{yes}"$ iff $W$ is in $L^{\star}$.

Lemma 22

$L\subseteq\Gamma_{\leq n}^{\ast}$ is decidable by a deterministic TM in $n$-polynomial time iff so is $L^{\star}\subseteq\Gamma_{n}^{\star}$.

Proof. Conventional TM-decidability of $L$ refers to inputs as arbitrary sets $V\in\Gamma_{\leq n}^{\ast}$, instead of the corresponding multisets $W\in\Gamma_{n}^{\star}$ used in the case of $L^{\star}$. To bridge this gap it will suffice to expand by repetitions any set-like inputs to the corresponding maximum-length multisets and, conversely, collapse any multiset-like inputs to set-like counterparts by deleting identical symbols, which clearly preserves the $n$-polynomial time in question.   

$L^{\star}$-decidability in $\Gamma_{n}^{\star}$ has the advantage of being representable by Boolean circuits over the whole $n$-variable domain. Moreover, we can replace by a new symbol $\Box$ the identical elements of $\Gamma$ occurring in a given multiset $W\in\Gamma_{n}^{\star}$, in order to expand the set $W^{\ast}$ without loss of original multiset structure. Let $W^{\Box}$ be the resulting multiset of the length $n$ in the expanded language $\Gamma^{\Box}:=\Gamma\cup\left\{\Box\right\}$ and denote by $\Gamma_{n}^{\Box}$ the set of all $W^{\Box}$ such obtained. Our next task is to convert in the expanded language any $W^{\Box}\in\Gamma_{n}^{\Box}$ back into $W$ (or equivalent multiset $W^{\prime}\in\Gamma_{n}^{\star})$. To this end we let $W^{\Box}=\left[t_{0}t_{1}\cdots t_{n}\right]$ and define $W^{\prime}=\left[t^{\prime}_{0}t^{\prime}_{1}\cdots t^{\prime}_{n}\right]$ recursively by $t^{\prime}_{1}:=t_{1}\text{ and }t^{\prime}_{i+1}:=t^{\prime}_{i},\text{ if }t_{i}=\Box,\text{ and }t^{\prime}_{i+1}:=t_{i+1},\text{ if }t_{i}\neq\Box$. By this token, for any language $L\subseteq\Gamma_{n}^{\Box}$ we can reduce the TM decidability of $L$ in $\Gamma_{n}^{\Box}$ to that in $\Gamma_{n}^{\star}$ and hence, by Lemma 22, further to standard TM decidability in $\Gamma_{\leq n}^{\ast}$. This enables us to reduce our 3-value semantics to standard Boolean case (see below a more detailed presentation).

3.5.2 Reduction to Boolean semantics

Multiset-graphs are maximal multisets generated by the ordinary set-graphs that satisfy the required conditions. In particular, multiset double cliques $D\in\mathrm{CLIQ}_{2}$ are pairs of $k$-cliques-containing disjoint multiset-subgraphs $D^{+}$ and $D^{-}$ of a given graph $H$ on $m$ vertices of the summary (double) multiset-length $\left[m\right]^{\left(2\right)}$. The underlying 3-value interpretation yields two set-graphs $G^{+}$ and $G^{-}$ containing elements of $D^{+}$ and $D^{-}$ supplied with values $1$ and $0$, respectively, together with the rest $H\setminus\left(G^{+}\cup G^{-}\right)$ whose elements are supplied with value $\Box$; literals $\Box v_{i}$ and $\boxtimes v_{i}$ are thought to abbreviate informal expressions $\mathrm{val}\left(v_{i}\right)=\Box$ and $\mathrm{val}\left(v_{i}\right)\neq\Box$, respectively. Since queries $D\in^{?}\mathrm{CLIQ}_{2}$ refer to evaluations of $G^{+}$ and $G^{-}$, standard Boolean solutions can be obtained by eliminating all $v_{i}\in H$ with $\mathrm{val}\left(v_{i}\right)=\Box$. Kee** this in mind we show that set- and multiset versions of polytime TM decidability of $\mathrm{CLIQ}_{2}$ are equivalent. To formalize the argument we use the following notations.

• For any set of symbols $\Sigma$ let $\Gamma\!:=\!\Sigma^{\pm}\!=\!\Sigma^{+}\uplus\,\Sigma^{-}$ for $\Sigma^{+\left(-\right)}\!:=\!\left\{s^{+\left(-\right)}\!:s\in\Sigma\right\}$.

• Let $\Gamma_{n}^{\star}$ denote the set of $\Gamma$-multisets $W\!=\!\left[s_{0}s_{1}\cdots s_{n}\right]$ $\left(s_{i}\in\Gamma\right)$ of length $n$.

• Let $\Gamma_{n}^{0}:=\left\{W\in\Gamma_{n}^{\star}:W^{+}\!\cap\!W^{-}\!=\!\emptyset\right\}$, where $W^{+\left(-\right)}\!:=\!\left\{s\in\Gamma:s^{+\left(-\right)}\!\in\!W\right\}$.

Lemma 23

Assuming $\Sigma=\left[n\right]$ let $L\subset\Gamma_{n}^{0}$ consist of $\Gamma$-multisets $W$ such that $W^{+}$ and $W^{-}$ both contain $k$-cliques (modulo interpretation in $\mathcal{A}$). Then $L$ is decidable by a deterministic TM in $n$-polynomial time iff so is $\mathrm{CLIQ}_{2}$.

Proof. See Lemma 22.   

Theorem 24

$\mathrm{CLIQ}_{2}$ is not decidable by deterministic TM in polynomial time.

Proof. Suppose not, and let $M$ be a deterministic TM that decides in $n$-polynomial time the corresponding language $L\subseteq\Gamma_{n}^{0}$ (cf. Lemma 22). Since Boolean circuit complexity is quadratic in deterministic time , by adapting standard proof of P-completeness of CIRCUIT VALUE together with Lemma 20 we construct a DMN circuit $C\left(v_{1},\cdots,v_{n}\right)$ of $n$-(or $m$-)polynomial length with $n$ open sources (variables) $v_{1},\cdots,v_{n}$ such that the following holds.

For any $\xi:\left[n\right]\rightarrow\left[n\right]^{\pm}$ with $\left(\nexists i,j,k\in\left[n\right]\right)\left(\xi\left(i\right)=k^{+}\&\,\xi\left(j\right)=k^{-}\right)$ let $W_{\xi}:=\left[\xi\left(1\right),\cdots,\xi\left(n\right)\right]\in\Gamma_{n}^{0}$ and $D_{\xi}:=\left\langle D_{\xi}^{+},D_{\xi}^{-}\right\rangle\in\mathcal{D}$, $D_{\xi}^{+\left(-\right)}:=\left\{\pi\left(i\right):i\in W_{\xi}^{+\left(-\right)}\right\}$. Denote by $C_{\widetilde{\xi}}$ a variable-free specialization of $C\left(v_{1},\cdots,v_{n}\right)$ that is obtained by substitution $v_{i}:=\widetilde{\xi}\left(i\right):=\left\{\begin{array}[]{lll}1\text{,}&\text{if}&\xi\left(i\right)\in\left[n\right]^{+}\text{,}\\ 0\text{,}&\text{if}&\xi\left(i\right)\in\left[n\right]^{-}\text{.}\end{array}\right.$ Then

$$\left\|C_{\widetilde{\xi}}\right\|:=\mathrm{val}\left(C_{\widetilde{\xi}}\right)=1\Leftrightarrow M\!\left(W_{\xi}\right)=``\mathbf{yes}"\Leftrightarrow W_{\xi}\in L\Leftrightarrow D_{\xi}\in\mathrm{CLIQ}_{2}.$$

Furthermore, denote by $\mathcal{A}_{0}$ plain DMN subalgebra of $\mathcal{A}$ whose formulas are built up from variables and constants by positive operations $\vee$, $\wedge$ and atomic negation $\lnot$, and let $\psi\left(v_{1},\cdots,v_{n}\right)\in\mathcal{A}_{0}$ be a formula correlated with $C\left(v_{1},\cdots,v_{n}\right)$ such that $\left\|\psi\right\|_{\widetilde{\xi}}=\left\|C_{\widetilde{\xi}}\right\|$ holds for any $\xi:\left[n\right]\rightarrow\left[n\right]^{\pm}$ as above. This yields

$$\left\|\psi\right\|_{\widetilde{\xi}}=1\Leftrightarrow D_{\xi}\in\mathrm{CLIQ}_{2}\Leftrightarrow\left\|\psi\right\|_{\widetilde{\xi^{\prime}}}=1$$

for any $\xi^{\prime}:\left[n\right]\rightarrow\left[n\right]^{\pm}$ such that $\left\{\xi^{\prime}\left(1\right),\cdots,\xi^{\prime}\left(n\right)\right\}=\left\{\xi\left(1\right),\cdots,\xi\left(n\right)\right\}$.

Define $\varphi\left(v_{1},\cdots,v_{n}\right)\in\!\mathcal{A}$ by substitution $v_{i}:=\!\tau\left(i\right)\in\!\mathcal{A}$ in $\psi\left(v_{1},\cdots,v_{n}\right)$, where

$$\tau\left(1\right):=v_{1}\text{ and }\tau\left(i+1\right):=\left(\Box v_{i}\wedge\tau\left(i\right)\right)\vee\left(\boxtimes v_{i}\wedge v_{i+1}\right).$$

Note that $\mathrm{cs}\left(\varphi\right)$ is linear in $\mathrm{cs}\left(\psi\right)$ and hence $\mathrm{cs}\left(\varphi\right)\!=\!\mathcal{O}\left(m^{d}\right)$ for a fixed $d>0$.

Now for any $\varepsilon:\left[n\right]\rightarrow\left\{0,1,\Box\right\}$ define $\xi_{\varepsilon}:\left[n\right]\rightarrow\left[n\right]^{\pm}$ recursively by

$$\xi_{\varepsilon}\left(1\right):=\left\{\begin{array}[]{lll}1^{+}\text{,}&\text{if}&\varepsilon\left(1\right)=1\text{,}\\ 1^{-}\text{,}&\text{if}&\varepsilon\left(1\right)=0\text{,}\end{array}\right.\quad\xi_{\varepsilon}\left(i\!+\!1\right):=\left\{\begin{array}[]{lll}\xi_{\varepsilon}\left(i\right)\text{,}&\text{if}&\varepsilon\left(i\!+\!1\right)=\Box\text{,}\\ \left(i\!+\!1\right)^{+}\text{,}&\text{if}&\varepsilon\left(i\!+\!1\right)=1\text{,}\\ \left(i\!+\!1\right)^{-}\text{,}&\text{if}&\varepsilon\left(i\!+\!1\right)=0\text{,}\end{array}\right.$$

where for brevity we assume $\varepsilon\left(1\right)\!\in\!\left\{0,1\right\}$. ​​This yields ​$\left\{\xi_{\varepsilon}\left(1\right),\cdots,\xi_{\varepsilon}\left(n\right)\right\}\!=\left\{\xi\left(1\right),\cdots,\xi\left(n\right)\right\}$, and hence

$$\left\|\varphi\right\|_{\varepsilon}=1\Leftrightarrow\left\|\psi\right\|_{\widetilde{\xi_{\varepsilon}}}=1\Leftrightarrow D_{\xi_{\varepsilon}}\in\mathrm{CLIQ}_{2}\text{,}$$

where $\widetilde{\xi_{\varepsilon}}:\left[n\right]\rightarrow\left\{0,1\right\}$ arises by

$$\widetilde{\xi_{\varepsilon}}=\varepsilon\left(1\right)\text{ and }\widetilde{\xi_{\varepsilon}}\left(i+1\right)=\left\{\begin{array}[]{lll}\xi_{\varepsilon}\left(i\right)\text{,}&\text{if}&\varepsilon\left(i+1\right)=\Box\text{,}\\ \varepsilon\left(i+1\right)\text{,}&\text{if}&\varepsilon\left(i+1\right)\in\left\{0,1\right\}.\end{array}\right.$$

Note that the latter provides a partition $1=i_{1}<i_{2}<\cdots<i_{r}\leq n$ such that

$$\left[\widetilde{\xi_{\varepsilon}}\left(1\right)\cdots\widetilde{\xi_{\varepsilon}}\left(n\right)\right]\!=\!\!\left[\underset{i_{2}-i_{1}}{\underbrace{\varepsilon\left(i_{1}\right)\cdots\varepsilon\left(i_{1}\right)}}\underset{i_{3}-i_{2}}{\underbrace{\,\varepsilon\left(i_{2}\right)\cdots\varepsilon\left(i_{2}\right)}}\left(\cdots\right)\underset{n-i_{r}+1}{\underbrace{\varepsilon\left(i_{r}\right)\cdots\varepsilon\left(i_{r}\right)}}\right]\!\!\in\!\left\{0,1\right\}^{n}$$

and $D_{\xi_{\varepsilon}}\in\mathcal{D}$ for $D_{\xi_{\varepsilon}}^{+}=\left\{\pi\left(i\right):\varepsilon\left(1\right)=1\right\}$, $D_{\xi_{\varepsilon}}^{-}=\left\{\pi\left(i\right):\varepsilon\left(1\right)=0\right\}$, which yields

$$D_{\xi_{\varepsilon}}\in\mathrm{CLIQ}_{2}\Leftrightarrow\vskip 3.0pt plus 1.0pt minus 1.0pt\left(\exists D\in\text{{CLIQ}}_{2}\right)\left\|D\right\|_{\varepsilon}=1\Leftrightarrow\left\|\text{{CLIQ}}_{2}\right\|_{\varepsilon}=1.$$

Summing up, we arrive at

$$\left\|\varphi\right\|_{\varepsilon}=1\Leftrightarrow\left\|\text{{CLIQ}}_{2}\right\|_{\varepsilon}=1,$$

i.e. $\varphi\approx\mathrm{CLIQ}_{2}$. Hence by Theorem 21, $\mathrm{cs}\left(\varphi\right)>m^{\frac{1}{5}m^{\frac{1}{30}}}$ for $m\gg 2$. But $\mathrm{cs}\left(\varphi\right)=\mathcal{O}\left(m^{d}\right)$ for a fixed $d>0$ – a contradiction.   

Corollary 25

Since $\mathrm{CLIQ}_{2}$ is a complete NP problem, $\mathbf{NP\nsubseteq P/poly}$ holds. In particular $\mathbf{P\neq NP}$.

Remark 26

Our double-graph generalization of plain-graph approach used in standard proofs for monotone circuits (formulas) leads to a more sophisticated “non-monotone” approximations than the ones discussed in [6]. For consider a following plain-graph problem $\mathrm{CLIQ}_{2}^{\ast}$ : Given a natural number $k>2$ and a subgraph $G$ of a fixed graph $H$ on $k^{15}$ vertices decide whether $G$ and complement $H\setminus G$ both contain $k$-cliques. Obviously $\mathrm{CLIQ}_{2}^{\ast}$ is an instance of $\mathrm{CLIQ}_{2}$ that is decidable by iterating plain-graph solutions of the monotone problem $\mathrm{CLIQ}$ (first ask if $G$ contains a $k$-clique and then, if the answer is “yes”, ask if $H\setminus G$ also contains a $k$-clique). However $\mathrm{CLIQ}_{2}^{\ast}$ is not monotone, since $G$ and $H\setminus G$ both containing (disjoint) $k$-cliques don’t necessarily infer the same for any $G^{\prime}$ and corresponding $H\setminus G^{\prime}$, provided that $G\subset G^{\prime}$. Hence the usual “monotone” approach is not applicable to $\mathrm{CLIQ}_{2}^{\ast}$ (and neither to $\mathrm{CLIQ}_{2}$).

3.6 Application

Denote by $\mathcal{A}_{0}^{+}$ positive (monotone) subalgebra of $\mathcal{A}$. whose formulas are built up from variables and constants by positive operations $\vee$ and $\wedge$. Thus CNF and/or DNF formulas $\varphi\in\mathcal{A}_{0}^{+}$ don’t include negated variables.

Theorem 27

There is no polynomial time algorithm $f$ converting arbitrary CNF formulas $\varphi\in\mathcal{A}$ (or just CNF $\varphi\in\mathcal{A}_{0}^{+}$) into equivalent DNF formulas $f\left(\varphi\right)\in\mathcal{A}$.

Proof. Let $\left(\forall\varepsilon:\left[n\right]\rightarrow\left\{0,1\right\}\right)\left(\left\|\varphi\right\|_{\varepsilon}=1\Leftrightarrow\left\|f\left(\varphi\right)\right\|_{\varepsilon}=1\Leftrightarrow\left\|\lnot f\left(\varphi\right)\right\|_{\varepsilon}=0\right)$. Thus $\varphi\in\mathrm{SAT}\Leftrightarrow f\left(\varphi\right)\in\mathrm{SAT}\Leftrightarrow\lnot f\left(\varphi\right)\notin\mathrm{TAU}$. Suppose that the size of $f\left(\varphi\right)$ is polynomial in that of $\varphi$. Note that $\lnot f\left(\varphi\right)\in\mathcal{B}$ is equivalent to CNF formula $\left(\lnot f\left(\varphi\right)\right)^{\ast}\in\mathcal{A}$ whose size is roughly the same as that of $f\left(\varphi\right)$, and hence polynomial in the size of $\varphi$. Also note that general CNF validity problem $\left(\lnot f\left(\varphi\right)\right)^{\ast}\in^{?}\mathrm{TAU}$ is solvable in polynomial time. Hence so is the satisfiability problem $\varphi\in^{?}\mathrm{SAT}$. By the NP completeness of $\mathrm{SAT}$ this yields $\mathbf{P=NP}$, – a contradiction.   

4 Appendix A: On Lemma 9

Let $A\subseteq\left[m\right],2\leq\left|A\right|\leq m-2$, $G\in\mathcal{G}^{\ell}$, $A\supseteq\,$v $\left(G\right)$ and
$\mathcal{R}_{\subseteq}\left(A,G\right)=\left\{f\in\mathcal{F}:\mathrm{Dom}^{\circ}\!\left(f\right)=A\,\&\,G\subseteq C_{f}\right\}$. We calculate the probability that a given coloring function $f\in\mathcal{F}:\mathrm{Dom}^{\circ}\!\left(f\right)=A$ is in $\mathcal{R}_{\subseteq}^{\ast}\left(A,G\right)$, i.e. every pair of nodes $x,y$ connected by an edge in $G$ is colored differently by $f\left(x\right)\neq f\left(y\right)<k$. Therefore to color every next node in v$\left(G\right)$ we have to choose an arbitrary color among those not previously used. This yields the probability

$\dfrac{k-1}{k-1}\cdot\dfrac{k-2}{k-1}\cdots\dfrac{k-1-\left|\text{{v\negthinspace}}\left(G\right)\right|}{k-1}>\left(\dfrac{k-1-\left|\text{{v\negthinspace}}\left(G\right)\right|}{k-1}\right)^{\left|\text{{v\negthinspace}}\left(G\right)\right|}\geq\left(1-\dfrac{\ell}{k-1}\right)^{\ell}\geq\left(1-\dfrac{\ell}{k}\right)^{\ell}=\left(1-\dfrac{1}{2\ell}\right)^{\ell}\longrightarrow\frac{1}{\sqrt{e}}>\frac{1}{2}$ as $k=2\ell^{2}\longrightarrow\infty$.

Hence $\left|\mathcal{R}_{\subseteq}\left(A,G\right)\right|\geq\frac{1}{2}\left|\left\{f\in\mathcal{F}:\mathrm{Dom}^{\circ}\!\left(f\right)=A\right\}\right|=\frac{1}{2}\left(k-1\right)^{\left|A\right|}$ for large $k$, which for any $D\in\mathcal{D}^{\ell}$ implies $\left|\mathcal{R}_{\subseteq}\left(D\right)\right|\geq\dfrac{1}{4^{1+\ell}}\left|\mathcal{F}_{2}\right|$ and $\left|\mathcal{R}_{\nsubseteq}\left(D\right)\right|\leq r^{-1}\left|\mathcal{F}_{2}\right|$ (see first assertion of the lemma). Generally, for any $\mathcal{X\subseteq F}$ we set $\mathcal{R}_{\subseteq}\left(\mathcal{X}:A,G\right)$ $:=\left\{f\in\mathcal{X}:\mathrm{Dom}^{\circ}\!\left(f\right)=A\,\&\,G\subseteq C_{f}\right\}$ and analogously obtain $\left|\mathcal{R}_{\subseteq}\left(\mathcal{X}:A,G\right)\right|\geq\frac{1}{2}\left|\left\{f\in\mathcal{X}:\mathrm{Dom}^{\circ}\!\left(f\right)=A\right\}\right|$, provided that $\left|\mathcal{X}\left(x\right)\right|=k-1$ holds for any $x\in\,$v $\left(G\right)$, where $\mathcal{X}\left(x\right)$ abbreviates $\left\{f\left(x\right):f\in\mathcal{X}\right\}$. Furthermore, arguing as above, for any $\mathcal{X\subseteq F}_{2}$ and $D\in\mathcal{D}^{\ell}$ we set $\mathcal{R}_{\nsubseteq}\left(\mathcal{X}:D\right):=\left\{\left\langle f,g\right\rangle\in\mathcal{X}:D\nsubseteq^{\pm}C_{\left\langle f,g\right\rangle}\right\}$ and arrive at $\left|\mathcal{R}_{\nsubseteq}\left(\mathcal{X}:D\right)\right|\leq r^{-1}\left|\mathcal{X}\right|$, provided that $\left|\mathcal{X}^{+}\left(x^{+}\right)\right|=\left|\mathcal{X}^{-}\left(x^{-}\right)\right|=k-1$ for any $x^{+}\in\,$v $\left(D^{+}\right)$ and $x^{-}\in\,$v $\left(D^{-}\right)$. Note that $\mathcal{R}_{\nsubseteq}\left(\mathcal{F}_{2}:D\right)=\mathcal{R}_{\nsubseteq}\left(D\right)$.

Now consider any collection $D_{1},\cdots,D_{q}\in\mathcal{D}^{\ell}$, $\left(\forall i\neq j\in\left[q\right]\right)D_{i}\Cap D_{j}=\emptyset$. Then $\left|\overset{q}{\underset{i=1}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(D_{i}\right)\right|\leq r^{-q}\left|\mathcal{F}_{2}\right|$ will easily follow from the inequality

$$\left(\forall j\in\left[q-1\right]\right)\!\left(\left|\overset{q}{\underset{i=j}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(\mathcal{X\!}:\!D_{i}\right)\right|\leq r^{-q}\!\left|\mathcal{X\!}\right|\right)\text{,}$$

for any $\mathcal{X\subseteq F}_{2}$ such that $\left|\mathcal{X}^{+}\left(x^{+}\right)\right|=\left|\mathcal{X}^{-}\left(x^{-}\right)\right|=k-1$ for all $x_{i}^{+}\in\,$v $\left(D_{i}^{+}\right)$, $x_{i}^{-}\in\,$v $\left(D_{i}^{-}\right)$, $i\in\left[q\right]$. This inequality is proved as follows by induction on $q$.

Basis of induction: $q=2$. Since $D_{1}\Cap D_{2}=\emptyset$, for any $\flat\in\left\{+,-\right\}$, $i\in\left[2\right]$, $x_{i}^{\flat}\in\,$v $\left(D_{i}^{\flat}\right)$, we have $\left|\mathcal{R}_{\nsubseteq}\left(\mathcal{X}:D_{1}\right)^{\flat}\left(x_{2}^{\flat}\right)\right|=\left|\mathcal{X}^{\flat}\left(x_{2}^{\flat}\right)\right|$ and $\left|\mathcal{X}^{\flat}\left(x_{i}^{\flat}\right)\right|=k-1$. This yields

$$\left|\mathcal{R}_{\nsubseteq}\left(\mathcal{X\!}:D_{1}\right)\cap\mathcal{R}_{\nsubseteq}\left(\mathcal{X\!}:D_{2}\right)\right| = \left|\mathcal{R}_{\nsubseteq}\left(\mathcal{R}_{\nsubseteq}\left(\mathcal{X}:D_{1}\right):D_{2}\right)\right|$$

$$\leq r^{-1}\left|\mathcal{R}_{\nsubseteq}\left(\mathcal{X}:D_{1}\right)\right|\leq r^{-2}\left|\mathcal{X}\right|.$$

Induction step. By the same token we obtain

$$\left|\overset{q}{\underset{i=j}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(\mathcal{X\!}:\!D_{i}\right)\right| = \left|\overset{q-1}{\underset{i=j}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(\mathcal{X\!}:\!D_{i}\right)\cap\mathcal{R}_{\nsubseteq}\left(\mathcal{X\!}:\!D_{q}\right)\right|$$

$$= \left|\mathcal{R}_{\nsubseteq}\left(\overset{q-1}{\underset{i=j}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(\mathcal{X\!}:\!D_{i}\right):D_{q}\right)\right|$$

$$\leq r^{-1}\left|\overset{q-1}{\underset{i=j}{\bigcap}}\mathcal{R}_{\nsubseteq}\left(\mathcal{X\!}:\!D_{i}\right)\right|\leq r^{-q}\left|\mathcal{X}\right|\text{,}$$

which completes the proof.

5 Appendix B: Proof of Lemma 12

We use Lemma 3 and boolean inclusion $A\setminus B\subseteq\left(A\setminus C\right)\cup\left(C\setminus B\right)\vskip 6.0pt plus 2.0pt minus 2.0pt$.

1. $\ \partial^{\text{{p}}}\left(\sigma\vee\tau\right)=\mathrm{AC}^{\text{{p}}}\left(\mathrm{DN}\left(\sigma\right)\cup\mathrm{DN}\left(\tau\right)\right)\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\sqcup\mathrm{AP}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad\subseteq\mathrm{AC}^{\text{{p}}}\left(\mathrm{DN}\left(\sigma\right)\cup\mathrm{DN}\left(\tau\right)\right)\setminus\left[\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cup\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\cup$

$\qquad\quad\ \left[\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cup\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\sqcup\mathrm{AP}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad=\left[\mathrm{AC}^{\text{{p}}}\left(\sigma\right)\cup\mathrm{AC}^{\text{{p}}}\left(\tau\right)\right]\setminus\left[\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cup\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\cup$

$\qquad\quad\ \left[\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cup\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\sqcup\mathrm{AP}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad\subseteq\left[\mathrm{AC}^{\text{{p}}}\left(\sigma\right)\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\right]\cup\left[\mathrm{AC}^{\text{{p}}}\left(\tau\right)\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\cup$

$\qquad\quad\ \left[\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cup\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\sqcup\mathrm{AP}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad=\partial^{\text{{p}}}\left(\sigma\right)\cup\partial^{\text{{p}}}\left(\tau\right)\cup\partial_{\sqcup}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AR}\left(\tau\right)\right).\vskip 3.0pt plus 1.0pt minus 1.0pt$

2. $\ \ \partial^{\text{{p}}}\left(\sigma\wedge\tau\right)=\mathrm{AC}^{\text{{p}}}\left(\mathrm{DN}\left(\sigma\right)\odot\mathrm{DN}\left(\tau\right)\right)\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\sqcap\mathrm{AP}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad\subseteq\mathrm{AC}^{\text{{p}}}\left(\mathrm{DN}\left(\sigma\right)\odot\mathrm{DN}\left(\tau\right)\right)\setminus\left[\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cap\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\cup$

$\qquad\quad\ \left[\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cap\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\sqcap\mathrm{AP}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad=\left[\mathrm{AC}^{\text{{p}}}\left(\sigma\right)\cap\mathrm{AC}^{\text{{p}}}\left(\tau\right)\right]\setminus\left[\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cap\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\cup$

$\qquad\quad\ \left[\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cap\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\sqcap\mathrm{AP}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad\subseteq\mathrm{AC}^{\text{{p}}}\left(\sigma\right)\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cup\mathrm{AC}^{\text{{p}}}\left(\tau\right)\setminus\mathrm{AC}^{\text{{p}}}\left(\mathrm{AP}\left(\tau\right)\right)\cup$

$\qquad\quad\ \partial_{\sqcap}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AR}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad=\partial^{\text{{p}}}\left(\sigma\right)\cup\partial^{\text{{p}}}\left(\tau\right)\cup\partial_{\sqcap}^{\text{{p}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AR}\left(\tau\right)\right).\vskip 3.0pt plus 1.0pt minus 1.0pt$

3. $\ \partial^{\text{{n}}}\left(\sigma\vee\tau\right)=\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\sqcup\mathrm{AP}\left(\tau\right)\right)\setminus\mathrm{AC}^{\text{{n}}}\left(\mathrm{DN}\left(\sigma\right)\cup\mathrm{DN}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad\subseteq\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\sqcup\mathrm{AP}\left(\tau\right)\right)\setminus\left[\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cup\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\cup$

$\qquad\quad\ \left[\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cup\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\setminus\mathrm{AC}^{\text{{n}}}\left(\mathrm{DN}\left(\sigma\right)\cup\mathrm{DN}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad=\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\sqcup\mathrm{AP}\left(\tau\right)\right)\setminus\left[\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cup\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\cup$

$\qquad\quad\ \left[\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cup\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\setminus\left[\mathrm{AC}^{\text{{n}}}\left(\sigma\right)\cup\mathrm{AC}^{\text{{n}}}\left(\tau\right)\right]\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad\subseteq\partial_{\sqcup}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AR}\left(\tau\right)\right)\cup\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\right)\setminus\mathrm{AC}^{\text{{n}}}\left(\sigma\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\cup\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\tau\right)\right)\setminus\mathrm{AC}^{\text{{n}}}\left(\tau\right)\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad=\partial_{\sqcup}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AR}\left(\tau\right)\right)\cup\partial^{\text{{n}}}\left(\sigma\right)\cup\partial^{\text{{n}}}\left(\tau\right).\vskip 3.0pt plus 1.0pt minus 1.0pt$

4. $\ \partial^{\text{{n}}}\left(\sigma\wedge\tau\right)=\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\sqcap\mathrm{AP}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\setminus\mathrm{AC}^{\text{{n}}}\left(\mathrm{DN}\left(\sigma\right)\odot\mathrm{DN}\left(\tau\right)\right)$

$\qquad\subseteq\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\sqcap\mathrm{AP}\left(\tau\right)\right)\setminus\left[\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cap\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\cup$

$\qquad\quad\ \left[\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cap\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\setminus\mathrm{AC}^{\text{{n}}}\left(\mathrm{DN}\left(\sigma\right)\odot\mathrm{DN}\left(\tau\right)\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad=\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\sqcap\mathrm{AP}\left(\tau\right)\right)\setminus\left[\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cap\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\cup$

$\qquad\quad\ \left[\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\right)\cap\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\tau\right)\right)\right]\setminus\left[\mathrm{AC}^{\text{{n}}}\left(\sigma\right)\cap\mathrm{AC}^{\text{{n}}}\left(\tau\right)\right]\vskip 3.0pt plus 1.0pt minus 1.0pt\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad\subseteq\partial_{\sqcap}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AR}\left(\tau\right)\right)\cup\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right)\right)\setminus\mathrm{AC}^{\text{{n}}}\left(\sigma\right)\vskip 3.0pt plus 1.0pt minus 1.0pt\cup\mathrm{AC}^{\text{{n}}}\left(\mathrm{AP}\left(\tau\right)\right)\setminus\mathrm{AC}^{\text{{n}}}\left(\tau\right)\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\qquad=\partial_{\sqcap}^{\text{{n}}}\left(\mathrm{AP}\left(\sigma\right),\mathrm{AR}\left(\tau\right)\right)\cup\partial^{\text{{n}}}\left(\sigma\right)\cup\partial^{\text{{n}}}\left(\tau\right).\vskip 3.0pt plus 1.0pt minus 1.0pt$

$\blacksquare$

6 Appendix C: Basic inequalities

We set $k=2\ell^{2}=m^{\frac{1}{15}},\ r=\dfrac{4^{1+\ell}}{4^{1+\ell}\!-\!1},\ p=\ell\log_{r}m,\ L=\left(p-1\right)^{3\ell}\ell!$,
where $m\gg 0.$

So $\ell!\sim\sqrt{2\pi\ell}\left(\dfrac{\ell}{e}\right)^{\ell}=\sqrt{\sqrt{2}\pi m^{\frac{1}{30}}}\left(\dfrac{\frac{1}{\sqrt{2}}m^{\frac{1}{30}}}{\sqrt{2}e}\right)^{\frac{1}{\sqrt{2}}m^{\frac{1}{30}}}<\sqrt{\sqrt{2}\pi}\dfrac{m^{\frac{1}{60}+\frac{1}{30\sqrt{2}}m^{\frac{1}{30}}}}{\left(\sqrt{2}e\right)^{\frac{1}{\sqrt{2}}m^{\frac{1}{30}}}}$

$<m^{\frac{1}{30\sqrt{2}}m^{\frac{1}{30}}}<m^{\frac{1}{30}m^{\frac{1}{30}}}$ holds for sufficiently large $m$ (via

$\sqrt{\sqrt{2}\pi}\cdot m^{\frac{1}{2}\alpha}\cdot m^{\beta m^{\alpha}}<\left(\sqrt{2}e\right)^{\beta m^{\alpha}}\cdot m^{\beta m^{\alpha}}\Leftrightarrow\sqrt{\sqrt{2}\pi}\cdot m^{\frac{1}{2}\alpha}<\left(\sqrt{2}e\right)^{\beta m^{\alpha}}$

$\Leftrightarrow\ln\sqrt{\sqrt{2}\pi}+\frac{1}{2}\alpha\ln n<\frac{3}{2}\beta n^{\alpha}$), while $\ell=\frac{1}{\sqrt{2}}m^{\frac{1}{30}}$.

Now $p=\ell\log_{r}m=\frac{1}{\sqrt{2}}m^{\frac{1}{30}}\log_{r}m<m^{\frac{1}{30}+\varepsilon}$ , $r^{p}=m^{\ell}=m^{\frac{1}{\sqrt{2}}m^{\frac{1}{30}}}$ and hence $\left(p-1\right)^{3\ell}<p^{3\ell}<m^{\left(\frac{1}{10}+\varepsilon\right)m^{\frac{1}{30}}}$ holds for sufficiently small $\varepsilon>0$.

Hence $L=\left(p-1\right)^{3\ell}\ell!<m^{\left(\frac{1}{10}+\varepsilon\right)m^{\frac{1}{30}}}m^{\frac{1}{30}m^{\frac{1}{30}}}<m^{\frac{1}{7}m^{\frac{1}{30}}},\ L^{2}<m^{\frac{2}{7}m^{\frac{1}{30}}}$.

So $\left(\dfrac{m-\ell}{k}\right)^{\ell}=\left(\dfrac{m-\frac{1}{\sqrt{2}}m^{\frac{1}{30}}}{m^{\frac{1}{15}}}\right)^{\frac{1}{\sqrt{2}}m^{\frac{1}{30}}}>\left(m^{\frac{14}{15}}-1\right)^{\frac{1}{\sqrt{2}}m^{\frac{1}{30}}}>m^{\frac{9}{15}m^{\frac{1}{30}}}$,

$\left(\dfrac{m\!-\!\ell}{k}\right)^{\ell}\!L^{-2}\!>\!\dfrac{m^{\frac{9}{15}m^{\frac{1}{30}}}}{m^{\frac{2}{7}m^{\frac{1}{30}}}}\!>\!m^{\frac{1}{5}m^{\frac{1}{30}}}$,

$\dfrac{r^{p}}{4^{1+\ell}}L^{-2}\!=\dfrac{r^{p}}{4^{1+\frac{1}{\sqrt{2}}m^{\frac{1}{30}}}}L^{-2}>\!\frac{1}{4}\dfrac{m^{\frac{1}{\sqrt{2}}m^{\frac{1}{30}}}}{m^{\left(\frac{2}{7}+\log_{m}4\right)\frac{1}{\sqrt{2}}m^{\frac{1}{30}}}}\!>\!m^{\frac{1}{5}m^{\frac{1}{30}}}$.

7 Appendix D: Proof of Lemma 23

Proof. For brevity we switch to circuit formalism. Consider any Boolean circuit (i.e. rooted dag) $B$ whose leaves and inner vertices are labeled with elements of $\mathrm{LIT}:=\mathrm{VAR}\cup\left\{\top,\bot,\Box v_{i},\boxtimes v_{i}\right\}$ and $\left\{\vee,\wedge,\lnot\right\}$, respectively. To put it in formal terms we let $B=\left\langle V,E,\lambda\right\rangle$ where $V\subset^{fin}\mathbb{N}$ and $E\subset\left\{\left\langle x,y\right\rangle:x<y\in V\right\}$ are the vertices and (bottom-up directed) edges, respectively, while $\lambda:V\longrightarrow\mathrm{LIT}\cup\left\{\vee,\wedge,\lnot\right\}$ and $0\in V$ being the labeling function and the root (i.e. bottom) of $B$. Thus $\left\langle\lambda\left(x\right),\lambda\left(y\right)\right\rangle$ with $\left\langle x,y\right\rangle\in E$ are the labeled edges. Moreover we assume that each inner vertex $x\in V$ with label $\lambda\left(x\right)\in$ $\left\{\vee,\wedge\right\}$ or $\lambda\left(x\right)=\lnot$ has respectively two or just one successor(s) $y\in B$, $\left\langle x,y\right\rangle\in E$, $\lambda\left(y\right)\neq\lnot$. To determine the required De-Morgan circuit $B^{\ast}=\left\langle V^{\ast},E^{\ast},\lambda^{\ast}\right\rangle$ we first stipulate $W:=\left\{0\neq x\in V:\lambda\left(x\right)\neq\lnot\right\}$ and let $W_{1}$ be a disjoint copy of $W$ together with dual labeling function $\lambda_{1}:W_{1}\longrightarrow\mathrm{LIT}^{\ast}\cup\left\{\vee,\wedge\right\}$ defined by $\lambda_{1}\left(x\right):=\lambda\left(x\right)^{\ast}$ where $v_{j}^{\ast}=\lnot v_{j}$, $\top^{\ast}=\bot$, $\bot^{\ast}=\top$, $\Box\,v_{i}^{\ast}:=\boxtimes\,v_{i}$, $\boxtimes\,v_{i}^{\ast}:=\Box\,v_{i}$, $\vee^{\ast}=\wedge$ and $\wedge^{\ast}=\vee$. Let $x_{1}\sim x$ express that $x_{1}$ is a copy of $x\in W$ in $W_{1}$. Now let $V^{\ast}:=\left\{r\right\}\cup W\cup W_{1}$, where $r\notin W\cup W_{1}$, and let $\lambda^{\ast}:V^{\ast}\longrightarrow\mathrm{LIT}\cup\left\{\vee,\wedge\right\}$ extend $\lambda\cup\lambda_{1}$ by $\lambda^{\ast}\left(r\right):=\left\{\begin{array}[]{lll}\lambda\left(0\right),&if&\lambda\left(0\right)\neq\lnot,\\ \lambda\left(x\right)^{\ast},&if&\lambda\left(0\right)=\lnot\ \&\,\left\langle 0,x\right\rangle\in E.\end{array}\right.$ Crude structure of $E^{\ast}\subset V^{\ast}\times V^{\ast}$ is determined by following clauses 1–4, while using in 3, 4 an abbreviation $\left\langle x,y\right\rangle\in^{\lnot}\!E\leftrightharpoons\left(\exists z\in V\right)\left(\lambda\left(z\right)=\lnot\ \&\,\left\langle x,z\right\rangle\in E\ \&\,\left\langle z,y\right\rangle\in E\right)$.

1. Suppose $x,y\in W$. Then $\left\langle x,y\right\rangle\in E^{\ast}\leftrightharpoons\left\langle x,y\right\rangle\in E$.

2. Suppose $x_{1},y_{1}\in W_{1}$, $x_{1}\sim x\in W$ and $y_{1}\sim y\in W$.

   Then $\left\langle x_{1},y_{1}\right\rangle\in E^{\ast}\leftrightharpoons\left\langle x,y\right\rangle\in E$.

3. Suppose $x\in W$, $y_{1}\in W_{1}$, $y_{1}\sim y\in W$ and $\left\langle x,y\right\rangle\in^{\lnot}\!E$.

   Then $\left\langle x,y_{1}\right\rangle\in E^{\ast}\leftrightharpoons\left\langle x,y\right\rangle\in E$.

4. Suppose $x_{1}\in W_{1}$, $y\in W$, $x_{1}\sim x\in W$ and $\left\langle x,y\right\rangle\in^{\lnot}\!E$.

   Then $\left\langle x_{1},y\right\rangle\in E^{\ast}\leftrightharpoons\left\langle x,y\right\rangle\in E$.

To complete the entire definition we let $r$ be the root of $B^{\ast}$. Obviously $\left|V^{\ast}\right|\leq 2\left|V\right|$. It remains to verify the correctness of conversion $B\hookrightarrow B^{\ast}$, i.e., that $B^{\ast}$ is dag-like presentation of $\varphi^{\ast}$ provided that $B$ is dag-like presentation of $\varphi$. To this end note that the clauses 1–4 imitate conversions of $\varphi\hookrightarrow\varphi^{\ast}$ and the operations (Boolean connectives) correspond to the labels $\lambda\left(-\right)$ and $\lambda^{\ast}\left(-\right)$. The vertices of $W$ correspond to “positive” gates (subformulas) that remain unchanged, whereas those of $W_{1}$ are “negative” ones that are dual to “positive” origins (these occur within the odd number of $\lnot$-scopes); both “positive” and “negative” gates can occur simultaneously due to underlying dag-like structure of $B$. The crucial observation: every original gate in $B$ requires at most one dual gate occurring in $B^{\ast}$. This yields the required estimate $\mathrm{cs}\left(\varphi^{\ast}\right)\leq 2\mathrm{cs}\left(\varphi\right)$. $\blacksquare$