scholarly journals Erdős–Ko–Rado for Random Hypergraphs: Asymptotics and Stability

2017 ◽  
Vol 26 (3) ◽  
pp. 406-422
Author(s):  
MARCELO M. GAUY ◽  
HIÊP HÀN ◽  
IGOR C. OLIVEIRA

We investigate the asymptotic version of the Erdős–Ko–Rado theorem for the random k-uniform hypergraph $\mathcal{H}$k(n, p). For 2⩽k(n) ⩽ n/2, let $N=\binom{n}k$ and $D=\binom{n-k}k$. We show that with probability tending to 1 as n → ∞, the largest intersecting subhypergraph of $\mathcal{H}$ has size $$(1+o(1))p\ffrac kn N$$ for any $$p\gg \ffrac nk\ln^2\biggl(\ffrac nk\biggr)D^{-1}.$$ This lower bound on p is asymptotically best possible for k = Θ(n). For this range of k and p, we are able to show stability as well.A different behaviour occurs when k = o(n). In this case, the lower bound on p is almost optimal. Further, for the small interval D−1 ≪ p ⩽ (n/k)1−ϵD−1, the largest intersecting subhypergraph of $\mathcal{H}$k(n, p) has size Θ(ln(pD)ND−1), provided that $k \gg \sqrt{n \ln n}$.Together with previous work of Balogh, Bohman and Mubayi, these results settle the asymptotic size of the largest intersecting family in $\mathcal{H}$k, for essentially all values of p and k.

2014 ◽  
Vol 24 (4) ◽  
pp. 658-679 ◽  
Author(s):  
JÓZSEF BALOGH ◽  
PING HU ◽  
BERNARD LIDICKÝ ◽  
OLEG PIKHURKO ◽  
BALÁZS UDVARI ◽  
...  

We show that for every sufficiently largen, the number of monotone subsequences of length four in a permutation onnpoints is at least\begin{equation*} \binom{\lfloor{n/3}\rfloor}{4} + \binom{\lfloor{(n+1)/3}\rfloor}{4} + \binom{\lfloor{(n+2)/3}\rfloor}{4}. \end{equation*}Furthermore, we characterize all permutations on [n] that attain this lower bound. The proof uses the flag algebra framework together with some additional stability arguments. This problem is equivalent to some specific type of edge colourings of complete graphs with two colours, where the number of monochromaticK4is minimized. We show that all the extremal colourings must contain monochromaticK4only in one of the two colours. This translates back to permutations, where all the monotone subsequences of length four are all either increasing, or decreasing only.


2015 ◽  
Vol 158 (3) ◽  
pp. 419-437 ◽  
Author(s):  
BAO-WEI WANG ◽  
JUN WU ◽  
JIAN XU

AbstractWe generalise the mass transference principle established by Beresnevich and Velani to limsup sets generated by rectangles. More precisely, let {xn}n⩾1 be a sequence of points in the unit cube [0, 1]d with d ⩾ 1 and {rn}n⩾1 a sequence of positive numbers tending to zero. Under the assumption of full Lebesgue measure theoretical statement of the set \begin{equation*}\big\{x\in [0,1]^d: x\in B(x_n,r_n), \ {{\rm for}\, {\rm infinitely}\, {\rm many}}\ n\in \mathbb{N}\big\},\end{equation*} we determine the lower bound of the Hausdorff dimension and Hausdorff measure of the set \begin{equation*}\big\{x\in [0,1]^d: x\in B^{a}(x_n,r_n), \ {{\rm for}\, {\rm infinitely}\, {\rm many}}\ n\in \mathbb{N}\big\},\end{equation*} where a = (a1, . . ., ad) with 1 ⩽ a1 ⩽ a2 ⩽ . . . ⩽ ad and Ba(x, r) denotes a rectangle with center x and side-length (ra1, ra2,. . .,rad). When a1 = a2 = . . . = ad, the result is included in the setting considered by Beresnevich and Velani.


2017 ◽  
Vol 27 (3) ◽  
pp. 358-386 ◽  
Author(s):  
CLAYTON COLLIER-CARTAINO ◽  
NATHAN GRABER ◽  
TAO JIANG

