Chordal Graphs and Semidefinite Optimization

Chordal graphs play a central role in techniques for exploiting sparsityin large semidefinite optimization problems and in related convexoptimization problems involving sparse positive semidefinite matrices.Chordal graph properties are also fundamental to several classicalresults in combinatorial optimization, linear algebra, statistics,signal processing, machine learning, and nonlinear optimization. Thissurvey covers the theory and applications of chordal graphs, with anemphasis on algorithms developed in the literature on sparse Choleskyfactorization. These algorithms are formulated as recursions on eliminationtrees, supernodal elimination trees, or clique trees associatedwith the graph. The best known example is the multifrontal Choleskyfactorization algorithm, but similar algorithms can be formulated fora variety of related problems, including the computation of the partialinverse of a sparse positive definite matrix, positive semidefinite andEuclidean distance matrix completion problems, and the evaluation ofgradients and Hessians of logarithmic barriers for cones of sparse positivesemidefinite matrices and their dual cones. The purpose of thesurvey is to show how these techniques can be applied in algorithmsfor sparse semidefinite optimization, and to point out the connectionswith related topics outside semidefinite optimization, such as probabilisticnetworks, matrix completion problems, and partial separabilityin nonlinear optimization.

[1]  Jesse T. Holzer,et al.  Implementation of a Large-Scale Optimal Power Flow Solver Based on Semidefinite Programming , 2013, IEEE Transactions on Power Systems.

[2]  Steven H. Low,et al.  Convex Relaxation of Optimal Power Flow—Part I: Formulations and Equivalence , 2014, IEEE Transactions on Control of Network Systems.

[3]  P. Toint On sparse and symmetric matrix updating subject to a linear equation , 1977 .

[4]  John K. Reid,et al.  The Multifrontal Solution of Indefinite Sparse Symmetric Linear , 1983, TOMS.

[5]  B. Mercier,et al.  A dual algorithm for the solution of nonlinear variational problems via finite element approximation , 1976 .

[6]  Kim-Chuan Toh,et al.  A Newton-CG Augmented Lagrangian Method for Semidefinite Programming , 2010, SIAM J. Optim..

[7]  Georgios B. Giannakis,et al.  Power System Nonlinear State Estimation Using Distributed Semidefinite Programming , 2014, IEEE Journal of Selected Topics in Signal Processing.

[8]  S. Stenholm Information, Physics and Computation, by Marc Mézard and Andrea Montanari , 2010 .

[9]  Roger Fletcher,et al.  An Optimal Positive Definite Update for Sparse Hessian Matrices , 1995, SIAM J. Optim..

[10]  David Tse,et al.  Distributed algorithms for optimal power flow problem , 2011, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[11]  John E. Dennis,et al.  Numerical methods for unconstrained optimization and nonlinear equations , 1983, Prentice Hall series in computational mathematics.

[12]  P. Lions,et al.  Splitting Algorithms for the Sum of Two Nonlinear Operators , 1979 .

[13]  Alan S. Willsky,et al.  A generalized Levinson algorithm for covariance extension with application to multiscale autoregressive modeling , 2003, IEEE Trans. Inf. Theory.

[14]  Pinar Heggernes,et al.  A wide-range algorithm for minimal triangulation from an arbitrary ordering , 2006, J. Algorithms.

[15]  Yurii Nesterov,et al.  Towards non-symmetric conic optimization , 2012, Optim. Methods Softw..

[16]  Patrick L. Combettes,et al.  Proximal Splitting Methods in Signal Processing , 2009, Fixed-Point Algorithms for Inverse Problems in Science and Engineering.

[17]  M. Yannakakis Computing the Minimum Fill-in is NP^Complete , 1981 .

[18]  Martin S. Andersen,et al.  Reduced-Complexity Semidefinite Relaxations of Optimal Power Flow Problems , 2013, IEEE Transactions on Power Systems.

[19]  Andrzej Stachurski,et al.  Parallel Optimization: Theory, Algorithms and Applications , 2000, Parallel Distributed Comput. Pract..

