The Iris function and the matrix permanent
Abstract
This paper defines the Iris function and provides two formulations of the matrix permanent. The first formulation, valid for arbitrary complex matrices, expresses the permanent of a complex matrix as a contour integral of a second order Iris function over the unit circle around zero. The second formulation is defined for the restricted set of matrices with complex or "Gaussian" integer elements. Using the second formulation, the paper shows that the computation of the permanent of an arbitrary $n\times n$ 0-1 matrix is bounded by $o\left( n^{27} \left( \log \left( {n^3} \right) \right)^6 \left( \log_2 \left( {n} \right) \right)^2\right)$ binary operations.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2019
- DOI:
- arXiv:
- arXiv:1902.04152
- Bibcode:
- 2019arXiv190204152O
- Keywords:
-
- Mathematics - Combinatorics
- E-Print:
- Second version. Differences from the first version: The typo in Theorem 2 is corrected. An important reference due to Prof. Valiant is inserted, and the importance of the result in Section 3 with regards to the problems in the complexity class #P is stated