Showing 1–50 of 55 results for author: Patera, J

A Comparison of Fundamental Methods for Iso-surface Extraction

Authors: Jan Patera, Vaclav Skala

Abstract: In this paper four fundamental methods for an iso-surface extraction are compared, based on cell decomposition to tetrahedra. The methods are compared both on mathematically generated data sets as well as on real data sets. The comparison using mathematical data is made from different points of view such as area approximation, volume approximation. On the other hand, the Hausdorff distance and roo… ▽ More In this paper four fundamental methods for an iso-surface extraction are compared, based on cell decomposition to tetrahedra. The methods are compared both on mathematically generated data sets as well as on real data sets. The comparison using mathematical data is made from different points of view such as area approximation, volume approximation. On the other hand, the Hausdorff distance and root mean square are used to compare methods on real data sets. The presented comparison can be helpful when deciding among tested methods which one to choose, as well as when we need to compare a newly developed method with other existing approaches. △ Less

Submitted 4 January, 2023; originally announced January 2023.

Comments: Draft of the paper submitted to Machine Graphics and Vision, Polish Academy of Sciences, Vol.13, No.4., pp.329-344, ISSN 1230-0535, 2004

Journal ref: Machine Graphics and Vision, Polish Academy of Sciences, Vol.13, No.4., pp.329-344, ISSN 1230-0535, 2004

Asymmetric harmonic oscillator

Authors: Goce Chadzitaskos, Jiri Patera

Abstract: The solution of one--dimensional asymmetric quantum harmonic oscillator is presented. The asymmetry can be realized, for example, by using two springs, one spring is glued with the mass, and the second spring is freely connected with the mass in the equilibrium point and it is located inside or outside the first spring which acts on the mass only from the contact point on the right. We study the s… ▽ More The solution of one--dimensional asymmetric quantum harmonic oscillator is presented. The asymmetry can be realized, for example, by using two springs, one spring is glued with the mass, and the second spring is freely connected with the mass in the equilibrium point and it is located inside or outside the first spring which acts on the mass only from the contact point on the right. We study the spectrum of a quantum harmonic oscillator, which has a spring constant $ k_-$ to the left of the equilibrium position and a spring constant $ k_ +$ to the right of the equilibrium position. In the presented case the contact point of the second string is the equilibrium point of the first string. The explicit form of eigenfunctions, the way to calculate the eigenvalues and the properties of the eigenfunctions are discussed. △ Less

Submitted 13 April, 2022; originally announced April 2022.

Comments: 10 pages, 5 figures

ACM Class: J.2

Orthonormal bases on $L^2(\mathbb{R}^+)$

Authors: Goce Chadzitaskos, Miloslav Havlíček, Jiří Patera

Abstract: We derive the explicit form of eigenvectors of selfadjoint extension $H_ξ$, parametrized by $ξ\in \langle 0,π),$ of differential expression $ H=-\frac{d^2 }{d x^2} + \frac{x^2 }{4}$ together with the spectrum $σ(H_ξ)$ on the space $L^2(\mathbb{R}^+).$ For each $ξ$ the set of eigenvectors form an orthonormal basis of $L^2(\mathbb{R}^+).$ We derive the explicit form of eigenvectors of selfadjoint extension $H_ξ$, parametrized by $ξ\in \langle 0,π),$ of differential expression $ H=-\frac{d^2 }{d x^2} + \frac{x^2 }{4}$ together with the spectrum $σ(H_ξ)$ on the space $L^2(\mathbb{R}^+).$ For each $ξ$ the set of eigenvectors form an orthonormal basis of $L^2(\mathbb{R}^+).$ △ Less

Submitted 14 February, 2021; v1 submitted 31 March, 2020; originally announced April 2020.

MSC Class: 33B15; 33E30; 26E20

Nested polyhedra and indices of orbits of Coxeter groups of non-crystallographic type

Authors: Mariia Myronova, Jiri Patera, Marzena Szajewska

Abstract: The invariants of finite-dimensional representations of simple Lie algebras, such as even-degree indices and anomaly numbers, are considered in the context of the non-crystallographic finite reflection groups $H_2$, $H_3$ and $H_4$. Using a representation-orbit replacement, the definitions and properties of the indices are formulated for individual orbits of the examined groups. The indices of ord… ▽ More The invariants of finite-dimensional representations of simple Lie algebras, such as even-degree indices and anomaly numbers, are considered in the context of the non-crystallographic finite reflection groups $H_2$, $H_3$ and $H_4$. Using a representation-orbit replacement, the definitions and properties of the indices are formulated for individual orbits of the examined groups. The indices of orders two and four of the tensor product of $k$ orbits are determined. Using the branching rules for the non-crystallographic Coxeter groups, the embedding index is defined similarly to the Dynkin index of a representation. Moreover, since the definition of the indices can be applied to any orbit of non-crystallographic type, the algorithm allowing to search for the orbits of smaller radii contained within any considered one is presented for the Coxeter groups $H_2$ and $H_3$. The geometrical structures of nested polytopes are exemplified. △ Less

Submitted 27 January, 2021; v1 submitted 10 January, 2020; originally announced January 2020.

Comments: 16 pages, 7 figures

Journal ref: Symmetry 2020, 12, 1737

Group theoretical methods to construct the graphene

Authors: Zofia Grabowiecka, Jiri Patera, Marzena Szajewska

Abstract: In this paper, the tiling of the Euclidean plane with regular hexagons whose vertices are occupied by carbon atoms is called the graphene. We describe six different ways to generate the graphene by the means of group theory. There are two ways starting from the triangular lattice of Lie algebra $A_2$ and $G_2$, and one way for each of the Lie algebras $B_3$, $C_3$ and $A_3$, by projecting the weig… ▽ More In this paper, the tiling of the Euclidean plane with regular hexagons whose vertices are occupied by carbon atoms is called the graphene. We describe six different ways to generate the graphene by the means of group theory. There are two ways starting from the triangular lattice of Lie algebra $A_2$ and $G_2$, and one way for each of the Lie algebras $B_3$, $C_3$ and $A_3$, by projecting the weight system of their lowest representation to the hexagons of $A_2$. Colouring of the graphene is presented. Changing from one colouring to another is called phase transition. Multistep refinements of the graphene are described. △ Less

Submitted 4 December, 2018; v1 submitted 7 November, 2016; originally announced November 2016.

Comments: 12 pages, 7 figures

Cubature formulas of multivariate polynomials arising from symmetric orbit functions

Authors: Jiří Hrivnák, Lenka Motlochová, Jiří Patera

Abstract: The paper develops applications of symmetric orbit functions, known from irreducible representations of simple Lie groups, in numerical analysis. It is shown that these functions have remarkable properties which yield to cubature formulas, approximating a weighted integral of any function by a weighted finite sum of function values, in connection with any simple Lie group. The cubature formulas ar… ▽ More The paper develops applications of symmetric orbit functions, known from irreducible representations of simple Lie groups, in numerical analysis. It is shown that these functions have remarkable properties which yield to cubature formulas, approximating a weighted integral of any function by a weighted finite sum of function values, in connection with any simple Lie group. The cubature formulas are specialized for simple Lie groups of rank two. An optimal approximation of any function by multivariate polynomials arising from symmetric orbit functions is discussed. △ Less

Submitted 5 December, 2015; originally announced December 2015.

Comments: 19 pages, 4 figures

MSC Class: 65D32; 33C52; 41A10; 22E46; 20F55; 17B22

Journal ref: Symmetry 2016, 8(7), 63

Four families of Weyl group orbit functions of B_3 and C_3

Authors: Lenka Háková, Jiří Hrivnák, Jiří Patera

Abstract: The properties of the four families of special functions of three real variables, called here C-, S-, S^s- and S^l-functions, are studied. The S^s- and S^l-functions are considered in all details required for their exploitation in Fourier expansions of digital data, sampled on finite fragment of lattices of any density and of the 3D symmetry imposed by the weight lattices of B_3 and C_3 simple Lie… ▽ More The properties of the four families of special functions of three real variables, called here C-, S-, S^s- and S^l-functions, are studied. The S^s- and S^l-functions are considered in all details required for their exploitation in Fourier expansions of digital data, sampled on finite fragment of lattices of any density and of the 3D symmetry imposed by the weight lattices of B_3 and C_3 simple Lie algebras/groups. The continuous interpolations, which are induced by the discrete expansions, are exemplified and compared for some model functions. △ Less

