In this paper, we introduce a new provably secure ephemeral-only RLWE+Rounding-based key exchange protocol and a proper approach to more accurately estimate the security level of the RLWE problem with only one sample. Since our scheme is an ephemeral-only key exchange, it generates only one RLWE sample from protocol execution. We carefully analyze how to estimate the practical security of the RLWE problem with only one sample, which we call the ONE-sample RLWE problem. Our approach is different from existing approaches that are based on estimation with multiple RLWE samples. Though our analysis is based on some recently developed techniques in Darmstadt, our type of practical security estimate was never done before and it produces security estimates substantial different from the estimates before based on multiple RLWE samples. We show that the new design improves the security and reduce the communication cost of the protocol simultaneously by using one RLWE+Rounding sample technique. We also present two parameter choices ensuring 2^{−60} key exchange failure probability which cover security of AES-128/192/256 with concrete security analysis and implementation. We believe that our construction is secure, simple, efficient and elegant with wide application prospects.

In Berenstein and Rupel (2015), the authors defined algebra homomorphisms from the dual Ringel-Hall algebra of certain hereditary abelian category \mathcal{A} to an appropriate q-polynomial algebra. In the case that \mathcal{A} is the representation category of an acyclic quiver, we give an alternative proof by using the cluster multiplication formulas in (Ding and Xu, Sci. China Math. 55(10) 2045–2066, 2012). Moreover, if the underlying graph of Q associated with \mathcal{A} is bipartite and the matrix B associated to the quiver Q is of full rank, we show that the image of the algebra homomorphism is in the corresponding quantum cluster algebra.

The irrationality exponent of an irrational number $\xi$, which measures the approximation rate of $\xi$ by rationals, is in general extremely difficult to compute explicitly, unless we know the continued fraction expansion of $\xi$. Results obtained so far are rather fragmentary and often treated case by case. In this work, we shall unify all the known results on the subject by showing that the irrationality exponents of large classes of automatic numbers and Mahler numbers (which are transcendental) are exactly equal to $2$. Our classes contain the Thue--Morse--Mahler numbers, the sum of the reciprocals of the Fermat numbers, the regular paperfolding numbers, which have been previously considered respectively by Bugeaud, Coons, and Guo, Wu and Wen, but also new classes such as the Stern numbers and so on. Among other ingredients, our proofs use results on Hankel determinants obtained recently by Han.

Introduction. The classical Schwarz-Pick lemma states that any holomorphic map of the unit disk into itself decreases the Poincare metric. Later Ahlfors generalized this lemma to holomorphic mappings between two Riemann surfaces where curvatures of these Riemann surfaces were used in a very explicit way. More recently, Chern initiated the study of holomorphic mappings between higher-dimensional complex manifold by generalizing the Ahlfors lemma to these spaces. Then this lemma was further extended by Kobayashi, Griffiths, Wu and others. It plays a very important role in their theory. In this note, we shall prove the following generalization of the Schwarz lemma.

No abstract uploaded!