[20]  Yu-Hong Dai,et al.  Analysis of Sparse Quasi-Newton Updates with Positive Definite Matrix Completion , 2014 .

[21]  L. Faybusovich Euclidean Jordan Algebras and Interior-point Algorithms , 1997 .

[22]  Samuel Burer,et al.  Semidefinite Programming in the Space of Partial Positive Semidefinite Matrices , 2003, SIAM J. Optim..

[23]  Franz Rendl,et al.  A Spectral Bundle Method for Semidefinite Programming , 1999, SIAM J. Optim..

[24]  R. Grone,et al.  Extremal correlation matrices , 1990 .

[25]  B. Peyton,et al.  An Introduction to Chordal Graphs and Clique Trees , 1993 .

[26]  James Renegar,et al.  A mathematical view of interior-point methods in convex optimization , 2001, MPS-SIAM series on optimization.

[27]  Timothy A. Davis,et al.  The university of Florida sparse matrix collection , 2011, TOMS.

[28]  Farid Alizadeh,et al.  Interior Point Methods in Semidefinite Programming with Applications to Combinatorial Optimization , 1995, SIAM J. Optim..

[29]  Yurii Nesterov,et al.  Squared Functional Systems and Optimization Problems , 2000 .

[30]  L. Lovász,et al.  Geometric Algorithms and Combinatorial Optimization , 1981 .

[31]  Andreas Griewank,et al.  On the unconstrained optimization of partially separable functions , 1982 .

[32]  Y. Nesterov Nonsymmetric Potential-Reduction Methods for General Cones , 2006 .

[33]  Robert J. McEliece,et al.  The generalized distributive law , 2000, IEEE Trans. Inf. Theory.

[34]  Robert E. Tarjan,et al.  Applications of Path Compression on Balanced Trees , 1979, JACM.

[35]  László Lovász,et al.  Normal hypergraphs and the perfect graph conjecture , 1972, Discret. Math..

[36]  Barry W. Peyton,et al.  Maximum Cardinality Search for Computing Minimal Triangulations of Graphs , 2004, Algorithmica.

[37]  S. Parter The Use of Linear Graphs in Gauss Elimination , 1961 .

[38]  Martin S. Andersen,et al.  Logarithmic barriers for sparse matrix cones , 2012, Optim. Methods Softw..

[39]  Monique Laurent,et al.  Semidefinite optimization , 2019, Graphs and Geometry.

[40]  J. Spingarn Partial inverse of a monotone operator , 1983 .

[41]  Martin S. Andersen,et al.  Support vector machine training using matrix completion techniques , 2010 .

[42]  Charles R. Johnson,et al.  The Euclidian Distance Matrix Completion Problem , 1995, SIAM J. Matrix Anal. Appl..

[43]  Gene H. Golub,et al.  Matrix computations , 1983 .

[44]  J. Moreau Proximité et dualité dans un espace hilbertien , 1965 .

[45]  Alexander Schrijver,et al.  Combinatorial optimization. Polyhedra and efficiency. , 2003 .

[46]  R. Freund Review of A mathematical view of interior-point methods in convex optimization, by James Renegar, SIAM, Philadelphia, PA , 2004 .

[47]  Vwani P. Roychowdhury,et al.  Covariance selection for nonchordal graphs via chordal embedding , 2008, Optim. Methods Softw..

[48]  H. Dym,et al.  Extensions of band matrices with band inverses , 1981 .

[49]  Umberto Bertelè,et al.  Nonserial Dynamic Programming , 1972 .

[50]  A. Brandstädt,et al.  Graph Classes: A Survey , 1987 .

[51]  Aharon Ben-Tal,et al.  Lectures on modern convex optimization , 1987 .

[52]  R. Tyrrell Rockafellar,et al.  Convex Analysis , 1970, Princeton Landmarks in Mathematics and Physics.

[53]  Arkadi Nemirovski,et al.  Lectures on modern convex optimization - analysis, algorithms, and engineering applications , 2001, MPS-SIAM series on optimization.

