Search

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., 29 pages, article; minor revisions; version to appear in Classical and Quantum Gravity

We consider a class of exponentials in the Weyl-Heisenberg algebra with exponents of type at most linear in coordinates and arbitrary functions of momenta. They are expressed in terms of normal ordering where coordinates stand to the left from momenta. Exponents appearing in normal ordered form satisfy differential equations with boundary conditions that could be solved perturbatively order by order. Two propositions are presented for the Weyl-Heisenberg algebra in 2 dimensions and their generalizations in higher dimensions. These results can be applied to arbitrary noncommutative spaces for construction of star products, coproducts of momenta and twist operators. They can also be related to the BCH formula.

We give explicit formulae for differential graded Lie algebra (DGLA) models of 3-cells. In particular, for a cube and an $n$-faceted banana-shaped 3-cell with two vertices, $n$ edges each joining those two vertices and $n$ bi-gon 2-cells, we construct a model symmetric under the geometric symmetries of the cell fixing two antipodal vertices. The cube model is to be used in forthcoming work for discrete analogues of differential geometry on cubulated manifolds., 16 pages, 5 figures

The dynamics-from-permutations of classical Ising spins is studied for a chain of four spins. We obtain the Hamiltonian operator which is equivalent to the unitary permutation matrix that encodes assumed pairwise exchange interactions. It is shown how this can be summarized by an exact terminating Baker-Campbell-Hausdorff formula, which relates the Hamiltonian to a product of exponentiated two-spin exchange permutations. We briefly comment upon physical motivation and implications of this study., 11 pages; see also arXiv:2001.10907, especially for more references; accepted and to appear in Int. J. Geom. Meth. Mod. Phys. (IJGMMP)

The well-known Baker–Campbell–Hausdorff theorem in Lie theory says that the logarithm of a noncommutative product $$\text {e}^X \text {e}^Y$$ can be expressed in terms of iterated commutators of X and Y. This paper provides a gentle introduction to Ecalle’s mould calculus and shows how it allows for a short proof of the above result, together with the classical Dynkin (Dokl Akad Nauk SSSR (NS) 57:323–326, 1947) explicit formula for the logarithm, as well as another formula recently obtained by Kimura (Theor Exp Phys 4:041A03, 2017) for the product of exponentials itself. We also analyse the relation between the two formulas and indicate their mould calculus generalization to a product of more exponentials.

The Baker&ndash, Campbell&ndash, Hausdorff (BCH) expansion is a general purpose tool of use in many branches of mathematics and theoretical physics. Only in some special cases can the expansion be evaluated in closed form. In an earlier article we demonstrated that whenever [X,Y]=uX+vY+cI, BCH expansion reduces to the tractable closed-form expression Z(X,Y)=ln(eXeY)=X+Y+f(u,v)[X,Y], where f(u,v)=f(v,u) is explicitly given by the the function f(u,v)=(u&minus, v)eu+v&minus, (ueu&minus, vev)uv(eu&minus, ev)=(u&minus, v)&minus, (ue&minus, v&minus, ve&minus, u)uv(e&minus, e&minus, u). This result is much more general than those usually presented for either the Heisenberg commutator, [P,Q]=&minus, iℏI, or the creation-destruction commutator, [a,a&dagger, ]=I. In the current article, we provide an explicit and pedagogical exposition and further generalize and extend this result, primarily by relaxing the input assumptions. Under suitable conditions, to be discussed more fully in the text, and taking LAB=[A,B] as usual, we obtain the explicit result ln(eXeY)=X+Y+Ie&minus, LX&minus, e+LYI&minus, LXLX+I&minus, e+LYLY[X,Y]. We then indicate some potential applications.

In this work we introduce the contact Heisenberg algebra which is the restriction of the Jacobi algebra on contact manifolds to the linear and constant functions. We give the exact expression of its corresponding Baker-Campbell-Hausdorff formula. We argue that this result is relevant to the quantization of contact systems., 8 pages, version 2 with major corrections and improved results

