scholarly journals On Upper Transversals in 3-Uniform Hypergraphs

10.37236/7267 ◽  
2018 ◽  
Vol 25 (4) ◽  
Author(s):  
Michael A. Henning ◽  
Anders Yeo
Keyword(s):  
Nonempty Intersection ◽  
Uniform Hypergraph ◽  
Maximum Cardinality ◽  
Uniform Hypergraphs ◽  
Transversal Number

A set $S$ of vertices in a hypergraph $H$ is a transversal if it has a nonempty intersection with every edge of $H$. The upper transversal number $\Upsilon(H)$ of $H$ is the maximum cardinality of a minimal transversal in $H$. We show that if $H$ is a connected $3$-uniform hypergraph of order $n$, then $\Upsilon(H) > 1.4855 \sqrt[3]{n} - 2$. For $n$ sufficiently large, we construct infinitely many connected $3$-uniform hypergraphs, $H$, of order~$n$ satisfying $\Upsilon(H) < 2.5199 \sqrt[3]{n}$. We conjecture that $\displaystyle{\sup_{n \to \infty}  \, \left( \inf  \frac{ \Upsilon(H) }{ \sqrt[3]{n} } \right) = \sqrt[3]{16} }$, where the infimum is taken over all connected $3$-uniform hypergraphs $H$ of order $n$.

scholarly journals A New Lower Bound on the Independence Number of a Graph and Applications

10.37236/3601 ◽  
2014 ◽  
Vol 21 (1) ◽  
Author(s):  
Michael A. Henning ◽  
Christian Löwenstein ◽  
Justin Southey ◽  
Anders Yeo
Keyword(s):  
Lower Bound ◽  
Maximum Degree ◽  
Independence Number ◽  
Maximum Clique ◽  
Independent Set ◽  
Uniform Hypergraph ◽  
Maximum Cardinality ◽  
Uniform Hypergraphs ◽  
Transversal Number ◽  
Graph Parameters

The independence number of a graph $G$, denoted $\alpha(G)$, is the maximum cardinality of an independent set of vertices in $G$. The independence number is one of the most fundamental and well-studied graph parameters. In this paper, we strengthen a result of Fajtlowicz [Combinatorica 4 (1984), 35-38] on the independence of a graph given its maximum degree and maximum clique size. As a consequence of our result we give bounds on the independence number and transversal number of $6$-uniform hypergraphs with maximum degree three. This gives support for a conjecture due to Tuza and Vestergaard [Discussiones Math. Graph Theory 22 (2002), 199-210] that if $H$ is a $3$-regular $6$-uniform hypergraph of order $n$, then $\tau(H) \le n/4$.

scholarly journals Transversals and Independence in Linear Hypergraphs with Maximum Degree Two

10.37236/6160 ◽  
2017 ◽  
Vol 24 (2) ◽  
Author(s):  
Michael A. Henning ◽  
Anders Yeo
Keyword(s):  
Maximum Degree ◽  
Independence Number ◽  
Independent Set ◽  
Upper Bounds ◽  
Maximum Cardinality ◽  
Common Edge ◽  
Minimum Cardinality ◽  
Uniform Hypergraphs ◽  
Transversal Number ◽  
Linear Hypergraphs

For $k \ge 2$, let $H$ be a $k$-uniform hypergraph on $n$ vertices and $m$ edges. Let $S$ be a set of vertices in a hypergraph $H$. The set $S$ is a transversal if $S$ intersects every edge of $H$, while the set $S$ is strongly independent if no two vertices in $S$ belong to a common edge. The transversal number, $\tau(H)$, of $H$ is the minimum cardinality of a transversal in $H$, and the strong independence number of $H$, $\alpha(H)$, is the maximum cardinality of a strongly independent set in $H$. The hypergraph $H$ is linear if every two distinct edges of $H$ intersect in at most one vertex. Let $\mathcal{H}_k$ be the class of all connected, linear, $k$-uniform hypergraphs with maximum degree $2$. It is known [European J. Combin. 36 (2014), 231–236] that if $H \in \mathcal{H}_k$, then $(k+1)\tau(H) \le n+m$, and there are only two hypergraphs that achieve equality in the bound. In this paper, we prove a much more powerful result, and establish tight upper bounds on $\tau(H)$ and tight lower bounds on $\alpha(H)$ that are achieved for  infinite families of hypergraphs. More precisely, if $k \ge 3$ is odd and $H \in \mathcal{H}_k$ has $n$ vertices and $m$ edges, then we prove that $k(k^2 - 3)\tau(H) \le (k-2)(k+1)n + (k - 1)^2m + k-1$ and $k(k^2 - 3)\alpha(H) \ge  (k^2 + k - 4)n  - (k-1)^2 m - (k-1)$. Similar bounds are proven in the case when $k \ge 2$ is even.

