Related papers: Programming Realization of Symbolic Computations f…
We identify the quantum algebra of position and momentum operators for a quantum system bearing an irreducible representation of the super Poincare algebra in the N>1 and D=4 superspace both in the case where there are not central charges…
In this article we present a method to implement orthogonal polynomials and many other special functions in Computer Algebra systems enabling the user to work with those functions appropriately, and in particular to verify different types…
Investigating the direct integral decomposition of von Neumann algebras of bounded module operators on self-dual Hilbert W*-moduli an equivalence principle is obtained which connects the theory of direct disintegration of von Neumann…
We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and…
We describe software for symbolic computations that we developed in order to find Hamiltonian operators for Witten--Dijkgraaf--Verlinde--Verlinde (WDVV) equations, and verify their compatibility. The computation involves nonlocal…
Lowest weight modules, in particular, Verma modules over the N = 1,2 super Schrodinger algebras in (1+1) dimensional spacetime are investigated. The reducibility of the Verma modules is analyzed via explicitly constructed singular vectors.…
For any additive subgroup $G$ of an arbitrary field $F$ of characteristic zero, there corresponds a generalized Heisenberg-Virasoro algebra $L[G]$. Given a total order of $G$ compatible with its group structure, and any…
Symbolic computation, powered by modern computer algebra systems, has important applications in mathematical reasoning through exact deep computations. The efficiency of symbolic computation is largely constrained by such deep computations…
According to Kirillov's theory, the construction of a unitary irreducible representation of a nilpotent Lie group requires a precise computation of some polarizing subalgebra subordinated to a linear functional in the linear dual of the…
This article reviews recent progress in the development of the computing framework vector symbolic architectures (VSA) (also known as hyperdimensional computing). This framework is well suited for implementation in stochastic, emerging…
In this paper, we study weight representations over the Schr{\"o}dinger Lie algebra $\mathfrak{s}_n$ for any positive integer $n$. It turns out that the algebra $\mathfrak{s}_n$ can be realized by polynomial differential operators. Using…
In this paper we study general highest weight modules $\mathbb{V}^\lambda$ over a complex finite-dimensional semisimple Lie algebra $\mathfrak{g}$. We present three formulas for the set of weights of a large family of modules…
In this paper, we present a new algorithm and an experimental implementation for factoring elements in the polynomial n'th Weyl algebra, the polynomial n'th shift algebra, and ZZ^n-graded polynomials in the n'th q-Weyl algebra. The most…
We consider asymptotic limits of q-oscillator (or Heisenberg) realizations of Verma modules over the quantum superalgebra $U_{q}(gl(M|N))$, and obtain q-oscillator realizations of the contracted algebras proposed in [arXiv:1205.1471].…
In this article we exploit Ruelle-type spectral functions and analyze the Verma module over Virasoro algebra, boson-fermion correspondence, the analytic torsion, the Chern-Simons and $\eta$ invariants, as well as the generation function…
We present a computer algebra package based on Magma for performing computations in rational Cherednik algebras at arbitrary parameters and in Verma modules for restricted rational Cherednik algebras. Part of this package is a new general…
We study the arithmetic circuit complexity of some well-known family of polynomials through the lens of parameterized complexity. Our main focus is on the construction of explicit algebraic branching programs (ABP) for determinant and…
We prove that the scalar and $2\times 2$ matrix differential operators which preserve the simplest scalar and vector-valued polynomial modules in two variables have a fundamental Lie algebraic structure. Our approach is based on a general…
Solving nonlinear SMT problems over real numbers has wide applications in robotics and AI. While significant progress is made in solving quantifier-free SMT formulas in the domain, quantified formulas have been much less investigated. We…
Questions at the intersection of the AdS/CFT correspondence and quantum information theory motivate the study of projectors in sequences of subalgebras of finite-dimensional commutative associative semisimple algebras $\mathcal{A}$,…