Hypergraph reconstruction conjecture from hyperedge-deleted subhypergraphs

Let Hyper=(Λ,E)\mathcal{H}_{\operatorname{yper}}=(\Lambda,\mathcal{E}) and Hyper=(Λ,E)\mathcal{H}^*_{\operatorname{yper}}=(\Lambda^*,\mathcal{E}^*) be hypergraphs based on 3I-hyperedge sets EE(Λ2)\mathcal{E}\in\mathcal{E}(\Lambda^2) and EE((Λ)2)\mathcal{E}^*\in\mathcal{E}((\Lambda^*)^2), with E=E|\mathcal{E}|=|\mathcal{E}^*|. Hypergraph isomorphism conjecture. If there is a bijection θ:EE\theta:\mathcal{E}\rightarrow\mathcal{E}^* such that, for each eEe\in\mathcal{E}, the hypergraphs obtained by deleting ee_{\cap} and ee are isomorphic,

(Λ{e},Ee)(Λ{θ(e)},Eθ(e)),\bigl(\Lambda\setminus\{e_{\cap}\},\mathcal{E}\setminus e\bigr)\cong\bigl(\Lambda^*\setminus\{\theta(e_{\cap})\},\mathcal{E}^*\setminus\theta(e)\bigr),

where eeEe_{\cap}\subset e\in\mathcal{E} and ee=e_{\cap}\cap e'=\emptyset for every eEee'\in\mathcal{E}\setminus e, then HyperHyper\mathcal{H}_{\operatorname{yper}}\cong\mathcal{H}^*_{\operatorname{yper}}. This is a hypergraph analogue of reconstruction from deleted substructures; the source gives no resolution status.

Sources & referencesView supporting material

Primary source

Fei Ma and Bing Yao, “Topological Structures of Sets and their Subsets”, arXiv:2503.20167 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.