SearcharxivSearch

arXiv subjects

Ioan Casu

Publications and source records attributed to Ioan Casu.

18 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 elementary derivation of 3-cycles for a quadratic map

We present an elementary derivation of the period-three cycles for the real quadratic map $x\mapsto x^2+c$, a fundamental model in one-dimensional discrete dynamics. Using symmetric polynomials, we obtain a complete algebraic characterization of 3-cycles and determine explicit conditions for their existence and stability, without reliance on computer algebra. Through conjugacy with the logistic map, we recover the classical threshold values of the logistic parameter corresponding to the emergence and loss of stability of the 3-cycle. Our methodology outlines a transparent and algebraically grounded route to understanding the onset of chaos in quadratic and logistic dynamics.

math.DS

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

Energy methods in the stability problem for the $\mathfrak{so}(4)$ free rigid body

For the $\mathfrak{so}(4)$ free rigid body the stability problem for the isolated equilibria has been completely solved using Lie-theoretical and topological arguments. For each case of nonlinear stability previously found we construct a Lyapunov function. These Lyapunov functions are linear combinations of Mishchenko's constants of motion.

math.DS

Stability of equilibria for the $\mathfrak{so}(4)$ free rigid body

The stability for all generic equilibria of the Lie-Poisson dynamics of the $\mathfrak{so}(4)$ rigid body dynamics is completely determined. It is shown that for the generalized rigid body certain Cartan subalgebras (called of coordinate type) of $\mathfrak{so}(n)$ are equilibrium points for the rigid body dynamics. In the case of $\mathfrak{so}(4)$ there are three coordinate type Cartan subalgebras whose intersection with a regular adjoint orbit give three Weyl group orbits of equilibria. These coordinate type Cartan subalgebras are the analogues of the three axes of equilibria for the classical rigid body in $\mathfrak{so}(3)$. In addition to these coordinate type Cartan equilibria there are others that come in curves.

math.DS

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

On the stability problem and a bifurcation phenomenon for a special class of equilibria of the free rigid body on $\mathfrak{so}(5)$

The stability of a special class of equilibria for the free rigid body on $\mathfrak{so}(5)$ is discussed. An instability region and two stability regions are established. The list of constants of motion which assure the complete integrability of the system is presented and used in the approach of stability with energy methods. The importance of appropriate choosing for the constants of motion in the energy methods is pointed out. A set of non-canonical constants of motion for the free rigid body on $\mathfrak{so}(5)$ and their role are analyzed.

math.DS

On the stability problem for the $\mathfrak{so}(5)$ free rigid body

In the general case of the $\mathfrak{so}(n)$ free rigid body we give a list of integrals of motion, which generate the set of Mishchenko's integrals. In the case of $\mathfrak{so}(5)$ we prove that there are fifteen coordinate type Cartan subalgebras which on a regular adjoint orbit give fifteen Weyl group orbits of equilibria. These coordinate type Cartan subalgebras are the analogues of the three axes of equilibria for the classical rigid body on $\mathfrak{so}(3)$. The nonlinear stability and instability of these equilibria is analyzed. In addition to these equilibria there are ten other continuous families of equilibria.

math.DS

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