scholarly journals Transversals in 4-Uniform Hypergraphs

10.37236/5304 ◽  
2016 ◽  
Vol 23 (3) ◽  
Author(s):  
Michael A. Henning ◽  
Anders Yeo
Keyword(s):  
Maximum Degree ◽  
Uniform Hypergraph ◽  
Uniform Hypergraphs ◽  
Minimum Number ◽  
Transversal Number

Let $H$ be a $4$-uniform hypergraph on $n$ vertices. The transversal number $\tau(H)$ of $H$ is the minimum number of vertices that intersect every edge. The result in [J. Combin. Theory Ser. B 50 (1990), 129—133] by Lai and Chang implies that $\tau(H) \le 7n/18$ when $H$ is $3$-regular. The main result in [Combinatorica 27 (2007), 473—487] by Thomassé and Yeo implies an improved bound of $\tau(H) \le 8n/21$. We provide a further improvement and prove that $\tau(H) \le 3n/8$, which is best possible due to a hypergraph of order eight. More generally, we show that if $H$ is a $4$-uniform hypergraph on $n$ vertices and $m$ edges with maximum degree $\Delta(H) \le 3$, then $\tau(H) \le n/4 + m/6$, which proves a known conjecture. We show that an easy corollary of our main result is that if $H$ is a $4$-uniform hypergraph with $n$ vertices and $n$ edges, then $\tau(H) \le \frac{3}{7}n$, which was the main result of the Thomassé-Yeo paper [Combinatorica 27 (2007), 473—487].

Decomposing Complete 3-Uniform Hypergraph into 5-Cycles

2014 ◽  
Vol 672-674 ◽  
pp. 1935-1939
Author(s):  
Guan Ru Li ◽  
Yi Ming Lei ◽  
Jirimutu
Keyword(s):  
Positive Integer ◽  
Hamiltonian Cycles ◽  
Uniform Hypergraph ◽  
Design Algorithm ◽  
Uniform Hypergraphs ◽  
Edge Partition ◽  
Definition Of

About the Katona-Kierstead definition of a Hamiltonian cycles in a uniform hypergraph, a decomposition of complete k-uniform hypergraph Kn(k) into Hamiltonian cycles studied by Bailey-Stevens and Meszka-Rosa. For n≡2,4,5 (mod 6), we design algorithm for decomposing the complete 3-uniform hypergraphs into Hamiltonian cycles by using the method of edge-partition. A decomposition of Kn(3) into 5-cycles has been presented for all admissible n≤17, and for all n=4m +1, m is a positive integer. In general, the existence of a decomposition into 5-cycles remains open. In this paper, we use the method of edge-partition and cycle sequence proposed by Jirimutu and Wang. We find a decomposition of K20(3) into 5-cycles.

scholarly journals The Multiple-Orientability Thresholds for Random Hypergraphs

2015 ◽  
Vol 25 (6) ◽  
pp. 870-908 ◽  
Author(s):  
NIKOLAOS FOUNTOULAKIS ◽  
MEGHA KHOSLA ◽  
KONSTANTINOS PANAGIOTOU
Keyword(s):  
Load Balancing ◽  
Hard Disk ◽  
Maximum Load ◽  
Disk Arrays ◽  
Uniform Hypergraph ◽  
Cuckoo Hashing ◽  
Uniform Hypergraphs ◽  
Random Hypergraphs ◽  
Do So ◽  
Parallel Access

Ak-uniform hypergraphH= (V, E) is called ℓ-orientable if there is an assignment of each edgee∈Eto one of its verticesv∈esuch that no vertex is assigned more than ℓ edges. LetHn,m,kbe a hypergraph, drawn uniformly at random from the set of allk-uniform hypergraphs withnvertices andmedges. In this paper we establish the threshold for the ℓ-orientability ofHn,m,kfor allk⩾ 3 and ℓ ⩾ 2, that is, we determine a critical quantityc*k,ℓsuch that with probability 1 −o(1) the graphHn,cn,khas an ℓ-orientation ifc<c*k,ℓ, but fails to do so ifc>c*k,ℓ.Our result has various applications, including sharp load thresholds for cuckoo hashing, load balancing with guaranteed maximum load, and massive parallel access to hard disk arrays.

