Related papers: Formal proofs of operator identities by a single f…

An operator system modulo the kernel of a completely positive linear map of the operator system gives rise to an operator system quotient. In this paper, operator system quotients and quotient maps of certain matrix algebras are considered.…

An operator set is functionally incomplete if it can not represent the full set $\lbrace \neg,\vee,\wedge,\rightarrow,\leftrightarrow\rbrace$. The verification for the functional incompleteness highly relies on constructive proofs. The…

We continue the analysis of prime and semiprime operations over one-dimensional domains started in \cite{Va}. We first show that there are no bounded semiprime operations on the set of fractional ideals of a one-dimensional domain. We then…

We introduce two remarkable identities written in terms of single commutators and anticommutators for any three elements of arbitrary associative algebra. One is a consequence of other (fundamental identity). From the fundamental identity,…

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…

This is the first of two papers in which we study the modular invariance of pseudotraces of logarithmic intertwining operators. We construct and study genus-one correlation functions for logarithmic intertwining operators among generalized…

Although algebraic matroids were discovered in the 1930s, interest in them was largely dormant until their recent use in applications of algebraic geometry. Because nonlinear algebra is computationally challenging, it is easier to work with…

A classification of commutative integral domains consisting of ordinary differential operators with matrix coefficients is established in terms of morphisms between algebraic curves.

This investigation pertains to the construction of a class of generalised deformed derivative operators which furnish the familiar finite difference and the q-derivatives as special cases. The procedure involves the introduction of a linear…

For linear operators which factor with suitable assumptions concerning commutativity of the factors, we introduce several notions of a decomposition. When any of these hold then questions of null space and range are subordinated to the same…

We exploit the key idea that nonlinear system identification is equivalent to linear identification of the socalled Koopman operator. Instead of considering nonlinear system identification in the state space, we obtain a novel linear…

We demonstrate a method of associating the principal symbol at a $K$-point with a linear differential operator acting between modules over a commutative algebra, and we use it to define the ellipticity of a linear differential operator in a…

Real linear operators emerge in a range of mathematical physics applications. In this paper spectral questions of compact real linear operators are addressed. A Lomonosov-type invariant subspace theorem for antilinear compact operators is…

We present a parallel between commutative and non-commutative polymorphisms. Our emphasis is the applications to conditional distributions from stochastic processes. In the classical case, both the measures and the positive definite kernels…

Classical matching theory can be defined in terms of matrices with nonnegative entries. The notion of Positive operator, central in Quantum Theory, is a natural generalization of matrices with nonnegative entries. Based on this point of…

Representations of polynomial covariance type commutation relations by linear integral operators on $L_p$ over measures spaces are investigated. Necessary and sufficient conditions for integral operators to satisfy polynomial covariance…

In this paper we give an elementary proof of the Fundamental Theorem of Algebra for polynomials over the rational tropical semi-ring. We prove that, tropically, the rational numbers are algebraically closed. We provide a simple algorithm…

In this article, we conduct a study of integral operators defined in terms of non-convolution type kernels with singularities of various degrees. The operators that fall within our scope of research include fractional integrals, fractional…

Of crucial importance to the development of quantum computing and information has been the construction of a quantum operations formalism that admits a description of quantum noise while simultaneously revealing the behavior of an open…

We develop a general theory of operator realizations, or ``linear representations" of analytic functions in several non-commuting variables about a matrix-centre. In particular we show that a non-commutative function has a matrix-centre…