Abstract:Descriptive complexity theory aims at inferring a problem's computational complexity from the syntactic complexity of its description. A cornerstone of this theory is Fagin's Theorem, by which a graph property is expressible in existential second-order logic (ESO logic) if, and only if, it is in NP. A natural question, from the theory's point of view, is which syntactic fragments of ESO logic also still characterize NP. Research on this question has culminated in a dichotomy result by Gottlob, Kolatis, and Schwentick: for each possible quantifier prefix of an ESO formula, the resulting prefix class either contains an NP-complete problem or is contained in P. However, the exact complexity of the prefix classes inside P remained elusive. In the present paper, we clear up the picture by showing that for each prefix class of ESO logic, its reduction closure under first-order reductions is either FO, L, NL, or NP. For undirected, self-loop-free graphs two containment results are especially challenging to prove: containment in L for the prefix $\exists R_1 \cdots \exists R_n \forall x \exists y$ and containment in FO for the prefix $\exists M \forall x \exists y$ for monadic $M$. The complex argument by Gottlob, Kolatis, and Schwentick concerning polynomial time needs to be carefully reexamined and either combined with the logspace version of Courcelle's Theorem or directly improved to first-order computations. A different challenge is posed by formulas with the prefix $\exists M \forall x\forall y$: We show that they express special constraint satisfaction problems that lie in L.

Topological Complexity of Context-Free omega-Languages: A Survey

A proof theory of (omega-)context-free languages, via non-wellfounded proofs

Generalized topological complexity and its monoidal version

Topologies for Finite Words: Compatibility with the Cantor Topology

Nominal Topology for Data Languages

Wadge degrees of $Δ^0_2$ omega-powers

Exploring the Topological Entropy of Formal Languages

Complexity of null dynamical systems and Sauer--Shelah lemmas

Regular omega-Languages with an Informative Right Congruence

Farber's conjecture and beyond

A Note on Paratopological Groups with an Ω-Base

The descriptive complexity approach to LOGCFL

Some more results on relativized Chaitin's $Ω$

The Complexity of Admissibility in Omega-Regular Games

On Winning Conditions of High Borel Complexity in Pushdown Games

Nonterminal complexity of some families of infinite regular languages

Aspects of Chaitin's Omega

Existential Second-Order Logic Over Graphs: A Complete Complexity-Theoretic Classification

Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions

Multiplicity Problems on Algebraic Series and Context-Free Grammars

Topological methods for studying contextuality: $N$-cycle scenarios and beyond