The Complexity of Multivariate Matching Polynomials
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Lecture 4 1 the Permanent of a Matrix
Grafy a poˇcty - NDMI078 April 2009 Lecture 4 M. Loebl J.-S. Sereni 1 The permanent of a matrix 1.1 Minc's conjecture The set of permutations of f1; : : : ; ng is Sn. Let A = (ai;j)1≤i;j≤n be a square matrix with real non-negative entries. The permanent of the matrix A is n X Y perm(A) := ai,σ(i) : σ2Sn i=1 In 1973, Br`egman[4] proved M´ınc’sconjecture [18]. n×n Pn Theorem 1 (Br`egman,1973). Let A = (ai;j)1≤i;j≤n 2 f0; 1g . Set ri := j=1 ai;j. Then, n Y 1=ri perm(A) ≤ (ri!) : i=1 Further, if ri > 0 for every i 2 f1; 2; : : : ; ng, then there is equality if and only if up to permutations of rows and columns, A is a block-diagonal matrix, each block being a square matrix with all entries equal to 1. Several proofs of this result are known, the original being combinatorial. In 1978, Schrijver [22] found a neat and short proof. A probabilistic description of this proof is presented in the book of Alon and Spencer [3, Chapter 2]. The one we will see in Lecture 5 uses the concept of entropy, and was found by Radhakrishnan [20] in the late nineties. It is a nice illustration of the use of entropy to count combinatorial objects. 1.2 The van der Waerden conjecture A square matrix M = (mij)1≤i;j≤n of non-negative real numbers is doubly stochastic if the sum of the entries of every line is equal to 1, and the same holds for the sum of the entries of each column. -
Lecture 12 – the Permanent and the Determinant
Lecture 12 { The permanent and the determinant Uriel Feige Department of Computer Science and Applied Mathematics The Weizman Institute Rehovot 76100, Israel [email protected] June 23, 2014 1 Introduction Given an order n matrix A, its permanent is X Yn per(A) = aiσ(i) σ i=1 where σ ranges over all permutations on n elements. Its determinant is X Yn σ det(A) = (−1) aiσ(i) σ i=1 where (−1)σ is +1 for even permutations and −1 for odd permutations. A permutation is even if it can be obtained from the identity permutation using an even number of transpo- sitions (where a transposition is a swap of two elements), and odd otherwise. For those more familiar with the inductive definition of the determinant, obtained by developing the determinant by the first row of the matrix, observe that the inductive defini- tion if spelled out leads exactly to the formula above. The same inductive definition applies to the permanent, but without the alternating sign rule. The determinant can be computed in polynomial time by Gaussian elimination, and in time n! by fast matrix multiplication. On the other hand, there is no polynomial time algorithm known for computing the permanent. In fact, Valiant showed that the permanent is complete for the complexity class #P , which makes computing it as difficult as computing the number of solutions of NP-complete problems (such as SAT, Valiant's reduction was from Hamiltonicity). For 0/1 matrices, the matrix A can be thought of as the adjacency matrix of a bipartite graph (we refer to it as a bipartite adjacency matrix { technically, A is an off-diagonal block of the usual adjacency matrix), and then the permanent counts the number of perfect matchings. -
THE N-DIMENSIONAL MATCHING POLYNOMIAL B. Lass
GAFA, Geom. funct. anal. Vol. 15 (2005) 453 – 475 c Birkh¨auser Verlag, Basel 2005 1016-443X/05/020453-23 DOI 10.1007/s00039-005-0512-0 GAFA Geometric And Functional Analysis THE N-DIMENSIONAL MATCHING POLYNOMIAL B. Lass To P. Cartier and A.K. Zvonkin Abstract. Heilmann et Lieb ont introduit le polynˆome de couplage µ(G, x) d’un graphe G =(V,E). Nous prolongeons leur d´efinition en munissant chaque sommet de G d’une forme lin´eaire N-dimensionnelle (ou bien d’un vecteur) et chaque arˆete d’une forme sym´etrique bilin´eaire. On attache doncatout ` r-couplage de G le produit des formes lin´eaires des sommets qui ne sont pas satur´es par le couplage, multipli´e par le produit des poids des r arˆetes du couplage, o`u le poids d’une arˆete est la valeur de sa forme ´evalu´ee sur les deux vecteurs de ses extr´emit´es. En multipliant par (−1)r et en sommant sur tous les couplages, nous obtenons notre polynˆome de couplage N-dimensionnel. Si N =1,leth´eor`eme principal de l’article de Heilmann et Lieb affirme que tous les z´eros de µ(G, x)sontr´eels. Si N =2, cependant, nous avons trouv´e des graphes exceptionnels o`u il n’y a aucun z´ero r´eel, mˆeme si chaque arˆete est munie du produit scalaire canonique. Toutefois, la th´eorie de la dualit´ed´evelopp´ee dans [La1] reste valable en N dimensions. Elle donne notamment une nouvelle interpr´etationala ` transformation de Bargmann–Segal, aux diagrammes de Feynman et aux produits de Wick. -
On Connectedness and Graph Polynomials
ON CONNECTEDNESS AND GRAPH POLYNOMIALS by Lucas Mol Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy at Dalhousie University Halifax, Nova Scotia April 2016 ⃝c Copyright by Lucas Mol, 2016 Table of Contents List of Tables ................................... iv List of Figures .................................. v Abstract ...................................... vii List of Abbreviations and Symbols Used .................. viii Acknowledgements ............................... x Chapter 1 Introduction .......................... 1 1.1 Background . .6 Chapter 2 All-Terminal Reliability ................... 11 2.1 An Upper Bound on the Modulus of any All-Terminal Reliability Root.................................... 13 2.1.1 All-Terminal Reliability and Simplical Complexes . 13 2.1.2 The Chip-Firing Game and Order Ideals of Monomials . 16 2.1.3 An Upper Bound on the Modulus of any All-Terminal Reliabil- ity Root . 19 2.2 All-Terminal Reliability Roots outside of the Unit Disk . 25 2.2.1 All-Terminal Reliability Roots of Larger Modulus . 25 2.2.2 Simple Graphs with All-Terminal Reliability Roots outside of the Unit Disk . 29 Chapter 3 Node Reliability ........................ 45 3.1 Monotonicity . 51 3.2 Concavity and Inflection Points . 66 3.3 Fixed Points . 74 3.4 The Roots of Node Reliability . 80 ii Chapter 4 The Connected Set Polynomial ............... 84 4.1 Complexity . 88 4.2 Roots of the Connected Set Polynomial . 99 4.2.1 Realness and Connected Set Roots . 99 4.2.2 Bounding the Connected Set Roots . 104 4.2.3 The Closure of the Collection of Connected Set Roots . 116 Chapter 5 The Subtree Polynomial ................... 130 5.1 Connected Sets and Convexity . 132 5.2 Paths and Stars . -
Extended Branch Decomposition Graphs: Structural Comparison of Scalar Data
Eurographics Conference on Visualization (EuroVis) 2014 Volume 33 (2014), Number 3 H. Carr, P. Rheingans, and H. Schumann (Guest Editors) Extended Branch Decomposition Graphs: Structural Comparison of Scalar Data Himangshu Saikia, Hans-Peter Seidel, Tino Weinkauf Max Planck Institute for Informatics, Saarbrücken, Germany Abstract We present a method to find repeating topological structures in scalar data sets. More precisely, we compare all subtrees of two merge trees against each other – in an efficient manner exploiting redundancy. This provides pair-wise distances between the topological structures defined by sub/superlevel sets, which can be exploited in several applications such as finding similar structures in the same data set, assessing periodic behavior in time-dependent data, and comparing the topology of two different data sets. To do so, we introduce a novel data structure called the extended branch decomposition graph, which is composed of the branch decompositions of all subtrees of the merge tree. Based on dynamic programming, we provide two highly efficient algorithms for computing and comparing extended branch decomposition graphs. Several applications attest to the utility of our method and its robustness against noise. 1. Introduction • We introduce the extended branch decomposition graph: a novel data structure that describes the hierarchical decom- Structures repeat in both nature and engineering. An example position of all subtrees of a join/split tree. We abbreviate it is the symmetric arrangement of the atoms in molecules such with ‘eBDG’. as Benzene. A prime example for a periodic process is the • We provide a fast algorithm for computing an eBDG. Typ- combustion in a car engine where the gas concentration in a ical runtimes are in the order of milliseconds. -
Exploiting C-Closure in Kernelization Algorithms for Graph Problems
Exploiting c-Closure in Kernelization Algorithms for Graph Problems Tomohiro Koana Technische Universität Berlin, Algorithmics and Computational Complexity, Germany [email protected] Christian Komusiewicz Philipps-Universität Marburg, Fachbereich Mathematik und Informatik, Marburg, Germany [email protected] Frank Sommer Philipps-Universität Marburg, Fachbereich Mathematik und Informatik, Marburg, Germany [email protected] Abstract A graph is c-closed if every pair of vertices with at least c common neighbors is adjacent. The c-closure of a graph G is the smallest number such that G is c-closed. Fox et al. [ICALP ’18] defined c-closure and investigated it in the context of clique enumeration. We show that c-closure can be applied in kernelization algorithms for several classic graph problems. We show that Dominating Set admits a kernel of size kO(c), that Induced Matching admits a kernel with O(c7k8) vertices, and that Irredundant Set admits a kernel with O(c5/2k3) vertices. Our kernelization exploits the fact that c-closed graphs have polynomially-bounded Ramsey numbers, as we show. 2012 ACM Subject Classification Theory of computation → Parameterized complexity and exact algorithms; Theory of computation → Graph algorithms analysis Keywords and phrases Fixed-parameter tractability, kernelization, c-closure, Dominating Set, In- duced Matching, Irredundant Set, Ramsey numbers Funding Frank Sommer: Supported by the Deutsche Forschungsgemeinschaft (DFG), project MAGZ, KO 3669/4-1. 1 Introduction Parameterized complexity [9, 14] aims at understanding which properties of input data can be used in the design of efficient algorithms for problems that are hard in general. The properties of input data are encapsulated in the notion of a parameter, a numerical value that can be attributed to each input instance I. -
3.1 Matchings and Factors: Matchings and Covers
1 3.1 Matchings and Factors: Matchings and Covers This copyrighted material is taken from Introduction to Graph Theory, 2nd Ed., by Doug West; and is not for further distribution beyond this course. These slides will be stored in a limited-access location on an IIT server and are not for distribution or use beyond Math 454/553. 2 Matchings 3.1.1 Definition A matching in a graph G is a set of non-loop edges with no shared endpoints. The vertices incident to the edges of a matching M are saturated by M (M-saturated); the others are unsaturated (M-unsaturated). A perfect matching in a graph is a matching that saturates every vertex. perfect matching M-unsaturated M-saturated M Contains copyrighted material from Introduction to Graph Theory by Doug West, 2nd Ed. Not for distribution beyond IIT’s Math 454/553. 3 Perfect Matchings in Complete Bipartite Graphs a 1 The perfect matchings in a complete b 2 X,Y-bigraph with |X|=|Y| exactly c 3 correspond to the bijections d 4 f: X -> Y e 5 Therefore Kn,n has n! perfect f 6 matchings. g 7 Kn,n The complete graph Kn has a perfect matching iff… Contains copyrighted material from Introduction to Graph Theory by Doug West, 2nd Ed. Not for distribution beyond IIT’s Math 454/553. 4 Perfect Matchings in Complete Graphs The complete graph Kn has a perfect matching iff n is even. So instead of Kn consider K2n. We count the perfect matchings in K2n by: (1) Selecting a vertex v (e.g., with the highest label) one choice u v (2) Selecting a vertex u to match to v K2n-2 2n-1 choices (3) Selecting a perfect matching on the rest of the vertices. -
Matchgates Revisited
THEORY OF COMPUTING, Volume 10 (7), 2014, pp. 167–197 www.theoryofcomputing.org RESEARCH SURVEY Matchgates Revisited Jin-Yi Cai∗ Aaron Gorenstein Received May 17, 2013; Revised December 17, 2013; Published August 12, 2014 Abstract: We study a collection of concepts and theorems that laid the foundation of matchgate computation. This includes the signature theory of planar matchgates, and the parallel theory of characters of not necessarily planar matchgates. Our aim is to present a unified and, whenever possible, simplified account of this challenging theory. Our results include: (1) A direct proof that the Matchgate Identities (MGI) are necessary and sufficient conditions for matchgate signatures. This proof is self-contained and does not go through the character theory. (2) A proof that the MGI already imply the Parity Condition. (3) A simplified construction of a crossover gadget. This is used in the proof of sufficiency of the MGI for matchgate signatures. This is also used to give a proof of equivalence between the signature theory and the character theory which permits omittable nodes. (4) A direct construction of matchgates realizing all matchgate-realizable symmetric signatures. ACM Classification: F.1.3, F.2.2, G.2.1, G.2.2 AMS Classification: 03D15, 05C70, 68R10 Key words and phrases: complexity theory, matchgates, Pfaffian orientation 1 Introduction Leslie Valiant introduced matchgates in a seminal paper [24]. In that paper he presented a way to encode computation via the Pfaffian and Pfaffian Sum, and showed that a non-trivial, though restricted, fragment of quantum computation can be simulated in classical polynomial time. Underlying this magic is a way to encode certain quantum states by a classical computation of perfect matchings, and to simulate certain ∗Supported by NSF CCF-0914969 and NSF CCF-1217549. -
Harary Polynomials
numerative ombinatorics A pplications Enumerative Combinatorics and Applications ECA 1:2 (2021) Article #S2R13 ecajournal.haifa.ac.il Harary Polynomials Orli Herscovici∗, Johann A. Makowskyz and Vsevolod Rakitay ∗Department of Mathematics, University of Haifa, Israel Email: [email protected] zDepartment of Computer Science, Technion{Israel Institute of Technology, Haifa, Israel Email: [email protected] yDepartment of Mathematics, Technion{Israel Institute of Technology, Haifa, Israel Email: [email protected] Received: November 13, 2020, Accepted: February 7, 2021, Published: February 19, 2021 The authors: Released under the CC BY-ND license (International 4.0) Abstract: Given a graph property P, F. Harary introduced in 1985 P-colorings, graph colorings where each color class induces a graph in P. Let χP (G; k) counts the number of P-colorings of G with at most k colors. It turns out that χP (G; k) is a polynomial in Z[k] for each graph G. Graph polynomials of this form are called Harary polynomials. In this paper we investigate properties of Harary polynomials and compare them with properties of the classical chromatic polynomial χ(G; k). We show that the characteristic and the Laplacian polynomial, the matching, the independence and the domination polynomials are not Harary polynomials. We show that for various notions of sparse, non-trivial properties P, the polynomial χP (G; k) is, in contrast to χ(G; k), not a chromatic, and even not an edge elimination invariant. Finally, we study whether the Harary polynomials are definable in monadic second-order Logic. Keywords: Generalized colorings; Graph polynomials; Courcelle's Theorem 2020 Mathematics Subject Classification: 05; 05C30; 05C31 1. -
Approximation Algorithms
Lecture 21 Approximation Algorithms 21.1 Overview Suppose we are given an NP-complete problem to solve. Even though (assuming P = NP) we 6 can’t hope for a polynomial-time algorithm that always gets the best solution, can we develop polynomial-time algorithms that always produce a “pretty good” solution? In this lecture we consider such approximation algorithms, for several important problems. Specific topics in this lecture include: 2-approximation for vertex cover via greedy matchings. • 2-approximation for vertex cover via LP rounding. • Greedy O(log n) approximation for set-cover. • Approximation algorithms for MAX-SAT. • 21.2 Introduction Suppose we are given a problem for which (perhaps because it is NP-complete) we can’t hope for a fast algorithm that always gets the best solution. Can we hope for a fast algorithm that guarantees to get at least a “pretty good” solution? E.g., can we guarantee to find a solution that’s within 10% of optimal? If not that, then how about within a factor of 2 of optimal? Or, anything non-trivial? As seen in the last two lectures, the class of NP-complete problems are all equivalent in the sense that a polynomial-time algorithm to solve any one of them would imply a polynomial-time algorithm to solve all of them (and, moreover, to solve any problem in NP). However, the difficulty of getting a good approximation to these problems varies quite a bit. In this lecture we will examine several important NP-complete problems and look at to what extent we can guarantee to get approximately optimal solutions, and by what algorithms. -
The Geometry of Dimer Models
THE GEOMETRY OF DIMER MODELS DAVID CIMASONI Abstract. This is an expanded version of a three-hour minicourse given at the winterschool Winterbraids IV held in Dijon in February 2014. The aim of these lectures was to present some aspects of the dimer model to a geometri- cally minded audience. We spoke neither of braids nor of knots, but tried to show how several geometrical tools that we know and love (e.g. (co)homology, spin structures, real algebraic curves) can be applied to very natural problems in combinatorics and statistical physics. These lecture notes do not contain any new results, but give a (relatively original) account of the works of Kaste- leyn [14], Cimasoni-Reshetikhin [4] and Kenyon-Okounkov-Sheffield [16]. Contents Foreword 1 1. Introduction 1 2. Dimers and Pfaffians 2 3. Kasteleyn’s theorem 4 4. Homology, quadratic forms and spin structures 7 5. The partition function for general graphs 8 6. Special Harnack curves 11 7. Bipartite graphs on the torus 12 References 15 Foreword These lecture notes were originally not intended to be published, and the lectures were definitely not prepared with this aim in mind. In particular, I would like to arXiv:1409.4631v2 [math-ph] 2 Nov 2015 stress the fact that they do not contain any new results, but only an exposition of well-known results in the field. Also, I do not claim this treatement of the geometry of dimer models to be complete in any way. The reader should rather take these notes as a personal account by the author of some selected chapters where the words geometry and dimer models are not completely irrelevant, chapters chosen and organized in order for the resulting story to be almost self-contained, to have a natural beginning, and a happy ending. -
Lectures 4 and 6 Lecturer: Michel X
18.438 Advanced Combinatorial Optimization Feb 13 and 25, 2014 Lectures 4 and 6 Lecturer: Michel X. Goemans Scribe: Zhenyu Liao and Michel X. Goemans Today, we will use an algebraic approach to solve the matching problem. Our goal is to derive an algebraic test for deciding if a graph G = (V; E) has a perfect matching. We may assume that the number of vertices is even since this is a necessary condition for having a perfect matching. First, we will define a few basic needed notations. Definition 1 A skew-symmetric matrix A is a square matrix which satisfies AT = −A, i.e. if A = (aij) we have aij = −aji for all i; j. For a graph G = (V; E) with jV j = n and jEj = m, we construct a n × n skew-symmetric matrix A = (aij) with an entry aij = −aji for each edge (i; j) 2 E and aij = 0 if (i; j) is not an edge; the values aij for the edges will be specified later. Recall: Definition 2 The determinant of matrix A is n X Y det(A) = sgn(σ) aiσ(i) σ2Sn i=1 where Sn is the set of all permutations of n elements and the sgn(σ) is defined to be 1 if the number of inversions in σ is even and −1 otherwise. Note that for a skew-symmetric matrix A, det(A) = det(−AT ) = (−1)n det(A). So if n is odd we have det(A) = 0. Consider K4, the complete graph on 4 vertices, and thus 0 1 0 a12 a13 a14 B−a12 0 a23 a24C A = B C : @−a13 −a23 0 a34A −a14 −a24 −a34 0 By computing its determinant one observes that 2 det(A) = (a12a34 − a13a24 + a14a23) : First, it is the square of a polynomial q(a) in the entries of A, and moreover this polynomial has a monomial precisely for each perfect matching of K4.