in numerical analysis there exist numerous examples of objects forming a _ group _ , i.e.  objects that compose in an associative manner , have an inverse and identity element .
typical examples are the group of orthogonal matrices or the group of runge  kutta methods .
_ semigroups _ , sets of objects close under composition but not inversion , like for instance the set of all matrices and explicit runge  kutta methods , are also well studied in literature .    however , there are important examples of objects that are neither a group nor a semigroup .
one important case is the class of objects closed under a ` sandwich - type ' product , @xmath0 .
for example , the collection of all symmetric positive definite matrices and all selfadjoint runge  kutta methods .
the sandwich - type composition @xmath1 for numerical integrators was studied at length in  @xcite and references therein . however ,
if inverses are well defined , we may wish to replace the sandwich product with the algebraically nicer _ symmetric product _ @xmath2 .
spaces closed under such products are called symmetric spaces and are the objects of study in this paper .
there is a parallel between the theory of lie groups and that of symmetric spaces . for lie groups ,
fundamental tools are the lie algebra ( tangent space at the identity , closed under commutation ) and the exponential map from the lie algebra to the lie group . in the theory of symmetric spaces
there is a similar notion of tangent space .
the resulting object is called a lie triple system ( lts ) , and is closed under _ double commutators _ , @xmath3 $ ] . also in this case ,
the exponential maps the lts into the symmetric space .
an important decomposition theorem is associated with symmetric spaces and lie triple systems : lie algebras can be decomposed into a direct sum of a lts and a subalgebra
. the well known splitting of a matrix as a sum of a symmetric and a skew symmetric matrix is an example of such a decomposition , the skew symmetric matrices are closed under commutators , while the symmetric matrices are closed under double commutators .
similarly , at the group level , there are decompositions of lie groups into a product of a symmetric space and a lie subgroup .
the matrix polar decomposition , where a matrix is written as the product of a symmetric positive definite matrix and an orthogonal matrix is one example .    in this paper
, we are concerned with the application of such structures to the numerical analysis of differential equations of evolution .
the paper is organised as follows : in  2 we review some general theory of symmetric spaces and lie triple systems .
applications of this theory in numerical analysis of differential equations are discussed in  3 , which , in turn , can be divided into two parts . in the first (  3.13.3 )
, we review and discuss the case of differential equations on matrix groups . the properties of these decompositions and numerical algorithms based on them are studied in a series of papers .
polar - type decompositions are studied in detail in  @xcite , with special emphasis on optimal approximation results .
the paper  @xcite is concerned with important recurrence relations for polar - type decompositions , similar to the baker - campbell - hausdorff formula for lie groups , while @xcite employ this theory to reduce the implementation costs of numerical methods on lie groups @xcite .
we mention that polar - type decompositions are also closely related to the more special root - space decomposition employed in numerical integrators for differential equations on lie groups in  @xcite . in
@xcite it is shown that the generalized polar decompositions can be employed in cases where the theory of  @xcite can not be used .    in the second part of  3 (  [ sec:3.3 ] and beyond ) , we will consider the application of this theory to numerical methods for the solution of differential equations with symmetries and reversing symmetries . by backward error analysis , numerical methods
can be thought of as exact flows of nearby vector fields .
the main goal is then to remove from the numerical method the _ undesired _ part of the error ( either the one destroying the symmetry or the reversing symmetry ) .
these error terms in the modified vector field generally consist of complicated derivatives of the vector field itself and are not explicitly calculated , they are just used formally for analysis of the method . in this context , the main tools are compositions at the group level , using the flow of the numerical method and the symmetries / reversing symmetries , together with their inverses .
there is a substantial difference between preserving reversing symmetries and symmetries for a numerical method : the first can be always be attained by a finite ( 2 steps ) composition ( scovel projection @xcite ) , the second requires in general an infinite composition . thus symmetries are generally more difficult to retain than reversing symmetries . for the retention of symmetry , we review the thue
morse symmetrization technique for arbitrary methods and present a new yoshida - like symmetry retention technique for self - adjoint methods .
the latter has always positive intermediate step sizes and can be of interest in the context of stiff problems , which typically require step size restrictions .
we illustrate the use of these symmetrisation methods by some numerical experiments .
finally , section  4 is devoted to some concluding remarks .
in this section we present some background theory for symmetric spaces and lie triple systems .
we expect the reader to be familiar with some basic concepts of differential geometry , like manifolds , vector fields , etc . for a more detailed treatment of symmetric spaces we refer the reader to @xcite and @xcite which also constitute the main reference of the material presented in this section
.    we shall also follow ( unless otherwise mentioned ) the notational convention of @xcite : in particular , @xmath4 is a set ( manifold ) , the letter @xmath5 is reserved for groups and lie groups , gothic letters denote lie algebras and lie triple systems , latin lowercase letters denote lie - group elements and latin uppercase letters denote lie - algebra elements .
the identity element of a group will usually be denoted by @xmath6 and the identity mapping by @xmath7 .
[ def:2.1 ] a _ symmetric space _ is a manifold @xmath4 with a differentiable _ symmetric product _ @xmath8 obeying the following conditions :    * @xmath9 * @xmath10 * @xmath11    and moreover    * every @xmath12 has a neighbourhood @xmath13 such that for all @xmath14 in @xmath13 @xmath15 implies @xmath16 .
the latter condition is relevant in the case of manifolds @xmath4 with open set topology ( as in the case of lie groups ) and can be disregarded for sets @xmath4 with discrete topology : a discrete set @xmath4 endowed with a multiplication obeying ( i)(iii ) will be also called a symmetric space .
a _ pointed symmetric space _ is a pair @xmath17 consisting of a symmetric space @xmath4 and a point @xmath18 called _ base point .
_ note that when @xmath4 is a lie group , it is usual to set @xmath19 .
moreover , if the group is a _ matrix _ group with the usual matrix multiplication , it is usual to set @xmath20 ( identity matrix ) .    the left multiplication with an element @xmath21 is denoted by @xmath22 , @xmath23 and is called _ symmetry around _ @xmath12 .
note that @xmath24 because of ( i ) , hence @xmath12 is fixed point of @xmath22 and it is isolated because of ( iv ) .
furthermore , ( ii ) and ( iii ) imply @xmath22 is an involutive automorphism of @xmath4 , i.e.  @xmath25 .
symmetric spaces can be constructed in several different ways , the following are important examples :    1 .
[ item:1 ] manifolds with an intrinsically defined symmetric product . as an example , consider the @xmath26-sphere as the set of unit vectors in @xmath27 .
the product @xmath28 turns this into a symmetric space .
the above operation is the reflection of points on a sphere .
this can be generalized to @xmath29-dimensional subspaces in @xmath30 ( @xmath31 ) in the following manner : assume that @xmath32 $ ] is a full rank matrix .
define @xmath33 the orthogonal projection operator onto the range of @xmath12 , @xmath34 .
consider the reflection @xmath35 .
define @xmath36 .
this operation obeys the conditions ( i)(vi ) whenever @xmath37 are @xmath38 full rank matrices .
in particular , note that ( i ) is equivalent to @xmath39 , i.e.  the reflection is an involutive matrix .
[ item:2 ] subsets of a continuous ( or discrete ) group @xmath5 that are closed under the composition @xmath40 , where @xmath41 is the usual multiplication in @xmath5 .
groups themselves , continuous , as in the case of lie groups , or discrete , are thus particular instances of symmetric spaces . as another example , consider the set of all symmetric positive definite matrices as a subset of all nonsingular matrices , which forms a symmetric space with the product @xmath42 3 .
[ item:3 ] symmetric elements of automorphisms on a group .
an automorphism on a group @xmath5 is a map @xmath43 satisfying @xmath44 .
symmetric elements _ are defined as @xmath45 it is easily verified that @xmath46 obeys ( i)(iv ) when endowed with the multiplication @xmath40 , hence it is a symmetric space . as an example ,
symmetric matrices are symmetric elements under the matrix automorphism @xmath47 .
[ item:4 ] homogeneous manifolds . given a lie group @xmath5 and a subgroup @xmath48
, a homogeneous manifold @xmath49 is the set of all left cosets of @xmath48 in @xmath5 .
not every homogeneous manifold possesses a product turning it into a symmetric space , however , we will see in theorem  [ th:2.1 ] that any connected symmetric space arises in a natural manner as a homogeneous manifold .
[ item:5 ] jordan algebras .
let @xmath50 be a finite - dimensional vector space with a bilinear multiplication @xmath51 such that @xmath52 ( powers defined in the usual way , @xmath53 ) , with unit element @xmath6 .
define @xmath54 and set @xmath55 .
then , the set of _ invertible _ elements of @xmath56 is a symmetric space with the product @xmath57 in the context of symmetric matrices , take @xmath58 , where @xmath41 denotes the usual matrix multiplication .
after some algebraic manipulations , one can verify that the product @xmath59 as in example  [ item:2 ] .
let @xmath5 be a connected lie group and let @xmath60 be an analytic involutive automorphism , i.e.  @xmath61 and @xmath62 .
let @xmath63 denote @xmath64 , @xmath65 its connected component including the base point , in this case the identity element @xmath6 and finally let @xmath66 be a closed subgroup such that @xmath67 .
set @xmath68 .
[ th:2.1 ] the homogeneous space @xmath69 is a symmetric space with the product @xmath70 and @xmath71 is a symmetric space with the product @xmath72 .
the space of symmetric elements @xmath71 is isomorphic to the homogeneous space @xmath73 .
moreover , every connected symmetric space is of the type @xmath74 and also of the type @xmath71 .
the interesting consequence of the above theorem is that _ every connected symmetric space _ is also a homogeneous space , which implies a factorization : as coset representatives for @xmath73 one may choose elements of @xmath71 , thus any @xmath75 can be decomposed in a product @xmath76 , where @xmath77 .
in other words , @xmath78 the matrix polar decomposition is a particular example , discussed in  [ sec:3.1 ] .
the automorphism @xmath60 on @xmath5 induces an automorphism on the lie algebra @xmath79 and also a canonical decomposition of @xmath79 .
let @xmath80 and @xmath81 denote the lie algebras of @xmath5 and @xmath66 respectively and denote by @xmath82 the differential of @xmath60 at @xmath6 , @xmath83 note that @xmath82 is an involutive automorphism of @xmath79 and has eigenvalues @xmath84 .
moreover , @xmath85 implies @xmath86 .
set @xmath87 .
then , @xmath88
it is easily verified that @xmath89 \subset \gg{k } , \quad      { [ \gg{k } , \gg{p } ] } \subset \gg{p } , \quad      { [ \gg{p } , \gg{p } ] } \subset \gg{k},\ ] ] that is , @xmath81 is a subalgebra of @xmath79 while @xmath90 is an ideal in @xmath81 . given @xmath91 , its canonical decomposition @xmath92 is @xmath93 , with @xmath94 and @xmath95 , @xmath96    we have already observed that there is close connection between projection matrices , reflections ( involutive matrices ) and hence symmetric spaces . in a linear algebra context , this statement can be formalized as follows .
recall that a matrix @xmath97 is a _ projection _ if @xmath98 .
[ th : proj ] to any projection matrix @xmath97 there corresponds an involutive matrix @xmath99 .
conversely , to any involutive matrix @xmath100 there correspond two projection matrices @xmath101 and @xmath102 .
these projections satisfy @xmath103 and @xmath104 , moreover @xmath105 , i.e.  the projection @xmath106 projects onto the @xmath84 eigenspace of @xmath100 .
note that if @xmath100 is involutive , so is @xmath107 , which corresponds to the opposite identification of the @xmath84 eigenspaces .
a matrix @xmath66 , whose columns are in the span of the @xmath108 eigenspace is said to be _ block - diagonal _ with respect to the automorphism , while a matrix @xmath109 , whose columns are in the span of the @xmath110 eigenspace , is said to be _
2-cyclic_.    in the context of lemma  [ th : proj ] , we recognize that @xmath94 is the 2-cyclic part and @xmath111 is the block - diagonal part .
namely , if @xmath112 is represented by a matrix , then @xmath113 where @xmath114 restricted to the appropriate subspaces . then , @xmath115 and @xmath116 corresponds to the block - diagonal part @xmath66 and @xmath117 corresponding to the 2-cyclic part @xmath109 .    in passing , we mention that the decomposition ( [ eq:2.3 ] ) is called a _
cartan decomposition _ whenever the cartan  killing form @xmath118 is nondegenerate , hence it can be used to introduce a positive bilinear form @xmath119 . if this is the case , the linear subspaces @xmath120 are orthogonal .
the involutive automorphism @xmath60 need not be defined at the group level @xmath5 and thereafter lifted to the algebra by ( [ eq:2.1 ] ) .
it is possible to proceed the other way around : an involutive algebra automorphism @xmath82 on @xmath79 , which automatically produces a decomposition ( [ eq:2.2])-([eq:2.3 ] ) , can be used to induce a group automorphism @xmath60 by the relation @xmath121 and a corresponding group factorization ( [ eq : polardecomp ] ) .
thus , we have an `` upstairs - downstairs '' viewpoint : the group involutive automorphisms generate corresponding algebra automorphisms and vice versa .
this `` upstairs - downstairs '' view is useful : in some cases , the group factorization ( [ eq : polardecomp ] ) is difficult to compute starting from @xmath12 and @xmath60 , while the splitting at the algebra level might be easy to compute from @xmath112 and @xmath82 . in other cases , it might be the other way around .
in lie group theory lie algebras are important since they describe infinitesimally the structure of the tangent space at the identity .
similarly , lie triple systems give the structure of the tangent space of a symmetric space .
[ sec:2.2 ]    ( @xcite ) [ def:2.2 ] a vector space with a trilinear composition @xmath122 $ ] is called a _ lie triple system _ ( lts ) if the following identities are satisfied :    * @xmath123=0 $ ] , * @xmath122+[y , z , x ] + [ z , x , y ] = 0 $ ] , * @xmath124 = [ [ x , y , u ] , v , w ] + [ u , [ x , y , v],w ] +      [ u , v,[x , y , w]]$ ] .    a typical way to construct a lts is by means of an involutive automorphism of a lie algebra @xmath79 . with the same notation as above
, the set @xmath90 is a lts with the composition @xmath125 = [ [ x , y ] , z].\ ] ] vice versa , for every lts there exists a lie algebra @xmath126 and an involutive automorphism @xmath60 such that the given lts corresponds to @xmath90 .
the algebra @xmath126 is called _ standard embedding _ of the lts . in general ,
any subset of @xmath79 that is closed under the operator @xmath127      \label{eq : t_x}\ ] ] is a lie triple system .
it can be shown that being closed under @xmath128 guarantees being closed under the triple commutator .
let @xmath129 be the group of @xmath130 invertible matrices . consider the map
@xmath131 it is clear that @xmath60 is an involutive automorphism of @xmath129 .
then , according to theorem  [ th:2.1 ] , the set of symmetric elements @xmath132 is a symmetric space .
we observe that @xmath71 is the set of invertible symmetric matrices .
the symmetric space @xmath71 is disconnected and particular mention deserves its connected component containing the identity matrix @xmath133 , since it reduces to the set of symmetric positive definite matrices .
the subgroup @xmath63 consists of all orthogonal matrices .
the decomposition  ( [ eq : polardecomp ] ) is the classical polar decomposition , any nonsingular matrix can be written as a product of a symmetric matrix and an orthogonal matrix . if we restrict the symmetric matrix to the symmetric positive definite ( spd ) matrices , then the decomposition is unique . in standard notation
, @xmath134 is denoted by @xmath135 ( spd matrix ) , while @xmath136 is denoted by @xmath137 ( orthogonal matrix ) . at the algebra level ,
the corresponding splitting is @xmath138 , where @xmath139 is the classical algebra of skew - symmetric matrices , while @xmath140 is the classical set of symmetric matrices .
the latter is not a subalgebra of @xmath141 but is closed under @xmath128 , hence is a lie triple system .
the decomposition ( [ eq : algebrasplitting ] ) is nothing else than the canonical decomposition of a matrix into its skew - symmetric and symmetric part , @xmath142 it is well known that the polar decomposition @xmath143 can be characterized in terms of best approximation properties .
the orthogonal part @xmath137 is the best orthogonal approximation of @xmath12 in any orthogonally invariant norm ( e.g.  2-norm and frobenius norm ) .
other classical polar decompositions @xmath144 , with @xmath135 hermitian and @xmath137 unitary , or with @xmath135 real and @xmath137 coinvolutory ( i.e.  @xmath145 ) , can also be fitted in this framework @xcite with the choice of automorphisms @xmath146 ( hermitian adjoint ) , and @xmath147 respectively ( where @xmath148 denotes the complex conjugate of @xmath12 ) .
the group decomposition @xmath144 can also be studied via the algebra decomposition .      in  @xcite
such decompositions are generalized to arbitrary involutive automorphisms , and best approximation properties are established for the general case .
clearly , also other types of automorphisms can be considered , generalizing the group factorization ( [ eq : polardecomp ] ) and the algebra splitting ( [ eq : algebrasplitting ] ) .
for instance , there is a large source of involutive automorphisms in the set of involutive _ inner automorphisms _ @xmath154 that can be applied to subgroups of @xmath155 to obtain a number of interesting factorizations .
the matrix @xmath156 has to be involutive , @xmath157 , but it need not be in the group : the factorization makes sense as long as @xmath158 is in the group ( resp .
@xmath159 is in the algebra ) . as an example , let @xmath160 be the group of orthogonal matrices , and let @xmath161 = i - 2 e_1 e_1^t$ ] , where @xmath162 denotes the @xmath163th canonical unit vector in @xmath30 .
obviously , @xmath164 , as @xmath165 ; nevertheless , we have @xmath166 , as long as @xmath167 , since @xmath168 and @xmath169 , thus @xmath170 .
it is straightforward to verify that the subgroup @xmath63 of theorem  [ th:2.1 ] consists of all orthogonal @xmath171 matrices of the form @xmath172 where @xmath173 . thus the corresponding symmetric space is @xmath174 .
matrices belong to the same coset if their first column coincide , thus the symmetric space can be identified with the @xmath175-sphere @xmath176 .    the corresponding splitting of a skew - symmetric matrix @xmath177 is @xmath178 thus any orthogonal matrix can be expressed as the product of the exponential of a matrix in @xmath90 and one in @xmath81 .
the space @xmath90 can be identified with the tangent space to the sphere in the point @xmath179 .
different choices of @xmath156 give different interesting algebra splittings and corresponding group factorizations .
for instance , by choosing @xmath156 to be the anti - identity , @xmath180 $ ] , one obtains an algebra splitting in _
persymmetric _ and _ perskew - symmetric _ matrices .
the choice @xmath181 $ ] for symplectic matrices , gives the splitting in lower - dimensional symplectic matrices forming a sub - algebra and a lie - triple system , and so on . in  @xcite ,
such splittings are used for the efficient approximation of the exponential of skew - symmetric , symplectic and zero - trace matrices . in  @xcite similar ideas
are used to construct computationally effective numerical integrators for differential equations on stiefel and grassman manifolds .
a similar framework can be used to obtain coordinates on lie groups @xcite , which are of interest when solving differential equations of the type @xmath182 by reducing the problem recursively to spaces of smaller dimension . recall that @xmath183 where @xmath184 obeys the differential equation @xmath185 , where @xmath186 , @xmath187 being the @xmath188th bernoulli number , see @xcite .
decomposing @xmath189 , where @xmath190 , the solution can be factorized as @xmath191 where @xmath192 + \sum_{j=1}^\infty 2^{2j } c_{2j } \mathrm{ad}^{2j}_p   \pi^{-}x , \quad c_{2j}=\frac{b_{2j}}{(2j ) ! } ,      \label{eq : pdot } \\
\dot k & = & \mathrm{dexp}^{-1}_k ( \pi^{+}x - 2 \sum_{j=1}^\infty ( 2^{2j}-1 ) c_{2j } \mathrm{ad}^{2j-1}_p \pi^{-}x ) .
\label{eq : kdot}\end{aligned}\ ] ] note that ( [ eq : kdot ] ) depends on @xmath109 , however , it is possible to formulate it solely in terms of @xmath66 , @xmath193 and @xmath194 , but the expression becomes less neat . in block form : @xmath195 where @xmath196 .
the above formula paves the road for a recursive decomposition , by recognizing that @xmath197 is the @xmath198 function on the restricted sub - algebra @xmath199 . by introducing a sequence of involutive automorphisms @xmath200 ,
one induces a sequence of subalgebras , @xmath201 , of decreasing dimention , @xmath202 .
note also that the functions appearing in the above formulation are all analytic functions of the @xmath203-operator , and are either odd or even functions , therefore they can be expressed as functions of @xmath204 on @xmath205 . in particular , this means that , as long as we can compute analytic functions of the @xmath204 operator , the above decomposition is computable .    thus , the problem is reduced to the computation of analytic functions of the 2-cyclic part @xmath109 as well as analytic functions of @xmath206 ( trivialized tangent maps and their inverse ) .
the following theorem addresses the computation of such functions using the same framework of lemma  [ th : proj ] .
let @xmath109 be the 2-cyclic part of @xmath207 with respect to the involution @xmath100 , i.e.  @xmath208 .
let @xmath209 .
for any analytic function @xmath210 , we have @xmath211 where @xmath212 and @xmath213 .
a similar result holds for @xmath206 , see @xcite .
it is interesting to remark that if @xmath214 then @xmath215 where @xmath216 as above . in particular , the problem is reduced to computing analytic functions of the principal square root of a matrix @xcite : numerical methods that compute these quantities accurately and efficiently are very important for competitive numerical algorithms .
typically , @xmath217 is a low - rank matrix , hence computations can be done using eigenvalues and eigenfunctions of the @xmath203 operator restricted to the appropriate space , see @xcite .
in particular , if @xmath218 are vectors , then @xmath219 is a scalar and the formulas become particularly simple .
these coordinates have interesting applications in control theory .
some early use of these generalized cartan decompositions ( [ eq:2.2])([eq:2.3 ] ) ( which the author calls @xmath220-_grading _ ) to problems with nonholonomic constraints can be found in @xcite . in @xcite ,
the authors embrace the formalism of symmetric spaces and use orthogonal ( cartan ) decompositions with applications to nmr spectroscopy and quantum computing , using adjoint orbits as main tool .
generally , these decompositions can be found in the literature , but have been applied mostly to the cases when @xmath221=\{0\ } $ ] or @xmath222=\{0\ } $ ] , or both , as ( [ eq : pdot])-([eq : kdot ] ) become very simple and the infinite sums reduce to one or two terms .
the main contribution of @xcite is the derivation of such differential equations _ and _ the evidence that such equations can be solved efficiently using linear algebra tools .
see also @xcite for some applications to control theory .
let @xmath223 be the group of diffeomorphisms of a manifold @xmath4 onto itself .
we say that a map @xmath224 has a symmetry @xmath225
if @xmath226 ( the multiplication indicating the usual composition of maps , i.e.   @xmath227 ) , while if @xmath228 we say that @xmath229 is a reversing symmetry of @xmath230 @xcite . without further ado , we restrict ourselves to involutory symmetries , the main subject of this paper .
symmetries and reversing symmetries are very important in the context of dynamical systems and their numerical integration .
for instance , nongeneric bifurcations can become generic in the presence of symmetries and vice versa .
thus , when using the integration time - step as a bifurcation parameter , it is vitally important to remain within the smallest possible class of systems . reversing symmetries , on the other hand ,
give rise to the existence of invariant tori and invariant cylinders @xcite .
it is a classical result that the set of symmetries possess the structure of a group  they behave like automorphisms and fixed sets of automorphisms .
the group structure , however , does not extend to reversing symmetries and fixed points of anti - automorphisms , and in the last few years the set of reversing symmetries has received the attention of numerous numerical analysts . in @xcite it was observed that the set of fixed points of an involutive anti - automorphism @xmath231 was closed under the operation @xmath232 that mclachlan et al .
called `` sandwich product . ''
pseudogroup_. ] indeed , our initial goal was to understand such structures and investigate how they could be used to devise new numerical integrators for differential equations with some special geometric properties .
we recognise , cfr .
[ sec:2.1 ] , that the set of fixed points of an anti - automorphism is a symmetric space .
conversely , any connected space of invertible elements closed under the `` sandwich product '' , is the set of the fixed points of an involutive automorphism ( cfr .
theorem  [ th:2.1 ] ) and has associated to it a lts . to show this , consider the well known symmetric bch formula , @xmath233 @xcite , which is used extensively in the context of _ splitting methods _ @xcite . because of the sandwich - type composition ( symmetric space structure ) , the corresponding @xmath234 must be in the lts space , and this explains why it can be written as powers of the double commutator operators @xmath235 applied to @xmath112 and @xmath236 .
a natural question to ask is : what is the automorphism @xmath60 having such sandwich - type composition as anti - fixed points ?
as @xmath237 , we see that , by writing @xmath238 , we have @xmath239 . in the context of numerical integrators ,
the automorphism @xmath60 consists in changing the time @xmath240 to @xmath241 .
this will be proved in
[ sec:3.4 ] .
if @xmath4 is a finite dimensional smooth compact manifold , it is well known that the infinite dimensional group of @xmath223 of all smooth diffeomorphisms @xmath242 is a lie group , with lie algebra @xmath243 of all smooth vector fields on @xmath4 , with the usual bracket and exponential map .
it should be noted , however , that the exponential map is not a one - to - one map , not even in the neighbourhood the identity element , since there exist diffeomorphisms arbitrary close to the identity which are not on any one - parameter subgroup and others which are on many .
however , the regions where the exponential map is not surjective become smaller and smaller the closer we approach the identity @xcite , and , for our purpose , we can disregard these regions and assume that our results are formally true .
there are two different settings that we can consider in this context .
the first is to analyze the set of differentiable maps that possess a certain symmetry ( or a discrete set of symmetries ) .
the second is to consider the structure of the set of symmetries of a fixed diffeomorphism .
the first has a continuous - type structure while the second is more often a discrete type symmetric space .
[ th:3.4 ] the set of diffeomorphisms @xmath230 that possess @xmath229 as an ( involutive ) reversing symmetry is a symmetric space of the type @xmath71
.    denote @xmath244 it is clear that @xmath60 acts as an automorphism , @xmath245 moreover , if @xmath229 is an involution then so is also @xmath60 .
note that the set of diffeomorphisms @xmath230 that possess @xmath229 as a reversing symmetry is the space of symmetric elements @xmath246 defined by the automorphism @xmath60 ( cfr .
[ sec:2 ] ) .
hence the result follows from theorem  [ th:2.1 ] .
[ th:3.4b ] the set of reversing symmetries acting on a diffeomorphism @xmath230 is a symmetric space with the composition @xmath247 .
if @xmath248 is a symmetry of @xmath230 then so is also @xmath249 , since @xmath250 and the assertion follows by taking the inverse on both sides of the equality . in particular , if @xmath248 is a symmetry of @xmath230 it is also true that @xmath251 is a reversing symmetry of @xmath252 .
next , we observe that if @xmath248 and @xmath253 are two reversing symmetries of @xmath230 then so is also @xmath254 , since @xmath255 it follows that the composition @xmath256 is an internal operation on the set of reversing symmetries of a diffeomorphism @xmath230 .    with the above multiplication , the conditions i)iii ) of definition  [ def:2.1 ] are easily verified .
this proves the assertion in the case when @xmath257 has a discrete set of reversing symmetries .    in what follows ,
we assume that @xmath258 is differentiable and involutory ( @xmath259 ) and @xmath260 .
acting on @xmath261 , we have @xmath262 where @xmath263 is the tangent map of @xmath264 .
the pullback is natural with respect to the jacobi bracket , @xmath265 = \mathcal{t } _ *    [ x , y ] \mathcal{t},\ ] ] for all vector fields @xmath266 .
hence the map @xmath82 is an involutory algebra automorphism .
let @xmath267 and @xmath90 be the eigenspaces of @xmath82 in @xmath268
. then @xmath269 where @xmath270 is the lie algebra of vector fields that have @xmath264 as a symmetry and @xmath271 is the lie triple system , vector fields corresponding to maps that have @xmath264 as a reversing symmetry .
thus , as is the case for matrices , every vector field @xmath112 can be split into two parts , @xmath272 having @xmath264 as a symmetry and reversing symmetry respectively .    in the context of ordinary differential equation ,
let us consider @xmath273 given an arbitrary involutive function @xmath264 , the vector field @xmath274 can always be canonically split into two components , having @xmath275 as a symmetry and reversing symmetry respectively .
however , if one of these components equals zero , then the system ( [ eq:3.3 ] ) has @xmath264 as a symmetry or a reversing symmetry .
let us consider the ode ( [ eq:3.3 ] ) , whose exact flow will be denoted as @xmath276 .
backward error analysis for odes implies that a ( consistent ) numerical method for the integration of ( [ eq:3.3 ] ) can be interpreted as the sampling at @xmath277 of the flow @xmath278 of a vector field @xmath279 ( the so called _ modified vector field _ ) which is close to @xmath274 , @xmath280 where @xmath134 is the order of the method ( note that setting @xmath277 , the local truncation error is of order @xmath281 ) .
consider next the map @xmath60 on the set of flows depending on the parameter @xmath282 defined as @xmath283 where @xmath284 , with @xmath285 .
the map @xmath60 is involutive , since @xmath286 , and it is easily verified by means of the bch formula that @xmath287 , hence @xmath60 is an automorphism .
consider next @xmath288 then @xmath289 if and only if @xmath290 , namely the method @xmath291 is _
selfadjoint_.    the set of one - parameter , consistent , selfadjoint numerical schemes is a symmetric space in the sense of theorem  [ th:2.1 ] , generated by @xmath60 as in ( [ eq:3.4 ] ) .
next , we perform the decomposition ( [ eq:2.2 ] ) .
we deduce from ( [ eq:3.4 ] ) that @xmath292 hence , @xmath293 is the subalgebra of vector fields that are odd in @xmath282 , and @xmath294 is the lts of vector fields that possess only even powers of @xmath282 .
thus , if @xmath279 is the modified vector field of a numerical integrator @xmath291 , its canonical decomposition in @xmath295 is @xmath296 the first term containing only odd powers of @xmath282 and the second only even powers .
then , if the numerical method @xmath297 is selfadjoint , it contains only odd powers of @xmath282 locally ( in perfect agreement with classical results on selfadjoint methods @xcite ) .
in @xcite it has been shown that it is possible to generalize the polar decomposition of matrices to lie groups endowed with an involutive automorphism : every lie group element @xmath298 sufficiently close to the identity can be decomposed as @xmath299 where @xmath300 , the space of symmetric elements of @xmath60 , and @xmath301 , the subgroup of @xmath5 of elements fixed under @xmath60 . furthermore , setting @xmath302 and @xmath303 , one has that @xmath304 is an odd function of @xmath240 and it is a best approximant to @xmath298 in @xmath63 in @xmath63 right - invariant norms constructed by means of the cartan  killing form , provided that @xmath5 is semisimple and that the decomposition @xmath305 is a cartan decomposition .
assume that @xmath230 , the exact flow of the differential equation ( [ eq:3.3 ] ) , has @xmath229 as a reversing symmetry ( i.e.  @xmath306 , where @xmath307 ) , while its approximation @xmath308 has not .
we perform the polar decomposition @xmath309 i.e.  @xmath310 has @xmath311 as a reversing symmetry , while @xmath312 has @xmath229 as a symmetry .
since the original flow has @xmath311 as a reversing symmetry ( and not symmetry ) , @xmath313 is the factor that we wish to eliminate .
we have @xmath314 .
hence the method obtained composing @xmath308 with @xmath315 has the reversing symmetry @xmath229 every other step . to obtain @xmath310
we need to extract the square root of the flow @xmath316 .
now , if @xmath317 is a flow , then its square root is simply @xmath318 .
however , if @xmath319 is the flow of a consistent numerical method ( @xmath320 ) , namely the numerical integrator corresponds to @xmath321 , it is not possible to evaluate the square root @xmath322 by simple means as it is not the same as the numerical method with half the stepsize , @xmath323 .
the latter , however , offers an approximation to the square root : note that @xmath324 an expansion which , compared with @xmath321 , reveals that the error in approximating the square root with the numerical method with half the stepsize is of the order of @xmath325 a term that is subsumed in the local truncation error .
the choice @xmath326 as an approximation to @xmath310 ( we stress that each flow is now evaluated at @xmath327 ) , yields a map that has the reversing symmetry @xmath275 at each step by design , since @xmath328    note that @xmath329 , where @xmath330 is the inverse ( or adjoint ) method of @xmath331 . if @xmath60 is given by ( [ eq:3.4 ] ) , then @xmath332 and this algorithm is precisely the _
scovel projection _
@xcite originally proposed to to generate selfadjoint numerical schemes from an arbitrary integrator , and then generalized to the context of reversing symmetries @xcite .
[ th:3.5 ] the generalized scovel projection is equivalent to choosing the @xmath246-factor in the polar decomposition of a flow @xmath291 under the involutive automorphism @xmath333 , whereby square roots of flows are approximated by numerical methods with half the stepsize .
another algorithm that can be related to the generalized polar decomposition of flows is the application of the thue
morse sequence to improve the preservation of symmetries by means of a numerical integrator @xcite .
given an involutive automorphism @xmath334 and a numerical method @xmath291 in a group @xmath5 of numerical integrators , iserles et al .
@xcite construct the sequence of methods @xmath335 } : = \varphi_h , \quad \varphi^{[k+1 ] } : = \varphi^{[k ] }    \sigma ( \varphi^{[k ] } ) , \qquad k=0,1 , 2,\ldots .
\label{eq : thue}\ ] ] since @xmath336 } = \sigma^0 \varphi^{[k]}$ ] , it is easily observed that the @xmath136-th method corresponds to composing @xmath337}$ ] and @xmath338}$ ] according to the @xmath136-th thue  morse sequence @xmath339 , as displayed below in table  [ tab:3.1 ] ( see @xcite ) .
.thue  morse iterations for the method @xmath336}$ ] . [ cols="^,<,<",options="header " , ]     iserles et al .
( @xcite ) showed , by a recursive use of the bch formula , that each iteration improves by one order the preservation of the symmetry @xmath340 by a consistent numerical method , where @xmath340 is the involutive automorphism such that @xmath341 .
the main argument of the proof is that if the method @xmath342}$ ] has a given symmetry error , the symmetry error of @xmath343})$ ] has the opposite sign .
hence the two leading symmetry errors cancel and @xmath344}$ ] has a symmetry error of one order higher . in other words
, if the method @xmath291 preserves @xmath345 to order @xmath134 , then @xmath336}$ ] preserves the symmetry @xmath345 to order @xmath346 every @xmath347 steps . as @xmath60 changes the sign of the symmetry error only , if a method @xmath291 has a given approximation order @xmath134 , so does @xmath348 .
thus @xmath349 } = \sigma ( \varphi_h)$ ] can be used as initial condition in ( [ eq : thue ] ) , obtaining the conjugate thue
morse sequence @xmath350 . by a similar argument , also @xmath351 } : = \varphi_h \hbox { or } \chi^{[0 ] } : = \sigma(\varphi_h ) , \quad \chi^{[k+1 ] } : = \sigma ( \chi^{[k ] } ) \chi^{[k ] } , \qquad k=0,1 , 2,\ldots ,    \label{eq : thue_compl}\ ] ] generate sequences with increasing order of preservation of symmetry .    as an illustration of the technique ,
consider the spatial pde @xmath352 , where @xmath353 is analytic in @xmath354 .
let the pde be defined over the domain @xmath355\times[-l , l]$ ] with periodic boundary conditions and initial value @xmath356 .
if @xmath356 is symmetric on the domain , i.e.  @xmath357 , so is the solution for all @xmath240 .
the symmetry is @xmath358 .
now , assume that we solve the equation by the method of alternating directions , where the method @xmath230 corresponds to solving with respect to the @xmath12 variable keeping @xmath14 fixed , while @xmath359 with respect to the @xmath14 variable keeping @xmath12 fixed .
the symmetry will typically be broken at the first step .
nevertheless , we can get a much more symmetric solution if the sequence of the directions obeys the thue
morse sequence ( iteration @xmath336}$ ] ) or the equivalent sequence given by iteration @xmath360}$ ] .
this example is illustrated in figures  [ fig : alt_dir]-[fig : alt_dir2 ] .     for the method of alternating directions for the pde @xmath361 , on a square , with initial condition @xmath362 and periodic boundary conditions .
the integration is performed using the first order method @xmath363 ( forward euler ) , where @xmath364 is a circulant divided difference discretization matrix of the differential operators @xmath365 ( second order central differences ) .
the experiments are performed with constant stepsize @xmath366 .
the order of the overall approximation is the same as the original method ( first order only ) , the only difference is the order of the directions , chosen according to the thue
morse sequence .
the different symbols correspond to different sampling rates : every step , every second step , fourth , eight ,  .
from top left to bottom right : sequences 0 , 01 , 0110 , 01101001 , etc . ]     versus step size @xmath282 for the method of alternating directions for the pde @xmath367 , as above .
the basic method @xmath230 ( method  0 " ) is now a symmetric composition with the heun method : half step in the @xmath12 direction , full step in the @xmath14 direction , half step in the @xmath12 direction , all of them performed with the heun method ( improved euler ) .
it is immediately observed that the symmetry error is improved by choosing the directions according to the thue
morse sequence .
the order of the method ( global error ) remains unchanged ( order two ) . ]      in a famous paper that appeared in 1990 ( @xcite ) yoshida showed how to construct high order time - symmetric integrators starting from lower order time - symmetric symplectic ones .
yoshida showed that , if @xmath230 is a selfadjoint numerical integrator of order @xmath368 , then @xmath369 is a selfadjoint numerical method of order @xmath370 provided that the coefficients @xmath371 and @xmath372 satisfy the condition @xmath373 whose only real solution is @xmath374 in the formalism of this paper , time - symmetric methods correspond to @xmath71-type elements with @xmath60 as in ( [ eq:3.4 ] ) and it is clearly seen that the yoshida technique can be used in general to improve the order of approximation of @xmath246-type elements .    a similar procedure can be applied to improve the order of the retention of symmetries and not just reversing symmetries . to be more specific , let @xmath375 be a symmetry of the given differential equation , namely @xmath376 , with @xmath377 , @xmath378 , @xmath379 denoting the pullback of @xmath340 to @xmath380 ( see  [ sec:3.3 ] ) . here
, the involutive automorphism is given by @xmath381 so that @xmath382    [ prop : yoshida_self ] assume that @xmath383 is the flow of a self - adjoint numerical method of order @xmath368 , @xmath384 , @xmath385 , where @xmath386 , @xmath387 and @xmath274 has @xmath388 as a symmetry .
the composition @xmath389}_{h}(t ) = \varphi_{ah}(at ) \sigma(\varphi_{bh}(bt ) )       \varphi_{ah}(at ) ,      \label{eq : yoshida.2}\ ] ] with @xmath390 has symmetry error @xmath370 at @xmath277 .
write ( [ eq : yoshida.2 ] ) as @xmath389}_{h}(t ) = \exp(at f_{ah } ) \exp(bt \d\sigma(f_{bh } ) )       \exp(atf_{ah}).\ ] ] application of the symmetric bch formula , together with the fact that @xmath82 acts by changing the signs on the @xmath90-components only , allows us to write the relation ( [ eq : yoshida.2 ] ) as @xmath391}_{h}(t ) & = & \exp((2a+b)t f + ( 2(at)(ah)^{2p } + ( bt ) ( bh)^{2p } ) k_{2p }       \label{eq : yoshida.3 } \\      & & \qquad \mbox { } +       ( 2at(ah)^{2p}-bt(bh)^{2p})p_{2p }        + \oo{th^{2p+2 } } + \oo{t^{3}h^{2p } } + \cdots ) , \nonumber\end{aligned}\ ] ] where the @xmath392 comes from the @xmath393 term and the @xmath394 from the commutation of the @xmath274 and @xmath395 terms ( recall that no first order commutator appears in the symmetric bch formula ) .
the numerical method is obtained letting @xmath277 .
we require @xmath396 for consistency , and @xmath397 to annihilate the coefficient of @xmath398 , the lowest order @xmath90-term .
the resulting method @xmath399}_{h}(t)$ ] retains the symmetry @xmath340 to order @xmath370 , as the first leading symmetry error is a @xmath400 term .
this procedure allows us to gain two extra degrees in the retention of symmetry per iteration , provided that the underlying method is selfadjoint , compared with the thue
morse sequence of @xcite that yields one extra degree in symmetry per iteration but does not require selfadjointness . as for the yoshida technique , the composition ( [ eq : yoshida.2 ] ) can be iterated @xmath136 times to obtain a time - symmetric method of order @xmath368 that retains symmetry to order @xmath401 .
the disadvantage of ( [ eq : yoshida.2 ] ) , with respect to the classical yoshida approach is the fact that the order of the method is retained ( and does not increase by 2 units as the symmetry error ) .
the main advantage is that all the steps are positive , in particular the second step , @xmath402 , whereas the @xmath372 is always negative for @xmath403 and typically larger than @xmath371 , requiring step - size restrictions for stiff methods . in the limit , when @xmath404 , @xmath405 , i.e.  the step lengths become equal .
thus , the proposed technique for improving symmetry is of particular interest in the context of stiff problems .
this is illustrated by the following example and figure  [ fig : stiff ] .
[ ex:1 ] consider the pde @xmath406 , defined on the square @xmath407\times [ -1,1]$ ] , with a gaussian initial condition , @xmath408 , and periodic boundary conditions .
the problem is semi - discretized on a uniform and isotropic mesh with spacing @xmath409 and is reduced to the set of odes @xmath410 , where @xmath411 and @xmath412 , @xmath413 being the circulant matrix of the standard second order divided differences , with stencil @xmath414 $ ] . for the time integration ,
we consider the splitting @xmath415 , where @xmath416 and @xmath417 and the second order self - adjoint method : @xmath418 we display the global error and the symmetry error for time - integration step sizes @xmath419 $ ] , where the parameter @xmath420 is chosen to be the largest step size for which the basic method @xmath230 in ( [ eq : pde ] ) is stable .
the factor @xmath421 comes from the fact that both the yoshida and our symmetrization method ( [ eq : yoshida.2 ] ) require 3 sub - steps of the basic method .
so , one step of the yoshida and our symmetrising composition can be expected to cost the same as the basic method ( [ eq : pde ] ) .
as we can see in figure  [ fig : stiff ] , the yoshida technique , with @xmath422 and @xmath423 , does the job of increasing the order of accuracy of the method from two to four , and so does the symmetry error .
however , since @xmath424 , the @xmath372-step is negative , and , as a consequence , it is observed that the method fails to converge for the two largest values of the step size .
conversely , our symmetrization method ( [ eq : yoshida.2 ] ) has @xmath425 and @xmath426 , with @xmath402 positive , and the method converges for all the time - integration steps .
as expected , the order is not improved , but the symmetry order is improved by two units . the symmetry @xmath60 is applied by transposing the matrix representation @xmath427 of the solution at @xmath428 , before and after the intermediate @xmath402-step .
otherwise , the two implementations are identical .    )
( right ) for the basic self - adjoint method ( [ eq : pde ] ) applied to a semidiscretization of @xmath406 .
the order with the yoshida techique increases by two units , but the method does not converge for the two largest values of the step size .
our symmetrization technique improves by two units the order of retention of symmetry ( but not global error ) . due to the positive step - sizes
, it converges also for the two largest values of the step size .
see text for details.,title="fig : " ] ) ( right ) for the basic self - adjoint method ( [ eq : pde ] ) applied to a semidiscretization of @xmath406 .
the order with the yoshida techique increases by two units , but the method does not converge for the two largest values of the step size .
our symmetrization technique improves by two units the order of retention of symmetry ( but not global error ) . due to the positive step - sizes
, it converges also for the two largest values of the step size .
see text for details.,title="fig : " ]
in this paper we have shown that the algebraic structure of lie triple systems and the factorization properties of symmetric spaces can be used as a tool to : 1 ) understand and provide a unifying approach to the analysis of a number of different algorithms ; and 2 ) devise new algorithms with special symmetry / reversing symmetry properties in the context of the numerical solution of differential equations . in particular , we have seen that symmetries are more difficult to retain ( to date , we are not aware of methods that can retain a generic involutive symmetry in a finite number of steps ) , while the situation is simpler for reversing symmetries , which can be achieved in a finite number of steps using the scovel composition .
so far , we have considered the most generic setting where the only allowed operations are non - commutative compositions of maps ( the map @xmath230 , its transformed , @xmath359 , and their inverses ) . if the underlying space is linear and so is the symmetry , i.e.  @xmath429 , the map @xmath430 obviously satisfies the symmetry @xmath60 , as @xmath431 . because of the linearity and the vector - space property , we can use the same operation as in the tangent space , namely we identify @xmath60 and @xmath432 .
this is in fact the most common symmetrization procedure for linear symmetries in linear spaces .
for instance , in the context of the alternating - direction examples , a common way to resolve the symmetry issue is to first solve , say , the @xmath12 and the @xmath14 direction , solve the @xmath14 and the @xmath12 direction with the same initial condition , and then average the two results .    in this paper
we did not mention the use and the development of similar concepts in a more strict linear algebra setting .
some recent works deal with the further understanding of scalar products and structured factorizations , and more general computation of matrix functions preserving group structures , see for instance @xcite and references therein .
some of these topics are covered by other contributions in the present bit issue , which we strongly encourage the reader to read to get a more complete picture of the topic and its applications .
* acknowledgements .
* h.m .- k .
, g.r.w.q . and a.z .
wish to thank the norwegian research council and the australian research council for financial support .
special thanks to yuri nikolayevsky who gave us important pointers to the literature on symmetric spaces .                                                          j.  c. scovel .
symplectic numerical integration of hamiltonian systems . in tudor
ratiu , editor , _ the geometry of hamiltonian systems _ , volume  22 , pages 463496 .
msri , springer - verlag , new york , 1991 .
symplectic numerical integration of hamiltonian systems .