A Positive Mass Theorem for Spaces with Asymptotic SUSY Compactification

We prove a positive mass theorem for spaces which asymptotically approach a flat Euclidean space times a Calabi-Yau manifold (or any special honolomy manifold except the quaternionic K\"ahler). This is motivated by the very recent work of Hertog-Horowitz-Maeda.Comment: To appear in CM

Three Dimensional Loop Quantum Gravity: Particles and the Quantum Double

It is well known that the quantum double structure plays an important role in three dimensional quantum gravity coupled to matter field. In this paper, we show how this algebraic structure emerges in the context of three dimensional Riemannian loop quantum gravity (LQG) coupled to a finite number of massive spinless point particles. In LQG, physical states are usually constructed from the notion of SU(2) cylindrical functions on a Riemann surface $\Sigma$ and the Hilbert structure is defined by the Ashtekar-Lewandowski measure. In the case where $\Sigma$ is the sphere $S^2$, we show that the physical Hilbert space is in fact isomorphic to a tensor product of simple unitary representations of the Drinfeld double DSU(2): the masses of the particles label the simple representations, the physical states are tensor products of vectors of simple representations and the physical scalar product is given by intertwining coefficients between simple representations. This result is generalized to the case of any Riemann surface $\Sigma$.Comment: 36 pages, published in Jour. Math. Physic

Easy scalar decompositions for efficient scalar multiplication on elliptic curves and genus 2 Jacobians

The first step in elliptic curve scalar multiplication algorithms based on scalar decompositions using efficient endomorphisms-including Gallant-Lambert-Vanstone (GLV) and Galbraith-Lin-Scott (GLS) multiplication, as well as higher-dimensional and higher-genus constructions-is to produce a short basis of a certain integer lattice involving the eigenvalues of the endomorphisms. The shorter the basis vectors, the shorter the decomposed scalar coefficients, and the faster the resulting scalar multiplication. Typically, knowledge of the eigenvalues allows us to write down a long basis, which we then reduce using the Euclidean algorithm, Gauss reduction, LLL, or even a more specialized algorithm. In this work, we use elementary facts about quadratic rings to immediately write down a short basis of the lattice for the GLV, GLS, GLV+GLS, and Q-curve constructions on elliptic curves, and for genus 2 real multiplication constructions. We do not pretend that this represents a significant optimization in scalar multiplication, since the lattice reduction step is always an offline precomputation---but it does give a better insight into the structure of scalar decompositions. In any case, it is always more convenient to use a ready-made short basis than it is to compute a new one

Generalised Mersenne Numbers Revisited

Generalised Mersenne Numbers (GMNs) were defined by Solinas in 1999 and feature in the NIST (FIPS 186-2) and SECG standards for use in elliptic curve cryptography. Their form is such that modular reduction is extremely efficient, thus making them an attractive choice for modular multiplication implementation. However, the issue of residue multiplication efficiency seems to have been overlooked. Asymptotically, using a cyclic rather than a linear convolution, residue multiplication modulo a Mersenne number is twice as fast as integer multiplication; this property does not hold for prime GMNs, unless they are of Mersenne's form. In this work we exploit an alternative generalisation of Mersenne numbers for which an analogue of the above property --- and hence the same efficiency ratio --- holds, even at bitlengths for which schoolbook multiplication is optimal, while also maintaining very efficient reduction. Moreover, our proposed primes are abundant at any bitlength, whereas GMNs are extremely rare. Our multiplication and reduction algorithms can also be easily parallelised, making our arithmetic particularly suitable for hardware implementation. Furthermore, the field representation we propose also naturally protects against side-channel attacks, including timing attacks, simple power analysis and differential power analysis, which is essential in many cryptographic scenarios, in constrast to GMNs.Comment: 32 pages. Accepted to Mathematics of Computatio

Faster computation of the Tate pairing

This paper proposes new explicit formulas for the doubling and addition step in Miller's algorithm to compute the Tate pairing. For Edwards curves the formulas come from a new way of seeing the arithmetic. We state the first geometric interpretation of the group law on Edwards curves by presenting the functions which arise in the addition and doubling. Computing the coefficients of the functions and the sum or double of the points is faster than with all previously proposed formulas for pairings on Edwards curves. They are even competitive with all published formulas for pairing computation on Weierstrass curves. We also speed up pairing computation on Weierstrass curves in Jacobian coordinates. Finally, we present several examples of pairing-friendly Edwards curves.Comment: 15 pages, 2 figures. Final version accepted for publication in Journal of Number Theor

Noncommutative Harmonic Analysis, Sampling Theory and the Duflo Map in 2+1 Quantum Gravity

We show that the $\star$-product for $U(su_2)$, group Fourier transform and effective action arising in [1] in an effective theory for the integer spin Ponzano-Regge quantum gravity model are compatible with the noncommutative bicovariant differential calculus, quantum group Fourier transform and noncommutative scalar field theory previously proposed for 2+1 Euclidean quantum gravity using quantum group methods in [2]. The two are related by a classicalisation map which we introduce. We show, however, that noncommutative spacetime has a richer structure which already sees the half-integer spin information. We argue that the anomalous extra `time' dimension seen in the noncommutative geometry should be viewed as the renormalisation group flow visible in the coarse-graining in going from $SU_2$ to $SO_3$. Combining our methods we develop practical tools for noncommutative harmonic analysis for the model including radial quantum delta-functions and Gaussians, the Duflo map and elements of `noncommutative sampling theory'. This allows us to understand the bandwidth limitation in 2+1 quantum gravity arising from the bounded $SU_2$ momentum and to interpret the Duflo map as noncommutative compression. Our methods also provide a generalised twist operator for the $\star$-product.Comment: 53 pages latex, no figures; extended the intro for this final versio