We show that an infinite group G definable in a $1$-h-minimal field admits a strictly K-differentiable structure with respect to which G is a (weak) Lie group, and we show that definable local subgroups sharing the same Lie algebra have the same germ at the identity. We conclude that infinite fields definable in K are definably isomorphic to finite extensions of K and that $1$-dimensional groups definable in K are finite-by-abelian-by-finite. Along the way, we develop the basic theory of definable weak K-manifolds and definable morphisms between them.

Let $\mathbb {V}$ be a polarized variation of Hodge structure over a smooth complex quasi-projective variety $S$. In this paper, we give a complete description of the typical Hodge locus for such variations. We prove that it is either empty or equidistributed with respect to a natural differential form, the pull–push form. In particular, it is always analytically dense when the pull–push form does not vanish. When the weight is two, the Hodge numbers are $(q,p,q)$ and the dimension of $S$ is least $rq$, we prove that the typical locus where the Picard rank is at least $r$ is equidistributed in $S$ with respect to the volume form $c_q^r$, where $c_q$ is the $q$th Chern form of the Hodge bundle. We obtain also several equidistribution results of the typical locus in Shimura varieties: a criterion for the density of the typical Hodge loci of a variety in $\mathcal {A}_g$, equidistribution of certain families of CM points and equidistribution of Hecke translates of curves and surfaces in $\mathcal {A}_g$. These results are proved in the much broader context of dynamics on homogeneous spaces of Lie groups which are of independent interest. The pull–push form appears in this greater generality, we provide several tools to determine it, and we compute it in many examples.

The frameworks of Baikov–Gazizov–Ibragimov (BGI) and Fushchich–Shtelen (FS) approximate symmetries are used to study symmetry properties of partial differential equations with a small parameter. In general, it is shown that unlike the case of ordinary differential equations (ODEs), unstable BGI point symmetries of unperturbed partial differential equations (PDEs) do not necessarily yield local approximate symmetries for the perturbed model. While some relations between the BGI and FS approaches can be established, the two methods yield different approximate symmetry classifications. Detailed classifications are presented for two nonlinear PDE families. The second family includes a one-dimensional wave equation describing the wave motion in a hyperelastic material with a single family of fibers. For this model, approximate symmetries can be used to compute approximate closed-form solutions. Wave breaking times are found numerically and using the approximate solutions, which yield comparable results.

Let G be a complex semisimple Lie group and H a complex closed connected subgroup. Let and be their Lie algebras. We prove that the regular representation of G in $L^2(G/H)$ is tempered if and only if the orthogonal of in contains regular elements by showing simultaneously the equivalence to other striking conditions, such as has a solvable limit algebra.

Modeling the instantaneous kinematics of lower pair linkages using joint screws and the finite kinematics with Lie group concepts is well established on a solid theoretical foundation. This allows for modeling the forward kinematics of mechanisms as well the loop closure constraints of kinematic loops. Yet there is no established approach to the modeling of complex mechanisms possessing multiple kinematic loops. For such mechanisms, it is crucial to incorporate the kinematic topology within the modeling in a consistent and systematic way. To this end, in this paper a kinematic model graph is introduced that gives rise to an ordering of the joints within a mechanism and thus allows to systematically apply established kinematics formulations. It naturally gives rise to topologically independent loops and thus to loop closure constraints. Geometric constraints as well as velocity and acceleration constraints are formulated in terms of joint screws. An extension to higher order loop constraints is presented. It is briefly discussed how the topology representation can be used to amend structural mobility criteria.

In this paper, we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.

We prove that groups definable in o-minimal structures have Cartan subgroups, and only finitely many conjugacy classes of such subgroups. We also delineate with precision how these subgroups cover the ambient group.

We study recurrence and transience for Lévy processes induced by topological transformation groups acting on complete Riemannian manifolds. In particular the transience–recurrence dichotomy in terms of potential measures is established and transience is shown to be equivalent to the potential measure having finite mass on compact sets when the group acts transitively. It is known that all bi-invariant Lévy processes acting in irreducible Riemannian symmetric pairs of noncompact type are transient. We show that we also have ‘harmonic transience’, that is, local integrability of the inverse of the real part of the characteristic exponent which is associated to the process by means of Gangolli’s Lévy–Khinchine formula.

We consider the linear and non-linear enhancement of diffusion weighted magnetic resonance images (DW-MRI) to use contextual information in denoising and inferring fiber crossings. We describe the space of DW-MRI images in a moving frame of reference, attached to fiber fragments which allows for convection-diffusion along the fibers. Because of this approach, our method is naturally able to handle crossings in data. We will perform experiments showing the ability of the enhancement to infer information about crossing structures, even in diffusion tensor images (DTI) which are incapable of representing crossings themselves. We will present a novel non-linear enhancement technique which performs better than linear methods in areas around ventricles, thereby eliminating the need for additional preprocessing steps to segment out the ventricles. We pay special attention to the details of implementation of the various numeric schemes.

