# Hyperedge Estimation using Polylogarithmic Subset Queries

A hypergraph H is a set system (U( H), F(H)), where U( H) denotes the set of n vertices and F(H), a set of subsets of U( H), denotes the set of hyperedges. A hypergraph H is said to be d-uniform if every hyperedge in H consists of exactly d vertices. The cardinality of the hyperedge set is denoted as | F( H) |=m( H). We consider an oracle access to the hypergraph H of the following form. Given d (non-empty) pairwise disjoint subsets of vertices A_1,...,A_d ⊆ U( H) of hypergraph H, the oracle, known as the Generalized d-partite independent set oracle () (that was introduced in BishnuGKM018), answers Yes if and only if there exists a hyperedge in H having (exactly) one vertex in each A_i, i ∈ [d]. The oracle belongs to the class of oracles for subset queries. The study of subset queries was initiated by Stockmeyer Stockmeyer85, and later the model was formalized by Ron and Tsur RonT16. Subset queries generalize the set membership queries. In this work we give an algorithm for the problem using the query oracle to obtain an estimate m for m( H) satisfying (1 - ϵ) · m( H) ≤m≤ (1 + ϵ) · m( H). The number of queries made by our algorithm, assuming d as a constant, is polylogarithmic in the number of vertices of the hypergraph. Our work can be seen as a natural generalization of Edge Estimation using Bipartite Independent Set( BIS) oracle BeameHRRS18 and Triangle Estimation using Tripartite Independent Set( TIS) oracle Bhatta-abs-1808-00691.

## Authors

• 6 publications
• 9 publications
• 12 publications
• 10 publications
• ### Parameterized Query Complexity of Hitting Set using Stability of Sunflowers

In this paper, we study the query complexity of parameterized decision a...
07/17/2018 ∙ by Arijit Bishnu, et al. ∙ 0

• ### Triangle Estimation using Polylogarithmic Queries

Estimating the number of triangles in a graph is one of the most fundame...
08/02/2018 ∙ by Anup Bhattacharya, et al. ∙ 0

• ### Edge Estimation with Independent Set Oracles

We study the problem of estimating the number of edges in a graph with a...
11/20/2017 ∙ by Paul Beame, et al. ∙ 0

• ### Modularity in Query-Based Concept Learning

We define and study the problem of modular concept learning, that is, le...
11/07/2019 ∙ by Benjamin Caulfield, et al. ∙ 0

• ### Active Learning a Convex Body in Low Dimensions

Consider a set P ⊆R^d of n points, and a convex body C provided via a se...
03/08/2019 ∙ by Sariel Har-Peled, et al. ∙ 0

• ### Joint Alignment From Pairwise Differences with a Noisy Oracle

In this work we consider the problem of recovering n discrete random var...
03/13/2020 ∙ by Michael Mitzenmacher, et al. ∙ 0