Recently it has been introduced an algorithm Baker-Campbell-Hausdorff (BCH) formula, which extends the Van-Brunt and Visser recent results, leading to new closed forms of BCH formula. More recently, it has been shown that there are {\it 13 types} of such commutator algebras. We show, by providing the explicit solutions, that these include the generators of the semisimple complex Lie algebras. More precisely, for any pair, $X$, $Y$ of the Cartan-Weyl basis, we find $W$, linear combination of $X$, $Y$, such that $$ \exp(X) \exp(Y)=\exp(W) $$ The derivation of such closed forms follows, in part, by using the above mentioned recent results. The complete derivation is provided by considering the structure of of the root system. Furthermore, if $X$, $Y$ and $Z$ are three generators of the Cartan-Weyl basis, we find, for a wide class of cases, $W$, linear combination of $X$, $Y$ and $Z$, such that $$ \exp(X) \exp(Y) \exp(Z)=\exp(W) $$ It turns out that the relevant commutator algebras are {\it type 1c-i}, {\it type 4} and {\it type 5}. A key result concerns an iterative application of the algorithm leading to relevant extensions of the cases admitting closed forms of the BCH formula. Here we provide the main steps of such an iteration that will be developed in a forthcoming paper., 14 pages. Added a relevant extension of the Van-Brut Visser formula by iteration of the algorithm in arXiv:1502.06589, to appear in EPJC

A simple algorithm, which exploits the associativity of the BCH formula, and that can be generalized by iteration, extends the remarkable simplification of the Baker-Campbell-Hausdorff (BCH) formula, recently derived by Van-Brunt and Visser. We show that if $[X,Y]=uX+vY+cI$, $[Y,Z]=wY+zZ+dI$, and, consistently with the Jacobi identity, $[X,Z]=mX+nY+pZ+eI$, then $$ \exp(X)\exp(Y)\exp(Z)=\exp({aX+bY+cZ+dI}) $$ where $a$, $b$, $c$ and $d$ are solutions of four equations. In particular, the Van-Brunt and Visser formula $$\exp(X)\exp(Z)=\exp({aX+bZ+c[X,Z]+dI}) $$ extends to cases when $[X,Z]$ contains also elements different from $X$ and $Z$. Such a closed form of the BCH formula may have interesting applications both in mathematics and physics. As an application, we provide the closed form of the BCH formula in the case of the exponentiation of the Virasoro algebra, with ${\rm SL}_2({\rm C})$ following as a subcase. We also determine three-dimensional subalgebras of the Virasoro algebra satisfying the Van-Brunt and Visser condition. It turns out that the exponential form of ${\rm SL}_2({\rm C})$ has a nice representation in terms of its eigenvalues and of the fixed points of the corresponding M\"obius transformation. This may have applications in Uniformization theory and Conformal Field Theories., Comment: 1+8 pages. Comments and refences added. Typos corrected. Version to appear in JHEP

The Baker-Campbell-Hausdorff series computes the quantity \begin{equation*} Z(X,Y)=\ln\left( e^X e^Y \right) = \sum_{n=1}^\infty z_n(X,Y), \end{equation*} where $X$ and $Y$ are not necessarily commuting, in terms of homogeneous multinomials $z_n(X,Y)$ of degree $n$. (This is essentially equivalent to computing the so-called Goldberg coefficients.) The Baker-Campbell-Hausdorff series is a general purpose tool of wide applicability in mathematical physics, quantum physics, and many other fields. The Reinsch algorithm for the truncated series permits one to calculate up to some fixed order $N$ by using $(N+1)\times(N+1)$ matrices. We show how to further simplify the Reinsch algorithm, making implementation (in principle) utterly straightforward. This helps provide a deeper understanding of the Goldberg coefficients and their properties. For instance we establish strict bounds (and some equalities) on the number of non-zero Goldberg coefficients. Unfortunately, we shall see that the number of terms in the multinomial $z_n(X,Y)$ often grows very rapidly (in fact exponentially) with the degree $n$. We also present some closely related results for the symmetric product \begin{equation*} S(X,Y)=\ln\left( e^{X/2} e^Y e^{X/2} \right) = \sum_{n=1}^\infty s_n(X,Y). \end{equation*} Variations on these themes are straightforward. For instance, one can just as easily consider the series \begin{equation*} L(X,Y)=\ln\left( e^{X} e^Y e^{-X} e^{-Y}\right) = \sum_{n=1}^\infty \ell_n(X,Y). \end{equation*} This type of series is of interest, for instance, when considering parallel transport around a closed curve. Several other related series are investigated., v1: 23 pages. v2: Minor edits to fix some annoying typos; minor change of terminology; no scientific changes. v3: Now 21 pages plus 7 pages supplementary material. Some corrections, changes in presentation. This version more closely resembles the published article

