Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-22T13:56:48.946Z Has data issue: false hasContentIssue false

A PARAMETERIZED HALTING PROBLEM, $ \Delta _0$ TRUTH AND THE MRDP THEOREM

Published online by Cambridge University Press:  30 September 2024

YIJIA CHEN
Affiliation:
DEPARTMENT OF COMPUTER SCIENCE SHANGHAI JIAO TONG UNIVERSITY SHANGHAI, CHINA E-mail: [email protected]
MORITZ MÜLLER*
Affiliation:
FACULTY OF COMPUTER SCIENCE AND MATHEMATICS UNIVERSITY OF PASSAU PASSAU, GERMANY
KEITA YOKOYAMA
Affiliation:
MATHEMATICAL INSTITUTE TOHOKU UNIVERSITY SENDAI, JAPAN E-mail: [email protected]
Rights & Permissions [Opens in a new window]

Abstract

We study the parameterized complexity of the problem to decide whether a given natural number n satisfies a given $\Delta _0$-formula $\varphi (x)$; the parameter is the size of $\varphi $. This parameterization focusses attention on instances where n is large compared to the size of $\varphi $. We show unconditionally that this problem does not belong to the parameterized analogue of $\mathsf {AC}^0$. From this we derive that certain natural upper bounds on the complexity of our parameterized problem imply certain separations of classical complexity classes. This connection is obtained via an analysis of a parameterized halting problem. Some of these upper bounds follow assuming that $I\Delta _0$ proves the MRDP theorem in a certain weak sense.

Type
Article
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

1 Introduction

1.1 Parameterized complexity

While classical complexity theory measures computational resources by functions in the input length n alone, parameterized complexity theory additionally takes into account a parameter k associated with inputs.Footnote 1 The motivation is to focus attention on inputs with relatively small parameter $k \ll n$ , namely, one asks for algorithms that are efficient on such inputs. If “efficient” means polynomial time, this leads to the class $\mathsf {FPT}$ : decidable problems that admit a polynomial time algorithm that is correct on inputs satisfying $g(k)\leqslant n$ for some computable $g:\mathbb {N}\to \mathbb {N}$ , or equivalently, an algorithm correct on all inputs with runtime $f(k)\cdot n^{O(1)}$ for some computable $f:\mathbb {N}\to \mathbb {N}$ . If “efficient” means $\mathsf {AC}^0$ , it leads to the class $\mathsf {para}\text {-}\mathsf {AC}^0$ . Here, and throughout, by $\mathsf {AC}^0$ we mean dlogtime uniform $\mathsf {AC}^0$ .

Many problems have natural parameters in the sense that the focus on inputs with relatively small parameters is practically or theoretically well motivated. Two examples:

The parameterized complexity of both problems is wide open. Before entering their discussion we note a special property: the problems are almost tally, in that inputs are long strings of 1’s padded with relatively short binary strings. This concept is key to the approach taken here.

1.2 The parameterized halting problem

The importance of p-Halt is derived from its close connections to central problems in proof complexity and descriptive complexity theory [Reference Chen and Flum10]: the hypotheses that a certain logic considered by Gurevich [Reference Gurevich24] does not capture $\mathsf {PTIME}$ , and that p-optimal propositional proof systems do not exist [Reference Krajícek and Pudlák30] are both equivalent to the hypothesis that cannot be decided in time $n^{f(k)}$ where $k:=|\mathbb M|$ and $f: \mathbb {N}\to \mathbb {N}$ is any function.Footnote 2 So far, however, such algorithms have been ruled out only under a certain very strong non-standard complexity-theoretic hypothesis and only for computable f [Reference Chen and Flum9, Reference Chen and Flum10]. Thus, lower bounds on are poorly understood and of fundamental interest.

A seemingly modest and natural starting point is the following.

Conjecture 1.1. .

This conjecture is highly plausible and might appear to be within reach because $\mathsf {AC}^0$ is well-understood and, in particular, [Reference Chen and Flum11] establishes (unconditional) $\mathsf {para}\text {-}\mathsf {AC}^0$ lower bounds for many well-studied parameterized problems. It deserves some genuine interest because its failure implies that $\mathsf {AC}^0$ , or equivalently, $(+, \times )$ -invariant $\mathsf {FO}$ is captured by some logic. However, we failed to prove the conjecture after years of attempts and only now understand why: it implies that nondeterministic exponential time $\mathsf {NE}$ is distinct from the linear time hierarchy $\mathsf {LINH}$ . This connection can be further tightened by considering the following variant of :

Accepting in exactly n steps means that there exists an accepting computation that has exactly n steps. While the classical problems underlying and are easily seen to be equivalent (see Example 3.6), we shall see that their parameterized versions behave quite differently. In fact, appears to be harder than , and is the hardest among all almost tally problems in $\mathsf {para}\text {-}\mathsf {NP}$ , the parameterized analogue of $\mathsf {NP}$ . We refer to Section 7 for a discussion. We show:

Theorem 1.2.

  1. (i) if and only if $\mathsf {NE}\subseteq \mathsf {LINH}$ .

  2. (ii) implies .

1.3 $\Delta _0$ truth

Deciding the truth of $\Delta _0$ formulas is a fundamental problem of mathematical logic. The choice of the parameter shifts attention to inputs where n is much larger than $|\varphi |$ . This is a natural focus. Classical work of Paris and Dimitracopolous [Reference Paris and Dimitracopoulos34] took n to be nonstandard and related the complexity of truth definitions for $\Delta _0$ -formulas to the complexity-theoretic hypotheses that $\mathsf {LINH}$ or $\mathsf {PH}$ does not collapse. Wilkie proved a weak version of the former hypothesis by showing that restricted to quantifier-free formula inputs can be decided in space $f(k)+O(\log n)$ where $k:= |\varphi |$ is the parameter and $f:\mathbb {N}\to \mathbb {N}$ a computable function [Reference Wilkie36, proof of Lemma 3.1]. The straightforward algorithm decides in space $f(k)\cdot \log n$ . Can it be decided in space ${f(k)+ O(\log n)}$ ? Maybe with nondeterminism? Can it be decided in time $f(k)\cdot n^{O(1)}$ , i.e., is it in $ \mathsf {FPT}$ ? Maybe with nondeterminism, i.e., is it in $ \mathsf {para}\text {-}\mathsf {NP}$ ?

Our main result (Theorem 4.3) shows that such upper bounds on the parameterized complexity of imply lower bounds in classical complexity theory. Notably,

Theorem 1.3. If , then $\mathsf {NE}\not \subseteq \mathsf {LINH}$ .

The proof relies on our analysis of and the following unconditional lower bound:

Theorem 1.4. .

The proof is based on diagonalization or, more specifically, the undefinability of truth. Furthermore, it relies on the classical result [Reference Barrington, Immerman and Straubing6] of descriptive complexity theory that, roughly speaking, equates (uniform) $\mathsf {AC}^0$ and first-order logic with built-in arithmetic.

1.4 The MRDP theorem

Theorem 1.3 yields some information concerning the provability of the Matiyasevich-Robinson-Davis-Putnam (MRDP) theorem (see [Reference Davis14] for an account) in bounded arithmetic. This theorem states that $\Sigma _1$ -definable sets are Diophantine and it is a long standing open problem whether it is provable in $I\Delta _0$ , i.e., Peano arithmetic with induction restricted to $\Delta _0$ -formulas.

Wilkie observed [Reference Wilkie36] that a positive answer would imply $\mathsf {NP}= \mathsf {co}\text {-}\mathsf {NP}$ . Gaifman and Dimitracopoulos [Reference Gaifman and Dimitracopoulos22] showed that adding exponentiation suffices: $I\Delta _0+ \forall x\exists y\ 2^x{=}y$ does prove MRDP. Kaye [Reference Kaye27] proved MRDP using only induction for bounded existential formulas plus an axiom stating the totality of a suitable function of exponential growth. It is asked in [Reference Gaifman and Dimitracopoulos22, page 188] whether $I\Delta _0$ plus the totality of $x^{\log x}$ , or of $x^{\log \log x}$ etc. proves MRDP. A positive answer would imply that $I\Delta _0$ proves MRDP for small numbers: this would mean that the equivalence of any $\Delta _0$ -formula $\varphi (\bar x)$ to some Diophantine formula is proved in $I\Delta _0$ for all $\bar x$ of logarithmic order. Model-theoretically, the equivalence holds in any $I\Delta _0$ -model for all $\bar x$ from the initial segment of numbers x such that $2^x$ exists, while proof-theoretically, we allow an $I\Delta _0$ -proof to use exponentiation, but only once. Such limited use of exponentiation has been studied in bounded arithmetic [Reference Krajíček29].

We show that Theorem 1.3 implies:

Theorem 1.5. If $I\Delta _0$ proves MRDP for small numbers, then $\mathsf {NE}\not \subseteq \mathsf {LINH}$ .

1.5 $\mathsf {AC}^0$ -bi-immunity

Could Conjecture 1.1 be false? We give further evidence for its truth by establishing a connection to the existence of $\mathsf {AC}^0$ -bi-immune sets in $\mathsf {NP}$ . Recall a problem Q is $\mathsf {AC}^0$ -immune if it does not have an infinite subset in $\mathsf {AC}^0$ ; if additionally, also the complement of Q is $\mathsf {AC}^0$ -immune, then Q is $\mathsf {AC}^0$ -bi-immune.

Theorem 1.6. If $\mathsf {NP}$ contains an $\mathsf {AC}^0$ -bi-immune problem, then .

It is a standard hypothesis that $\mathsf {NP}$ contains even $\mathsf {P}$ -bi-immune problems and this follows from the measure hypothesis [Reference Mayordomo31]. Whether $\mathsf {NP}$ contains at least $\mathsf {AC}^0$ -bi-immune problems has been asked once it was realized [Reference Allender, Beigel, Hertrampf and Homer1, Reference Geske, Huynh and Seiferas23] that deterministic time hierarchy theorems hold with bi-immunity (or, equivalently [Reference Balcázar and Schöning5], almost everywhere) while this is open for nondeterministic time [Reference Allender, Beigel, Hertrampf and Homer1, Reference Fortnow and Santhanam21]. While Zimand [Reference Zimand37] obtained some partial positive answers, Allender and Gore [Reference Allender, Gore and Cai2] showed that this has different answers relative to different oracles.Footnote 3 This indicates that also refuting Conjecture 1.1 might be non-trivial.

1.6 Outline

Much of the technical work consists in connecting the dots between results of various subareas of logic and complexity, namely classical, parameterized and descriptive complexity theory and formal arithmetic. Section 2 reviews the results we need and fixes our notation. The technicalities are somewhat subtle, in particular, the move from to is crucial. Section 3 introduces almost tally problems and proves Theorem 1.2 and various variants of it. Section 4 proves Theorem 1.4. This together with the results in Section 3 implies Theorem 1.3 and various variants. Section 5 derives (a strengthening of) Theorem 1.5. Section 6 proves Theorem 1.6. The final section discusses the role of uniformity, and exhibits the different behaviours of our parameterized problems , and .

2 Preliminaries

Standard monographs are [Reference Arora and Barak3, Reference Papadimitriou32] for classical complexity theory, [Reference Downey and Fellows15, Reference Downey and Fellows16, Reference Flum and Grohe20] for parameterized complexity theory, [Reference Hájek and Pudlák25, Reference Kaye28] for formal arithmetic, and [Reference Ebbinghaus and Flum17, Reference Immerman26] for descriptive complexity theory.

2.1 Classical complexity

A (classical) problem is a subset of $\{0,1\}^*$ , the set of finite binary strings. The length of a binary string $x\in \{0,1\}^*$ is denoted $|x|$ . For $n\in \mathbb {N}$ we let $1^n$ denote the binary string consisting of n many $1$ ’s. We use multitape Turing machines with alphabet $\{0,1\}$ as our basic model of computation. When considering dlogtime Turing machines, i.e., deterministic machines running in time $O(\log n)$ , it is understood that they access their input via an address tape (see, e.g., [Reference Barrington, Immerman and Straubing6]). As usual, $\mathsf {P}$ and $\mathsf {NP}$ denote deterministic and nondeterministic polynomial time $n^{O(1)}$ , and $\mathsf {E}$ and $\mathsf {NE}$ denote deterministic and nondeterministic exponential time with linear exponent $2^{O(n)}$ . The linear time hierarchy $\mathsf {LINH}$ is the set of problems acceptable by alternating Turing machines in linear time $O(n)$ with $O(1)$ alternations. $\mathsf {LINSPACE}$ and $\mathsf {NLINSPACE}$ denote deterministic and nondeterministic linear space $O(n)$ . Clearly,

$$\begin{align*}\mathsf{LINH}\subseteq \mathsf{LINSPACE}\subseteq \mathsf{NLINSPACE}\subseteq \mathsf{E}\subseteq \mathsf{NE}. \end{align*}$$

