Search Results
Distribution of Cracks in a Chain of Atoms at Low Temperature
We consider a one-dimensional classical many-body system with interaction potential of Lennard–Jones type in the thermodynamic limit at low temperature 1/β∈(0,∞). The ground state is a periodic lattice. We show that when the density is strictly smaller than the density of the ground state lattice, the system with N particles fills space by alternating approximately crystalline domains (clusters) with empty domains (voids) due to cracked bonds. The number of domains is of the order of Nexp(−βesurf/2) with esurf>0 a surface energy. For the proof, the system is mapped to an effective model, which is a low-density lattice gas of defects. The results require conditions on the interactions between defects. We succeed in verifying these conditions for next-nearest neighbor interactions, applying recently derived uniform estimates of correlations.
On the Complexity of Attacking Elliptic Curve Based Authentication Chips
In this paper we discuss the difficulties of mounting successful attacks against crypto implementations if essential information is missing. We start with a detailed description of our attack against our own design, to highlight which information is needed to increase the success of an attack, i.e. we use it as a blueprint to the following attack against commercially available crypto chips. We would like to stress that our attack against our own design is very similar to what happens during certification e.g. according to the Common Criteria Standard as in those cases the manufacturer needs to provide detailed information. If attacking commercial designs without signing NDAs, we were forced to intensively search the Internet for information about the designs. We were able to reveal information on the processing sequence during the authentication process even as detailed as identifying the clock cycles in which the individual key bits are processed. But we could not reveal the private keys used by the attacked commercial authentication chips 100% correctly. Moreover, as we did not knew the used keys we could not evaluate the success of our attack. To summarize, the effort of such an attack is significantly higher than the one of attacking a well-known implementation.
Well-posedness analysis of multicomponent incompressible flow models
In this paper, we extend our study of mass transport in multicomponent isothermal fluids to the incompressible case. For a mixture, incompressibility is defined as the independence of average volume on pressure, and a weighted sum of the partial mass densities stays constant. In this type of models, the velocity field in the Navier–Stokes equations is not solenoidal and, due to different specific volumes of the species, the pressure remains connected to the densities by algebraic formula. By means of a change of variables in the transport problem, we equivalently reformulate the PDE system as to eliminate positivity and incompressibility constraints affecting the density, and prove two type of results: the local-in-time well-posedness in classes of strong solutions, and the global-in-time existence of solutions for initial data sufficiently close to a smooth equilibrium solution.
Connecting Islands: Bridging zbMATH and DLMF with Scholix, a blueprint for connecting expert knowledge systems
This paper reports on the recently launched zbMATH Links API. We discuss its potential based on the initial link partner, the National Institute of Standards and Technology Digital Library of Mathematical Functions. As the API provides machine readable data in the links, we show how one can use data from both sources for further analysis. To exemplify the simplicity, we also show how one can use zbMATH’s link data in Jupyter notebooks.
Local Well-Posedness of Strong Solutions to the Three-Dimensional Compressible Primitive Equations
This work is devoted to establishing the local-in-time well-posedness of strong solutions to the three-dimensional compressible primitive equations of atmospheric dynamics. It is shown that strong solutions exist, are unique, and depend continuously on the initial data, for a short time in two cases: with gravity but without vacuum, and with vacuum but without gravity. © 2021, The Author(s).
On the algorithmic solution of optimization problems subject to probabilistic/robust (probust) constraints
We present an adaptive grid refinement algorithm to solve probabilistic optimization problems with infinitely many random constraints. Using a bilevel approach, we iteratively aggregate inequalities that provide most information not in a geometric but in a probabilistic sense. This conceptual idea, for which a convergence proof is provided, is then adapted to an implementable algorithm. The efficiency of our approach when compared to naive methods based on uniform grid refinement is illustrated for a numerical test example as well as for a water reservoir problem with joint probabilistic filling level constraints.
Modelling the Dependency between Inflation and Exchange Rate Using Copula
In this paper, we propose a copula approach in measuring the dependency between inflation and exchange rate. In unveiling this dependency, we first estimated the best GARCH model for the two variables. Then, we derived the marginal distributions of the standardised residuals from the GARCH. The Laplace and generalised t distributions best modelled the residuals of the GARCH(1,1) models, respectively, for inflation and exchange rate. These marginals were then used to transform the standardised residuals into uniform random variables on a unit interval [0, 1] for estimating the copulas. Our results show that the dependency between inflation and exchange rate in Ghana is approximately 7%.
Existence, iteration procedures and directional differentiability for parabolic QVIs
We study parabolic quasi-variational inequalities (QVIs) of obstacle type. Under appropriate assumptions on the obstacle mapping, we prove the existence of solutions of such QVIs by two methods: one by time discretisation through elliptic QVIs and the second by iteration through parabolic variational inequalities. Using these results, we show the directional differentiability (in a certain sense) of the solution map which takes the source term of a parabolic QVI into the set of solutions, and we relate this result to the contingent derivative of the aforementioned map. We finish with an example where the obstacle mapping is given by the inverse of a parabolic differential operator.
A rigorous derivation and energetics of a wave equation with fractional damping
We consider a linear system that consists of a linear wave equation on a horizontal hypersurface and a parabolic equation in the half space below. The model describes longitudinal elastic waves in organic monolayers at the water–air interface, which is an experimental setup that is relevant for understanding wave propagation in biological membranes. We study the scaling regime where the relevant horizontal length scale is much larger than the vertical length scale and provide a rigorous limit leading to a fractionally damped wave equation for the membrane. We provide the associated existence results via linear semigroup theory and show convergence of the solutions in the scaling limit. Moreover, based on the energy–dissipation structure for the full model, we derive a natural energy and a natural dissipation function for the fractionally damped wave equation with a time derivative of order 3/2.
Poisson approximation and connectivity in a scale-free random connection model
For abstract see PDF