Related papers: On the equational complexity of RRA

We explain how recent developments in the fields of realisability models for linear logic -- or geometry of interaction -- and implicit computational complexity can lead to a new approach of implicit computational complexity. This…

We study local equivalence of bounded complexes over a polynomial ring $R[w]$, where $R$ is a noetherian ring. We provide a homological algebra approach to the results, the variants of which have been proved in many places in the…

In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is isomorphic to some algebra over a finite base. This result…

We study the Dehn function of connected Lie groups. We show that this function is always exponential or polynomially bounded, according to the geometry of weights and of the 2-cohomology of their Lie algebras. Our work, which also addresses…

One of the strongest techniques available for showing lower bounds on quantum communication complexity is the logarithm of the approximation rank of the communication matrix--the minimum rank of a matrix which is entrywise close to the…

We give a description of the minimal exponent of a hypersurface using higher direct images of suitably twisted sheaves of log forms on a log resolution.

We prove that the finite representation property holds for representation by partial functions for the signature consisting of composition, intersection, domain and range and for any expansion of this signature by the antidomain, fixset,…

We investigate the computability of algebraic closure and definable closure with respect to a collection of formulas. We show that for a computable collection of formulas of quantifier rank at most $n$, in any given computable structure,…

We show that a Lie algebroid on a stratified manifold is integrable if, and only if, its restriction to each strata is integrable. These results allow us to construct a large class of algebras of pseudodifferential operators.

Multidimensional contractions of irreducible representations of Cayley--Klein orthogonal algebras in Gel'fand--Zetlin basis are considered. Contracted over different parameters, algebras can turn out to be isomorphic. In this case method of…

We find an interpretation of the complex of variational calculus in terms of the Lie conformal algebra cohomology theory. This leads to a better understanding of both theories. In particular, we give an explicit construction of the Lie…

We provide explicit upper bounds of the order $\log t/\log\log t$ for $|\zeta'(s)/\zeta(s)|$ and $|1/\zeta(s)|$ when $\sigma$ is close to $1$. These improve existing bounds for $\zeta(s)$ on the $1$-line.

In this paper we prove that every recursively presented Lie algebra over a field which is a finite extention of its simple subfield can be embedded in a recursively presented Lie algebra defined by relations which are equalities of…

A brief proof of Lie's classification of solvable algebras of vector fields on the plane is given. The proof uses basic representation theory and PDEs.

We study the representation theory of finite-dimensional $\omega$-Lie algebras over the complex field. We derive an $\omega$-Lie version of the classical Lie's theorem, i.e., any finite-dimensional irreducible module of a soluble…

We give an improved polynomial bound on the complexity of the equation solvability problem, or more generally, of finding the value sets of polynomials over finite nilpotent rings. Our proof depends on a result in additive combinatorics,…

We give a characterization of connected solvable groups in terms of the existence of representations with certain geometric properties. The existence of such representations for the group of upper triangular matrices played an important…

We classify the simple restricted modules for the minimal $p$-envelope of the non-graded, non-restricted Hamiltonian Lie algebra $H(2; (1,1); \Phi(1))$ over an algebraically closed field $k$ of characteristic $p \geq 5$. We also give the…

We examine the structure of the insertion-elimination Lie algebra on rooted trees introduced in \cite{CK}. It possesses a triangular structure $\g = \n_+ \oplus \mathbb{C}.d \oplus \n_-$, like the Heisenberg, Virasoro, and affine algebras.…

In physics, Lie groups represent the algebraic structure that describes symmetry transformations of a given system. Then, the descending Lie algebra of those groups are necessarily real. In most cases, the complexification of those Lie…