Abstract:Weighted counting problems are a natural generalization of counting problems where a weight is associated with every computational path of polynomial-time non-deterministic Turing machines and the goal is to compute the sum of the weights of all paths (instead of just computing the number of accepting paths). Useful closure properties and plenty of applications make weighted counting problems interesting. The general definition of these problems captures even undecidable problems, but it turns out that obtaining an exponentially small additive approximation is just as hard as solving conventional counting problems. In many cases such an approximation is sufficient and working with weighted counting problems tends to be very convenient. We present a structured view on weighted counting by defining classes that depend on the range of the function that assigns weights to paths and by showing the relationships between these different classes. These classes constitute generalizations of the usual counting problems. Weighted counting allows us to easily cast a number of famous results of computational complexity in its terms, especially regarding counting and quantum computation. Moreover, these classes are flexible enough and capture the complexity of various problems in fields such as probabilistic graphical models and stochastic combinatorial optimization. Using the weighted counting terminology and our results, we are able to simplify and answer some open questions in those fields.

Some applications of Wagner's weighted subgraph counting polynomial

Ising model partition-function computation as a weighted counting problem

On the Wiener-like root-indices of graphs

Counting Weighted Independent Sets beyond the Permanent

Quantitative Russo-Seymour-Welsh for random walk on random graphs and decorrelation of UST

Iwasawa theory for weighted graphs

On trees with real rooted independence polynomial

Some Exact Results on the Potts Model Partition Function in a Magnetic Field

Algorithms for the ferromagnetic Potts model on expanders

Undecidability of polynomial inequalities in weighted graph homomorphism densities

Phase transition for random walks on graphs with added weighted random matching

Spanning forest polynomials and the transcendental weight of Feynman graphs

Wigner Analysis of Fourier Integral Operators with symbols in the Shubin classes

Efficient algorithms for the Potts model on small-set expanders

Real roots of random orthogonal polynomials with exponential weights

A Structured View on Weighted Counting with Relations to Counting, Quantum Computation and Applications

Counting Complex Disordered States by Efficient Pattern Matching: Chromatic Polynomials and Potts Partition Functions

Large deviations of the empirical spectral measure of supercritical sparse Wigner matrices

Bivariate exponential integrals and edge-bicolored graphs

Independent GUE minor processes of perfect matchings on rail-yard graphs

Almost unimodal and real-rooted graph polynomials