Source author record

Jacob Focke

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Computational Complexity Discrete Mathematics

Catalog footprint

Research overview

3works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Counting Small Induced Subgraphs with Hereditary Properties

We study the computational complexity of the problem $\#\text{IndSub}(Φ)$ of counting $k$ -vertex induced subgraphs of a graph $G$ that satisfy a graph property $Φ$ . Our main result establishes an exhaustive and explicit classification for all hereditary properties, including tight conditional lower bounds under the Exponential Time Hypothesis (ETH): - If a hereditary property $Φ$ is true for all graphs, or if it is true only for finitely many graphs, then $\#\text{IndSub}(Φ)$ is solvable in polynomial time. - Otherwise, $\#\text{IndSub}(Φ)$ is $\#\mathsf{W[1]}$ -complete when parameterised by $k$ , and, assuming ETH, it cannot be solved in time $f(k)\cdot |G|^{o(k)}$ for any function $f$ . This classification features a wide range of properties for which the corresponding detection problem (as classified by Khot and Raman [TCS 02]) is tractable but counting is hard. Moreover, even for properties which are already intractable in their decision version, our results yield significantly stronger lower bounds for the counting problem. As additional result, we also present an exhaustive and explicit parameterised complexity classification for all properties that are invariant under homomorphic equivalence. By covering one of the most natural and general notions of closure, namely, closure under vertex-deletion (hereditary), we generalise some of the earlier results on this problem. For instance, our results fully subsume and strengthen the existing classification of $\#\text{IndSub}(Φ)$ for monotone (subgraph-closed) properties due to Roth, Schmitt, and Wellnitz [FOCS 20].

preprint2021arXiv

Counting Homomorphisms to $K_4$ -minor-free Graphs, modulo 2

We study the problem of computing the parity of the number of homomorphisms from an input graph $G$ to a fixed graph $H$ . Faben and Jerrum [ToC'15] introduced an explicit criterion on the graph $H$ and conjectured that, if satisfied, the problem is solvable in polynomial time and, otherwise, the problem is complete for the complexity class $\oplus\mathrm{P}$ of parity problems. We verify their conjecture for all graphs $H$ that exclude the complete graph on $4$ vertices as a minor. Further, we rule out the existence of a subexponential-time algorithm for the $\oplus\mathrm{P}$ -complete cases, assuming the randomised Exponential Time Hypothesis. Our proofs introduce a novel method of deriving hardness from globally defined substructures of the fixed graph $H$ . Using this, we subsume all prior progress towards resolving the conjecture (Faben and Jerrum [ToC'15]; Göbel, Goldberg and Richerby [ToCT'14,'16]). As special cases, our machinery also yields a proof of the conjecture for graphs with maximum degree at most $3$ , as well as a full classification for the problem of counting list homomorphisms, modulo $2$ .

preprint2020arXiv

The Complexity of Approximately Counting Retractions

Let $G$ be a graph that contains an induced subgraph $H$ . A retraction from $G$ to $H$ is a homomorphism from $G$ to $H$ that is the identity function on $H$ . Retractions are very well-studied: Given $H$ , the complexity of deciding whether there is a retraction from an input graph $G$ to $H$ is completely classified, in the sense that it is known for which $H$ this problem is tractable (assuming $\mathrm{P}\neq \mathrm{NP}$ ). Similarly, the complexity of (exactly) counting retractions from $G$ to $H$ is classified (assuming $\mathrm{FP}\neq \#\mathrm{P}$ ). However, almost nothing is known about approximately counting retractions. Our first contribution is to give a complete trichotomy for approximately counting retractions to graphs of girth at least $5$ . Our second contribution is to locate the retraction counting problem for each $H$ in the complexity landscape of related approximate counting problems. Interestingly, our results are in contrast to the situation in the exact counting context. We show that the problem of approximately counting retractions is separated both from the problem of approximately counting homomorphisms and from the problem of approximately counting list homomorphisms --- whereas for exact counting all three of these problems are interreducible. We also show that the number of retractions is at least as hard to approximate as both the number of surjective homomorphisms and the number of compactions. In contrast, exactly counting compactions is the hardest of all of these exact counting problems.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jacob Focke

Research overview

Is this your work?

3 publications

Counting Small Induced Subgraphs with Hereditary Properties

Counting Homomorphisms to $K_4$ -minor-free Graphs, modulo 2

The Complexity of Approximately Counting Retractions

See the researcher in context

Building this map preview

Jacob Focke

Research overview

Is this your work?

3 publications

Counting Small Induced Subgraphs with Hereditary Properties

Counting Homomorphisms to K4K_4K4​-minor-free Graphs, modulo 2

The Complexity of Approximately Counting Retractions

See the researcher in context

Building this map preview

Counting Homomorphisms to $K_4$ -minor-free Graphs, modulo 2