Von Neumann's proof of his “No go theorem” was based on a general assumption that has been, later, considered too strong. The condition asserts the following: Let sω be a dispersione-free state and let A, B be two (possibly noncompatible) observables. Then, Exp(A + B, sω) =...
where the integrand switches between two different elliptic behaviors. In [5], energies of the form (1) are used in the context of homogenization and elasticity, and the functionadrives the geometry of a composite of two different materials with hardening powerspandq. In this paper, we are c...
At first I will give complete definitions, state and prove simple lemmas, etc., in order to establish common language. As time progresses I expect that things will become a little more high-level, less self-contained, and more technical. Depending on your background and interests, you may ...
By introducing some new tricks, we prove that the above problem admits a ground state solution of Pohožaev type and a least energy solution. These results generalize and improve some ones in [L. Jeanjean, K. Tanka, Indiana Univ. Math. J. 54 (2005), 443-464], [L. Jeanjean, K. Tan...
Magic states are key ingredients in schemes to realize universal fault-tolerant quantum computation. Theories of magic states attempt to quantify this computational element via monotones and determine how these states may be efficiently transformed into
(22) Theorem 1. Let us consider the spacecraft system (4) based on FxTESO (20). There exist the appro- priate observation gains α1, α2, β1, β2, and 0 < o < 1, θ > 1, such that E1 converges to zero in fixed time T1 without the initial conditions for t > T1, and ...
applications require that the features are continuous and differentiable with respect to atomic positions. A comprehensive study on features for atomic potential energy surfaces can be found in the review of Bartó et al.100. Important points mentioned in their work are: (i) the performance of ...
In order to overcome it, the quasilinearproblem was transformed by a change of variables to a semilinear one in [17] and an Orlicz spaceframework was used to prove the existence of positive solutions of (1.1) via the Mountain PassTheorem. A slightly different change of variables was used ...
11. In spite of the limitationsmentioned above CFD-based drag prediction has proven to be useful when embedded in an increment/decrement procedure involving experimental (W/T) results for the complete configuration and CFD results for simplified configurations,the latter even as far down as2D. A ...
Recursive state machines (RSMs) are state-based models for procedural programs with wide-ranging applications in program verification and interprocedural a