Hypergraph reconstruction conjecture from hyperedge-deleted subhypergraphs

About 1 year old · traced to

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 E∈E(Λ2)\mathcal{E}\in\mathcal{E}(\Lambda^2) and E∗∈E((Λ∗)2)\mathcal{E}^*\in\mathcal{E}((\Lambda^*)^2), with ∣E∣=∣E∗∣|\mathcal{E}|=|\mathcal{E}^*|. Hypergraph isomorphism conjecture. If there is a bijection θ:E→E∗\theta:\mathcal{E}\rightarrow\mathcal{E}^* such that, for each e∈Ee\in\mathcal{E}, the hypergraphs obtained by deleting e∩e_{\cap} and ee are isomorphic,

(Λ∖{e∩},E∖e)≅(Λ∗∖{θ(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 e∩⊂e∈Ee_{\cap}\subset e\in\mathcal{E} and e∩∩e′=∅e_{\cap}\cap e'=\emptyset for every e′∈E∖ee'\in\mathcal{E}\setminus e, then Hyper⁡≅Hyper⁡∗\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.

References

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.