Related papers: Programming Realization of Symbolic Computations f…

Three loop ladder and $V$-topology diagrams contributing to the massive operator matrix element $A_{Qg}$ are calculated. The corresponding objects can all be expressed in terms of nested sums and recurrences depending on the Mellin variable…

We study W-algebras obtained by quantum Hamiltonian reduction of $sl(Mn)$ associated to the $sl(2)$ embedding of rectangular type. The algebra can be realized as the asymptotic symmetry of higher spin gravity with $M \times M$ matrix valued…

This paper addresses the symbolic representation of non-convex real polyhedra, i.e., sets of real vectors satisfying arbitrary Boolean combinations of linear constraints. We develop an original data structure for representing such sets,…

Interpolation-based techniques have been widely and successfully applied in the verification of hardware and software, e.g., in bounded-model check- ing, CEGAR, SMT, etc., whose hardest part is how to synthesize interpolants. Various work…

We shall first present an explicit realization of the simple $N=4$ superconformal vertex algebra $L_{c} ^{N=4}$ with central charge $c=-9$. This vertex superalgebra is realized inside of the $ b c \beta \gamma $ system and contains a…

We define graded hyper-algebras of vector-valued Siegel modular forms, which allow us to study tensor products of the latter. We also define vector-valued Hecke operators for Siegel modular forms at all places of ${\mathbb Q}$, acting on…

The modular operator approach of Tomita-Takesaki to von Neumann algebras is elucidated in the algebraic structure of certain supersymmetric quantum mechanical systems. A von Neumann algebra is constructed from the operators of the system.…

An algebraic extended bilinear Hilbert semispace is proposed as being the natural representation space for the algebras of von Neumann.This bilinear Hilbert semispace has a well defined structure given by the representation space of an…

We study a system of $n$ Abelian vector fields coupled to $\frac 12 n(n+1)$ complex scalars parametrising the Hermitian symmetric space $\mathsf{Sp}(2n, {\mathbb R})/ \mathsf{U}(n)$. This model is Weyl invariant and possesses the maximal…

An efficient systematic procedure is provided for symbolic computation of Lie groups of equivalence transformations and generalized equivalence transformations of systems of differential equations that contain arbitrary elements (arbitrary…

In this article are given explicit expressions for differential operators representing the action of any element of any Lie superalgebra g on a module induced or coinduced from an h-module V, where h is any subsuperalgebra of g. For the…

We present a novel certified and complete algorithm to compute arrangements of real planar algebraic curves. It provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic curves in…

We propose and discuss how basic notions (quadratic modules, positive elements, semialgebraic sets, Archimedean orderings) and results (Positivstellensaetze) from real algebraic geometry can be generalized to noncommutative $*$-algebras. A…

We construct a non-chiral current algebra in two dimensions consistent with conformal invariance. We show that the conformal current algebra is realized in non-linear sigma-models on supergroup manifolds with vanishing dual Coxeter number,…

Working with anticommuting Weyl(or Mayorana) spinors in the framework of the van der Waerden calculus is standard in supersymmetry. The natural frame for rigorous supersymmetric quantum field theory makes use of operator-valued…

Existing structural analysis methods may fail to find all hidden constraints for a system of differential-algebraic equations with parameters if the system is structurally unamenable for certain values of the parameters. In this paper, for…

This paper is a continuation to understand Heisenberg vertex algebras in terms of moduli spaces of their conformal structures. We study the moduli space of the conformal structures on a Heisenberg vertex algebra that have the standard fixed…

We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra $\hat{\mathfrak{g}}$, from $\mathfrak{g}$-module homomorphisms. When…

We suppose that $G$ is a locally compact abelian group, $Y$ is a measure space, and $H$ is a reproducing kernel Hilbert space on $G\times Y$ such that $H$ is naturally embedded into $L^2(G\times Y)$ and it is invariant under the…

Vertex algebras (and their modules) can be described as vector spaces together with a linear operator-valued series in one parameter $z$. With the interpretation of $z$ as a coordinate at a point on a curve, one can construct algebraic…