[54]  Martin S. Andersen,et al.  Linear matrix inequalities with chordal sparsity patterns and applications to robust quadratic optimization , 2010, 2010 IEEE International Symposium on Computer-Aided Control System Design.

[55]  Jacek Gondzio,et al.  Matrix-free interior point method , 2012, Comput. Optim. Appl..

[56]  Joseph W. Liu,et al.  A compact row storage scheme for Cholesky factors using elimination trees , 1986, TOMS.

[57]  Hans L. Bodlaender,et al.  A Tourist Guide through Treewidth , 1993, Acta Cybern..

[58]  Pinar Heggernes,et al.  Minimal triangulations of graphs: A survey , 2006, Discret. Math..

[59]  Joseph W. H. Liu,et al.  On finding supernodes for sparse matrix computations , 1993 .

[60]  Inderjit S. Dhillon,et al.  Matrix Nearness Problems with Bregman Divergences , 2007, SIAM J. Matrix Anal. Appl..

[61]  Stephen P. Boyd,et al.  A duality view of spectral methods for dimensionality reduction , 2006, ICML.

[62]  G. Dirac On rigid circuit graphs , 1961 .

[63]  Stephen P. Boyd,et al.  Fastest Mixing Markov Chain on a Graph , 2004, SIAM Rev..

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

[65]  M. SIAMJ.,et al.  DECOMPOSITION METHODS FOR SPARSE MATRIX NEARNESS PROBLEMS , 2015 .

[66]  Steffen L. Lauritzen,et al.  Graphical models in R , 1996 .

[67]  L. Rodman,et al.  Positive semidefinite matrices with a given sparsity pattern , 1988 .

[68]  Katsuki Fujisawa,et al.  Exploiting sparsity in semidefinite programming via matrix completion II: implementation and numerical results , 2003, Math. Program..

[69]  Jonathan E. Spingarn,et al.  Applications of the method of partial inverses to convex programming: Decomposition , 1985, Math. Program..

[70]  Renato D. C. Monteiro,et al.  Large-scale semidefinite programming via a saddle point Mirror-Prox algorithm , 2007, Math. Program..

[71]  Yifan Sun,et al.  Decomposition in Conic Optimization with Partially Separable Structure , 2013, SIAM J. Optim..

[72]  J. Sturm Similarity and other spectral relations for symmetric cones , 2000 .

[73]  Charles R. Johnson,et al.  Determinantal formulae for matrix completions associated with chordal graphs , 1989 .

[74]  M. Golumbic Algorithmic Graph Theory and Perfect Graphs (Annals of Discrete Mathematics, Vol 57) , 2004 .

[75]  Farid Alizadeh,et al.  Extension of primal-dual interior point algorithms to symmetric cones , 2003, Math. Program..

[76]  Claude E. Shannon,et al.  The zero error capacity of a noisy channel , 1956, IRE Trans. Inf. Theory.

[77]  Jean-Yves L'Excellent,et al.  On Computing Inverse Entries of a Sparse Matrix in an Out-of-Core Environment , 2012, SIAM J. Sci. Comput..

[78]  Robert J. Vanderbei,et al.  An Interior-Point Method for Semidefinite Programming , 1996, SIAM J. Optim..

[79]  Michael Stingl,et al.  On the solution of large-scale SDP problems by the modified barrier method using iterative solvers , 2009, Math. Program..

[80]  Zaiwen Wen FIRST-ORDER METHODS FOR SEMIDEFINITE PROGRAMMING , 2009 .

[81]  M. Todd A study of search directions in primal-dual interior-point methods for semidefinite programming , 1999 .

[82]  Stephen P. Boyd,et al.  Semidefinite Programming , 1996, SIAM Rev..

[83]  Derek G. Corneil,et al.  Complexity of finding embeddings in a k -tree , 1987 .

[84]  Jean B. Lasserre,et al.  Convergent SDP-Relaxations in Polynomial Optimization with Sparsity , 2006, SIAM J. Optim..

[85]  M. Kojima,et al.  Correlative Sparsity in Primal-Dual Interior-Point Methods for LP, SDP, and SOCP , 2008 .

[86]  T. Coleman,et al.  The null space problem II. Algorithms , 1987 .