The Baker-Campbell-Hausdorff formula is a general result for the quantity $Z(X,Y)=\ln( e^X e^Y )$, where $X$ and $Y$ are not necessarily commuting. For completely general commutation relations between $X$ and $Y$, (the free Lie algebra), the general result is somewhat unwieldy. However in specific physics applications the commutator $[X,Y]$, while non-zero, might often be relatively simple, which sometimes leads to explicit closed form results. We consider the special case $[X,Y] = u X + vY + cI$, and show that in this case the general result reduces to \[ Z(X,Y)=\ln( e^X e^Y ) = X+Y+ f(u,v) \; [X,Y]. \] Furthermore we explicitly evaluate the symmetric function $f(u,v)=f(v,u)$, demonstrating that \[ f(u,v) = {(u-v)e^{u+v}-(ue^u-ve^v)\over u v (e^u - e^v)}, \] and relate this to previously known results. For instance this result includes, but is considerably more general than, results obtained from either the Heisenberg commutator $[P,Q]=-i\hbar I$ or the creation-destruction commutator $[a,a^\dagger]=I$., V1: 5 pages. V2: 4 references added, some minor typos fixed, some discussion added. No change in conclusions. Now 6 pages. This version accepted for publication in Journal of Physics A: Mathematical and Theoretical

This article presents basic notions of Lie theory in the context of matrix groups with goals of minimizing the required mathematical background and maximizing accessibility. It is structured with exercises that enhance the text and make the notes suitable for (part of) an introductory course at the upper level undergraduate or early graduate level. Indeed the notes were originally written as part of an introductory course to geometric control theory.

After the torch of Anders Kock [Taylor series calculus for ring objects of line type, Journal of Pure and Applied Algebra, 12 (1978), 271-293], we will establish the Baker-Campbell-Hausdorff formula as well as the Zassenhaus formula in the theory of Lie groups.

Let F m = F m(var(sl 2(K))) be the relatively free algebra of rank m in the variety of Lie algebras generated by the algebra sl 2(K) over a field K of characteristic 0. Translating an old result of Baker from 1901 we present a multiplication rule for the inner automorphisms of the completion F m of F m with respect to the formal power series topology. Our results are more precise for m = 2 when F 2 is isomorphic to the Lie algebra L generated by two generic traceless 2 × 2 matrices. We give a complete description of the group of inner automorphisms of L. As a consequence we obtain similar results for the automorphisms of the relatively free algebra F m/F c+1 m = Fm(var(sl 2(K)) ? N c) in the subvariety of ar(sl 2(K)) consisting of all nilpotent algebras of class at most c in var(sl 2(K)). © Journal "Algebra and Discrete Mathematics".

Let Fm(var G) = Lm/I(G) be the relatively free Lie algebra of rank m in the variety of Lie algebras generated by a Lie algebra G over a field K of characteristic 0. We describe the groups of inner and outer automorphisms of the free metabelian nilpotent of class c algebra Lm/(L'' m + Lc+1 m) and the inner automorphisms of the relatively free algebra of rank 2 in the variety varsl2(K) ? n{fraktur}c. To obtain the results we first describe the group of inner automorphisms of the completion of the relatively free Lie algebras Lm/L'' m and F2(varsl2(K)) with respect to the formal power series topology. In the metabelian case we describe also the group of continuous outer automorphisms of the completion.

