graph
34905 papers tagged with this keyword
Cycles with consecutive odd lengths
Published
• View Publication
• BIB
It is proved that there exists an absolute constant c > 0 such that for every natural number k, every non-bipartite 2-connected graph with average degree at least ck contains k cycles with consecutive odd lengths. This implies the existence of the absolute constant d > 0 that every non-bipartite 2-connected graph with minimum degree at least dk contains cycles of all lengths modulo k, thus providing an answer (in a strong form) to a question of Thomassen. Both results are sharp up to the constant factors.
Multicolored Isomorphic Spanning Trees in Complete Graphs
Published in Ars Combinatoria, 122 (2015) 423-430
• Search Publication
In this paper, we first prove that if the edges of $K_{2m}$ are properly colored by $2m-1$ colors in such a way that any two colors induce a 2-factor of which each component is a 4-cycle, then $K_{2m}$ can be decomposed into $m$ isomorphic multicolored spanning trees. Consequently, we show that there exist three disjoint isomorphic multicolored spanning trees in any properly (2$m-$1)-edge-colored $K_{2m}$ for $m\geq 14$.
Crossing numbers of complete tripartite and balanced complete multipartite graphs
Published
• View Publication
• BIB
The crossing number cr(G) of a graph G is the minimum number of crossings in a nondegenerate planar drawing of G. The rectilinear crossing number cr'(G) of G is the minimum number of crossings in a rectilinear nondegenerate planar drawing (with edges as straight line segments) of G. Zarankiewicz proved in 1952 that cr'(K_{n_1,n_2})\le Z(n_1,n_2):= n_1/2*(n_1-1)/2*n_2/2*(n_2-1)/2. We define an analogous bound A(n_1,n_2,n_3) for the complete tripartite graph K_{n_1,n_2,n_3}, and prove that cr'(K_{n_1,n_2,n_3})\le A({n_1,n_2,n_3}). We also show that for n large enough, 0.973 A(n,n,n) \le cr'(K_{n,n,n}) and 0.666 A(n,n,n)\le cr(K_{n,n,n}), with the tighter rectilinear lower bound established through the use of flag algebras. A complete multipartite graph is balanced if the partite sets all have the same cardinality. We study asymptotic behavior of the crossing number of the balanced complete r-partite graph. Richter and Thomassen proved in 1997 that the limit as n\to\infty of cr(K_{n,n}) over the maximum number of crossings in a drawing of K_{n,n} exists and is at most 1/4. We define z(r)=3(r^2-r)/8(r^2+r-3) and show that for a fixed r and the balanced complete r-partite graph, z(r) is an upper bound to the limit superior of the crossing number divided by the maximum number of crossings in a drawing.
Young Graphs: 1089 et al
Published in Journal of Integer Sequences, 18.9 (2015)
• Search Publication
This paper deals with those positive integers N such that, for given integers g and k with 1< k<g, the base-g digits of N and kN appear in reverse order. Such N are called (g, k) reverse multiples. Anne Ludington Young, in 1992, developed a kind of tree reflecting properties of these numbers; N. J. A. Sloane, in 2013, modified these trees into directed graphs and introduced certain combinatoric methods to determine from these graphs the number of reverse multiples for given values of g and k with a given number of digits. We extend their work, proving Sloane's isomorphism conjectures for 1089 graphs and complete graphs, furthering his study of cyclic graphs, and proving a minor result on isomorphism.
A Full Characterization of Irrelevant Components in Diameter Constrained Reliability
In classical network reliability analysis, the system under study is a network with perfect nodes but imperfect link, that fail stochastically and independently. There, the goal is to find the probability that the resulting random graph is connected, called \emph{reliability}. Although the exact reliability computation belongs to the class of $\mathcal{NP}$-Hard problems, the literature offers three exact methods for exact reliability computation, to know, Sum of Disjoint Products (SDPs), Inclusion-Exclusion and Factorization.
Inspired in delay-sensitive applications in telecommunications, Héctor Cancela and Louis Petingi defined in 2001 the diameter-constrained reliability, where terminals are required to be connected by $d$ hops or less, being $d$ a positive integer, called diameter.
Factorization theory in classical network reliability is a mature area. However, an extension to the diameter-constrained context requires at least the recognition of irrelevant links, and an extension of deletion-contraction formula. In this paper, we fully characterize the determination of irrelevant links. Diameter-constrained reliability invariants are presented, which, together with the recognition of irrelevant links, represent the building-blocks for a new factorization theory. The paper is closed with a discussion of trends for future work.
Disjunctive Total Domination in Graphs
Published
• View Publication
• BIB
Let $G$ be a graph with no isolated vertex. In this paper, we study a parameter that is a relaxation of arguably the most important domination parameter, namely the total domination number, $γ_t(G)$. A set $S$ of vertices in $G$ is a disjunctive total dominating set of $G$ if every vertex is adjacent to a vertex of $S$ or has at least two vertices in $S$ at distance2 from it. The disjunctive total domination number, $γ^d_t(G)$, is the minimum cardinality of such a set. We observe that $γ^d_t(G) \le γ_t(G)$. We prove that if $G$ is a connected graph of order$n \ge 8$, then $γ^d_t(G) \le 2(n-1)/3$ and we characterize the extremal graphs. It is known that if $G$ is a connected claw-free graph of order$n$, then $γ_t(G) \le 2n/3$ and this upper bound is tight for arbitrarily large$n$. We show this upper bound can be improved significantly for the disjunctive total domination number. We show that if $G$ is a connected claw-free graph of order$n > 10$, then $γ^d_t(G) \le 4n/7$ and we characterize the graphs achieving equality in this bound.
A Density Version of the Corradi-Hajnal Theorem
For every positive integer $k$, we show that every graph of order $n$ at least $3k$ with more than $$\max\{{2k-1\choose 2}+(2k-1)(n-(2k-1)),{3k-1\choose 2}+(n-(3k-1))\}$$ edges has $k$ vertex disjoint cycles, which is a best possible density version of a theorem of Corrádi and Hajnal.
On Maximum Signless Laplacian Estrada Index of Graphs with Given Parameters II
Published
• View Publication
• BIB
Recently Ayyaswamy [1] have introduced a novel concept of the signless Laplacian Estrada index (after here $SLEE$) associated with a graph $G$. After works, we have identified the unique graph with maximum $SLEE$ with a given parameter such as: number of cut vertices, (vertex) connectivity and edge connectivity. In this paper we continue out characterization for two further parameters; diameter and number of cut vertices.
A continuum of expanders
Published
• View Publication
• BIB
A regular equivalence between two graphs $Γ,Γ'$ is a pair of uniformly proper Lipschitz maps $VΓ\to VΓ'$ and $VΓ'\to VΓ$. Using separation profiles we prove that there are $2^{\aleph_0}$ regular equivalence classes of expander graphs, and of finitely generated groups with a representative which isometrically contains expanders.
An abstract approach to polychromatic coloring: shallow hitting sets in ABA-free hypergraphs and pseudohalfplanes
Published
• View Publication
• BIB
The goal of this paper is to give a new, abstract approach to cover-decomposition and polychromatic colorings using hypergraphs on ordered vertex sets. We introduce an abstract version of a framework by Smorodinsky and Yuditsky, used for polychromatic coloring halfplanes, and apply it to so-called ABA-free hypergraphs, which are a generalization of interval graphs. Using our methods, we prove that (2k-1)-uniform ABA-free hypergraphs have a polychromatic k-coloring, a problem posed by the second author. We also prove the same for hypergraphs defined on a point set by pseudohalfplanes. These results are best possible. We could only prove slightly weaker results for dual hypergraphs defined by pseudohalfplanes, and for hypergraphs defined by pseudohemispheres. We also introduce another new notion that seems to be important for investigating polychromatic colorings and epsilon-nets, shallow hitting sets. We show that all the above hypergraphs have shallow hitting sets, if their hyperedges are containment-free.
On three measures of non-convexity
Published in Israel Journal of Mathematics 218 (2017), Issue 1, 331-369
• View Publication
• BIB
The invisibility graph $I(X)$ of a set $X \subseteq \mathbb{R}^d$ is a (possibly infinite) graph whose vertices are the points of $X$ and two vertices are connected by an edge if and only if the straight-line segment connecting the two corresponding points is not fully contained in $X$. We consider the following three parameters of a set $X$: the clique number $ω(I(X))$, the chromatic number $χ(I(X))$ and the convexity number $γ(X)$, which is the minimum number of convex subsets of $X$ that cover $X$. We settle a conjecture of Matoušek and Valtr claiming that for every planar set $X$, $γ(X)$ can be bounded in terms of $χ(I(X))$. As a part of the proof we show that a disc with $n$ one-point holes near its boundary has $χ(I(X)) \ge \log\log(n)$ but $ω(I(X))=3$. We also find sets $X$ in $\mathbb{R}^5$ with $χ(X)=2$, but $γ(X)$ arbitrarily large.
Hopf Algebras in Combinatorics
These notes -- originating from a one-semester class by their second author at the University of Minnesota -- survey some of the most important Hopf algebras appearing in combinatorics. After introducing coalgebras, bialgebras and Hopf algebras in general, we study the Hopf algebra of symmetric functions, including Zelevinsky's axiomatic characterization of it as a "positive self-adjoint Hopf algebra" and its application to the representation theory of symmetric and (briefly) finite general linear groups. The notes then continue with the quasisymmetric and the noncommutative symmetric functions, some Hopf algebras formed from graphs, posets and matroids, and the Malvenuto-Reutenauer Hopf algebra of permutations. Among the results surveyed are the Littlewood-Richardson rule and other symmetric function identities, Zelevinsky's structure theorem for PSHs, the antipode formula for P-partition enumerators, the Aguiar-Bergeron-Sottile universal property of QSym, the theory of Lyndon words, the Gessel-Reutenauer bijection, and Hazewinkel's polynomial freeness of QSym. The notes are written with a graduate student reader in mind, being mostly self-contained but requiring a good familiarity with multilinear algebra and -- for the representation-theory applications -- basic group representation theory.
Analytic Description of the Phase Transition of Inhomogeneous Multigraphs
Published
• View Publication
• BIB
We introduce a new model of random multigraphs with colored vertices and weighted edges. It is similar to the "inhomogeneous random graph model" of Söderberg (2002), extended by Bollobás, Janson and Riordan (2007). By means of analytic combinatorics, we then analyze the birth of "complex components", which are components with at least two cycles.
We apply those results to give a complete picture of the finite size scaling and the critical exponents associated to a rather broad family of decision problems. As applications, we derive new proofs of known results on the 2-colorability problem, already investigated by Pittel and Yeum (2010), and on the enumeration of properly q-colored multigraphs, analyzed by Wright (1972). We also obtain new results on the phase transition of the satisfiability of quantified 2-Xor-formulas, a problem introduced by Creignou, Daudé and Egly (2007).
Strong Turán stability
Published
• View Publication
• BIB
We study the behaviour of $K_{r+1}$-free graphs $G$ of almost extremal size, that is, typically, $e(G)=ex(n,K_{r+1})-O(n)$. We show that such graphs must have a large amount of 'symmetry', in particular that all but very few vertices of $G$ must have twins. As a corollary, we obtain a new, short proof of a theorem of Simonovits on the structure of extremal graphs with $ω(G)\leq r$ and $χ(G)\geq k$ for fixed $k \geq r \geq 2$.
Better 3-coloring algorithms: excluding a triangle and a seven vertex path
Published in Theoretical Computer Science 850, 2021, 98-115
• View Publication
• BIB
We present an algorithm to color a graph $G$ with no triangle and no induced $7$-vertex path (i.e., a $\{P_7,C_3\}$-free graph), where every vertex is assigned a list of possible colors which is a subset of $\{1,2,3\}$. While this is a special case of the problem solved in [Combinatorica 38(4):779--801, 2018], that does not require the absence of triangles, the algorithm here is both faster and conceptually simpler. The complexity of the algorithm is $O(|V(G)|^5(|V(G)|+|E(G)|))$, and if $G$ is bipartite, it improves to $O(|V(G)|^2(|V(G)|+|E(G)|))$.
Moreover, we prove that there are finitely many minimal obstructions to list 3-coloring $\{P_t,C_3\}$-free graphs if and only if $t \leq 7$. This implies the existence of a polynomial time certifying algorithm for list 3-coloring in $\{P_7,C_3\}$-free graphs. We furthermore determine other cases of $t, \ell$, and $k$ such that the family of minimal obstructions to list $k$-coloring in $\{P_t,C_{\ell}\}$-free graphs is finite.
The spectra of polynomial equations with varying exponents
Published
• View Publication
• BIB
We study the dependence of solutions of equations of the form $a_0 + a_1 z^{\ell_1} + ... + a_m z^{\ell_m} = 0$, on the exponents $\ell_1, ..., \ell_m$. We apply our results to equations that appear in graph theory, the theory of 3-manifolds fibering over the circle, and the theory of free-by-cyclic groups. In particular, we provide descriptions of the spectra of the Alexander polynomial of a fibered 3-manifold, Teichmüller polynomials associated to such a manifold or to a free by cyclic group, and the family of characteristic polynomials of a fixed directed graph with varying edge lengths.
Saturation Number of Trees in the Hypercube
A graph $H^{\prime}$ is $(H, G)$-saturated if it is $G$-free and the addition of any edge of $H$ not in $H^{\prime}$ creates a copy of $G$. The saturation number $sat(H, G)$ is the minimum number of edges in a $(H, G)$-saturated graph. We investigate bounds on the saturation number of trees $T$ in the $n$-dimensional hypercube $Q_n$. We first present a general lower bound on the saturation number based on the minimum degree of non-leaves. From there, we suggest two general methods for constructing $T$-saturated subgraphs of $Q_n$, and prove nontrivial upper bounds for specific types of trees, including paths, generalized stars, and certain caterpillars under a restriction on minimum degree with respect to diameter.
Multipackings in Graphs
A vertex subset M of a graph G is a multipacking if for each vertex v, and each positive integer s less than or equal to the diameter of G, v is within distance s of at most s vertices of M. The multipacking number of a graph is the maximum cardinality of a multipacking of G. A generalization of 2-packings, multipackings offer interesting insight into the minimum cost broadcast domination problem. This paper surveys recent results in the study of multipackings, including the equality of the multipacking number and broadcast number in trees, an extension of Farber's Algorithm for finding dominating sets and 2-packings of strongly chordal graphs, and some early results on fractional multipackings. The paper closes with a series of in-depth examples of the various algorithms presented.
On the orders of arc-transitive graphs
Published
• View Publication
• BIB
A graph is called {\em arc-transitive} (or {\em symmetric}) if its automorphism group has a single orbit on ordered pairs of adjacent vertices, and 2-arc-transitive its automorphism group has a single orbit on ordered paths of length 2. In this paper we consider the orders of such graphs, for given valency. We prove that for any given positive integer $k$, there exist only finitely many connected 3-valent 2-arc-transitive graphs whose order is $kp$ for some prime $p$, and that if $d\ge 4$, then there exist only finitely many connected $d$-valent 2-arc-transitive graphs whose order is $kp$ or $kp^2$ for some prime $p$. We also prove that there are infinitely many (even) values of $k$ for which there are only finitely many connected 3-valent symmetric graphs of order $kp$ where $p$ is prime.
The combinatorics of real double Hurwitz numbers with real positive branch points
Published in Int. Math. Res. Not. 2016.1 (2016), pp. 258-293
• View Publication
• BIB
We investigate the combinatorics of real double Hurwitz numbers with real positive branch points using the symmetric group. Our main focus is twofold. First, we prove correspondence theorems relating these numbers to counts of tropical real covers and study the structure of real double Hurwitz numbers with the help of the tropical count. Second, we express the numbers as counts of paths in a subgraph of the Cayley graph of the symmetric group. By restricting to real double Hurwitz numbers with real positive branch points, we obtain a concise translation of the counting problem in terms of tuples of elements of the symmetric group that enables us to uncover the beautiful combinatorics of these numbers both in tropical geometry and in the Cayley graph.