[87]  Stephen P. Boyd,et al.  A primal—dual potential reduction method for problems involving matrix inequalities , 1995, Math. Program..

[88]  Fanica Gavril,et al.  Algorithms for Minimum Coloring, Maximum Clique, Minimum Covering by Cliques, and Maximum Independent Set of a Chordal Graph , 1972, SIAM J. Comput..

[89]  Masakazu Kojima,et al.  Exploiting Sparsity in SDP Relaxation for Sensor Network Localization , 2009, SIAM J. Optim..

[90]  Xiong Zhang,et al.  Solving Large-Scale Sparse Semidefinite Programs for Combinatorial Optimization , 1999, SIAM J. Optim..

[91]  Takafumi Kanamori,et al.  A Bregman extension of quasi-Newton updates II: Analysis of robustness properties , 2013, J. Comput. Appl. Math..

[92]  Donald J. ROSE,et al.  On simple characterizations of k-trees , 1974, Discret. Math..

[93]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[94]  J. G. Lewis,et al.  A fast algorithm for reordering sparse matrices for parallel factorization , 1989 .

[95]  Steven H. Low,et al.  Convex Relaxation of Optimal Power Flow—Part II: Exactness , 2014, IEEE Transactions on Control of Network Systems.

[96]  Peter L. Hammer,et al.  Boolean Methods in Operations Research and Related Areas , 1968 .

[97]  Masakazu Kojima,et al.  Recognizing underlying sparsity in optimization , 2009, Math. Program..

[98]  Roger Fletcher,et al.  A New Variational Result for Quasi-Newton Formulae , 1991, SIAM J. Optim..

[99]  Georgios B. Giannakis,et al.  Distributed Optimal Power Flow for Smart Microgrids , 2012, IEEE Transactions on Smart Grid.

[100]  B. Mohar,et al.  Graph Minors , 2009 .

[101]  Masakazu Kojima,et al.  Sparsity in sums of squares of polynomials , 2005, Math. Program..

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

[103]  T. Ohtsuki,et al.  Minimal triangulation of a graph and optimal pivoting order in a sparse matrix , 1976 .

[104]  S. Kullback,et al.  Information Theory and Statistics , 1959 .

[105]  Stephen P. Boyd,et al.  Conic Optimization via Operator Splitting and Homogeneous Self-Dual Embedding , 2013, Journal of Optimization Theory and Applications.

[106]  Giovanni De Micheli,et al.  Synthesis and Optimization of Digital Circuits , 1994 .

[107]  Pierre Hansen,et al.  The basic algorithm for pseudo-Boolean programming revisited , 1988, Discret. Appl. Math..

[108]  Shinji Hara,et al.  Interior Point Methods for the Monotone Linear Complementarity Problem in Symmetric Matrices , 1995 .

[109]  M. R. Rao,et al.  Combinatorial Optimization , 1992, NATO ASI Series.

[110]  Barry W. Peyton,et al.  Fast Computation of Minimal Fill Inside A Given Elimination Ordering , 2008, SIAM J. Matrix Anal. Appl..

[111]  Renato D. C. Monteiro,et al.  A nonlinear programming algorithm for solving semidefinite programs via low-rank factorization , 2003, Math. Program..

[112]  S. Poljak,et al.  On a positive semidefinite relaxation of the cut polytope , 1995 .

[113]  Lenhart K. Schubert Modification of a quasi-Newton method for nonlinear equations with a sparse Jacobian , 1970 .

[114]  Catriel Beeri,et al.  On the Desirability of Acyclic Database Schemes , 1983, JACM.

[115]  P. Tseng Applications of splitting algorithm to decomposition in convex programming and variational inequalities , 1991 .

[116]  Michael J. Todd,et al.  Self-Scaled Barriers and Interior-Point Methods for Convex Programming , 1997, Math. Oper. Res..

[117]  Andreas Griewank,et al.  Evaluating derivatives - principles and techniques of algorithmic differentiation, Second Edition , 2000, Frontiers in applied mathematics.

