Related papers: Order-preserving Freiman isomorphisms
For every atoroidal iwip automorphism $\phi$ of $F_N$ (i.e. the analogue of a pseudo-Anosov mapping class) it is shown that the algebraic lamination dual to the forward limit tree $T_+(\phi)$ is obtained as "diagonal closure" of the support…
Morphisms, structure preserving maps, are everywhere in Mathematics as useful tools for thinking and problem solving, or as objects to study. Here, we argue that the idea of operations being compatible across two domains goes beyond its…
In this paper, we study the behaviour of TF-isomorphisms, a natural generalisation of isomorphisms. TF-isomorphisms allow us to simplify the approach to seemingly unrelated problems. In particular, we mention the Neighbourhood…
We apply the Cartan equivalence method to the study of real analytic second order ODEs under the local real analytic diffeomorphism of $\C^2$ which are area-preserving. This enables us to give a characterization of the second order ODEs…
Two (real or complex) $m\times n$ matrices $A$ and $B$ are said to be parallel (resp. triangle equality attaining, or TEA in short) with respect to the spectral norm $\|\cdot\|$ if $\|A+ \mu B\| = \|A\| + \|B\|$ for some scalar $\mu$ with…
For a positive integer $n$, let $M_n$ be the set of $n\times n$ complex matrices. Suppose $\|\cdot\|$ is the Ky Fan $k$-norm with $1 \le k \le mn$ or the Schatten $p$-norm with $1 \le p \le \infty$ ($p\ne 2$) on $M_{mn}$, where $m,n\ge 2$…
Recall that an excedance of a permutation $\pi$ is any position $i$ such that $\pi_i > i$. Inspired by the work of Hopkins, McConville and Propp (Elec. J. Comb., 2017) on sorting using toppling, we say that a permutation is toppleable if it…
We study the group of automorphisms of the affine plane preserving some given curve, over any field. The group is proven to be algebraic, except in the case where the curve is a bunch of parallel lines. Moreover, a classification of the…
We say that a first order formula $\Phi$ defines a graph $G$ if $\Phi$ is true on $G$ and false on every graph $G'$ non-isomorphic with $G$. Let $D(G)$ be the minimal quantifier rank of a such formula. We prove that, if $G$ is a tree of…
A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of binary trees whose leaves are labeled by letters of an alphabet…
We study the extent to which sets A in Z/NZ, N prime, resemble sets of integers from the additive point of view (``up to Freiman isomorphism''). We give a direct proof of a result of Freiman, namely that if |A + A| < K|A| and |A| < c(K)N…
We say that a first order formula A distinguishes a graph G from another graph G' if A is true on G and false on G'. Provided G and G' are non-isomorphic, let D(G,G') denote the minimal quantifier rank of a such formula. We prove that, if G…
A mapping $f: {\mathcal M} \to {\mathcal N}$ between Hilbert $C^*$-modules approximately preserves the inner product if \[\|< f(x), f(y)> - < x, y> \| \leq \phi(x, y),\] for an appropriate control function $\phi(x,y)$ and all $x, y \in…
For a group $G$, we construct a quasi morphism from its left orderings and the map from the space of left orderings to the second bounded cohomology. We show that these maps reflect various properties of the group orderings.
A basic problem in the theory of partially ordered vector spaces is to characterise those cones on which every order-isomorphism is linear. We show that this is the case for every Archimedean cone that equals the inf-sup hull of the sum of…
In this article, we prove that Ramsey's theorem for pairs and two colors is $\Pi^1_1$-conservative over~$\mathsf{RCA}_0 + \mathsf{B}\Sigma^0_2 + \mathsf{WF}(\epsilon_0)$ and over~$\mathsf{RCA}_0 + \mathsf{B}\Sigma^0_2 + \bigcup_n…
Let $K$ be a field and $\phi(z)\in K[z]$ be a polynomial. Define $\Phi(z) := \frac{1}{\phi(z)} \in K(z).$ For $n \in\mathbb{N}^* $, let the $n$-th iterate of $\Phi(z)$ be defined as $\Phi^{(n)}(z) = \underbrace{\Phi \circ \Phi \circ \cdots…
Let $F$ be a $2$-regular graph of order $v$. The Oberwolfach problem $OP(F)$, posed in 1967 and still open, asks for a decomposition of $K_v$ into copies of $F$. In this paper we show that $OP(F)$ has a solution whenever $F$ has a…
This paper studies three natural pre-orders of increasing generality on the set of all completely non-unitary partial isometries with equal defect indices. We show that the problem of determining when one partial isometry is less than…
In Gromov's treatise Partial Differential Relations (volume 9 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 1986), a continuous map between Riemannian manifolds is called isometric if it preserves the length of rectifiable…