Anr-uniform hypergraph is called anr-graph. A hypergraph islinearif every two edges intersect in at most one vertex. Given a linearr-graphHand a positive integern, thelinear Turán numberexL(n,H) is the maximum number of edges in a linearr-graphGthat does not containHas a subgraph. For each ℓ ≥ 3, letCrℓdenote ther-uniform linear cycle of length ℓ, which is anr-graph with edgese1, . . .,eℓsuch that, for alli∈ [ℓ−1], |ei∩ei+1|=1, |eℓ∩e1|=1 andei∩ej= ∅ for all other pairs {i,j},i≠j. For allr≥ 3 and ℓ ≥ 3, we show that there exists a positive constantc=cr,ℓ, depending onlyrand ℓ, such that exL(n,Crℓ) ≤cn1+1/⌊ℓ/2⌋. This answers a question of Kostochka, Mubayi and Verstraëte [30]. For even ℓ, our result extends the result of Bondy and Simonovits [7] on the Turán numbers of even cycles to linear hypergraphs.Using our results on linear Turán numbers, we also obtain bounds on the cycle-complete hypergraph Ramsey numbers. We show that there are positive constantsa=am,randb=bm,r, depending only onmandr, such that\begin{equation} R(C^r_{2m}, K^r_t)\leq a \Bigl(\frac{t}{\ln t}\Bigr)^{{m}/{(m-1)}} \quad\text{and}\quad R(C^r_{2m+1}, K^r_t)\leq b t^{{m}/{(m-1)}}. \end{equation}


2013 ◽  
Vol 22 (3) ◽  
pp. 342-345 ◽  
Author(s):  
CHRISTOPH AISTLEITNER

In a paper published in this journal, Alon, Kohayakawa, Mauduit, Moreira and Rödl proved that the minimal possible value of the normality measure of an N-element binary sequence satisfies \begin{equation*} \biggl( \frac{1}{2} + o(1) \biggr) \log_2 N \leq \min_{E_N \in \{0,1\}^N} \mathcal{N}(E_N) \leq 3 N^{1/3} (\log N)^{2/3} \end{equation*} for sufficiently large N, and conjectured that the lower bound can be improved to some power of N. In this note it is observed that a construction of Levin of a normal number having small discrepancy gives a construction of a binary sequence EN with (EN) = O((log N)2), thus disproving the conjecture above.


2013 ◽  
Vol 22 (2) ◽  
pp. 241-252 ◽  
Author(s):  
ALEX EUSTIS ◽  
JACQUES VERSTRAËTE

Apartial Steiner (n,r,l)-systemis anr-uniform hypergraph onnvertices in which every set oflvertices is contained in at most one edge. A partial Steiner (n,r,l)-system iscompleteif every set oflvertices is contained in exactly one edge. In a hypergraph, the independence number α() denotes the maximum size of a set of vertices incontaining no edge. In this article we prove the following. Given integersr,lsuch thatr≥ 2l− 1 ≥ 3, we prove that there exists a partial Steiner (n,r,l)-systemsuch that$$\alpha(\HH) \lesssim \biggl(\frac{l-1}{r-1}(r)_l\biggr)^{\frac{1}{r-1}}n^{\frac{r-l}{r-1}} (\log n)^{\frac{1}{r-1}} \quad \mbox{ as }n \rightarrow \infty.$$This improves earlier results of Phelps and Rödl, and Rödl and Ŝinajová. We conjecture that it is best possible as it matches the independence number of a randomr-uniform hypergraph of the same density. Ifl= 2 orl= 3, then for infinitely manyrthe partial Steiner systems constructed are complete for infinitely manyn.


2016 ◽  
Vol 164 (1) ◽  
pp. 147-178 ◽  
Author(s):  
COLIN ADAMS ◽  
ORSOLA CAPOVILLA-SEARLE ◽  
JESSE FREEMAN ◽  
DANIEL IRVINE ◽  
SAMANTHA PETTI ◽  
...  