[118]  Katya Scheinberg,et al.  Efficient SVM Training Using Low-Rank Kernel Representations , 2002, J. Mach. Learn. Res..

[119]  Stephen P. Boyd,et al.  Distributed Optimization and Statistical Learning via the Alternating Direction Method of Multipliers , 2011, Found. Trends Mach. Learn..

[120]  W. F. Tinney,et al.  On computing certain elements of the inverse of a sparse matrix , 1975, Commun. ACM.

[121]  Charles R. Johnson,et al.  Positive definite completions of partial Hermitian matrices , 1984 .

[122]  L. Tunçel Polyhedral and Semidefinite Programming Methods in Combinatorial Optimization , 2010 .

[123]  Stephen P. Boyd,et al.  Block splitting for distributed optimization , 2013, Mathematical Programming Computation.

[124]  Kim-Chuan Toh,et al.  Semidefinite Programming Approaches for Sensor Network Localization With Noisy Distance Measurements , 2006, IEEE Transactions on Automation Science and Engineering.

[125]  David K. Smith,et al.  Dynamic Programming and Optimal Control. Volume 1 , 1996 .

[126]  Michael L. Overton,et al.  Structured Primal-dual Interior-point Methods for Banded Semidefinite Programming , 2010 .

[127]  Kazuo Murota,et al.  Exploiting Sparsity in Semidefinite Programming via Matrix Completion I: General Framework , 2000, SIAM J. Optim..

[128]  Patrick L. Combettes,et al.  Signal Recovery by Proximal Forward-Backward Splitting , 2005, Multiscale Model. Simul..

[129]  A. Pothen Sparse null bases and marriage theorems , 1984 .

[130]  S. Vajda,et al.  BOOLEAN METHODS IN OPERATIONS RESEARCH AND RELATED AREAS , 1969 .

[131]  G. Golub,et al.  Large scale geodetic least squares adjustment by dissection and orthogonal decomposition , 1979 .

[132]  Ed F. Deprettere,et al.  Approximate Inversion Of Positive Definite Matrices, Specified On A Multiple Band , 1988, Optics & Photonics.

[133]  Monique Laurent,et al.  A new graph parameter related to bounded rank positive semidefinite matrix completions , 2012, Math. Program..

[134]  Robert Chares Cones and interior-point algorithms for structured convex optimization involving powers andexponentials , 2009 .

[135]  M. Laurent A tour d’horizon on positive semidefinite and Euclidean distance matrix completion problems , 1998 .

[136]  E. Yaz Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[137]  Jens Palsberg,et al.  Register Allocation via Coloring of Chordal Graphs , 2005, APLAS.

[138]  N. Higham Analysis of the Cholesky Decomposition of a Semi-definite Matrix , 1990 .

[139]  John R. Gilbert,et al.  Approximating Treewidth, Pathwidth, Frontsize, and Shortest Elimination Tree , 1995, J. Algorithms.

[140]  I. J. Schoenberg,et al.  Metric spaces and positive definite functions , 1938 .

[141]  Stephen P. Boyd,et al.  Proximal Algorithms , 2013, Found. Trends Optim..

[142]  Yinyu Ye,et al.  Semidefinite programming based algorithms for sensor network localization , 2006, TOSN.

[143]  N. Mahadev,et al.  Threshold graphs and related topics , 1995 .

[144]  Nicholas I. M. Gould,et al.  Lancelot: A FORTRAN Package for Large-Scale Nonlinear Optimization (Release A) , 1992 .

[145]  Hugo J. Woerdeman,et al.  Matrix Completions, Moments, and Sums of Hermitian Squares , 2011 .

[146]  Masakazu Muramatsu,et al.  Sums of Squares and Semidefinite Programming Relaxations for Polynomial Optimization Problems with Structured Sparsity , 2004 .

[147]  M. Overton,et al.  Primal - dual interior - point methods for semidefinite programming : Stability, convergence, and nu , 1998 .

[148]  Takafumi Kanamori,et al.  A Bregman extension of quasi-Newton updates I: an information geometrical framework , 2010, Optim. Methods Softw..

