Related papers: A generalization of Cobham's Theorem

In this article we generalize Cobham theorem to a large class of substitutions including non primitive and non constant length substitutions.

We study substitutive systems generated by nonprimitive substitutions and show that transitive subsystems of substitutive systems are substitutive. As an application we obtain a complete characterisation of the sets of words that can appear…

The seminal theorem of Cobham has given rise during the last 40 years to a lot of works around non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a…

Motivated by applications in the theory of numeration systems and recognizable sets of integers, this paper deals with morphic words when erasing morphisms are taken into account. Cobham showed that if an infinite word $w =g(f^\omega(a))$…

Cobham's theorem asserts that if a sequence is automatic with respect to two multiplicatively independent bases, then it is ultimately periodic. We prove a stronger density version of the result: if two sequences which are automatic with…

Let $q$ be an algebraic Lie algebra and $q<m>$ a (generalised) Takiff algebra. Any finite order automorphism $\theta$ of $q$ induces an automorphisms of $q<m>$ of the same order, denoted $\Theta$. We study invariant-theoretic properties of…

Let $\alpha,\beta \in \mathbb{R}_{>0}$ be such that $\alpha,\beta$ are quadratic and $\mathbb{Q}(\alpha)\neq \mathbb{Q}(\beta)$. Then every subset of $\mathbb{R}^n$ definable in both $(\mathbb{R},{<},+,\mathbb{Z},x\mapsto \alpha x)$ and…

We study finite state transduction of automatic and morphic sequences. Dekking proved that morphic sequences are closed under transduction and in particular morphic images. We present a simple proof of this fact, and use the construction in…

Let $\sigma$ be an automorphism of a field $K$ with fixed field $F$. We study the automorphisms of nonassociative unital algebras which are canonical generalizations of the associative quotient algebras $K[t;\sigma]/fK[t;\sigma]$ obtained…

Let X be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic different from two. If X admits a nontrivial automorphism \sigma that fixes pointwise all the order two…

Every non-erasing monoid morphism $\sigma: \mathcal{A}^* \to \mathcal{B}^*$ induces a {\em measure transfer map} $\sigma_X^{\mathcal{M}}: \mathcal{M}(X) \to \mathcal{M}(\sigma(X))$ between the measure cones $\mathcal{M}(X)$ and…

We give a new proof of the Cobham's first theorem using ideas from symbolic dynamics and of the Cobham-Semenov theorem (in the primitive case) using ideas from tiling dynamics.

Let $A$ be an algebra and $\sigma$ an automorphism of $A$. A linear map $d$ of $A$ is called a $\sigma$-derivation of $A$ if $d(xy) = d(x)y + \sigma(x)d(y)$, for all $x, y \in A$. A linear map $D$ is said to be a generalized…

We define $\Gamma_q(B,S \otimes H)$, the generalized $q$-gaussian von Neumann algebras associated to a sequence of symmetric independent copies $(\pi_j,B,A,D)$ and to a subset $1 \in S = S^* \subset A$ and, under certain assumptions, prove…

We associate in a canonical way a substitution to any abstract numeration system built on a regular language. In relationship with the growth order of the letters, we define the notion of two independent substitutions. Our main result is…

We prove Bergman's theorem on centralizers by using generic matrices and Kontsevich's quantization method. For any field $\textbf{k} $ of positive characteristics, set $A=\textbf{k} \langle x_1,\dots,x_s\rangle$ be a free associative…

Generalizations of Redfield's master theorem and superposition theorem are proved by using decomposition of the tensor product of several induced monomial representations of the symmetric group $S_d$ into transitive constituents. As direct…

Assuming the four exponentials conjecture, Hansel and Safer showed that if a subset $S$ of the Gaussian integers is both $\alpha=-m+i $- and $\beta=-n+i$-recognizable, then it is syndetic, and they conjectured that $S$ must be eventually…

A map is given showing that convolutions of independent random variables over a finite group and matrix multiplications of doubly stochastic matrices are homomorphic. As an application, a short proof is given to the theorem that the…

In the following text for arbitrary $X$ with at least two elements, nonempty set $\Gamma$ and self-map $\varphi:\Gamma\to\Gamma$ we prove the set-theoretical entropy of generalized shift $\sigma_\varphi:X^\Gamma\to X^\Gamma$…