scholarly journals TRANSFERENCE FOR THE ERDŐS–KO–RADO THEOREM

2015 ◽  
Vol 3 ◽  
Author(s):  
JÓZSEF BALOGH ◽  
BÉLA BOLLOBÁS ◽  
BHARGAV P. NARAYANAN

For natural numbers $n,r\in \mathbb{N}$ with $n\geqslant r$, the Kneser graph $K(n,r)$ is the graph on the family of $r$-element subsets of $\{1,\ldots ,n\}$ in which two sets are adjacent if and only if they are disjoint. Delete the edges of $K(n,r)$ with some probability, independently of each other: is the independence number of this random graph equal to the independence number of the Kneser graph itself? We shall answer this question affirmatively as long as $r/n$ is bounded away from $1/2$, even when the probability of retaining an edge of the Kneser graph is quite small. This gives us a random analogue of the Erdős–Ko–Rado theorem, since an independent set in the Kneser graph is the same as a uniform intersecting family. To prove our main result, we give some new estimates for the number of disjoint pairs in a family in terms of its distance from an intersecting family; these might be of independent interest.

10.37236/6493 ◽  
2018 ◽  
Vol 25 (4) ◽  
Author(s):  
Ron Aharoni ◽  
Daniel Soltész

Motivated by a question on the maximal number of vertex disjoint Schrijver graphs in the Kneser graph, we investigate the following function, denoted by $f(n,k)$: the maximal number of Hamiltonian cycles on an $n$ element set, such that no two cycles share a common independent set of size more than $k$. We shall mainly be interested in the behavior of $f(n,k)$ when $k$ is a linear function of $n$, namely $k=cn$. We show a threshold phenomenon: there exists a constant $c_t$ such that for $c<c_t$, $f(n,cn)$ is bounded by a constant depending only on $c$ and not on $n$, and for $c_t <c$, $f(n,cn)$ is exponentially large in $n ~(n \to \infty)$. We prove that $0.26 < c_t < 0.36$, but the exact value of $c_t$ is not determined. For the lower bound we prove a technical lemma, which for graphs that are the union of two Hamiltonian cycles establishes a relation between the independence number and the number of $K_4$ subgraphs. A corollary of this lemma is that if a graph $G$ on $n>12$ vertices is the union of  two Hamiltonian cycles and $\alpha(G)=n/4$, then $V(G)$ can be covered by vertex-disjoint $K_4$ subgraphs.


2017 ◽  
Vol 09 (02) ◽  
pp. 1750023 ◽  
Author(s):  
Nacéra Meddah ◽  
Mustapha Chellali

A Roman dominating function (RDF) on a graph [Formula: see text] is a function [Formula: see text] satisfying the condition that every vertex [Formula: see text] with [Formula: see text] is adjacent to at least one vertex [Formula: see text] of [Formula: see text] for which [Formula: see text]. The weight of a RDF is the sum [Formula: see text], and the minimum weight of a RDF [Formula: see text] is the Roman domination number [Formula: see text]. A subset [Formula: see text] of [Formula: see text] is a [Formula: see text]-independent set of [Formula: see text] if every vertex of [Formula: see text] has at most one neighbor in [Formula: see text] The maximum cardinality of a [Formula: see text]-independent set of [Formula: see text] is the [Formula: see text]-independence number [Formula: see text] Both parameters are incomparable in general, however, we show that if [Formula: see text] is a tree, then [Formula: see text]. Moreover, all extremal trees attaining equality are characterized.


10.37236/5309 ◽  
2016 ◽  
Vol 23 (3) ◽  
Author(s):  
Daniel W. Cranston ◽  
Landon Rabern

The 4 Color Theorem (4CT) implies that every $n$-vertex planar graph has an independent set of size at least $\frac{n}4$; this is best possible, as shown by the disjoint union of many copies of $K_4$.  In 1968, Erdős asked whether this bound on independence number could be proved more easily than the full 4CT. In 1976 Albertson showed (independently of the 4CT) that every $n$-vertex planar graph has an independent set of size at least $\frac{2n}9$. Until now, this remained the best bound independent of the 4CT. Our main result improves this bound to $\frac{3n}{13}$.


1978 ◽  
Vol 43 (3) ◽  
pp. 430-441 ◽  
Author(s):  
J. Remmel

In [4], Metakides and Nerode define a recursively presented vector space V∞. over a (finite or infinite) recursive field F to consist of a recursive subset U of the natural numbers N and operations of vector addition and scalar multiplication which are partial recursive and under which V∞ becomes a vector space. Throughout this paper, we will identify V∞ with N, say via some fixed Gödel numbering, and assume V∞ is infinite dimensional and has a dependence algorithm, i.e., there is a uniform effective procedure which determines whether any given n-tuple v0, …, vn−1 from V∞ is linearly dependent. Given a subspace W of V∞, we write dim(W) for the dimension of W. Given subspaces V and W of V∞, V + W will denote the weak sum of V and W and if V ∩ W = {0) (where 0 is the zero vector of V∞), we write V ⊕ W instead of V + W. If W ⊇ V, we write W mod V for the quotient space. An independent set A ⊆ V∞ is extendible if there is a r.e. independent set I ⊇ A such that I − A is infinite and A is nonextendible if it is not the case that A is extendible.


2020 ◽  
Vol 29 (5) ◽  
pp. 698-721
Author(s):  
Tao Jiang ◽  
Liana Yepremyan