[149]  J. Gilbert Computing a sparse basis for the null space , 1987 .

[150]  Prakash P. Shenoy,et al.  Local Computation in Hypertrees , 1991 .

[151]  Kim-Chuan Toh,et al.  Solving semidefinite-quadratic-linear programs using SDPT3 , 2003, Math. Program..

[152]  P. Toint,et al.  Partitioned variable metric updates for large structured optimization problems , 1982 .

[153]  Michael Stingl,et al.  PENNON: A code for convex nonlinear and semidefinite programming , 2003, Optim. Methods Softw..

[154]  Pinar Heggernes,et al.  A practical algorithm for making filled graphs minimal , 2001, Theor. Comput. Sci..

[155]  William J. Cook,et al.  Combinatorial optimization , 1997 .

[156]  Jacek Gondzio,et al.  A Matrix-Free Preconditioner for Sparse Symmetric Positive Definite Systems and Least-Squares Problems , 2013, SIAM J. Sci. Comput..

[157]  Paul D. Seymour,et al.  Graph Minors. II. Algorithmic Aspects of Tree-Width , 1986, J. Algorithms.

[158]  Stephen P. Boyd,et al.  Graph Implementations for Nonsmooth Convex Programs , 2008, Recent Advances in Learning and Control.

[159]  Michael L. Overton,et al.  Primal-Dual Interior-Point Methods for Semidefinite Programming: Convergence Rates, Stability and Numerical Results , 1998, SIAM J. Optim..

[160]  Dimitri P. Bertsekas,et al.  Dynamic Programming and Optimal Control, Two Volume Set , 1995 .

[161]  Yin Zhang,et al.  On Extending Some Primal-Dual Interior-Point Algorithms From Linear Programming to Semidefinite Programming , 1998, SIAM J. Optim..

[162]  K. Fujisawa,et al.  Semidefinite programming for optimal power flow problems , 2008 .

[163]  Masakazu Kojima,et al.  Generalized Lagrangian Duals and Sums of Squares Relaxations of Sparse Polynomial Optimization Problems , 2005, SIAM J. Optim..

[164]  Nir Friedman,et al.  Probabilistic Graphical Models , 2009, Data-Driven Computational Neuroscience.

[165]  Wotao Yin,et al.  Alternating direction augmented Lagrangian methods for semidefinite programming , 2010, Math. Program. Comput..

[166]  Ronald L. Smith The positive definite completion problem revisited , 2008 .

[167]  Guanghui Lan,et al.  iteration-complexity for cone programming , 2008 .

[168]  D. R. Fulkerson,et al.  Incidence matrices and interval graphs , 1965 .

[169]  Nathan Krislock,et al.  Euclidean Distance Matrices and Applications , 2012 .

[170]  Nicholas I. M. Gould,et al.  Trust Region Methods , 2000, MOS-SIAM Series on Optimization.

[171]  David J. Spiegelhalter,et al.  Probabilistic Networks and Expert Systems - Exact Computational Methods for Bayesian Networks , 1999, Information Science and Statistics.

[172]  Stephen P. Boyd,et al.  CVXPY: A Python-Embedded Modeling Language for Convex Optimization , 2016, J. Mach. Learn. Res..

[173]  Kilian Q. Weinberger,et al.  Unsupervised Learning of Image Manifolds by Semidefinite Programming , 2004, CVPR.

[174]  M. Heath,et al.  An algorithm to compute a sparse basis of the null space , 1985 .

[175]  Tatsuo Ohtsuki,et al.  A Fast Algorithm for Finding an Optimal Ordering for Vertex Elimination on a Graph , 1976, SIAM J. Comput..

[176]  Stephen P. Boyd,et al.  Fast linear iterations for distributed averaging , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[177]  A. Willsky Multiresolution Markov models for signal and image processing , 2002, Proc. IEEE.

[178]  J. Faraut,et al.  Analysis on Symmetric Cones , 1995 .

[179]  T. Coleman,et al.  The null space problem I. complexity , 1986 .

[180]  C. Lekkeikerker,et al.  Representation of a finite graph by a set of intervals on the real line , 1962 .