We study the space of commuting elements in the central product Gm,p of m copies of the special unitary group SU(p), where p is a prime number. In particular, a computation for the number of path-connected components of these spaces is given and the geometry of the moduli space Rep(ℤn, Gm,p) of isomorphism classes of flat connections on principal Gm,p-bundles over the n-torus is completely described for all values of n, m and p.

The aim of this paper is to prove that a control affine system on a manifold is equivalent by diffeomorphismto a linear system on a Lie group or a homogeneous space if and only if the vectorfields of the system are complete and generate a finite dimensionalLie algebra.

A vector field on a connected Lie group is linear if its flow is a one parametergroup of automorphisms. An affine vector field is obtained by adding aleft invariant one. Its projection on a homogeneous space, whenever it exists, is still called affine.

Affine vector fields on homogeneous spaces can be characterized by their Lie brackets withthe projections of right invariant vector fields.

A linear system on a homogeneous space is a system whose drift part isaffine and whose controlled part is invariant.

The main result is based on a general theorem on finite dimensional algebras generated by complete vector fields, closely related to a theorem of Palais, and which has its own interest. The present proof makes use of geometric control theory arguments.

The admissible representations of a real reductive group G are known by work of Langlands, Knapp, Zuckerman and Vogan. This paper describes an effective algorithm for computing the irreducible representations of G with regular integral infinitesimal character. The algorithm also describes structure theory of G, including the orbits of K(ℂ) (a complexified maximal compact subgroup) on the flag variety. This algorithm has been implemented on a computer by the second author, as part of the ‘Atlas of Lie Groups and Representations’ project.

A nonholonomic system subjected to external noise from the environment, or internal noise in its own actuators, will evolve in a stochastic manner described by an ensemble of trajectories. This ensemble of trajectories is equivalent to the solution of a Fokker–Planck equation that typically evolves on a Lie group. If the most likely state of such a system is to be estimated, and plans for subsequent motions from the current state are to be made so as to move the system to a desired state with high probability, then modeling how the probability density of the system evolves is critical. Methods for solving Fokker-Planck equations that evolve on Lie groups then become important. Such equations can be solved using the operational properties of group Fourier transforms in which irreducible unitary representation (IUR) matrices play a critical role. Therefore, we develop a simple approach for the numerical approximation of all the IUR matrices for two of the groups of most interest in robotics: the rotation group in three-dimensional space, SO(3), and the Euclidean motion group of the plane, SE(2). This approach uses the exponential mapping from the Lie algebras of these groups, and takes advantage of the sparse nature of the Lie algebra representation matrices. Other techniques for density estimation on groups are also explored. The computed densities are applied in the context of probabilistic path planning for kinematic cart in the plane and flexible needle steering in three-dimensional space. In these examples the injection of artificial noise into the computational models (rather than noise in the actual physical systems) serves as a tool to search the configuration spaces and plan paths. Finally, we illustrate how density estimation problems arise in the characterization of physical noise in orientational sensors such as gyroscopes.

Let $G$ be a compact group.

Let $\sigma$ be a continuous involution of $G$. In this paper, we are concerned by the following functional equation

$$\int\limits_{G}{f\left( xty{{t}^{-1}} \right)dt}\,+\int\limits_{G}{f\left( xt\sigma \left( y \right){{t}^{-1}} \right)dt}=2g\left( x \right)h\left( y \right),\,\,\,x,y\in G,$$

where $f,g,h:G\mapsto \mathbb{C}$, to be determined, are complex continuous functions on $G$ such that $f$ is central. This equation generalizes d’Alembert's and Wilson's functional equations. We show that the solutions are expressed by means of characters of irreducible, continuous and unitary representations of the group $G$.

We determine explicitly all the stable manifolds for the stochastic flows on certain homogeneous spaces of a semisimple Lie group of non-compact type induced by Lévy processes on the Lie group.

2000 Mathematical Subject Classification: 58J65.

We prove a homogenization formula for a sub-Laplacian are left invariant Hörmander vector fields) on a connected Lie group Gof polynomial growth. Then using a rescaling argument inspired from M. Avellanedaand F. H. Lin [2], we prove Harnack inequalities for the positive solutions of the equation (∂/∂t+ L)u= 0. Using these inequalities and further exploiting the algebraic structure of Gwe prove that the Riesz transforms , are bounded on Lq,1 < q <+∞ and from L1to weak-L1.