Existence of a valid norm with sublinear type-2 growth

Let XX be a norm on the algebraic tensor product S1k~ ⁣,nS1k~ ⁣,n2kk~\mathcal{S}_1^{\tilde k'\!, n}\otimes\mathcal{S}_1^{\tilde k'\!, n}\otimes\ell_2^{k\tilde k'}. Call XX valid if

xXxXiii\|x\|_X\gtrsim\|x\|_{X^{iii}}

for every xx, and

ij(VijId2k~)X1\left\|\lvert i\rangle\otimes\lvert j\rangle\otimes\left(V\lvert ij\rangle\otimes\operatorname{Id}_{\ell_2^{\tilde k'}}\right)\right\|_X\leq 1

for every VBMn2k,k~V\in B_{M_{n^2k,\tilde k'}} and i,j=1,,ni,j=1,\ldots,n. Valid-norm conjecture. There exists a valid norm XX and a dimension-independent constant β<1\beta<1 such that

T2(n2)(X)lognβ.\mathrm{T}_2^{(n^2)}(X)\lesssim_{\log}n^\beta.

Any such norm would yield the type-2 estimate required by the preceding argument and hence the intended cryptographic lower bounds. The source presents this as an even weaker conjectural form and supplies no resolution.

Sources & referencesView supporting material

Primary source

Marius Junge, Aleksander M. Kubicki, Carlos Palazuelos and David Pérez-García, “Geometry of Banach spaces: a new route towards Position Based Cryptography”, arXiv:2103.16357 (2022).

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.