Following [Reference Barrington, Immerman and Straubing6] we define (dlogtime uniform) $\mathsf {AC}^0$ as the set of problems decided by $\mathsf {AC}^0$ -circuit families $(\mathsf C_n)_{n\in \mathbb {N}}$ :

  1. $\mathsf C_n$ is a circuit (with $\wedge , \vee , \neg $ gates and unbounded fan-in) with n variables, size $\leqslant n^c$ and depthFootnote 4 $\leqslant d$ , where $c,d\in \mathbb {N}$ are two constants independent of n;

  2. there is a dlogtime Turing machine which given $ \langle 1^n, i, b \rangle $ where $n,i\in \mathbb {N}$ and $b\in \{0,1\}$ decides whether the ith bit of the binary encoding of $\mathsf C_n$ is b.

Here, for binary strings $x= x_0\dots x_{|x|-1}$ and $y= y_0\dots y_{|y|-1}$ we use the standard pairing

(1) $$ \begin{align} \langle x,y\rangle:= x_0x_0\dots x_{|x|-1}x_{|x|-1}01y_0y_0\dots y_{|y|-1}y_{|y|-1}, \end{align} $$

and similarly for more arguments. The above definition is somewhat sensitive to the choice of the binary encoding of a circuit. An appropriate choice would be to encode $C_n$ by the list of strings in the direct connection language corresponding to n; we refer to [Reference Barrington, Immerman and Straubing6] for details.

For $n\in \mathbb {N}$ we let $\mathit {bin}(n)\in \{0,1\}^*$ denote the binary expansion of n; it has length $\left \lceil \log (n+1)\right \rceil $ for $n>0$ . For $x\in \{0,1\}^*$ let $\mathit {num}(x)$ be the natural number with binary expansion $1x$ , i.e., $\mathit {bin}(\mathit {num}(x))= 1x$ . For a problem Q let

$$\begin{align*}\mathit{un}(Q):= \left\{1^{\mathit{num}(x)}\mid x\in Q\right\}. \end{align*}$$

The last statement of the following is [Reference Allender, Gore and Cai2, Proposition 5], and the first two are trivial:

Proposition 2.1 [Reference Allender, Gore and Cai2].

Let Q be a problem. Then:

  1. (i) $Q\in \mathsf {NE}$ if and only if $\mathit {un}(Q)\in \mathsf {NP}$ .

  2. (ii) $Q\in \mathsf {E}$ if and only if $\mathit {un}(Q)\in \mathsf {P}$ .

  3. (iii) $Q\in \mathsf {LINH}$ if and only if $\mathit {un}(Q)\in \mathsf {AC}^0$ .

2.2 Parameterized complexity

A parameterized problem is a pair $(Q, \kappa )$ of an underlying classical problem $Q\subseteq \{0,1\}^*$ and a parameterization $\kappa :\{0,1\}^*\to \mathbb {N}$ mapping an instance $x\in \{0,1\}^*$ to its parameter $\kappa (x)\in \mathbb {N}$ . We follow [Reference Elberfeld, Stockhusen and Tantau18] and require that $\kappa $ is computable by an $\mathsf {AC}^0$ -circuit family $(\mathsf C_n)_{n\in \mathbb {N}}$ . That is, for all ${x\in \{0,1\}^*}$ , besides $|x|$ inputs the circuit $C_{|x|}$ has $|x|$ outputs and computes $\mathit {bin}(\kappa (x))$ , possibly padded with leading 0’s to length $|x|$ . It is a technical assumption satisfied by almost all parameterized problems of interest. For example, has underlying classical problem $\big \{ \langle 1^n, \mathbb M \rangle \;\big |\;$ the nondeterministic Turing machine $\mathbb M$ accepts the empty input in at most n steps $\big \}$ and a parameterization $\kappa $ that maps strings of the form $ \langle 1^n, \mathbb M \rangle $ to $|\mathbb M|$ and other strings to, say, 0.

The para-operator [Reference Flum and Grohe19] turns a classical complexity class into a parameterized one (the most important intractable parameterized classes are not of this form, however). The class $\mathsf {para}\text {-}\mathsf {P}= \mathsf {FPT}$ contains the parameterized problems $(Q,\kappa )$ that are fixed-parameter tractable, i.e., decidable in deterministic time $f(\kappa (x))\cdot |x|^{O(1)}$ for some computable $f:\mathbb {N}\to \mathbb {N}$ . Similarly, $\mathsf {para}\text {-}\mathsf {NP}$ denotes nondeterministic time $f(\kappa (x))\cdot |x|^{O(1)}$ (for any computable f), $\mathsf {para}\text {-}\mathsf {L}$ denotes deterministic space $f(\kappa (x))+O(\log |x|)$ , and $\mathsf {para}\text {-}\mathsf {NL}$ denotes nondeterministic such space. Clearly,

$$ \begin{align*}\mathsf{para}\text{-}\mathsf{L}\subseteq\mathsf{para}\text{-}\mathsf{NL}\subseteq\mathsf{FPT}\subseteq\mathsf{para}\text{-}\mathsf{NP}. \end{align*} $$

The central parameterized class in this paper is $\mathsf {para}\text {-}\mathsf {AC}^0$ . It is characterized as follows:

Proposition 2.2 [Reference Chen and Flum11].

Let $(Q, \kappa )$ be a parameterized problem. The following are equivalent:

  1. (i) $(Q,\kappa )\in \mathsf {para}\text {-}\mathsf {AC}^0$ .

  2. (ii) There is a family $(\mathsf C_{n,k})_{n,k\in \mathbb {N}}$ of circuits such that:

    1. there are a computable $f:\mathbb {N}\to \mathbb {N}$ and $c,d\in \mathbb {N}$ such that for all $n,k\in \mathbb {N}$ the circuit $\mathsf C_{n,k}$ has n inputs, size at most $ f(k)\cdot n^c$ , and depth at most d;

    2. for all $x\in \{0,1\}^*$ we have

      $$\begin{align*}x\in Q\iff \mathsf C_{|x|, \kappa(x)}(x)=1; \end{align*}$$
    3. there are a computable $g:\mathbb {N}\to \mathbb {N}$ and a deterministic Turing machine which given as input $ \langle 1^n, 1^k, i, b \rangle $ where $n,k,i\in \mathbb {N}$ and $b\in \{0,1\}$ decides in time $g(k)+ O(\log n)$ whether the ith bit of the binary encoding of $\mathsf C_{n,k}$ is b.

  3. (iii) Q is decidable and there are a computable $h: \mathbb {N}\to \mathbb {N}$ and an $\mathsf {AC}^0$ -circuit family $(\mathsf C_n)_{n\in \mathbb {N}}$ such that for all $x\in \{0,1\}^*$ with $|x|\geqslant h(\kappa (x))$ we have

    $$\begin{align*}x\in Q\iff \mathsf C_{|x|}(x)=1. \end{align*}$$

According to the terminology of [Reference Flum and Grohe19], (iii) states that $(Q,\kappa )$ is eventually in $\mathsf {AC}^0$ .

2.3 Formal arithmetic

We let $L_{\text {ar}}:= \{+,\times ,0,1,<\}$ be the language of arithmetic with binary function symbols $+,\times $ , constants $0,1$ and a binary relation symbol $<$ . The standard $L_{\text {ar}}$ -structure, denoted $\mathbb {N}$ , has universe $\mathbb {N}$ and interprets the symbols in the obvious way. Every $L_{\text {ar}}$ -term p computes a polynomial with coefficients in $\mathbb {N}$ and of total degree at most $|p|$ . We do not distinguish terms p or formulas $\varphi $ from their binary encodings, so $|p|$ and $|\varphi |$ denote the lengths of these encodings. Writing $\varphi (\bar x)$ for a formula $\varphi $ means that all free variables of $\varphi $ are among $\bar x$ . A sentence is a formula without free variables.

A $\Delta _0$ -formula is an $L_{\text {ar}}$ -formula obtained from atomic formulas, Boolean connectives, and bounded quantifiers $\exists x{<}p$ , $\forall x{<}p$ where p is an $L_{\text {ar}}$ -term not involving x; e.g., $\exists x{<}p\; \varphi $ stands for $\exists x (x{<}p\wedge \varphi )$ . $\Sigma _1$ - and $\Pi _1$ -formulas are obtained from $\Delta _0$ -formulas by existential and universal quantification, respectively.

Theorem 2.3 (MRDP).

For every $\Delta _0$ -formula $\varphi (\bar x)$ there are $L_{\text {ar}}$ -terms $p(\bar x,\bar y),q(\bar x,\bar y)$ such that

$$\begin{align*}\mathbb{N}\models \forall\bar x\big(\varphi(\bar x)\leftrightarrow \exists\bar y\; p(\bar x,\bar y){=}q(\bar x,\bar y)\big). \end{align*}$$

Gödel showed that computable functions are $\Sigma _1$ -definable. The MRDP theorem improves this to an existential definition:

Corollary 2.4. For every computable $f:\mathbb {N}\to \mathbb {N}$ there is a quantifier-free $L_{\text {ar}}$ -formula $\varphi _f(x, y, \bar z)$ such that for every $n,m\in \mathbb {N}$

$$ \begin{align*} f(n)= m & \iff \mathbb{N} \models \exists \bar z\; \varphi_f(n,m,\bar z). \end{align*} $$

We are mainly concerned with finite arithmetical structures with universe

$$\begin{align*}[n]:= \{0,\ldots, n-1\} \end{align*}$$

for some $n\in \mathbb {N}$ with $n\geqslant 2$ , and therefore consider the relational version

$$\begin{align*}L_{\text{ar}}^{\text{r}} \end{align*}$$

of $L_{\text {ar}}$ where $+$ , $\times $ are ternary relation symbols. The standard $L_{\text {ar}}^{\text {r}}$ -structure with universe $\mathbb {N}$ , also denoted $\mathbb {N}$ , interprets $+$ , $\times $ by the graphs of addition and multiplication, respectively. For $n\in \mathbb {N}$ with $n>1$ , the standard $L^{\text {r}}_{\text {ar}}$ -structure with universe $[n]$ , simply denoted n, is the substructure of $\mathbb {N}$ with universe $[n]$ , i.e., it interprets the symbols in $L^{\text {r}}_{\text {ar}}$ by $+^{[n]}:= \{(k,\ell ,m) \in [n]^3\mid k+\ell =m\}$ , $\times ^{[n]}:= \{(k,\ell ,m)\in [n]^3\mid k\cdot \ell = m\}$ , $0^{[n]}:= 0$ , $1^{[n]}:= 1$ and $<^{[n]}:= \{(k,\ell )\in [n]^2\mid k< \ell \}$ .

Let $\varphi ^{<y}$ be obtained from $\varphi $ by replacing all quantifiers $\exists z$ , $\forall z$ by $\exists z{<}y$ , $\forall z{<}y$ . For $\bar n=(n_0,\ldots , n_{k-1})\in \mathbb {N}^k$ and $n\in \mathbb {N}$ write $\bar n<n$ to express $n_i<n$ for all $i<k$ . For every $L^{\text {r}}_{\text {ar}}$ -formula $\varphi (\bar x)$ with $1, \bar n<n$ we have

$$ \begin{align*} \mathbb{N}\models \varphi^{<n}(\bar n) & \iff n\models \varphi(\bar n). \end{align*} $$

Remark 2.5. Corollary 2.4 holds for a quantifier-free $L^{\text {r}}_{\text {ar}}$ -formula $\varphi _f(\bar x, y, \bar z)$ . Indeed, it is straightforward to express an $L_{\text {ar}}$ -term (in)equality by an existential $L^{\text {r}}_{\text {ar}}$ -formula.

2.4 Descriptive complexity

A binary string $x= x_0\cdots x_{n-1}\in \{0,1\}^*$ of length $n>1$ is often identified with the string structure ${\mathcal S}(x)$ defined as the $L^{\text {r}}_{\text {ar}}\cup \{\mathit {ONE}\}$ -expansion of the standard $L^{\text {r}}_{\text {ar}}$ -structure n that interprets the unary relation symbol $\mathit {ONE}$ by

$$\begin{align*}\mathit{ONE}^x:= \{i\in[n]\mid x_i=1\}, \end{align*}$$

i.e., ${\mathcal S}(x)= \big ([n], +^{[n]}, \times ^{[n]}, 0^{[n]}, 1^{[n]}, <^{[n]}, \mathit {ONE}^x\big )$ . We shall work with the following descriptive characterization of (dlogtime uniform) $\mathsf {AC}^0$ :

Theorem 2.6 [Reference Barrington, Immerman and Straubing6].

A problem Q is in $\mathsf {AC}^0$ if and only if there is an $L^{\text {r}}_{\text {ar}}\cup \{\mathit {ONE}\}$ -sentence $\varphi $ such that for every $x\in \{0,1\}^*$ with $|x|\geqslant 2$ :

$$ \begin{align*} x\in Q & \iff {\mathcal S}(x)\models \varphi. \end{align*} $$

This result and Proposition 2.2(iii) imply what is to be our working definition of $\mathsf {para}\text {-}\mathsf {AC}^0$ : the parameterized problems that are eventually definable.

