Related papers: Nonlinear maps preserving the polynomial

The objective of this manuscript is to understand the structure of an invertible linear map on the space of real symmetric matrices $\mathcal{S}^n$ that leaves invariant the closed convex cones of copositive and completely positive matrices…

Let us denote ${\cal V}$, the finite dimensional vector spaces of functions of the form $\psi(x) = p_n(x) + f(x) p_m(x)$ where $p_n(x)$ and $p_m(x)$ are arbitrary polynomials of degree at most $n$ and $m$ in the variable $x$ while $f(x)$…

An $n \times n$ matrix $A$ with real entries is said to be Schur stable if all the eigenvalues of $A$ are inside the open unit disc. We investigate the structure of linear maps on $M_n(\mathbb{R})$ that preserve the collection $\mathcal{S}$…

For a given $3 \times 3$ real matrix $A$, the eigenvalue complementarity problem relative to the Lorentz cone consists of finding a real number $\lambda$ and a nonzero vector $x \in \mathbb{R}^3$ such that $x^T(A-\lambda I)x=0$ and both $x$…

We determine the group of linear transformations on a vector space $V$ that preserve a polynomial function $f$ on $V$ for several interesting pairs $(V,f)$, using the theory of semisimple algebraic groups.

Let $\ast$ and $\widetilde {\ast}$ denote the convolution of two analytic maps and that of an analytic map and a harmonic map respectively. Pokhrel [1] proved that if $f = h+\overline{g}$ is a harmonic map convex in the direction of…

Let $X, Y$ be smooth algebraic varieties of the same dimension. Let $f, g : X \to Y$ be finite polynomial mappings. We say that $f, g$ are equivalent if there exists a regular automorphism $\Phi \in Aut(X)$ such that $f = g\circ \Phi$. Of…

Let $\mathcal{S}_n$ be the set of all $n$-by-$n$ symmetric real matrices, and let $\mathcal{C}_n$ be the copositive cone, that is, the set of all matrices $a\in\mathcal{S}_n$ that fulfill the condition $u^\top a u\geqslant0$ for all…

We characterize maps $\phi_i: \mathcal{S} \to \mathcal{S}$, $i=1, \ldots, m$ and $m\ge 1$, that have the multiplicative spectrum or trace preserving property: \begin{eqnarray*} \textrm{spec} (\phi_1(A_1)\cdots \phi_m(A_m)) &=& \textrm{spec}…

This work characterizes the general form of a bijective linear map $\Psi:\mathscr{M}_n(\mathbb{C}) \to \mathscr{M}_n(\mathbb{C})$ such that $[\Psi(A_1),~\Psi(A_2)]=D_2$ whenever $[A_1,~A_2]=D_1$ where $D_1~\text{and}~D_2$ are fixed…

Let $\mathcal{M}$ be a von Neumann algebra with a normal semifinite faithful trace $\tau$. We prove that every continuous $m$-homogeneous polynomial $P$ from $L^p(\mathcal{M},\tau)$, with $0<p<\infty$, into each topological linear space $X$…

Let $X$ be a Banach space of dimension $\geq 2$ over the real or complex field ${\mathbb F}$ and ${\mathcal A}$ a standard operator algebra in ${\mathcal B}(X)$. A map $\Phi:{\mathcal A} \rightarrow {\mathcal A}$ is said to be strong…

Let ${\mathcal M}_2(\mathbb F)$ be the algebra of 2$\times$2 matrices over the real or complex field $\mathbb F$. For a given positive integer $k\geq 1$, the $k$-commutator of $A$ and $B$ is defined by $[A,B]_k=[[A,B]_{k-1},B]$ with…

Let $l$ be a finite field of cardinality $q$ and let $n$ be in $\mathbb{Z}_{\geq 1}$. Let $f_1,\ldots,f_n \in l[x_1,\ldots,x_n]$ not all constant and consider the evaluation map $f=(f_1,\ldots,f_n) \colon l^n \to l^n$. Set…

In order to generalize the results of Mazur-Ulam and Vogt, we shall prove that any map T which preserves equality of distance with T(0)=0 between two F-spaces without surjective condition is linear. Then, as a special case linear isometries…

Given a positive noncommutative polynomial $f$, equivalently a sum of Hermitian squares (SOHS), there exists a positive semidefinite Gram matrix that encrypts all the structural essence of $f$. There are no available methods for extending a…

In this paper first we give a partial answer to a question of L. Moln\'ar and W. Timmermann. Namely, we will describe those linear (not necessarily bijective) transformations on the set of self-adjoint matrices which preserve a unitarily…

In this paper, we show that the Jacobian conjecture holds for gradient maps in dimension n <= 3 over a field K of characteristic zero. We do this by extending the following result for n <= 2 by F. Dillen to n <= 3: if f is a polynomial of…

Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective nonlinear maps $\Phi :\mathcal{A}\rightarrow \mathcal{B}$…

We determine the structure of linear maps on the tensor product of matrices which preserve the numerical range or numerical radius.