Given a 3-uniform hypergraph F , let ex3(n,F) denote the maximum possible size of a 3-uniform hypergraph of order n that does not contain any subhypergraph isomorphic to F . Our terminology follows that of [16] and [10], which are comprehensive survey articles of Turán-type extremal graph and hypergraph problems, respectively. Also see the monograph of Bollobás [2]. There is an extensive litera...

A hypergraph H is a sum hypergraph iff there are a finite S ⊆ IN and d, d ∈ IN with 1 < d ≤ d such that H is isomorphic to the hypergraph Hd,d(S) = (V, E) where V = S and E = {e ⊆ S : d ≤ |e| ≤ d ∧ v∈e v ∈ S}. For an arbitrary hypergraph H the sum number σ = σ(H) is defined to be the minimum number of isolated vertices y1, . . . , yσ 6∈ V such that H ∪ {y1, . . . , yσ} is a sum hypergraph. Gene...

A hypergraph H is a sum hypergraph iff there are a finite S ⊆ IN and d, d ∈ IN with 1 < d ≤ d such that H is isomorphic to the hypergraph Hd,d(S) = (V, E) where V = S and E = {e ⊆ S : d ≤ |e| ≤ d ∧ ∑ v∈e v ∈ S}. For an arbitrary hypergraph H the sum number σ = σ(H) is defined to be the minimum number of isolated vertices w1, . . . , wσ 6∈ V such that H ∪ {w1, . . . , wσ} is a sum hypergraph. Fo...

Individual differences in brain functional networks may be related to complex personal identifiers, including health, age, and ability. Dynamic network theory has been used to identify properties of dynamic brain function from fMRI data, but the majority of analyses and findings remain at the level of the group. Here, we apply hypergraph analysis, a method from dynamic network theory, to quanti...

We introduce a correspondence principle (analogous to the Furstenberg correspondence principle) that allows one to extract an infinite random graph or hypergraph from a sequence of increasingly large deterministic graphs or hypergraphs. As an application we present a new (infinitary) proof of the hypergraph removal lemma of Nagle-Schacht-Rödl-Skokan and Gowers, which does not require the hyperg...

Let K (3) 4 denote the complete 3-uniform hypergraph on 4 vertices. Ajtai, Erdős, Komlós, and Szemerédi (1981) asked if there is a function ω(d) → ∞ such that every 3-uniform, K (3) 4 -free hypergraph H with N vertices and average degree d has independence number at least N d1/2 ω(d). We answer this question by constructing a 3-uniform, K (3) 4 -free hypergraph with independence number at most ...

The hypergraph augmentation problem is to augment a hypergraph by hyperedges to meet prescribed local connectivity requirements. We provide here a minimax theorem for this problem. The result is derived from the degree constrained version of the problem by a standard method. We shall construct the required hypergraph for the latter problem by a greedy type algorithm. A similar minimax result wi...

In this paper we use directed hypergraphs to represent the locality-based dependencies between the axioms of an OWL ontology. We define a notion of an axiom dependency hypergraph, where axioms are represented as nodes and dependencies between axioms as hyperedges connecting possibly several nodes with one node. We show that a locality-based module of an ontology corresponds to a connected compo...

Let k ≥ 2 be a fixed integer and P be a property of k-uniform hypergraphs. In other words, P is a (typically infinite) family of k-uniform hypergraphs and we say a given hypergraph H satisfies P if H ∈ P . For a given constant η > 0 a k-uniform hypergraph H on n vertices is η-far from P if no hypergraph obtained from H by changing (adding or deleting) at most ηn edges in H satisfies P . More pr...

A biclique is a maximal induced complete bipartite subgraph of a graph. We investigate the intersection structure of edge-sets of bicliques in a graph. Specifically, we study the associated edge-biclique hypergraph whose hyperedges are precisely the edge-sets of all bicliques. We characterize graphs whose edgebiclique hypergraph is conformal (i.e., it is the clique hypergraph of its 2-section) ...