We describe realizations of a Lie colour algebra with three generators and five relations by matrices of power series in noncommuting indeterminates satisfying Heisenberg's canonical commutation relation of quantum mechanics. The obtained formulas are used to construct new operator representations of this Lie colour algebra using canonical representation of the Heisenberg commutation relation and creation and annihilation operators of the quantum mechanical harmonic oscillator.

For a torsion free finitely generated nilpotent group G we naturally associate four finite dimensional nilpotent Lie algebras over a field of characteristic zero. We show that if G is a relatively free group of some variery of nilpotent groups then all the above Lie algebras are isomorphic. As a result, any two quasi-isometric relatively free nilpotent groups are isomorphic. Moreover let L be a relatively free nilpotent Lie algebra over Q generated by X. We give L the structure of a group by means of the Baker-Campbell-Hausdorff formula and we show that the subgroup H generated by X is relatively free in some variety of nilpotent groups, is Magnus and certain Lie algebras associated to H are isomorphic. This isomorphism is extended to relatively free residually torsion-free nilpotent groups. Finally, we give an example that demonstrates that this is not always the case with finitely generated Magnus nilpotent groups., 49 pages, no figures

We describe a unification of several apparently unrelated factorizations arisen from quantum field theory, vertex operator algebras, combinatorics and numerical methods in differential equations. The unification is given by a Birkhoff type decomposition that was obtained from the Baker-Campbell-Hausdorff formula in our study of the Hopf algebra approach of Connes and Kreimer to renormalization in perturbative quantum field theory. There we showed that the Birkhoff decomposition of Connes and Kreimer can be obtained from a certain Baker-Campbell-Hausdorff recursion formula in the presence of a Rota-Baxter operator. We will explain how the same decomposition generalizes the factorization of formal exponentials and uniformization for Lie algebras that arose in vertex operator algebra and conformal field theory, and the even-odd decomposition of combinatorial Hopf algebra characters as well as to the Lie algebra polar decomposition as used in the context of the approximation of matrix exponentials in ordinary differential equations., accepted for publication in Comm. in Math. Phys

We prove that the logarithm of a group-like element in a free algebra coincides with its image by a certain linear map. We use this result and the formula of Le and Murakami for the Knizhnik-Zamolodchikov (KZ) associator $\Phi$ to derive a formula for $\log(\Phi)$ in terms of MZV's (multiple zeta values)., Comment: This is a contribution to the Vadim Kuznetsov Memorial Issue on Integrable Systems and Related Topics, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Multiplication of two elements of the special unitary group SU(N) determines uniquely a third group element. A BAker-Campbell-Hausdorff relation is derived which expresses the group parameters of the product (written as an exponential) in terms of the parameters of the exponential factors. This requires the eigen- values of three (N-by-N) matrices. Consequently, the relation can be stated analytically up to N=4, in principle. Similarity transformations encoding the time evolution of quantum mechanical observables, for example, can be worked out by the same means., 14 pages

In this paper the problem of the convergence of the Baker–Campbell–Hausdorff series for Z =log(e X e Y ) is revisited. We collect some previous results about the convergence domain and present a new estimate which improves all of them. We also provide a new expression of the truncated Lie presentation of the series up to sixth degree in X and Y requiring the minimum number of commutators. Numerical experiments suggest that a similar accuracy is reached with this approximation at a considerably reduced computational cost.

Let g be a simple Lie algebra over an algebraically closed field of characteristic zero. The goal of this note is to prove a closed formula for the Dynkin index of a principal sl 2 -subalgebra of g .

We apply Lie algebraic methods of the type developed by Baker, Campbell, Hausdorff, and Zassenhaus to the initial value and eigenvalue problems for certain special classes of partial differential operators which have many important applications in the physical sciences. We obtain detailed information about these operators including explicit formulas for the solutions of the problems of interest. We have also produced a computer program to do most of the intermediate algebraic computations.