Related papers: Programming Realization of Symbolic Computations f…
We formulate the general construction for singular vectors in Verma modules of the affine sl(2|1) superalgebra. We then construct sl(2|1) representations out of the fields of the non-critical N=2 string. This allows us to extend naturally…
Let g be a semisimple Lie algebra over the real numbers. We describe an explicit combinatorial construction of the real Weyl group of g with respect to a given Cartan subalgebra. An efficient computation of this Weyl group is important for…
In this work we present a theoretical model for differentiable programming. We construct an algebraic language that encapsulates formal semantics of differentiable programs by way of Operational Calculus. The algebraic nature of Operational…
Recently we have started a program to describe the action of Lie algebras associated with Dynkin-type diagrams on generic Verma modules in terms of polynomial vector fields. In this paper we explain that the results for the classical ABCD…
In the 1990s, in work of Le Bruyn and Smith and in work of Le Bruyn and Van den Bergh, it was proved that point modules and line modules over the homogenization of the universal enveloping algebra of a finite-dimensional Lie algebra…
We study $\mathbb Z$-graded modules of nonzero level with arbitrary weight multiplicities over Heisenberg Lie algebras and the associated generalized loop modules over affine Kac-Moody Lie algebras. We construct new families of such…
In this article, we study the multiparameter second quantum Weyl algebra at roots of unity. In this setting, the algebra is a polynomial identity (PI) algebra, and the dimension of its simple modules is bounded above by its PI degree. We…
Given a separable unital C*algebra $C$, let $E_n$ denote the Hilbert module equal to the completion of the Schwartz space of rapidly decreasing smooth functions from $R^n$ to $C$ equipped with the $C$-valued inner product given by…
This paper describes an approach to computer aided calculations in the cohomology of arithmetic groups. It complements existing literature on the topic by emphasizing homotopies and perturbation techniques, rather than cellular subdivision,…
The verification of multithreaded software is still a challenge. This comes mainly from the fact that the number of thread interleavings grows exponentially in the number of threads. The idea that thread interleavings can be studied with a…
Inspired by code vertex operator algebras (VOAs) and their representation theory, we define code algebras, a new class of commutative non-associative algebras constructed from binary linear codes. Let $C$ be a binary linear code of length…
Symmetry plays a central role in accelerating symbolic computation involving polynomials. This chapter surveys recent developments and foundational methods that leverage the inherent symmetries of polynomial systems to reduce complexity,…
We introduce a suitable adapted ordering for the twisted N=2 superconformal algebra (i.e. with mixed boundary conditions for the fermionic fields). We show that the ordering kernels for complete Verma modules have two elements and the…
A unital $C^*$-algebra is called $N$-subhomogeneous if its irreducible representations are finite dimensional with dimension at most $N$. We extend this notion to operator systems, replacing irreducible representations by boundary…
Given a multi-index sequence $$\sigma$$, we present a new efficient algorithm to compute generators of the linear recurrence relations between the terms of $$\sigma$$. We transform this problem into an algebraic one, by identifying…
Given a von Neumann algebra $M$ and a $W^{\ast}$-correspondence $E$ over $M$, we construct an algebra $H^{\infty}(E)$ that we call the Hardy algebra of $E$. When $M=\mathbb{C}=E$, then $H^{\infty}(E)$ is the classical Hardy space…
We observe that local embedding problems for certain Hardy and Bergman spaces of Dirichlet series are equivalent to boundedness of a class of composition operators. Following this, we perform a careful study of such composition operators…
In this paper, we introduce a new infinite-dimensional Lie superalgebra $\mathcal{S}$ called the super extended Ovsienko--Roger algebra. This algebra is obtained by determining the annihilation superalgebra of the Lie conformal superalgebra…
In the present paper, we construct an algorithm for the evaluation of real Riemann zeta function $\zeta(s)$ for all real $s$, $s>1$, in polynomial time and linear space on Turing machines in Ko-Friedman model. The algorithms is based on a…
The aim of this paper is to give a new method to construct explicit formulas for algebraic differential operators of any order on a finitely generated projective module $E$ on a commutative unital ring $A$. We moreover give explicit…