Corollary 2.7. Let $(Q, \kappa )$ be a parameterized problem with decidable Q. Then $(Q, \kappa )$ is in $\mathsf {para}\text {-}\mathsf {AC}^0$ if and only if $(Q, \kappa )$ is eventually definable: there are a computable $h: \mathbb {N}\to \mathbb {N}$ and an $L^{\text {r}}_{\text {ar}}\cup \{\mathit {ONE}\}$ -sentence $\varphi $ such that for all $x\in \{0,1\}^*$ with $|x|\geqslant h(\kappa (x))$ :

$$ \begin{align*} x\in Q & \Longleftrightarrow {\mathcal S}(x)\models \varphi. \end{align*} $$

In descriptive complexity the role of reductions is played by interpretations. Let $L,L'$ be languages consisting of relation symbols and constants. Let $w\in \mathbb {N}$ with $w\geqslant 1$ . An interpretation ${\mathit I}$ of $L'$ in L (of width w) is given by an L-formula $\varphi _{\text {uni}}(\bar x)$ , an L-formula $\varphi _R(\bar x_0, \dots , \bar x_{r-1})$ for each r-ary relation symbol $R\in L'$ , and an L-formula $\varphi _c(\bar x)$ for every constant $c\in L'$ ; here, $\bar x$ , $\bar x_i$ are w-tuples of variables. Given an L-structure A define the $L'$ -structure $A^{{\mathit I}}$ as follows. It has universe $A^{{\mathit I}}:= \big \{\bar a\in A^w\;\big |\; A\models \varphi _{\text {uni}}(\bar a)\big \}$ , interprets an r-ary $R\in L'$ by $\big \{(\bar a_0,\ldots ,\bar a_{r-1})\in (A^{{\mathit I}})^r \;\big |\; A\models \varphi _R(\bar a_0, \ldots , \bar a_{r-1}) \big \}$ , and a constant $c\in L'$ by the unique $\bar a\in A^{{\mathit I}}$ satisfying $\varphi _c(\bar x)$ in A. If this uniqueness is violated or if the universe $A^{{\mathit I}}$ is empty, then $A^{{\mathit I}}$ is not defined. If $B\cong A^I$ for some I, we say B is interpretable in A. The following is standard.

Lemma 2.8. Let ${\mathit I} $ an interpretation of $L'$ in L of width w and $I'$ an interpretation of $L"$ in $L'$ of width $w'$ . Further let A be an L-structure such that $A^I$ is defined.

  1. (i) For every $L'$ -formula $\varphi (x,y,\ldots )$ there is an L-formula $\varphi ^I(\bar x,\bar y,\ldots )$ where $\bar x, \bar y, \ldots $ are w-tuples of variables such that for all $\bar a, \bar b, \ldots \in A^I$ :

    $$ \begin{align*} A^I \models \varphi(\bar a, \bar b, \ldots) & \iff A \models \varphi^I(\bar a, \bar b, \ldots). \end{align*} $$
  2. (ii) There is an interpretation $I'\circ I$ of $L"$ in L of width $w\cdot w'$ such that if $(A^I)^{I'}$ is defined, then so is $A^{I'\circ I}$ and

    $$\begin{align*}A^{I'\circ I }\cong (A^I)^{I'}. \end{align*}$$

The following is folklore, and a proof can be found in [Reference Schweikardt35, Appendix].

Lemma 2.9. Let $d\in \mathbb {N}$ .

  1. (i) For every $n>1$ the standard $L^{\text {r}}_{\text {ar}}$ -structure $n^d$ is interpretable in the standard $L^{\text {r}}_{\text {ar}}$ -structure n. In fact, there is an interpretation ${\mathit I} _d$ of width d such that $n^d\cong n^{I_d}$ for every $n>1$ , and the isomorphism maps each $a<n^d$ to the length d representation of a in base n.

  2. (ii) There is an $L^{\text {r}}_{\text {ar}}$ -formula $\mathit {BIT}(x, y)$ such that for every $n>1$ and all $i, j\in [n]$ :

    $$ \begin{align*} n\models \mathit{BIT}(i,j) & \iff \text{the } j\text{th bit of } \mathit{bin}(i) \text{ is } 1. \end{align*} $$

3 and $\mathsf {NE}$ versus $\mathsf {LINH}$

In this section we first introduce a workable notion of reduction that preserves $\mathsf {para}\text {-}\mathsf {AC}^0$ , then prove Theorem 1.2, then introduce almost tally problems and show is the hardest among them in $\mathsf {para}\text {-}\mathsf {NP}$ , and finally consider some generalizations and variants that will be instrumental later in Section 4 for the proof of Theorem 1.3 and its variants.

3.1 Eventually definable reductions

A parameterized reduction from a parameterized problem $(Q,\kappa )$ to another $(Q',\kappa ')$ is a reduction $r:\{0,1\}^*\to \{0,1\}^*$ from Q to $Q'$ such that $\kappa '\circ r\leqslant f\circ \kappa $ for some computable function $f: \mathbb {N}\to \mathbb {N}$ .

Definition 3.1. Let $\kappa $ be a parameterization. A function $r: \{0,1\}^*\to \{0,1\}^*$ is $\kappa $ -eventually definable if there are a computable $h: \mathbb {N} \to \mathbb {N}$ and an interpretation ${\mathit I} $ such that

$$ \begin{align*} {\mathcal S}(x)^{{\mathit I}} & \cong {\mathcal S}(r(x)) \end{align*} $$

for all $x\in \{0,1\}^*$ with $|x|\geqslant h(\kappa (x))$ .

Example 3.2. The function

$$\begin{align*}\langle 1^n, x\rangle \mapsto 1^{\displaystyle \mathit{num}(\langle \mathit{bin}(n),x\rangle),} \end{align*}$$

where $n\in \mathbb {N}$ , $x\in \{0,1\}^*$ is $\kappa $ -eventually definable where $\kappa $ maps $ \langle 1^n, x \rangle $ to $|x|$ (both functions map arguments that are not of the required form to, say, $0$ ).

Proof Note $\mathit {num}( \langle \mathit {bin}(n), x \rangle )< 2^{| \langle \mathit {bin}(n), x \rangle |+ 1}\leqslant 2^{O(\log n+ |x|)}$ . Choose a constant $d\in \mathbb {N}$ and a computable $h: \mathbb {N} \to \mathbb {N}$ such that $\mathit {num}( \langle \mathit {bin}(n), x \rangle )< n^d$ and $\mathit {num}(x)< n$ whenever $n\geqslant h(|x|)$ . It suffices to describe an interpretation of ${\mathcal S}(1^{\mathit {num}( \langle \mathit {bin}(n), x \rangle )})$ in ${\mathcal S}( \langle 1^n, x \rangle )$ whenever $n\geqslant h(|x|)$ . It will be clear that the interpretation does not depend on n, x.

Let $(n,\mathit {num}(x))$ be the expansion of the standard $L^{\text {r}}_{\text {ar}}$ -structure n that interprets a new constant by $\mathit {num}(x)\in [n]$ . This is interpretable in ${\mathcal S}( \langle 1^n, x \rangle )$ using $\mathit {BIT}$ . By Lemma 2.9, also $(n^d, \mathit {num}(x))$ is interpretable in ${\mathcal S}( \langle 1^n, x \rangle )$ . But this structure defines (n and) $\mathit {num}( \langle \mathit {bin}(n), x \rangle )\in [n^d]$ using $\mathit {BIT}$ . Thus, $\mathcal S(1^{\mathit {num}( \langle \mathit {bin}(n), x \rangle )})$ is interpretable in ${\mathcal S}( \langle 1^n, x \rangle )$ as claimed.

Finally, note there is a sentence $\varphi $ that is true exactly in structures of the desired form ${\mathcal S}( \langle 1^n,x \rangle )$ for $n\in \mathbb {N}$ and $x\in \{0,1\}^*$ . It is easy to modify the above interpretation to produce a structure isomorphic to ${\mathcal S}(0)$ given a structure that is not of the desired form.

Example 3.3. Let $P:\{0,1\}^*\to \{0,1\}^*$ be computable. The function

$$\begin{align*}\langle 1^n, x\rangle \mapsto \langle 1^n, P(x)\rangle, \end{align*}$$

where $n\in \mathbb {N}$ , $x\in \{0,1\}^*$ is $\kappa $ -eventually definable where $\kappa $ maps $ \langle 1^n, x \rangle $ to $|x|$ (both functions map arguments that are not of the required form to, say, $0$ ).

Proof Let $p: \mathbb {N} \to \mathbb {N}$ be computable with $p(\mathit {num}(x))= \mathit {num}(P(x))$ for all ${x\in \{0,1\}^*}$ . We choose:

  • a quantifier-free $L^{\text {r}}_{\text {ar}}$ -formula $\varphi (x, y, \bar z)$ according to Remark 2.5,

  • a computable $f: \mathbb {N}\to \mathbb {N}$ so that for all $\ell \in \mathbb {N}$

    $$\begin{align*}\mathbb{N}\models \exists \bar z {<} f(\ell)\ \varphi(\ell,p(\ell),\bar z), \end{align*}$$
  • and a computable $h{\kern-1pt}:{\kern-1pt} \mathbb {N}\to \mathbb {N}$ such that $h(|x|){\kern-1pt}>{\kern-1pt} \mathit {num}(x), \mathit {num}(P(x)), f(\mathit {num}(x))$ for all $x\in \{0,1\}^*$ .

Assume $n\geqslant h(|x|)$ . Then ${\mathcal S}( \langle 1^n,x \rangle )$ interprets the expansion $(n,\ell )$ of the standard structure n by a constant c interpreting $\ell :=\mathit {num}(x)$ . In $(n,\ell )$ the formula $\exists \bar z\varphi (c,y,\bar z)$ defines $p(\ell )=\mathit {num}(P(x))$ . Using $\mathit {BIT}$ , thus ${\mathcal S}( \langle 1^n,x \rangle )$ interprets ${\mathcal S}( \langle 1^n,P(x) \rangle )$ .

Again it is easy to modify this interpretation to produce a structure isomorphic to ${\mathcal S}(0)$ given a structure that is not of the desired form.

Recall, a function $r:\{0,1\}^*\to \{0,1\}^*$ is honest if $|r(x)|\geqslant |x|^{\Omega (1)}$ .

Lemma 3.4. Assume that $r,r': \{0,1\}^*\to \{0,1\}^*$ are $\kappa $ - and $\kappa '$ -eventually definable, respectively, that $\kappa '\circ r\leqslant f\circ \kappa $ for some computable $f:\mathbb {N}\to \mathbb {N}$ , and that r is honest. Then $r'\circ r$ is $\kappa $ -eventually definable.

Proof Choose ${\mathit I} , h$ for r and ${\mathit I} ', h'$ for $r'$ according to Definition 3.1. We can assume that $h'$ is nondecreasing. Choose $n_0, c\in \mathbb {N}$ such that $|r(x)|\geqslant |x|^{1/c}$ for all $x\in \{0,1\}^*$ with $|x|\geqslant n_0$ . Define $g: \mathbb {N}\to \mathbb {N}$ by

