Locally homogeneous non-gradient quasi-Einstein 3-manifolds

In this paper, we classify the compact locally homogeneous non-gradient m-quasi Einstein 3- manifolds. Along the way, we also prove that given a compact quotient of a Lie group of any dimension that is m-quasi Einstein, the potential vector field X must be left invariant and Killing. We also classify the nontrivial m-quasi Einstein metrics that are a compact quotient of the product of two Einstein metrics. We also show that S1 is the only compact manifold of any dimension which admits a metric which is nontrivially m-quasi Einstein and Einstein.

A Non-Iterative Method for the Difference of Means on the Lie Group of Symmetric Positive-Definite Matrices

A non-iterative method for the difference of means is presented to calculate the log-Euclidean distance between a symmetric positive-definite matrix and the mean matrix on the Lie group of symmetric positive-definite matrices. Although affine-invariant Riemannian metrics have a perfect theoretical framework and avoid the drawbacks of the Euclidean inner product, their complex formulas also lead to sophisticated and time-consuming algorithms. To make up for this limitation, log-Euclidean metrics with simpler formulas and faster calculations are employed in this manuscript. Our new approach is to transform a symmetric positive-definite matrix into a symmetric matrix via logarithmic maps, and then to transform the results back to the Lie group through exponential maps. Moreover, the present method does not need to compute the mean matrix and retains the usual Euclidean operations in the domain of matrix logarithms. In addition, for some randomly generated positive-definite matrices, the method is compared using experiments with that induced by the classical affine-invariant Riemannian metric. Finally, our proposed method is applied to denoise the point clouds with high density noise via the K-means clustering algorithm.

Lie theory for asymptotic symmetries in general relativity: The BMS Group

We study the Lie group structure of asymptotic symmetry groups in General Relativity from the viewpoint of infinite-dimensional geometry. To this end, we review the geometric definition of asymptotic simplicity and emptiness due to Penrose and the coordinate-wise definition of asymptotic flatness due to Bondi et al. Then we construct the Lie group structure of the Bondi--Metzner--Sachs (BMS) group and discuss its Lie theoretic properties. We find that the BMS group is regular in the sense of Milnor, but not real analytic. This motivates us to conjecture that it is not locally exponential. Finally, we verify the Trotter property as well as the commutator property. As an outlook, we comment on the situation of related asymptotic symmetry groups. In particular, the much more involved situation of the Newman--Unti group is highlighted, which will be studied in future work.

Principal bundles on two-dimensional CW-complexes with disconnected structure group

Given any topological group G, the topological classification of principal G-bundles over a finite CW-complex X is long known to be given by the set of free homotopy classes of maps from X to the corresponding classifying space BG. This classical result has been long-used to provide such classification in terms of explicit characteristic classes. However, even when X has dimension 2, there is a case in which such explicit classification has not been explicitly considered. This is the case where G is a Lie group, whose group of components acts nontrivially on its fundamental group $\pi_1G$ . Here, we deal with this case and obtain the classification, in terms of characteristic classes, of principal G-bundles over a finite CW-complex of dimension 2, with G is a Lie group such that $\pi_0G$ is abelian.

Lie Group Classification of Generalized Variable Coefficient Korteweg-de Vries Equation with Dual Power-Law Nonlinearities with Linear Damping and Dispersion in Quantum Field Theory

Many physical phenomena in fields of studies such as optical fibre, solid-state physics, quantum field theory and so on are represented using nonlinear evolution equations with variable coefficients due to the fact that the majority of nonlinear conditions involve variable coefficients. In consequence, this article presents a complete Lie group analysis of a generalized variable coefficient damped wave equation in quantum field theory with time-dependent coefficients having dual power-law nonlinearities. Lie group classification of two distinct cases of the equation was performed to obtain its kernel algebra. Thereafter, symmetry reductions and invariant solutions of the equation were obtained. We also investigate various soliton solutions and their dynamical wave behaviours. Further, each class of general solutions found is invoked to construct conserved quantities for the equation with damping term via direct technique and homotopy formula. In addition, Noether’s theorem is engaged to furnish more conserved currents of the equation under some classifications.

Singularity-Free Lie Group Integration and Geometrically Consistent Evaluation of Multibody System Models described in terms of Standard Absolute Coordinates

A classical approach to the MBS modeling is to use absolute coordinates, i.e. a set of (possibly redundant) coordinates that describe the absolute position and orientation of the individual bodies w.r.t. to an inertial frame (IFR). A well-known problem for the time integration of the equations of motion (EOM) is the lack of a singularity-free parameterization of spatial motions, which is usually tackled by using unit quaternions. Lie group integration methods were proposed as alternative approach to the singularity-free time integration. Lie group integration methods, operating directly on the configuration space Lie group, are incompatible with standard formulations of the EOM, and cannot be implemented in existing MBS simulation codes without a major restructuring. A framework for interfacing Lie group integrators to standard EOM formulations is presented in this paper. It allows describing MBS in terms of various absolute coordinates and at the same using Lie group integration schemes. The direct product group SO(3)xR3; and the semidirect product group SE(3) are use for representing rigid body motions. The key element of this method is the local-global transitions (LGT) transition map, which facilitates the update of (global) absolute coordinates in terms of the (local) coordinates on the Lie group. This LGT map is specific to the absolute coordinates, the local coordinates on the Lie group, and the Lie group used to represent rigid body configurations. This embedding of Lie group integration methods allows for interfacing with standard vector space integration methods.

Momentum Preserving Simulation of Cooperative Multi-Rotors with Flexible-Cable Suspended Payload

In this paper, a momentum-preserving integration scheme is implemented for the simulation of single and cooperative multi-rotors with a flexible-cable suspended payload by employing a Lie group based variational integrator (VI), which provides the preservation of the configuration manifold and geometrical constraints. Due to the desired properties of the implemented VI method, e.g. sypmlecticity, momentum preservation, and the exact fulfillment of the constraints, exponentially long-term numerical stability and good energy behavior are obtained for more accurate simulations of aforementioned systems. The effectiveness of Lie group VI method with the corresponding discrete systems are demonstrated by comparing the simulation results of two example scenarios for the single and cooperative systems in terms of the preserved quantities and constraints, where a conventional fixed-step Runge-Kutta 4 (RK4) and Variable-Step integrators are utilized for the simulation of continuous-time models. It is shown that the implemented VI method successfully performs the simulations with a long-time stable behavior by preserving invariants of the system and the geometrical constraints, whereas the simulation of continuous-time models by RK4 and Variable Step are incapable of satisfying these desired properties, which inherently results in divergent and unstable behavior in simulations.