On the extremal points of the Lambda polytopes and classical simulation of quantum computation with magic states

We investigate the $\Lambda$-polytopes, a convex-linear structure recently defined and applied to the classical simulation of quantum computation with magic states by sampling. There is one such polytope, $\Lambda_n$, for every number $n$ of qubits. We establish two properties of the family $\{\Lambda_n, n\in \mathbb{N}\}$, namely (i) Any extremal point (vertex) $A_\alpha \in \Lambda_m$ can be used to construct vertices in $\Lambda_n$, for all $n>m$. (ii) For vertices obtained through this mapping, the classical simulation of quantum computation with magic states can be efficiently reduced to the classical simulation based on the preimage $A_\alpha$. In addition, we describe a new class of vertices in $\Lambda_2$ which is outside the known classification. While the hardness of classical simulation remains an open problem for most extremal points of $\Lambda_n$, the above results extend efficient classical simulation of quantum computations beyond the presently known range.

Mutually unbiased bases and symmetric informationally complete measurements in Bell experiments

Mutually unbiased bases (MUBs) and symmetric informationally complete projectors (SICs) are crucial to many conceptual and practical aspects of quantum theory. Here, we develop their role in quantum nonlocality by (i) introducing families of Bell inequalities that are maximally violated by d-dimensional MUBs and SICs, respectively, (ii) proving device-independent certification of natural operational notions of MUBs and SICs, and (iii) using MUBs and SICs to develop optimal-rate and nearly optimal-rate protocols for device-independent quantum key distribution and device-independent quantum random number generation, respectively. Moreover, we also present the first example of an extremal point of the quantum set of correlations that admits physically inequivalent quantum realizations. Our results elaborately demonstrate the foundational and practical relevance of the two most important discrete Hilbert space structures to the field of quantum nonlocality.

Multiscale structural optimization with concurrent coupling between scales

A robust three-dimensional multiscale structural optimization framework with concurrent coupling between scales is presented. Concurrent coupling ensures that only the microscale data required to evaluate the macroscale model during each iteration of optimization is collected and results in considerable computational savings. This represents the principal novelty of this framework and permits a previously intractable number of design variables to be used in the parametrization of the microscale geometry, which in turn enables accessibility to a greater range of extremal point properties during optimization. Additionally, the microscale data collected during optimization is stored in a reusable database, further reducing the computational expense of optimization. Application of this methodology enables structures with precise functionally graded mechanical properties over two scales to be derived, which satisfy one or multiple functional objectives. Two classical compliance minimization problems are solved within this paper and benchmarked against a Solid Isotropic Material with Penalization (SIMP)–based topology optimization. Only a small fraction of the microstructure database is required to derive the optimized multiscale solutions, which demonstrates a significant reduction in the computational expense of optimization in comparison to contemporary sequential frameworks. In addition, both cases demonstrate a significant reduction in the compliance functional in comparison to the equivalent SIMP-based optimizations.

Improved enhanced Fritz John condition and constraints qualifications using convexificators

In this paper, using convexificators we derive enhanced Fritz John optimality condition for nonsmooth optimization problems having equality, inequality and abstract set constraint. This necessary optimality condition provides some more information about the extremal point in terms of converging sequences towards it. Then we employ this optimality condition to study enhanced KKT condition and to define associated ∂^*- pseudonormality and ∂^*-quasinormality concepts in terms of convexificators. Later, sufficiency for ∂^*-pseudonormality and some more results based on these concepts are investigated.

Algorithms for estimating the motion of a spacecraft from its state data

Control of processing processes on the state of the spacecraft (SC) is represented by schemes of the invariant control loop of a complex dynamic object. Based on the analysis of the algorithms for estimating the parameters of the translational motion of an aircraft (LA), based on the results of external trajectory measurements, an iterative Gauss-Newton procedure is formulated that implements the approach of directly finding the extremal point of the response surface described by a multidimensional function. Applied to the problem of estimating the initial conditions of motion of an aircraft. The features of the implementation of the algorithm for estimating the initial conditions of the orbital motion of the apparatus based on the method of least squares are investigated.

Classification of Solutions to the Plane Extremal Distance Problem for Bodies With Smooth Boundaries

The determination of the contact points between two bodies with analytically described boundaries can be viewed as the limiting case of the extremal point problem, where the distance between the bodies is vanishing. The advantage of this approach is that the solutions can be computed efficiently along with the generalized state during time integration of a multibody system by augmenting the equations of motion with the corresponding extremal point conditions. Unfortunately, these solutions can degenerate when one boundary is concave or both boundaries are nonconvex. We present a novel method to derive degeneracy and nondegeneracy conditions that enable the determination of the type and codimension of all the degenerate solutions that can occur in plane contact problems involving two bodies with smooth boundaries. It is shown that only divergence bifurcations are relevant, and thus, we can simplify the analysis of the degeneracy by restricting the system to its one-dimensional center manifold. The resulting expressions are then decomposed by applying the multinomial theorem resulting in a computationally efficient method to compute explicit expressions for the Lyapunov coefficients and transversality conditions. Furthermore, a procedure to analyze the bifurcation behavior qualitatively at such solution points based on the Tschirnhaus transformation is given and demonstrated by examples. The application of these results enables in principle the continuation of all the solutions simultaneously beyond the degeneracy as long as their number is finite.

VOROS PRODUCT AND NONCOMMUTATIVE INSPIRED BLACK HOLES

We emphasize the importance of the Voros product in defining the noncommutative (NC) inspired black holes. The computation of entropy for both the noncommutative inspired Schwarzschild and Reissner–Nordström (RN) black holes show that the area law holds up to order [Formula: see text]. The leading correction to the entropy (computed in the tunneling formalism) is shown to be logarithmic. The Komar energy E for these black holes is then obtained and a deviation from the standard identity E = 2STH is found at the order [Formula: see text]. This deviation leads to a nonvanishing Komar energy at the extremal point TH = 0 of these black holes. The Smarr formula is finally worked out for the NC Schwarzschild black hole. Similar features also exist for a de Sitter–Schwarzschild geometry.