Lagrangian Densities of 4-Uniform Matchings and Degree Stability of Extremal Hypergraphs
Zilong Yan,Yuejian Peng
DOI: https://doi.org/10.1016/j.disc.2024.114235
IF: 0.961
2025-01-01
Discrete Mathematics
Abstract:The Lagrangian density of an r-uniform graph F is pi(lambda)(F)) = sup{r!lambda(G) { r ! lambda( G ) : G is F-free}, free } , where lambda(G) G ) is the Lagrangian of an r-uniform graph G . Hypergraph Lagrangian has been a helpful tool in extremal combinatorics. Let M t r denote the r-uniform matching with size t . The well-known Erdos Matching conjecture proposed that the Turan number of M-t (R) is max {e (Kt(rr-1 (R)) , e(Str-1(n))}, (Str-1 (n )) } , where Ktr-1 (r) is the complete r-graph on rt - 1 vertices and St - 1 (R) ( n ) is the r-graph with vertex set [ n ] and with edge set E(Str-1(n)) ( S-t - 1(r) ( n )) = { e is an element of ([n]) [ n ] ) : r |e boolean AND[t-1]| e boolean AND[ t - 1 ]| >= 1}. } . Regarding Lagrangian density of hypergraph matchings, Jiang, Peng and Wu [22] (Wu [34] as well) conjectured that the property similar to Erdos Matching Conjecture holds, precisely, they conjectured that pi lambda(M-t (R)) lambda ( M-t (R) ) = max { r ! lambda( Ktr - 1 (R) ), r ! limn ->infinity lambda(Str-1)(n)}. n ->infinity lambda( Str - 1 )( n ) } . Hefetz and Keevash [18] confirmed for M-2(3) , Jiang, Peng and Wu [22] confirmed for M-t(3) , Wu, Peng and Chen [35] confirmed for M-2(4) , Bene Watts, Norin and Yepremyan [2] confirmed for M 2 r for r >= 4, Wu [34] confirmed for M-3(4) . In this paper, we show that pi lambda(Mt4) lambda ( M t 4 ) =4!lambda(K44t-1) 4 ! lambda( K-4 t - 1(4) ) if t >= 4, this settles the conjecture for M-t(4) . Our result has also interesting applications. Combining our result and Theorem 1.12 in [26] by Liu, Mubayi and Reiher, we can obtain the Tur & aacute;n density of the extension of M t 4 (t t >= 4) and the degree stability (a stability stronger than the edge stability) of extremal hypergraphs. Combining our result and Theorem 1.4 in [24] by Keevash, Lenz and Mubayi [24], we can also obtain that if G is an M t 4-free 4-uniform hypergraph with n vertices, then the alpha-spectral radius of G is no more than the alpha-spectral radius of K 4 4t-1if t - 1 if alpha >1, 1, n is large enough and t >= 4. Indeed, for hypergraphs satisfying the conditions in Theorem 1.12 by Liu, Mubayi and Reiher [26] or Theorem 1.4 in [24] by Keevash, Lenz and Mubayi, to obtain the degree stability of corresponding extremal hypergraphs or corresponding alpha-spectral results, it is sufficient to determine the Lagrangian densities of corresponding hypergraphs. These connections add more motivations to determine Lagrangian densities of hypergraphs. (c) 2024 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.