Approximate inference: decomposition methods with applications to networks

Markov random field (MRF) model provides an elegant probabilistic framework to formulate inter-dependency between a large number of random variables. In this thesis, we present a new approximation algorithm for computing Maximum a Posteriori (MAP) and the log-partition function for arbitrary positive pair-wise MRF defined on a graph G. Our algorithm is based on decomposition of G into appropriately chosen small components; then computing estimates locally in each of these components and then producing a good global solution. We show that if either G excludes some finite-sized graph as its minor (e.g. planar graph) and has a constant degree bound, or G is a polynomially growing graph, then our algorithm produce solutions for both questions within arbitrary accuracy. The running time of the algorithm is linear on the number of nodes in G, with constant dependent on the accuracy. We apply our algorithm for MAP computation to the problem of learning the capacity region of wireless networks. We consider wireless networks of nodes placed in some geographic area in an arbitrary manner under interference constraints. We propose a polynomial time approximate algorithm to determine whether a given vector of end-to-end rates between various source-destination pairs can be supported by the network through a combination of routing and scheduling decisions. Lastly, we investigate the problem of computing loss probabilities of routes in a stochastic loss network, which is equivalent to computing the partition function of the corresponding MRF for the exact stationary distribution. We show that the very popular Erlang approximation provide relatively poor performance estimates, especially for loss networks in the critically loaded regime. Then we propose a novel algorithm for estimating the stationary loss probabilities, which is shown to always converge, exponentially fast, to the asymptotically exact results. (Copies available exclusively from MIT Libraries, Rm. 14-0551, Cambridge, MA 02139-4307. Ph. 617-253-5668; Fax 617-253-1690.)

[1]  Feller William,et al.  An Introduction To Probability Theory And Its Applications , 1950 .

[2]  B. A. Sevast'yanov An Ergodic Theorem for Markov Processes and Its Application to Telephone Systems with Refusals , 1957 .

[3]  J. Little A Proof for the Queuing Formula: L = λW , 1961 .

[4]  J D Littler,et al.  A PROOF OF THE QUEUING FORMULA , 1961 .

[5]  S. Kirkpatrick,et al.  Solvable Model of a Spin-Glass , 1975 .

[6]  Anthony Unwin,et al.  Reversibility and Stochastic Networks , 1980 .

[7]  J. Lehoczky,et al.  Insensitivity of blocking probabilities in a circuit-switching network , 1984 .

[8]  Debasis Mitra,et al.  Probabilistic Models of Database Locking: Solutions, Computational Algorithms, and Asymptotics , 1984, JACM.

[9]  Erdal Arikan,et al.  Some complexity results about packet radio networks , 1983, IEEE Trans. Inf. Theory.

[10]  W. Whitt,et al.  Blocking when service is required from several facilities simultaneously , 1985, AT&T Technical Journal.

[11]  Frank Kelly,et al.  Stochastic Models of Computer Communication Systems , 1985 .

[12]  F. Kelly Blocking probabilities in large circuit-switched networks , 1986, Advances in Applied Probability.

[13]  F. Kelly Routing in circuit-switched networks: optimization, shadow prices and decentralization , 1988, Advances in Applied Probability.

[14]  Hans-Otto Georgii,et al.  Gibbs Measures and Phase Transitions , 1988 .

[15]  F. Kelly,et al.  On critically loaded loss networks , 1989, Advances in Applied Probability.

[16]  Frank Kelly,et al.  Limit theorems for loss networks with diverse routing , 1989, Advances in Applied Probability.

[17]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[18]  S. Zachary,et al.  Loss networks , 2009, 0903.0640.

[19]  P. Tseng,et al.  On the linear convergence of descent methods for convex essentially smooth minimization , 1992 .

[20]  Leandros Tassiulas,et al.  Stability properties of constrained queueing systems and scheduling policies for maximum throughput in multihop radio networks , 1992 .

[21]  Philip N. Klein,et al.  Excluded minors, network decomposition, and multicommodity flow , 1993, STOC.

[22]  Michael Mitzenmacher,et al.  Computational Complexity of Loss Networks , 1994, Theor. Comput. Sci..

[23]  Vijay K. Jain,et al.  Markov random field for tumor detection in digital mammography , 1995, IEEE Trans. Medical Imaging.

[24]  ATM network design and optimization: a multirate loss network framework , 1996, TNET.

[25]  Keith W. Ross,et al.  Multiservice Loss Models for Broadband Telecommunication Networks , 1997 .

[26]  Dirk Roose,et al.  Wavelet-based image denoising using a Markov random field a priori model , 1997, IEEE Trans. Image Process..

[27]  Harry B. Hunt,et al.  NC-Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs , 1998, J. Algorithms.

[28]  Michael I. Jordan Graphical Models , 2003 .

[29]  Satish Rao,et al.  Small distortion and volume preserving embeddings for planar and Euclidean metrics , 1999, SCG '99.

[30]  Olga Veksler,et al.  Fast approximate energy minimization via graph cuts , 2001, Proceedings of the Seventh IEEE International Conference on Computer Vision.

[31]  Bin Liu,et al.  Order-Fulfillment Performance Measures in an Assemble-to-Order System with Stochastic Leadtimes , 1999, Oper. Res..

