Abstract:We identify and study relevant structural parameters for the problem PerfMatch of counting perfect matchings in a given input graph $G$. These generalize the well-known tractable planar case, and they include the genus of $G$, its apex number (the minimum number of vertices whose removal renders $G$ planar), and its Hadwiger number (the size of a largest clique minor). To study these parameters, we first introduce the notion of combined matchgates, a general technique that bridges parameterized counting problems and the theory of so-called Holants and matchgates: Using combined matchgates, we can simulate certain non-existing gadgets $F$ as linear combinations of $t=O(1)$ existing gadgets. If a graph $G$ features $k$ occurrences of $F$, we can then reduce $G$ to $t^k$ graphs that feature only existing gadgets, thus enabling parameterized reductions. As applications of this technique, we simplify known $4^g n^{O(1)}$ time algorithms for PerfMatch on graphs of genus $g$. Orthogonally to this, we show #W[1]-hardness of the permanent on $k$-apex graphs, implying its #W[1]-hardness under the Hadwiger number. Additionally, we rule out $n^{o(k/\log k)}$ time algorithms under the counting exponential-time hypothesis #ETH. Finally, we use combined matchgates to prove parity-W[1]-hardness of evaluating the permanent modulo $2^k$, complementing an $O(n^{4k-3})$ time algorithm by Valiant and answering an open question of Bj\"orklund. We also obtain a lower bound of $n^{\Omega(k/\log k)}$ under the parity version of the exponential-time hypothesis.

Solution to a Conjecture on the Permanental Sum

Sharp Bounds on the Permanental Sum of a Graph

On the permanental sum of graphs

Some Extremal Graphs with Respect to Permanental Sum

On the permanental sum of bicyclic graphs

Degree-$M$ Bethe and Sinkhorn Permanent Based Bounds on the Permanent of a Non-negative Matrix

Extremal Bicyclic Graphs with Respect to Permanental Sums and Hosoya Indices

Permanent Identities, Combinatorial Sequences, and Permutation Statistics

A Hybrid Algorithm for Computing Permanents of Sparse Matrices

An upper bound for the permanent of (0,1)-matrices

Lih Wang and Dittert Conjectures on Permanents

Upper bounds on the permanent of multidimensional (0,1)-matrices

The extremal pentagon-chain polymers with respect to permanental sum

Some remarks on permanent dominant conjecture

Permanents of Graphs with Cut Vertices

Permanental inequalities for totally positive matrices

Parameterizing the Permanent: Genus, Apices, Minors, Evaluation mod 2^k

Solution to a Problem on Degree Sequences of Graphs.

On Some Determinants and Permanents

On the solution of the Graph Isomorphism Problem Part 1

Towards the Overfull Conjecture