Related papers: Interpolation Polynomials and Linear Algebra

Consider an algebraic equation $P(x,y)=0$ where $P\in \mathbb C[x,y] $ (or $\mathbb F[x,y]$ with $\mathbb F\subset \mathbb C$ a subfield) is a bivariate polynomial, it defines a plane algebraic curve. We provide an efficient method for…

We study the problem of matrix Lie algebra conjugacy. Lie algebras arise centrally in areas as diverse as differential equations, particle physics, group theory, and the Mulmuley--Sohoni Geometric Complexity Theory program. A matrix Lie…

The usual univariate interpolation problem of finding a monic polynomial f of degree n that interpolates n given values is well understood. This paper studies a variant where f is required to be composite, say, a composition of two…

We construct Lagrange interpolating polynomials for a set of points and values belonging to the algebra of real quaternions $H\simeq R_{0,2}$, or to the real Clifford algebra $R_{0,3}$. In the quaternionic case, the approach by means of…

Let $A$ be a square complex matrix, $z_1$, ..., $z_{n}\in\mathbb C$ be (possibly repetitive) points of interpolation, $f$ be analytic in a neighborhood of the convex hull of the union of the spectrum of $A$ and the points $z_1$, ...,…

An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed. The algorithm is based on a key observation that quadratic polynomial inequalities…

In this work, we study the Hermite interpolation on $n$-dimensional non-equally spaced, rectilinear grids over a field $\Bbbk $ of characteristic zero, given the values of the function at each point of the grid and the partial derivatives…

Equivalence between algebraic equations of motion may be detected by using a $p$-adic method, methods using factorization and linear algebra, or by systematic computer search of suitable Tschirnhausen transformations. Here, we show standard…

We apply the quaternionic Jordan form to classify the hypercomplex nilpotent almost abelian Lie algebras in all dimensions and to carry out the complete classification of 12-dimensional hypercomplex almost abelian Lie algebras. Moreover, we…

Matrix functions extend scalar function concepts to linear operators, offering a unified framework with broad applications in mathematics, science, and engineering. Classical definitions--via power series, spectral calculus, or Jordan…

We show that the $\imath$Hall algebra of the Jordan quiver is a polynomial ring in infinitely many generators and obtain transition relations among several generating sets. We establish a ring isomorphism from this $\imath$Hall algebra to…

Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc. The underlying synthesis problem, however, is challenging and…

Let $M_n$ denote the algebra of $n \times n$ complex matrices and let $\mathcal{A}\subseteq M_n$ be an arbitrary structural matrix algebra, i.e. a subalgebra of $M_n$ that contains all diagonal matrices. We consider injective maps $\phi :…

Let $M_n$ be the algebra of $n \times n$ complex matrices. We consider arbitrary subalgebras $\mathcal{A}$ of $M_n$ which contain the algebra of all upper-triangular matrices (i.e.\ block upper-triangular subalgebras), and their Jordan…

We give a concise direct proof of the orthogonality of interpolation Macdonald polynomials with respect to the Fourier pairing and briefly discuss some immediate applications of this orthogonality, such as the symmetry of the Fourier…

Let $A$ be an algebra over a field $F$ with {\rm char}$(F)\ne 2$. If $A$ is generated as an algebra by $[[A,A],[A,A]]$, then for every skew-symmetric bilinear map $\Phi:A\times A\to X$, where $X$ is an arbitrary vector space over $F$, the…

In this paper,we deeply research Lagrange interpolation of n-variables and give an application of Cayley-Bacharach theorem for it. We pose the concept of sufficient intersection about s algebraic hypersurfaces in n-dimensional complex…

By $B=B(x^{(0)};R)$ we denote the Euclidean ball in ${\mathbb R}^n$ given by the inequality $\|x-x^{(0)}\|\leq R$. Here $x^{(0)}\in{\mathbb R}^n, R>0$, $\|x\|:=\left(\sum_{i=1}^n x_i^2\right)^{1/2}$. We mean by $C(B)$ the space of…

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…

We study Lie brackets and Jordan products derived from associative operations $\circ, \bullet$ satisfying the interchange identity $(w \bullet x ) \circ ( y \bullet z ) \equiv (w \circ y ) \bullet ( x \circ z )$. We use computational linear…