Quantum factor graphs: Closing-the-box operation and variational approaches

Factor graphs and the sum-product algorithms form a powerful framework for expressing a great variety of algorithms in coding theory, signal processing, artificial intelligence, and other areas. Two different approaches to derive the sum-product algorithm are given by the so-called closing-the-box operation or by a variational approach known as Bethe free energy function minimization. In this paper we consider a generalization of factor graphs known as quantum factor graphs, along with a generalization of the sum-product algorithm known as the quantum sum-product algorithm. We explore the generalization of the closing-the-box operation and the Bethe free energy function from the classical to the quantum setup. Some expressions that hold exactly in the classical case hold only approximately in the quantum case; we give some analytical and numerical characterizations of these approximations.

[1]  Ryuhei Mori Holographic Transformation, Belief Propagation and Loop Calculus for Quantum Information Science. , 2015 .

[2]  D. Poulin,et al.  Quantum Graphical Models and Belief Propagation , 2007, 0708.1337.

[3]  Tosio Kato Perturbation theory for linear operators , 1966 .

[4]  Yuki Seo,et al.  Reverse inequality to Golden–Thompson type inequalities: Comparison of eA+B and eAeB , 2007 .

[5]  Michael I. Jordan,et al.  Graphical Models, Exponential Families, and Variational Inference , 2008, Found. Trends Mach. Learn..

[6]  Yongyi Mao,et al.  Normal factor graphs: A diagrammatic approach to linear algebra , 2011, 2011 IEEE International Symposium on Information Theory Proceedings.

[7]  G. Forney,et al.  Codes on graphs: normal realizations , 2000, 2000 IEEE International Symposium on Information Theory (Cat. No.00CH37060).

[8]  William T. Freeman,et al.  Constructing free-energy approximations and generalized belief propagation algorithms , 2005, IEEE Transactions on Information Theory.

[9]  Michael Chertkov,et al.  Loop Calculus and Belief Propagation for q-ary Alphabet: Loop Tower , 2007, 2007 IEEE International Symposium on Information Theory.

[10]  Ryuhei Mori,et al.  Holographic transformation, belief propagation and loop calculus for generalized probabilistic theories , 2015, 2015 IEEE International Symposium on Information Theory (ISIT).

[11]  Hans-Andrea Loeliger,et al.  Factor Graphs for Quantum Probabilities , 2015, IEEE Transactions on Information Theory.

[12]  Jin-Yi Cai,et al.  Holographic Algorithms , 2016, Encyclopedia of Algorithms.

[13]  Brendan J. Frey,et al.  Factor graphs and the sum-product algorithm , 2001, IEEE Trans. Inf. Theory.

[14]  H.-A. Loeliger,et al.  An introduction to factor graphs , 2004, IEEE Signal Process. Mag..

[15]  Ryuhei Mori,et al.  Loop Calculus For Nonbinary Alphabets Using Concepts From Information Geometry , 2013, IEEE Transactions on Information Theory.

[16]  Yongyi Mao,et al.  Normal Factor Graphs and Holographic Transformations , 2010, IEEE Transactions on Information Theory.

[17]  Manfred K. Warmuth A Bayes Rule for Density Matrices , 2005, NIPS.

[18]  Hans-Andrea Loeliger,et al.  A factor-graph representation of probabilities in quantum mechanics , 2012, 2012 IEEE International Symposium on Information Theory Proceedings.

[19]  Hans-Andrea Loeliger,et al.  Partition function of the Ising model via factor graph duality , 2013, 2013 IEEE International Symposium on Information Theory.

[20]  Robert G. Gallager,et al.  Low-density parity-check codes , 1962, IRE Trans. Inf. Theory.