SearcharxivSearch

arXiv subjects

Dan Comanescu

Publications and source records attributed to Dan Comanescu.

At least 19 recordsLinked to original sources

Optimization with inequality constraints by the embedded gradient vector field method

We develop a geometric framework for constrained optimization problems with inequality constraints through the introduction of quadratic slack variables. This formulation makes it possible to employ the language of Riemannian geometry and to solve the problem via the embedded gradient vector field method. We lift the feasible set to a smooth submanifold of an extended ambient space. The stratified structure of the resulting constraint manifold is analyzed in detail, yielding a natural partition according to which constraints are active. Using the embedded gradient vector field formalism, we derive explicit, determinantal formulas for the Lagrange multiplier functions directly from the geometry of the constraint manifold, recovering and re-framing the classical Karush-Kuhn-Tucker first-order necessary conditions without invoking the classical Lagrange multiplier method. Second-order optimality conditions are obtained by computing the restricted Hessian on each stratum, and a complete sign condition on the Lagrange multipliers is identified as the geometric counterpart of the classical complementary slackness condition. The theory is illustrated on the double ice-cream cone example, where the geometry of the problem determines the nature and number of local minima.

math.OC

An explicit formula for the Laplace-Beltrami operator on the Stiefel manifold

We derive an explicit formula for the Laplace-Beltrami operator on the orthogonal Stiefel manifold, viewed as a constraint submanifold of the Euclidean space of real matrices equipped with the Frobenius metric. Using the general framework of Laplace operators on constraint manifolds, we provide the formula for the Laplace-Beltrami operator in terms of the ambient Euclidean coordinates. The result extends previously known cases, recovering the formulas for the sphere and the special orthogonal group as particular instances.

math.DG

Upper block triangular form for the Laplace-Beltrami operator on the special orthogonal group acquired through a flag of trace polynomials spaces

The Laplacian of a general trace polynomial function defined on the special orthogonal group $SO(N)$ is explicitly computed. An invariant flag of spaces generated by trace polynomials is constructed. The matrix of the Laplace-Beltrami operator on $SO(N)$ for this flag of vector spaces takes an upper block triangular form. As a consequence of this construction, the eigenvalues and eigenfunctions of the Laplace-Beltrami operator on $SO(N)$ can be computed in an iterative manner. For the particular cases of the special orthogonal groups $SO(3)$ and $SO(4)$ the complete list of eigenvalues is obtained and the corresponding irreducible characters of the representation for these groups are expressed as trace polynomials.

math-ph

Laplace-Beltrami operator on the orthogonal group in Cartesian coordinates

Using the embedded gradient vector field method (see P. Birtea, D. Comanescu, Hessian operators on constraint manifolds, J. Nonlinear Science 25, 2015), we present a general formula for the Laplace-Beltrami operator defined on a constraint manifold, written in the ambient coordinates. Regarding the orthogonal group as a constraint submanifold of the Euclidean space of $n\times n$ matrices, we give an explicit formula for the Laplace-Beltrami operator on the orthogonal group using the ambient Euclidean coordinates. We apply this new formula for some relevant functions.

math-ph

Constraint optimization and $\mathcal{SU}(N)$ quantum control landscapes

We develop the embedded gradient vector field method, introduced in [8] and [9], for the case of the special unitary group $\mathcal{SU}(N)$ regarded as a constraint submanifold of the unitary group $\mathcal{U}(N)$. The optimization problem associated to the trace fidelity cost function defined on $\mathcal{SU}(N)$ that appears in the context of $\mathcal{SU}(N)$ quantum control landscapes is completely solved using the embedded gradient vector field method. We prove that for $N\geq 5$, the landscape is not $\mathcal{SU}(N)$-trap free, there are always kinematic local extrema that are not global extrema.

quant-ph

Second order optimality on orthogonal Stiefel manifolds

The main tool to study a second order optimality problem is the Hessian operator associated to the cost function that defines the optimization problem. By regarding an orthogonal Stiefel manifold as a constraint manifold embedded in an Euclidean space we obtain a concise matrix formula for the Hessian of a cost function defined on such a manifold. We introduce an explicit local frame on an orthogonal Stiefel manifold in order to compute the components of the Hessian matrix of a cost function. We present some important properties of this frame. As applications we rediscover second order conditions of optimality for the Procrustes and the Penrose regression problems (previously found in the literature). For the Brockett problem we find necessary and sufficient conditions for a critical point to be a local minimum. Since many optimization problems are approached using numerical algorithms, we give an explicit description of the Newton algorithm on orthogonal Stiefel manifolds.

math.NA

Optimization on the symplectic group