Submitted 7 August, 2013; originally announced August 2013.

Comments: 17 pages, 6 figures

Journal ref: J. Math. Phys. 54, 083501 (2013)

On Discretization of Tori of Compact Simple Lie Groups II

Authors: Jiří Hrivnák, Lenka Motlochová, Jiří Patera

Abstract: The discrete orthogonality of special function families, called $C$- and $S$-functions, which are derived from the characters of compact simple Lie groups, is described in Hrivnák and Patera (2009 J. Phys. A: Math. Theor. 42 385208). Here, the results of Hrivnák and Patera are extended to two additional recently discovered families of special functions, called $S^s-$ and $S^l-$functions. The main… ▽ More The discrete orthogonality of special function families, called $C$- and $S$-functions, which are derived from the characters of compact simple Lie groups, is described in Hrivnák and Patera (2009 J. Phys. A: Math. Theor. 42 385208). Here, the results of Hrivnák and Patera are extended to two additional recently discovered families of special functions, called $S^s-$ and $S^l-$functions. The main result is an explicit description of their pairwise discrete orthogonality within each family, when the functions are sampled on finite fragments $F^s_M$ and $F^l_M$ of a lattice in any dimension $n\geq2$ and of any density controlled by $M$, and of the symmetry of the weight lattice of any compact simple Lie group with two different lengths of roots. △ Less

Submitted 1 June, 2012; originally announced June 2012.

Comments: 17 pages, 2 figures

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 255201

Dominant weight multiplicities in hybrid characters of Bn, Cn, F4, G2

Authors: Francis W. Lemire, Jiri Patera, Marzena Szajewska

Abstract: The characters of irreducible finite dimensional representations of compact simple Lie group G are invariant with respect to the action of the Weyl group W(G) of G. The defining property of the new character-like functions ("hybrid characters") is the fact that W(G) acts differently on the character term corresponding to the long roots than on those corresponding to the short roots. Therefore the… ▽ More The characters of irreducible finite dimensional representations of compact simple Lie group G are invariant with respect to the action of the Weyl group W(G) of G. The defining property of the new character-like functions ("hybrid characters") is the fact that W(G) acts differently on the character term corresponding to the long roots than on those corresponding to the short roots. Therefore the hybrid characters are defined for the simple Lie groups with two different lengths of their roots. Dominant weight multiplicities for the hybrid characters are determined. The formulas for "hybrid dimensions" are also found for all cases as the zero degree term in power expansion of the "hybrid characters". △ Less

Submitted 1 September, 2014; v1 submitted 4 May, 2012; originally announced May 2012.

Comments: 15 pages

Six types of $E-$functions of the Lie groups O(5) and G(2)

Authors: Lenka Háková, Jiří Hrivnák, Jiří Patera

Abstract: New families of $E$-functions are described in the context of the compact simple Lie groups O(5) and G(2). These functions of two real variables generalize the common exponential functions and for each group, only one family is currently found in the literature. All the families are fully characterized, their most important properties are described, namely their continuous and discrete orthogonali… ▽ More New families of $E$-functions are described in the context of the compact simple Lie groups O(5) and G(2). These functions of two real variables generalize the common exponential functions and for each group, only one family is currently found in the literature. All the families are fully characterized, their most important properties are described, namely their continuous and discrete orthogonalities and decompositions of their products. △ Less

Submitted 22 February, 2012; originally announced February 2012.

Comments: 25 pages, 13 figures

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 125201

Gaussian cubature arising from hybrid characters of simple Lie groups

Authors: Robert V. Moody, Lenka Motlochova, Jiri Patera

Abstract: Lie groups with two different root lengths allow two mixed sign homomorphisms on their corresponding Weyl groups, which in turn give rise to two families of hybrid Weyl group orbit functions and characters. In this paper we extend the ideas leading to the Gaussian cubature formulas for families of polynomials arising from the characters of irreducible representations of any simple Lie group, to ne… ▽ More Lie groups with two different root lengths allow two mixed sign homomorphisms on their corresponding Weyl groups, which in turn give rise to two families of hybrid Weyl group orbit functions and characters. In this paper we extend the ideas leading to the Gaussian cubature formulas for families of polynomials arising from the characters of irreducible representations of any simple Lie group, to new cubature formulas based on the corresponding hybrid characters. These formulas are new forms of Gaussian cubature in the short root length case and new forms of Radau cubature in the long root case. The nodes for the cubature arise quite naturally from the (computationally efficient) elements of finite order of the Lie group. △ Less

Submitted 19 February, 2014; v1 submitted 20 February, 2012; originally announced February 2012.

Comments: 23 pages, 3 figures

Journal ref: J. Fourier Anal. Appl. 20 (2014), no. 6, pp 1257-1290

Three variable exponential functions of the alternating group

Authors: Jiří Hrivnák, Jiří Patera, Severin Pošta

Abstract: New class of special functions of three real variables, based on the alternating subgroup of the permutation group $S_3$, is studied. These functions are used for Fourier-like expansion of digital data given on lattice of any density and general position. Such functions have only trivial analogs in one and two variables; a connection to the $E-$functions of $C_3$ is shown. Continuous interpolation… ▽ More New class of special functions of three real variables, based on the alternating subgroup of the permutation group $S_3$, is studied. These functions are used for Fourier-like expansion of digital data given on lattice of any density and general position. Such functions have only trivial analogs in one and two variables; a connection to the $E-$functions of $C_3$ is shown. Continuous interpolation of the three dimensional data is studied and exemplified. △ Less

Submitted 2 February, 2012; originally announced February 2012.

Comments: 10 pages, 3 figures

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 045201

On E-functions of Semisimple Lie Groups

Authors: Jiří Hrivnák, Iryna Kashuba, Jiří Patera

Abstract: We develop and describe continuous and discrete transforms of class functions on a compact semisimple, but not simple, Lie group $G$ as their expansions into series of special functions that are invariant under the action of the even subgroup of the Weyl group of $G$. We distinguish two cases of even Weyl groups -- one is the direct product of even Weyl groups of simple components of $G$, the seco… ▽ More We develop and describe continuous and discrete transforms of class functions on a compact semisimple, but not simple, Lie group $G$ as their expansions into series of special functions that are invariant under the action of the even subgroup of the Weyl group of $G$. We distinguish two cases of even Weyl groups -- one is the direct product of even Weyl groups of simple components of $G$, the second is the full even Weyl group of $G$. The problem is rather simple in two dimensions. It is much richer in dimensions greater than two -- we describe in detail $E-$transforms of semisimple Lie groups of rank 3. △ Less

Submitted 2 February, 2012; originally announced February 2012.

Comments: 17 pages, 2 figures

Journal ref: J. Phys. A: Math. Theor. 44 (2011) 325205

Centralizers of maximal regular subgroups in simple Lie groups and relative congruence classes of representations

Authors: M. Larouche, F. W. Lemire, J. Patera

Abstract: In the paper we present a new, uniform and comprehensive description of centralizers of the maximal regular subgroups in compact simple Lie groups of all types and ranks. The centralizer is either a direct product of finite cyclic groups, a continuous group of rank 1, or a product, not necessarily direct, of a continuous group of rank 1 with a finite cyclic group. Explicit formulas for the action… ▽ More In the paper we present a new, uniform and comprehensive description of centralizers of the maximal regular subgroups in compact simple Lie groups of all types and ranks. The centralizer is either a direct product of finite cyclic groups, a continuous group of rank 1, or a product, not necessarily direct, of a continuous group of rank 1 with a finite cyclic group. Explicit formulas for the action of such centralizers on irreducible representations of the simple Lie algebras are given. △ Less

Submitted 30 September, 2011; originally announced September 2011.

Comments: 27 pages

MSC Class: 22E46

