Related papers: Some observations on the properness of Identity pl…

We prove a universal identity for powers of elements in quadratic algebras, expressing x^m in terms of x and the identity. As a consequence, we obtain a general formula for powers of 2x2 matrices depending only on trace and determinant.…

Let $F=(F_1, F_2, ... F_n)$ be an $n$-tuple of formal power series in $n$ variables of the form $F(z)=z+ O(|z|^2)$. It is known that there exists a unique formal differential operator $A=\sum_{i=1}^n a_i(z)\frac {\p}{\p z_i}$ such that…

We give a simple direct proof of the Jamiolkowski criterion to check whether a linear map between matrix algebras is completely positive or not. This proof is more accesible for physicists than others found in the literature and provides a…

In this paper we present an equivalent statement to the Jacobian conjecture. For a polynomial map F on an affine space of dimension n, we define recursively n finite sequences of polynomials. We give an equivalent condition to the…

We study the Jacobian conjecture for Keller maps $f:X_0:=\mathbf{A}^n\rightarrow Y_0:=\mathbf{A}^n$ in characteristic $0$ and attempt to prove it. We are quite aware of the fact that many people have tried to prove the Jacobian conjecture…

The well-known Lvov-Kaplansky conjecture states that the image of a multilinear polynomial $f$ evaluated on $n\times n$ matrices is a vector space. A weaker version of this conjecture, known as the Mesyan conjecture, states that if $m=deg(…

We give a version of the usual Jacobian characterization of the defining ideal of the singular locus in the equal characteristic case: the new theorem is valid for essentially affine algebras over a complete local algebra over a mixed…

Let $A$ be an $n\times n$ real Toeplitz matrix satisfying $A+A^{\top}=2\mathbb J_n$, where $\mathbb J_n$ is the all-ones matrix.If $A_r(i,j)$ denotes the $r\times r$ contiguous submatrix of $A$ consisting of rows $i,i+1,\dots,i+r-1$ and…

A generalized Liouville-Jacobi Identity is proved for the determinant $\det{X(t)}$ of a solution $X(t)$ to the linear nonhomogeneous first-order matrix differential equation with left- and right-coefficient matrices $\ \frac{{\rm d}}{{\rm…

This paper presents both a proof method and a result. The proof method presented is particularly suitable for uniformly proving families of identities satisfied by a family of recursive sequences. To illustrate the method, we study the…

In the field of the Jacobian conjecture it is well-known after Druzkowski that from a polynomial "cubic-homogeneous" mapping we can build a higher-dimensional "cubic-linear" mapping and the other way round, so that one of them is invertible…

Consider the real space D_U of directions moving into which from a unitary N x N matrix U we do not disturb its unitarity and the moduli of its entries in the first order. dim( D_U ) is called the defect of U and denoted D(U). We give an…

We propose an information-theoretic framework for matrix completion. The theory goes beyond the low-rank structure and applies to general matrices of "low description complexity". Specifically, we consider $m\times n$ random matrices…

One of the aims of this article is to provide a class of polynomial mappings for which the Jacobian conjecture is true. Also, we state and prove several global univalence theorems and present a couple of applications of them.

In \cite{rees} Rees gave a characterization for the normal joint reduction number zero of two $\m$-primary ideals in an analytically unramified Cohen-Macaulay local ring of dimension two. Rees' result is a generalization of Zariski's…

For a given class of structured matrices $\mathbb S$, we find necessary and sufficient conditions on vectors $x,w\in \C^{n+m}$ and $y,z \in \C^{n}$ for which there exists $\Delta=[\Delta_1~\Delta_2]$ with $\Delta_1 \in \mathbb S$ and…

Let $ K[x, y]$ be the polynomial algebra in two variables over a field $K$ of characteristic $0$. A subalgebra $R$ of $K[x, y]$ is called a retract if there is an idempotent homomorphism (a {\it retraction}, or {\it projection}) $\varphi:…

Jacobian conjectures (that nonsingular implies a global inverse) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The birational…

A Fibonacci pair $F_s(w,x)$ of rank $s$ is a pair $s \times s$ nonsingular matrices such that $wx=xw$ and that the entries of $aw^n$ and $axw^m$ are polynomials of Fibonacci or Lucas numbers for some nonzero $a$. We construct identities…

A rational map $\phi: \mathbb{P}_k^m \dashrightarrow \mathbb{P}_k^n$ is defined by homogeneous polynomials of a common degree $d$. We establish a linear bound in terms of $d$ for the number of $(m-1)$-dimensional fibers of $\phi$, by using…