graph
34934 papers tagged with this keyword
Long Cycles in 1-tough Graphs
In 1952, Dirac proved that every 2-connected graph with minimum degree $δ$ either is hamiltonian or contains a cycle of length at least $2δ$. In 1986, Bauer and Schmeichel enlarged the bound $2δ$ to $2δ+2$ under additional 1-tough condition - an alternative and more natural necessary condition for a graph to be hamiltonian. In fact, the bound $2δ+2$ is sharp for a graph on $n$ vertices when $n\equiv 1(mod\ 3)$. In this paper we present the final version of this result which is sharp for each $n$: every 1-tough graph either is hamiltonian or contains a cycle of length at least $2δ+2$ when $n\equiv 1(mod\ 3)$, at least $2δ+3$ when $n\equiv 2(mod\ 3)$ or $n\equiv 1(mod\ 4)$, and at least $2δ+4$ otherwise.
A geometric version of the Andrasfai-Erdos-Sos theorem
Published
• View Publication
• BIB
For each odd integer $k\ge 5$, we prove that, if $M$ is a simple rank-$r$ binary matroid with no odd circuit of length less than $k$ and with $|M| > k 2^{r-k+1}$, then $M$ is isomorphic to a restriction of the rank-$r$ binary affine geometry; this bound is tight for all $r\ge k-1$. We use this to give a simpler proof of the following result of Govaerts and Storme: for each integer $n\ge 2$, if $M$ is a simple rank-$r$ binary matroid with no $PG(n-1,2)$-restriction and with $|M| > \left(1-\frac{11}{2^{n+2}}\right) 2^r$, then $M$ has critical number at most $n-1$. That result is a geometric analogue of a theorem of Andrasfai, Erdos, and Sos in extremal graph theory.
Metric Dimension of Amalgamation of Regular Graphs
A set of vertices $S$ resolves a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of $G$ is the minimum cardinality of a resolving set of $G$.
Let $\{G_1, G_2, \ldots, G_n\}$ be a finite collection of graphs and each $G_i$ has a fixed vertex $v_{0_i}$ or a fixed edge $e_{0_i}$ called a terminal vertex or edge, respectively. The vertex-amalgamation of $G_1, G_2, \ldots, G_n$, denoted by $Vertex-Amal\{G_i;v_{0_i}\}$, is formed by taking all the $G_i$'s and identifying their terminal vertices. Similarly, the edge-amalgamation of $G_1, G_2, \ldots, G_n$, denoted by $Edge-Amal\{G_i;e_{0_i}\}$, is formed by taking all the $G_i$'s and identifying their terminal edges.
Here we study the metric dimensions of vertex-amalgamation and edge-amalgamation for finite collection of regular graphs: complete graphs and prisms.
Binomial edge ideals with pure resolutions
Published
• View Publication
• BIB
We characterize all graphs whose binomial edge ideals have pure resolutions. Moreover, we introduce a new switching of graphs which does not change some algebraic invariants of graphs, and using this, we study the linear strand of the binomial edge ideals for some classes of graphs. Also, we pose a conjecture on the linear strand of such ideals for every graph.
A characterization of hypergraphs that achieve equality in the Chvátal-McDiarmid Theorem
Published
• View Publication
• BIB
For $k \ge 2$, let $H$ be a $k$-uniform hypergraph on $n$ vertices and $m$ edges. The transversal number $τ(H)$ of $H$ is the minimum number of vertices that intersect every edge. Chvátal and McDiarmid [Combinatorica 12 (1992), 19--26] proved that $τ(H)\le ( n + \left\lfloor \frac k2 \right\rfloor m )/ ( \left\lfloor \frac{3k}2 \right\rfloor )$. When $k = 3$, the connected hypergraphs that achieve equality in the Chvátal-McDiarmid Theorem were characterized by Henning and Yeo [J. Graph Theory 59 (2008), 326--348]. In this paper, we characterize the connected hypergraphs that achieve equality in the Chvátal-McDiarmid Theorem for $k = 2$ and for all $k \ge 4$.
Goodness-of-fit for log-linear network models: Dynamic Markov bases using hypergraphs
Published
• View Publication
• BIB
Social networks and other large sparse data sets pose significant challenges for statistical inference, as many standard statistical methods for testing model fit are not applicable in such settings. Algebraic statistics offers a theoretically justified approach to goodness-of-fit testing that relies on the theory of Markov bases and is intimately connected with the geometry of the model as described by its fibers.
Most current practices require the computation of the entire basis, which is infeasible in many practical settings. We present a dynamic approach to explore the fiber of a model, which bypasses this issue, and is based on the combinatorics of hypergraphs arising from the toric algebra structure of log-linear models.
We demonstrate the approach on the Holland-Leinhardt $p_1$ model for random directed graphs that allows for reciprocated edges.
Large subgraphs without short cycles
Published in SIAM Journal on Discrete Mathematics 29(1):65-78, 2015
• View Publication
• BIB
We study two extremal problems about subgraphs excluding a family $\F$ of graphs. i) Among all graphs with $m$ edges, what is the smallest size $f(m,\F)$ of a largest $\F$--free subgraph? ii) Among all graphs with minimum degree $δ$ and maximum degree $Δ$, what is the smallest minimum degree $h(δ,Δ,\F)$ of a spanning $\F$--free subgraph with largest minimum degree? These questions are easy to answer for families not containing any bipartite graph. We study the case where $\F$ is composed of all even cycles of length at most $2r$, $r\geq 2$. In this case, we give bounds on $f(m,\F)$ and $h(δ,Δ,\F)$ that are essentially asymptotically tight up to a logarithmic factor. In particular for every graph $G$, we show the existence of subgraphs with arbitrarily high girth, and with either many edges or large minimum degree. These subgraphs are created using probabilistic embeddings of a graph into extremal graphs.
A domination algorithm for $\{0,1\}$-instances of the travelling salesman problem
We present an approximation algorithm for $\{0,1\}$-instances of the travelling salesman problem which performs well with respect to combinatorial dominance. More precisely, we give a polynomial-time algorithm which has domination ratio $1-n^{-1/29}$. In other words, given a $\{0,1\}$-edge-weighting of the complete graph $K_n$ on $n$ vertices, our algorithm outputs a Hamilton cycle $H^*$ of $K_n$ with the following property: the proportion of Hamilton cycles of $K_n$ whose weight is smaller than that of $H^*$ is at most $n^{-1/29}$. Our analysis is based on a martingale approach. Previously, the best result in this direction was a polynomial-time algorithm with domination ratio $1/2-o(1)$ for arbitrary edge-weights. We also prove a hardness result showing that, if the Exponential Time Hypothesis holds, there exists a constant $C$ such that $n^{-1/29}$ cannot be replaced by $\exp(-(\log n)^C)$ in the result above.
On the Cartesian Skeleton and the Factorization of the Strong Product of Digraphs
Published
• View Publication
• BIB
The three standard products (the Cartesian, the direct and the strong product) of undirected graphs have been wellinvestigated, unique prime factor decomposition (PFD) are known and polynomial time algorithms have been established for determining the prime factors.
For directed graphs, unique PFD results with respect to the standard products are known. However, there is still a lack of algorithms, that computes the PFD of directed graphs with respect to the direct and the strong product in general. In this contribution, we focus on the algorithmic aspects for determining the PFD of directed graphs with respect to the strong product. Essential for computing the prime factors is the construction of a so-called Cartesian skeleton. This article introduces the notion of the Cartesian skeleton of directed graphs as a generalization of the Cartesian skeleton of undirected graphs. We provide new, fast and transparent algorithms for its construction. Moreover, we present a first polynomial time algorithm for determining the PFD with respect to the strong product of arbitrary connected digraphs.
The dimensions and Euler characteristics of M. Kontsevich's graph complexes
Published in Adv. Math. 272 (2015), 553-578
• View Publication
• BIB
We provide a generating function for the (graded) dimensions of M. Kontsevich's graph complexes of ordinary graphs. This generating function can be used to compute the Euler characteristic in each loop order. Furthermore, we show that graphs with multiple edges can be omitted from these graph complexes.
The magnitude of a graph
Published in Math. Proc. Camb. Phil. Soc. 166 (2019) 247-264
• View Publication
• BIB
The magnitude of a graph is one of a family of cardinality-like invariants extending across mathematics; it is a cousin to Euler characteristic and geometric measure. Among its cardinality-like properties are multiplicativity with respect to cartesian product and an inclusion-exclusion formula for the magnitude of a union. Formally, the magnitude of a graph is both a rational function over Q and a power series over Z. It shares features with one of the most important of all graph invariants, the Tutte polynomial; for instance, magnitude is invariant under Whitney twists when the points of identification are adjacent. Nevertheless, the magnitude of a graph is not determined by its Tutte polynomial, nor even by its cycle matroid, and it therefore carries information that they do not.
Infinite graphs that do not contain cycles of length four
We construct a countable infinite graph G that does not contain cycles of length four having the property that the sequence of graphs $G_n$ induced by the first $n$ vertices has minimum degree $δ(G_n)> n^{\sqrt{2}-1+o(1)}$.
Super edge-magic deficiency of join-product graphs
A graph $G$ is called \textit{super edge-magic} if there exists a bijective function $f$ from $V(G) \cup E(G)$ to $\{1, 2, \ldots, |V(G) \cup E(G)|\}$ such that $f(V(G)) = \{1, 2, \ldots, |V(G)|\}$ and $f(x) + f(xy) + f(y)$ is a constant $k$ for every edge $xy$ of $G$. Furthermore, the \textit{super edge-magic deficiency} of a graph $G$ is either the minimum nonnegative integer $n$ such that $G \cup nK_1$ is super edge-magic or $+\infty$ if there exists no such integer.
\emph{Join product} of two graphs is their graph union with additional edges that connect all vertices of the first graph to each vertex of the second graph. In this paper, we study the super edge-magic deficiencies of a wheel minus an edge and join products of a path, a star, and a cycle, respectively, with isolated vertices.
Strong edge-colouring of sparse planar graphs
Published
• View Publication
• BIB
A strong edge-colouring of a graph is a proper edge-colouring where each colour class induces a matching. It is known that every planar graph with maximum degree $Δ$ has a strong edge-colouring with at most $4Δ+4$ colours. We show that $3Δ+1$ colours suffice if the graph has girth 6, and $4Δ$ colours suffice if $Δ\geq 7$ or the girth is at least 5. In the last part of the paper, we raise some questions related to a long-standing conjecture of Vizing on proper edge-colouring of planar graphs.
Integral point sets in higher dimensional affine spaces over finite fields
Published in H. Meyer and S. Kurz: Integral point sets in higher dimensional affine spaces over finite fields. Journal of Combinatorial Theory, Series A Vol. 116, Nr. 6 (2009), Pages 1120-1139
• Search Publication
We consider point sets in the $m$-dimensional affine space $\mathbb{F}_q^m$ where each squared Euclidean distance of two points is a square in $\mathbb{F}_q$. It turns out that the situation in $\mathbb{F}_q^m$ is rather similar to the one of integral distances in Euclidean spaces. Therefore we expect the results over finite fields to be useful for the Euclidean case.
We completely determine the automorphism group of these spaces which preserves integral distances. For some small parameters $m$ and $q$ we determine the maximum cardinality $\mathcal{I}(m,q)$ of integral point sets in $\mathbb{F}_q^m$. We provide upper bounds and lower bounds on $\mathcal{I}(m,q)$. If we map integral distances to edges in a graph, we can define a graph $\mathfrak{G}_{m,q}$ with vertex set $\mathbb{F}_q^m$. It turns out that $\mathfrak{G}_{m,q}$ is strongly regular for some cases.
3-regular matchstick graphs with given girth
Published in S. Kurz and G. Mazzuoccolo: 3-regular matchstick graphs with given girth, Geombinatorics Quarterly Vol. XIX, Nr. 4 (2009), Pages 156-173
• Search Publication
We consider 3-regular planar matchstick graphs, i.e. those which have a planar embedding such that all edge lengths are equal, with given girth g. For girth 3 it is known that such graphs exist if and only if the number of vertices n is an even integer larger or equal to 8. Here we prove that such graphs exist for girth g=4 if and only if n is even and at least 20. We provide an example for girth g=5 consisting of 180 vertices.
Regular matchstick graphs
Published in The American Mathematical Monthly, Vol. 118, Nr. 3 (2011), Pages 264-267
• Search Publication
A graph G=(V,E) is called a unit-distance graph in the plane if there is an injective embedding of V in the plane such that every pair of adjacent vertices are at unit distance apart. If additionally the corresponding edges are non-crossing and all vertices have the same degree r we talk of a regular matchstick graph. Due to Euler's polyhedron formula we have $r\le 5$. The smallest known 4-regular matchstick graph is the so called Harborth graph consisting of 52 vertices. In this article we prove that no finite 5-regular matchstick graph exists and provide a lower bound for the number of vertices of 4-regular matchstick graphs.
Fast regocnition of planar non unit distance graphs
Published in S. Kurz: Fast regocnition of planar non unit distance graphs, Geombinatorics Quarterly, Vol. 21, Nr. 1 (2011), Pages 25-33
• Search Publication
We study criteria attesting that a given graph can not be embedded in the plane so that neighboring vertices are at unit distance apart and the straight line edges do not cross.
A lower bound for 4-regular planar unit distance graphs
Published in S. Kurz: A lower bound for 4-regular planar unit distance graphs, Geombinatorics Quarterly, Vol. 21, Nr. 2 (2011), Pages 63-72
• Search Publication
We perform an exhaustive search for the minimum 4-regular unit distance graph resulting in a lower bound of 34 vertices.
On the threshold for the Maker-Breaker $H$-game
Published
• View Publication
• BIB
We study the Maker-Breaker $H$-game played on the edge set of the random graph $G_{n,p}$. In this game two players, Maker and Breaker, alternately claim unclaimed edges of $G_{n,p}$, until all the edges are claimed. Maker wins if he claims all the edges of a copy of a fixed graph $H$; Breaker wins otherwise. In this paper we show that, with the exception of trees and triangles, the threshold for an $H$-game is given by the threshold of the corresponding Ramsey property of $G_{n,p}$ with respect to the graph $H$.