graph
34828 papers tagged with this keyword
Optimal packings of bounded degree trees
Published
• View Publication
• BIB
We prove that if $T_1,\dots, T_n$ is a sequence of bounded degree trees so that $T_i$ has $i$ vertices, then $K_n$ has a decomposition into $T_1,\dots, T_n$. This shows that the tree packing conjecture of Gyárfás and Lehel from 1976 holds for all bounded degree trees (in fact, we can allow the first $o(n)$ trees to have arbitrary degrees). Similarly, we show that Ringel's conjecture from 1963 holds for all bounded degree trees. We deduce these results from a more general theorem, which yields decompositions of dense quasi-random graphs into suitable families of bounded degree graphs. Our proofs involve Szemerédi's regularity lemma, results on Hamilton decompositions of robust expanders, random walks, iterative absorption as well as a recent blow-up lemma for approximate decompositions.
On sofic approximations of Property (T) groups
We prove Bowen's conjecture that every sequence of finite graphs that locally converges to the Cayley graph of a countably infinite group with Kazhdan Property (T) is essentially a vertex-disjoint union of expander graphs. We characterize graph sequences that are essentially a vertex-disjoint union of expander graphs in terms of the Markov operator.
On the exact learnability of graph parameters: The case of partition functions
We study the exact learnability of real valued graph parameters $f$ which are known to be representable as partition functions which count the number of weighted homomorphisms into a graph $H$ with vertex weights $α$ and edge weights $β$. M. Freedman, L. Lovász and A. Schrijver have given a characterization of these graph parameters in terms of the $k$-connection matrices $C(f,k)$ of $f$. Our model of learnability is based on D. Angluin's model of exact learning using membership and equivalence queries. Given such a graph parameter $f$, the learner can ask for the values of $f$ for graphs of their choice, and they can formulate hypotheses in terms of the connection matrices $C(f,k)$ of $f$. The teacher can accept the hypothesis as correct, or provide a counterexample consisting of a graph. Our main result shows that in this scenario, a very large class of partition functions, the rigid partition functions, can be learned in time polynomial in the size of $H$ and the size of the largest counterexample in the Blum-Shub-Smale model of computation over the reals with unit cost.
Tensor surgery and tensor rank
Published in J. comput. complex. (2018)
• View Publication
• BIB
We introduce a method for transforming low-order tensors into higher-order tensors and apply it to tensors defined by graphs and hypergraphs. The transformation proceeds according to a surgery-like procedure that splits vertices, creates and absorbs virtual edges and inserts new vertices and edges. We show that tensor surgery is capable of preserving the low rank structure of an initial tensor decomposition and thus allows to prove nontrivial upper bounds on tensor rank, border rank and asymptotic rank of the final tensors. We illustrate our method with a number of examples. Tensor surgery on the triangle graph, which corresponds to the matrix multiplication tensor, leads to nontrivial rank upper bounds for all odd cycle graphs, which correspond to the tensors of iterated matrix multiplication. In the asymptotic setting we obtain upper bounds in terms of the matrix multiplication exponent $ω$ and the rectangular matrix multiplication parameter $α$. These bounds are optimal if $ω$ equals two. We also give examples that illustrate that tensor surgery on general graphs might involve the absorption of virtual hyperedges and we provide an example of tensor surgery on a hypergraph. Besides its relevance in algebraic complexity theory, our work has applications in quantum information theory and communication complexity.
A Simple Extension of Dirac's Theorem on Hamiltonicity
The classical Dirac theorem asserts that every graph $G$ on $n$ vertices with minimum degree $δ(G) \ge \lceil n/2 \rceil$ is Hamiltonian. The lower bound of $\lceil n/2 \rceil$ on the minimum degree of a graph is tight. In this paper, we extend the classical Dirac theorem to the case where $δ(G) \ge \lfloor n/2 \rfloor $ by identifying the only non-Hamiltonian graph families in this case. We first present a short and simple proof. We then provide an alternative proof that is constructive and self-contained. Consequently, we provide a polynomial-time algorithm that constructs a Hamiltonian cycle, if exists, of a graph $G$ with $δ(G) \ge \lfloor n/2 \rfloor$, or determines that the graph is non-Hamiltonian. Finally, we present a self-contained proof for our algorithm which provides insight into the structure of Hamiltonian cycles when $δ(G) \ge \lfloor n/2 \rfloor$ and is promising for extending the results of this paper to the cases with smaller degree bounds.
The Widom-Rowlinson model, the hard-core model and the extremality of the complete graph
Published
• View Publication
• BIB
Let $H_{\mathrm{WR}}$ be the path on $3$ vertices with a loop at each vertex. D. Galvin conjectured, and E. Cohen, W. Perkins and P. Tetali proved that for any $d$-regular simple graph $G$ on $n$ vertices we have $$\hom(G,H_{\mathrm{WR}})\leq \hom(K_{d+1},H_{\mathrm{WR}})^{n/(d+1)}.$$ In this paper we give a short proof of this theorem together with the proof of a conjecture of Cohen, Perkins and Tetali. Our main tool is a simple bijection between the Widom-Rowlinson model and the hard-core model on another graph. We also give a large class of graphs $H$ for which we have $$\hom(G,H)\leq \hom(K_{d+1},H)^{n/(d+1)}.$$ In particular, we show that the above inequality holds if $H$ is a path or a cycle of even length at least $6$ with loops at every vertex.
Arithmetical structures on graphs with connectivity one
Published
• View Publication
• BIB
Given a graph $G$, an arithmetical structure on $G$ is a pair of positive integer vectors $({\bf d},{\bf r})$ such that $\mathrm{gcd}({\bf r}_v\, | \,v\in V(G))=1$ and \[ (\mathrm{diag}({\bf d})-A){\bf r}=0, \] where $A$ is the adjacency matrix of $G$. We describe the arithmetical structures on graph $G$ with a cut vertex $v$ in terms of the arithmetical structures on their blocks. More precisely, if $G_1,\ldots,G_s$ are the induced subgraphs of $G$ obtained from each of the connected components of $G-v$ by adding the vertex $v$ and their incident edges, then the arithmetical structures on $G$ are in one to one correspondence with the $v$-rational arithmetical structures on the $G_i$'s. We introduce the concept of rational arithmetical structure, which corresponds to an arithmetical structure where some of the integrality conditions are relaxed.
Distinguishing number and distinguishing index of neighbourhood corona of two graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. The neighbourhood corona of two graphs $G_1$ and $G_2$ is denoted by $G_1 \star G_2$ and is the graph obtained by taking one copy of $G_1$ and $|V(G_1)|$ copies of $G_2$, and joining the neighbours of the $i$th vertex of $G_1$ to every vertex in the $i$th copy of $G_2$. In this paper we describe the automorphisms of the graph $G_1\star G_2$. Using results on automorphisms, we study the distinguishing number and the distinguishing index of $G_1\star G_2$. We obtain upper bounds for $D(G_1\star G_2)$ and $D'(G_1\star G_2)$.
Approximating the rectilinear crossing number
Published
• View Publication
• BIB
A straight-line drawing of a graph $G$ is a mapping which assigns to each vertex a point in the plane and to each edge a straight-line segment connecting the corresponding two points. The rectilinear crossing number of a graph $G$, $\overline{cr}(G)$, is the minimum number of crossing edges in any straight-line drawing of $G$. Determining or estimating $\overline{cr}(G)$ appears to be a difficult problem, and deciding if $\overline{cr}(G)\leq k$ is known to be NP-hard. In fact, the asymptotic behavior of $\overline{cr}(K_n)$ is still unknown.
In this paper, we present a deterministic $n^{2+o(1)}$-time algorithm that finds a straight-line drawing of any $n$-vertex graph $G$ with $\overline{cr}(G) + o(n^4)$ crossing edges. Together with the well-known Crossing Lemma due to Ajtai et al. and Leighton, this result implies that for any dense $n$-vertex graph $G$, one can efficiently find a straight-line drawing of $G$ with $(1 + o(1))\overline{cr}(G)$ crossing edges.
Graphs with obstacle number greater than one
Published
• View Publication
• BIB
An \emph{obstacle representation} of a graph $G$ is a straight-line drawing of $G$ in the plane together with a collection of connected subsets of the plane, called \emph{obstacles}, that block all non-edges of $G$ while not blocking any of the edges of $G$. The \emph{obstacle number} obs$(G)$ is the minimum number of obstacles required to represent $G$.
We study the structure of graphs with obstacle number greater than one. We show that the icosahedron has obstacle number $2$, thus answering a question of Alpert, Koch, \& Laison asking whether all planar graphs have obstacle number at most $1$. We also show that the $1$-skeleton of a related polyhedron, the \emph{gyroelongated $4$-dipyramid}, has obstacle number $2$. The order of this graph is $10$, which is also the order of the smallest known graph with obstacle number $2$.
Some of our methods involve instances of the Satisfiability problem, we make use of various "SAT solvers" in order to produce computer-assisted proofs.
On some properties of enhanced power graph
Given a group $G$, the enhanced power graph of $G$ denoted by $\mathcal{G}_e(G)$, is the graph with vertex set $G$ and two distinct vertices $x, y$ are edge connected in $\mathcal{G}_e(G)$ if there exists $z\in G $ such that $x=z^m$ and $ y=z^n $, for some $m, n\in \mathbb{N}$. In this article, we characterize the enhanced power graph $\mathcal{G}_e(G)$ of $G$. The graph $\mathcal{G}_e(G)$ is complete if and only if $G$ is cyclic, and $\mathcal{G}_e(G)$ is Eulerian if and only if $|G|$ is odd. We classify all abelian groups and also all non-abelian $p-$groups $G$ for which $\mathcal{G}_e(G)$ satisfies the cone property.
Certified domination
Published
• View Publication
• BIB
Imagine that we are given a set $D$ of officials and a set $W$ of civils. For each civil $x \in W$, there must be an official $v \in D$ that can serve $x$, and whenever any such $v$ is serving $x$, there must also be another civil $w \in W$ that observes $v$, that is, $w$ may act as a kind of witness, to avoid any abuse from $v$. What is the minimum number of officials to guarantee such a service, assuming a given social network?
In this paper, we introduce the concept of certified domination that perfectly models the aforementioned problem. Specifically, a dominating set $D$ of a graph $G=(V_G,E_G)$ is said to be certified if every vertex in $D$ has either zero or at least two neighbours in $V_G\setminus D$. The cardinality of a minimum certified dominating set in $G$ is called the certified domination number of $G$. Herein, we present the exact values of the certified domination number for some classes of graphs as well as provide some upper bounds on this parameter for arbitrary graphs. We then characterise a wide class of graphs with equal domination and certified domination numbers and characterise graphs with large values of certified domination numbers. Next, we examine the effects on the certified domination number when the graph is modified by deleting/adding an edge or a vertex. We also provide Nordhaus-Gaddum type inequalities for the certified domination number. Finally, we show that the (decision) certified domination problem is NP-complete.
Strongly regular graphs with the same parameters as the symplectic graph
We consider orbit partitions of groups of automorphisms for the symplectic graph and apply Godsil-McKay switching. As a result, we find four families of strongly regular graphs with the same parameters as the symplectic graphs, including the one discovered by Abiad and Haemers. Also, we prove that switched graphs are non-isomorphic to each other by considering the number of common neighbors of three vertices.
Buchsbaumness of the second powers of edge ideals
Published
• View Publication
• BIB
We graph-theoretically characterize the class of graphs $G$ such that $I(G)^2$ are Buchsbaum.
A counterexample to the reconstruction conjecture for locally finite trees
Published
• View Publication
• BIB
Two graphs $G$ and $H$ are hypomorphic if there exists a bijection $\varphi \colon V(G) \rightarrow V(H)$ such that $G - v \cong H - \varphi(v)$ for each $v \in V(G)$. A graph $G$ is reconstructible if $H \cong G$ for all $H$ hypomorphic to $G$.
It is well known that not all infinite graphs are reconstructible. However, the Harary-Schwenk-Scott Conjecture from 1972 suggests that all locally finite trees are reconstructible.
In this paper, we construct a counterexample to the Harary-Schwenk-Scott Conjecture. Our example also answers four other questions of Nash-Williams, Halin and Andreae on the reconstruction of infinite graphs.
Elliptic extensions of the alpha-parameter model and the rook model for matchings
Published in Adv. Appl. Math. 184 (2017), 8-33
• View Publication
• BIB
We construct elliptic extensions of the alpha-parameter rook model introduced by Goldman and Haglund and of the rook model for matchings of Haglund and Remmel. In particular, we extend the product formulas of these models to the elliptic setting. By specializing the parameter alpha in our elliptic extension of the alpha-parameter model and the shape of the Ferrers board in different ways, we obtain elliptic analogues of the Stirling numbers of the first kind and of the Abel polynomials, and obtain an a,q-analogue of the matching numbers. We further generalize the rook theory model for matchings by introducing l-lazy graphs which correspond to l-shifted boards, where l is a finite vector of positive integers. The corresponding elliptic product formula generalizes Haglund and Remmel's product formula for matchings already in the non-elliptic basic case.
Local resilience for squares of almost spanning cycles in sparse random graphs
Published
• View Publication
• BIB
In 1962, Pósa conjectured that a graph $G=(V, E)$ contains a square of a Hamiltonian cycle if $δ(G)\ge 2n/3$. Only more than thirty years later Komlós, Sárkőzy, and Szemerédi proved this conjecture using the so-called Blow-Up Lemma. Here we extend their result to a random graph setting. We show that for every $ε> 0$ and $p=n^{-1/2+ε}$ a.a.s. every subgraph of $G_{n,p}$ with minimum degree at least $(2/3+ε)np$ contains the square of a cycle on $(1-o(1))n$ vertices. This is almost best possible in three ways: (1) for $p\ll n^{-1/2}$ the random graph will not contain any square of a long cycle (2) one cannot hope for a resilience version for the square of a spanning cycle (as deleting all edges in the neighborhood of single vertex destroys this property) and (3) for $c<2/3$ a.a.s. $G_{n,p}$ contains a subgraph with minimum degree at least $cnp$ which does not contain the square of a path on $(1/3+c)n$ vertices.
Approximately coloring graphs without long induced paths
Published
• View Publication
• BIB
It is an open problem whether the 3-coloring problem can be solved in polynomial time in the class of graphs that do not contain an induced path on $t$ vertices, for fixed $t$. We propose an algorithm that, given a 3-colorable graph without an induced path on $t$ vertices, computes a coloring with $\max\{5,2\lceil{\frac{t-1}{2}}\rceil-2\}$ many colors. If the input graph is triangle-free, we only need $\max\{4,\lceil{\frac{t-1}{2}}\rceil+1\}$ many colors. The running time of our algorithm is $O((3^{t-2}+t^2)m+n)$ if the input graph has $n$ vertices and $m$ edges.
Generalized Splines and Graphic Arrangements
Published
• View Publication
• BIB
We define a chain complex for generalized splines on graphs, analogous to that introduced by Billera and refined by Schenck-Stillman for splines on polyhedral complexes. The hyperhomology of this chain complex yields bounds on the projective dimension of the ring of generalized splines. We apply this construction to the module of derivations of a graphic multi-arrangement, yielding homological criteria for bounding its projective dimension and determining freeness. As an application, we show that a graphic arrangement admits a free constant multiplicity iff it splits as a product of braid arrangements.
Tilings in graphons
Published in European Journal of Combinatorics 93 (2021), 103284
• View Publication
• BIB
We introduce a counterpart to the notion of vertex disjoint tilings by copy of a fixed graph F to the setting of graphons. The case F=K_2 gives the notion of matchings in graphons. We give a transference statement that allows us to switch between the finite and limit notion, and derive several favorable properties, including the LP-duality counterpart to the classical relation between the fractional vertex covers and fractional matchings/tilings, and discuss connections with property testing. As an application of our theory, we determine the asymptotically almost sure F-tiling number of inhomogeneous random graphs \mathbb{G}(n,W). As another application, in an accompanying paper [Hladky, Hu, Piguet: Komlos's tiling theorem via graphon covers, preprint] we give a proof of a strengthening of a theorem of Komlos [Komlos: Tiling Turán Theorems, Combinatorica, 2000].