The extremal spectral radii of kk-uniform supertrees

In this paper, we study some extremal problems of three kinds of spectral radii of $k$-uniform hypergraphs (the adjacency spectral radius, the signless Laplacian spectral radius and the incidence $Q$-spectral radius). We call a connected and acyclic $k$-uniform hypergraph a supertree. We introduce the operation of "moving edges" for hypergraphs, together with the two special cases of this operation: the edge-releasing operation and the total grafting operation. By studying the perturbation of these kinds of spectral radii of hypergraphs under these operations, we prove that for all these three kinds of spectral radii, the hyperstar $\mathcal{S}_{n,k}$ attains uniquely the maximum spectral radius among all $k$-uniform supertrees on $n$ vertices. We also determine the unique $k$-uniform supertree on $n$ vertices with the second largest spectral radius (for these three kinds of spectral radii). We also prove that for all these three kinds of spectral radii, the loose path $\mathcal{P}_{n,k}$ attains uniquely the minimum spectral radius among all $k$-th power hypertrees of $n$ vertices. Some bounds on the incidence $Q$-spectral radius are given. The relation between the incidence $Q$-spectral radius and the spectral radius of the matrix product of the incidence matrix and its transpose is discussed

Spectral Properties of Oriented Hypergraphs

An oriented hypergraph is a hypergraph where each vertex-edge incidence is given a label of $+1$ or $-1$. The adjacency and Laplacian eigenvalues of an oriented hypergraph are studied. Eigenvalue bounds for both the adjacency and Laplacian matrices of an oriented hypergraph which depend on structural parameters of the oriented hypergraph are found. An oriented hypergraph and its incidence dual are shown to have the same nonzero Laplacian eigenvalues. A family of oriented hypergraphs with uniformally labeled incidences is also studied. This family provides a hypergraphic generalization of the signless Laplacian of a graph and also suggests a natural way to define the adjacency and Laplacian matrices of a hypergraph. Some results presented generalize both graph and signed graph results to a hypergraphic setting.Comment: For the published version of the article see http://repository.uwyo.edu/ela/vol27/iss1/24

Extremal problems for the p-spectral radius of graphs

The $p$-spectral radius of a graph $G\$of order $n$ is defined for any real number $p\geq1$ as $$\lambda^{\left( p\right) }\left( G\right) =\max\left\{ 2\sum_{\{i,j\}\in E\left( G\right) \ }x_{i}x_{j}:x_{1},\ldots,x_{n}\in\mathbb{R}\text{ and }\left\vert x_{1}\right\vert ^{p}+\cdots+\left\vert x_{n}\right\vert ^{p}=1\right\} .$$ The most remarkable feature of $\lambda^{\left( p\right) }$ is that it seamlessly joins several other graph parameters, e.g., $\lambda^{\left( 1\right) }$ is the Lagrangian, $\lambda^{\left( 2\right) }$ is the spectral radius and $\lambda^{\left( \infty\right) }/2$ is the number of edges. This paper presents solutions to some extremal problems about $\lambda^{\left( p\right) }$, which are common generalizations of corresponding edge and spectral extremal problems. Let $T_{r}\left( n\right)$ be the $r$-partite Tur\'{a}n graph of order $n.$ Two of the main results in the paper are: (I) Let $r\geq2$ and $p>1.$ If $G$ is a $K_{r+1}$-free graph of order $n,$ then $$\lambda^{\left( p\right) }\left( G\right) <\lambda^{\left( p\right) }\left( T_{r}\left( n\right) \right) ,$$ unless $G=T_{r}\left( n\right) .$ (II) Let $r\geq2$ and $p>1.$ If $G\$is a graph of order $n,$ with $$\lambda^{\left( p\right) }\left( G\right) >\lambda^{\left( p\right) }\left( T_{r}\left( n\right) \right) ,$$ then $G$ has an edge contained in at least $cn^{r-1}$ cliques of order $r+1,$ where $c$ is a positive number depending only on $p$ and $r.$Comment: 21 pages. Some minor corrections in v

Intersecting families of discrete structures are typically trivial

The study of intersecting structures is central to extremal combinatorics. A family of permutations $\mathcal{F} \subset S_n$ is \emph{$t$-intersecting} if any two permutations in $\mathcal{F}$ agree on some $t$ indices, and is \emph{trivial} if all permutations in $\mathcal{F}$ agree on the same $t$ indices. A $k$-uniform hypergraph is \emph{$t$-intersecting} if any two of its edges have $t$ vertices in common, and \emph{trivial} if all its edges share the same $t$ vertices. The fundamental problem is to determine how large an intersecting family can be. Ellis, Friedgut and Pilpel proved that for $n$ sufficiently large with respect to $t$, the largest $t$-intersecting families in $S_n$ are the trivial ones. The classic Erd\H{o}s--Ko--Rado theorem shows that the largest $t$-intersecting $k$-uniform hypergraphs are also trivial when $n$ is large. We determine the \emph{typical} structure of $t$-intersecting families, extending these results to show that almost all intersecting families are trivial. We also obtain sparse analogues of these extremal results, showing that they hold in random settings. Our proofs use the Bollob\'as set-pairs inequality to bound the number of maximal intersecting families, which can then be combined with known stability theorems. We also obtain similar results for vector spaces.Comment: 19 pages. Update 1: better citation of the Gauy--H\`an--Oliveira result. Update 2: corrected statement of the unpublished Hamm--Kahn result, and slightly modified notation in Theorem 1.6 Update 3: new title, updated citations, and some minor correction

Some extremal problems for hereditary properties of graphs

This note answers extremal questions like: what is the maximum number of edges in a graph of order n, which belongs to some hereditary property. The same question is answered also for the spectral radius and other similar parameters