相关论文: True-pairs of Real Linear Operators and Factorizat…

We extend Haviland's theorem on the integral representation of positive linear functionals on usual (real multivariate) polynomials to the integral representation of positive linear maps on operator polynomials mapping into the space of…

This is part of an ongoing project to find a general algebraic framework for semiring theory. The structure theory of semirings is quite challenging, largely because of the lack of negation, and such basic properties such as unique…

Over a composition algebra $A$, a polynomial $f(x) \in A[x]$ has a root $\alpha$ if and only $f(x)=g(x)\cdot (x-\alpha)$ for some $g(x) \in A[x]$. We examine whether this is true for general Cayley-Dickson algebras. The conclusion is that…

We prove that a (bounded linear) operator acting on an infinite-dimensional, separable, complex Hilbert space can be written as a product of two quasi-nilpotent operators if and only if it is not a semi-Fredholm operator. This solves the…

The concept of polynomials in the sense of algebraic analysis, for a single right invertible linear operator, was introduced and studied originally by D. Przeworska-Rolewicz \cite{DPR}. One of the elegant results corresponding with that…

A null vector is an algebraic quantity with square equal to zero. I denote the universal algebra generated by taking all sums and products of null vectors over the real or complex numbers by N. The rules of addition and multiplication in N…

Motion polynomials (polynomials over the dual quaternions with nonzero real norm) describe rational motions. We present a necessary and sufficient condition for reduced bounded motion polynomials to admit factorizations into monic linear…

The matrix normed structure of the unitization of a (non-selfadjoint) operator algebra is determined by that of the original operator algebra. This yields a classification up to completely isometric isomorphism of two-dimensional unital…

We introduce a linear algebraic object called a bidiagonal pair. Roughly speaking, a bidiagonal pair is a pair of diagonalizable linear transformations on a finite-dimensional vector space, each of which acts in a bidiagonal fashion on the…

We confirm rigorously the conjecture, based on numerical and asymptotic evidence, that all the eigenvalues of a certain non-self-adjoint operator are real.

In this paper, we prove that the world of near-vector spaces allows us to work with non-linear problems and yet, gives access to most of the tools linear algebra has to offer. We establish some fundamental results for near-vector spaces…

Let $V$ be a set of isolated points in $\RR^d$. Define a linear functional $\CL$ on the space of real polynomials restricted on $V$, $\CL f = \sum_{x \in V} f(x)\rho(x)$, where $\rho$ is a nonzero function on $V$. Polynomial subspaces that…

We calculate the exceptional points of the eigenvalues of several parameter-dependent Hamiltonian operators of mathematical and physical interest. We show that the calculation is greatly facilitated by the application of the discriminant to…

We study linear difference equations with variable coefficients in a ring using a new nonlinear method. In a ring with identity, if the homogeneous part of the linear equation has a solution in the unit group of the ring (i.e., a unitary…

We show that Csanky's fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LAP from the principle of linear independence. LAP is a natural…

We consider certain functional identities on the matrix algebra $M_n$ that are defined similarly as the trace identities, except that the "coefficients" are arbitrary polynomials, not necessarily those expressible by the traces. The main…

Unlike in complex linear operator theory, polynomials or, more generally, Laurent series in antilinear operators cannot be modelled with complex analysis. There exists a corresponding function space, though, surfacing in spectral mapping…

We investigate linear operators $A:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$. We give explicit operators $A$ such that, for fixed $d\in\mathbb{N}_0$ and closed $K\subseteq\mathbb{R}^n$, $e^A\mathrm{Pos}(K)_{\leq…

The operator monotone functions defined in the positive half-line are of particular importance. We give a version of the theory in which integral representations for these functions can be established directly without invoking L\"owner's…

The zero set of a real polynomial in two variable is a curve in $\mathbb R^2$. For a generic choice of its coefficients this is a non-singular curve, a collection of circles and lines properly embedded in $\mathbb R^2$. What topological…