Related papers: Lie group computation of finite difference schemes
A diverse collection of fusion categories may be realized by the representation theory of quantum groups. There is substantial literature where one will find detailed constructions of quantum groups, and proofs of the…
In this survey, symmetry provides a framework for classification of manifolds with differential-geometric structures. We highlight pseudo-Riemannian metrics, conformal structures, and projective structures. A range of techniques have been…
We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.
We develop some calculation schemes to determine dynamics of a wide class of integrable quantum-optical models using their symmetry adapted reformulation in terms of polynomial Lie algebras $su_{pd}(2)$. These schemes, based on "diagonal"…
A connected algebraic group in characteristic 0 is uniquely determined by its Lie algebra. In this paper an algorithm is given for constructing an algebraic group in characteristic 0, given its Lie algebra. Using this an algorithm is…
We derive a method for finding Lie Symmetries for third-order difference equations. We use these symmetries to reduce the order of the difference equations and hence obtain the solutions of some third-order difference equations. We also…
We present algorithms to solve coupled systems of linear differential equations, arising in the calculation of massive Feynman diagrams with local operator insertions at 3-loop order, which do {\it not} request special choices of bases.…
There are many Lie groups used in physics, including the Lorentz group of special relativity, the spin groups (relativistic and non-relativistic) and the gauge groups of quantum electrodynamics and the weak and strong nuclear forces.…
Methods of Lie group analysis of differential equations are extended to weak solutions of (linear and nonlinear) PDEs, where the term ``weak solution'' comprises the following settings: (a) Distributional solutions. (b) Solutions in…
Symmetry groups of PDEs allow to transform solutions continuously into other solutions. In this paper, we use this property for the observability analysis of nonlinear PDEs with input and output. Based on a differential-geometric…
We show that computing the lattice programming gap of the group problems is NP-hard when the dimension is a part of input. We also obtain lower and upper bounds for the gap in terms of the cost vector and the determinant of the lattice.
This paper is a tutorial in a general and explicit procedure to simplify semidefinite programs which are invariant under the action of a symmetry group. The procedure is based on basic notions of representation theory of finite groups. As…
A numerical procedure and its MAPLE implementation capable of rigorously, albeit in a brute-force manner, proving specific strict one-variable inequalities in specific finite intervals is described. The procedure is useful, for instance, to…
(1) There is a finitely presented group with a word problem which is a uniformly effectively inseparable equivalence relation. (2) There is a finitely generated group of computable permutations with a word problem which is a universal…
Lie theory of continuous transformations provides a unified and powerful approach for handling differential equations. Unfortunately, any small perturbation of an equation usually destroys some important symmetries, and this reduces the…
This paper investigates the Jordan--Kronecker invariant of finite dimensional complex Lie algebras. We present an explicit algorithm for determining the type of a given Lie algebra from its Jordan--Kronecker invariant. The algorithm is…
The discrete heat equation is worked out in order to illustrate the search of symmetries of difference equations. It is paid an special attention to the Lie structure of these symmetries, as well as to their dependence on the derivative…
We give an algorithm to compute inhomogeneous differential equations for definite integrals with parameters. The algorithm is based on the integration algorithm for $D$-modules by Oaku. Main tool in the algorithm is the Gr\"obner basis…
An equivalence relation in the symmetric group, where is a positive integer has been considered. An algorithm for calculation of the number of the equivalence classes by this relation for arbitrary integer has been described.
We show that the classification of simple finite group schemes over an algebraically closed field reduces to the classification of abstract simple finite groups and of simple restricted Lie algebras in positive characteristic. Both these…