[181]  Johan Efberg,et al.  YALMIP : A toolbox for modeling and optimization in MATLAB , 2004 .

[182]  D. Shanno On variable-metric methods for sparse Hessians , 1980 .

[183]  A. Nemirovski,et al.  Interior-point methods for optimization , 2008, Acta Numerica.

[184]  Timothy A. Davis,et al.  Direct methods for sparse linear systems , 2006, Fundamentals of algorithms.

[185]  Yoshio Okamoto,et al.  B-453 User's Manual for SparseCoLO: Conversion Methods for SPARSE COnic-form Linear Optimization Problems , 2009 .

[186]  Naonori Kakimura,et al.  A direct proof for the matrix decomposition of chordal-structured positive semidefinite matrices , 2010 .

[187]  Dimitri P. Bertsekas,et al.  On the Douglas—Rachford splitting method and the proximal point algorithm for maximal monotone operators , 1992, Math. Program..

[188]  Shinji Hara,et al.  Interior-Point Methods for the Monotone Semidefinite Linear Complementarity Problem in Symmetric Matrices , 1997, SIAM J. Optim..

[189]  Nobuo Yamashita,et al.  Analysis of Sparse Quasi-Newton Updates with Positive Definite Matrix Completion , 2014, Journal of the Operations Research Society of China.

[190]  László Lovász,et al.  On the Shannon capacity of a graph , 1979, IEEE Trans. Inf. Theory.

[191]  B. Schölkopf,et al.  Graph Laplacian Regularization for Large-Scale Semidefinite Programming , 2007 .

[192]  L. Lovász,et al.  Polynomial Algorithms for Perfect Graphs , 1984 .

[193]  Masakazu Muramatsu,et al.  SparsePOP: a Sparse Semidefinite Programming Relaxation of Polynomial Optimization Problems , 2005 .

[194]  H. Wolkowicz,et al.  Sensor Network Localization, Euclidean Distance Matrix completions, and graph realization , 2006, MELT '08.

[195]  Stephen A. Vavasis,et al.  A Fully Sparse Implementation of a Primal-Dual Interior-Point Potential Reduction Method for Semidefinite Programming , 2004, ArXiv.

[196]  Robert E. Tarjan,et al.  Algorithmic Aspects of Vertex Elimination on Graphs , 1976, SIAM J. Comput..

[197]  J. Lasserre,et al.  Handbook on Semidefinite, Conic and Polynomial Optimization , 2012 .

[198]  Robert E. Tarjan,et al.  Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs , 1984, SIAM J. Comput..

[199]  E. Ng,et al.  An E cient Algorithm to Compute Row andColumn Counts for Sparse Cholesky Factorization , 1994 .

[200]  Peter Buneman,et al.  A characterisation of rigid circuit graphs , 1974, Discret. Math..

[201]  Barry W. Peyton,et al.  Minimal Orderings Revisited , 1999, SIAM J. Matrix Anal. Appl..

[202]  Kim-Chuan Toh,et al.  Solving Large Scale Semidefinite Programs via an Iterative Solver on the Augmented Systems , 2003, SIAM J. Optim..

[203]  Joachim Dahl,et al.  Implementation of nonsymmetric interior-point methods for linear optimization over sparse matrix cones , 2010, Math. Program. Comput..

[204]  David J. C. MacKay,et al.  Information Theory, Inference, and Learning Algorithms , 2004, IEEE Transactions on Information Theory.

[205]  Y. Ye,et al.  A Distributed Method for Solving Semidefinite Programs Arising from Ad Hoc Wireless Sensor Network Localization , 2006 .

[206]  TIMOTHY A. DAVISyTechnical,et al.  Computing the Sparse Inverse Subset: an Inverse Multifrontal Approach , 1995 .

[207]  Steffen L. Lauritzen,et al.  Local computation with valuations from a commutative semigroup , 1997, Annals of Mathematics and Artificial Intelligence.

[208]  Paul Tseng,et al.  Dual coordinate ascent methods for non-strictly convex minimization , 1993, Math. Program..

