18 research outputs found
Fine-grained dichotomies for the Tutte plane and Boolean #CSP
Jaeger, Vertigan, and Welsh [15] proved a dichotomy for the complexity of
evaluating the Tutte polynomial at fixed points: The evaluation is #P-hard
almost everywhere, and the remaining points admit polynomial-time algorithms.
Dell, Husfeldt, and Wahl\'en [9] and Husfeldt and Taslaman [12], in combination
with Curticapean [7], extended the #P-hardness results to tight lower bounds
under the counting exponential time hypothesis #ETH, with the exception of the
line , which was left open. We complete the dichotomy theorem for the
Tutte polynomial under #ETH by proving that the number of all acyclic subgraphs
of a given -vertex graph cannot be determined in time unless
#ETH fails.
Another dichotomy theorem we strengthen is the one of Creignou and Hermann
[6] for counting the number of satisfying assignments to a constraint
satisfaction problem instance over the Boolean domain. We prove that all
#P-hard cases are also hard under #ETH. The main ingredient is to prove that
the number of independent sets in bipartite graphs with vertices cannot be
computed in time unless #ETH fails. In order to prove our results,
we use the block interpolation idea by Curticapean [7] and transfer it to
systems of linear equations that might not directly correspond to
interpolation.Comment: 16 pages, 1 figur
The Fine-Grained Complexity of Computing the Tutte Polynomial of a Linear Matroid
We show that computing the Tutte polynomial of a linear matroid of dimension
on points over a field of elements requires
time unless the \#ETH---a counting extension of the Exponential
Time Hypothesis of Impagliazzo and Paturi [CCC 1999] due to Dell {\em et al.}
[ACM TALG 2014]---is false. This holds also for linear matroids that admit a
representation where every point is associated to a vector with at most two
nonzero coordinates. We also show that the same is true for computing the Tutte
polynomial of a binary matroid of dimension on points with at
most three nonzero coordinates in each point's vector. This is in sharp
contrast to computing the Tutte polynomial of a -vertex graph (that is, the
Tutte polynomial of a {\em graphic} matroid of dimension ---which is
representable in dimension over the binary field so that every vector has
two nonzero coordinates), which is known to be computable in
time [Bj\"orklund {\em et al.}, FOCS 2008]. Our lower-bound proofs proceed via
(i) a connection due to Crapo and Rota [1970] between the number of tuples of
codewords of full support and the Tutte polynomial of the matroid associated
with the code; (ii) an earlier-established \#ETH-hardness of counting the
solutions to a bipartite -CSP on vertices in time; and
(iii) new embeddings of such CSP instances as questions about codewords of full
support in a linear code. We complement these lower bounds with two algorithm
designs. The first design computes the Tutte polynomial of a linear matroid of
dimension~ on points in operations. The second design
generalizes the Bj\"orklund~{\em et al.} algorithm and runs in
time for linear matroids of dimension defined over the
-element field by points with at most two nonzero coordinates
each.Comment: This version adds Theorem
Counting Problems in Parameterized Complexity
This survey is an invitation to parameterized counting problems for readers with a background in parameterized algorithms and complexity. After an introduction to the peculiarities of counting complexity, we survey the parameterized approach to counting problems, with a focus on two topics of recent interest: Counting small patterns in large graphs, and counting perfect matchings and Hamiltonian cycles in well-structured graphs.
While this survey presupposes familiarity with parameterized algorithms and complexity, we aim at explaining all relevant notions from counting complexity in a self-contained way
Achieving quantum supremacy with sparse and noisy commuting quantum computations
The class of commuting quantum circuits known as IQP (instantaneous quantum polynomial-time) has been shown to be hard to simulate classically, assuming certain complexity-theoretic conjectures. Here we study the power of IQP circuits in the presence of physically motivated constraints. First, we show that there is a family of sparse IQP circuits that can be implemented on a square lattice of n qubits in depth O(sqrt(n) log n), and which is likely hard to simulate classically. Next, we show that, if an arbitrarily small constant amount of noise is applied to each qubit at the end of any IQP circuit whose output probability distribution is sufficiently anticoncentrated, there is a polynomial-time classical algorithm that simulates sampling from the resulting distribution, up to constant accuracy in total variation distance. However, we show that purely classical error-correction techniques can be used to design IQP circuits which remain hard to simulate classically, even in the presence of arbitrary amounts of noise of this form. These results demonstrate the challenges faced by experiments designed to demonstrate quantum supremacy over classical computation, and how these challenges can be overcome
Tractable Ontology-Mediated Query Answering with Datatypes
Adding datatypes to ontology-mediated queries (OMQs) often makes query answering hard, even for lightweight languages. As a consequence, the use of datatypes in ontologies, e.g. in OWL 2 QL, has been severely restricted. We propose a new, non-uniform, way of analyzing the data-complexity of OMQ answering with datatypes. Instead of restricting the ontology language we aim at a classification of the patterns of datatype atoms in OMQs into those that can occur in non-tractable OMQs and those that only occur in tractable OMQs. To this end we establish a close link between OMQ answering with datatypes and constraint satisfaction problems (CSPs) over the datatypes. Given that query answering in this setting is undecidable in general already for very simple datatypes, we introduce, borrowing from the database literature, a property of OMQs called the Bounded Match Depth Property (BMDP). We apply the link to CSPs– using results and techniques in universal algebra and model theory–to prove PTIME/co-NP dichotomies for OMQs with the BDMP over Horn-ALCHI extended with (1) all finite datatypes, (2) rational numbers with linear order and (3) certain families of datatypes over the integers with the successor relation
Achieving quantum supremacy with sparse and noisy commuting quantum computations
The class of commuting quantum circuits known as IQP (instantaneous quantum
polynomial-time) has been shown to be hard to simulate classically, assuming
certain complexity-theoretic conjectures. Here we study the power of IQP
circuits in the presence of physically motivated constraints. First, we show
that there is a family of sparse IQP circuits that can be implemented on a
square lattice of n qubits in depth O(sqrt(n) log n), and which is likely hard
to simulate classically. Next, we show that, if an arbitrarily small constant
amount of noise is applied to each qubit at the end of any IQP circuit whose
output probability distribution is sufficiently anticoncentrated, there is a
polynomial-time classical algorithm that simulates sampling from the resulting
distribution, up to constant accuracy in total variation distance. However, we
show that purely classical error-correction techniques can be used to design
IQP circuits which remain hard to simulate classically, even in the presence of
arbitrary amounts of noise of this form. These results demonstrate the
challenges faced by experiments designed to demonstrate quantum supremacy over
classical computation, and how these challenges can be overcome.Comment: 23 pages, 1 figure; v4: uses standard journal styl
Counting Problems on Quantum Graphs: Parameterized and Exact Complexity Classifications
Quantum graphs, as defined by Lovász in the late 60s, are formal linear combinations of simple graphs with finite support. They allow for the complexity analysis of the problem of computing finite linear combinations of homomorphism counts, the latter of which constitute the foundation of the structural hardness theory for parameterized counting problems: The framework of parameterized counting complexity was introduced by Flum and Grohe, and McCartin in 2002 and forms a hybrid between the classical field of computational counting as founded by Valiant in the late 70s and the paradigm of parameterized complexity theory due to Downey and Fellows which originated in the early 90s.
The problem of computing homomorphism numbers of quantum graphs subsumes general motif counting problems and the complexity theoretic implications have only turned out recently in a breakthrough regarding the parameterized subgraph counting problem by Curticapean, Dell and Marx in 2017.
We study the problems of counting partially injective and edge-injective homomorphisms, counting induced subgraphs, as well as counting answers to existential first-order queries. We establish novel combinatorial, algebraic and even topological properties of quantum graphs that allow us to provide exhaustive parameterized and exact complexity classifications, including necessary, sufficient and mostly explicit tractability criteria, for all of the previous problems.Diese Arbeit befasst sich mit der Komplexit atsanalyse von mathematischen Problemen die als Linearkombinationen von Graphhomomorphismenzahlen darstellbar sind. Dazu wird sich sogenannter Quantengraphen bedient, bei denen es sich um formale Linearkombinationen von Graphen handelt und welche von Lov asz Ende der 60er eingef uhrt wurden. Die Bestimmung der Komplexit at solcher Probleme erfolgt unter dem von Flum, Grohe und McCartin im Jahre 2002 vorgestellten Paradigma der parametrisierten Z ahlkomplexit atstheorie, die als Hybrid der von Valiant Ende der 70er begr undeten klassischen Z ahlkomplexit atstheorie und der von Downey und Fellows Anfang der 90er eingef uhrten parametrisierten Analyse zu verstehen ist. Die Berechnung von Homomorphismenzahlen zwischen Quantengraphen und Graphen subsumiert im weitesten Sinne all jene Probleme, die das Z ahlen von kleinen Mustern in gro en Strukturen erfordern. Aufbauend auf dem daraus resultierenden Durchbruch von Curticapean, Dell und Marx, das Subgraphz ahlproblem betre end, behandelt diese Arbeit die Analyse der Probleme des Z ahlens von partiell- und kanteninjektiven Homomorphismen, induzierten Subgraphen, und Tre ern von relationalen Datenbankabfragen die sich als existentielle Formeln ausdr ucken lassen. Insbesondere werden dabei neue kombinatorische, algebraische und topologische Eigenschaften von Quantengraphen etabliert, die hinreichende, notwendige und meist explizite Kriterien f ur die Existenz e zienter Algorithmen liefern