Core-structure conjecture for conditionally non-redundant hypergraphs

Less than 1 year old · traced to

Let H=(V,E)H=(V,E) be a hypergraph of arity 55 that is conditionally non-redundant for P181∣Q181P_{181}\mid Q_{181}. For any vertex v∈Vv\in V, let Hv=(V,Ev)H_v=(V,E_v) be the hypergraph whose hyperedges contain vv. If ∣Ev∣=ω(n)|E_v|=\omega(n), then there exists another vertex u∈Vu\in V such that

(u,v)⊆e(u,v)\subseteq e

for every e∈Eve\in E_v.

Core-structure conjecture. Under these hypotheses, every vertex incident with more than linearly many hyperedges shares a second common vertex with all those hyperedges.

This is proposed as an analog of a structural result of Deza, Erdős, and Frankl for hypergraphs with restricted intersection sizes. The source presents the analog as false, so the claim is refuted in the paper's discussion.

References

Primary source

Joshua Brakensiek, Venkatesan Guruswami and Aaron Putterman, “Classification of Non-redundancy of Boolean Predicates of Arity 4”, arXiv:2603.21353 (2026).

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.