$$\begin{align*}g(k):= \text{max}\big\{(h'(f(k)))^c, h(k), n_0\big\}. \end{align*}$$

We claim that $I'\circ I$ and g witness that $r'\circ r$ is $\kappa $ -eventually definable. To verify this let $x\in \{0,1\}^*$ satisfy $|x|\geqslant g(k)$ where $k:= \kappa (x)$ . Then $|r(x)|\geqslant |x|^{1/c}\geqslant h'(f(k))\geqslant h'(\kappa '(r(x)))$ using that $h'$ is nondecreasing. Hence $\mathcal S(r(x))^{I'}\cong {\mathcal S}(r'(r(x)))$ . As $|x|\geqslant g(k)\geqslant h(k)$ , we conclude ${\mathcal S}(x)^I\cong {\mathcal S}(r(x))$ , which implies ${\mathcal S}(x)^{I'\circ I}\cong {\mathcal S}(r'(r(x)))$ .

Definition 3.5. Let $(Q, \kappa )$ and $(Q', \kappa ')$ be parameterized problems. An eventually definable reduction from $(Q, \kappa )$ to $(Q', \kappa ')$ is a parameterized reduction from $(Q, \kappa )$ to $(Q', \kappa ')$ that is honest and $\kappa $ -eventually definable.

Example 3.6. There is an eventually definable reduction from to .

Proof Let $P:\{0,1\}^*\to \{0,1\}^*$ map a nondeterministic Turing machine $\mathbb M$ to another $\mathbb M'$ that simulates $\mathbb M$ and, if $\mathbb M$ accepts, then $\mathbb M'$ nondeterministically makes any number of steps before it halts and accepts; strings x not encoding machines are mapped to themselves. This is clearly a parameterized reduction. By Example 3.3, $\langle 1^n,x\rangle \mapsto \langle 1^n,P(x)\rangle $ is eventually definable.

Recall that this function outputs $0$ on strings y not of the desired form $ \langle 1^n,x \rangle $ , i.e., the interpretation produces a structure isomorphic to ${\mathcal S}(0)$ . We change the interpretation to output ${\mathcal S}(y)$ in this case. This ensures honesty (we can assume $|\mathbb M'|\geqslant |\mathbb M|$ ) and thus gives a reduction as desired.

Remark 3.7. A parameterized problem $(Q,\kappa )$ is in $\mathsf {para}\text {-}\mathsf {AC}^0$ if and only if Q is decidable and there is an eventually definable reduction from $(Q,\kappa )$ to a trivial problem, say, $(Q_0, \kappa _0)$ for $Q_0$ the set of strings starting with $0$ and $\kappa _0$ is constantly $0$ .

It is straightforward to check that this reducibility is transitive and preserves membership in $\mathsf {para}\text {-}\mathsf {AC}^0$ :

Lemma 3.8. Assume that there is an eventually definable reduction from $(Q, \kappa )$ to $(Q', \kappa ')$ .

  1. (i) If there is an eventually definable reduction from $(Q', \kappa ')$ to $(Q", \kappa ")$ , then there is one from $(Q, \kappa )$ to $(Q", \kappa ")$ .

  2. (ii) If $(Q', \kappa ')\in \mathsf {para}\text {-}\mathsf {AC}^0$ and Q is decidable, then $(Q, \kappa )\in \mathsf {para}\text {-}\mathsf {AC}^0$ .

Proof (i) follows from Lemma 3.4. (ii) follows from (i) and Remark 3.7.

3.2 The complexity of

It is known that the question whether is fixed-parameter tractable is closely related to the relationship of $\mathsf {E}$ and $\mathsf {NE}$ :

Theorem 3.9 [Reference Aumann and Dombb4, Reference Chen and Flum7].

if and only if $\mathsf {NE}\subseteq \mathsf {E}$ .

Theorem 1.2(i) is a $\mathsf {para}\text {-}\mathsf {AC}^0$ -analogue of this result.

Theorem 1.2.

  1. (i) if and only if $\mathsf {NE}\subseteq \mathsf {LINH}$ .

  2. (ii) implies .

Proof (ii) follows from Example 3.6 and Lemma 3.8. Alternatively, let $(\mathsf C_{n,k})_{n,k}$ witness according to Proposition 2.2(b). Then $(\bigvee _{m\leqslant n}\mathsf C^n_{m,k})_{n,k}$ witnesses where $\mathsf C^n_{m,k}$ checks its input has the form $\langle 1^n,x\rangle $ for some $x\in \{0,1\}^k$ and then runs $\mathsf C_{m,k}$ on $\langle 1^m,x\rangle $ .

To prove (i), first assume $\mathsf {NE}\subseteq \mathsf {LINH}$ and let Q be the classical problem underlying but with input n encoded in binary:

Clearly, $Q\in \mathsf {NE}$ , so by assumption and Proposition 2.1(iii) we have $\mathit {un}(Q)\in \mathsf {AC}^0$ . Recall

$$ \begin{align*} \mathit{un}(Q)= \bigg\{1^{\mathit{num}(\langle \mathit{bin}(n), \mathbb M\rangle)} \;\Big|\; \begin{array}{l} \text{the nondeterministic Turing machine } {\mathbb M} \\ \text{accepts the empty input in exactly } n \text{ steps} \end{array}\!\!\! \bigg\}. \end{align*} $$

By Example 3.2 the map $ \langle 1^n, \mathbb M \rangle \mapsto 1^{\mathit {num}( \langle \mathit {bin}(n), \mathbb M \rangle )}$ is eventually definable with respect to the parameterization of . It is an honest parameterized reduction to $(\mathit {un}(Q), \kappa )$ where $\kappa $ maps $1^{\mathit {num}( \langle \mathit {bin}(n), \mathbb M \rangle )}$ to $|\mathbb {M}|$ . Since $(\mathit {un}(Q), \kappa )\in \mathsf {para}\text {-}\mathsf {AC}^0$ , Lemma 3.8 implies .

Conversely, assume . Let $Q\subseteq \{0,1\}^*$ be a problem in $\mathsf {NE}$ . To show that $Q\in \mathsf {LINH}$ , it suffices to prove $\mathit {un}(Q)\in \mathsf {AC}^0$ again by Proposition 2.1(iii).

As $Q \in \mathsf {NE}$ there is a constant $c\in \mathbb {N}$ and a nondeterministic Turing machine $\mathbb M$ accepting Q that on input x halts in time at most $\mathit {num}(x)^c-2|x|-2$ . Consider the nondeterministic Turing machine ${\mathbb M}^*$ that started with the empty input runs as follows:

Line 1 takes exactly $2|y|+2$ many steps by moving the head forth and back on some tape, so the dummy steps in line 4 are possible. Since $\mathit {num}$ is injective, we have

(2) $$ \begin{align} x \in Q & \iff {\mathbb M}^* \text{ accepts the empty input tape in exactly } \mathit{num}(x)^c+1 \text{ many steps}. \end{align} $$

Since $\mathbb M^*$ is a fixed machine, implies that the classical problem

$$\begin{align*}Q':=\Big\{ 1^n\;\Big|\; \mathbb M^* \text{ accepts the empty input tape in exactly } n+1 \text{ many steps}\Big\} \end{align*}$$

is in $\mathsf {AC}^0$ . Choose a first-order sentence $\varphi $ for $Q'$ according to Theorem 2.6. Lemma 2.9 gives an interpretation ${\mathit I} $ such that ${\mathcal S}(1^n)^{{\mathit I}}\cong \mathcal S(1^{n^c})$ for all $n>1$ . Then $1^{n^c}\in Q'$ is equivalent to $\mathcal S(1^n)\models \varphi ^{{\mathit I}} $ . Thus the r.h.s. in (2) is equivalent to ${\mathcal S}(1^{\mathit {num}(x)})\models \varphi ^{{\mathit I}}$ provided $\mathit {num}(x)>1$ , i.e., x is non-empty. The l.h.s. in (2) is equivalent to $1^{\mathit {num}(x)}\in \mathit {un}(Q)$ . Thus $\varphi ^{{\mathit I}}$ witnesses that $\mathit {un}(Q)\in \mathsf {AC}^0$ according to Theorem 2.6.

Remark 3.10. The direction from left to right only required an $\mathsf {AC}^0$ -circuit family for instances of with the fixed machine $\mathbb M^*$ . This implies that the assertions in Theorem 1.2(i) are equivalent to (see Definition 7.1).

3.3 Almost tally problems

Recall that a classical problem $Q\subseteq \{0,1\}^*$ is tally if $Q\subseteq \{1\}^*$ . All parameterized problems mentioned in the introduction are almost tally in the following sense:

Definition 3.11. A parameterized problem $(Q,\kappa )$ is almost tally if

$$\begin{align*}Q\subseteq\big\{\langle 1^n,x\rangle \;\big|\; n\in \mathbb{N},x\in \{0,1\}^*\big\} \end{align*}$$

and there is a computable $f:\mathbb {N}\to \mathbb {N}$ such that for all $n\in \mathbb {N}$ , $x\in \{0,1\}^*$

$$\begin{align*}|x|\leqslant f(\kappa(\langle 1^n, x\rangle)). \end{align*}$$

Theorem 1.2(ii) holds not only for but for every almost tally problem in $\mathsf {para}\text {-}\mathsf {NP}$ . In fact, is the hardest almost tally problem in $\mathsf {para}\text {-}\mathsf {NP}$ :

Lemma 3.12. For every almost tally problem in $\mathsf {para}\text {-}\mathsf {NP}$ there is an eventually definable reduction to .

Proof Let $(Q, \kappa )\in \mathsf {para}\text {-}\mathsf {NP}$ be almost tally. The identity is a parameterized reduction from $(Q, \kappa )$ to its re-parameterization $(Q, \kappa ')$ where $\kappa '( \langle 1^n, x \rangle ):=|x|$ for all $n\in \mathbb {N}$ , $x\in \{0,1\}^*$ . Hence, the identity is an eventually definable reduction. We can therefore assume that $\kappa = \kappa '$ .

Let $\mathbb M$ be a nondeterministic Turing machine that accepts Q and on input $ \langle 1^n, x \rangle $ runs in time at most $f(k)\cdot n^{c}$ where $c\in \mathbb {N}$ , $f: \mathbb {N}\to \mathbb {N}$ is a computable function, and $k:=|x|$ .

Define $g:\mathbb {N}^2\to \mathbb {N}$ by

$$\begin{align*}g(m,k):= m^{c+1}+ 2m+ 2k+ 2. \end{align*}$$

For $x\in \{0,1\}^*$ with $k:=|x|$ , consider the nondeterministic Turing machine $\mathbb M_x$ that on the empty input runs as follows:

Step 1 can be implemented to take exactly $2+2m+2+2k$ many steps (recall (1)), so the dummy steps in line 4 are possible if $m>f(k)$ . Note that for each k, the function $m\mapsto g(m,k)$ is injective. Thus, if $n>f(k)$ , we have

Using Example 3.3, one easily constructs an eventually definable reduction that maps $ \langle 1^n,x \rangle $ to $ \langle 1^{g(n,k)+1}, \mathbb M_x \rangle $ .

It is straightforward to infer from Proposition 2.1 that $\mathsf {NE}\subseteq \mathsf {LINH}$ if and only if every tally problem in $\mathsf {NP}$ is in $\mathsf {AC}^0$ . We don’t know of a similarly easy proof of the following parameterized variant of this observation. Instead, our proof relies on our analysis of :

Corollary 3.13. $\mathsf {NE}\subseteq \mathsf {LINH}$ if and only if every almost tally problem in $\mathsf {para}\text {-}\mathsf {NP}$ is in $\mathsf {para}\text {-}\mathsf {AC}^0$ .

Proof The l.h.s. is equivalent to by Theorem 1.2(i). And by Lemmas 3.8 and 3.12, is equivalent to the r.h.s.

3.4 Variants

For the optimistic reader, Corollary 3.13 gives an approach to separate $\mathsf {NE}$ from $\mathsf {LINH}$ . From this perspective, it is of interest to ask whether finding an almost tally problem outside $\mathsf {para}\text {-}\mathsf {AC}^0$ but in a natural subclass of $\mathsf {para}\text {-}\mathsf {NP}$ implies stronger separations of natural complexity classes. We verify the following variants of Corollary 3.13:

Lemma 3.14.

  1. (i) $\mathsf {E}\subseteq \mathsf {LINH}$ if and only if every almost tally problem in $\mathsf {FPT}$ is in $\mathsf {para}\text {-}\mathsf {AC}^0$ .

  2. (ii) $\mathsf {NLINSPACE}\subseteq \mathsf {LINH}$ if and only if every almost tally problem in $\mathsf {para}\text {-}\mathsf {NL}$ is in $\mathsf {para}\text {-}\mathsf {AC}^0$ .

  3. (iii) $\mathsf {LINSPACE}\subseteq \mathsf {LINH}$ if and only if every almost tally problem in $\mathsf {para}\text {-}\mathsf {L}$ is in $\mathsf {para}\text {-}\mathsf {AC}^0$ .

Proof The proof of (i) is analogous to the proof of Corollary 3.13 using the subproblem of where the input machine $\mathbb M$ is deterministic. Similarly the proof of (iii) is analogous to the proof of (ii). We show how (ii) is proved by modifying the proof of Corollary 3.13.

Consider the following variant of :

Here, the space $\left \lfloor \log m\right \rfloor $ of a run bounds all work tapes together, that is, if $c_i$ is the maximal cell number visited on work tape i, then $\sum _ic_i\leqslant \left \lfloor \log m\right \rfloor $ .

It is clear that this problem is in $\mathsf {para}\text {-}\mathsf {NL}$ .

Claim 1. if and only if $\mathsf {NLINSPACE}\subseteq \mathsf {LINH}$ .

Proof of Claim 1

Assume $\mathsf {NLINSPACE}\subseteq \mathsf {LINH}$ and let Q be the classical problem underlying but with the inputs $n, m$ encoded in binary. Clearly, $Q\in \mathsf {NLINSPACE} \subseteq \mathsf {LINH}$ , so $\mathit {un}(Q)\in \mathsf {AC}^0$ by Proposition 2.1(iii). Similarly as Example 3.2 one sees that

$$\begin{align*}\langle 1^n, 1^m, \mathbb M\rangle\mapsto 1^{ \mathit{num}(\langle \mathit{bin}(n), \mathit{bin}(m), \mathbb M\rangle)} \end{align*}$$

is eventually definable. Then follows as in Theorem 1.2(i).

Conversely, assume and let $Q\in \mathsf {NLINSPACE}$ . Choose a nondeterministic Turing machine $\mathbb M$ accepting Q that on input $x\in \{0,1\}^*$ runs in time at most

$$\begin{align*}\frac{\mathit{num}(x)^{c}}{10c(|x|+2)} - 10c(|x|+ 2)- |x| \end{align*}$$

and uses space at most $c\cdot |x|$ ; here $c\in \mathbb {N}$ is a suitable constant. Define $\mathbb M^*$ as in the proof of Theorem 1.2 but with the following implementation details. For the simulation in line 2, first initialize a length $c(|y|+ 2)$ binary counter using exactly $10c(|y|+ 2)$ steps, and increase it using exactly $10c(|y|+ 2)$ many steps for each simulated step of $\mathbb M$ . In line 4 continue increasing the counter in this way until it reaches $\mathit {num}(y)^c/(10c(|y|+ 2))$ . For long enough y, the binary representation of this number can be computed in time at most $\mathit {num}(y)$ and space $O(|y|)$ (where the constant in the O-notation depends on c). This computation can be done in parallel to the simulation in lines 2 and 4. Hence, line 5 completes exactly $\mathit {num}(y)^c+1$ steps, and uses space at most $d\cdot |y|$ for a suitable $d\geqslant c$ .

Thus, we arrive at the following variant of (2). For long enough $x\in \{0,1\}^*$ :

$$ \begin{align*} x \in Q & \iff {\mathbb M}^* \text{ accepts the empty input in exactly } \mathit{num}(x)^c+1 \text{ many steps} \\ &\text{and space at most } \left\lfloor\log(\mathit{num}(x)^d)\right\rfloor. \end{align*} $$

Our assumption implies that the classical problem

$$ \begin{align*} Q':= \big\{\langle 1^n,1^m\rangle \;\big|\;\ & n\leqslant m \text{ and } \mathbb M^* \text{ accepts the empty input in exactly } n+1 \text{ many} \\ & \text{steps and space at most } \left\lfloor\log m\right\rfloor\big\} \end{align*} $$

is in $\mathsf {AC}^0$ . Now $\mathit {un}(Q)\in \mathsf {AC}^0$ (and hence $Q\in \mathsf {LINH}$ ) follows as in Theorem 1.2(i) using an interpretation ${\mathit I} $ such that ${\mathcal S}(1^n)^{{\mathit I}}\cong {\mathcal S}(\big \langle 1^{n^c}, 1^{n^d}\big \rangle )$ .

Claim 2. For every almost tally problem in $\mathsf {para}\text {-}\mathsf {NL}$ there is an eventually definable reduction to .

Proof of Claim 2

Let $(Q, \kappa )\in \mathsf {para}\text {-}\mathsf {NL}$ be almost tally and $\mathbb M$ be a nondeterministic Turing machine that accepts Q and that on input $ \langle 1^n, x \rangle $ runs in time at most $f(k)\cdot n^{c}$ and space at most $f(k)+ c\cdot \log n$ where $c\in \mathbb {N}$ , $f:\mathbb {N}\to \mathbb {N}$ is a computable function, and $k:= \kappa ( \langle 1^n, x \rangle )$ . We can assume $k= |x|$ (see the proof of Lemma 3.12).

For $x\in \{0, 1\}^*$ with $k:= |x|$ , define the nondeterministic Turing machine $\mathbb M_x$ as in the proof of Lemma 3.12 but with a different g (chosen below) and line 1 changed to nondeterministically write some $m\in \mathbb {N}$ in binary in exactly $2\left \lceil \log (m+ 1)\right \rceil + 2$ steps. The simulation in line 2 is done as in the previous claim maintaining a length $(c+1)\left \lceil \log (m+1)\right \rceil $ binary counter. It further maintains the position of $\mathbb M$ ’s head on the input tape which we can assume to be at most $| \langle 1^m,x \rangle |+1$ and uses it to compute the currently scanned bit. Counter and position are updated for each simulated step of $\mathbb M$ . If $k< m$ , then one step of $\mathbb M$ is simulated in exactly $10c\left \lceil \log (m+1)\right \rceil $ steps. In line 4 the binary counter is updated until it reaches $m^{c+1}$ . Hence line 4 is completed after exactly $g(m,k):=m^{c+1}\cdot 10c\left \lceil \log (m+ 1)\right \rceil + 2\left \lceil \log (m+1)\right \rceil + 2$ steps. The dummy steps in line 4 are possible if $m>f(k)$ . In this case the computation takes space at most $d\log m$ for suitable $d\in \mathbb {N}$ . Thus, if $n> f(k)$ , we have

Similarly as seen in the proof of Lemma 3.12, this implies the claim.

It now suffices to show that if and only if every almost tally problem in $\mathsf {para}\text {-}\mathsf {NL}$ is in $\mathsf {para}\text {-}\mathsf {AC}^0$ . The forward direction follows from Claim 2 and Lemma 3.8. And if , then we get an almost tally problem in $\mathsf {para}\text {-}\mathsf {NL} \setminus \mathsf {para}\text {-}\mathsf {AC}^0$ by rewriting inputs $ \langle 1^n, 1^m, \mathbb M \rangle $ of to $ \langle 1^{ \langle n, m \rangle }, \mathbb M \rangle $ where $ \langle n, m \rangle $ is a pairing function on $\mathbb {N}$ .

We find it worthwhile to explicitly point out the following direct corollary concerning the parameterized halting problem for deterministic Turing machines:

Corollary 3.15. If , then $\mathsf {E}\not \subseteq \mathsf {LINH}$ .

4 On the parameterized complexity of

Recall, the problem asks whether a given $n\in \mathbb {N}$ in unary satisfies a given $\Delta _0$ -formula $\varphi (x)$ , parameterized by the length of $\varphi $ . Further recall that $\Delta _0$ refers to the language $L_{\text {ar}}$ with function symbols $+,\cdot $ and contains the $L_{\text {ar}}$ -formulas with quantifiers bounded by $L_{\text {ar}} $ -terms.

This section first observes that is “the same” as a basic parameterized model-checking problem, uses this to prove the lower bound (Theorem 1.4), and finally, based on the previous section, infers consequences from upper bounds on the parameterized complexity of , including Theorem 1.3.

4.1 Model-checking arithmetic

Recall $L^{\text {r}}_{\text {ar}}$ is the relational version of the language of arithmetic $L_{\text {ar}}$ . We observe that is “the same” as the parameterized model-checking problem for first-order logic over finite standard $L^{\text {r}}_{\text {ar}}$ -structures:

Lemma 4.1. There is a computable function that maps every $\Delta _0$ -formula $\varphi (x)$ to an $L^{\text {r}}_{\text {ar}}$ -sentence $\psi $ such that for all $n\in \mathbb {N}$ with $n>1$ :

(3) $$ \begin{align} \mathbb{N}\models \varphi(n) & \Longleftrightarrow n\models \psi. \end{align} $$

Further, there is a computable function that maps every $L^{\text {r}}_{\text {ar}}$ -sentence $\psi $ to a $\Delta _0$ -formula $\varphi (x)$ such that (3) holds all $n\in \mathbb {N}$ with $n>1$ .

Proof For the second assertion define $\varphi (x)$ as $\psi ^{<x}$ with atoms rewritten in the functional language $L_{\text {ar}}$ . The first assertion is folklore, see [Reference Gaifman and Dimitracopoulos22, Proposition 2.2]. We give a brief sketch for completeness. It is routine to compute, given a $\Delta _0$ -formula $\varphi (\bar x)$ , a constant $c_\varphi>1$ and an $L^{\text {r}}_{\text {ar}}$ -formula $\psi _0(\bar x)$ such that

$$ \begin{align*} \mathbb{N} \models \varphi(\bar n) & \Longleftrightarrow \mathbb{N} \models \psi_0^{<m}(\bar n) \end{align*} $$

for all $\bar n,m\in \mathbb {N}$ with $m\geqslant \text {max}\{\bar n,2\}^{c_\varphi }$ . Hence, for $n>1$ , the truth of $\varphi (n)$ is equivalent to $n^{c_\varphi } \models \psi _0(n)$ . Since the number n is definable in the standard $L^{\text {r}}_{\text {ar}}$ -structure $n^{c_\varphi }$ (as the minimal element whose $c_\varphi $ th power does not exist), we can replace $\psi _0(n)$ by some sentence $\psi _1$ . Then set $\psi :=\psi _1^{{\mathit I} _{c_\varphi }}$ for the interpretation ${\mathit I} _{c_\varphi }$ from Lemma 2.9.

4.2 A lower bound

In this subsection we prove the following.

Theorem 1.4. .

We fix a proper elementary extension M of the standard $L_{\text {ar}}^{\text {r}}$ -model $\mathbb {N}$ , and a nonstandard element $a\in M\setminus \mathbb {N}$ . We let $<^M$ denote the interpretation of $<$ in M. We need a simple lemma:

Lemma 4.2. Let $f: \mathbb {N}\to \mathbb {N}$ be a computable function. Then there is an $L_{\text {ar}}^{\text {r}}$ -formula $\chi _f(x, y)$ such that for every $k\in \mathbb {N}$ and every $b\in M$ :

$$ \begin{align*} f(k)=b & \iff M \models \chi_f^{<a}(k,b). \end{align*} $$

Proof Choose $\varphi _f(x,y,\bar z)$ according to Remark 2.5, and set $\chi _f(x,y):=\exists \bar z\varphi _f(x,y,\bar z)$ . In particular, $\varphi _f$ is quantifier-free, so $\chi _f^{<a}=\exists \bar z{<}a\ \varphi _f$ . Let $k\in \mathbb {N}$ and $ b\in M$ .

If $b=f(k)$ , then $\mathbb {N}\models \varphi _f(k,b,\bar m)$ for some $\bar m\in \mathbb {N}^{|\bar z|}$ since $\chi _f(x,y)$ defines f. Then $\bar m<^M a$ and $M\models \varphi _f(k,b,\bar m)$ , so $M\models \chi _f^{<a}(k,b)$ .

If $M \models \chi _f^{<a}(k,b)$ , then both $M\models \chi _f(k,b)$ and $M\models \chi _f(k,f(k))$ . But $\chi _f(x,y)$ defines a function in $\mathbb {N}$ and hence in M (by elementarity of the extension), so $b=f(k)$ .

Some notation: for $n\in \mathbb {N}$ define the $L^{\text {r}}_{\text {ar}}$ -formula $\text {"}x{=}n\text {"}$ by $\text {"}x{=}0\text {"}:= x{=}0$ and $\text {"}x{=}(n+1)\text {"}:=\exists y(\text {"}y{=}n\text {"}\wedge +(y,1,x))$ . For an $L^{\text {r}}_{\text {ar}}$ -formula $\varphi (y, \bar x)$ set $\varphi (\underline {n},\bar x):= \exists y (\text {"}y{=}n\text {"}\wedge \varphi (y, \bar x))$ ; we understand $\varphi ^{<z}(\underline {n}, \bar x)$ as $\big (\varphi (\underline {n}, \bar x)\big )^{<z}$ . If $n<m$ , then both $(\text {"}x{=}n\text {"})^{<m}$ and $\text {"}x{=}n\text {"}$ define n in $\mathbb {N}$ , so $\varphi ^{<m}(\underline {n}, \bar x)$ and $\varphi ^{<m}(n, \bar x)$ are equivalent in $\mathbb {N}$ . In particular, for every $n\in \mathbb {N}$ :

(4) $$ \begin{align} M\models\forall\bar x \big( \varphi^{<a}(\underline{n},\bar x) \leftrightarrow\varphi^{<a}(n,\bar x) \big). \end{align} $$

Proof of Theorem 1.4

For contradiction, assume otherwise, so by Lemma 4.1. By Corollary 2.7, there is an increasing computable function $h: \mathbb {N}\to \mathbb {N}$ and a sentence $\textit {sat}$ such that for every $n\in \mathbb {N}$ and every $L^{\text {r}}_{\text {ar}}$ -sentence $\varphi $ with $n> h(\mathit {num}(\varphi ))$ we have

(5) $$ \begin{align} n \models \varphi & \iff {\mathcal S}\big(\langle 1^n, \varphi\rangle\big) \models \textit{sat}. \end{align} $$

For $k<n$ , let $(n,k)$ denote the expansion of the standard $L^{\text {r}}_{\text {ar}}$ -structure n that interprets a constant c by k. It is clear that there is an interpretation ${\mathit I} $ (independent of $n, \varphi $ ) such that $(n,\mathit {num}(\varphi ))^{{\mathit I}}\cong {\mathcal S}( \langle 1^n, \varphi \rangle )$ for all $\varphi $ with $\mathit {num}(\varphi )<n$ . Replacing in $\textit {sat}^{{\mathit I}}$ the constant c by a new variable x gives an $L^{\text {r}}_{\text {ar}}$ -formula $\textit {true}(x)$ such that for $n> h(\mathit {num}(\varphi ))\geqslant \mathit {num}(\varphi )$ :

(6) $$ \begin{align} {\mathcal S}\big(\langle 1^n, \varphi\rangle\big) \models \textit{sat} & \iff n \models \textit{true}\big(\mathit{num}(\varphi)\big)\nonumber \\ & \iff \mathbb{N}\models \textit{true}^{<n}\big(\mathit{num}(\varphi)\big), \end{align} $$

where $\mathbb {N}$ is the standard $L^{\text {r}}_{\text {ar}}$ -model. Since $h: \mathbb {N}\to \mathbb {N}$ is computable, there is an $L^{\text {r}}_{\text {ar}}$ -formula $\text {"} h(x)< y\text {"}$ with the obvious meaning. Note the l.h.s. of (5) is equivalent to $\mathbb {N}\models \varphi ^{<n}$ . Combining (5) and (6) we get that $\mathbb {N}$ satisfies the universal closure of

$$\begin{align*}\text{"}h(\mathit{num}(\varphi))< y\text{"}\to \big(\varphi^{<y} \leftrightarrow \textit{true}^{<y}(\mathit{num}(\varphi))\big) \end{align*}$$

for every $L^{\text {r}}_{\text {ar}}$ -sentence $\varphi $ . But $M\models \text {"} h(\mathit {num}(\varphi ))<a\text {"}$ , hence

(7) $$ \begin{align} M \models \varphi^{<a} \leftrightarrow \textit{true}^{<a}(\mathit{num}(\varphi)) \end{align} $$

for every $L^{\text {r}}_{\text {ar}}$ -sentence $\varphi $ . As stated in [Reference Paris and Dimitracopoulos34, proof of Proposition 3] this contradicts Tarski’s undefinability of truth. We include the details as they are omitted in [Reference Paris and Dimitracopoulos34].

The function which for every $L^{\text {r}}_{\text {ar}}$ -formula $\varphi (x)$ maps $\mathit {num}(\varphi )$ to $\mathit {num}(\varphi (\underline {\mathit {num}(\varphi )}))$ is computable. So by Lemma 4.2, there is a formula $\textit {sub}(x,y)$ such that for every formula $\varphi (x)$ and every $b\in M$ :

(8) $$ \begin{align} b= \mathit{num}(\varphi(\underline{\mathit{num}(\varphi)})) & \iff M\models \textit{sub}^{<a}( \mathit{num}(\varphi), b). \end{align} $$

Define $\chi (x) := \forall y\big (\textit {sub}(x,y) \to \neg \textit {true}(y))$ and $\theta :=\chi (\underline {\mathit {num}(\chi )})$ , and note

(9) $$ \begin{align} \mathit{num}(\theta)= \mathit{num}(\chi(\underline{\mathit{num}(\chi)})). \end{align} $$

We arrive at the desired contradiction:

$$\begin{align*}\!\!\!\!\!\!\!\begin{array}{@{}lrll} & M \models \theta^{<a} \iff & M\models \forall y{<}a \big(\textit{sub}^{<a}(\mathit{num}(\chi),y)\to \neg \textit{true}^{<a}(y)\big) & \text{by (}{4}\text{)} \\ & \iff &\text{for all } b<^M a: M \models \textit{sub}^{<a}(\mathit{num}(\chi),b) \to \neg \textit{true}^{<a}(b) \\ & \iff & M\models \neg \textit{true}^{<a}(\mathit{num}(\theta)) & \text{by (}{8}\text{) and (}{9}\text{)} \\ & \iff & M\not\models \theta^{<a} & \text{by (}{7}\text{)}. \end{array} \end{align*}$$

4.3 Upper bounds

Based on our analysis of halting problems in Section 3, we now see that various upper bounds on the complexity of imply separations of classical complexity classes from $\mathsf {LINH}$ . This is our main result. The first assertion is Theorem 1.3:

Theorem 4.3.

  1. (i) If , then $\mathsf {NE}\not \subseteq \mathsf {LINH}$ .

  2. (ii) If , then $\mathsf {E}\not \subseteq \mathsf {LINH}$ .

  3. (iii) If , then $\mathsf {NLINSPACE}\not \subseteq \mathsf {LINH}$ .

  4. (iv) If , then $\mathsf {LINSPACE}\not \subseteq \mathsf {LINH}$ .

Proof Since is an almost tally problem, (i) follows from Theorem 1.4 and Corollary 3.13. The other assertions follow using Lemma 3.14.

5 Provability of the MRDP theorem

In this section we prove:

Theorem 1.5. If $I\Delta _0$ proves MRDP for small numbers, then $\mathsf {NE}\not \subseteq \mathsf {LINH}$ .

In fact, we show that Theorem 1.3 implies a stronger statement for all computably enumerable $\Pi _1$ -theories—up to logical equivalence, $I\Delta _0$ is a $\Pi _1$ -theory. Here, a theory is a set of sentences, and a $\Pi _1$ -theory is a set of $\Pi _1$ -sentences. The proof uses Parikh’s theorem [Reference Parikh33]:

Theorem 5.1. Let T be a $\Pi _1$ -theory and $\varphi (\bar x, \bar y)$ a $\Delta _0$ -formula. If T proves $\exists \bar y\; \varphi (\bar x, \bar y)$ , then T proves $\exists \bar y{<}p(\bar x)\; \varphi (\bar x, \bar y) $ for some term $p(\bar x)$ .

Definition 5.2. A theory T proves MRDP if for every $\Delta _0$ -formula $\varphi (\bar x)$ there are $L_{\text {ar}}$ -terms $p(\bar x, \bar y)$ and $q(\bar x, \bar y)$ such that T proves

$$ \begin{align*} \varphi(\bar x) \leftrightarrow \exists \bar y\; p(\bar x, \bar y){=} q(\bar x, \bar y). \end{align*} $$

As mentioned in the introduction it is a long standing open problem whether $I\Delta _0$ proves MRDP and it is known that adding exponentiation suffices. Intuitively, the following concept asks whether MRDP can be proved using exponentiation only once.

Definition 5.3. A theory T proves MRDP for small numbers if for every $k\in \mathbb {N}$ and every $\Delta _0$ -formula $\varphi (\bar x)= \varphi (x_0, \ldots , x_{k-1})$ there are $L_{\text {ar}}$ -terms $p(\bar x, \bar y)$ and $q(\bar x, \bar y)$ such that T proves

(10) $$ \begin{align} \textstyle\bigwedge_{i<k} 2^{x_i}{\leqslant}z & \to \Big(\varphi(\bar x) \leftrightarrow \exists \bar y\; p(\bar x, \bar y){=} q(\bar x, \bar y)\Big). \end{align} $$

Here, $2^x{\leqslant }z$ stands for a well-known $\Delta _0$ -formula [Reference Hájek and Pudlák25, Section V.3(c)]. The following strengthens Theorem 1.5:

Theorem 5.4. Let T be a true $\Pi _1$ -theory. Moreover, assume that T is computably enumerable. If T proves MRDP for small numbers, then and thus $\mathsf {NE}\not \subseteq \mathsf {LINH}$ .

Proof Assume T proves (10) for $\varphi (x)$ , and hence

$$\begin{align*}2^{x}{\leqslant}z \wedge \varphi(x) \to \exists \bar y\; p(x, \bar y){=} q(x, \bar y). \end{align*}$$

By Theorem 5.1 $\exists \bar y$ can be replaced by $\exists \bar y{<}r(x,z)$ for some term $r(x,z)$ . But since T proves (10) for $\varphi (x)$ , T proves

$$\begin{align*}2^{x}{\leqslant}z \to\big( \varphi(x) \leftrightarrow \exists \bar y{<}r(x,z)\; p(x, \bar y){=} q(x, \bar y)\big). \end{align*}$$

Since T is computably enumerable, such terms $p,q,r$ can be computed from $\varphi $ . Given an instance $ \langle 1^n,\varphi \rangle $ of , compute $p,q,r$ as above, guess $\bar m<r(n,2^n)$ and check $p(n, \bar m){=} q(n, \bar m)$ . Note the length of the guess $\bar m$ is $O(|r|\cdot \ell \cdot n)$ where $\ell $ is the length of the tuple $\bar y$ . The check can be done in time $(|p|\cdot |q|\cdot |r|\cdot n)^{O(1)}$ .

It follows that . Now apply Theorem 1.3.

It would be interesting to find variants of this result that infer or from certain provabilities of MRDP or other arithmetical statements. Note this implies stronger separations of complexity classes by Theorem 4.3.

6 p-Halt and a universal $\mathsf {AC}^0$ -easy set in $\mathsf {NP}$

Recall, a problem Q is $\mathsf {AC}^0$ -bi-immune if neither Q nor its complement contain an infinite subset in $\mathsf {AC}^0$ . In this section we prove the following.

Theorem 1.6. If $\mathsf {NP}$ contains an $\mathsf {AC}^0$ -bi-immune problem, then .

We use the following technical lemma stating, roughly, that every computable function is dominated by a computable injection which is $\mathsf {AC}^0$ -invertible.

Lemma 6.1. Let $f: \mathbb {N}\to \mathbb {N}$ be computable. Then there is an increasing $h: \mathbb {N}\to \mathbb {N}$ with the following properties.

  1. (i) $h(n)\geqslant f(n^2)$ for every $n\in \mathbb {N}$ .

  2. (ii) $1^n\mapsto 1^{h(n)}$ is computable in time $h(n)^{O(1)}$ .

  3. (iii) There is an $L^{\text {r}}_{\text {ar}}$ -sentence $\varphi _h$ such that for every $x\in \{0,1\}^*$ with $|x|>1$ :

    $$ \begin{align*} {\mathcal S}(x)\models\varphi_h & \iff x= 1^{h(n)} \text{ for some } n\in \mathbb{N}. \end{align*} $$
  4. (iv) There is an $L^{\text {r}}_{\text {ar}}$ -formula $\varphi (x)$ that defines n in $ {\mathcal S}(1^{h(n)})$ for every $n>1$ .

Proof Given a deterministic Turing machine $\mathbb M$ and $x\in \{0,1\}^*$ we let $y_{\mathbb M, x}\in \{0,1\}^*$ encode the computation of $\mathbb M$ on x. This encoding can be chosen so that:

  1. (a) $x\mapsto y_{\mathbb M, x}$ is computable in time $|y_{\mathbb M, x}|^{O(1)}$ .

  2. (b) $\big \{ \langle x, y_{\mathbb M, x} \rangle \;\big |\; x\in \{0,1\}^*\big \}\in \mathsf {AC}^0$ .

Now, let $\mathbb M_f$ be a Turing machine that computes $1^n\mapsto 1^{f(n)}$ . Let $\mathbb M$ be the machine that on input $1^n$ runs $\mathbb M_f$ on $1^{i^2}$ for every $i\leqslant n$ . Define the increasing function $h:\mathbb {N}\to \mathbb {N}$ by

(11) $$ \begin{align} h(n)= \mathit{num}\big(\langle 1^n, y_{\mathbb M, 1^n}\rangle\big). \end{align} $$

Clearly, the string $y_{\mathbb M_f, 1^{n^2}}$ encoding the computation of $\mathbb M_f$ on input $1^{n^2}$ has length at least $f(n^2)$ . Similarly, $|y_{\mathbb M, 1^n}|\geqslant f(n^2)$ . Thus $h(n)\geqslant f(n^2)$ for every $n\in \mathbb {N}$ , i.e., (i) holds.

(ii) holds by (a). To show (iii), Theorem 2.6 and (b) imply that there is an $L^{\text {r}}_{\text {ar}}$ -sentence $\varphi $ that holds precisely in the string structures of the form ${\mathcal S}\big (\mathit {bin}(h(n))\big )$ for $n\in \mathbb {N}$ . Using $\mathit {BIT}$ , there is an interpretation ${\mathit I} $ such that $\mathcal S(1^m)^{{\mathit I}}\cong {\mathcal S}(\mathit {bin}(m))$ for every $m> 1$ , so $\varphi _h:= \varphi ^{{\mathit I}}$ holds precisely in the string structures of the form ${\mathcal S}(1^{h(n)})$ for $n\in \mathbb {N}$ (we have $h(n)>1$ for all $n\in \mathbb {N}$ ).

Trivially, n is definable in ${\mathcal S}(\mathit {bin}(h(n)))$ , so (iv) follows using the interpretation I above.

Theorem 1.6 is an easy consequence of the following stronger result, and we view it as good evidence for the truth of Conjecture 1.1.

Theorem 6.2. Assume . Then there is an infinite tally problem X such that for every $Q\in \mathsf {NP}$ we have $Q\cap X\in \mathsf {AC}^0$ .

Proof of Theorem 1.6 from Theorem 6.2: Assume and let $Q\in \mathsf {NP}$ . Let X be as stated in Theorem 6.2. Then either $Q\cap X$ or $(\{0,1\}^*\setminus Q)\cap X$ is infinite. By Theorem 6.2 they are both in $\mathsf {AC}^0$ ; indeed, $(\{0,1\}^*\setminus Q)\cap X=(\{0,1\}^*\cap X)\setminus (Q\cap X) $ is in $\mathsf {AC}^0$ because both $\{0,1\}^*\cap X$ and $Q\cap X$ are. Hence, Q is not $\mathsf {AC}^0$ -bi-immune.

Proof of Theorem 6.2

By Corollary 2.7 there is a computable increasing function $f:\mathbb {N}\to \mathbb {N}$ and an $L^{\text {r}}_{\text {ar}}$ -sentence $\varphi $ such that for every $ \langle 1^n, \mathbb M \rangle $ with $n \geqslant f(|\mathbb M|)$ :

(12) $$ \begin{align} {\mathcal S}\big(\langle 1^n, \mathbb M\rangle\big)\models \varphi & \iff \mathbb M \text{ accepts the empty input tape in at most } n \text{ steps}. \end{align} $$

Now let $h: \mathbb {N}\to \mathbb {N}$ be the increasing function as stated in Lemma 6.1. In particular, there is a deterministic Turing machine $\mathbb M_h$ and a constant $c\geqslant 1$ such that on input $1^m$ the machine $\mathbb M_h$ outputs the string $1^{h(m)}$ in time $h(m)^c$ . The desired set X is defined by

$$\begin{align*}X:= \big\{1^{h(m)} \;\big|\; m>1\big\}. \end{align*}$$

By Lemma 6.1(iii) the sentence $\varphi _h$ witnesses $X\in \mathsf {AC}^0$ according to Theorem 2.6.

Now let $Q\subseteq \{0,1\}^*$ be a problem in $\mathsf {NP}$ . In particular, there is a nondeterministic Turing machine $\mathbb M_Q$ accepting Q and a constant $d\geqslant 1$ such that $\mathbb M_Q$ on x runs in time $|x|^d$ .

Define the nondeterministic Turing machine $\mathbb M_{Q,h,m}$ to run $\mathbb M_h$ on $1^m$ to produce output $1^{h(m)}$ and then run $\mathbb M_Q$ on $1^{h(m)}$ . This machine runs in time

$$\begin{align*}n(m):= h(m)^c + h(m)^{d}. \end{align*}$$

Choose a constant $e\in \mathbb {N}$ such that $m\geqslant |\mathbb M_h|+ |\mathbb M_Q|+ e$ implies $m^2\geqslant |\mathbb M_{Q,h,m}|$ . Then

$$ \begin{align*} n(m) \geqslant h(m)\geqslant f(m^2)\geqslant f(|\mathbb M_{Q,h,m}|). \end{align*} $$

Hence, by (12), for $m\geqslant |\mathbb M_h|+ |\mathbb M_Q|+e$ :

(13) $$ \begin{align} 1^{h(m)}\in Q & \iff {\mathbb M}_{Q,h,m} \text{ accepts the empty input in at most } n(m) \text{ steps}\notag \\ & \iff {\mathcal S}(\langle 1^{n(m)},\mathbb M_{Q,h,m}\rangle)\models \varphi. \end{align} $$

Lemma 6.1(iv) implies that there is an interpretation ${\mathit I} $ such that for every $m\in \mathbb {N}$

$$\begin{align*}{\mathcal S}(1^{h(m)})^{{\mathit I}} = {\mathcal S}\big(\langle 1^{n(m)}, \mathbb M_{Q,h,m}\rangle\big). \end{align*}$$

By Theorem 2.6 it suffices to show that for every $x\in \{0,1\}^*$ with $|x|\geqslant h(|\mathbb M_h|+ |\mathbb M_Q|+ e)$ :

$$ \begin{align*} x\in Q\cap X & \iff {\mathcal S}(x)\models \varphi_h\wedge \varphi^{{\mathit I}}. \end{align*} $$

Assume $x\in Q\cap X$ . Then $x=1^{h(m)}$ for some $m>1$ and $\mathcal S(x)\models \varphi _h$ . Since $|x|=h(m)\geqslant h(|\mathbb M_h|+ |\mathbb M_Q|+e)$ and h is increasing, we have $m\geqslant |\mathbb M_h|+ |\mathbb M_Q|+e$ . Thus $x=1^{h(m)}\in Q$ implies ${\mathcal S}( \langle 1^{n(m)}, \mathbb M_{Q,h,m} \rangle )\models \varphi $ by (13), and ${\mathcal S}(1^{h(m)})\models \varphi ^{{\mathit I}}$ follows.

Conversely, assume $S(x)\models \varphi _h\wedge \varphi ^{{\mathit I}}$ . By $\mathcal S(x)\models \varphi _h$ , we have $x\in X$ , so $x=1^{h(m)}$ for some $m>1$ . By ${\mathcal S}(1^{h(m)})\models \varphi ^{{\mathit I}}$ we have ${\mathcal S}( \langle 1^{n(m)}, \mathbb M_{Q,h,m} \rangle )\models \varphi $ . This implies $x=1^{h(m)}\in Q$ by (13) because, as above, $m\geqslant |\mathbb M_h|+ |\mathbb M_Q|+e$ .

7 Problem comparison

7.1 The role of uniformity

Our proof of the lower bound (Theorem 1.4) makes crucial use of the uniformity condition in the definition of $\mathsf {para}\text {-}\mathsf {AC}^0$ . To shed some light on this dependence, we relax the uniformity condition as follows.

Definition 7.1. Let $(Q,\kappa )$ be a parameterized problem and $d,k\in \mathbb {N}$ . The kth slice of $(Q,\kappa )$ is the classical problem $\{x\in Q\mid \kappa (x)=k\}$ . The class ${\mathsf {XAC}^0}$ contains $(Q,\kappa )$ if and only if $\mathsf {AC}^0$ contains every slice of $(Q,\kappa )$ . The class ${\mathsf {XAC}^0_{d}}$ contains $(Q,\kappa )$ if and only if ${\mathsf {AC}^0_{d}}$ contains every slice of $(Q,\kappa )$ ; here, ${\mathsf {AC}^0_{d}}$ denotes the class of problems decided by dlogtime uniform circuit families of polynomial size and depth d.

Clearly,

(14) $$ \begin{align} \textstyle \mathsf{para}\text{-}\mathsf{AC}^0\subseteq \bigcup_{d\in \mathbb{N}}{\mathsf{XAC}^0_{d}} \subseteq{\mathsf{XAC}^0} \end{align} $$

and ${\mathsf {XAC}^0_{0}} \not \subseteq \mathsf {para}\text {-}\mathsf {AC}^0$ since it contains undecidable problems.

Lemma 7.2. Assume there is an eventually definable reduction from $(Q, \kappa )$ to $(Q', \kappa ')$ .

  1. (i) If $(Q', \kappa ')\in {\mathsf {XAC}^0}$ , then $(Q, \kappa )\in {\mathsf {XAC}^0}$ .

  2. (ii) If $(Q', \kappa ')\in \bigcup _d {\mathsf {XAC}^0_{d}}$ , then $(Q, \kappa )\in \bigcup _d {\mathsf {XAC}^0_{d}}$ .

Proof Let r denote the reduction and choose f such that $\kappa '\circ r\leqslant f\circ \kappa $ . Choose an interpretation I and a function h witnessing that r is eventually definable. To show (i), assume $(Q',\kappa ')\in {\mathsf {XAC}^0}$ . We show that for every $k\in \mathbb {N}$ the kth slice of Q is in  $\mathsf {AC}^0$ .

Fix $k\in \mathbb {N}$ and let $x\in \{0,1\}^*$ with $\kappa (x)=k$ . Since $\kappa '$ is $\mathsf {AC}^0$ -computable, Theorem 2.6 implies that for every $k'\in \mathbb {N}$ there is a sentence $\chi _{k'}$ that is true in ${\mathcal S}(r(x))$ if and only if $\kappa '(r(x))=k'$ . For every $k'\in \mathbb {N}$ choose a sentence $\psi _{k'}$ that defines the $k'$ th slice of $Q'$ according to Theorem 2.6. If $|x|\geqslant h(k)$ , then

$$ \begin{align*}\textstyle \varphi:=\bigvee_{k'\leqslant f(k)} (\chi_{k'}\wedge\psi_{k'})^I \end{align*} $$

is true in ${\mathcal S}(x)$ if and only if $r(x)\in Q'$ , i.e., $x\in Q$ . Translating $\varphi $ gives an $\mathsf {AC}^0$ -family that decides the kth slice of Q on instances x with $|x|\geqslant h(k)$ . This can be extended to the whole slice by hardwiring instances of length $<h(k)$ .

For (ii) we assume there is $d\in \mathbb {N}$ such that every slice of $Q'$ is in $\mathsf {AC}^0_d$ . Now, in Theorem 2.6, the quantifier alternation rank of $\varphi $ depends only on the depth of the $\mathsf {AC}^0$ -family, and vice-versa; this follows from the proof of [Reference Barrington, Immerman and Straubing6, Theorem 8.1]. In particular, all $\psi _{k'}$ and $\chi _{k'}$ have quantifier alternation rank $\leqslant d'$ for some $d'$ that depends only on d. The depth of the $\mathsf {AC}^0$ -family translating the above $\varphi $ is $\leqslant d"$ for some $d"$ depending only on $d'$ . The hardwiring of instances of small length can be done by circuits of depth $2$ . Thus, $(Q,\kappa )\in {\mathsf {XAC}^0_{d"}}$ .

The class ${\mathsf {XAC}^0}$ is important in our context because it is a natural upper bound on :

Proposition 7.3. .

Proof It suffices to show that for every $\Delta _0$ -formula $\varphi (x)$ the problem $\{1^n\mid \mathbb {N}\models \varphi (n)\}$ belongs to $\mathsf {AC}^0$ . But this problem is $\mathit {un}(Q)$ for $Q:= \{x\in \{0,1\}^*\mid \mathbb {N}\models \varphi (\mathit {num}(x))\}$ . Clearly $Q\in \mathsf {LINH}$ , so $\mathit {un}(Q)\in \mathsf {AC}^0$ follows from Proposition 2.1.

We show that it is likely difficult to improve Theorem 1.4 to . This somewhat artificial class also exhibits the different behaviors of the parameterized problems , , and .

Theorem 7.4.

  1. (i) .

  2. (ii) for some $d\in \mathbb {N}$ if and only if $\mathsf {NE}\subseteq \mathsf {LINH}$ .

  3. (iii) for some $d\in \mathbb {N}$ if and only if $\mathsf {LINH}$ collapses.

Proof (i) For fixed $k\in \mathbb {N}$ , let $\mathbb M_{k,0}, \ldots , \mathbb M_{k,\ell _k-1}$ list all nondeterministic Turing machines of size k and let $n_{k,i}$ be the minimal n such that $\mathbb M_{k,i}$ accepts the empty input in n steps; if there is no such n, let $n_{k,i}:=\infty $ . Then, on instances $(1^n,\mathbb M)$ with parameter $|\mathbb M|=k$ , is decided by the following family of simple Boolean functions:

$$ \begin{align*} F_{n,k}(& x_0\ldots x_{n-1}, y_0\ldots y_{k-1}) = \bigvee_{\substack{i<\ell_k \text{ such} \\ \text{that } n_{k,i}\leqslant n}}\big(x_0\ldots x_{n-1}= 1^n \wedge y_0\ldots y_{k-1}= \mathbb M_{k,i}\big). \end{align*} $$

Observe that $F_{n,k}$ can be understood as a circuit of depth $2$ and size $O(k\cdot \ell _k\cdot n)$ .

(ii) By Remark 3.10, $\mathsf {NE}\subseteq \mathsf {LINH}$ is equivalent to both and . By (14) it is equivalent to .

To see (iii), assume $\mathsf {LINH}$ collapses. Paris and Dimitracopolous [Reference Paris and Dimitracopoulos34, proof of Proposition 4] showed that this implies the following. There is an $L^{\text {r}}_{\text {ar}}$ -formula $\lambda (x,y)$ such that for every $\Delta _0$ -formula $\varphi (x)$ there are $c_\varphi ,d_\varphi ,e_\varphi \in \mathbb {N}$ such that for all $n\geqslant c_\varphi $

$$ \begin{align*} \mathbb{N}\models \varphi(n) & \iff n^{d_\varphi}\models\lambda(n,e_\varphi). \end{align*} $$

For each fixed $\varphi $ there is an $\mathsf {AC}^0$ -family that given $1^n$ decides whether n satisfies the r.h.s. The size of this family is bounded by $n^{f_\varphi }$ for some $f_\varphi \in \mathbb {N}$ depending on $\varphi $ , but the depth of this family is determined by the quantifier alternation rank of $\lambda $ and, in particular, does not depend on $\varphi $ . This implies for some $d\in \mathbb {N}$ .

Conversely, assume and let $Q\in \mathsf {LINH}$ . It is well known (see, e.g., [Reference Hájek and Pudlák25, Chapter V, Lemma 2.13]) that there is a $\Delta _0$ -formula that is satisfied by $\mathit {num}(x)$ if and only if $x\in Q$ . Fixing this formula in the input to , the assumption implies that there is a dlogtime uniform circuit family $(C_{n})_n$ of polynomial size and depth d such that for all $x\in \{0,1\}^*$ :

$$ \begin{align*} x\in Q & \iff C_{\mathit{num}(x)}(1^{\mathit{num}(x)})=1. \end{align*} $$

It suffices to show that, given x, the r.h.s. can be checked by an alternating machine in linear time with d alternations. This is straightforward by guessing a path through $C_{\mathit {num}(x)}$ . For example, if the output gate is a $\vee $ -gate, the machine existentially guesses an input gate $g_1$ to it, and if it is a $\wedge $ -gate it universally guesses $g_1$ . Depending on the type of $g_1$ it either existentially or universally guesses an input gate $g_2$ to $g_1$ , and so on. When reaching (with $g_{d-1}$ or earlier) an input gate or a negation thereof, the machine accepts or rejects, respectively. Each guess requires $O(|x|)$ bits. Checking that, e.g., $g_2$ is an input to $g_1$ can be done in time logarithmic in the size of $C_{\mathit {num}(x)}$ , that is, in time $O(|x|)$ . We omit further details.

7.2 Reducibilities

On the one hand might appear ‘easier’ than in that the latter is not in $\mathsf {para}\text {-}\mathsf {AC}^0$ while this is unknown for the former. On the other hand, Theorem 7.4 might indicate that is ‘harder’ than . Also recall from the introduction that is trivially in $\mathsf {para}\text {-}\mathsf {NP}$ but not known to be solvable in time $n^{f(k)}$ while for it is the other way around. The problems seem incomparable. In this subsection we verify this intuition for our notion of reducibility.

Saying that a (parameterized) problem is reducible to another means that there is an eventually definable reduction. Two problems are equivalent if they are reducible to one another. The picture is as follows: an arrow indicates reducibility, $\equiv $ means equivalence.

In particular, we show unconditionally that and are not equivalent and both are reducible to yet another almost tally problem of central importance to mathematical logic, namely the following parameterized version of the spectrum problem:

Recall that having a model of size n means that n belongs to the spectrum of $\varphi $ .

We start comparing and . By Example 3.6, is reducible to . Concerning the converse we have the following.

Corollary 7.5. If is reducible to , then $\mathsf {NE}\subseteq \mathsf {LINH}$ .

Proof By Theorem 7.4(i), . If is reducible to , then by Lemma 7.2(ii). This implies $\mathsf {NE}\subseteq \mathsf {LINH}$ by Theorem 7.4(ii).

Adapting a mode of speech from [Reference Chen and Flum8], call an almost tally problem $(Q,\kappa )$ slicewise monotone if $(1^n,x)\in Q$ implies $(1^m,x)\in Q$ for all $x\in \{0,1\}^*$ and all $n, m\in \mathbb {N}$ with $n<m$ . One can show that is the hardest such problem in $\mathsf {para}\text {-}\mathsf {NP}$ . This is an easy modification of the proof of Lemma 3.12 and strengthens [Reference Chen and Flum8, Proposition 11]:

Corollary 7.6. Every almost tally problem in $\mathsf {para}\text {-}\mathsf {NP}$ that is slicewise monotone is reducible to .

We turn to and .

Corollary 7.7.

  1. (i) If is reducible to , then $\mathsf {NE}\not \subseteq \mathsf {LINH}$ .

  2. (ii) If is reducible to , then $\mathsf {NE}\subseteq \mathsf {LINH}$ .

  3. (iii) and are not equivalent.

Proof (iii) follows from (i) and (ii). For (i), assume is reducible to . Then and $\mathsf {NE}\not \subseteq \mathsf {LINH}$ follows by Theorem 1.3.

For (ii), assume is reducible to . Then by Proposition 7.3 and Lemma 7.2(i). This implies $\mathsf {NE}\subseteq \mathsf {LINH}$ by Remark 3.10.

Finally, we turn to :

Proposition 7.8. Both and are reducible to .

Proof It is straightforward to compute from a nondeterministic Turing machine $\mathbb M$ a first-order sentence $\varphi _{\mathbb M}$ that has a model of size n if and only if $\mathbb M$ accepts the empty input in exactly n steps.

Concerning , by Lemma 4.1, it suffices to show that is reducible to : map an instance $(1^n,\varphi )$ of to $(1^n,\varphi \wedge \psi )$ where $\psi $ is an $L^{\text {r}}_{\text {ar}}$ -sentence whose finite models are exactly those isomorphic to some standard finite $L^{\text {r}}_{\text {ar}}$ -structure.

Observe can be solved in nondeterministic time $n^{f(k)}$ for some computable $f:\mathbb {N}\to \mathbb {N}$ where $k:=|\varphi |$ is the parameter. Can the parameter be moved out of the exponent? We find it worthwhile to explicitly point out the following direct corollary of the previous proposition and Theorem 1.3:

Corollary 7.9. If , then $\mathsf {NE} \not \subseteq \mathsf {LINH}$ .

Acknowledgements

We thank the anonymous referees for their detailed comments. A partial conference version of this article appeared as [Reference Chen, Müller and Yokoyama13].

Funding

Yijia Chen is supported by the National Natural Science Foundation of China (Project 62372291). Keita Yokoyama is partially supported by JSPS KAKENHI grant numbers JP19K03601, JP21KK0045, and JP23K03193.

Footnotes

1 All required definitions will be given precisely in Section 2.

2 [Reference Chen, Flum and Müller12] gives a direct proof of the equivalence of the first two hypotheses.

3 [Reference Allender, Gore and Cai2] studies $\mathsf {AC}^0$ -immunity but their oracle constructions can be adapted to $\mathsf {AC}^0$ -bi-immunity.

4 We assume $\neg $ gates are in front of inputs and not counted in depth; e.g., CNFs have depth 2.

References

Allender, E., Beigel, R., Hertrampf, U., and Homer, S., Almost-everywhere complexity hierarchies for nondeterministic time . Theoretical Computer Science , vol. 115 (1993), no. 2, pp. 225241.CrossRefGoogle Scholar
Allender, E. and Gore, V., On strong separations from $\textrm{AC}^0$ , Advances in Computational Complexity Theory (Cai, Jin-Yi, editor), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 13, DIMACS/AMS, 1990, pp. 2138.CrossRefGoogle Scholar
Arora, S. and Barak, B., Computational Complexity–A Modern Approach , Cambridge University Press, Cambridge, 2009.CrossRefGoogle Scholar
Aumann, Y. and Dombb, Y., Fixed structure complexity , 3rd International Workshop on Parameterized and Exact Computation (IWPEC’08) , LNCS 5018, Springer, Berlin Heidelberg, New York, 2008, pp. 3042.CrossRefGoogle Scholar
Balcázar, J. L. and Schöning, U., Bi-immune sets for complexity classes . Mathematical Systems Theory , vol. 18 (1985), no. 1, pp. 110.CrossRefGoogle Scholar
Barrington, D. A. M., Immerman, N., and Straubing, H., On uniformity within $\textrm{NC}^1$ . Journal of Computer and System Sciences , vol. 41 (1990), no. 3, pp. 274306.CrossRefGoogle Scholar
Chen, Y. and Flum, J., A logic for PTIME and a parameterized halting problem , Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, (LICS’09) , IEEE Computer Society, Los Alamitos, 2009, pp. 397406.CrossRefGoogle Scholar
Chen, Y. and Flum, J., On slicewise monotone parameterized problems and optimal proof systems for TAUT , Proceedings of the 24th International Workshop Computer Science Logic (CSL’10) , LNCS 6247, Springer, Berlin Heidelberg, New York 2010, pp. 200214.Google Scholar
Chen, Y. and Flum, J., On the complexity of Gödel’s proof predicate . The Journal of Symbolic Logic , vol. 75 (2010), no. 1, pp. 239254.CrossRefGoogle Scholar
Chen, Y. and Flum, J., From almost optimal algorithms to logics for complexity classes via listings and a halting problem . Journal of the ACM , vol. 59 (2012), no. 4, pp. 134.CrossRefGoogle Scholar
Chen, Y. and Flum, J., Some lower bounds in parameterized  $\textrm{AC}^0$ . Information and Computation , vol. 267 (2019), pp. 116134.CrossRefGoogle Scholar
Chen, Y., Flum, J., and Müller, M., A surprising relationship between descriptive complexity and proof complexity . Bulletin of the EATCS, the Logic in Computer Science Column by Yuri Gurevich , vol. 138 (2022), p. 2022.Google Scholar
Chen, Y., Müller, M., and Yokoyama, K., A parameterized halting problem, the linear time hierarchy, and the MRDP theorem , Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS’18) , ACM, New York, 2018, pp. 235244.CrossRefGoogle Scholar
Davis, M., Hilbert’s tenth problem is unsolvable . The American Mathematical Monthly , vol. 80 (1973), no. 3, pp. 233269.CrossRefGoogle Scholar
Downey, R. G. and Fellows, M. R., Parameterized Complexity , Monographs in Computer Science, Springer, Berlin Heidelberg, New York, 1999.CrossRefGoogle Scholar
Downey, R. G. and Fellows, M. R., Fundamentals of Parameterized Complexity , Texts in Computer Science, Springer, 2013.CrossRefGoogle Scholar
Ebbinghaus, H.-D. and Flum, J., Finite Model Theory , Perspectives in Mathematical Logic, Springer, Berlin Heidelberg, New York, 1995.Google Scholar
Elberfeld, M., Stockhusen, C., and Tantau, T., On the space and circuit complexity of parameterized problems: Classes and completeness . Algorithmica , vol. 71 (2015), no. 3, pp. 661701.CrossRefGoogle Scholar
Flum, J. and Grohe, M., Describing parameterized complexity classes . Information and Computation , vol. 187 (2003), no. 2, pp. 291319.CrossRefGoogle Scholar
Flum, J. and Grohe, M., Parameterized Complexity Theory , Texts in Theoretical Computer Science. An EATCS Series, Springer, Berlin Heidelberg, New York, 2006.Google Scholar
Fortnow, L. and Santhanam, R., New non-uniform lower bounds for uniform classes, Proceedings of the 31st Conference on Computational Complexity (CCC’16) , LIPIcs, 50, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2016, pp. 19:119:14.Google Scholar
Gaifman, H. and Dimitracopoulos, C., Fragments of arithmetic and the MRDP theorem, Logic and Algorithmic , Monographie de L’Enseignement Mathematique, 30, Université de Genève, Geneva, 1982, pp. 187206.Google Scholar
Geske, J. G., Huynh, D. T., and Seiferas, J. I., A note on almost-everywhere-complex sets and separating deterministic-time-complexity classes . Information and Computation , vol. 92 (1991), no. 1, pp. 97104.CrossRefGoogle Scholar
Gurevich, Y., Logic and the challenge of computer science , Current Trends in Theoretical Computer Science , (E. Börger, editor), Computer Science Press, New York, 1988, pp. 157.Google Scholar
Hájek, P. and Pudlák, P., Metamathematics of First-Order Arithmetic , Perspectives in Mathematical Logic, Oxford University Press, Oxford, 1998. Second printing.Google Scholar
Immerman, N., Descriptive Complexity . Graduate Texts in Computer Science, Springer, Berlin Heidelberg, New York, 1999.CrossRefGoogle Scholar
Kaye, R., Diophantine induction . Annals of Pure and Applied Logic , vol. 46 (1990), pp. 140.CrossRefGoogle Scholar
Kaye, R., Models of Peano Arithmetic , Oxford Logic Guides, Springer, Berlin, 1991.CrossRefGoogle Scholar
Krajíček, J., Exponentiation and second order bounded arithmetic . Annals of Pure and Applied Logic , vol. 48 (1990), no. 3, pp. 261276.CrossRefGoogle Scholar
Krajícek, J. and Pudlák, P., Propositional proof systems, the consistency of first order theories and the complexity of computations . The Journal of Symbolic Logic , vol. 54 (1989), no. 3, pp. 10631079.CrossRefGoogle Scholar
Mayordomo, E., Almost every set in exponential time is p-bi-immune . Theoretical Computer Science , vol. 136 (1994), no. 2, pp. 487506.CrossRefGoogle Scholar
Papadimitriou, C. H., Computational Complexity , Addison-Wesley, Boston, 1994.Google Scholar
Parikh, R., Existence and feasibility in arithmetic . The Journal of Symbolic Logic , vol. 36 (1971), pp. 494508.CrossRefGoogle Scholar
Paris, J. B. and Dimitracopoulos, C., Truth definitions for ${\varDelta}_0$ formulae , Logic and Algorithmic , Monographie de L’Enseignement Mathematique, 30, Université de Genève, Geneva, 1982, pp. 317329.Google Scholar
Schweikardt, N., Arithmetic, first-order logic, and counting quantifiers . ACM Transactions on Computational Logic , vol. 6 (2005), no. 3, pp. 634671.CrossRefGoogle Scholar
Wilkie, A. J., Applications of complexity theory to ${\varSigma}_0$ -definability problems in arithmetic , Model Theory of Algebra and Arithmetic , (L. Pacholski and J. Wierzejewski, editors), Lecture Notes in Mathematics 834, Springer, Berlin Heidelberg, New York, 1980, pp. 363369.CrossRefGoogle Scholar
Zimand, M., Large sets in $\textrm{AC}^0$ have many strings with low Kolmogorov complexity . Information Processing Letters , vol. 62 (1997), no. 3, pp. 165170.CrossRefGoogle Scholar