scholarly journals New Results on Degree Sequences of Uniform Hypergraphs

10.37236/3414 ◽  
2013 ◽  
Vol 20 (4) ◽  
Author(s):  
Sarah Behrens ◽  
Catherine Erbes ◽  
Michael Ferrara ◽  
Stephen G. Hartke ◽  
Benjamin Reiniger ◽  
...  
Keyword(s):  
Efficient Algorithm ◽  
Necessary Conditions ◽  
Degree Sequence ◽  
Sufficient Conditions ◽  
Degree Sequences ◽  
Uniform Hypergraph ◽  
Graphic Sequence ◽  
Uniform Hypergraphs ◽  
Open Question

A sequence of nonnegative integers is $k$-graphic if it is the degree sequence of a $k$-uniform hypergraph. The only known characterization of $k$-graphic sequences is due to Dewdney in 1975. As this characterization does not yield an efficient algorithm, it is a fundamental open question to determine a more practical characterization. While several necessary conditions appear in the literature, there are few conditions that imply a sequence is $k$-graphic. In light of this, we present sharp sufficient conditions for $k$-graphicality based on a sequence's length and degree sum.Kocay and Li gave a family of edge exchanges (an extension of 2-switches) that could be used to transform one realization of a 3-graphic sequence into any other realization. We extend their result to $k$-graphic sequences for all $k \geq 3$. Finally we give several applications of edge exchanges in hypergraphs, including generalizing a result of Busch et al. on packing graphic sequences.

scholarly journals Monochromatic Path and Cycle Partitions in Hypergraphs

10.37236/2631 ◽  
2013 ◽  
Vol 20 (1) ◽  
Author(s):  
András Gyárfás ◽  
Gábor N. Sárközy
Keyword(s):  
Uniform Hypergraph ◽  
Uniform Hypergraphs ◽  
Vertex Set

Here we address the problem to partition edge colored hypergraphs by monochromatic paths and cycles generalizing a well-known similar problem for graphs.We show that $r$-colored $r$-uniform complete hypergraphs can be partitioned into monochromatic Berge-paths of distinct colors. Also, apart from $2k-5$ vertices, $2$-colored $k$-uniform hypergraphs can be partitioned into two monochromatic loose paths.In general, we prove that in any $r$-coloring of a $k$-uniform hypergraph there is a partition of the vertex set intomonochromatic loose cycles such that their number depends only on $r$ and $k$.

scholarly journals Minimum-Weight Edge Discriminators in Hypergraphs

10.37236/3551 ◽  
2014 ◽  
Vol 21 (3) ◽  
Author(s):  
Bhaswar B. Bhattacharya ◽  
Sayantan Das ◽  
Shirshendu Ganguly
Keyword(s):  
Minimum Weight ◽  
Constant Factor ◽  
Uniform Hypergraph ◽  
Uniform Hypergraphs

In this paper we introduce the notion of minimum-weight edge-discriminators in hypergraphs, and study their various properties. For a hypergraph $\mathcal H=(\mathcal V, \mathscr E)$, a function $\lambda: \mathcal V\rightarrow \mathbb Z^{+}\cup\{0\}$ is said to be an edge-discriminator on $\mathcal H$ if $\sum_{v\in E_i}{\lambda(v)}>0$, for all hyperedges $E_i\in \mathscr E$, and $\sum_{v\in E_i}{\lambda(v)}\ne \sum_{v\in E_j}{\lambda(v)}$, for every two distinct hyperedges $E_i, E_j \in \mathscr E$. An optimal edge-discriminator on $\mathcal H$, to be denoted by $\lambda_\mathcal H$, is an edge-discriminator on $\mathcal H$ satisfying $\sum_{v\in \mathcal V}\lambda_\mathcal H (v)=\min_\lambda\sum_{v\in \mathcal V}{\lambda(v)}$, where the minimum is taken over all edge-discriminators on $\mathcal H$.  We prove that any hypergraph $\mathcal H=(\mathcal V, \mathscr E)$,  with $|\mathscr E|=m$, satisfies $\sum_{v\in \mathcal V} \lambda_\mathcal H(v)\leq m(m+1)/2$, and the equality holds if and only if the elements of $\mathscr E$ are mutually disjoint. For $r$-uniform hypergraphs $\mathcal H=(\mathcal V, \mathscr E)$, it follows from earlier results on Sidon sequences that $\sum_{v\in \mathcal V}\lambda_{\mathcal H}(v)\leq |\mathcal V|^{r+1}+o(|\mathcal V|^{r+1})$, and the bound is attained up to a constant factor by the complete $r$-uniform hypergraph. Finally, we show that no optimal edge-discriminator on any hypergraph $\mathcal H=(\mathcal V, \mathscr E)$, with $|\mathscr E|=m~(\geq 3)$, satisfies $\sum_{v\in \mathcal V} \lambda_\mathcal H (v)=m(m+1)/2-1$. This shows that all integer values between $m$ and $m(m+1)/2$ cannot be the weight of an optimal edge-discriminator of a hypergraph, and this raises many other interesting combinatorial questions.

