Existence of a valid norm with sublinear type-2 growth

About 5 years old · traced to

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

∥x∥X≳∥x∥Xiii\|x\|_X\gtrsim\|x\|_{X^{iii}}

for every xx, and

∥∣i⟩⊗∣j⟩⊗(V∣ij⟩⊗Id⁡ℓ2k~′)∥X≤1\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 V∈BMn2k,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)≲log⁡nβ.\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.

References

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.