arXiv++ Combinatorics

For an integer $r\geqslant 3$, a hypergraph on vertex set $[n]$ is $r$-uniform if each edge is a set of $r$ vertices, and is said to be linear if every two distinct edges share at most one vertex. Given a family $\mathcal{H}$ of linear $r$-uniform hypergraphs,let $Forb_r^L(n,\mathcal{H})$ be the set of linear $r$-uniform hypergraphs on vertex set $[n]$, which does not contain any member from $\mathcal{H}$ as a subgraph. An $r$-uniform linear cycle of length $\ell$, denoted by $C_\ell^r$, is a linear $r$-uniform hypergraph on $(r-1)\ell$ vertices whose edges can be ordered as $\boldsymbol{e}_1,\ldots,\boldsymbol{e}_\ell$ such that $|\boldsymbol{e}_i\cap \boldsymbol{e}_j|=1$ if $j=i\pm 1$ (indices taken modulo $\ell$) and $|\boldsymbol{e}_i\cap \boldsymbol{e}_j|=0$ otherwise. The linear girth of a linear $r$-uniform hypergraph is the smallest integer $\ell$ such that it contains a $C_\ell^r$. Let $Forb_L(n,r,\ell)=Forb_r^L(n,\mathcal{H})$ when $\mathcal{H}=\{C_i^r:\, 3\leqslant i\leqslant \ell\}$, that is, $Forb_L(n,r,\ell)$ is the set of all linear $r$-uniform hypergraphs on $[n]$ with linear girth greater than $\ell$. For integers $r\geqslant 3$ and $\ell\geqslant 4$, Balogh and Li [On the number of linear hypergraphs of large girth, J. Graph Theory, 93(1) (2020), 113-141] showed that $|Forb_L(n,r,\ell)|= 2^{O(n^{1+1/\lfloor \ell/2\rfloor})}$ based on the graph container method. It is natural to obtain $|Forb_L(n,r,\ell)|\geqslant 2^{c\cdot n^{1+1/\ell}}$ for some constant $c$ by probabilistic deletion method. Combined with the known results that $|Forb_L(n,r,3)|= 2^{o (n^{2})}$ and $|Forb_L(n,3,4)|= 2^{Θ(n^{3/2})}$, by analyzing the random greedy high linear girth linear $r$-uniform hypergraph process, we show $|Forb_L(n,r,\ell)|\geqslant 2^{n^{1+1/(\ell-1)-O(\log\log n/\log n)}}$ for every pair of fixed integers $r,\ell\geqslant 4$, or $r= 3$ and $\ell\geqslant 5$.

For a fixed integer $r\geqslant 3$, let $\mathbb{H}_r(n,p)$ be a random $r$-uniform hypergraph on the vertex set $[n]$, where each $r$-set is an edge randomly and independently with probability $p$. The random $r$-generalized triadic process starts with a complete bipartite graph $K_{r-2,n-r+2}$ on the same vertex set, chooses two distinct vertices $x$ and $y$ uniformly at random and iteratively adds $\{x,y\}$ as an edge if there is a subset $Z$ with size $r-2$, denoted as $Z=\{z_1,\cdots,z_{r-2}\}$, such that $\{x,z_i\}$ and $\{y,z_i\}$ for $1\leqslant i\leqslant r-2$ are already edges in the graph and $\{x,y, z_1,\cdots,z_{r-2}\}$ is an edge in $\mathbb{H}_r(n,p)$. The random triadic process is an abbreviation for the random $3$-generalized triadic process. Korándi et al. proved a sharp threshold probability for the propagation of the random triadic process, that is, if $p= cn^{ - \frac 12}$ for some positive constant $c$, with high probability, the triadic process reaches the complete graph when $c> \frac 12$ and stops at $O(n^{\frac 32})$ edges when $c< \frac 12$. In this note, we consider the final size of the random $r$-generalized triadic process when $p=o( n^{- \frac 12}\log^{ α(3-r)} n)$ with a constant $α> \frac 12$. We show that the generated graph of the process essentially behaves like $\mathbb{G}(n,p)$. The final number of added edges in the process, with high probability, equals $ \frac {1}{2}n^{2}p(1\pm o(1))$ provided that $p=ω(n^{-2})$. The results partially complement the ones on the case of $r=3$.

Let $d$ be a positive integer and $x$ a real number. Let $A_{d, x}$ be a $d\times 2d$ matrix with its entries $$ a_{i,j}=\left\{ \begin{array}{ll} x\ \ & \mbox{for} \ 1\leqslant j\leqslant d+1-i, 1\ \ & \mbox{for} \ d+2-i\leqslant j\leqslant d+i, 0\ \ & \mbox{for} \ d+1+i\leqslant j\leqslant 2d. \end{array} \right. $$ Further, let $R_d$ be a set of sequences of integers as follows: $$R_d=\{(ρ_1, ρ_2,\ldots, ρ_d)|1\leqslant ρ_i\leqslant d+i, 1\leqslant i \leqslant d,\ \mbox{and}\ ρ_r\neq ρ_s\ \mbox{for}\ r\neq s\}.$$ and define $$Ω_d(x)=\sum_{ρ\in R_d}a_{1,ρ_1}a_{2, ρ_2}\ldots a_{d,ρ_d}.$$ In order to give a better bound on the size of spheres of permutation codes under the Chebychev distance, Kløve introduced the above function and conjectured that $$Ω_d(x)=\sum_{m=0}^d{d\choose m}(m+1)^d(x-1)^{d-m}.$$ In this paper, we settle down this conjecture positively.

The {\it Randić index} $R(G)$ of a graph $G$ is defined as the sum of 1/\sqrt{d_ud_v} over all edges $uv$ of $G$, where $d_u$ and $d_v$ are the degrees of vertices $u$ and $v,$ respectively. Let $D(G)$ be the diameter of $G$ when $G$ is connected. Aouchiche-Hansen-Zheng conjectured that among all connected graphs $G$ on $n$ vertices the path $P_n$ achieves the minimum values for both $R(G)/D(G)$ and $R(G)- D(G)$. We prove this conjecture completely. In fact, we prove a stronger theorem: If $G$ is a connected graph, then $R(G)-(1/2)D(G)\geq \sqrt{2}-1$, with equality if and only if $G$ is a path with at least three vertices.