scholarly journals The Bounds of the Edge Number in Generalized Hypertrees

Mathematics ◽  
2018 ◽  
Vol 7 (1) ◽  
pp. 2 ◽  
Author(s):  
Ke Zhang ◽  
Haixing Zhao ◽  
Zhonglin Ye ◽  
Yu Zhu ◽  
Liang Wei
Keyword(s):  
Upper Bounds ◽  
Uniform Hypergraph ◽  
Lower And Upper Bounds ◽  
Number Of Components ◽  
Uniform Hypergraphs ◽  
Vertex Set

A hypergraph H = ( V , ε ) is a pair consisting of a vertex set V , and a set ε of subsets (the hyperedges of H ) of V . A hypergraph H is r -uniform if all the hyperedges of H have the same cardinality r . Let H be an r -uniform hypergraph, we generalize the concept of trees for r -uniform hypergraphs. We say that an r -uniform hypergraph H is a generalized hypertree ( G H T ) if H is disconnected after removing any hyperedge E , and the number of components of G H T − E is a fixed value k   ( 2 ≤ k ≤ r ) . We focus on the case that G H T − E has exactly two components. An edge-minimal G H T is a G H T whose edge set is minimal with respect to inclusion. After considering these definitions, we show that an r -uniform G H T on n vertices has at least 2 n / ( r + 1 ) edges and it has at most n − r + 1 edges if r ≥ 3   and   n ≥ 3 , and the lower and upper bounds on the edge number are sharp. We then discuss the case that G H T − E has exactly k   ( 2 ≤ k ≤ r − 1 ) components.

scholarly journals Covering and tiling hypergraphs with tight cycles

2020 ◽  
pp. 1-42
Author(s):  
Jie Han ◽  
Allan Lo ◽  
Nicolás Sanhueza-Matamala
Keyword(s):  
Main Tool ◽  
Independent Interest ◽  
Uniform Hypergraph ◽  
Uniform Hypergraphs ◽  
Vertex Disjoint

Abstract A k-uniform tight cycle $C_s^k$ is a hypergraph on s > k vertices with a cyclic ordering such that every k consecutive vertices under this ordering form an edge. The pair (k, s) is admissible if gcd (k, s) = 1 or k / gcd (k,s) is even. We prove that if $s \ge 2{k^2}$ and H is a k-uniform hypergraph with minimum codegree at least (1/2 + o(1))|V(H)|, then every vertex is covered by a copy of $C_s^k$ . The bound is asymptotically sharp if (k, s) is admissible. Our main tool allows us to arbitrarily rearrange the order in which a tight path wraps around a complete k-partite k-uniform hypergraph, which may be of independent interest. For hypergraphs F and H, a perfect F-tiling in H is a spanning collection of vertex-disjoint copies of F. For $k \ge 3$ , there are currently only a handful of known F-tiling results when F is k-uniform but not k-partite. If s ≢ 0 mod k, then $C_s^k$ is not k-partite. Here we prove an F-tiling result for a family of non-k-partite k-uniform hypergraphs F. Namely, for $s \ge 5{k^2}$ , every k-uniform hypergraph H with minimum codegree at least (1/2 + 1/(2s) + o(1))|V(H)| has a perfect $C_s^k$ -tiling. Moreover, the bound is asymptotically sharp if k is even and (k, s) is admissible.

Sign in / Sign up

Export Citation Format

Share Document