English
Related papers

Related papers: A generalization of Cobham's Theorem

200 papers

A weight-dependent generalization of the binomial theorem for noncommuting variables is presented. This result extends the well-known binomial theorem for q-commuting variables by a generic weight function depending on two integers. For a…

Quantum Algebra · Mathematics 2012-03-19 Michael J. Schlosser

Let $G$ be a group and let $V$ be an algebraic variety over an algebraically closed field $K$. Let $A$ denote the set of $K$-points of $V$. We introduce algebraic sofic subshifts $\Sigma \subset A^G$ and study endomorphisms $\tau \colon…

Dynamical Systems · Mathematics 2024-11-20 Tullio Ceccherini-Silberstein , Michel Coornaert , Xuan Kien Phung

Let $k,\ell\geq 2$ be two multiplicatively independent integers. Cobham's famous theorem states that a set $X\subseteq \mathbb{N}$ is both $k$-recognizable and $\ell$-recognizable if and only if it is definable in Presburger arithmetic.…

Logic · Mathematics 2023-09-04 Philipp Hieronymi , Chris Schulz

We argue that there is nothing puzzling in the fact that the Hamiltonian formulation of a covariant theory, General Relativity, after a non-covariant change of field variables is not canonically related to the formulation based on the…

General Relativity and Quantum Cosmology · Physics 2011-09-01 N. Kiriushcheva , P. G. Komorowski , S. V. Kuzmin

We give a proof of the cobordism invariance of the index of elliptic pseudodifferential operators on sigma-compact manifolds, where, in the non-compact case, the operators are assumed to be multiplication outside a compact set. We show…

K-Theory and Homology · Mathematics 2016-09-07 Catarina Carvalho

We present an axiomatization of Conway theories which yields,as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morphisms.

Logic in Computer Science · Computer Science 2016-03-03 Zoltan Esik , Sergey Goncharov

We prove two generalisations of the Binomial theorem that are also generalisations of the q-binomial theorem. These generalisations arise from the commutation relations satisfied by the components of the co-multiplications of non-simple…

Quantum Algebra · Mathematics 2007-05-23 Sacha C. Blumen

We give a new graph-theoretic proof of Cobham's Theorem which says that the support of an automatic sequence is either sparse or grows at least like $N^\alpha$ for some $\alpha > 0$. The proof uses the notions of tied vertices and cycle…

Combinatorics · Mathematics 2024-05-21 Mieke Wessel

We examine generalized global symmetries as a kind of compactly supported cohomology, and so are led to revisit questions about the locality of quantum field theory, following Segal. Physics naturally suggests a generalization of…

Mathematical Physics · Physics 2025-04-11 Owen Gwilliam

We present a short new proof of Cobham's theorem without using Kronecker's approximation theorem, making it suitable for generalization beyond automatic sequences.

Formal Languages and Automata Theory · Computer Science 2018-01-23 Thijmen J. P. Krebs

If B is C*-algebra of finite dimension n>3 then the finite dimensional irreducible representations of the compact quantum automorphism group of B, say G, have the same fusion rules as the ones of SO(3). As consequences, we get (1) a…

Quantum Algebra · Mathematics 2007-05-23 Teodor Banica

Suppose $X$ is a finite discrete space with at least two elements, $\Gamma$ is a nonempty countable set, and consider self--map $\varphi:\Gamma\to\Gamma$. We prove that the generalized shift $\sigma_\varphi:X^\Gamma\to X^\Gamma$ with…

Dynamical Systems · Mathematics 2024-01-19 Zahra Nili Ahmadabadi , Fatemah Ayatollah Zadeh Shirazi

We first propose a generalization of the image conjecture [Z3] for the commuting differential operators related with classical orthogonal polynomials. We then show that the non-trivial case of this generalized image conjecture is equivalent…

Complex Variables · Mathematics 2010-04-06 Wenhua Zhao

In this paper we study the asymptotics of linear regression in settings with non-Gaussian covariates where the covariates exhibit a linear dependency structure, departing from the standard assumption of independence. We model the covariates…

Machine Learning · Statistics 2024-12-10 Behrad Moniri , Hamed Hassani

We show that the centralizer of a nonscalar element in the coproduct $k\langle X\rangle *k[Y]$ of a free associative algebra and a polynomial algebra over a given field is commutative. For $k\langle X \rangle$ this is part of Bergman's…

Rings and Algebras · Mathematics 2026-04-16 Jakob Jurij Snoj

There exist instances of dynamical systems possessing symmetry transformations of which the conserved Noether charges generating these symmetries feature an explicit time dependence in their functional representation over phase space. The…

High Energy Physics - Theory · Physics 2019-07-02 Jan Govaerts

We prove a precise version of a theorem of Siu and Beauville on morphisms to higher genus curves, and use it to show that if a variety $X$ in characteristic $p$ lifts to characteristic $0$, then any morphism $X \to C$ to a curve of genus $g…

Algebraic Geometry · Mathematics 2019-03-14 Remy van Dobben de Bruyn

On an associative algebra, we introduce the concept of symmetric $(\sigma,\tau)$-derivations together with a regularity condition and prove that strongly regular symmetric $(\sigma,\tau)$-derivations are inner. Symmetric…

Quantum Algebra · Mathematics 2023-04-19 Kwalombota Ilwale

Let $KG$ be the group ring of a group $G$ over a commutative ring $K$ with unity. The rings $KG$ are described for which $xx^\sigma=x^\sigma x$ for all $x=\sum_{g\in G}\alpha_gg\in KG$, where \quad $x\mapsto x^\sigma=~\sum_{g\in…

Rings and Algebras · Mathematics 2008-04-08 V. A. Bovdi , S. Siciliano

This work reveals a fundamental link between general covariance and Birkhoff's theorem. We extend Birkhoff's theorem from general relativity to a broad class of generally covariant gravity theories formulated in the Hamiltonian framework.…

General Relativity and Quantum Cosmology · Physics 2025-12-30 Cong Zhang , Zhoujian Cao