[32]  Panganamala Ramana Kumar,et al.  RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN , 2001 .

[33]  W. Freeman,et al.  Generalized Belief Propagation , 2000, NIPS.

[34]  J. Heinonen Lectures on Analysis on Metric Spaces , 2000 .

[35]  Stan Z. Li,et al.  Markov Random Field Modeling in Image Analysis , 2001, Computer Science Workbench.

[36]  Hinrich Schütze,et al.  Book Reviews: Foundations of Statistical Natural Language Processing , 1999, CL.

[37]  Sekhar Tatikonda,et al.  Loopy Belief Propogation and Gibbs Measures , 2002, UAI.

[38]  Robert Krauthgamer,et al.  Bounded geometries, fractals, and low-distortion embeddings , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[39]  P. Assouad Plongements lipschitziens dans Rn , 2003 .

[40]  Martin J. Wainwright,et al.  Tree-based reparameterization framework for analysis of sum-product and related algorithms , 2003, IEEE Trans. Inf. Theory.

[41]  Kunal Talwar,et al.  Bypassing the embedding: algorithms for low dimensional metrics , 2004, STOC '04.

[42]  Paul A. Viola,et al.  Robust Real-Time Face Detection , 2001, International Journal of Computer Vision.

[43]  Panganamala Ramana Kumar,et al.  A network information theory for wireless communication: scaling laws and optimal operation , 2004, IEEE Transactions on Information Theory.

[44]  Martin J. Wainwright,et al.  On the Optimality of Tree-reweighted Max-product Message-passing , 2005, UAI.

[45]  Devavrat Shah,et al.  Maximum weight matching via max-product belief propagation , 2005, ISIT.

[46]  Martin J. Wainwright,et al.  MAP estimation via agreement on trees: message-passing and linear programming , 2005, IEEE Transactions on Information Theory.

[47]  Martin J. Wainwright,et al.  A new class of upper bounds on the log partition function , 2002, IEEE Transactions on Information Theory.

[48]  Casey A. Volino,et al.  A First Course in Stochastic Models , 2005, Technometrics.

[49]  Martin J. Wainwright,et al.  MAP estimation via agreement on (hyper)trees: Message-passing and linear programming , 2005, ArXiv.

[50]  J. M. Simmons,et al.  Evolution toward the next-generation core optical network , 2006, Journal of Lightwave Technology.

[51]  Panganamala Ramana Kumar,et al.  Scaling Laws for Ad Hoc Wireless Networks: An Information Theoretic Approach , 2006, Found. Trends Netw..

[52]  Benjamin Van Roy,et al.  Convergence of the Min-Sum Message Passing Algorithm for Quadratic Optimization , 2006, ArXiv.

[53]  Thomas Bonald The Erlang model with non-poisson call arrivals , 2006, SIGMETRICS '06/Performance '06.

[54]  Vladimir Kolmogorov,et al.  Convergent Tree-Reweighted Message Passing for Energy Minimization , 2006, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[55]  Kyomin Jung,et al.  Local Algorithms for Approximate Inference in Minor-Excluded Graphs , 2007, NIPS.

[56]  Ayfer Özgür,et al.  Hierarchical Cooperation Achieves Optimal Capacity Scaling in Ad Hoc Networks , 2006, IEEE Transactions on Information Theory.

[57]  Mark S. Squillante,et al.  Optimal capacity planning in stochastic loss networks with time-varying workloads , 2007, SIGMETRICS '07.

[58]  Massimo Franceschetti,et al.  Closing the Gap in the Capacity of Wireless Networks Via Percolation Theory , 2007, IEEE Transactions on Information Theory.

[59]  Mark S. Squillante,et al.  Scalability of Wireless Networks , 2007, IEEE/ACM Transactions on Networking.

[60]  Kyomin Jung,et al.  Low Delay Scheduling in Wireless Network , 2007, 2007 IEEE International Symposium on Information Theory.

[61]  Mark S. Squillante,et al.  Optimal capacity planning in stochastic loss networks , 2007, PERV.

[62]  Kyomin Jung,et al.  Feasible Rate Allocation in Wireless Networks , 2008, IEEE INFOCOM 2008 - The 27th Conference on Computer Communications.

[63]  Saikat Ray,et al.  Arbitrary Throughput Versus Complexity Tradeoffs in Wireless Networks Using Graph Partitioning , 2008, IEEE Transactions on Automatic Control.

[64]  Kyomin Jung,et al.  Revisiting stochastic loss networks: structures and algorithms , 2008, SIGMETRICS '08.

[65]  Rüdiger L. Urbanke,et al.  Modern Coding Theory , 2008 .

[66]  Urs Niesen,et al.  On Capacity Scaling in Arbitrary Wireless Networks , 2009, IEEE Transactions on Information Theory.

[67]  Kyomin Jung,et al.  Computing the Capacity Region of a Wireless Network , 2009, IEEE INFOCOM 2009.

[68]  Ness B. Shroff,et al.  On the Complexity of Scheduling in Wireless Networks , 2010, EURASIP J. Wirel. Commun. Netw..