• Bulletin of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.569-583
• /
• 2019

Given a graph G, the Motzkin and Straus formulation of the maximum clique problem is the quadratic program (QP) formed from the adjacent matrix of the graph G over the standard simplex. It is well-known that the global optimum value of this QP (called Lagrangian) corresponds to the clique number of a graph. It is useful in practice if similar results hold for hypergraphs. In this paper, we attempt to explore the relationship between the Lagrangian of a hypergraph and the order of its maximum cliques when the number of edges is in a certain range. Specifically, we obtain upper bounds for the Lagrangian of a hypergraph when the number of edges is in a certain range. These results further support a conjecture introduced by Y. Peng and C. Zhao (2012) and extend a result of J. Talbot (2002). We also establish an upper bound of the clique number in terms of Lagrangians for hypergraphs.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.1037-1067
• /
• 2017

Motzkin and Straus established a close connection between the maximum clique problem and a solution (namely graph-Lagrangian) to the maximum value of a class of homogeneous quadratic multilinear functions over the standard simplex of the Euclidean space in 1965. This connection and its extensions were successfully employed in optimization to provide heuristics for the maximum clique problem in graphs. It is useful in practice if similar results hold for hypergraphs. In this paper, we develop a homogeneous multilinear function based on the structure of hypergraphs and their complement hypergraphs. Its maximum value generalizes the graph-Lagrangian. Specifically, we establish a connection between the clique number and the generalized graph-Lagrangian of 3-uniform graphs, which supports the conjecture posed in this paper.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.1027-1039
• /
• 2019

The concept of jump concerns the distribution of $Tur{\acute{a}}n$ densities. A number ${\alpha}\;{\in}\;[0,1)$ is a jump for r if there exists a constant c > 0 such that if the $Tur{\acute{a}}n$ density of a family $\mathfrak{F}$ of r-uniform graphs is greater than ${\alpha}$, then the $Tur{\acute{a}}n$ density of $\mathfrak{F}$ is at least ${\alpha}+c$. To determine whether a number is a jump or non-jump has been a challenging problem in extremal hypergraph theory. In this paper, we give a way to generate non-jumps for hypergraphs. We show that if ${\alpha}$, ${\beta}$ are non-jumps for $r_1$, $r_2{\geq}2$ respectively, then $\frac{{\alpha}{\beta}(r_1+r_2)!r_1^{r_1}r_2^{r_2}}{r_1!r_2!(r_1+R_2)^{r_1+r_2}}$ is a non-jump for $r_1+r_2$. We also apply the Lagrangian method to determine the $Tur{\acute{a}}n$ density of the extension of the (r - 3)-fold enlargement of a 3-uniform matching.