Related papers: Some trace formulae involving the split sequences …
The trace functions for the Parafermion vertex operator algebra associated to any finite dimensional simple Lie algebra $\g$ and any positive integer $k$ are studied and an explicit modular transformation formula of the trace functions is…
Subsets of a matrix algebra over a field that are invariant under conjugation and contain the linear span of each two of their commuting elements are described. They obviously include the subsets of diagonalizable and nilpotent matrices. In…
Let $1 \leq k < n$ be integers. Two $n \times n$ matrices $A$ and $B$ form a parallel pair with respect to the $k$-numerical radius $w_k$ if $w_k(A + \mu B) = w_k(A) + w_k(B)$ for some scalar $\mu$ with $|\mu| = 1$; they form a TEA…
Using the six parameters truncated Mittag-Leffler function, we introduce a convenient truncated function to define the so-called truncated $\mathcal{V}$-fractional derivative type. After a discussion involving some properties associated…
The differential field of transseries extends the field of real Laurent series, and occurs in various context: asymptotic expansions, analytic vector fields, o-minimal structures, to name a few. We give an overview of the algebraic and…
Let S be a symbol algebra. The trace form of S is computed and it is shown how this form can be used to determine whether S is a division algebra or not. In addition, the exterior powers of the trace form of S are computed.
In this paper, we present a new algorithm for computing the linear recurrence relations of multi-dimensional sequences. Existing algorithms for computing these relations arise in computational algebra and include constructing structured…
The local trace formula gives strong relations between two types of invariant distributions on a reductive group defined over a local field: orbital integrals and characters of representations. For connected reductive groups, the formula…
The aim of this paper is to study relations between regular reductive PVs with one-dimensional scalar multiplication and the structure of graded Lie algebras. We will show that the regularity of such PVs is described by an…
Riordan matrices are infinite lower triangular matrices determined by a pair of formal power series over the real or complex field. These matrices have been mainly studied as combinatorial objects with an emphasis placed on the algebraic or…
This paper is a modern exposition of old ideas. The setting is a Euclidian space $E$ of dimension $n$ with associated vector space $V$ of dimension $n$. A (non-zero) sliding vector is a vector in $V$ that is free to move, but only within a…
We present a new look at description of real finite-dimensional Lie algebras. The basic element turns out to be a pair $(F,v)$ consisting of a linear mapping $F\in End(V)$ and its eigenvector $v$. This pair allows to build a Lie bracket on…
An alternative proof of Lie's approach for linearization of scalar second order ODEs is derived using the relationship between $\lambda$-symmetries and first integrals. This relation further leads to a new $\lambda$-symmetry linearization…
In a series of lectures Selberg introduced a trace formula on the space of hybrid Maass-modular forms of an irreducible uniform lattice in $\PSL_2(\bbR)^n$. In this paper we derive the analogous formula for a non-uniform lattice and use it…
Decomposition is a common tool for synthesis of many physical systems. It is also used for analyzing large scale systems which then known as tearing and reconstruction. On the other hand, commutativity of cascade connected systems have…
A 1-period is a complex number given by the integral of a univariate algebraic function, where all data involved -- the integrand and the domain of integration -- are defined over algebraic numbers. We give an algorithm that, given a finite…
Given a real, symmetric matrix S, we define the slice through S as being the connected component containing S of two orbits under conjugation: the first by the orthogonal group, and the second by the upper triangular group. We describe some…
We present a logical framework for the verification of relational properties in imperative programs. Our work is motivated by relational properties which come from security applications and often require reasoning about formulas with…
A first order trace formula is obtained for a regular differential operator perturbed by a finite signed measure multiplication operator.
Continuous reducibilities are a proven tool in computable analysis, and have applications in other fields such as constructive mathematics or reverse mathematics. We study the order-theoretic properties of several variants of the two most…