No abstract uploaded!

We prove the Poincaré inequality for vector fields on the balls of the control distance by integrating along subunit paths. Our method requires that the balls are representable by means of suitable “controllable almost exponential maps”.

This paper deals with Lp geominimal surface area and its extension to Lp mixed geominimal surface area. We give an integral formula of Lp geominimal surface area by the p-Petty body and introduce the concept of Lp mixed geominimal surface area which is a natural extension of Lp geominimal surface area. Some inequalities, such as, analogues of Alexandrov–Fenchel inequalities, Blaschke–Santaló inequalities, and affine isoperimetric inequalities for Lp mixed geominimal surface areas are obtained.

In this paper, we present a practical and provably secure two-pass authenticated key exchange protocol over ideal lattices, which is conceptually simple and has similarities to the Diffie-Hellman based protocols such as HMQV (CRYPTO 2005) and OAKE (CCS 2013). Our method does not involve other cryptographic primitives—in particular, it does not use signatures—which simplifies the protocol and enables us to base the security directly on the hardness of the ring learning with errors problem. The security is proven in the Bellare-Rogaway model with weak perfect forward secrecy in the random oracle model. We also give a one-pass variant of our two-pass protocol, which might be appealing in specific applications. Several concrete choices of parameters are provided, and a proof-of-concept implementation shows that our protocols are indeed practical.

We explain how the classical notions of Fisher information of a random variable and Fisher information matrix of a random vector can be extended to a much broader setting. We also show that Stam’s inequality for Fisher information and Shannon entropy, as well as the more generalized versions proved earlier by the authors, are all special cases of more general sharp inequalities satisfied by random vectors. The extremal random vectors, which we call generalized Gaussians, contain Gaussians as a limiting case but are noteworthy because they are heavy- tailed.