Related papers: Order-preserving Freiman isomorphisms

Let $\phi: A\to A$ be a (not necessarily linear, additive or continuous) map of a standard operator algebra. Suppose for any $a,b\in A$ there is an algebra automorphism $\theta_{a,b}$ of $ A$ such that \begin{align*} \phi(a)\phi(b) =…

Finding necessary and sufficient conditions for isomorphism between two semigroups of order-preserving transformations over an infinite domain with restricted range was an open problem in \cite{FHQS}. In this paper, we show a proof strategy…

Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form…

We give a complete classification to when a finite group of outer automorphisms preserves a bi-order on a non-abelian free group and bi-orderable surface groups. We also give another new criterion for an outer automorphism of $F_n$ induced…

Let \phi((x_1,x_2),(y_1,y_2))=(x_1-y_1)^2+(x_2-y_2)^2. We say that f:R^2 -> C^2 preserves distance d>=0 if for each x,y \in R^2 \phi(x,y)=d^2 implies \phi(f(x),f(y))=d^2. We prove that if x,y \in R^2 and |x-y|=(2\sqrt{2}/3)^k \cdot…

A graph $H$ is an \emph{isometric} subgraph of $G$ if $d_H(u,v)= d_G(u,v)$, for every pair~$u,v\in V(H)$. A graph is \emph{distance preserving} if it has an isometric subgraph of every possible order. A graph is \emph{sequentially distance…

Let \phi((x_1,...,x_n),(y_1,...,y_n))=(x_1-y_1)^2+...+(x_n-y_n)^2. We say that f:R^n -> C^n preserves distance d>=0 if for each x,y \in R^n \phi(x,y)=d^2 implies \phi(f(x),f(y))=d^2. We prove that if x,y \in R^n (n>=3) and…

Isometries of metric spaces $(X,d)$ preserve all level sets of $d$. We formulate and prove cases of a conjecture asserting if $X$ is a complete Riemannian manifold, then a function $f:X \rightarrow X$ preserving at least one level set…

The classical homomorphism preservation theorem, due to {\L}o\'s, Lyndon and Tarski, states that a first-order sentence $\phi$ is preserved under homomorphisms between structures if, and only if, it is equivalent to an existential positive…

A linear map $\phi:{\mathcal A}\to {\mathcal B} $ between (Banach) algebras is called 3-homomorphism if $\phi(abc)=\phi(a)\phi(b)\phi(c)$ for each $a, b, c \in {\mathcal A}$. We investigate 3-homomorphisms on Banach algebras with bounded…

In this article we introduce order preserving representations of fundamental groups of surfaces into Lie groups with bi-invariant orders. By relating order preserving representations to weakly maximal representations, introduced in…

A \emph{morphism} is a mapping that transforms words through letter-wise substitution, where each symbol is consistently replaced by a fixed word. In the field of combinatorics on words, one topic that has attracted considerable attention…

For a positive integer $n$ let $\mathcal{X}_n$ be either the algebra $M_n$ of $n \times n$ complex matrices, the set $N_n$ of all $n \times n$ normal matrices, or any of the matrix Lie groups $\mathrm{GL}(n)$, $\mathrm{SL}(n)$ and…

Let $G\subset\GL(V)$ be a complex reductive group. Let $G'$ denote $\{\phi\in\GL(V)\mid p\circ\phi=p\text{for all} p\in\C[V]^G\}$. We show that, in general, $G'=G$. In case $G$ is the adjoint group of a simple Lie algebra $\lieg$, we show…

Let $\mathcal{A}$ and $\mathcal{B}$ be two factor von Neumann algebras and $\eta$ be a non-zero complex number. A nonlinear bijective map $\phi:\mathcal A\rightarrow\mathcal B$ has been demonstrated to satisfy…

Previous work of the author [39] showed that the Homomorphism Preservation Theorem of classical model theory remains valid when its statement is restricted to finite structures. In this paper, we give a new proof of this result via a…

Let X and Y be CW-complexes, U be an abelian group, and f:[X,Y]->U be a map (a homotopy invariant). We say that f has order at most r if the characteristic function of the r'th Cartesian power of the graph of a continuous map a:X->Y…

Let $X$ be a finite connected poset, $F$ a field and $I(X,F)$ the incidence algebra of $X$ over $F$. We describe the bijective linear idempotent preservers $\varphi:I(X,F)\to I(X,F)$. Namely, we prove that, whenever $\mathrm{char}(F)\ne 2$,…

Let $\mathcal{A}$ and $\mathcal{B}$\ are $C^{{\huge \ast}}% $-algebras\textbf{.} A\textbf{ }linear map $\phi:\mathcal{A\rightarrow B}$ is $C^{\ast}$-Jordan homomorphism if it is a Jordan homomorphism which preserves the adjoint operation.…

The purpose of this short note is to prove that if $A$ and $B$ are unital C*-algebras and $\phi : A \to B$ is a unital *-preserving ring homomorphism, then $\phi$ is contractive; i.e., $\| \phi (a) \| \leq \| a \|$ for all $a \in A$. (Note…