Weaker type-2 growth conjecture for the cryptographic tensor-product space

Let nn, kk, and k~\tilde k' be the parameters in the construction, let S1k~ ⁣,n\mathcal{S}_1^{\tilde k'\!, n} denote the corresponding trace-class space, and let 2kk~\ell_2^{k\tilde k'} be Euclidean space. For the restricted type-2 constant T2(m)\mathrm{T}_2^{(m)} and logarithmic comparison log\lesssim_{\log} used in the paper, define

X=(S1k~ ⁣,n(ε,π)1/2S1k~ ⁣,n)ε2kk~.X=\left(\mathcal{S}_1^{\tilde k'\!, n}\otimes_{(\varepsilon,\pi)_{1/2}}\mathcal{S}_1^{\tilde k'\!, n}\right)\otimes_\varepsilon\ell_2^{k\tilde k'}.

Weaker-form conjecture. There exists a dimension-independent constant β<1\beta<1 such that

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

This weaker estimate would still imply the desired bounds for position-based cryptography. The source gives no evidence that the conjecture has been resolved.

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.