English
Related papers

Related papers: Abelian powers in paper-folding words

200 papers

We show that the geodesic growth function of any finitely generated virtually abelian group is either polynomial or exponential; and that the geodesic growth series is holonomic, and rational in the polynomial growth case. In addition, we…

Group Theory · Mathematics 2020-12-15 Alex Bishop

We construct infinite cubefree binary words containing exponentially many distinct squares of length n. We also show that for every positive integer n, there is a cubefree binary square of length 2n.

Combinatorics · Mathematics 2009-04-14 James Currie , Narad Rampersad

We investigate a family of rule-based logics. The focus is on very expressive languages. We provide a range of characterization results for the expressive powers of the logics and relate them with corresponding game systems.

Logic in Computer Science · Computer Science 2022-02-08 Antti Kuusisto

In this paper we prove the WALA conjecture.

Metric Geometry · Mathematics 2026-05-29 Andrea Merlo

For every prime $p$ it is shown that a wide class of HNN extensions of free abelian groups admit faithful representation by finite $p$-automata.

Group Theory · Mathematics 2023-08-14 Andriy Oliynyk , Veronika Prokhorchuk

It was recently proven that all free and many virtually free verbally closed subgroups are algebraically closed in any group. We establish sufficient conditions for a group that is an extension of a free non-abelian group by a group…

Group Theory · Mathematics 2017-07-19 Andrey M. Mazhuga

An equation to compute the dp-rank of any abelian group is given. It is also shown that its dp-rank, or more generally that of any one-based group, agrees with its Vapnik-Chervonenkis density. Furthermore, strong abelian groups are…

Logic · Mathematics 2019-09-18 Yatir Halevi , Daniel Palacín

We show that if two continuous semi-simple \(\ell \)-adic Galois representations are locally potentially equivalent at a sufficiently large set of places then they are globaly potentially equivalent. We also prove an analogous result for…

Number Theory · Mathematics 2010-10-27 Vijay M. Patankar , C. S. Rajan

We prove that the foliated Euler caracteristic classifies amenable measured foliations up to those defined by ergodic actions of the euclidian plane.

Dynamical Systems · Mathematics 2010-02-12 M. Bermudez

We prove that the Eulerian polynomial satisfies certain polynomial congruences. Furthermore, these congruences characterize the Eulerian polynomial.

Combinatorics · Mathematics 2021-09-03 Kazuki Iijima , Kyouhei Sasaki , Yuuki Takahashi , Masahiko Yoshinaga

We characterize all ordered Abelian groups whose first order theory in the language {+,<} is strongly dependent. The main result of this note was obtained independently by Halevi-Hasson and Farr\'e.

Logic · Mathematics 2017-07-21 Alfred Dolich , John Goodrick

We prove that there is a one-one correspondence between sets of irreducible representations of a polyadic group and its Post's cover. Using this correspondence, we generalize some well-known properties of irreducible characters in finite…

Representation Theory · Mathematics 2010-11-04 Mohammad Shahryari

Call a reduced word $w$ multiplicity-bounding if and only if a finite group on which the word map of $w$ has a fiber of positive proportion $\rho$ can only contain each nonabelian finite simple group $S$ as a composition factor with…

Group Theory · Mathematics 2017-03-14 Alexander Bors

We show that if A is a set having small subtractive doubling in an abelian group, that is |A-A|< K|A|, then there is a polynomially large subset B of A-A so that the additive energy of B is large than (1/K)^{1 - \epsilon) where epsilon is a…

Combinatorics · Mathematics 2008-03-03 Nets Hawk Katz , Paul Koester

We define a word in two positive definite (complex Hermitian) matrices $A$ and $B$ as a finite product of real powers of $A$ and $B$. The question of which words have only positive eigenvalues is addressed. This question was raised some…

Operator Algebras · Mathematics 2007-05-23 Christopher Hillar , Charles R. Johnson

We introduce power term polynomial algebra, a representation language for Boolean formulae designed to bridge conjunctive normal form (CNF) and algebraic normal form (ANF). The language is motivated by the tiling mismatch between these…

Logic in Computer Science · Computer Science 2026-03-17 Emanuele Sansone , Armando Solar-Lezama

Humans possess the capability to reason at an abstract level and to structure information into abstract categories, but the underlying neural processes have remained unknown. Experimental evidence has recently emerged for the organization…

Neurons and Cognition · Quantitative Biology 2022-04-05 Michael G. Müller , Christos H. Papadimitriou , Wolfgang Maass , Robert Legenstein

In this work, we prove that the universal and maximal abelian covers of a finite multi-graph have the same eigenvalues. This result strengthens a recent theorem of Li, Magee, Sabri, and Thomas (2025) and answers one of their questions. Our…

Combinatorics · Mathematics 2025-10-29 Thomás Jung Spier

We consider questions related to the structure of infinite words (over an integer alphabet) with bounded additive complexity, i.e., words with the property that the number of distinct sums exhibited by factors of the same length is bounded…

Combinatorics · Mathematics 2012-09-24 Graham Banero

We study the structure of the language of binary cube-free words. Namely, we are interested in the cube-free words that cannot be infinitely extended preserving cube-freeness. We show the existence of such words with arbitrarily long finite…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Elena A. Petrova , Arseny M. Shur