AbstractA multi-crossing (or n-crossing) is a singular point in a projection of a knot or link at which n strands cross so that each strand bisects the crossing. We generalise the classic result of Kauffman, Murasugi and Thistlethwaite relating the span of the bracket polynomial to the double-crossing number of a link, span〈K〉 ⩽ 4c2, to the n-crossing number. We find the following lower bound on the n-crossing number in terms of the span of the bracket polynomial for any n ⩾ 3: $$\text{span} \langle K \rangle \leq \left(\left\lfloor\frac{n^2}{2}\right\rfloor + 4n - 8\right) c_n(K).$$ We also explore n-crossing additivity under composition, and find that for n ⩾ 4 there are examples of knots K1 and K2 such that cn(K1#K2) = cn(K1) + cn(K2) − 1. Further, we present the the first extensive list of calculations of n-crossing numbers of knots. Finally, we explore the monotonicity of the sequence of n-crossings of a knot, which we call the crossing spectrum.


2018 ◽  
Vol 27 (5) ◽  
pp. 741-762 ◽  
Author(s):  
OLIVER COOLEY ◽  
MIHYUN KANG ◽  
YURY PERSON

In this paper we considerj-tuple-connected components in randomk-uniform hypergraphs (thej-tuple-connectedness relation can be defined by letting twoj-sets be connected if they lie in a common edge and considering the transitive closure; the casej= 1 corresponds to the common notion of vertex-connectedness). We show that the existence of aj-tuple-connected component containing Θ(nj)j-sets undergoes a phase transition and show that the threshold occurs at edge probability$$\frac{(k-j)!}{\binom{k}{j}-1}n^{j-k}.$$Our proof extends the recent short proof for the graph case by Krivelevich and Sudakov, which makes use of a depth-first search to reveal the edges of a random graph.Our main original contribution is abounded degree lemma, which controls the structure of the component grown in the search process.


10.37236/7712 ◽  
2019 ◽  
Vol 26 (3) ◽  
Author(s):  
Oliver Cooley ◽  
Mihyun Kang ◽  
Christoph Koch

We consider connected components in $k$-uniform hypergraphs for the following notion of connectedness: given integers $k\ge 2$ and $1\le j \le k-1$, two $j$-sets (of vertices) lie in the same $j$-component if there is a sequence of edges from one to the other such that consecutive edges intersect in at least $j$ vertices.We prove that certain collections of $j$-sets constructed during a breadth-first search process on $j$-components in a random $k$-uniform hypergraph are reasonably regularly distributed with high probability. We use this property to provide a short proof of the asymptotic size of the giant $j$-component shortly after it appears.


2016 ◽  
Vol 26 (1) ◽  
pp. 52-67 ◽  
Author(s):  
J. ROBERT JOHNSON ◽  
TREVOR PINTO

We say a graph is (Qn,Qm)-saturatedif it is a maximalQm-free subgraph of then-dimensional hypercubeQn. A graph is said to be (Qn,Qm)-semi-saturatedif it is a subgraph ofQnand adding any edge forms a new copy ofQm. The minimum number of edges a (Qn,Qm)-saturated graph (respectively (Qn,Qm)-semi-saturated graph) can have is denoted by sat(Qn,Qm) (respectivelys-sat(Qn,Qm)). We prove that$$ \begin{linenomath} \lim_{n\to\infty}\ffrac{\sat(Q_n,Q_m)}{e(Q_n)}=0, \end{linenomath}$$for fixedm, disproving a conjecture of Santolupo that, whenm=2, this limit is 1/4. Further, we show by a different method that sat(Qn,Q2)=O(2n), and thats-sat(Qn,Qm)=O(2n), for fixedm. We also prove the lower bound$$ \begin{linenomath} \ssat(Q_n,Q_m)\geq \ffrac{m+1}{2}\cdot 2^n, \end{linenomath}$$thus determining sat(Qn,Q2) to within a constant factor, and discuss some further questions.


2017 ◽  
Vol 27 (2) ◽  
pp. 245-273 ◽  
Author(s):  
ANDREY KUPAVSKII ◽  
DMITRY SHABANOV

This paper deals with a combinatorial problem concerning colourings of uniform hypergraphs with large girth. We prove that ifHis ann-uniform non-r-colourable simple hypergraph then its maximum edge degree Δ(H) satisfies the inequality$$ \Delta(H)\geqslant c\cdot r^{n-1}\ffrac{n(\ln\ln n)^2}{\ln n} $$for some absolute constantc> 0.As an application of our probabilistic technique we establish a lower bound for the classical van der Waerden numberW(n, r), the minimum naturalNsuch that in an arbitrary colouring of the set of integers {1,. . .,N} withrcolours there exists a monochromatic arithmetic progression of lengthn. We prove that$$ W(n,r)\geqslant c\cdot r^{n-1}\ffrac{(\ln\ln n)^2}{\ln n}. $$


Sign in / Sign up

Export Citation Format

Share Document