contain ↗ reference
7694 papers tagged with this keyword
Planar anti-Ramsey numbers of matchings
Published
• View Publication
• BIB
Given a positive integer $n$ and a planar graph $H$, let $\mathcal{T}_n(H)$ be the family of all plane triangulations $T$ on $n$ vertices such that $T$ contains a subgraph isomorphic to $H$. The planar anti-Ramsey number of $H$, denoted $ar_{_\mathcal{P}}(n, H)$, is the maximum number of colors in an edge-coloring of a plane triangulation $T\in \mathcal{T}_n(H)$ such that $T$ contains no rainbow copy of $H$. In this paper we study planar anti-Ramsey numbers of matchings. For all $t\ge1$, let $M_t$ denote a matching of size $t$. We prove that for all $t\ge6$ and $n\ge 3t-6$, $2n+3t-15\le ar_{_{\mathcal{P}}}(n, {M}_t)\le 2n+4t-14$, which significantly improves the existing lower and upper bounds for $ar_{_\mathcal{P}}(n, M_t)$. It seems that for each $t\ge6$, the lower bound we obtained is the exact value of $ar_{_{\mathcal{P}}}(n, {M}_t)$ for sufficiently large $n$. This is indeed the case for $M_6$. We prove that $ar_{_\mathcal{P}}(n, M_6)=2n+3$ for all $n\ge30$.
Spanning trees in randomly perturbed graphs
Published
• View Publication
• BIB
A classical result of Komlós, Sárközy and Szemerédi states that every $n$-vertex graph with minimum degree at least $(1/2+ o(1))n$ contains every $n$-vertex tree with maximum degree $O(n/\log{n})$ as a subgraph, and the bounds on the degree conditions are sharp. On the other hand, Krivelevich, Kwan and Sudakov recently proved that for every $n$-vertex graph $G_α$ with minimum degree at least $αn$ for any fixed $α>0$ and every $n$-vertex tree $T$ with bounded maximum degree, one can still find a copy of $T$ in $G_α$ with high probability after adding $O(n)$ randomly-chosen edges to $G_α$. We extend their results to trees with unbounded maximum degree. More precisely, for a given $n^{o(1)}\leq Δ\leq cn/\log n$ and $α>0$, we determine the precise number (up to a constant factor) of random edges that we need to add to an arbitrary $n$-vertex graph $G_α$ with minimum degree $αn$ in order to guarantee a copy of any fixed $n$-vertex tree $T$ with maximum degree at most~$Δ$ with high probability.
Exploiting symmetry in network analysis
Published in Sánchez-García, R.J. Exploiting symmetry in network analysis. Communications Physics 3, 87 (2020)
• View Publication
• BIB
Virtually all network analyses involve structural measures between pairs of vertices, or of the vertices themselves, and the large amount of symmetry present in real-world complex networks is inherited by such measures. This has practical consequences which have not yet been explored in full generality, nor systematically exploited by network practitioners. Here we study the effect of network symmetry on arbitrary network measures, and show how this can be exploited in practice in a number of ways, from redundancy compression, to computational reduction. We also uncover the spectral signatures of symmetry for an arbitrary network measure such as the graph Laplacian. Computing network symmetries is very efficient in practice, and we test real-world examples up to several million nodes. Since network models are ubiquitous in the Applied Sciences, and typically contain a large degree of structural redundancy, our results are not only significant, but widely applicable.
Three colour bipartite Ramsey number of cycles and paths
Published
• View Publication
• BIB
The $k$-colour bipartite Ramsey number of a bipartite graph $H$ is the least integer $n$ for which every $k$-edge-coloured complete bipartite graph $K_{n,n}$ contains a monochromatic copy of $H$. The study of bipartite Ramsey numbers was initiated, over 40 years ago, by Faudree and Schelp and, independently, by Gyárfás and Lehel, who determined the $2$-colour Ramsey number of paths. In this paper we determine asymptotically the $3$-colour bipartite Ramsey number of paths and (even) cycles.
Embedding rainbow trees with applications to graph labelling and decomposition
Published
• View Publication
• BIB
A subgraph of an edge-coloured graph is called rainbow if all its edges have distinct colours. The study of rainbow subgraphs goes back more than two hundred years to the work of Euler on Latin squares. Since then rainbow structures have been the focus of extensive research and have found applications in the areas of graph labelling and decomposition. An edge-colouring is locally $k$-bounded if each vertex is contained in at most $k$ edges of the same colour. In this paper we prove that any such edge-colouring of the complete graph $K_n$ contains a rainbow copy of every tree with at most $(1-o(1))n/k$ vertices. As a locally $k$-bounded edge-colouring of $K_n$ may have only $(n-1)/k$ distinct colours, this is essentially tight.
As a corollary of this result we obtain asymptotic versions of two long-standing conjectures in graph theory. Firstly, we prove an asymptotic version of Ringel's conjecture from 1963, showing that any $n$-edge tree packs into the complete graph $K_{2n+o(n)}$ to cover all but $o(n^2)$ of its edges. Secondly, we show that all trees have an almost-harmonious labelling. The existence of such a labelling was conjectured by Graham and Sloane in 1980. We also discuss some additional applications.
Broadcast domination and multipacking: bounds and the integrality gap
Published in Australasian Journal of Combinatorics 74(1):86-97, 2018
• Search Publication
The dual concepts of coverings and packings are well studied in graph theory. Coverings of graphs with balls of radius one and packings of vertices with pairwise distances at least two are the well-known concepts of domination and independence, respectively. In 2001, Erwin introduced \emph{broadcast domination} in graphs, a covering problem using balls of various radii, where the cost of a ball is its radius. The minimum cost of a dominating broadcast in a graph $G$ is denoted by $γ_b(G)$. The dual (in the sense of linear programming) of broadcast domination is \emph{multipacking}: a multipacking is a set $P \subseteq V(G)$ such that for any vertex $v$ and any positive integer $r$, the ball of radius $r$ around $v$ contains at most $r$ vertices of $P$. The maximum size of a multipacking in a graph $G$ is denoted by $mp(G)$. Naturally, $mp(G) \leq γ_b(G)$. Hartnell and Mynhardt proved that $γ_b(G) \leq 3 mp(G) - 2$ (whenever $mp(G)\geq 2$). In this paper, we show that $γ_b(G) \leq 2mp(G) + 3$. Moreover, we conjecture that this can be improved to $γ_b(G) \leq 2mp(G)$ (which would be sharp).
In absence of long chordless cycles, large tree-width becomes a local phenomenon
We prove that, for all $\ell$ and $s$, every graph of sufficiently large tree-width contains either a complete bipartite graph $K_{s,s}$ or a chordless cycle of length greater than $\ell$.
Applications of Graded Methods to Cluster Variables in Arbitrary Types
This thesis is concerned with studying the properties of gradings on several examples of cluster algebras, primarily of infinite type.
We first consider two finite type cases: $B_n$ and $C_n$, completing a classification by Grabowski for coefficient-free finite type cluster algebras.
We then consider gradings arising from $3 \times 3$ skew-symmetric matrices. We show that the mutation-cyclic matrices give rise to gradings in which all degrees are positive and have only finitely many associated cluster variables (excepting one particular case). For the mutation-acyclic matrices, we prove that all occurring degrees have infinitely many variables.
We provide a sufficient condition for a graded cluster algebra generated by a quiver to have infinitely many degrees, based on the presence of a subquiver in its mutation class. We use this to show that the cluster algebras for (quantum) coordinate rings of matrices and Grassmannians contain cluster variables of all degrees in $\mathbb{N}$.
Next we consider the list (given by Felikson, Shapiro & Tumarkin) of mutation-finite quivers that do not correspond to triangulations of marked surfaces. We show that $X_7$ gives rise to only two degrees, both with infinitely many variables, and that $\widetilde{E}_6$, $\widetilde{E}_7$ and $\widetilde{E}_8$ give rise to infinitely many variables in some degrees.
Finally, we study gradings arising from marked surfaces (see Fomin, Shapiro & Thurston). We adapt a definition by Muller to define the space of valuation functions on such a surface and prove combinatorially that it is isomorphic to the space of gradings on the associated cluster algebra. We illustrate this theory by applying it to the annulus with $n+m$ marked points. We show that the standard grading is of mixed type. We also give an alternative grading in which all degrees have infinitely many cluster variables.
Structure and generation of crossing-critical graphs
We study c-crossing-critical graphs, which are the minimal graphs that require at least c edge-crossings when drawn in the plane. For c=1 there are only two such graphs without degree-2 vertices, K_5 and K_3,3, but for any fixed c>1 there exist infinitely many c-crossing-critical graphs. It has been previously shown that c-crossing-critical graphs have bounded path-width and contain only a bounded number of internally disjoint paths between any two vertices. We expand on these results, providing a more detailed description of the structure of crossing-critical graphs. On the way towards this description, we prove a new structural characterisation of plane graphs of bounded path-width. Then we show that every c-crossing-critical graph can be obtained from a c-crossing-critical graph of bounded size by replicating bounded-size parts that already appear in narrow "bands" or "fans" in the graph. This also gives an algorithm to generate all the c-crossing-critical graphs of at most given order n in polynomial time per each generated graph.
Uniformity thresholds for the asymptotic size of extremal Berge-$F$-free hypergraphs
Let $F = (U,E)$ be a graph and $\mathcal{H} = (V,\mathcal{E})$ be a hypergraph. We say that $\mathcal{H}$ contains a Berge-$F$ if there exist injections $ψ:U\to V$ and $\varphi:E\to \mathcal{E}$ such that for every $e=\{u,v\}\in E$, $\{ψ(u),ψ(v)\}\subset\varphi(e)$. Let $ex_r(n,F)$ denote the maximum number of hyperedges in an $r$-uniform hypergraph on $n$ vertices which does not contain a Berge-$F$.
For small enough $r$ and non-bipartite $F$, $ex_r(n,F)=Ω(n^2)$; we show that for sufficiently large $r$, $ex_r(n,F)=o(n^2)$. Let $thres(F) = \min\{r_0 :ex_r(n,F) = o(n^2) \text{ for all } r \ge r_0 \}$. We show lower and upper bounds for $thres(F)$, the uniformity threshold of $F$. In particular, we obtain that $thres(\triangle) = 5$, improving a result of Győri.
We also study the analogous problem for linear hypergraphs. Let $ex^L_r(n,F)$ denote the maximum number of hyperedges in an $r$-uniform linear hypergraph on $n$ vertices which does not contain a Berge-$F$, and let the linear unformity threshold $thres^L(F) = \min\{r_0 :ex^L_r(n,F) = o(n^2) \text{ for all } r \ge r_0 \}$. We show that $thres^L(F)$ is equal to the chromatic number of $F$.
Bounding $χ$ by a fraction of $Δ$ for graphs without large cliques
Published
• View Publication
• BIB
The greedy coloring algorithm shows that a graph of maximum degree at most $Δ$ has chromatic number at most $Δ+ 1$, and this is tight for cliques. Much attention has been devoted to improving this "greedy bound" for graphs without large cliques. Brooks famously proved that this bound can be improved by one if $Δ\geq 3$ and the graph contains no clique of size $Δ+ 1$. Reed's Conjecture states that the "greedy bound" can be improved by $k$ if the graph contains no clique of size $Δ+ 1 - 2k$. Johansson proved that the "greedy bound" can be improved by a factor of $Ω(\ln(Δ)^{-1})$ or $Ω\left(\frac{\ln(\ln(Δ))}{\ln(Δ)}\right)$ for graphs with no triangles or no cliques of any fixed size, respectively.
Notably missing is a $\textit{linear}$ improvement on the "greedy bound" for graphs without large cliques. In this paper, we prove that for sufficiently large $Δ$, if $G$ is a graph with maximum degree at most $Δ$ and no clique of size $ω$, then $$χ(G) \leq 72Δ\sqrt{\frac{\ln(ω)}{\ln(Δ)}}.$$ This implies that for sufficiently large $Δ$, if $ω^{(72c)^2} \leq Δ$ then $χ(G) \leq Δ/c$.
This bound actually holds for the list-chromatic and even the correspondence-chromatic number (also known as the DP-chromatic number). In fact, we prove what we call a "local version" of it, a result implying the existence of a coloring when the number of available colors for each vertex depends on local parameters, like the degree and the clique number of its neighborhood. Our result simultaneously implies the linear improvement over the "greedy bound" and the two aforementioned results of Johansson.
Minimizing the number of 5-cycles in graphs with given edge-density
Published in Combinatorics, Probability and Computing 29 (2020) 44-67
• View Publication
• BIB
Motivated by the work of Razborov about the minimal density of triangles in graphs we study the minimal density of the 5-cycle $C_5$. We show that every graph of order $n$ and size $\left( 1-\frac{1}{k}\right)\binom{n}{2}$, where $k\ge 3$ is an integer, contains at least \[ \left( \frac{1}{10} -\frac{1}{2k} + \frac{1}{k^2} - \frac{1}{k^3} + \frac{2}{5 k^4} \right)n^5 +o(n^5) \] copies of $C_5$. This bound is optimal, since a matching upper bound is given by the balanced complete $k$-partite graph. The proof is based on the flag algebras framework. We also provide a stability result. An SDP solver is not necessary to verify our proofs.
Cographs: Eigenvalues and Dilworth Number
Published
• View Publication
• BIB
A cograph is a simple graph which contains no path on 4 vertices as an induced subgraph. The vicinal preorder on the vertex set of a graph is defined in terms of inclusions among the neighborhoods of vertices. The minimum number of chains with respect to the vicinal preorder required to cover the vertex set of a graph $G$ is called the Dilworth number of $G$. We prove that for any cograph $G$, the multiplicity of any eigenvalue $λ\ne0,-1$, does not exceed the Dilworth number of $G$ and show that this bound is tight. G. F. Royle [The rank of a cograph, Electron. J. Combin. 10 (2003), Note 11] proved that if a cograph $G$ has no pair of vertices with the same neighborhood, then $G$ has no 0 eigenvalue, and asked if beside cographs, there are any other natural classes of graphs for which this property holds. We give a partial answer to this question by showing that an $H$-free family of graphs has this property if and only if it is a subclass of the family of cographs. A similar result is also shown to hold for the $-1$ eigenvalue.
A proof of a sumset conjecture of Erdős
Published in Ann. of Math. (2) 189 (2019), no. 2, 605-652
• View Publication
• BIB
In this paper we show that every set $A \subset \mathbb{N}$ with positive density contains $B+C$ for some pair $B,C$ of infinite subsets of $\mathbb{N}$, settling a conjecture of Erdős. The proof features two different decompositions of an arbitrary bounded sequence into a structured component and a pseudo-random component. Our methods are quite general, allowing us to prove a version of this conjecture for countable amenable groups.
Hamiltonian cycles in hypercubes with faulty edges
Published
• View Publication
• BIB
Szepietowski [A. Szepietowski, Hamiltonian cycles in hypercubes with $2n-4$ faulty edges, Information Sciences, 215 (2012) 75--82] observed that the hypercube $Q_n$ is not Hamiltonian if it contains a trap disconnected halfway. A proper subgraph $T$ is disconnected halfway if at least half of its nodes have parity 0 (or 1, resp.) and the edges joining all nodes of parity 0 (or 1, resp.) in $T$ with nodes outside $T$, are faulty. The simplest examples of such traps are: (1) a vertex with $n-1$ incident faulty edges, or (2) a cycle $(u,v,w,x)$, where all edges going out of the cycle from $u$ and $w$ are faulty. In this paper we describe all traps disconnected halfway $T$ with the size $|T|\le8$, and discuss the problem whether there exist small sets of faulty edges which preclude Hamiltonian cycles and are not based on sets disconnected halfway. We describe heuristic which detects sets of faulty edges which preclude HC also those sets that are not based on subgraphs disconnected halfway. We describe all $Q_4$ cubes that are not Hamiltonian, and all $Q_5$ cubes with 8 or 9 faulty edges that are not Hamiltonian.
On the centroid of increasing trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 4, Combinatorics (August 27, 2019) dmtcs:4325
• View Publication
• BIB
A centroid node in a tree is a node for which the sum of the distances to all other nodes attains its minimum, or equivalently a node with the property that none of its branches contains more than half of the other nodes. We generalise some known results regarding the behaviour of centroid nodes in random recursive trees (due to Moon) to the class of very simple increasing trees, which also includes the families of plane-oriented and $d$-ary increasing trees. In particular, we derive limits of distributions and moments for the depth and label of the centroid node nearest to the root, as well as for the size of the subtree rooted at this node.
On 1-factors with prescribed lengths in tournaments
Published
• View Publication
• BIB
Kühn, Osthus, and Townsend asked whether there exists a constant $C$ such that every strongly $Ct$-connected tournament contains all possible $1$-factors with at most $t$ components. We answer this question in the affirmative. This is best possible up to constant. In addition, we can ensure that each cycle in the $1$-factor contains a prescribed vertex.
Indeed, we derive this result from a more general result on partitioning digraphs which are close to semicomplete. More precisely, we prove that there exists a constant $C$ such that for any $k\geq 1$, if a strongly $Ck^4t$-connected digraph $D$ is close to semicomplete, then we can partition $D$ into $t$ strongly $k$-connected subgraphs with prescribed sizes, provided that the prescribed sizes are $Ω(n)$. This result improves the earlier result of Kühn, Osthus, and Townsend. Here, the condition of connectivity being linear in $t$ is best possible, and the condition of prescribed size being $Ω(n)$ is also best possible.
Erdős-Burgess constant of commutative semigroups
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a nonempty commutative semigroup written additively. An element $e$ of $\mathcal{S}$ is said to be idempotent if $e+e=e$. The Erdős-Burgess constant of the semigroup $\mathcal{S}$ is defined as the smallest positive integer $\ell$ such that any $\mathcal{S}$-valued sequence $T$ of length $\ell$ contain a nonempty subsequence the sum of whose terms is an idempotent of $\mathcal{S}$. We make a study of ${\rm I}(\mathcal{S})$ when $\mathcal{S}$ is a direct product of arbitrarily many of cyclic semigroups. We give the necessary and sufficient conditions such that ${\rm I}(\mathcal{S})$ is finite, and in particular, we obtain sharp bounds of ${\rm I}(\mathcal{S})$ in case ${\rm I}(\mathcal{S})$ is finite, and determine the precise values of ${\rm I}(\mathcal{S})$ in some cases which unifies some well known results on the precise values of Davenport constant in the setting of commutative semigroups.
On the sizes of $k$-edge-maximal $r$-uniform hypergraphs
Published
• View Publication
• BIB
Let $H=(V,E)$ be a hypergraph, where $V$ is a set of vertices and $E$ is a set of non-empty subsets of $V$ called edges. If all edges of $H$ have the same cardinality $r$, then $H$ is a $r$-uniform hypergraph; if $E$ consists of all $r$-subsets of $V$, then $H$ is a complete $r$-uniform hypergraph, denoted by $K_n^r$, where $n=|V|$. A hypergraph $H'=(V',E')$ is called a subhypergraph of $H=(V,E)$ if $V'\subseteq V$ and $E'\subseteq E$. A $r$-uniform hypergraph $H=(V,E)$ is $k$-edge-maximal if every subhypergraph of $H$ has edge-connectivity at most $k$, but for any edge $e\in E(K_n^r)\setminus E(H)$, $H+e$ contains at least one subhypergraph with edge-connectivity at least $k+1$.
Let $k$ and $r$ be integers with $k\geq2$ and $r\geq2$, and let $t=t(k,r)$ be the largest integer such that $(^{t-1}_{r-1})\leq k$. That is, $t$ is the integer satisfies $(^{t-1}_{r-1})\leq k<(^{t}_{r-1})$. We prove that if $H$ is a $r$-uniform $k$-edge-maximal hypergraph such that $n=|V(H)|\geq t$, then
($i$) $|E(H)|\leq (^{t}_{r})+(n-t)k$, and this bound is best possible;
($ii$) $|E(H)|\geq (n-1)k -((t-1)k-(^{t}_{r}))\lfloor\frac{n}{t}\rfloor$, and this bound is best possible.
This extends former results in [8] and [6].
Powers of tight Hamilton cycles in randomly perturbed hypergraphs
Published
• View Publication
• BIB
For $k\ge 2$ and $r\ge 1$ such that $k+r\ge 4$, we prove that, for any $α>0$, there exists $ε>0$ such that the union of an $n$-vertex $k$-graph with minimum codegree $\left(1-\binom{k+r-2}{k-1}^{-1}+α\right)n$ and a binomial random $k$-graph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-\binom{k+r-2}{k-1}^{-1}-ε}$ on the same vertex set contains the $r^{\text{th}}$ power of a tight Hamilton cycle with high probability. This result for $r=1$ was first proved by McDowell and Mycroft.