This content will become publicly available on September 1, 2023

Geometry of Banach Spaces: A New Route Towards Position Based Cryptography
Abstract In this work we initiate the study of position based quantum cryptography (PBQC) from the perspective of geometric functional analysis and its connections with quantum games. The main question we are interested in asks for the optimal amount of entanglement that a coalition of attackers have to share in order to compromise the security of any PBQC protocol. Known upper bounds for that quantity are exponential in the size of the quantum systems manipulated in the honest implementation of the protocol. However, known lower bounds are only linear. In order to deepen the understanding of this question, here we propose a position verification (PV) protocol and find lower bounds on the resources needed to break it. The main idea behind the proof of these bounds is the understanding of cheating strategies as vector valued assignments on the Boolean hypercube. Then, the bounds follow from the understanding of some geometric properties of particular Banach spaces, their type constants. Under some regularity assumptions on the former assignment, these bounds lead to exponential lower bounds on the quantum resources employed, clarifying the question in this restricted case. Known attacks indeed satisfy the assumption we make, although we do not know how universal more »
Authors:
; ; ;
Award ID(s):
Publication Date:
NSF-PAR ID:
10355659
Journal Name:
Communications in Mathematical Physics
Volume:
394
Issue:
2
Page Range or eLocation-ID:
625 to 678
ISSN:
0010-3616
4. We study the one-dimensional discrete Schr\"odinger operator with the skew-shift potential $2\lambda \cos\2π(j^2\omega+jy+x)$. This potential is long conjectured to behave like a random one, i.e., it is expected to produce Anderson localization for arbitrarily small coupling constants $\lambda>0$. In this paper, we introduce a novel perturbative approach for studying the zero-energy Lyapunov exponent $L(\lambda)$ at small $\lambda$. Our main results establish that, to second order in perturbation theory, a natural upper bound on $L(\lambda)$ is fully consistent with $L(\lambda)$ being positive and satisfying the usual Figotin-Pastur type asymptotics $L(\lambda)\sim C\lambda^2$ as $\lambda\to 0$. The analogous quantity behaves completely differently in the Almost-Mathieu model, whose zero-energy Lyapunov exponent vanishes for $\lambda<1$. The main technical work consists in establishing good lower bounds on the exponential sums (quadratic Weyl sums) that appear in our perturbation series.