arXiv++ Combinatorics

Browse math.CO papers from arXiv

contain ↗ reference

7694 papers tagged with this keyword
2018-02-06 v3
Random cliques in random graphs and sharp thresholds for $F$-factors
Published • View Publication • BIB
We show that for each $r\ge 4$, in a density range extending up to, and slightly beyond, the threshold for a $K_r$-factor, the copies of $K_r$ in the random graph $G(n,p)$ are randomly distributed, in the (one-sided) sense that the hypergraph that they form contains a copy of a binomial random hypergraph with almost exactly the right density. Thus Jeff Kahn's recent asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem implies a corresponding bound for the threshold for $G(n,p)$ to contain a $K_r$-factor. The case $r=3$ is more difficult, and has been settled by Annika Heckel. We also prove a corresponding result for $K_r^{(t)}$-factors in random $t$-uniform hypergraphs, as well as (in some cases weaker) generalizations replacing $K_r$ by certain other (hyper)graphs.
2018-02-06 v2
On the polynomial Szemerédi theorem in finite fields
Published in Duke Math. J. 168, no. 5 (2019), 749-774 • View Publication • BIB
Let $P_1,\dots,P_m\in\mathbb{Z}[y]$ be any linearly independent polynomials with zero constant term. We show that there exists a $γ>0$ such that any subset of $\mathbb{F}_q$ of size at least $q^{1-γ}$ contains a nontrivial polynomial progression $x,x+P_1(y),\dots,x+P_m(y)$, provided the characteristic of $\mathbb{F}_q$ is large enough.
2018-02-04
Balanced diagonals in frequency squares
Published • View Publication • BIB
We say that a diagonal in an array is {\em $λ$-balanced} if each entry occurs $λ$ times. Let $L$ be a frequency square of type $F(n;λ^m)$; that is, an $n\times n$ array in which each entry from $\{1,2,\dots ,m\}$ occurs $λ$ times per row and $λ$ times per column. We show that if $m\leq 3$, $L$ contains a $λ$-balanced diagonal, with only one exception up to equivalence when $m=2$. We give partial results for $m\geq 4$ and suggest a generalization of Ryser's conjecture, that every latin square of odd order has a transversal. Our method relies on first identifying a small substructure with the frequency square that facilitates the task of locating a balanced diagonal in the entire array.
A version of the Loebl-Komlós-Sós conjecture for skewed trees
Loebl, Komlós, and Sós conjectured that any graph with at least half of its vertices of degree at least k contains every tree with at most k edges. We propose a version of this conjecture for skewed trees, i.e., we consider the class of trees with at most k edges such that the sizes of the colour classes of the trees have a given ratio. We show that our conjecture is asymptotically correct for dense graphs. The proof relies on the regularity method. Our result implies bounds on Ramsey number of several trees of given skew.
2018-02-01
On indicated coloring of some classes of graphs
Published • View Publication • BIB
Indicated coloring is a type of game coloring in which two players collectively color the vertices of a graph in the following way. In each round the first player (Ann) selects a vertex, and then the second player (Ben) colors it properly, using a fixed set of colors. The goal of Ann is to achieve a proper coloring of the whole graph, while Ben is trying to prevent the realization of this project. The smallest number of colors necessary for Ann to win the game on a graph $G$ (regardless of Ben's strategy) is called the indicated chromatic number of $G$, denoted by $χ_i(G)$. In this paper, we obtain structural characterization of connected $\{P_5,K_4,Kite,Bull\}$-free graphs which contains an induced $C_5$ and connected $\{P_6,C_5, K_{1,3}\}$-free graphs that contains an induced $C_6$. Also, we prove that $\{P_5,K_4,Kite,Bull\}$-free graphs that contains an induced $C_5$ and $\{P_6,C_5,\overline{P_5}, K_{1,3}\}$-free graphs which contains an induced $C_6$ are $k$-indicated colorable for all $k\geqχ(G)$. In addition, we show that $\mathbb{K}[C_5]$ is $k$-indicated colorable for all $k\geqχ(G)$ and as a consequence, we exhibit that $\{P_2\cup P_3, C_4\}$-free graphs, $\{P_5,C_4\}$-free graphs are $k$-indicated colorable for all $k\geqχ(G)$. This partially answers one of the questions which was raised by A. Grzesik in \cite{and}.
2018-02-01
How many randomly colored edges make a randomly colored dense graph rainbow hamiltonian or rainbow connected?
Published • View Publication • BIB
In this paper we study the randomly edge colored graph that is obtained by adding randomly colored random edges to an arbitrary randomly edge colored dense graph. In particular we ask how many colors and how many random edges are needed so that the resultant graph contains a fixed number of edge disjoint rainbow Hamilton cycles. We also ask when in the resultant graph every pair of vertices is connected by a rainbow path.
On the computability of graphons
We investigate the relative computability of exchangeable binary relational data when presented in terms of the distribution of an invariant measure on graphs, or as a graphon in either $L^1$ or the cut distance. We establish basic computable equivalences, and show that $L^1$ representations contain fundamentally more computable information than the other representations, but that $0'$ suffices to move between computable such representations. We show that $0'$ is necessary in general, but that in the case of random-free graphons, no oracle is necessary. We also provide an example of an $L^1$-computable random-free graphon that is not weakly isomorphic to any graphon with an a.e. continuous version.
2018-01-30 v2
Extensions of Erdős-Gallai Theorem and Luo's Theorem with Applications
Published in Combinatorics, Probability and Computing (2020), 29, pp. 128-136 • View Publication • BIB
The famous Erdős-Gallai Theorem on the Turán number of paths states that every graph with $n$ vertices and $m$ edges contains a path with at least $\frac{2m}{n}$ edges. In this note, we first establish a simple but novel extension of the Erdős-Gallai Theorem by proving that every graph $G$ contains a path with at least $\frac{(s+1)N_{s+1}(G)}{N_{s}(G)}+s-1$ edges, where $N_j(G)$ denotes the number of $j$-cliques in $G$ for $1\leq j\leqω(G)$. We also construct a family of graphs which shows our extension improves the estimate given by Erdős-Gallai Theorem. Among applications, we show, for example, that the main results of \cite{L17}, which are on the maximum possible number of $s$-cliques in an $n$-vertex graph without a path with $l$ vertices (and without cycles of length at least $c$), can be easily deduced from this extension. Indeed, to prove these results, Luo \cite{L17} generalized a classical theorem of Kopylov and established a tight upper bound on the number of $s$-cliques in an $n$-vertex 2-connected graph with circumference less than $c$. We prove a similar result for an $n$-vertex 2-connected graph with circumference less than $c$ and large minimum degree. We conclude this paper with an application of our results to a problem from spectral extremal graph theory on consecutive lengths of cycles in graphs.
2018-01-26 v2
Intervals in the Hales-Jewett theorem
Published • View Publication • BIB
The Hales-Jewett theorem states that for any $m$ and $r$ there exists an $n$ such that any $r$-colouring of the elements of $[m]^n$ contains a monochromatic combinatorial line. We study the structure of the wildcard set $S \subseteq [n]$ which determines this monochromatic line, showing that when $r$ is odd there are $r$-colourings of $[3]^n$ where the wildcard set of a monochromatic line cannot be the union of fewer than $r$ intervals. This is tight, as for $n$ sufficiently large there are always monochromatic lines whose wildcard set is the union of at most $r$ intervals.
2018-01-25 v2
Highly linked tournaments with large minimum out-degree
We prove that there exists a function $f:\mathbb{N} \rightarrow \mathbb{N}$ such that for any positive integer $k$, if $T$ is a strongly $4k$-connected tournament with minimum out-degree at least $f(k)$, then $T$ is $k$-linked. This makes progress towards resolving a conjecture of Pokrovskiy. Along the way, we show that a tournament with sufficiently large minimum out-degree contains a subdivision of a complete directed graph. This result may be of independent interest.
The Price of Indivisibility in Cake Cutting
We consider the problem of envy-free cake cutting, which is the distribution of a continuous heterogeneous resource among self interested players such that nobody prefers what somebody else receives to what they get. Existing work has focused on two distinct classes of solutions to this problem - allocations which give each player a continuous piece of cake and allocations which give each player arbitrarily many disjoint pieces of cake. Our aim is to investigate allocations between these two extremes by parameterizing the maximum number of disjoint pieces each player may receive. We characterize the Price of Indivisibility (POI) as the gain achieved in social welfare (utilitarian and egalitarian), by moving from allocations which give each player a continuous piece of cake to allocations that may give each player up to $k$ disjoint pieces of cake. Our results contain bounds for the Price of Indivisibility for utilitarian as well as egalitarian social welfare, and for envy-free cake cutting as well as cake cutting without any fairness constraints.
2018-01-22 v2
Spanning trees without adjacent vertices of degree 2
Published • View Publication • BIB
Albertson, Berman, Hutchinson, and Thomassen showed in 1990 that there exist highly connected graphs in which every spanning tree contains vertices of degree 2. Using a result of Alon and Wormald, we show that there exists a natural number $d$ such that every graph of minimum degree at least $d$ contains a spanning tree without adjacent vertices of degree 2. Moreover, we prove that every graph with minimum degree at least 3 has a spanning tree without three consecutive vertices of degree 2.
2018-01-21
Spectral extremal results with forbidding linear forests
Published • View Publication • BIB
The Turán type extremal problem asks to maximize the number of edges over all graphs which do not contain fixed subgraphs. Similarly, the spectral Turán type extremal problem asks to maximize spectral radius of all graphs which do not contain fixed subgraphs. In this paper, we determine the maximum spectral radius of all graphs without containing a linear forest as a subgraph and characterize all corresponding extremal graphs. In addition, the maximum number of edges and spectral radius of all bipartite graphs without containing $k\cdot P_3$ as a subgraph are obtained and all extremal graphs are also characterized. Moreover, some relations between Tuán type extremal problems and spectral Turán type extremal problems are discussed.
2018-01-18 v2
Formula for calculating the Wiener polarity index with applications to benzenoid graphs and phenylenes
Published in J. Math. Chem. 57 (2019) 370-383 • View Publication • BIB
The Wiener polarity index of a graph is defined as the number of unordered pairs of vertices at distance three. In recent years, this topological index was extensively studied since it has many known applications in chemistry and also in network theory. In this paper, we generalize the result of Behmaram, Yousefi-Azari, and Ashrafi proved in 2012 for calculating the Wiener polarity index of a graph. An important advantage of our generalization is that it can be used for graphs that contain $4$-cycles and also for graphs whose different cycles have more than one common edge. In addition, using the main result a closed formula for the Wiener polarity index is derived for phenylenes and recalculated for catacondensed benzenoid graphs. The catacondensed benzenoid graphs and phenylenes attaining the extremal values with respect to the Wiener polarity index are also characterized.
2018-01-16
A theorem on even pancyclic bipartite digraphs
Published • View Publication • BIB
We prove that a strongly connected balanced bipartite directed graph of order $2a\geq 6$ with partite sets $X$ and $Y$ contains cycles of every length $2, 4, \ldots , 2a$, provided $d(x)+d(y)\geq 3a$ for every pair of vertices $x$, $y$ either both in $X$ or both in $Y$.
2018-01-16 v3
Minimum saturated families of sets
Published in Bulletin of the London Mathematical Society 50.4 (2018), 725-732 • View Publication • BIB
We call a family $\mathcal{F}$ of subsets of $[n]$ $s$-saturated if it contains no $s$ pairwise disjoint sets, and moreover no set can be added to $\mathcal{F}$ while preserving this property (here $[n] = \{1,\ldots,n\}$). More than 40 years ago, Erdős and Kleitman conjectured that an $s$-saturated family of subsets of $[n]$ has size at least $(1 - 2^{-(s-1)})2^n$. It is easy to show that every $s$-saturated family has size at least $\frac{1}{2}\cdot 2^n$, but, as was mentioned by Frankl and Tokushige, even obtaining a slightly better bound of $(1/2 + \varepsilon)2^n$, for some fixed $\varepsilon > 0$, seems difficult. In this note, we prove such a result, showing that every $s$-saturated family of subsets of $[n]$ has size at least $(1 - 1/s)2^n$. This lower bound is a consequence of a multipartite version of the problem, in which we seek a lower bound on $|\mathcal{F}_1| + \ldots + |\mathcal{F}_s|$ where $\mathcal{F}_1, \ldots, \mathcal{F}_s$ are families of subsets of $[n]$, such that there are no $s$ pairwise disjoint sets, one from each family $\mathcal{F}_i$, and furthermore no set can be added to any of the families while preserving this property. We show that $|\mathcal{F}_1| + \ldots + |\mathcal{F}_s| \ge (s-1)\cdot 2^n$, which is tight e.g.\ by taking $\mathcal{F}_1$ to be empty, and letting the remaining families be the families of all subsets of $[n]$.
The method of hypergraph containers
Published • View Publication • BIB
In this survey we describe a recently-developed technique for bounding the number (and controlling the typical structure) of finite objects with forbidden substructures. This technique exploits a subtle clustering phenomenon exhibited by the independent sets of uniform hypergraphs whose edges are sufficiently evenly distributed; more precisely, it provides a relatively small family of 'containers' for the independent sets, each of which contains few edges. We attempt to convey to the reader a general high-level overview of the method, focusing on a small number of illustrative applications in areas such as extremal graph theory, Ramsey theory, additive combinatorics, and discrete geometry, and avoiding technical details as much as possible.
2018-01-12 v2
Graph cover-saturation
Published • View Publication • BIB
Graph $G$ is $F$-saturated if $G$ contains no copy of graph $F$ but any edge added to $G$ produces at least one copy of $F$. One common variant of saturation is to remove the former restriction: $G$ is $F$-semi-saturated if any edge added to $G$ produces at least one new copy of $F$. In this paper we take this idea one step further. Rather than just allowing edges of $G$ to be in a copy of $F$, we require it: $G$ is $F$-covered if every edge of $G$ is in a copy of $F$. It turns out that there is smooth interaction between coverage and semi-saturation, which opens for investigation a natural analogue to saturation numbers. Therefore we present preliminary cover-saturation theory and structural bounds for the cover-saturation numbers of graphs. We also establish asymptotic cover-saturation densities for cliques and paths, and upper and lower bounds (with small gaps) for cycles and stars.
2018-01-11
On the roots of Wiener polynomials of graphs
Published • View Publication • BIB
The Wiener polynomial of a connected graph $G$ is defined as $W(G;x)=\sum x^{d(u,v)}$, where $d(u,v)$ denotes the distance between $u$ and $v$, and the sum is taken over all unordered pairs of distinct vertices of $G$. We examine the nature and location of the roots of Wiener polynomials of graphs, and in particular trees. We show that while the maximum modulus among all roots of Wiener polynomials of graphs of order $n$ is $\binom{n}{2}-1$, the maximum modulus among all roots of Wiener polynomials of trees of order $n$ grows linearly in $n$. We prove that the closure of the collection of real roots of Wiener polynomials of all graphs is precisely $(-\infty, 0]$, while in the case of trees, it contains $(-\infty, -1]$. Finally, we demonstrate that the imaginary parts and (positive) real parts of roots of Wiener polynomials can be arbitrarily large.
Distinguishing density and the Distinct Spheres Condition
Published • View Publication • BIB
If a graph $G$ has distinguishing number 2, then there exists a partition of its vertex set into two parts, such that no nontrivial automorphism of $G$ fixes setwise the two parts. Such a partition is called a 2-distinguishing coloring of $G$, and the parts are called its color classes. If $G$ admits such a coloring, it is often possible to find another in which one of the color classes is sparse in a certain sense. In this case we say that $G$ has 2-distinguishing density zero. An extreme example of this would be an infinite graph admitting a 2-distinguishing coloring in which one of the color classes is finite. If a graph $G$ contains a vertex $v$ such that, for all $n \in \mathbb N$, any two distinct vertices equidistant from $v$ have nonequal $n$-spheres, then we say that $G$ satisfies the Distinct Spheres Condition. In this paper we prove a general result: any countable connected graph that satisfies the Distinct Spheres Condition is 2-distinguishable with density zero. We present two proofs of this, one that uses a deterministic coloring, and another (that applies only to locally finite graphs) using a random coloring. From this result, we deduce that several important families of countably infinite and connected graphs are 2-distinguishable with density zero, including those that are locally finite and primitive. Furthermore, we prove that any connected graph with infinite motion and subquadratic growth is 2-distinguishable with density zero.