graph
34828 papers tagged with this keyword
Hadwiger's conjecture for graphs with forbidden holes
Published
• View Publication
• BIB
Given a graph $G$, the Hadwiger number of $G$, denoted by $h(G)$, is the largest integer $k$ such that $G$ contains the complete graph $K_k$ as a minor. A hole in $G$ is an induced cycle of length at least four. Hadwiger's Conjecture from 1943 states that for every graph $G$, $h(G)\ge χ(G)$, where $χ(G)$ denotes the chromatic number of $G$. In this paper we establish more evidence for Hadwiger's conjecture by showing that if a graph $G$ with independence number $α(G)\ge3$ has no hole of length between $4$ and $2α(G)-1$, then $h(G)\geχ(G)$. We also prove that if a graph $G$ with independence number $α(G)\ge2$ has no hole of length between $4$ and $2α(G)$, then $G$ contains an odd clique minor of size $χ(G)$, that is, such a graph $G$ satisfies the odd Hadwiger's conjecture.
Hereditary Graph Classes: When the Complexities of Colouring and Clique Cover Coincide
A graph is $(H_1,H_2)$-free for a pair of graphs $H_1,H_2$ if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. In 2001, Král', Kratochvíl, Tuza, and Woeginger initiated a study into the complexity of Colouring for $(H_1,H_2)$-free graphs. Since then, others have tried to complete their study, but many cases remain open. We focus on those $(H_1,H_2)$-free graphs where $H_2$ is $\overline{H_1}$, the complement of $H_1$. As these classes are closed under complementation, the computational complexities of Colouring and Clique Cover coincide. By combining new and known results, we are able to classify the complexity of Colouring and Clique Cover for $(H,\overline{H})$-free graphs for all cases except when $H=sP_1+ P_3$ for $s\geq 3$ or $H=sP_1+P_4$ for $s\geq 2$. We also classify the complexity of Colouring on graph classes characterized by forbidding a finite number of self-complementary induced subgraphs, and we initiate a study of $k$-Colouring for $(P_r,\overline{P_r})$-free graphs.
Kronecker Product Graphs and Counting Walks in Restricted Lattices
Formulas are derived for counting walks in the Kronecker product of graphs, and the associated spectral distributions are obtained by the Mellin convolution of probability distributions. Two-dimensional restricted lattices admitting the Kronecker product structure are listed, and their spectral distributions are calculated in terms of elliptic integrals.
On the exact decomposition threshold for even cycles
Published
• View Publication
• BIB
A graph $G$ has a $C_k$-decomposition if its edge set can be partitioned into cycles of length $k$. We show that if $δ(G)\geq 2|G|/3-1$, then $G$ has a $C_4$-decomposition, and if $δ(G)\geq |G|/2$, then $G$ has a $C_{2k}$-decomposition, where $k\in \mathbb{N}$ and $k\geq 4$ (we assume $G$ is large and satisfies necessary divisibility conditions). These minimum degree bounds are best possible and provide exact versions of asymptotic results obtained by Barber, Kühn, Lo and Osthus. In the process, we obtain asymptotic versions of these results when $G$ is bipartite or satisfies certain expansion properties.
On two problems in Ramsey-Turán theory
Published
• View Publication
• BIB
Alon, Balogh, Keevash and Sudakov proved that the $(k-1)$-partite Turán graph maximizes the number of distinct $r$-edge-colorings with no monochromatic $K_k$ for all fixed $k$ and $r=2,3$, among all $n$-vertex graphs. In this paper, we determine this function asymptotically for $r=2$ among $n$-vertex graphs with sub-linear independence number. Somewhat surprisingly, unlike Alon-Balogh-Keevash-Sudakov's result, the extremal construction from Ramsey-Turán theory, as a natural candidate, does not maximize the number of distinct edge-colorings with no monochromatic cliques among all graphs with sub-linear independence number, even in the 2-colored case.
In the second problem, we determine the maximum number of triangles asymptotically in an $n$-vertex $K_k$-free graph $G$ with $α(G)=o(n)$. The extremal graphs have similar structure to the extremal graphs for the classical Ramsey-Turán problem, i.e.~when the number of edges is maximized.
Doubly Balanced Connected Graph Partitioning
Published
• View Publication
• BIB
We introduce and study the Doubly Balanced Connected graph Partitioning (DBCP) problem: Let $G=(V,E)$ be a connected graph with a weight (supply/demand) function $p:V\rightarrow \{-1,+1\}$ satisfying $p(V)=\sum_{j\in V} p(j)=0$. The objective is to partition $G$ into $(V_1,V_2)$ such that $G[V_1]$ and $G[V_2]$ are connected, $|p(V_1)|,|p(V_2)|\leq c_p$, and $\max\{\frac{|V_1|}{|V_2|},\frac{|V_2|}{|V_1|}\}\leq c_s$, for some constants $c_p$ and $c_s$. When $G$ is 2-connected, we show that a solution with $c_p=1$ and $c_s=3$ always exists and can be found in polynomial time. Moreover, when $G$ is 3-connected, we show that there is always a `perfect' solution (a partition with $p(V_1)=p(V_2)=0$ and $|V_1|=|V_2|$, if $|V|\equiv 0 (\mathrm{mod}~4)$), and it can be found in polynomial time. Our techniques can be extended, with similar results, to the case in which the weights are arbitrary (not necessarily $\pm 1$), and to the case that $p(V)\neq 0$ and the excess supply/demand should be split evenly. They also apply to the problem of partitioning a graph with two types of nodes into two large connected subgraphs that preserve approximately the proportion of the two types.
A Sharp upper bound for the spectral radius of a nonnegative matrix and applications
Published
• View Publication
• BIB
In this paper, we obtain a sharp upper bound for the spectral radius of a nonnegative matrix. This result is used to present upper bounds for the adjacency spectral radius, the Laplacian spectral radius, the signless Laplacian spectral radius, the distance spectral radius, the distance Laplacian spectral radius, the distance signless Laplacian spectral radius of a graph or a digraph. These results are new or generalize some known results.
Distance proper connection of graphs and their complements
Let $G$ be an edge-colored connected graph. A path $P$ in $G$ is called a distance $\ell$-proper path if no two edges of the same color can appear with less than $\ell$ edges in between on $P$. The graph $G$ is called $(k,\ell)$-proper connected if there is an edge-coloring such that every pair of distinct vertices of $G$ are connected by $k$ pairwise internally vertex-disjoint distance $\ell$-proper paths in $G$. The minimum number of colors needed to make $G$ $(k,\ell)$-proper connected is called the $(k,\ell)$-proper connection number of $G$ and denoted by $pc_{k,\ell}(G)$. In this paper we first focus on the $(1,2)$-proper connection number of $G$ depending on some constraints of $\overline G$. Then, we characterize the graphs of order $n$ with $(1,2)$-proper connection number $n-1$ or $n-2$. Using this result, we investigate the Nordhaus-Gaddum-Type problem of $(1,2)$-proper connection number and prove that $pc_{1,2}(G)+pc_{1,2}(\overline{G})\leq n+2$ for connected graphs $G$ and $\overline{G}$. The equality holds if and only if $G$ or $\overline{G}$ is isomorphic to a double star.
Extremal anti-forcing numbers of perfect matchings of graphs
Published
• View Publication
• BIB
The anti-forcing number of a perfect matching $M$ of a graph $G$ is the minimal number of edges not in $M$ whose removal to make $M$ as a unique perfect matching of the resulting graph. The set of anti-forcing numbers of all perfect matchings of $G$ is the anti-forcing spectrum of $G$. In this paper, we characterize the plane elementary bipartite graph whose minimum anti-forcing number is one. We show that the maximum anti-forcing number of a graph is at most its cyclomatic number. In particular, we characterize the graphs with the maximum anti-forcing number achieving the upper bound, such extremal graphs are a class of plane bipartite graphs. Finally, we determine the anti-forcing spectrum of an even polygonal chain in linear time.
On spanning trees with high internal degree
Alon and Wormald showed that any graph with minimum degree d contains a spanning star forest in which every connected component is of size at least Ω((d/\log d)^{1/3}). They asked if any connected graph with minimum degree at least d has a spanning tree in which every internal vertex has degree at least cd/\log d, for some absolute constant c > 0.
We give a simple example showing that this is not the case.
Laplacian spectral characterization of roses
Published in Linear Algebra and its Applications 536 (2018), 19-30
• View Publication
• BIB
A rose graph is a graph consisting of cycles that all meet in one vertex. We show that except for two specific examples, these rose graphs are determined by the Laplacian spectrum, thus proving a conjecture posed by Lui and Huang [F.J. Liu and Q.X. Huang, Laplacian spectral characterization of 3-rose graphs, Linear Algebra Appl. 439 (2013), 2914--2920]. We also show that if two rose graphs have a so-called universal Laplacian matrix with the same spectrum, then they must be isomorphic. In memory of Horst Sachs (1927-2016), we show the specific case of the latter result for the adjacency matrix by using Sachs' theorem and a new result on the number of matchings in the disjoint union of paths.
On the abelianity of the stochastic sandpile model
We consider a stochastic variant of the Abelian Sandpile Model (ASM) on a finite graph, introduced by Chan, Marckert and Selig. Even though it is a more general model, some nice properties still hold. We show that on a certain probability space, even if we lose the group structure due to topplings not being deterministic, some operators still commute. As a corollary, we show that the stationary distribution still does not depend on how sand grains are added onto the graph in our model, answering a conjecture of Selig.
Extremal Numbers for 2 to 1 Directed Hypergraphs with Two Edges Part I: The Nondegenerate Cases
Let a 2 to 1 directed hypergraph be a 3-uniform hypergraph where every edge has two tail vertices and one head vertex. For any such directed hypergraph F let the nth extremal number of F be the maximum number of edges that any directed hypergraph on n vertices can have without containing a copy of F. There are actually two versions of this problem: the standard version where every triple of vertices is allowed to have up to all three possible directed edges and the oriented version where each triple can have at most one directed edge. In this paper, we determine the standard extremal numbers and the oriented extremal numbers for three different directed hypergraphs. Each has exactly two edges, and of the seven (nontrivial) 2 to 1 graphs with exactly two edges, these are the only three with extremal numbers that are cubic in n. The standard and oriented extremal numbers for the other four directed hypergraphs with two edges are determined in a companion paper.
Extremal Numbers for 2 to 1 Directed Hypergraphs with Two Edges Part II: The Degenerate Cases
Let a 2 to 1 directed hypergraph be a 3-uniform hypergraph where every edge has two tail vertices and one head vertex. For any such directed hypergraph F let the nth extremal number of F be the maximum number of edges that any directed hypergraph on n vertices can have without containing a copy of F. There are actually two versions the directed hypergraph model for this problem: the standard version where every triple of vertices is allowed to have up to all three possible directed edges and the oriented version where each triple can have at most one directed edge. In this paper, we determine the standard extremal numbers and the oriented extremal numbers for four different directed hypergraphs. Each has exactly two edges, and of the seven (nontrivial) 2 to 1 graphs with exactly two edges, these are the only four with extremal numbers that are quadratic in n. The standard and oriented extremal numbers for the other three directed hypergraphs with two edges are determined in a companion paper.
Asymptotic metric behavior of random Cayley graphs of finite abelian groups
Published
• View Publication
• BIB
Using methods of Marklof and Strömbergsson we establish several limit laws for metric parameters of random Cayley graphs of finite abelian groups with respect to a randomly chosen set of generators of a fixed size. Doing so we settle a conjecture of Amir and Gurel-Gurevich.
Prime Power and Prime Product Distance Graphs
Published
• View Publication
• BIB
A graph $G$ is a $k$-prime product distance graph if its vertices can be labeled with distinct integers such that for any two adjacent vertices, the difference of their labels is the product of at most $k$ primes. A graph has prime product number $ppn(G)=k$ if it is a $k$-prime product graph but not a $(k-1)$-prime product graph. Similarly, $G$ is a prime $k$th-power graph (respectively, strict prime $k$th-power graph) if its vertices can be labeled with distinct integers such that for any two adjacent vertices, the difference of their labels is the $j$th power of a prime, for $j \leq k$ (respectively, the $k$th power of a prime exactly).
We prove that $ppn(K_n) = \lceil \log_2(n)\rceil - 1$, and for a nonempty $k$-chromatic graph $G$, $ppn(G) = \lceil \log_2(k)\rceil - 1$ or $ppn(G) = \lceil \log_2(k)\rceil$. We determine $ppn(G)$ for all complete bipartite, 3-partite, and 4-partite graphs. We prove that $K_n$ is a prime $k$th-power graph if and only if $n < 7$, and we determine conditions on cycles and outerplanar graphs $G$ for which $G$ is a strict prime $k$th-power graph.
We find connections between prime product and prime power distance graphs and the Twin Prime Conjecture, the Green-Tao Theorem, and Fermat's Last Theorem.
Ideal webs, moduli spaces of local systems, and 3d Calabi-Yau categories
Published
• View Publication
• BIB
A decorated surface S is an oriented surface with punctures and a finite set of marked points on the boundary, such that each boundary component has a marked point. We introduce ideal bipartite graphs on S. Each of them is related to a group G of type A, and gives rise to cluster coordinate systems on certain spaces of G-local systems on S. These coordinate systems generalize the ones assigned to ideal triangulations of S. A bipartite graph on S gives rise to a quiver with a canonical potential. The latter determines a triangulated 3d CY category with a cluster collection of spherical objects. Given an ideal bipartite graph on S, we define an extension of the mapping class group of S which acts by symmetries of the category. There is a family of open CY 3-folds over the universal Hitchin base, whose intermediate Jacobians describe the Hitchin system. We conjecture that the 3d CY category with cluster collection is equivalent to a full subcategory of the Fukaya category of a generic threefold of the family, equipped with a cluster collection of special Lagrangian spheres. For SL(2) a substantial part of the story is already known thanks to Bridgeland, Keller, Labardini-Fragoso, Nagao, Smith, and others. We hope that ideal bipartite graphs provide special examples of the Gaiotto-Moore-Neitzke spectral networks.
New Upper Bound for Sums of Dilates
Published in The Electronic Journal of Combinatorics 24(3) (2017), #P3.37
• View Publication
• BIB
For $λ\in \mathbb{Z}$, let $λ\cdot A = \{ λa : a \in A\}$. Suppose $r, h\in \mathbb{Z}$ are sufficiently large and comparable to each other. We prove that if $|A+A| \le K |A|$ and $λ_1, \ldots, λ_h \le 2^r$, then \[ |λ_1 \cdot A + \ldots + λ_h \cdot A | \le K^{ 7 rh /\ln (r+h) } |A|. \] This improves upon a result of Bukh who shows that \[ |λ_1 \cdot A + \ldots + λ_h \cdot A | \le K^{O(rh)} |A|. \] Our main technique is to combine Bukh's idea of considering the binary expansion of $λ_i$ with a result on biclique decompositions of bipartite graphs.lique decompositions.
Structure and enumeration theorems for hereditary properties in finite relational languages
Published
• View Publication
• BIB
Given a finite relational language $\calL$, a hereditary $\calL$-property is a class of finite $\calL$-structures which is closed under isomorphism and model theoretic substructure. This notion encompasses many objects of study in extremal combinatorics, including (but not limited to) hereditary properties of graphs, hypergraphs, and oriented graphs. In this paper, we generalize certain definitions, tools, and results form the study of hereditary properties in combinatorics to the setting of hereditary $\calL$-properties, where $\calL$ is any finite relational language with maximum arity at least two. In particular, the goal of this paper is to generalize how extremal results and stability theorems can be combined with standard techniques and tools to yield approximate enumeration and structure theorems. We accomplish this by generalizing the notions of extremal graphs, asymptotic density, and graph stability theorems using structures in an auxiliary language associated to a hereditary $\calL$-property. Given a hereditary $\calL$-property $\calH$, we prove an approximate asymptotic enumeration theorem for $\calH$ in terms of its generalized asymptotic density. Further we prove an approximate structure theorem for $\calH$, under the assumption of that $\calH$ has a stability theorem. The tools we use include a new application of the hypergraph containers theorem (Balogh-Morris-Samotij, Saxton-Thomason) to the setting of $\calL$-structures, a general supersaturation theorem for hereditary $\calL$-properties (also new), and a general graph removal lemma for $\calL$-structures proved by Aroskar and Cummings.
Near-Optimal Induced Universal Graphs for Bounded Degree Graphs
Published
• View Publication
• BIB
A graph $U$ is an induced universal graph for a family $F$ of graphs if every graph in $F$ is a vertex-induced subgraph of $U$. For the family of all undirected graphs on $n$ vertices Alstrup, Kaplan, Thorup, and Zwick [STOC 2015] give an induced universal graph with $O\!\left(2^{n/2}\right)$ vertices, matching a lower bound by Moon [Proc. Glasgow Math. Assoc. 1965].
Let $k= \lceil D/2 \rceil$. Improving asymptotically on previous results by Butler [Graphs and Combinatorics 2009] and Esperet, Arnaud and Ochem [IPL 2008], we give an induced universal graph with $O\!\left(\frac{k2^k}{k!}n^k \right)$ vertices for the family of graphs with $n$ vertices of maximum degree $D$. For constant $D$, Butler gives a lower bound of $Ω\!\left(n^{D/2}\right)$. For an odd constant $D\geq 3$, Esperet et al. and Alon and Capalbo [SODA 2008] give a graph with $O\!\left(n^{k-\frac{1}{D}}\right)$ vertices. Using their techniques for any (including constant) even values of $D$ gives asymptotically worse bounds than we present.
For large $D$, i.e. when $D = Ω\left(\log^3 n\right)$, the previous best upper bound was ${n\choose\lceil D/2\rceil} n^{O(1)}$ due to Adjiashvili and Rotbart [ICALP 2014]. We give upper and lower bounds showing that the size is ${\lfloor n/2\rfloor\choose\lfloor D/2 \rfloor}2^{\pm\tilde{O}\left(\sqrt{D}\right)}$. Hence the optimal size is $2^{\tilde{O}(D)}$ and our construction is within a factor of $2^{\tilde{O}\left(\sqrt{D}\right)}$ from this. The previous results were larger by at least a factor of $2^{Ω(D)}$.
As a part of the above, proving a conjecture by Esperet et al., we construct an induced universal graph with $2n-1$ vertices for the family of graphs with max degree $2$. In addition, we give results for acyclic graphs with max degree $2$ and cycle graphs. Our results imply the first labeling schemes that for any $D$ are at most $o(n)$ bits from optimal.