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

About 5 years old · traced to

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)≲log⁡nβ.\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.

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.