arXiv++ Combinatorics

Assuming that Brouwers Conjecture the upper bound for the sum of t< n largest eigenvalues of Laplacian graph on n vertices true for n <n_0, we prove the Brouwers Conjecture BC for n > n_0 for some fixed n_0

We prove the Aharoni Berger Conjecture

Using original {\it Symmetrical Smoothing Method} we solve $(3,k)$- hypergraph Turan problem

We prove the conjecture about the probability that Pn of Bernulli +- 1 square matrix to be singular and asymptotic expansion of Pn.

In this paper we prove Ahlswede- Khachatrian conjecture~\cite{1} up to finite number of cases, which can be checked using modern computers. From this conjecture follows conjecture from~\cite{2} and Manickam-Miklós-Singhi conjecture. This paper is combined from papers~\cite{09},~\cite{08}.

The main issues of the original Symmetrical smoothing method consists of approximation of the extremal volume of the set by the smooth symmetric function (sum of step functions) and then solve the optimization problem. when making optimization, besides symmetric solution, can occur another pretendents for the solution, which depends on $σ$. Next we show simple way how to avoid them.

We prove Union-Closed sets conjecture.

A hypergraph is simple if it has no loops and no repeated edges, and a hypergraph is linear if it is simple and each pair of edges intersects in at most one vertex. For $n\geq 3$, let $r= r(n)\geq 3$ be an integer and let $\boldsymbol{k} = (k_1,\ldots, k_n)$ be a vector of nonnegative integers, where each $k_j = k_j(n)$ may depend on $n$. Let $M = M(n) = \sum_{j=1}^n k_j$ for all $n\geq 3$, and define the set $\mathcal{I} = \{ n\geq 3 \mid r(n) \text{ divides } M(n)\}$. We assume that $\mathcal{I}$ is infinite, and perform asymptotics as $n$ tends to infinity along $\mathcal{I}$. Our main result is an asymptotic enumeration formula for linear $r$-uniform hypergraphs with degree sequence $\boldsymbol{k}$. This formula holds whenever the maximum degree $k_{\max}$ satisfies $r^4 k_{\max}^4(k_{\max} + r) = o(M)$. Our approach is to work with the incidence matrix of a hypergraph, interpreted as the biadjacency matrix of a bipartite graph, enabling us to apply known enumeration results for bipartite graphs. This approach also leads to a new asymptotic enumeration formula for simple uniform hypergraphs with specified degrees, and a result regarding the girth of random bipartite graphs with specified degrees.

We find the formula for the maximal cardinality of the family of $n$-tuples from ${[n]\choose k}$ with does not have $\ell$--matching. This formula after some analytical issues can be reduce to the Erdös's Matching formula. Also we prove the conjecture about the cardinality of maximal $s$-wise $t$-intersecting family of $k$-element subsets of $[n]$. In the proofs we use original method which we have already used in the proof of Miklós-Manikam-Singhi conjecture in \cite{1}. We call this method Symmetrical smoothing method, we add small corrections

We find the exact formula for the minimal number of edges of hypergraph which guaranteed fractional matching of cardinality $s$ in the case when $sn$ is integer.

We prove Ahlswede- Khachatrian conjecture. From this conjecture follows of several other conjectures including Manickam-Miklós-Singhi conjecture.

We prove the complete intersection theorem and complete nontrivial-intersection theorem for systems of set partitions

Let $r \geq 2$ be a fixed integer. For infinitely many $n$, let $\boldsymbol{k} = (k_1,..., k_n)$ be a vector of nonnegative integers such that their sum $M$ is divisible by $r$. We present an asymptotic enumeration formula for simple $r$-uniform hypergraphs with degree sequence $k$. (Here "simple" means that all edges are distinct and no edge contains a repeated vertex.) Our formula holds whenever the maximum degree $k_{\mathrm{max}}$ satisfies $k_{\mathrm{max}}^3 = o(M)$.

We prove two conjectures on correlation inequalities for functions that are linear combinations of unimodal Boolean monotone nondecreasing functions

We prove that maximal cardinality of the Sidon set from $[n]$ exceeds $\sqrt{n}

We prove the Complete nontrivial cycle-intersection theorem for systems of permutations.