We regard the real symplectic group $Sp(2n,\mathbb{R})$ as a constraint submanifold of the $2n\times 2n$ real matrices $\mathcal{M}_{2n}(\mathbb{R})$ endowed with the Euclidean (Frobenius) metric, respectively as a submanifold of the general linear group $Gl(2n,\mathbb{R})$ endowed with the (left) invariant metric. For a cost function that defines an optimization problem on the real symplectic group we give a necessary and sufficient condition for critical points and we apply this condition to the particular case of a least square cost function. In order to characterize the critical points we give a formula for the Hessian of a cost function defined on the real symplectic group, with respect to both considered metrics. For a generalized Brockett cost function we present a necessary condition and a sufficient condition for local minimum. We construct a retraction map that allows us to detail the steepest descent and embedded Newton algorithms for solving an optimization problem on the real symplectic group.

math.OC

Characterization of the critical points for the free energy of a Cosserat problem

Using the embedded gradient vector field method we explicitly compute the list of critical points of the free energy for a Cosserat body model. We also formulate necessary and sufficient conditions for critical points in the abstract case of the special orthogonal group SO(n). Each critical point is then characterized using an explicit formula for the Hessian operator of a cost function defined on the orthogonal group. We also give a positive answer to an open question posed in L. Borisov, A. Fischle, P. Neff, "Optimality of the relaxed polar factors by a characterization of the set of real square roots of real symmetric matrices", ZAMM (2019), namely if all local minima of the optimization problem are global minima. We point out a few examples with physical relevance, in contrast to some theoretical (mathematical) situations that do not hold such a relevance.

math-ph

Steepest descent algorithm on orthogonal Stiefel manifolds

Considering orthogonal Stiefel manifolds as constraint manifolds, we give an explicit description of a set of local coordinates that also generate a basis for the tangent space in any point of the orthogonal Stiefel manifolds. We show how this construction depends on the choice of a submatrix of full rank. Embedding a gradient vector field on an orthogonal Stiefel manifold in the ambient space, we give explicit necessary and sufficient conditions for a critical point of a cost function defined on such manifolds. We explicitly describe the steepest descent algorithm on the orthogonal Stiefel manifold using the ambient coordinates and not the local coordinates of the manifold. We point out the dependence of the recurrence sequence that defines the algorithm on the choice of a full rank submatrix. We illustrate the algorithm in the case of Brockett cost functions.

math.OC

A note on stability of spacecrafts and underwater vehicles

A Hamilton-Poisson system is an approach for the motion of a spacecraft around an asteroid or for the motion of an underwater vehicle. We construct a coordinate chart on the symplectic leaf which contains a specific generic equilibrium point and we establish stability conditions for this equilibrium point.

math-ph

A note on stability of nongeneric equilibria for an underwater vehicle

We study the Lyapunov stability of a family of nongeneric equilibria with spin for underwater vehicles with noncoincident centers. The nongeneric equilibria belong to singular symplectic leaves that are not characterized as a preimage o a regular value of the Casimir functions. We find an invariant submanifold such that the nongeneric equilibria belong to a preimage of a regular value that involves sub-Casimir functions. We obtain results for nonlinear stability on this invariant submanifold.

math-ph

Instability conditions for circulatory and gyroscopic conservative systems

We give a method which generates sufficient conditions for instability of equilibria for circulatory and gyroscopic conservative systems. The method is based on the Gramians of a set of vectors whose coordinates are powers of the roots of the characteristic polynomial for the studied systems. New instability results are obtained for general circulatory and gyroscopic conservative systems. We also apply this method for studying the instability of motion for a charged particle in a stationary electromagnetic field.

math.DS

Geometrical dissipation for dynamical systems

On a Riemannian manifold $(M,g)$ we consider the $k+1$ functions $F_1,...,F_k,G$ and construct the vector fields that conserve $F_1,...,F_k$ and dissipate $G$ with a prescribed rate. We study the geometry of these vector fields and prove that they are of gradient type on regular leaves corresponding to $F_1,...,F_k$. By using these constructions we show that the cubic Morrison dissipation and the Landau-Lifschitz equation can be formulated in a unitary form.

math.DS

Stability problem for the torque-free gyrostat by using algebraic methods

We apply an algebraic method for studying the stability with respect to a set of conserved quantities for the problem of torque-free gyrostat. If the conditions of this algebraic method are not fulfilled then the Lyapunov stability cannot be decided using the specified set of conserved quantities.

math-ph

Hamilton-Poisson formulation for the rotational motion of a rigid body in the presence of an axisymmetric force field and a gyroscopic torque

We give sufficient conditions for the rigid body in the presence of an axisymmetric force field and a gyroscopic torque to admit a Hamilton-Poisson formulation. Even if by adding a gyroscopic torque we initially lose one of the conserved Casimirs, we recover another conservation law as a Casimir function for a modified Poisson structure. We apply this frame to several well known results in the literature.

math.DS

An Adhesion Model for the Drag Force

The paper present a model for the drag force between a resistive medium and a solid body using the hypothesis that the drag force is created by the adhesion of some particles of the resistive medium on the solid body's surface. The study focus on the mass evolution of the solid body.

math-ph