graph
34793 papers tagged with this keyword
Extremal graphs for vertex-degree-based invariants with given degree sequences
Published in Discrete Applied Mathematics, 2018
• View Publication
• BIB
For a symmetric bivariable function $f(x,y)$, let the {\it connectivity function} of a connected graph $G$ be $M_f(G)=\sum_{uv\in E(G)}f(d(u),d(v))$, where $d(u)$ is the degree of vertex $u$. In this paper, we prove that for an escalating (de-escalating) function $f(x,y)$, there exists a BFS-graph with the maximum (minimum) connectivity function $M_f(G)$ among all graphs with a $c-$cyclic degree sequence $π=(d_1,d_2, \ldots, d_n)$ and $d_n=1$, and obtain the majorization theorem for connectivity function for unicyclic and bicyclic degree sequences. Moreover, some applications of graph invariants based on degree are included.
The sharp threshold for jigsaw percolation in random graphs
Published in Adv. Appl. Probab. 51 (2019) 378-407
• View Publication
• BIB
We analyse the jigsaw percolation process, which may be seen as a measure of whether two graphs on the same vertex set are `jointly connected'. Bollobás, Riordan, Slivken and Smith proved that when the two graphs are independent binomial random graphs, whether the jigsaw process percolates undergoes a phase transition when the product of the two probabilities is $Θ\left( \frac{1}{n\ln n} \right)$. We show that this threshold is sharp, and that it lies at $\frac{1}{4n\ln n}$.
Rigidity for sticky disks
Published
• View Publication
• BIB
We study the combinatorial and rigidity properties of disk packings with generic radii. We show that a packing of $n$ disks in the plane with generic radii cannot have more than $2n-3$ pairs of disks in contact. The allowed motions of a packing preserve the disjointness of the disk interiors and tangency between pairs already in contact (modeling a collection of sticky disks). We show that if a packing has generic radii, then the allowed motions are all rigid body motions if and only if the packing has exactly $2n-3$ contacts. Our approach is to study the space of packings with a fixed contact graph. The main technical step is to show that this space is a smooth manifold, which is done via a connection to the Cauchy-Alexandrov stress lemma. Our methods also apply to jamming problems, in which contacts are allowed to break during a motion. We give a simple proof of a finite variant of a recent result of Connelly, et al. on the number of contacts in a jammed packing of disks with generic radii.
Triple systems with no three triples spanning at most five points
Published
• View Publication
• BIB
We show that the maximum number of triples on $n$~points, if no three triples span at most five points, is $(1\pm o(1))n^2/5$. More generally, let $f^{(r)}(n;k,s)$ be the maximum number of edges of an $r$-uniform hypergraph on $n$~vertices not containing a subgraph with $k$~vertices and $s$~edges. In 1973, Brown, Erdős and Sós conjectured that the limit $\lim_{n\to \infty}n^{-2}f^{(3)}(n;k,k-2)$ exists for all~$k$. They proved this for $k=4$, where the limit is $1/6$ and the extremal examples are Steiner triple systems. We prove the conjecture for $k=5$ and show that the limit is~$1/5$. The upper bound is established via a simple optimisation problem. For the lower bound, we use approximate $H$-decompositions of~$K_n$ for a suitably defined graph~$H$.
A Completion of the Proof of the Edge-statistics Conjecture
Published in Advances in Combinatorics, 2020:4, 52 pp
• Search Publication
For given integers $k$ and $\ell$ with $0<\ell< {k \choose 2}$, Alon, Hefetz, Krivelevich and Tyomkyn formulated the following conjecture: When sampling a $k$-vertex subset uniformly at random from a very large graph $G$, then the probability to have exactly $\ell$ edges within the sampled $k$-vertex subset is at most $e^{-1}+o_k(1)$. This conjecture was proved in the case $Ω(k)\leq \ell\leq {k \choose 2}-Ω(k)$ by Kwan, Sudakov and Tran. In this paper, we complete the proof of the conjecture by resolving the remaining cases. We furthermore give nearly tight upper bounds for the probability described above in the case $ω(1)\leq \ell\leq o(k)$. We also extend some of our results to hypergraphs with bounded edge size.
On Clique Coverings of Complete Multipartite Graphs
Published
• View Publication
• BIB
A clique covering of a graph $G$ is a set of cliques of $G$ such that any edge of $G$ is contained in one of these cliques, and the weight of a clique covering is the sum of the sizes of the cliques in it. The sigma clique cover number $scc(G)$ of a graph $G$, is defined as the smallest possible weight of a clique covering of $G$. Let $ K_t(d) $ denote the complete $ t $-partite graph with each part of size $d$. We prove that for any fixed $d \ge 2$, we have $$\lim_{t \rightarrow \infty} scc(K_t(d))= \frac{d}{2} t\log t.$$ This disproves a conjecture of Davoodi, Javadi and Omoomi.
Nearly-linear monotone paths in edge-ordered graphs
How long a monotone path can one always find in any edge-ordering of the complete graph $K_n$? This appealing question was first asked by Chvátal and Komlós in 1971, and has since attracted the attention of many researchers, inspiring a variety of related problems. The prevailing conjecture is that one can always find a monotone path of linear length, but until now the best known lower bound was $n^{2/3-o(1)}$. In this paper we almost close this gap, proving that any edge-ordering of the complete graph contains a monotone path of length $n^{1-o(1)}$.
Bounds on the edge-Wiener index of cacti with $n$ vertices and $t$ cycles
The edge-Wiener index $W_e(G)$ of a connected graph $G$ is the sum of distances between all pairs of edges of $G$. A connected graph $G$ is said to be a cactus if each of its blocks is either a cycle or an edge. Let $\mathcal{G}_{n,t}$ denote the class of all cacti with $n$ vertices and $t$ cycles. In this paper, the upper bound and lower bound on the edge-Wiener index of graphs in $\mathcal{G}_{n,t}$ are identified and the corresponding extremal graphs are characterized.
Cycle Ramsey numbers for random graphs
Let $C_{n}$ be a cycle of length $n$. As an application of Szemerédi's regularity lemma, Łuczak ($R(C_n,C_n,C_n)\leq (4+o(1))n$, J. Combin. Theory Ser. B, 75 (1999), 174--187) in fact established that $K_{(8+o(1))n}\to(C_{2n+1},C_{2n+1},C_{2n+1})$. In this paper, we strengthen several results involving cycles.
Let $\mathcal{G}(n,p)$ be the random graph. We prove that for fixed $0<p\le1$, and integers $n_1$, $n_2$ and $n_3$ with $n_1\ge n_2\ge n_3$, it holds that for any sufficiently small $δ>0$, there exists an integer $n_0$ such that for all integer $n_3>n_0$, we have a.a.s. that \begin{align*} \mathcal{G}((8+δ)n_1,p) \to (C_{2n_1+1},C_{2n_2+1},C_{2n_3+1}). \end{align*} Moreover, we prove that for fixed $0<p\le1$ and integers $n_1\ge n_2\ge n_3>0$ with same order, i.e. $n_2=Θ(n_1)$ and $n_3=Θ(n_1)$, we have a.a.s. that \begin{align*} \mathcal{G}(2n_1+n_2+n_3+o(1)n_1,p) \to (C_{2n_1},C_{2n_2},C_{2n_3}). \end{align*} Similar results for the two color case are also obtained.
The spectrum and automorphism group of the set-inclusion graph
Published
• View Publication
• BIB
Let $n$, $k$ and $l$ be integers with $1\leq k<l\leq n-1$. The set-inclusion graph $G(n,k,l)$ is the graph whose vertex set consists of all $k$- and $l$-subsets of $[n]=\{1,2,\ldots,n\}$, where two distinct vertices are adjacent if one of them is contained in another. In this paper, we determine the spectrum and automorphism group of $G(n,k,l)$, respectively.
Pure pairs. I. Trees and linear anticomplete pairs
Published
• View Publication
• BIB
The Erdos-Hajnal Conjecture asserts that for every graph H there is a constant c > 0 such that every graph G that does not contain H as an induced subgraph has a clique or stable set of cardinality at least |G|^c. In this paper, we prove a conjecture of Liebenau and Pilipczuk, that for every forest H there exists c > 0, such that every graph G contains either an induced copy of H, or a vertex of degree at least c|G|, or two disjoint sets of at least c|G| vertices with no edges between them. It follows that for every forest H there is c > 0 so that if G contains neither H nor its complement as an induced subgraph then there is a clique or stable set of cardinality at least |G|^c.
Planar graphs without cycles of lengths 4 and 5 and close triangles are DP-3-colorable
Published
• View Publication
• BIB
Montassier, Raspaud, and Wang (2006) asked to find the smallest positive integers $d_0$ and $d_1$ such that planar graphs without $\{4,5\}$-cycles and $d^Δ\ge d_0$ are $3$-choosable and planar graphs without $\{4,5,6\}$-cycles and $d^Δ\ge d_1$ are $3$-choosable, where $d^Δ$ is the smallest distance between triangles. They showed that $2\le d_0\le 4$ and $d_1\le 3$. In this paper, we show that the following planar graphs are DP-3-colorable: (1) planar graphs without $\{4,5\}$-cycles and $d^Δ\ge 3$ are DP-$3$-colorable, and (2) planar graphs without $\{4,5,6\}$-cycles and $d^Δ\ge 2$ are DP-$3$-colorable. DP-coloring is a generalization of list-coloring, thus as a corollary, $d_0\le 3$ and $d_1\le 2$. We actually prove stronger statements that each pre-coloring on some cycles can be extended to the whole graph.
A note on eigenvalues and Hamiltoinan properties of $k$-connected graphs
Let $λ_{1}(G)$ and $μ_{1}(G)$ denote the spectral radius and the Laplacian spectral radius of a graph $G$, respectively. Li in [Electronic J. Linear Algebra 34 (2018) 389-392] proved sharp upper bounds of $λ_{1}(G)$ based on the connectivity to assure a connected graph to be Hamiltonian and traceable, respectively. In this paper, we present best possible upper bounds of $λ_{1}(G)$ for $k$-connected graphs to be Hamiltonian-connected and homogeneously traceable, respectively. Furthermore, best possible upper bounds of $μ_{1}(G)$ to predict $k$-connected graphs to be Hamiltonian-connected, Hamiltonian and traceable are originally proved, respectively.
Sidorenko's conjecture for blow-ups
Published in Discrete Analysis, 2021:2, 13 pp
• Search Publication
A celebrated conjecture of Sidorenko and Erdős-Simonovits states that, for all bipartite graphs $H$, quasirandom graphs contain asymptotically the minimum number of copies of $H$ taken over all graphs with the same order and edge density. This conjecture has attracted considerable interest over the last decade and is now known to hold for a broad range of bipartite graphs, with the overall trend saying that a graph satisfies the conjecture if it can be built from simple building blocks such as trees in a certain recursive fashion.
Our contribution here, which goes beyond this paradigm, is to show that the conjecture holds for any bipartite graph $H$ with bipartition $A \cup B$ where the number of vertices in $B$ of degree $k$ satisfies a certain divisibility condition for each $k$. As a corollary, we have that for every bipartite graph $H$ with bipartition $A \cup B$, there is a positive integer $p$ such that the blow-up $H_A^p$ formed by taking $p$ vertex-disjoint copies of $H$ and gluing all copies of $A$ along corresponding vertices satisfies the conjecture. Another way of viewing this latter result is that for every bipartite $H$ there is a positive integer $p$ such that an $L^p$-version of Sidorenko's conjecture holds for $H$.
Atomic decomposition of characters and crystals
Published
• View Publication
• BIB
Lascoux stated that the type A Kostka-Foulkes polynomials K_{lambda,mu}(t) expand positively in terms of so-called atomic polynomials. For any semisimple Lie algebra, the former polynomial is a t-analogue of the multiplicity of the dominant weight mu in the irreducible representation of highest weight lambda. We formulate the atomic decomposition in arbitrary type, and view it as a strengthening of the monotonicity of K_{lambda,mu}(t). We also define a combinatorial version of the atomic decomposition, as a decomposition of a modified crystal graph. We prove that this stronger version holds in type A (which provides a new, conceptual approach to Lascoux's statement), in types B, C, and D in a stable range for t=1, as well as in some other cases, while we conjecture that it holds more generally. Another conjecture stemming from our work leads to an efficient computation of K_{lambda,mu}(t). We also give a geometric interpretation.
Clique-partitioned graphs
Published in Discrete Applied Math. 314 (2022) 238--248
• View Publication
• BIB
A graph $G$ of order $nv$ where $n\geq 2$ and $v\geq 2$ is said to be weakly $(n,v)$-clique-partitioned if its vertex set can be decomposed in a unique way into $n$ vertex-disjoint $v$-cliques. It is strongly $(n,v)$-clique-partitioned if in addition, the only $v$-cliques of $G$ are the $n$ cliques in the decomposition. We determine the structure of such graphs which have the largest possible number of edges.
Ubiquity in graphs II: Ubiquity of graphs with nowhere-linear end structure
Published
• View Publication
• BIB
A graph $G$ is said to be $\preceq$-ubiquitous, where $\preceq$ is the minor relation between graphs, if whenever $Γ$ is a graph with $nG \preceq Γ$ for all $n \in \mathbb{N}$, then one also has $\aleph_0 G \preceq Γ$, where $αG$ is the disjoint union of $α$ many copies of $G$. A well-known conjecture of Andreae is that every locally finite connected graph is $\preceq$-ubiquitous.
In this paper we give a sufficient condition on the structure of the ends of a graph~$G$ which implies that $G$ is $\preceq$-ubiquitous. In particular this implies that the full grid is $\preceq$-ubiquitous.
Separations of sets
Published
• View Publication
• BIB
Abstract separation systems are a new unifying framework in which separations of graph, matroids and other combinatorial structures can be expressed and studied. We characterize the abstract separation systems that have representations as separation systems of graphs, sets, or set bipartitions.
A minimal counterexample to a strengthening of Perles' conjecture
In this paper, we present a minimal counterexample to a conjecture of Perles that answers a question of Haase and Ziegler. The example is a simple 4-polytope that has an induced 3-connected 3-regular subgraph, whose graph complement is connected. This subgraph is planar and not the graph of a facet of the polytope.
Cambrian triangulations and their tropical realizations
Published in European J. Combin., 83, 19 pp., 2020
• View Publication
• BIB
This paper develops a Cambrian extension of the work of C. Ceballos, A. Padrol and C. Sarmiento on $ν$-Tamari lattices and their tropical realizations. For any signature $\varepsilon \in \{\pm\}^n$, we consider a family of $\varepsilon$-trees in bijection with the triangulations of the $\varepsilon$-polygon. These $\varepsilon$-trees define a flag regular triangulation $\mathcal{T}^\varepsilon$ of the subpolytope $\operatorname{conv} \{(\mathbf{e}_{i_\bullet}, \mathbf{e}_{j_\circ}) \, | \, 0 \le i_\bullet < j_\circ \le n+1 \}$ of the product of simplices $\triangle_{\{0_\bullet, \dots, n_\bullet\}} \times \triangle_{\{1_\circ, \dots, (n+1)_\circ\}}$. The oriented dual graph of the triangulation $\mathcal{T}^\varepsilon$ is the Hasse diagram of the (type $A$) $\varepsilon$-Cambrian lattice of N. Reading. For any $I_\bullet \subseteq \{0_\bullet, \dots, n_\bullet\}$ and $J_\circ \subseteq \{1_\circ, \dots, (n+1)_\circ\}$, we consider the restriction $\mathcal{T}^\varepsilon_{I_\bullet, J_\circ}$ of the triangulation $\mathcal{T}^\varepsilon$ to the face $\triangle_{I_\bullet} \times \triangle_{J_\circ}$. Its dual graph is naturally interpreted as the increasing flip graph on certain $(\varepsilon, I_\bullet, J_\circ)$-trees, which is shown to be a lattice generalizing in particular the $ν$-Tamari lattices in the Cambrian setting. Finally, we present an alternative geometric realization of $\mathcal{T}^\varepsilon_{I_\bullet, J_\circ}$ as a polyhedral complex induced by a tropical hyperplane arrangement.