Related papers: Characteristic functions and Hamilton-Cayley theor…

This paper establishes new upper bounds for the right eigenvalues of monic matrix polynomials over the quaternion division algebra. The noncommutative nature of quaternion multiplication presents fundamental challenges in eigenvalue…

In this paper we prove some characterizations of the matrix orthogonal polynomials whose derivatives are also orthogonal, which generalize other known ones in the scalar case. In particular, we prove that the corresponding orthogonality…

We prove a Nullstellensatz for the ring of polynomial functions in n non-commuting variables over Hamilton's ring of real quaternions. We also characterize the generalized polynomial identities in n variables which hold over the…

In the algebra of complex quaternions $\mathbb{H(C)}$ we consider for the first time left- and right-$\psi$-hyperholomorphic functions. We justify the transition in left- and right-$\psi$-hyperholomorphic functions to a simpler basis i.e.…

This paper is devoted to several new results concerning (standard) octonion polynomials. The first is the determination of the roots of all right scalar multiples of octonion polynomials. The roots of left multiples are also discussed,…

Starting from the characteristic polynomial for ordinary matrices we give a combinatorial deduction of the Mandelstam identities and viceversa, thus showing that the two sets of relations are equivalent. We are able to extend this…

The functions studied in the paper are quaternion-valued functions of a quaternionic variable. It is show that the left slice regular functions and right slice regular functions are related by a particular involution. The relation between…

We generalize both the notion of polynomial functions on Lie groups and the notion of horizontally affine maps on Carnot groups. We fix a subset $S$ of the algebra $\mathfrak g$ of left-invariant vector fields on a Lie group $\mathbb G$ and…

We introduce the notion of semi-characteristic polynomial for a semi-linear map of a finite- dimensional vector space over a field of characteristic p. This polynomial has some properties in common with the classical characteristic…

The colored Jones function of a knot is a sequence of Laurent polynomials in one variable, whose n-th term is the Jones polynomial of the knot colored with the n-dimensional irreducible representation of SL(2). It was recently shown by TTQ…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

We present a theory of the $b$-function (or Bernstein-Sato polynomial) in positive characteristic. Let $f$ be a non-constant polynomial with coefficients in a perfect field $k$ of characteristic $p>0.$ Its $b$-function $b_f$ is defined to…

We compute correlation functions of inverse powers and ratios of characteristic polynomials for random matrix models with complex eigenvalues. Compact expressions are given in terms of orthogonal polynomials in the complex plane as well as…

We introduce a class of Jacobi operators with discrete spectra which is characterized by a simple convergence condition. With any operator J from this class we associate a characteristic function as an analytic function on a suitable…

This is a survey of our results on the theory of $n$-homomorphisms of Buchstaber--Rees and its generalization that we obtained. In short, we are concerned with classes of linear maps between commutative rings that can be described the "next…

Orthogonally invariant functions of symmetric matrices often inherit properties from their diagonal restrictions: von Neumann's theorem on matrix norms is an early example. We discuss the example of "identifiability", a common property of…

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…

Form an $n \times n$ matrix by drawing entries independently from $\{\pm1\}$ (or another fixed nontrivial finitely supported distribution in $\mathbf{Z}$) and let $\phi$ be the characteristic polynomial. Conditionally on the extended…

In this article, we focus on the characteristic polynomial of a graph containingloops, but without multiple edges. We present a relationship between thecharacteristic polynomial of a graph with loops and the graph obtained byremoving all…

Just as knowing some roots of a polynomial allows one to factor it, a well-known result provides a factorization of any scalar differential operator given a set of linearly independent functions in its kernel. This note provides a…