Related papers: Programming Realization of Symbolic Computations f…
An algebra ${\cal G}$ of symmetric {\em one-particle} operators is constructed for the Calogero model. This is an infinite-dimensional Lie-algebra, which is independent of the interaction parameter $\lambda$ of the model. It is constructed…
We investigate dual realizations of non--commutative spaces of Lie algebra type in terms of formal power series in the Weyl algebra. To each realization of a Lie algebra $\g$ we associate a star--product on the symmetric algebra $S(\g)$ and…
The Hilbert spaces of matrix quantum mechanical systems with $N \times N$ matrix degrees of freedom $ X $ have been analysed recently in terms of $S_N$ symmetric group elements $U$ acting as $X \rightarrow U X U^T $. Solvable models have…
As an associative algebra, the Heisenberg-Weyl algebra $\mathcal{H}$ is generated by two elements $A$, $B$ subject to the relation $AB-BA=1$. As a Lie algebra, however, where the usual commutator serves as Lie bracket, the elements $A$ and…
We consider a reducible unitary representation of Heisenberg-Weyl group in a tensor product of two Hilbert spaces. A non-commutative operator graph generated by this representation is introduced. It is shown that spectral projections of…
We introduce a framework for proving statements about linear operators by verification of ideal membership in a free algebra. More specifically, arbitrary first-order statements about identities of morphisms in preadditive semicategories…
We define the unique (up to normalization) symbol map from the space of linear differential operators on $R^n$ to the space of polynomial on fibers functions on $T^* R^n$, equivariant with respect to the Lie algebra of projective…
The conformal transformations with respect to the metric defining the orthogonal Lie algebra o(n) give rise to a one-parameter (c) family of inhomogeneous first-order differential operator representations of the orthogonal Lie algebra…
Given a sequence of finite element spaces which form a de Rham sequence, we will construct a dual representation of these spaces with associated differential operators which connect these spaces such that they also form a de Rham sequence.…
The Verma modules over the quantum groups $\mathrm U_q(\mathfrak{gl}_{l + 1})$ for arbitrary values of $l$ are analysed. The explicit expressions for the action of the generators on the elements of the natural basis are obtained. The…
Hyperbolic programming is the problem of computing the infimum of a linear function when restricted to the hyperbolicity cone of a hyperbolic polynomial, a generalization of semidefinite programming. We propose an approach based on symbolic…
Let K be a subfield of the complex numbers, and let D be the Weyl algebra of K-linear differential operators on K[x_1,...,x_n]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite…
We give a complete classification of conformally covariant differential operators between the spaces of $i$-forms on the sphere $S^n$ and $j$-forms on the totally geodesic hypersphere $S^{n-1}$. Moreover, we find explicit formul{\ae} for…
We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2x2-matrix…
There are 13 equivalence classes of 2D second order quantum and classical superintegrable systems with nontrivial potential, each associated with a quadratic algebra of hidden symmetries. We study the finite and infinite irreducible…
We look at various forms of spectrum and associated pseudospectrum that can be defined for noncommuting $d$-tuples of Hermitian elements of a $C^*$-algebra. The emphasis is on theoretical calculations of examples, in particular for…
Explicit high-order non-canonical symplectic particle-in-cell algorithms for classical particle-field systems governed by the Vlasov-Maxwell equations are developed. The algorithm conserves a discrete non-canonical symplectic structure…
We provide a computational definition of the notions of vector space and bilinear functions. We use this result to introduce a minimal language combining higher-order computation and linear algebra. This language extends the Lambda-calculus…
Lowest weight representations of the ${\mathbb Z}_2 \otimes {\mathbb Z}_2$ graded superalgebra introduced by Rittenberg and Wyler are investigated. We give a explicit construction of Verma modules over the ${\mathbb Z}_2 \otimes {\mathbb…
This paper describes algorithms to deal with nested symbolic sums over combinations of harmonic series, binomial coefficients and denominators. In addition it treats Mellin transforms and the inverse Mellin transformation for functions that…