Abstract:In contrast to the determinant, no algorithm is known for the exact determination of the permanent of a square matrix that runs in time polynomial in its dimension. Consequently, non interacting fermions are classically efficiently simulatable while non-interacting bosons are not, underpinning quantum supremacy arguments for sampling the output distribution of photon interferometer arrays. This work introduces a graph-theoretic framework that bridges both the determinant and permanent. The only non-zero eigenvalues of a sparse non-Hermitian operator $\breve{M}$ for $n$ spin-$1/2$ particles are the $n$th roots of the permanent or determinant of an $n\times n$ matrix $M$, interpreting basis states as bosonic or fermionic occupation states, respectively. This operator can be used to design a simple and straightforward method for the classical determination of the permanent that matches the efficiency of the best-known algorithm. Gauss-Jordan elimination for the determinant of $M$ is then equivalent to the successive removal of the generalized zero eigenspace of the fermionic $\breve{M}$, equivalent to the deletion of some nodes and reweighting of the remaining edges in the graph such that only $n$ nodes survive after the last step. In the bosonic case, the successive removal of generalized zero eigenspaces for $\breve{M}$ is also equivalent to node deletion, but new edges are added during this process, which gives rise to the higher complexity of computing the permanent. Our analysis may point the way to new strategies for classical and quantum evaluation of the permanent.

On the Polya permanent problem over finite fields

On Some Determinants and Permanents

Positivity preservers over finite fields

Permanental inequalities for totally positive matrices

On the codimension of permanental varieties

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

A p-adic Perron-Frobenius Theorem

On the tensor rank of $3\times 3$ permanent and determinant

Fast computation of permanents over $\mathbb{F}_3$ via $\mathbb{F}_2$ arithmetic

Some remarks on permanent dominant conjecture

A Hybrid Algorithm for Computing Permanents of Sparse Matrices

A Tight Analysis of Bethe Approximation for Permanent

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

A finiteness result towards the Casas-Alvero Conjecture

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

Permanent Identities, Combinatorial Sequences, and Permutation Statistics

The matrix permanent and determinant from a spin system

The determinant of finite semigroups of the pseudovariety ECOM

Additive estimates of the permanent using Gaussian fields

New Multivariate Dimension Polynomials of Inversive Difference Field Extensions

Arithmetic representations of fundamental groups II: finiteness