English
Related papers

Related papers: Around Gromov's injectivity lemma and applications…

200 papers

We extend the usual definition of cellular automaton on a group in order to deal with a new kind of cellular automata, like cellular automata in the hyperbolic plane and we explore some properties of these cellular automata. This definition…

Dynamical Systems · Mathematics 2011-05-27 Sébastien Moriceau

Cellular automata are arrays of finite state machines that can exist in a finite number of states. These machines update their states simultaneously based on specific local rules that govern their interactions. This framework provides a…

Cellular Automata and Lattice Gases · Physics 2025-08-11 Genaro J. Martinez , Andrew Adamatzky , Guanrong Chen

Let $S$ be a finite alphabet. An injective word over $S$ is a word over $S$ such that each letter in $S$ appears at most once in the word. We study Boolean cell complexes of injective words over $S$ and their commutation classes. This…

Combinatorics · Mathematics 2007-12-14 Jakob Jonsson , Volkmar Welker

$H$ is called a $G$-subgroup of a hyperbolic group $G$ if for any finite subset $M\subset G$ there exists a homomorphism from $G$ onto a non-elementary hyperbolic group $G_1$ that is surjective on $H$ and injective on $M$. In his paper in…

Group Theory · Mathematics 2007-05-23 Ashot Minasyan

Here we extend the notion of target-local Gromov convergence of pseudoholomorphic curves to the case in which the target manifold is not compact, but rather is exhausted by compact neighborhoods. Under the assumption that the curves in…

Symplectic Geometry · Mathematics 2018-11-26 Joel W. Fish , Helmut Hofer

We present a system of axioms motivated by a topological intuition: The set of subsets of any set is a topology on that set. On the one hand, this system is a common weakening of Zermelo-Fraenkel set theory ZF, the positive set theory GPK…

Logic · Mathematics 2012-06-12 Andreas Fackler

Classical finite association schemes lead to a finite-dimensional algebras which are generated by finitely many stochastic matrices. Moreover, there exist associated finite hypergroups. The notion of classical discrete association schemes…

Group Theory · Mathematics 2019-05-21 Michael Voit

We introduce and investigate ss-injectivity as a generalization of both soc-injectivity and small injectivity. A module M is said to be ss-N-injective (where N is a module) if every R-homomorphism from a semisimple small submodule of N into…

Rings and Algebras · Mathematics 2016-07-28 Adel Salim Tayyah , Akeel Ramadan Mehdi

The paper proposes a simple formalism for dealing with deterministic, non-deterministic and stochastic cellular automata in a unifying and composable manner. Armed with this formalism, we extend the notion of intrinsic simulation between…

Formal Languages and Automata Theory · Computer Science 2012-08-15 Pablo Arrighi , Nicolas Schabanel , Guillaume Theyssier

We show that for some absolute (explicit) constant $C$, the following holds for every finitely generated group $G$, and all $d >0$: If there is some $ R_0 > \exp(\exp(Cd^C))$ for which the number of elements in a ball of radius $R_0$ in a…

Group Theory · Mathematics 2010-04-09 Yehuda Shalom , Terence Tao

We prove the Gromov conjecture on the macroscopic dimension of the universal covering of a closed spin manifold with a positive scalar curvature under the following assumptions on the fundamental group: 1. The Strong Novikov Conjecture…

Geometric Topology · Mathematics 2009-01-29 Dmitry Bolotov , Alexander Dranishnikov

The aim of this paper is to propose an extension of the Wilf conjecture to semimodules over a numerical semigroup through a new approach toward the solution of the Wilf conjecture on numerical semigroups. The key point is the introduction…

Combinatorics · Mathematics 2021-06-18 Patricio Almirón , Julio José Moyano-Fernández

We prove that the group of reversible cellular automata (RCA), on any alphabet $A$, contains a subgroup generated by three involutions which contains an isomorphic copy of every finitely generated group of RCA on any alphabet $B$. This…

Group Theory · Mathematics 2023-05-09 Ville Salo

Let $R$ be an affine domain of characteristic zero with finite quotients. We prove that a polynomial map over $R$ is surjective if and only if it is surjective over $\hat{R_{\mathfrak{m}}}$, the completion of $R$ with respect to…

Commutative Algebra · Mathematics 2019-09-27 Lukas Prader

We establish a connection between percolation on the Cayley graphs of a group and the dynamical diversity of cellular automata on that group. Specifically, we demonstrate that Gilman's dichotomy between equicontinuity and sensitivity with…

Dynamical Systems · Mathematics 2024-11-15 Sebastián Barbieri , Felipe García-Ramos , Siamak Taati

Fekete's lemma is a well known combinatorial result on number sequences: we extend it to functions defined on $d$-tuples of integers. As an application of the new variant, we show that nonsurjective $d$-dimensional cellular automata are…

General Mathematics · Mathematics 2008-06-17 Silvio Capobianco

A super-modular category is a unitary pre-modular category with M\"uger center equivalent to the symmetric unitary category of super-vector spaces. Super-modular categories are important alternatives to modular categories as any unitary…

Quantum Algebra · Mathematics 2018-07-25 Parsa Bonderson , Eric C. Rowell , Qing Zhang , Zhenghan Wang

We study sources of isomorphisms of additive cellular automata on finite groups (called index-group). It is shown that many isomorphisms (called regular) of automata are reducible to the isomorphisms of underlying algebraic structures (such…

Cellular Automata and Lattice Gases · Physics 2008-12-02 Valeriy Bulitko

A theorem of Gao, Jackson and Seward, originally conjectured to be false by Glasner and Uspenskij, asserts that every countable group admits a $2$-coloring. A direct consequence of this result is that every countable group has a strongly…

Dynamical Systems · Mathematics 2019-04-26 Nathalie Aubrun , Sebastián Barbieri , Stéphan Thomassé

This paper introduces a simple formalism for dealing with deterministic, non- deterministic and stochastic cellular automata in an unified and composable manner. This formalism allows for local probabilistic correlations, a feature which is…

Discrete Mathematics · Computer Science 2013-05-20 Pablo Arrighi , Nicolas Schabanel , Guillaume Theyssier