We study the space of Killing fields on the four dimensional AdS spacetime AdS 3,1 . Two subsets S and O are identified: S (the spinor Killing fields) is constructed from imaginary Killing spinors, and O (the observer Killing fields) consists of all hypersurface orthogonal, future timelike unit Killing fields. When the cosmology constant vanishes, or in the Minkowski spacetime case, these two subsets have the same convex hull in the space of Killing fields. In presence of the cosmology constant, the convex hull of O is properly contained in that of S . This leads to two different notions of energy for an asymptotically AdS spacetime, the spinor energy and the observer energy. In [10], Chru\'sciel, Maerten and Tod proved the positivity of the spinor energy and derived important consequences among the related conserved quantities. We show that the positivity of the observer energy follows from the positivity of the spinor energy. A new notion called the "rest mass" of an asymptotically AdS spacetime is then defined by minimizing the observer energy, and is shown to be evaluated in terms of the adjoint representation of the Lie algebra of Killing fields. It is proved that the rest mass has the desirable rigidity property that characterizes the AdS spacetime.

Define a “Liouville domain” to be a compact exact symplectic manifold with contact-type boundary. We use embedded contact homology to assign to each four-dimensional Liouville domain (or subset thereof) a sequence of real numbers, which we call “ECH capacities”. The ECH capacities of a Liouville domain are defined in terms of the “ECH spectrum” of its boundary, which measures the amount of symplectic action needed to represent certain classes in embedded contact homology. Using cobordism maps on embedded contact homology (defined in joint work with Taubes), we show that the ECH capacities are monotone with respect to symplectic embeddings. We compute the ECH capacities of ellipsoids, polydisks, certain subsets of the cotangent bundle of T 2, and disjoint unions of examples for which the ECH capacities are known. The resulting symplectic embedding obstructions are sharp in some interesting cases, for example for the problem of embedding an ellipsoid into a ball (as shown by McDuff-Schlenk) or embedding a disjoint union of balls into a ball. We also state and present evidence for a conjecture under which the asymptotics of the ECH capacities of a Liouville domain recover its symplectic volume.

No abstract uploaded!

Error reconciliation is an important technique for learning with error (LWE) and ring-LWE (RLWE)-based constructions. In this paper, we present a comparison analysis on two error reconciliation-based RLWE key exchange protocols: Ding et al. in 2012 (DING12) and Bos et al. in 2015 (BCNS15). We take them as examples to explain the core idea of error reconciliation, building key exchange over RLWE problem, implementation and real-world performance, and compare them comprehensively. We also analyse a LWE key exchange 'Frodo' that uses an improved error reconciliation mechanism in BCNS15. To the best of our knowledge, our work is the first to present at least 128-bit classic (80-bit quantum) and 256-bit classic (> 200-bit quantum) secure parameter choices for DING12 with efficient portable C/C++ implementations. Benchmark shows that our efficient implementation is 11× faster than BCNS15 and one key exchange execution only costs 0.07 ms on a four-year-old middle range CPU. Error reconciliation is 1.57× faster than BCNS15.

No abstract uploaded!