Related papers: Recursion relations and branching rules for simple…
We give an explicit construction of Lie algebras of type $E_7$ out of a Lie algebra of type $D_6$ with some restrictions. Up to odd degree extensions, every Lie algebra of type $E_7$ arises this way. For Lie algebras that admit a…
Interested in formalizing the generation of fast running code for linear algebra applications, the authors show how an index-free, calculational approach to matrix algebra can be developed by regarding matrices as morphisms of a category…
In this paper, we give algorithms for determining the existence of isomorphism between two finite-dimensional Lie algebras and compute such an isomorphism in the affirrmative case. We also provide algorithms for determining algebraic…
We describe $\frac{1}{2}$-derivations, and hence transposed Poisson algebra structures, on Witt type Lie algebras $V(f)$, where $f:\Gamma\to\mathbb C$ is non-trivial and $f(0)=0$. More precisely, if $|f(\Gamma)|\ge 4$, then all the…
The blow-up lemma states that a system of super-regular pairs contains all bounded degree spanning graphs as subgraphs that embed into a corresponding system of complete pairs. This lemma has far-reaching applications in extremal…
Factorization -- a simple form of standardization -- is concerned with reduction strategies, i.e. how a result is computed. We present a new technique for proving factorization theorems for compound rewriting systems in a modular way, which…
In this paper we give some branching rules for the fundamental representations of Kac--Moody Lie algebras associated to $T$-shaped graphs. These formulas are useful to describe generators of the generic rings for free resolutions of length…
That announcement gives the structure of totally reducible linear Lie algebras which are the Lie algebra of the holonomy group of (at least) one torsion-free connection. The result uses the (already known) classi cation of the irreducible…
The generators and commutation relations are calculated explicitly for higher symmetry algebras of a class of hyperbolic Euler-Lagrange systems of Liouville type (in particular, for 2D Toda chains associated with semi-simple complex Lie…
We give the images of the adjoint representations of exceptional simple Lie algebras by matrices over complex numbers. Next, we digitalize these matrices by the use of Maxima, which is a computer algebra system. These digitalized matrices…
We describe a graph reduction operation, generalizing three graph reduction operations related to gene assembly in ciliates. The graph formalization of gene assembly considers three reduction rules, called the positive rule, double rule,…
This paper presents a novel factorization-based, low-rank regularization method for solving multidimensional deconvolution problems in the frequency domain. In this approach, each frequency component of the unknown wavefield is represented…
To a given nonsingular triangular matrix A with entries from a ring, we associate a weighted bipartite graph G(A) and give a combinatorial description of the inverse of A by employing paths in G(A). Under a certain condition, nonsingular…
We derive formulae for Gram matrices arising in the Nyman--Beurling reformulation of the Riemann hypothesis. The development naturally leads upon series of the form $S(x) = \sum_{n\ge 1} R(nx)$ and their reciprocity relations. We give…
An algorithm for calculating two-loop propagator type Feynman diagrams with arbitrary masses and external momentum is proposed. Recurrence relations allowing to express any scalar integral in terms of basic integrals are given. A minimal…
We develop a new method for obtaining branching rules for affine Kac-Moody Lie algebras at negative integer levels. This method uses fusion rules for vertex operator algebras of affine type. We prove that an infinite family of ordinary…
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…
The classical branch-and-bound algorithm for the integer feasibility problem has exponential worst case complexity. We prove that it is surprisingly efficient on reformulated problems, in which the columns of the constraint matrix are…
We investigate the problem of factorizing a matrix into several sparse matrices and propose an algorithm for this under randomness and sparsity assumptions. This problem can be viewed as a simplification of the deep learning problem where…
A superposition rule is a particular type of map that enables one to express the general solution of certain systems of first-order ordinary differential equations, the so-called Lie systems, out of generic families of particular solutions…