Journal ref: J. Phys. A: Math. Theor. 44 (2011) 415204

Branching rules for Weyl group orbits of simple Lie algebras B(n), C(n) and D(n)

Authors: M. Larouche, J. Patera

Abstract: The orbits of Weyl groups W(B(n)), W(C(n)) and W(D(n)) of the simple Lie algebras B(n), C(n) and D(n) are reduced to the union of the orbits of Weyl groups of the maximal reductive subalgebras of B(n), C(n) and D(n). Matrices transforming points of W(B(n)), W(C(n)) and W(D(n)) orbits into points of subalgebra orbits are listed for all cases n<=8 and for the infinite series of algebra-subalgebra pa… ▽ More The orbits of Weyl groups W(B(n)), W(C(n)) and W(D(n)) of the simple Lie algebras B(n), C(n) and D(n) are reduced to the union of the orbits of Weyl groups of the maximal reductive subalgebras of B(n), C(n) and D(n). Matrices transforming points of W(B(n)), W(C(n)) and W(D(n)) orbits into points of subalgebra orbits are listed for all cases n<=8 and for the infinite series of algebra-subalgebra pairs B(n) - B(n-1) x U(1), B(n) - D(n), B(n) - B(n-k) x D(k), B(n) - A(1), C(n) - C(n-k) x C(k), C(n) - A(n-1) x U(1), D(n) - A(n-1) x U(1), D(n) - D(n-1) x U(1), D(n) -B(n-1), D(n) - B(n-k-1) x B(k), D(n) -D(n-k) x D(k). Numerous special cases and examples are shown. △ Less

Submitted 31 January, 2011; originally announced January 2011.

Comments: 31 pages, accepted in J. Phys. A : Math. Theor

MSC Class: 20F55; 22E46

Four families of orthogonal polynomials of C2 and symmetric and antisymmetric generalizations of sine and cosine functions

Authors: Lenka Motlochova, Jiri Patera

