Parameterized (Modular) Counting and Cayley Graph Expanders

04/29/2021
by   Norbert Peyerimhoff, et al.
0

We study the problem #EdgeSub(Φ) of counting k-edge subgraphs satisfying a given graph property Φ in a large host graph G. Building upon the breakthrough result of Curticapean, Dell and Marx (STOC 17), we express the number of such subgraphs as a finite linear combination of graph homomorphism counts and derive the complexity of computing this number by studying its coefficients. Our approach relies on novel constructions of low-degree Cayley graph expanders of p-groups, which might be of independent interest. The properties of those expanders allow us to analyse the coefficients in the aforementioned linear combinations over the field 𝔽_p which gives us significantly more control over the cancellation behaviour of the coefficients. Our main result is an exhaustive and fine-grained complexity classification of #EdgeSub(Φ) for minor-closed properties Φ, closing the missing gap in previous work by Roth, Schmitt and Wellnitz (ICALP 21). Additionally, we observe that our methods also apply to modular counting. Among others, we investigate the problems of modular counting of paths, cycles, forests and matroid bases. In the course of our investigations we also provide an exhaustive parameterized complexity classification for the problem of counting graph homomorphisms modulo a prime p.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/16/2018

Counting Homomorphisms to Trees Modulo a Prime

Many important graph theoretic notions can be encoded as counting graph ...
research
11/06/2020

Detecting and Counting Small Subgraphs, and Evaluating a Parameterized Tutte Polynomial: Lower Bounds via Toroidal Grids and Cayley Graph Expanders

Given a graph property Φ, we consider the problem 𝙴𝚍𝚐𝚎𝚂𝚞𝚋(Φ), where the ...
research
06/08/2021

Complexity classification of counting graph homomorphisms modulo a prime number

Counting graph homomorphisms and its generalizations such as the Countin...
research
11/03/2021

Counting Small Induced Subgraphs with Hereditary Properties

We study the computational complexity of the problem #IndSub(Φ) of count...
research
04/23/2019

Counting Induced Subgraphs: An Algebraic Approach to #W[1]-hardness

We study the problem #IndSub(P) of counting all induced subgraphs of siz...
research
11/09/2020

On Counting (Quantum-)Graph Homomorphisms in Finite Fields of Prime Order

We study the problem of counting the number of homomorphisms from an inp...
research
04/14/2020

Counting Small Induced Subgraphs Satisfying Monotone Properties

Given a graph property Φ, the problem #𝖨𝗇𝖽𝖲𝗎𝖻(Φ) asks, on input a graph ...

Please sign up or login with your details

Forgot password? Click here to reset