Core-structure conjecture for conditionally non-redundant hypergraphs

Let H=(V,E)H=(V,E) be a hypergraph of arity 55 that is conditionally non-redundant for P181Q181P_{181}\mid Q_{181}. For any vertex vVv\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 uVu\in V such that

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

for every eEve\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.

Sources & referencesView supporting material

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.