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

06/04/2023
by   Yuwen Huang, et al.
0

The permanent of a non-negative square matrix can be well approximated by finding the minimum of the Bethe free energy functions associated with some suitably defined factor graph; the resulting approximation to the permanent is called the Bethe permanent. Vontobel gave a combinatorial characterization of the Bethe permanent via degree-M Bethe permanents, which is based on degree-M covers of the underlying factor graph. In this paper, we prove a degree-M-Bethe-permanent-based lower bound on the permanent of a non-negative matrix, which solves a conjecture proposed by Vontobel in [IEEE Trans. Inf. Theory, Mar. 2013]. We also prove a degree-M-Bethe-permanent-based upper bound on the permanent of a non-negative matrix. In the limit M →∞, these lower and upper bounds yield known Bethe-permanent-based lower and upper bounds on the permanent of a non-negative matrix. Moreover, we prove similar results for an approximation to the permanent known as the (scaled) Sinkhorn permanent.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/30/2022

Double-cover-based analysis of the Bethe permanent of non-negative matrices

The permanent of a non-negative matrix appears naturally in many informa...
research
01/19/2018

Joint estimation of parameters in Ising model

We study joint estimation of the inverse temperature and magnetization p...
research
01/20/2021

Sparse expanders have negative curvature

We prove that bounded-degree expanders with non-negative Ollivier-Ricci ...
research
07/16/2022

On Non-Negative Quadratic Programming in Geometric Optimization

We present experimental and theoretical results on a method that applies...
research
11/28/2017

Lower Bounds for Approximating the Matching Polytope

We prove that any extended formulation that approximates the matching po...
research
09/08/2023

Computable error bounds for quasi-Monte Carlo using points with non-negative local discrepancy

Let f:[0,1]^d→ℝ be a completely monotone integrand as defined by Aistlei...
research
10/17/2016

How Well Do Local Algorithms Solve Semidefinite Programs?

Several probabilistic models from high-dimensional statistics and machin...

Please sign up or login with your details

Forgot password? Click here to reset