[209]  Heinz H. Bauschke,et al.  Convex Analysis and Monotone Operator Theory in Hilbert Spaces , 2011, CMS Books in Mathematics.

[210]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[211]  Monique Laurent,et al.  On the Facial Structure of the Set of Correlation Matrices , 1996, SIAM J. Matrix Anal. Appl..

[212]  Henry Wolkowicz,et al.  Handbook of Semidefinite Programming , 2000 .

[213]  F. Glineur,et al.  Conic Formulation for lp-Norm Optimization , 2000 .

[214]  Adnan Darwiche,et al.  Modeling and Reasoning with Bayesian Networks , 2009 .

[215]  Stephen J. Wright,et al.  Numerical Optimization , 2018, Fundamental Statistical Inference.

[216]  I. J. Schoenberg Remarks to Maurice Frechet's Article ``Sur La Definition Axiomatique D'Une Classe D'Espace Distances Vectoriellement Applicable Sur L'Espace De Hilbert , 1935 .

[217]  Paul Tseng,et al.  Further applications of a splitting algorithm to decomposition in variational inequalities and convex programming , 1990, Math. Program..

[218]  D. Gabay Applications of the method of multipliers to variational inequalities , 1983 .

[219]  Joseph W. H. Liu The role of elimination trees in sparse factorization , 1990 .

[220]  R. Jabr Exploiting Sparsity in SDP Relaxations of the OPF Problem , 2012, IEEE Transactions on Power Systems.

[221]  D. Rose Triangulated graphs and the elimination process , 1970 .

[222]  Masakazu Kojima,et al.  Implementation and evaluation of SDPA 6.0 (Semidefinite Programming Algorithm 6.0) , 2003, Optim. Methods Softw..

[223]  Franz Rendl,et al.  An Augmented Primal-Dual Method for Linear Conic Programs , 2008, SIAM J. Optim..

[224]  Douglas R. Shier,et al.  Some aspects of perfect elimination orderings in chordal graphs , 1984, Discret. Appl. Math..

[225]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[226]  Masakazu Kojima,et al.  Exploiting Sparsity in SDP Relaxation of Polynomial Optimization Problems , 2012 .

[227]  F. Gavril The intersection graphs of subtrees in tree are exactly the chordal graphs , 1974 .

[228]  R. Glowinski,et al.  Sur l'approximation, par éléments finis d'ordre un, et la résolution, par pénalisation-dualité d'une classe de problèmes de Dirichlet non linéaires , 1975 .

[229]  B. Borchers CSDP, A C library for semidefinite programming , 1999 .

[230]  M. Golumbic Algorithmic graph theory and perfect graphs , 1980 .

[231]  Yinyu Ye,et al.  Algorithm 875: DSDP5—software for semidefinite programming , 2008, TOMS.

[232]  S. Low,et al.  Zero Duality Gap in Optimal Power Flow Problem , 2012, IEEE Transactions on Power Systems.

[233]  C. Richard Johnson,et al.  Matrix Completion Problems: A Survey , 1990 .

[234]  Joseph W. H. Liu,et al.  The Multifrontal Method for Sparse Matrix Solution: Theory and Practice , 1992, SIAM Rev..

[235]  Masakazu Kojima,et al.  Exploiting sparsity in linear and nonlinear matrix inequalities via positive semidefinite matrix completion , 2011, Math. Program..

[236]  H. Wolkowicz,et al.  Matrix Completion Problems , 2000 .

[237]  Yinyu Ye,et al.  A homogeneous interior-point algorithm for nonsymmetric convex conic optimization , 2014, Mathematical Programming.

[238]  Renato D. C. Monteiro,et al.  Primal-Dual Path-Following Algorithms for Semidefinite Programming , 1997, SIAM J. Optim..

[239]  Andreas Griewank,et al.  On the existence of convex decompositions of partially separable functions , 1984, Math. Program..

[240]  Renato D. C. Monteiro,et al.  Primal-dual first-order methods with $${\mathcal {O}(1/\epsilon)}$$ iteration-complexity for cone programming , 2011, Math. Program..