Based on Leslie Matrix, the paper tries to predict the population fluctuation of Nanjing by considering the regional distinction and latest policy impacts, and hereby comes up with four conclusions: a) The population of Nanjing will see a relatively rapid growth between 2013 and 2020; b) Given the situation, the elderly population of the city will experience a much faster increase in the next 40 years, causing an elderly bulge that not only poses heavy burden to social welfare but also gives rise to a disproportionate population structure; c) The proposed retirement age extension in theory, will reduce the pressure on pension system by retaining active labors, and thus alleviating the problems of aging population to some extent; d) The newly-issued Two-Child Policy will not change the trends in or transform the population structure, therefore its effects on population aging is rather limited.

No abstract uploaded!

In 1999, Dar conjectured if there is a stronger version of the celebrated Brunn-Minkowski inequality. However, as pointed out by Campi, Gardner, and Gronchi in 2011, this problem seems to be open even for planar o-symmetric convex bodies. In this paper, we give a positive answer to Dar’s conjecture for all planar convex bodies. We also give the equality condition of this stronger inequality. For planar o-symmetric convex bodies, the log-Brunn-Minkowski inequality was established by B¨or¨oczky, Lutwak, Yang, and Zhang in 2012. It is stronger than the classical Brunn-Minkowski inequality, for planar o-symmetric convex bodies. Gaoyong Zhang asked if there is a general version of this inequality. Fortunately, the solution of Dar’s conjecture, especially, the definition of “dilation position”, inspires us to obtain a general version of the log-Brunn-Minkowski inequality. As expected, this inequality implies the classical Brunn-Minkowski inequality for all planar convex bodies.

Key Exchange (KE) is, undoubtedly, one of the most used cryptographic primitives in practice. Its authenticated version, Authenticated Key Exchange (AKE), avoids man-in-the-middle-based attacks by providing authentication for both parties involved. It is widely used on the Internet, in protocols such as TLS or SSH. In this work, we provide new constructions for KE and AKE based on ideal lattices in the Random Oracle Model (ROM). The contributions of this work can be summarized as follows: 1) It is well-known that RLWE-based KE protocols are not robust for key reuses since the signal function leaks information about the secret key. We modify the design of previous RLWE-based KE schemes to allow key reuse in the ROM. Our construction makes use of a new technique called pasteurization which enforces a supposedly RLWE sample sent by the other party to be indeed indistinguishable from a uniform sample and, therefore, ensures no information leakage in the whole KE process. 2) We build a new AKE scheme based on the construction above. The scheme provides implicit authentication (that is, it does not require the use of any other authentication mechanism, like a signature scheme) and it is proven secure in the Bellare-Rogaway model with weak Perfect Forward Secrecy in the ROM. It improves previous designs for AKE schemes based on lattices in several aspects. Our construction just requires sampling from only one discrete Gaussian distribution and avoids rejection sampling and noise flooding techniques, unlike previous proposals (Zhang et al., EUROCRYPT 2015). Thus, the scheme is much more efficient than previous constructions in terms of computational and communication complexity. Since our constructions are provably secure assuming the hardness of the RLWE problem, they are considered to be robust against quantum adversaries and, thus, suitable for post-quantum applications.

Let $f(n)$ be the maximum number of edges in a graph on $n$ vertices in which no two cycles have the same length. Erd\"{o}s raised the problem of determining $f(n)$. Erd\"{o}s conjectured that there exists a positive constant $c$ such that $ex(n,C_{2k})\geq cn^{1+1/k}$. Haj\'{o}s conjecture that every simple even graph on $n$ vertices can be decomposed into at most $n/2$ cycles. We present the problems, conjectures related to these problems and we summarize the know results. We do not think Haj\'{o}s conjecture is true.