We consider 3 (weighted) posets associated with a graph G - the poset P(G) of distinct induced unlabelled subgraphs, the lattice Omega(G) of distinct unlabelled graphs induced by connected partitions, and the poset Q(G) of distinct unlabelled edge-subgraphs. We study these posets given up to isomorphism, and their relation to the reconstruction conjectures. We show that when G is not a star or a disjoint union of edges, P(G) and Omega(G) can be constructed from each other. The result implies that trees are reconstructible from their abstract bond lattice. We present many results on the reconstruction questions about the chromatic symmetric function and the symmetric Tutte polynomial. In particular, we show that the symmetric Tutte polynomial of a tree can be constructed from its chromatic symmetric function.
We classify graphs that are not reconstructible from their abstract edge-subgraph posets, and further show that the families presented here are the only graphs not Q-reconstructible if and only if the edge reconstruction conjecture is true.
Let f be a bijection from the set of all unlabelled graphs to itself such that for all unlabelled graphs G and H, hom(G,H) = hom(f(G), f(H)). We conjecture that f is an identity map. We show that this conjecture is weaker than the edge reconstruction conjecture. Our conjecture is motivated by homomorphism cancellation results due to Lovász.
The abstract induced subgraph poset of a graph is the isomorphism class of the induced subgraph poset of the graph, suitably weighted by subgraph counting numbers. The abstract bond lattice and the abstract edge-subgraph poset are defined similarly by considering the lattice of subgraphs induced by connected partitions and the poset of edge-subgraphs, respectively. Continuing our development of graph reconstruction theory on these structures, we show that if a graph has no isolated vertices, then its abstract bond lattice and the abstract induced subgraph poset can be constructed from the abst…
Given a simple graph $G$, a poset of its even subgraphs was firstly considered by S. Choi and H. Park to study the topology of a real toric manifold associated with $G$. S. Choi and the authors extended this to a graph allowing multiple edges, motivated by the work on the pseudograph associahedron of Carr, Devadoss and Forcey. In this paper, we completely characterize the graphs (allowing multiple edges) whose posets of even subgraphs are always shellable. By the result, we also compute the Betti numbers of a real toric manifold corresponding to a path with two multiple edges.
We show that the Voronoi cells of the lattice of integer flows of a finite connected graph $G$ in the quadratic vector space of real valued flows have the following very precise combinatorics: the face poset of a Voronoi cell is isomorphic to the poset of strongly connected orientations of subgraphs of $G$. This confirms a conjecture of Caporaso and Viviani {Torelli Theorem For Graphs and Tropical Curves, Duke Math. J. 153(1) (2010), 129-171}.
We study the directed maximum common edge subgraph problem (DMCES) for the class of directed graphs that are finite, weakly connected, oriented, and simple. We use DMCES to define a metric on partially ordered sets that can be represented as weakly connected directed acyclic graphs. While most existing metrics assume that the underlying sets of the partial order are identical, and only the relationships between elements can differ, the metric defined here allows the partially ordered sets to be different. The proof that there is a metric based on DMCES involves the extension of the concept of …
We study the poset $\mathcal{G}$ of all unlabelled graphs, up to isomorphism, with $H\le G$ if $H$ occurs as an induced subgraph in $G$. We present some general results on the Möbius function of intervals of $\mathcal{G}$ and some results for specific classes of graphs. This includes a case where the Möbius function is given by the Catalan numbers, which we prove using discrete Morse theory, and another case where it equals the Fibonacci numbers, therefore showing that the Möbius function is unbounded. A classification of the disconnected intervals of $\mathcal{G}$ is presented, which gives a …
We study dismantlability in graphs. In order to compare this notion to similar operations in posets (partially ordered sets) or in simplicial complexes, we prove that a graph G dismants on a subgraph H if and only if H is a strong deformation retract of G. Then, by looking at a triangle relating graphs, posets and simplicial complexes, we get a precise correspondence of the various notions of dismantlability in each framework. As an application, we study the link between the graph of morphisms from a graph G to a graph H and the polyhedral complex Hom(G,H); this gives a more precise statement …
The Reconstruction Conjecture of Ulam asserts that, for $n\geq 3$, every $n$-vertex graph is determined by the multiset of its induced subgraphs with $n-1$ vertices. The conjecture is known to hold for various special classes of graphs but remains wide open. We survey results on the more general conjecture by Kelly from 1957 that for every positive integer $\ell$ there exists $M_\ell$ (with $M_1=3$) such that when $n\geq M_\ell$ every $n$-vertex graph is determined by the multiset of its induced subgraphs with $n-\ell$ vertices.
In this paper we modify slightly Razborov's flag algebra machinery to be suitable for the hypercube. We use this modified method to show that the maximum number of edges of a 4-cycle-free subgraph of the n-dimensional hypercube is at most 0.6068 times the number of its edges. We also improve the upper bound on the number of edges for 6-cycle-free subgraphs of the n-dimensional hypercube from the square root of 2 - 1 to 0.3755 times the number of its edges. Additionally, we show that if the n-dimensional hypercube is considered as a poset, then the maximum vertex density of three middle layers …
Motivated by the graph associahedron KG, a polytope whose face poset is based on connected subgraphs of G, we consider the notion of associativity and tubes on posets. This leads to a new family of simple convex polytopes obtained by iterated truncations. These generalize graph associahedra and nestohedra, even encompassing notions of nestings on CW-complexes. However, these poset associahedra fall in a different category altogether than generalized permutohedra.
The partition lattice and noncrossing partition lattice are well studied objects in combinatorics. Given a graph $G$ on vertex set $\{1,2,\dots, n\}$, its bond lattice, $L_G$, is the subposet of the partition lattice formed by restricting to the partitions whose blocks induce connected subgraphs of $G$. In this article, we introduce a natural noncrossing analogue of the bond lattice, the noncrossing bond poset, $NC_G$, obtained by restricting to the noncrossing partitions of $L_G$. Both the noncrossing partition lattice and the bond lattice have many nice combinatorial properties. We show that…
A hereditary property of combinatorial structures is a collection of structures (e.g. graphs, posets) which is closed under isomorphism, closed under taking induced substructures (e.g. induced subgraphs), and contains arbitrarily large structures. Given a property P, we write P_n for the collection of distinct (i.e., non-isomorphic) structures in a property P with n vertices, and call the function n -> |P_n| the speed (or unlabelled speed) of P. Also, we write P^n for the collection of distinct labelled structures in P with vertices labelled 1,...,n, and call the function n -> |P^n| the labell…
We describe some metric properties of incomparability graphs. We consider the problem of the existence of infinite paths, either induced or isometric, in the incomparability graph of a poset. Among other things, we show that if the incomparability graph of a poset is connected and has infinite diameter, then it contains an infinite induced path. Furthermore, if the diameter of the set of vertices of degree at least $3$ is infinite, then the graph contains as an induced subgraph either a comb or a kite.
We study the subgraph of the Young-Fibonacci graph induced by elements with odd $f$-statistic (the $f$-statistic of an element $w$ of a differential graded poset is the number of saturated chains from the minimal element of the poset to $w$). We show that this subgraph is a binary tree. Moreover, the odd residues of the $f$-statistics in a row of this tree equidistibute modulo any power two. This is equivalent to a purely number theoretic result about the equidistribution of residues modulo powers of two among the products of distinct odd numbers less than a fixed number.
We describe computer searches that prove the graph reconstruction conjecture for graphs with up to 13 vertices and some limited classes on larger sizes. We also investigate the reconstructibility of tournaments up to 13 vertices, digraphs up to 9 vertices, and posets up to 13 points. In all cases, our results also apply to the set reconstruction problem that uses the isomorph-reduced deck.
Given a graph G, an incidence matrix N(G) is defined for the set of distinct isomorphism types of induced subgraphs of G. If Ulam's conjecture is true, then every graph invariant must be reconstructible from this matrix, even when the graphs indexing the rows and the columns of N(G) are unspecified. It is proved that the characteristic polynomial, the rank polynomial, and the number of spanning trees of a graph are reconstructible from its N-matrix. These results are stronger than the original results of Tutte in the sense that actual subgraphs are not used. It is also proved that the characte…
Understanding the structure of a graph along with the structure of its subgraphs is important for several problems in graph theory. Two examples are the Reconstruction Conjecture and isomorph-free generation. This paper raises the question of which pairs of groups can be represented as the automorphism groups of a graph and a vertex-deleted subgraph. This, and more surprisingly the analogous question for edge-deleted subgraphs, are answered in the most positive sense using concrete constructions.
We prove that a large family of graphs which are decomposable with respect to the modular decomposition can be reconstructed from their collection of vertex-deleted subgraphs.
Any graph which is not vertex transitive has a proper induced subgraph which is unique due to its structure or the way of its connection to the rest of the graph. We have called such subgraph as an anchor. Using an anchor which, in fact, is representative of a graph asymmetry, the reconstruction of that graph reduces to a smaller form of the reconstruction. Therefore, to show that a graph is reconstructible, it is sufficient to find a suitable anchor that brings us to a solved form of the problem. An orbit O of a graph G which makes G\ O to be an anchor or two vertices which makes G \{v,w} to …
The graph reconstruction conjecture states that all graphs on at least three vertices are determined up to isomorphism by their deck. In this paper, a general framework for this problem is proposed to simply explain the reconstruction of graphs. Here, we do not prove or reject the reconstruction conjecture. But, we explain why a graph is reconstructible. For instance, the reconstruction of small graphs which have been shown by computer, is explained in this framework. We show that any non-regular graph has a proper induced subgraph which is unique due to either its structure or the way of its …
A renowned theorem of Blind and Mani, with a constructive proof by Kalai and an efficiency proof by Friedman, shows that the whole face lattice of a simple polytope can be determined from its graph. This is part of a broader story of reconstructing face lattices from partial information, first considered comprehensively in Grünbaum's 1967 book. This survey paper includes varied results and open questions by many researchers on simplicial polytopes, nearly simple polytopes, cubical polytopes, zonotopes, crosspolytopes, and Eulerian posets.
Let $G$ be a group of permutations acting on an $n$-vertex set $V$, and $X$ and $Y$ be two simple graphs on $V$. We say that $X$ and $Y$ are $G$-isomorphic if $Y$ belongs to the orbit of $X$ under the action of $G$. One can naturally generalize the reconstruction problems so that when $G$ is $S_n$, the symmetric group, we have the usual reconstruction problems. In this paper, we study $G$-edge reconstructibility of graphs. We prove some old and new results on edge reconstruction and reconstruction from end vertex deleted subgraphs.
The bipartition polynomial of a graph is a generalization of many other graph polynomials, including the domination, Ising, matching, independence, cut, and Euler polynomial. We show in this paper that it is also a powerful tool for proving graph properties. In addition, we can show that the bipartition polynomial is polynomially reconstructible, which means that we can recover it from the multiset of bipartition polynomials of one-edge-deleted subgraphs.
In this partly expository paper we discuss and describe some of our old and recent results on partial orders on the set (m,n)-graphs (i.e. graphs with n vertices and m edges) and some operations on graphs that are monotone with respect to these partial orders. The partial orders under consideration include those related with some Laplacian characteristics of graphs as well as with some probabilistic characteristics of graphs with randomly deleted edges. Section 2 provides some notions, notation, and simple observations. Section 3 contains some basic facts on the Laplacian polynomial of a graph…
The matching polynomial of a graph is the generating function of the numbers of its matchings with respect to their cardinality. A graph polynomial is polynomial reconstructible, if its value for a graph can be determined from its values for the vertex-deleted subgraphs of the same graph. This note discusses the polynomial reconstructibility of the matching polynomial. We collect previous results, prove it for graphs with pendant edges and disprove it for some graphs.
The edge-reconstruction number ern$(G)$ of a graph $G$ is equal to the minimum number of edge-deleted subgraphs $G-e$ of $G$ which are sufficient to determine $G$ up to isomorphsim. Building upon the work of Molina and using results from computer searches by Rivshin and more recent ones which we carried out, we show that, apart from three known exceptions, all bicentroidal trees have edge-reconstruction number equal to 2. We also exhibit the known trees having edge-reconstruction number equal to 3 and we conjecture that the three infinite families of unicentroidal trees which we have found to …
An edge-deleted subgraph of a graph $G$ is an {\it edge-card}. A {\it decard} consists of an edge-card and the degree of the missing edge. The {\it degree-associated edge-reconstruction number} of a graph $G$, denoted $\dern(G)$, is the minimum number of decards that suffice to reconstruct $G$. The {\it adversary degree-associated edge-reconstruction number} $\adern(G)$ is the least $k$ such that every set of $k$ decards determines $G$. We determine these two parameters for all double-brooms. The answer is usually $1$ for $\dern(G)$, and $2$ for $\adern(G)$ when $G$ is double-broom. But there …
The edge-reconstruction number of graph $G$, denoted $ern(G)$,is the size of the smallest multiset of edge-deleted, unlabeled subgraphs of $G$, from which the structure of $G$ can be uniquely determined. That there was some connection between the areas of edge reconstruction and swappability has been known since the swapping number of a graph was first introduced by Froncek, Rosenberg, and Hlavacek in 2013. This paper illustrates the depth of that connection by proving several bridging results between those areas; in particular, when the graphs in question are both regular and 2-swappable. The…
An edge-card of a graph G is a subgraph formed by deleting an edge. The edge-reconstruction number of a graph G, ern(G), is the minimum number of edge-cards required to determine G up to isomorphism. A da-ecard is an edge-card which also specifies the degree of the deleted edge, that is, the number of edges adjacent to it. The degree-associated edge-reconstruction number, dern(G) is the minimum number of da- ecards that suffice to determine the graph G. In this paper we state some known results on the edge-reconstruction number of disconnected graphs and trees. Then we investigate how the degr…
Many degree sequences can only be realised in graphs that contain a `ds-completable card', defined as a vertex-deleted subgraph in which the erstwhile neighbours of the deleted vertex can be identified from their degrees, if one knows the degree sequence of the original graph. We obtain conditions on the degree sequence, such that graphs whose degree sequence satisfies one of the conditions must contain such a card. The methods allow all such sequences on graphs of order up to 10 to be identified, and some fraction of the sequences for larger graphs. Among other applications, this can be used …
Given a simple graph G, the graph associahedron KG is a simple polytope whose face poset is based on the connected subgraphs of G. This paper defines and constructs graph associahedra in a general context, for pseudographs with loops and multiple edges, which are also allowed to be disconnected. We then consider deformations of pseudograph associahedra as their underlying graphs are altered by edge contractions and edge deletions.
The combinatorial structure of a d-dimensional simple convex polytope can be reconstructed from its abstract graph [Blind & Mani 1987, Kalai 1988]. However, no polynomial/efficient algorithm is known for this task, although a polynomially checkable certificate for the correct reconstruction was found by [Joswig, Kaibel & Koerner 2000]. A much stronger certificate would be given by the following characterization of the facet subgraphs, conjectured by M. Perles: ``The facet subgraphs of the graph of a simple d-polytope are exactly all the (d-1)-regular, connected, induced, non-separating subgrap…
The $k$-deck of a graph is its multiset of induced subgraphs on $k$ vertices. We prove that $n$-vertex graphs with maximum degree $2$ have the same $k$-decks if each cycle has at least $k+1$ vertices, each path component has at least $k-1$ vertices, and the number of edges is the same. Using this for lower bounds, we obtain for each graph with maximum degree at most $2$ the least $k$ such that it is determined by its $k$-deck. For the $n$-vertex cycle this value is $\lfloor n/2 \rfloor$, and for the $n$-vertex path it is $\lfloor n/2 \rfloor+1$. Also, the least $k$ such that the $k$-deck of an…
The Reconstruction Conjecture due to Kelly and Ulam states that every graph with at least 3 vertices is uniquely determined by its multiset of subgraphs $\{G-v: v\in V(G)\}$. Let $diam(G)$ and $κ(G)$ denote the diameter and the connectivity of a graph $G$, respectively, and let $\mathcal{G}_2:=\{G: \textrm{diam}(G)=2\}$ and $\mathcal{G}_3:=\{G:\textrm{diam}(G)=\textrm{diam}(\overline{G})=3\}$. It is known that the Reconstruction Conjecture is true if and only if it is true for every 2-connected graph in $\mathcal{G}_2\cup \mathcal{G}_3$. Balakumar and Monikandan showed that the Reconstruction …
On the Expressibility of the Reconstructional Color Refinement
The Institute of Mathematical Sciences (HBNI)（数学科学研究所（HBNI））；Chennai Mathematical Institute（金奈数学研究所）；Institut für Informatik, Humboldt-Universität zu Berlin（柏林洪堡大学计算机科学研究所）；IAPMM
An edge deleted unlabeled subgraph of a graph G is an ecard. A da-ecard specifies the degree of the deleted edge along with the ecard. The degree associated edge reconstruction number of a graph G, dern(G), is the size of the smallest collection of da-ecards of G that uniquely determines G. The adversary degree associated edge reconstruction number of a graph G, adern(G), is the minimum number k such that every collection of k da-ecards of G uniquely determines G. A strong double broom is the graph on at least 5 vertices obtained from a union of (at least two) internally vertex disjoint paths …
The idiosyncratic polynomial of a graph $G$ with adjacency matrix $A$ is the characteristic polynomial of the matrix $ A + y(J-A-I)$, where $I$ is the identity matrix and $J$ is the all-ones matrix. It follows from a theorem of Hagos (2000) combined with an earlier result of Johnson and Newman (1980) that the idiosyncratic polynomial of a graph is reconstructible from the multiset of the idiosyncratic polynomial of its vertex-deleted subgraphs. For a digraph $G$ with adjacency matrix $A$, we define its idiosyncratic polynomial as the characteristic polynomial of the matrix $ A + y(J-A-I)+zA^{T…
The graph reconstruction conjecture asserts that every finite simple graph on at least three vertices can be reconstructed up to isomorphism from its deck - the collection of its vertex-deleted subgraphs. Kocay's Lemma is an important tool in graph reconstruction. Roughly speaking, given the deck of a graph $G$ and any finite sequence of graphs, it gives a linear constraint that every reconstruction of $G$ must satisfy. Let $ψ(n)$ be the number of distinct (mutually non-isomorphic) graphs on $n$ vertices, and let $d(n)$ be the number of distinct decks that can be constructed from these graphs.…
