Cohn's SDPP conjecture for abelian groups

From papers

Let GG be a finite abelian group, and let (Ai,Bi)i=1n(A_i,B_i)_{i=1}^n be pairs of subsets satisfying the simultaneous double product property (SDPP): for each ii, the equation aa1=bb1aa'^{-1}=bb'^{-1} has only the solution a=aa=a' and b=bb=b' for a,aAia,a'\in A_i and b,bBib,b'\in B_i, and ai(aj)1bj(bk)1=1a_i(a_j')^{-1}b_j(b_k')^{-1}=1 implies i=ki=k. Cohn's SDPP conjecture. For arbitrarily large nn, there exists an abelian group GG with

G=n2o(1)|G|=n^{2-o(1)}

and nn pairs of sets Ai,BiA_i,B_i satisfying the SDPP such that

AiBi>n2o(1).|A_i||B_i|>n^{2-o(1)}.

The conjecture is motivated by the goal of obtaining matrix-multiplication exponent ω=2\omega=2 through SDPP constructions in abelian groups. It is presented here as an external conjecture, with no resolution supplied in the source.

Progress summary

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

Sources & referencesView supporting material

Primary source

Kevin Pratt, “On generalized corners and matrix multiplication”, arXiv:2309.03878 (2023).

Solutions 0

No solutions have been posted yet.