Abstract: Four families of generalizations of trigonometric functions were recently introduced. In the paper the functions are transformed into four families of orthogonal polynomials depending on two variables. Recurrence relations for construction of the polynomials are presented. Orthogonality relations of the four families of polynomials are found together with the appropriate weight fuctions. Tables of… ▽ More Four families of generalizations of trigonometric functions were recently introduced. In the paper the functions are transformed into four families of orthogonal polynomials depending on two variables. Recurrence relations for construction of the polynomials are presented. Orthogonality relations of the four families of polynomials are found together with the appropriate weight fuctions. Tables of the lowest degree polynomials are shown. Numerous trigonometric-like identities are found. Two of the four families of functions are identified as the functions encountered in the Weyl character formula for the finite dimensional irreducible representations of the compact Lie group Sp(4). The other two families of functions seem to play no role in Lie theory so far in spite of their analogous `good' properties. △ Less

Submitted 18 January, 2011; originally announced January 2011.

Comments: 23 pages

Orthogonal polynomials of compact simple Lie groups: Branching rules for polynomials

Authors: Maryna Nesterenko, Jiri Patera, Marzena Szajewska, Agnieszka Tereszkiewicz

Abstract: Polynomials in this paper are defined starting from a compact semisimple Lie group. A known classification of maximal, semisimple subgroups of simple Lie groups is used to select the cases to be considered here. A general method is presented and all the cases of rank not greater then 3 are explicitly studied. We derive the polynomials of simple Lie groups B_3 and C_3 as they are not available else… ▽ More Polynomials in this paper are defined starting from a compact semisimple Lie group. A known classification of maximal, semisimple subgroups of simple Lie groups is used to select the cases to be considered here. A general method is presented and all the cases of rank not greater then 3 are explicitly studied. We derive the polynomials of simple Lie groups B_3 and C_3 as they are not available elsewhere. The results point to far reaching Lie theoretical connections to the theory of multivariable orthogonal polynomials. △ Less

Submitted 19 July, 2011; v1 submitted 26 July, 2010; originally announced July 2010.

Comments: 28 pages, 7 figures, 8 tables

MSC Class: 33D52; 20F55; 22E46

Journal ref: 2010 J. Phys. A: Math. Theor. 43 495207

Cubature formulae for orthogonal polynomials in terms of elements of finite order of compact simple Lie groups

Authors: Jiri Patera, Robert V. Moody

Abstract: The paper contains a generalization of known properties of Chebyshev polynomials of the second kind in one variable to polynomials of $n$ variables based on the root lattices of compact simple Lie groups $G$ of any type and of rank $n$. The results, inspired by work of H. Li and Y. Xu where they derived cubature formulae from $A$-type lattices, yield Gaussian cubature formulae for each simple Lie… ▽ More The paper contains a generalization of known properties of Chebyshev polynomials of the second kind in one variable to polynomials of $n$ variables based on the root lattices of compact simple Lie groups $G$ of any type and of rank $n$. The results, inspired by work of H. Li and Y. Xu where they derived cubature formulae from $A$-type lattices, yield Gaussian cubature formulae for each simple Lie group $G$ based on interpolation points that arise from regular elements of finite order in $G$. The polynomials arise from the irreducible characters of $G$ and the interpolation points as common zeros of certain finite subsets of these characters. The consistent use of Lie theoretical methods reveals the central ideas clearly and allows for a simple uniform development of the subject. Furthermore it points to genuine and perhaps far reaching Lie theoretical connections. △ Less

Submitted 16 May, 2010; originally announced May 2010.

Comments: 24 pages, 4 figures

MSC Class: 42B99

Orthogonal polynomials of compact simple Lie groups

Authors: Maryna Nesterenko, Jiri Patera, Agnieszka Tereszkiewicz

Abstract: Recursive algebraic construction of two infinite families of polynomials in $n$ variables is proposed as a uniform method applicable to every semisimple Lie group of rank $n$. Its result recognizes Chebyshev polynomials of the first and second kind as the special case of the simple group of type $A_1$. The obtained not Laurent-type polynomials are proved to be equivalent to the partial cases of th… ▽ More Recursive algebraic construction of two infinite families of polynomials in $n$ variables is proposed as a uniform method applicable to every semisimple Lie group of rank $n$. Its result recognizes Chebyshev polynomials of the first and second kind as the special case of the simple group of type $A_1$. The obtained not Laurent-type polynomials are proved to be equivalent to the partial cases of the Macdonald symmetric polynomials. Basic relation between the polynomials and their properties follow from the corresponding properties of the orbit functions, namely the orthogonality and discretization. Recurrence relations are shown for the Lie groups of types $A_1$, $A_2$, $A_3$, $C_2$, $C_3$, $G_2$, and $B_3$ together with lowest polynomials. △ Less

Submitted 16 August, 2011; v1 submitted 20 January, 2010; originally announced January 2010.

Comments: 34 pages, some minor changes were done, to appear in IJMMS

Journal ref: International Journal of Mathematics and Mathematical Sciences Volume 2011 (2011), Article ID 969424, 23 pages

On E-Discretization of Tori of Compact Simple Lie Groups

Authors: Jiří Hrivnák, Jiří Patera

Abstract: Three types of numerical data are provided for compact simple Lie groups $G$ of classical types and of any rank. This data is indispensable for Fourier-like expansions of multidimensional digital data into finite series of $E-$functions on the fundamental domain $F^{e}$. Firstly, we determine the number $|F^{e}_M|$ of points in $F^{e}$ from the lattice $P^{\vee}_M$, which is the refinement of th… ▽ More Three types of numerical data are provided for compact simple Lie groups $G$ of classical types and of any rank. This data is indispensable for Fourier-like expansions of multidimensional digital data into finite series of $E-$functions on the fundamental domain $F^{e}$. Firstly, we determine the number $|F^{e}_M|$ of points in $F^{e}$ from the lattice $P^{\vee}_M$, which is the refinement of the dual weight lattice $P^{\vee}$ of $G$ by a positive integer $M$. Secondly, we find the lowest set $Λ^{e}_M$ of the weights, specifying the maximal set of $E-$functions that are pairwise orthogonal on the point set $F^{e}_M$. Finally, we describe an efficient algorithm for finding the number of conjugate points to every point of $F^{e}_M$. Discrete $E-$transform, together with its continuous interpolation, is presented in full generality. △ Less

Submitted 1 April, 2010; v1 submitted 21 December, 2009; originally announced December 2009.

Comments: 13 pages, 2 figures, revised version

Journal ref: J. Phys. A: Math. Theor. 43 (2010) 165206

Two dimensional symmetric and antisymmetric generalizations of sine functions

Authors: Jiří Hrivnák, Lenka Motlochová, Jiří Patera

Abstract: Properties of 2-dimensional generalizations of sine functions that are symmetric or antisymmetric with respect to permutation of their two variables are described. It is shown that the functions are orthogonal when integrated over a finite region $F$ of the real Euclidean space, and that they are discretely orthogonal when summed up over a lattice of any density in $F$. Decomposability of the pr… ▽ More Properties of 2-dimensional generalizations of sine functions that are symmetric or antisymmetric with respect to permutation of their two variables are described. It is shown that the functions are orthogonal when integrated over a finite region $F$ of the real Euclidean space, and that they are discretely orthogonal when summed up over a lattice of any density in $F$. Decomposability of the products of functions into their sums is shown by explicitly decomposing products of all types. The formalism is set up for Fourier-like expansions of digital data over 2-dimensional lattices in $F$. Continuous interpolation of digital data is studied. △ Less

Submitted 1 December, 2009; originally announced December 2009.

Comments: 12 pages, 5 figures

Journal ref: J. Math. Phys. 51, 073509 (2010)

Two-dimensional symmetric and antisymmetric generalizations of exponential and cosine functions

Authors: Jiří Hrivnák, Jiří Patera

Abstract: Properties of the four families of recently introduced special functions of two real variables, denoted here by $E^\pm$, and $\cos^\pm$, are studied. The superscripts $^+$ and $^-$ refer to the symmetric and antisymmetric functions respectively. The functions are considered in all details required for their exploitation in Fourier expansions of digital data, sampled on square grids of any densit… ▽ More Properties of the four families of recently introduced special functions of two real variables, denoted here by $E^\pm$, and $\cos^\pm$, are studied. The superscripts $^+$ and $^-$ refer to the symmetric and antisymmetric functions respectively. The functions are considered in all details required for their exploitation in Fourier expansions of digital data, sampled on square grids of any density and for general position of the grid in the real plane relative to the lattice defined by the underlying group theory. Quality of continuous interpolation, resulting from the discrete expansions, is studied, exemplified and compared for some model functions. △ Less

Submitted 21 November, 2009; originally announced November 2009.

Comments: 22 pages, 10 figures

Journal ref: J. Math. Phys. 51, 023515 (2010)

Branching rules for the Weyl group orbits of the Lie algebra A(n)

Authors: M. Larouche, M. Nesterenko, J. Patera

Abstract: The orbits of Weyl groups W(A(n)) of simple A(n) type Lie algebras are reduced to the union of orbits of the Weyl groups of maximal reductive subalgebras of A(n). Matrices transforming points of the orbits of W(An) into points of subalgebra orbits are listed for all cases n<=8 and for the infinite series of algebra-subalgebra pairs A(n) - A(n-k-1) x A(k) x U(1), A(2n) - B(n), A(2n-1) - C(n), A(2… ▽ More The orbits of Weyl groups W(A(n)) of simple A(n) type Lie algebras are reduced to the union of orbits of the Weyl groups of maximal reductive subalgebras of A(n). Matrices transforming points of the orbits of W(An) into points of subalgebra orbits are listed for all cases n<=8 and for the infinite series of algebra-subalgebra pairs A(n) - A(n-k-1) x A(k) x U(1), A(2n) - B(n), A(2n-1) - C(n), A(2n-1) - D(n). Numerous special cases and examples are shown. △ Less

Submitted 14 September, 2009; originally announced September 2009.

Comments: 14 pages, submitted to J. Phys. A : Math. Theor

MSC Class: 20F55; 22E46

Journal ref: J. Phys. A: Math. Theor. 42 (2009) 485203 (15 pp.)

Image Sampling with Quasicrystals

Authors: Mark Grundland, Jiri Patera, Zuzana Masakova, Neil A. Dodgson

Abstract: We investigate the use of quasicrystals in image sampling. Quasicrystals produce space-filling, non-periodic point sets that are uniformly discrete and relatively dense, thereby ensuring the sample sites are evenly spread out throughout the sampled image. Their self-similar structure can be attractive for creating sampling patterns endowed with a decorative symmetry. We present a brief general o… ▽ More We investigate the use of quasicrystals in image sampling. Quasicrystals produce space-filling, non-periodic point sets that are uniformly discrete and relatively dense, thereby ensuring the sample sites are evenly spread out throughout the sampled image. Their self-similar structure can be attractive for creating sampling patterns endowed with a decorative symmetry. We present a brief general overview of the algebraic theory of cut-and-project quasicrystals based on the geometry of the golden ratio. To assess the practical utility of quasicrystal sampling, we evaluate the visual effects of a variety of non-adaptive image sampling strategies on photorealistic image reconstruction and non-photorealistic image rendering used in multiresolution image representations. For computer visualization of point sets used in image sampling, we introduce a mosaic rendering technique. △ Less

Submitted 21 July, 2009; originally announced July 2009.

Comments: For a full resolution version of this paper, along with supplementary materials, please visit at http://www.Eyemaginary.com/Portfolio/Publications.html

Journal ref: SIGMA 5 (2009), 075, 23 pages

Alternating group and multivariate exponential functions

Authors: Anatoly Klimyk, Jiri Patera

Abstract: We define and study multivariate exponential functions, symmetric with respect to the alternating group A_n, which is a subgroup of the permutation (symmetric) group S_n. These functions are connected with multivariate exponential functions, determined as the determinants of matrices whose entries are exponential functions of one variable. Our functions are eigenfunctions of the Laplace operator… ▽ More We define and study multivariate exponential functions, symmetric with respect to the alternating group A_n, which is a subgroup of the permutation (symmetric) group S_n. These functions are connected with multivariate exponential functions, determined as the determinants of matrices whose entries are exponential functions of one variable. Our functions are eigenfunctions of the Laplace operator. By means of alternating multivariate exponential functions three types of Fourier transforms are constructed: expansions into corresponding Fourier series, integral Fourier transforms, and multivariate finite Fourier transforms. Alternating multivariate exponential functions are used as a kernel in all these Fourier transforms. Eigenfunctions of the integral Fourier transforms are obtained. △ Less

Submitted 3 July, 2009; originally announced July 2009.

Comments: This paper is to appear in Groups and Symmetries: from the Neolithic Scots to John McKay, AMS-CRM Proceedings and Lectures Notes Series, eds. J. Harnad and P. Winternitz (2008)

MSC Class: 42B05; 20B30; 33E99; 42B10

Orbit functions of SU(n) and Chebyshev polynomials

Authors: M. Nesterenko, J. Patera, A. Tereszkiewicz

Abstract: Orbit functions of a simple Lie group/Lie algebra L consist of exponential functions summed up over the Weyl group of L. They are labeled by the highest weights of irreducible finite dimensional representations of L. They are of three types: C-, S- and E-functions. Orbit functions of the Lie algebras An, or equivalently, of the Lie group SU(n+1), are considered. First, orbit functions in two d… ▽ More Orbit functions of a simple Lie group/Lie algebra L consist of exponential functions summed up over the Weyl group of L. They are labeled by the highest weights of irreducible finite dimensional representations of L. They are of three types: C-, S- and E-functions. Orbit functions of the Lie algebras An, or equivalently, of the Lie group SU(n+1), are considered. First, orbit functions in two different bases - one orthonormal, the other given by the simple roots of SU(n) - are written using the isomorphism of the permutation group of n elements and the Weyl group of SU(n). Secondly, it is demonstrated that there is a one-to-one correspondence between classical Chebyshev polynomials of the first and second kind, and C- and $S$-functions of the simple Lie group SU(2). It is then shown that the well-known orbit functions of SU(n) are straightforward generalizations of Chebyshev polynomials to n-1 variables. Properties of the orbit functions provide a wealth of properties of the polynomials. Finally, multivariate exponential functions are considered, and their connection with orbit functions of SU(n) is established. △ Less

Submitted 28 September, 2009; v1 submitted 18 May, 2009; originally announced May 2009.

Comments: 15 pages, we have rewritten and reorganized all the manuscript

Journal ref: Group Analysis of Differential Equations and Integrable Systems, Proceedings of the 5th International Workshop in Protaras, Cyprus 2010, June 6-10, (publ. by) University of Cyprus, 2011, pp. 133-151

On Discretization of Tori of Compact Simple Lie Groups

Authors: Jiri Hrivnak, Jiri Patera

Abstract: Three types of numerical data are provided for simple Lie groups of any type and rank. This data is indispensable for Fourier-like expansions of multidimensional digital data into finite series of $C-$ or $S-$functions on the fundamental domain $F$ of the underlying Lie group $G$. Firstly, we consider the number $|F_M|$ of points in $F$ from the lattice $P^{\vee}_M$, which is the refinement of t… ▽ More Three types of numerical data are provided for simple Lie groups of any type and rank. This data is indispensable for Fourier-like expansions of multidimensional digital data into finite series of $C-$ or $S-$functions on the fundamental domain $F$ of the underlying Lie group $G$. Firstly, we consider the number $|F_M|$ of points in $F$ from the lattice $P^{\vee}_M$, which is the refinement of the dual weight lattice $P^{\vee}$ of $G$ by a positive integer $M$. Secondly, we find the lowest set $Λ_M$ of dominant weights, specifying the maximal set of $C-$ and $S-$functions that are pairwise orthogonal on the point set $F_M$. Finally, we describe an efficient algorithm for finding, on the maximal torus of $G$, the number of conjugate points to every point of $F_M$. Discrete $C-$ and $S-$transforms, together with their continuous interpolations, are presented in full generality. △ Less

Submitted 14 May, 2009; originally announced May 2009.

Comments: 22 pages, 6 figures

Journal ref: J. Phys. A: Math. Theor. 42 (2009) 385208.

Invariants of Lie algebras via moving frames

Authors: Vyacheslav Boyko, Jiri Patera, Roman Popovych

Abstract: A purely algebraic algorithm for computation of invariants (generalized Casimir operators) of Lie algebras by means of moving frames is discussed. Results on the application of the method to computation of invariants of low-dimensional Lie algebras and series of solvable Lie algebras restricted only by a required structure of the nilradical are reviewed. A purely algebraic algorithm for computation of invariants (generalized Casimir operators) of Lie algebras by means of moving frames is discussed. Results on the application of the method to computation of invariants of low-dimensional Lie algebras and series of solvable Lie algebras restricted only by a required structure of the nilradical are reviewed. △ Less

Submitted 1 April, 2018; v1 submitted 28 April, 2009; originally announced April 2009.

Comments: 10 pages, minor corrections. A brief survey of arXiv:math-ph/0602046, arXiv:math-ph/0606045, arXiv:0704.0937, arXiv:0705.2394 and arXiv:0706.2465

MSC Class: 17B05; 17B10; 17B30; 22E70; 81R05

Journal ref: Proceedings of 4th Workshop "Group Analysis of Differential Equations and Integrable Systems" (26-30 October 2008, Protaras, Cyprus), 2009, 36-44

The rings of n-dimensional polytopes

Authors: L. Hakova, M. Larouche, J. Patera

Abstract: Points of an orbit of a finite Coxeter group G, generated by n reflections starting from a single seed point, are considered as vertices of a polytope (G-polytope) centered at the origin of a real n-dimensional Euclidean space. A general efficient method is recalled for the geometric description of G- polytopes, their faces of all dimensions and their adjacencies. Products and symmetrized powers… ▽ More Points of an orbit of a finite Coxeter group G, generated by n reflections starting from a single seed point, are considered as vertices of a polytope (G-polytope) centered at the origin of a real n-dimensional Euclidean space. A general efficient method is recalled for the geometric description of G- polytopes, their faces of all dimensions and their adjacencies. Products and symmetrized powers of G-polytopes are introduced and their decomposition into the sums of G-polytopes is described. Several invariants of G-polytopes are found, namely the analogs of Dynkin indices of degrees 2 and 4, anomaly numbers and congruence classes of the polytopes. The definitions apply to crystallographic and non-crystallographic Coxeter groups. Examples and applications are shown. △ Less

Submitted 29 January, 2009; originally announced January 2009.

Comments: 24 pages

MSC Class: 20F55; 22E46; 33E99; 42C15

Journal ref: L. Hakova, M. Larouche, J. Patera,The rings of n-dimensional polytopes. J. Phys. A: Math. Theor. 41 (2008) 495202 (21pp)

Computing with almost periodic functions

Authors: R. V. Moody, M. Nesterenko, J. Patera

Abstract: The paper develops a method for discrete computational Fourier analysis of functions defined on quasicrystals and other almost periodic sets. A key point is to build the analysis around the emerging theory of quasicrystals and diffraction in the setting on local hulls and dynamical systems. Numerically computed approximations arising in this way are built out of the Fourier module of the quasicr… ▽ More The paper develops a method for discrete computational Fourier analysis of functions defined on quasicrystals and other almost periodic sets. A key point is to build the analysis around the emerging theory of quasicrystals and diffraction in the setting on local hulls and dynamical systems. Numerically computed approximations arising in this way are built out of the Fourier module of the quasicrystal in question, and approximate their target functions uniformly on the entire infinite space. The methods are entirely group theoretical, being based on finite groups and their duals, and they are practical and computable. Examples of functions based on the standard Fibonacci quasicrystal serve to illustrate the method (which is applicable to all quasicrystals modeled on the cut and project formalism). △ Less

Submitted 13 August, 2008; originally announced August 2008.

Comments: 23 pages, 17 figures, to appear in Acta Crystallographica A

Three dimensional C-, S- and E-transforms

Authors: M. Nesterenko, J. Patera

Abstract: Three dimensional continuous and discrete Fourier-like transforms, based on the three simple and four semisimple compact Lie groups of rank 3, are presented. For each simple Lie group, there are three families of special functions ($C$-, $S$-, and $E$-functions) on which the transforms are built. Pertinent properties of the functions are described in detail, such as their orthogonality within ea… ▽ More Three dimensional continuous and discrete Fourier-like transforms, based on the three simple and four semisimple compact Lie groups of rank 3, are presented. For each simple Lie group, there are three families of special functions ($C$-, $S$-, and $E$-functions) on which the transforms are built. Pertinent properties of the functions are described in detail, such as their orthogonality within each family, when integrated over a finite region $F$ of the 3-dimensional Euclidean space (continuous orthogonality), as well as when summed up over a lattice grid $F_M\subset F$ (discrete orthogonality). The positive integer $M$ sets up the density of the lattice containing $F_M$. The expansion of functions given either on $F$ or on $F_M$ is the paper's main focus. △ Less

Submitted 23 May, 2008; originally announced May 2008.

Comments: 24 pages, 13 figures

MSC Class: 33-02; 33E99; 42B99; 42C15; 58C40

E-Orbit Functions

Authors: Anatoliy U. Klimyk, Jiri Patera

Abstract: We review and further develop the theory of $E$-orbit functions. They are functions on the Euclidean space $E_n$ obtained from the multivariate exponential function by symmetrization by means of an even part $W_{e}$ of a Weyl group $W$, corresponding to a Coxeter-Dynkin diagram. Properties of such functions are described. They are closely related to symmetric and antisymmetric orbit functions wh… ▽ More We review and further develop the theory of $E$-orbit functions. They are functions on the Euclidean space $E_n$ obtained from the multivariate exponential function by symmetrization by means of an even part $W_{e}$ of a Weyl group $W$, corresponding to a Coxeter-Dynkin diagram. Properties of such functions are described. They are closely related to symmetric and antisymmetric orbit functions which are received from exponential functions by symmetrization and antisymmetrization procedure by means of a Weyl group $W$. The $E$-orbit functions, determined by integral parameters, are invariant with respect to even part $W^{\rm aff}_{e}$ of the affine Weyl group corresponding to $W$. The $E$-orbit functions determine a symmetrized Fourier transform, where these functions serve as a kernel of the transform. They also determine a transform on a finite set of points of the fundamental domain $F^{e}$ of the group $W^{\rm aff}_{e}$ (the discrete $E$-orbit function transform). △ Less

Submitted 5 January, 2008; originally announced January 2008.

Comments: Published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 4 (2008), 002, 57 pages

New families of cryptographic systems

Authors: Maryna Nesterenko, Jiri Patera, Dmytro Zhavrotskyj

Abstract: A symmetric encryption method based on properties of quasicrystals is proposed. The advantages of the cipher are strict aperiodicity and everywhere discontinuous property as well as the speed of computation, simplicity of implementation and a straightforward possibility of extending the method to encryption of higher dimensional data. A symmetric encryption method based on properties of quasicrystals is proposed. The advantages of the cipher are strict aperiodicity and everywhere discontinuous property as well as the speed of computation, simplicity of implementation and a straightforward possibility of extending the method to encryption of higher dimensional data. △ Less

Submitted 28 September, 2007; originally announced October 2007.

Invariants of solvable Lie algebras with triangular nilradicals and diagonal nilindependent elements

Authors: Vyacheslav Boyko, Jiri Patera, Roman O. Popovych

Abstract: The invariants of solvable Lie algebras with nilradicals isomorphic to the algebra of strongly upper triangular matrices and diagonal nilindependent elements are studied exhaustively. Bases of the invariant sets of all such algebras are constructed by an original purely algebraic algorithm based on Cartan's method of moving frames. The invariants of solvable Lie algebras with nilradicals isomorphic to the algebra of strongly upper triangular matrices and diagonal nilindependent elements are studied exhaustively. Bases of the invariant sets of all such algebras are constructed by an original purely algebraic algorithm based on Cartan's method of moving frames. △ Less

Submitted 1 April, 2018; v1 submitted 17 June, 2007; originally announced June 2007.

Comments: 21 pages, enhanced and extended version. Section 2 reviews the method of finding invariants of Lie algebras that was proposed in arXiv:math-ph/0602046 and arXiv:math-ph/0606045. The computation is based on developing a specific technique given in arXiv:0704.0937. Results generalize ones of arXiv:0705.2394 to the case of arbitrary relevant number of nilindependent elements

MSC Class: 17B05; 17B10; 17B30; 22E70; 58D19; 81R05

Journal ref: Linear Algebra Appl. 428 (2008), 834-854

(Anti)symmetric multivariate trigonometric functions and corresponding Fourier transforms

Authors: A. Klimyk, J. Patera

Abstract: Four families of special functions, depending on n variables, are studied. We call them symmetric and antisymmetric multivariate sine and cosine functions. They are given as determinants or antideterminants of matrices, whose matrix elements are sine or cosine functions of one variable each. These functions are eigenfunctions of the Laplace operator, satisfying specific conditions at the boundar… ▽ More Four families of special functions, depending on n variables, are studied. We call them symmetric and antisymmetric multivariate sine and cosine functions. They are given as determinants or antideterminants of matrices, whose matrix elements are sine or cosine functions of one variable each. These functions are eigenfunctions of the Laplace operator, satisfying specific conditions at the boundary of a certain domain F of the n-dimensional Euclidean space. Discrete and continuous orthogonality on F of the functions within each family, allows one to introduce symmetrized and antisymmetrized multivariate Fourier-like transforms, involving the symmetric and antisymmetric multivariate sine and cosine functions. △ Less

Submitted 14 December, 2007; v1 submitted 29 May, 2007; originally announced May 2007.

Comments: 25 pages, no figures; LaTaX; corrected typos

Journal ref: J. Math. Phys., vol. 48 (2007), 093504, 24 pages

(Anti)symmetric multivariate exponential functions and corresponding Fourier transforms

Authors: A. Klimyk, J. Patera

Abstract: We define and study symmetrized and antisymmetrized multivariate exponential functions. They are defined as determinants and antideterminants of matrices whose entries are exponential functions of one variable. These functions are eigenfunctions of the Laplace operator on corresponding fundamental domains satisfying certain boundary conditions. To symmetric and antisymmetric multivariate exponen… ▽ More We define and study symmetrized and antisymmetrized multivariate exponential functions. They are defined as determinants and antideterminants of matrices whose entries are exponential functions of one variable. These functions are eigenfunctions of the Laplace operator on corresponding fundamental domains satisfying certain boundary conditions. To symmetric and antisymmetric multivariate exponential functions there correspond Fourier transforms. There are three types of such Fourier transforms: expansions into corresponding Fourier series, integral Fourier transforms, and multivariate finite Fourier transforms. Eigenfunctions of the integral Fourier transforms are found. △ Less

Submitted 24 May, 2007; originally announced May 2007.

Comments: 18 pages, no figeres

Invariants of triangular Lie algebras with one nilindependent diagonal element

Authors: Vyacheslav Boyko, Jiri Patera, Roman O. Popovych

Abstract: The invariants of solvable triangular Lie algebras with one nilindependent diagonal element are studied exhaustively. Bases of the invariant sets of all such algebras are constructed using an original algebraic algorithm based on Cartan's method of moving frames and the special technique developed for triangular and related algebras in [J. Phys. A: Math. Theor. 40 (2007), 7557-7572]. The conjectur… ▽ More The invariants of solvable triangular Lie algebras with one nilindependent diagonal element are studied exhaustively. Bases of the invariant sets of all such algebras are constructed using an original algebraic algorithm based on Cartan's method of moving frames and the special technique developed for triangular and related algebras in [J. Phys. A: Math. Theor. 40 (2007), 7557-7572]. The conjecture of Tremblay and Winternitz [J. Phys. A: Math. Gen. 34 (2001), 9085-9099] on the number and form of elements in the bases is completed and proved. △ Less

Submitted 1 April, 2018; v1 submitted 16 May, 2007; originally announced May 2007.

Comments: 11 pages; enhanced version

MSC Class: 17B05; 17B10; 17B30; 22E70; 58D19; 81R05

Journal ref: J. Phys. A 40 (2007), 9783-9792

Invariants of Triangular Lie Algebras

Authors: Vyacheslav Boyko, Jiri Patera, Roman Popovych

Abstract: Triangular Lie algebras are the Lie algebras which can be faithfully represented by triangular matrices of any finite size over the real/complex number field. In the paper invariants ('generalized Casimir operators') are found for three classes of Lie algebras, namely those which are either strictly or non-strictly triangular, and for so-called special upper triangular Lie algebras. Algebraic al… ▽ More Triangular Lie algebras are the Lie algebras which can be faithfully represented by triangular matrices of any finite size over the real/complex number field. In the paper invariants ('generalized Casimir operators') are found for three classes of Lie algebras, namely those which are either strictly or non-strictly triangular, and for so-called special upper triangular Lie algebras. Algebraic algorithm of [J. Phys. A: Math. Gen., 2006, V.39, 5749; math-ph/0602046], developed further in [J. Phys. A: Math. Theor., 2007, V.40, 113; math-ph/0606045], is used to determine the invariants. A conjecture of [J. Phys. A: Math. Gen., 2001, V.34, 9085], concerning the number of independent invariants and their form, is corroborated. △ Less

Submitted 26 September, 2007; v1 submitted 6 April, 2007; originally announced April 2007.

Comments: LaTeX2e, 16 pages; misprints are corrected, some proofs are extended

MSC Class: 17B05; 17B10; 17B30; 22E70; 58D19; 81R05

Journal ref: J. Phys. A 40 (2007) 7557-7572

Antisymmetric Orbit Functions

Authors: Anatoliy Klimyk, Jiri Patera

Abstract: In the paper, properties of antisymmetric orbit functions are reviewed and further developed. Antisymmetric orbit functions on the Euclidean space $E_n$ are antisymmetrized exponential functions. Antisymmetrization is fulfilled by a Weyl group, corresponding to a Coxeter-Dynkin diagram. Properties of such functions are described. These functions are closely related to irreducible characters of a… ▽ More In the paper, properties of antisymmetric orbit functions are reviewed and further developed. Antisymmetric orbit functions on the Euclidean space $E_n$ are antisymmetrized exponential functions. Antisymmetrization is fulfilled by a Weyl group, corresponding to a Coxeter-Dynkin diagram. Properties of such functions are described. These functions are closely related to irreducible characters of a compact semisimple Lie group $G$ of rank $n$. Up to a sign, values of antisymmetric orbit functions are repeated on copies of the fundamental domain $F$ of the affine Weyl group (determined by the initial Weyl group) in the entire Euclidean space $E_n$. Antisymmetric orbit functions are solutions of the corresponding Laplace equation in $E_n$, vanishing on the boundary of the fundamental domain $F$. Antisymmetric orbit functions determine a so-called antisymmetrized Fourier transform which is closely related to expansions of central functions in characters of irreducible representations of the group $G$. They also determine a transform on a finite set of points of $F$ (the discrete antisymmetric orbit function transform). Symmetric and antisymmetric multivariate exponential, sine and cosine discrete transforms are given. △ Less

Submitted 12 February, 2007; originally announced February 2007.

Comments: Published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 3 (2007), 023, 83 pages

Discrete and continuous exponential transforms of simple Lie groups of rank two

Authors: Iryna Kashuba, Jiri Patera

Abstract: We develop and describe continuous and discrete transforms of class functions on compact simple Lie group $G$ as their expansions into series of uncommon special functions, called here $\E$-functions in recognition of the fact that the functions generalize common exponential functions. The rank of $G$ is the number of variables in the $\E$-functions. A uniform discretization of the decomposition… ▽ More We develop and describe continuous and discrete transforms of class functions on compact simple Lie group $G$ as their expansions into series of uncommon special functions, called here $\E$-functions in recognition of the fact that the functions generalize common exponential functions. The rank of $G$ is the number of variables in the $\E$-functions. A uniform discretization of the decomposition problem is described on lattices of any density and symmetry admissible for the Lie group $G$. △ Less

Submitted 5 February, 2007; originally announced February 2007.

Comments: 24 pages, 6 figures

MSC Class: 33E99; 42B99; 42C15; 20F55

Orthogonality within the Families of C-, S-, and E-Functions of Any Compact Semisimple Lie Group

Authors: Robert V. Moody, Jiri Patera

Abstract: The paper is about methods of discrete Fourier analysis in the context of Weyl group symmetry. Three families of class functions are defined on the maximal torus of each compact simply connected semisimple Lie group $G$. Such functions can always be restricted without loss of information to a fundamental region $\check F$ of the affine Weyl group. The members of each family satisfy basic orthogo… ▽ More The paper is about methods of discrete Fourier analysis in the context of Weyl group symmetry. Three families of class functions are defined on the maximal torus of each compact simply connected semisimple Lie group $G$. Such functions can always be restricted without loss of information to a fundamental region $\check F$ of the affine Weyl group. The members of each family satisfy basic orthogonality relations when integrated over $\check F$ (continuous orthogonality). It is demonstrated that the functions also satisfy discrete orthogonality relations when summed up over a finite grid in $\check F$ (discrete orthogonality), arising as the set of points in $\check F$ representing the conjugacy classes of elements of a finite Abelian subgroup of the maximal torus $\mathbb T$. The characters of the centre $Z$ of the Lie group allow one to split functions $f$ on $\check F$ into a sum $f=f_1+...+f_c$, where $c$ is the order of $Z$, and where the component functions $f_k$ decompose into the series of $C$-, or $S$-, or $E$-functions from one congruence class only. △ Less

Submitted 8 November, 2006; originally announced November 2006.

Comments: Published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 2 (2006), 076, 14 pages

Fine group gradings of the real forms of $sl(4,\C)$, $sp(4,\C)$, and $o(4,\C)$

Authors: Jiří Patera, Edita Pelantová, Milena Svobodová

Abstract: We present an explicit description of the 'fine group gradings' (i.e. group gradings which cannot be further refined) of the real forms of the semisimple Lie algebras $sl(4,\C)$, $sp(4,\C)$, and $o(4,\C)$. All together 12 real Lie algebras are considered, and the total of 44 of their fine group gradings are listed. The inclusions $sl(4,\C)\supset sp(4,\C)\supset o(4,\C)$ are an important tool… ▽ More We present an explicit description of the 'fine group gradings' (i.e. group gradings which cannot be further refined) of the real forms of the semisimple Lie algebras $sl(4,\C)$, $sp(4,\C)$, and $o(4,\C)$. All together 12 real Lie algebras are considered, and the total of 44 of their fine group gradings are listed. The inclusions $sl(4,\C)\supset sp(4,\C)\supset o(4,\C)$ are an important tool in our presentation. Systematic use is made of the faithful representations of the three Lie algebras by $4\times 4$ matrices. △ Less

Submitted 27 September, 2007; v1 submitted 14 August, 2006; originally announced August 2006.

Comments: 19 pages

MSC Class: 17B70

Invariants of Lie Algebras with Fixed Structure of Nilradicals

Authors: Vyacheslav Boyko, Jiri Patera, Roman Popovych

Abstract: An algebraic algorithm is developed for computation of invariants ('generalized Casimir operators') of general Lie algebras over the real or complex number field. Its main tools are the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. Unlike the first application of the algorithm in [J. Phys. A: Math. Gen., 2006, V.39, 5749; math-ph/0602… ▽ More An algebraic algorithm is developed for computation of invariants ('generalized Casimir operators') of general Lie algebras over the real or complex number field. Its main tools are the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. Unlike the first application of the algorithm in [J. Phys. A: Math. Gen., 2006, V.39, 5749; math-ph/0602046], which deals with low-dimensional Lie algebras, here the effectiveness of the algorithm is demonstrated by its application to computation of invariants of solvable Lie algebras of general dimension $n<\infty$ restricted only by a required structure of the nilradical. Specifically, invariants are calculated here for families of real/complex solvable Lie algebras. These families contain, with only a few exceptions, all the solvable Lie algebras of specific dimensions, for whom the invariants are found in the literature. △ Less

Submitted 13 December, 2006; v1 submitted 19 June, 2006; originally announced June 2006.

Comments: LaTeX2e, 19 pages

MSC Class: 17B05; 17B10; 17B30; 22E70; 58D19; 81R05

Journal ref: J. Phys. A 40 (2007), 113-130

Computation of Invariants of Lie Algebras by Means of Moving Frames

Authors: Vyacheslav Boyko, Jiri Patera, Roman Popovych

Abstract: A new purely algebraic algorithm is presented for computation of invariants (generalized Casimir operators) of Lie algebras. It uses the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. The algorithm is applied, in particular, to computation of invariants of real low-dimensional Lie algebras. A number of examples are calculated to illust… ▽ More A new purely algebraic algorithm is presented for computation of invariants (generalized Casimir operators) of Lie algebras. It uses the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. The algorithm is applied, in particular, to computation of invariants of real low-dimensional Lie algebras. A number of examples are calculated to illustrate its effectiveness and to make a comparison with the same cases in the literature. Bases of invariants of the real solvable Lie algebras up to dimension five, the real six-dimensional nilpotent Lie algebras and the real six-dimensional solvable Lie algebras with four-dimensional nilradicals are newly calculated and listed in tables. △ Less

Submitted 23 February, 2010; v1 submitted 19 February, 2006; originally announced February 2006.

Comments: 17 pages, extended version

MSC Class: 17B05; 17B10; 17B30; 22E70; 58D19; 81R05

Journal ref: J. Phys. A: Math. Gen. 39 (2006) 5749-5762

Orbit Functions

Authors: Anatoliy Klimyk, Jiri Patera

Abstract: In the paper, properties of orbit functions are reviewed and further developed. Orbit functions on the Euclidean space $E_n$ are symmetrized exponential functions. The symmetrization is fulfilled by a Weyl group corresponding to a Coxeter-Dynkin diagram. Properties of such functions will be described. An orbit function is the contribution to an irreducible character of a compact semisimple Lie g… ▽ More In the paper, properties of orbit functions are reviewed and further developed. Orbit functions on the Euclidean space $E_n$ are symmetrized exponential functions. The symmetrization is fulfilled by a Weyl group corresponding to a Coxeter-Dynkin diagram. Properties of such functions will be described. An orbit function is the contribution to an irreducible character of a compact semisimple Lie group $G$ of rank $n$ from one of its Weyl group orbits. It is shown that values of orbit functions are repeated on copies of the fundamental domain $F$ of the affine Weyl group (determined by the initial Weyl group) in the entire Euclidean space $E_n$. Orbit functions are solutions of the corresponding Laplace equation in $E_n$, satisfying the Neumann condition on the boundary of $F$. Orbit functions determine a symmetrized Fourier transform and a transform on a finite set of points. △ Less

Submitted 19 January, 2006; originally announced January 2006.

Comments: Published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 2 (2006), 006, 60 pages

Compact Simple Lie Groups and Their C-, S-, and E-Transforms

Authors: Jiri Patera

Abstract: New continuous group transforms, together with their discretization over a lattice of any density and admissible symmetry, are defined for a general compact simple Lie groups of rank $2\leq n<\infty$. Rank 1 transforms are known. Rank 2 exposition of $C$- and $S$-transforms is in the literature. The $E$-transforms appear here for the first time. New continuous group transforms, together with their discretization over a lattice of any density and admissible symmetry, are defined for a general compact simple Lie groups of rank $2\leq n<\infty$. Rank 1 transforms are known. Rank 2 exposition of $C$- and $S$-transforms is in the literature. The $E$-transforms appear here for the first time. △ Less

Submitted 9 December, 2005; originally announced December 2005.

Comments: Published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 1 (2005), 025, 6 pages

Graded contractions of the Pauli graded sl(3,C)

Authors: J. Hrivnak, P. Novotny, J. Patera, J. Tolar

Abstract: The Lie algebra $sl(3,\C)$ is considered in the basis of generalized Pauli matrices. Corresponding grading is the Pauli grading here. It is one of the four gradings of the algebra which cannot be further refined. The set $\es$ of 48 contraction equations for 24 contraction parameters is solved. Our main tools are the symmetry group of the Pauli grading of $sl(3,\C)$, which is essentially the f… ▽ More The Lie algebra $sl(3,\C)$ is considered in the basis of generalized Pauli matrices. Corresponding grading is the Pauli grading here. It is one of the four gradings of the algebra which cannot be further refined. The set $\es$ of 48 contraction equations for 24 contraction parameters is solved. Our main tools are the symmetry group of the Pauli grading of $sl(3,\C)$, which is essentially the finite group $SL(2,\Z_3)$, and the induced symmetry of the system $\es$. A list of all equivalence classes of solutions of the contraction equations is provided. Among the solutions, 175 equivalence classes are non-parametric and 13 solutions depend on one or two continuous parameters, providing a continuum of equivalence classes and subsequently continuum of non-isomorphic Lie algebras. Solutions of the contraction equations of Pauli graded $sl(3,\bC)$ are identified here as specific solvable Lie algebras of dimensions up to 8. Earlier algorithms for identification of Lie algebras, given by their structure constants, had to be made more efficient in order to distinguish non-isomorphic Lie algebras encountered here. Resulting Lie algebras are summarized in tabular form. There are 88 indecomposable solvable Lie algebras of dimension 8, 77 of them being nilpotent. There are 11 infinite sets of parametric Lie algebras which still deserve further study. △ Less

Submitted 7 September, 2006; v1 submitted 15 September, 2005; originally announced September 2005.

Comments: 48 pages, 1 figure, 4 tables, 2 appendices

MSC Class: 15B81

Journal ref: Linear Algebra and its Applications, Vol. 418, Issues 2-3 (15 October 2006), pp. 498-550

The fine gradings of sl(3,C) and their symmetries

Authors: M. Havlicek, J. Patera, E. Pelantova, J. Tolar

Abstract: We describe the normalizers for all non-conjugate maximal Abelian subgroups of diagonalizable automorphisms of sl(3,C) and show their relation to the symmetries of equations related to the graded contraction. We describe the normalizers for all non-conjugate maximal Abelian subgroups of diagonalizable automorphisms of sl(3,C) and show their relation to the symmetries of equations related to the graded contraction. △ Less

Submitted 9 November, 2004; originally announced November 2004.

MSC Class: 17B70

Fourier transform method for imaging atmospheric Cherenkov telescopes

Authors: A. Atoyan, J. Patera, V. Sahakian, A. Akpherjanian

Abstract: We propose Fourier transform (FT) method for processing images of extensive air showers (EAS) detected by imaging atmospheric Cherenkov telescopes (IACT) used in the very high energy (VHE) gamma-ray astronomy. The method is based on the discrete Fourier transforms (DFT) on compact Lie groups, and the use of continuous extension of the inverse discrete transforms to approximate the discrete EAS i… ▽ More We propose Fourier transform (FT) method for processing images of extensive air showers (EAS) detected by imaging atmospheric Cherenkov telescopes (IACT) used in the very high energy (VHE) gamma-ray astronomy. The method is based on the discrete Fourier transforms (DFT) on compact Lie groups, and the use of continuous extension of the inverse discrete transforms to approximate the discrete EAS images by continuous EAS brightness distribution functions. Here we describe the FT-method in case of SU(3) group. It allows practical realization of the DFT technique for functions sampled on hexagonal symmetry grids. The proposed method can also be implemented in case of IACT cameras with grids of rectangular symmetry by using the DFT on the SU(2)xSU(2) group. The proposed FT-method is applied to the Monte-Carlo simulated bank of TeV proton and gamma-ray EAS images for a stand-alone telescope. Comparing between the FT-method and the currently used standard method shows that the FT technique allows a better and systematic enhancement of the gamma-ray signal. The relative difference between these two methods becomes more profound especially for `photon poor' images. It suggests that the EAS detection thresholds of IACTs could be effectively reduced with the use of FT technique. This prediction is further supported by a significant noise suppression capability of the method using simple low-pass filters in the image frequency domain. The FT-method allows very deep `tail' (and `height') image cuts, differentiation of images, operations in the image frequency domain, etc., that can be used for development of new effective parameters for the EAS image processing. △ Less

Submitted 15 September, 2004; originally announced September 2004.

Comments: 26 pages, 10 figures; submitted to Astroparticle Physics

Journal ref: Astropart.Phys. 23 (2005) 79-95

Automorphisms of the fine grading of sl(n,C) associated with the generalized Pauli matrices

Authors: M. Havlíček, J. Patera, E. Pelantová, J. Tolar

Abstract: We consider the grading of $sl(n,\mathbb{C})$ by the group $Π_n$ of generalized Pauli matrices. The grading decomposes the Lie algebra into $n^2-1$ one--dimensional subspaces. In the article we demonstrate that the normalizer of grading decomposition of $sl(n,\mathbb{C})$ in $Π_n$ is the group $SL(2, \mathbb{Z}_n)$, where $\mathbb{Z}_n$ is the cyclic group of order $n$. As an example we consider… ▽ More We consider the grading of $sl(n,\mathbb{C})$ by the group $Π_n$ of generalized Pauli matrices. The grading decomposes the Lie algebra into $n^2-1$ one--dimensional subspaces. In the article we demonstrate that the normalizer of grading decomposition of $sl(n,\mathbb{C})$ in $Π_n$ is the group $SL(2, \mathbb{Z}_n)$, where $\mathbb{Z}_n$ is the cyclic group of order $n$. As an example we consider $sl(3,\mathbb{C})$ graded by $Π_3$ and all contractions preserving that grading. We show that the set of 48 quadratic equations for grading parameters splits into just two orbits of the normalizer of the grading in $Π_3$. △ Less

Submitted 10 November, 2003; originally announced November 2003.

Journal ref: J. Math. Phys. 43 (2002), 1083-1094