Related papers: The feasible region of hypergraphs

Given a graph $F$, an $r$-uniform hypergraph $\mathcal{H}$ is a {\em Berge-$F$} if there is a bijection $\phi:E(F)\to E(\mathcal{H})$ such that $e\subseteq \phi(e)$ for each $e\in E(F)$. Given a family $\mathcal{F}$ of $r$-uniform…

Given $\varepsilon>0$, there exists $f_0$ such that, if $f_0 \le f \le \Delta^2+1$, then for any graph $G$ on $n$ vertices of maximum degree $\Delta$ in which the neighbourhood of every vertex in $G$ spans at most $\Delta^2/f$ edges, (i) an…

By using Thurston's bending construction we obtain a sequence of faithful discrete representations \rho _n of the fundamental group of a closed hyperbolic 3-manifold fibering over the circle into the isometry group Iso H^4 of the hyperbolic…

Let $S=\{n_1,n_2,...,n_t\}$ be a finite set of positive integers with $\min(S)\geq 3$ and $t\geq 2$. For any positive integers $s_1,s_2,...,s_t$, we construct a family of 3-uniform bi-hypergraphs ${\cal H}$ with the feasible set $S$ and…

Let $\Gamma(G)$ be the Gruenberg-Kegel graph of a finite group $G$. We prove that if $G$ is solvable and $\sigma$ is a cut-set for $\Gamma(G)$, then $G$ has a $\sigma$-series of length $5$ whose factors are controlled. As a consequence, we…

Let $F$ be a graph. We say that a hypergraph $H$ is a {\it Berge}-$F$ if there is a bijection $f : E(F) \rightarrow E(H )$ such that $e \subseteq f(e)$ for every $e \in E(F)$. Note that Berge-$F$ actually denotes a class of hypergraphs. The…

We verify a conjecture of Vershik by showing that Hall's universal countable locally finite group can be embedded as a dense subgroup in the isometry group of the Urysohn space and in the automorphism group of the random graph. In fact, we…

Let $G$ be a semisimple connected Lie group of non-compact type with finite center. Let $K<G$ be a maximal compact subgroup and $P<G$ be a minimal parabolic subgroup. For any pair $(F,x)$, where $F$ is a maximal flat in $G/K$ and $x \in…

Let M be a matrix whose entries are power series in several variables and determinant det(M) does not vanish identically. The equation det(M)=0 defines a hypersurface singularity and the (co)-kernel of M is a maximally Cohen-Macaulay module…

One powerful method for upper-bounding the largest independent set in a graph is the Hoffman bound, which gives an upper bound on the largest independent set of a graph in terms of its eigenvalues. It is easily seen that the Hoffman bound…

Let $X$ be a compact metric space. By $2^X$ we denote the hyperspace of all closed and non-empty subsets of $X$ endowed with the Hausdorff metric. Let $f:X\to X$ be a continuous function. In this paper we study some topological properties…

Recall that the Rado graph is the unique countable graph that realizes all one-point extensions of its finite subgraphs. The Rado graph is well-known to be universal and homogeneous in the sense that every isomorphism between finite…

We show that for a very general and natural class of curvature functions, the problem of finding a complete strictly convex hypersurface satisfying f({\kappa}) = {\sigma} over (0,1) with a prescribed asymptotic boundary {\Gamma} at infinity…

We establish a "diagonal" ergodic theorem involving the additive and multiplicative groups of a countable field $K$ and, with the help of a new variant of Furstenberg's correspondence principle, prove that any "large" set in $K$ contains…

Let $a,b$ be positive integers with $a\ge b$. A graph $G$ is $(a,b)$-choosable if, for every assignment of lists $L(v)$ of size $a$ to the vertices of $G$, there exists a choice of subsets $C(v)\subseteq L(v)$ with $|C(v)|=b$ for each $v$…

Given a finite group $G$, its prime graph $\Gamma(G)$ (also known as its Gruenberg-Kegel graph) is the graph whose vertices are the prime divisors of $|G|$ and where edges $\{p, q\}$ exist whenever $G$ contains an element of order $pq$. We…

Given a $k$-uniform hypergraph $\mathcal{H}$ and sufficiently large $m \gg m_0(\mathcal{H})$, we show that an $m$-element set $I \subseteq V(\mathcal{H})$, chosen uniformly at random, with probability $1 - e^{-\omega(m)}$ is either not…

The $F$-theorem states that in three dimensions the sphere free energy of a field theory must decrease between ultraviolet and infrared fixed points of the renormalization group flow, and it has been proven for unitary conformal field…

A mixed hypergraph is a triple $H=(V,\mathcal{C},\mathcal{D})$, where $V$ is a set of vertices, $\mathcal{C}$ and $\mathcal{D}$ are sets of hyperedges. A vertex-coloring of $H$ is proper if $C$-edges are not totally multicolored and…

Let $\mathrm{ex}(n,H,\mathcal{F})$ be the maximum number of copies of $H$ in an $n$-vertex graph which contains no copy of a graph from $\mathcal{F}$. Thinking of $H$ and $\mathcal{F}$ as fixed, we study the asymptotics of…