AbstractA classical result of Erdős and, independently, of Bondy and Simonovits [3] says that the maximum number of edges in an n-vertex graph not containing C2k, the cycle of length 2k, is O(n1+1/k). Simonovits established a corresponding supersaturation result for C2k’s, showing that there exist positive constants C,c depending only on k such that every n-vertex graph G with e(G)⩾ Cn1+1/k contains at least c(e(G)/v(G))2k copies of C2k, this number of copies tightly achieved by the random graph (up to a multiplicative constant).In this paper we extend Simonovits' result to a supersaturation result of r-uniform linear cycles of even length in r-uniform linear hypergraphs. Our proof is self-contained and includes the r = 2 case. As an auxiliary tool, we develop a reduction lemma from general host graphs to almost-regular host graphs that can be used for other supersaturation problems, and may therefore be of independent interest.


2019 ◽  
Vol 28 (06) ◽  
pp. 826-839
Author(s):  
David Ellis ◽  
Noam Lifshitz

AbstractA family of sets is said to be intersecting if any two sets in the family have non-empty intersection. In 1973, Erdős raised the problem of determining the maximum possible size of a union of r different intersecting families of k-element subsets of an n-element set, for each triple of integers (n, k, r). We make progress on this problem, proving that for any fixed integer r ⩾ 2 and for any $$k \le ({1 \over 2} - o(1))n$$, if X is an n-element set, and $${\cal F} = {\cal F}_1 \cup {\cal F}_2 \cup \cdots \cup {\cal F}_r $$, where each $$ {\cal F}_i $$ is an intersecting family of k-element subsets of X, then $$|{\cal F}| \le \left( {\matrix{n \cr k \cr } } \right) - \left( {\matrix{{n - r} \cr k \cr } } \right)$$, with equality only if $${\cal F} = \{ S \subset X:|S| = k,\;S \cap R \ne \emptyset \} $$ for some R ⊂ X with |R| = r. This is best possible up to the size of the o(1) term, and improves a 1987 result of Frankl and Füredi, who obtained the same conclusion under the stronger hypothesis $$k &#x003C; (3 - \sqrt 5 )n/2$$, in the case r = 2. Our proof utilizes an isoperimetric, influence-based method recently developed by Keller and the authors.


2006 ◽  
Vol 93 (3) ◽  
pp. 545-569 ◽  
Author(s):  
IMRE LEADER ◽  
PAUL A. RUSSELL

Our aim in this paper is to prove Deuber's conjecture on sparse partition regularity, that for every $m$, $p$ and $c$ there exists a subset of the natural numbers whose $(m,p,c)$-sets have high girth and chromatic number. More precisely, we show that for any $m$, $p$, $c$, $k$ and $g$ there is a subset $S$ of the natural numbers that is sufficiently rich in $(m,p,c)$-sets that whenever $S$ is $k$-coloured there is a monochromatic $(m,p,c)$-set, yet is so sparse that its $(m,p,c)$-sets do not form any cycles of length less than $g$.Our main tools are some extensions of Nešetřil–Rödl amalgamation and a Ramsey theorem of Bergelson, Hindman and Leader. As a sideline, we obtain a Ramsey theorem for products of trees that may be of independent interest.


2018 ◽  
Vol 10 (05) ◽  
pp. 1850069
Author(s):  
Nader Jafari Rad ◽  
Elahe Sharifi

The independence number of a graph [Formula: see text], denoted by [Formula: see text], is the maximum cardinality of an independent set of vertices in [Formula: see text]. [Henning and Löwenstein An improved lower bound on the independence number of a graph, Discrete Applied Mathematics  179 (2014) 120–128.] proved that if a connected graph [Formula: see text] of order [Formula: see text] and size [Formula: see text] does not belong to a specific family of graphs, then [Formula: see text]. In this paper, we strengthen the above bound for connected graphs with maximum degree at least three that have a non-cut-vertex of maximum degree. We show that if a connected graph [Formula: see text] of order [Formula: see text] and size [Formula: see text] has a non-cut-vertex of maximum degree then [Formula: see text], where [Formula: see text] is the maximum degree of the vertices of [Formula: see text]. We also characterize all connected graphs [Formula: see text] of order [Formula: see text] and size [Formula: see text] that have a non-cut-vertex of maximum degree and [Formula: see text].


1992 ◽  
Vol 1 (1) ◽  
pp. 35-52 ◽  
Author(s):  
Tomasz Łuczak ◽  
Boris Pittel

A forest ℱ(n, M) chosen uniformly from the family of all labelled unrooted forests with n vertices and M edges is studied. We show that, like the Érdős-Rényi random graph G(n, M), the random forest exhibits three modes of asymptotic behaviour: subcritical, nearcritical and supercritical, with the phase transition at the point M = n/2. For each of the phases, we determine the limit distribution of the size of the k-th largest component of ℱ(n, M). The similarity to the random graph is far from being complete. For instance, in the supercritical phase, the giant tree in ℱ(n, M) grows roughly two times slower than the largest component of G(n, M) and the second largest tree in ℱ(n, M) is of the order n⅔ for every M = n/2 +s, provided that s3n−2 → ∞ and s = o(n), while its counterpart in G(n, M) is of the order n2s−2 log(s3n−2) ≪ n⅔.


2011 ◽  
Vol 22 (05) ◽  
pp. 1187-1195 ◽  
Author(s):  
AYSUN AYTAC ◽  
TUFAN TURACI

For a vertex v of a graph G = (V,E), the independent domination number (also called the lower independence number) iv(G) of G relative to v is the minimum cardinality of a maximal independent set in G that contains v. The average lower independence number of G is [Formula: see text]. In this paper, this parameter is defined and examined, also the average lower independence number of gear graphs is considered. Then, an algorithm for the average lower independence number of any graph is offered.


Sign in / Sign up

Export Citation Format

Share Document