We investigate some properties related to the generalized Newton method for the Fischer-Burmeister (FB) function over second-order cones, which allows us to reformulate the second-order cone complementarity problem (SOCCP) as a semismooth system of equations. Specifically, we characterize the B-subdifferential of the FB function at a general point and study the condition for every element of the B-subdifferential at a solution being nonsingular. In addition, for the induced FB merit function, we establish its coerciveness and provide a weaker condition than Chen and Tseng (Math. Program. 104:293327, 2005) for each stationary point to be a solution, under suitable Cartesian <i>P</i>-properties of the involved mapping. By this, a damped Gauss-Newton method is proposed, and the global and superlinear convergence results are obtained. Numerical results are reported for the second-order cone programs

Abstract The bipolar Navier-Stokes-Poisson system (BNSP) has been used to simulate the transport of charged particles (ions and electrons for instance) under the influence of electrostatic force governed by the self-consistent Poisson equation. The optimal L 2 time convergence rate for the global classical solution is obtained for a small initial perturbation of the constant equilibrium state. It is shown that due to the electric field, the difference of the charge densities tend to the equilibrium states at the optimal rate (1+ t)-3 4 in L 2-norm, while the individual momentum of the charged particles converges at the optimal rate (1+ t)-1 4 which is slower than the rate (1+ t)-3 4 for the compressible Navier-Stokes equations (NS). In addition, a new phenomenon on the charge transport is observed regarding the interplay between the two carriers that almost counteracts the influence of the electric field so that the total density and

No abstract uploaded!

Authenticated Key Exchange (AKE) is a cryptographic scheme with the aim to establish a high-entropy and secret session key over a insecure communications network. Password-Authenticated Key Exchange (PAKE) assumes that the parties in play share a simple password, which is cheap and human-memorable and is used to achieve the authentication. PAKEs are practically relevant as these features are extremely appealing in an age where most people access sensitive personal data remotely from more-and-more pervasive hand-held devices. Theoretically, PAKEs allow the secure computation and authentication of a high-entropy piece of data using a low-entropy string as a starting point. In this paper, we apply the recently proposed technique introduced in [19] to construct two lattice-based PAKE protocols enjoying a very simple and elegant design that is an parallel extension of the class of Random Oracle Model (ROM)-based protocols PAK and PPK [13, 41], but in the lattice-based setting. The new protocol resembling PAK is three-pass, and provides mutual explicit authentication, while the protocol following the structure of PPK is two-pass, and provides implicit authentication. Our protocols rely on the Ring-Learning-with-Errors (RLWE) assumption, and exploit the additive structure of the underlying ring. They have a comparable level of efficiency to PAK and PPK, which makes them highly attractive. We present a preliminary implementation of our protocols to demonstrate that they are both efficient and practical. We believe they are suitable quantum safe replacements for PAK and PPK.

We derive a formula for the virtual class of the moduli space of rubber maps to [P^1/G] pushed forward to the moduli space of stable maps to BG. As an application, we show that the Gromov-Witten theory of [P^1/G] relative to 0 and ∞ are determined by known calculations.