A connected Lie group equals the square of the exponential image.
Consider a transitive definable action of a Lie group G on a definable manifold M. Given two (locally) definable subsets A and B of M, we prove that the dimension of the intersection σ(A) ∩ B is not greater than the expected one for a generic σ ∈ G.
Geometric control theory and Riemannian techniques are used to describe the reachable set at time t of left invariant single-input control systems on semi-simple compact Lie groups and to estimate the minimal time needed to reach any point from identity. This method provides an effective way to give an upper and a lower bound for the minimal time needed to transfer a controlled quantum system with a drift from a given initial position to a given final position. The bounds include diameters...
We discuss a concept of loopoid as a non-associative generalization of Brandt groupoid. We introduce and study also an interesting class of more general objects which we call semiloopoids. A differential version of loopoids is intended as a framework for Lagrangian discrete mechanics.