English
Related papers

Related papers: Characterization of substitution invariant 3iet wo…

200 papers

The orbits in $\Gamma_{\infty}(3) \backslash \Gamma(3)$ are in bijection with sets of invariants satisfying certain relations. We explain how wedge product matrices give an alternative definition of the invariants of matrix orbits. This new…

Rings and Algebras · Mathematics 2024-05-07 Yao Ming Chan

Given a countable set X (usually taken to be the natural numbers or integers), an infinite permutation, \pi, of X is a linear ordering of X. This paper investigates the combinatorial complexity of infinite permutations on the natural…

Discrete Mathematics · Computer Science 2011-08-19 Steven Widmer

We analyze the algorithm in [Holub, 2009], which decides whether a given word is a fixed point of a nontrivial morphism. We show that it can be implemented to have complexity in O(mn), where n is the length of the word and m the size of the…

Formal Languages and Automata Theory · Computer Science 2013-10-04 Vojtěch Matocha , Štěpán Holub

Let $w$ be a word in a free group. A few years ago, Magee and the first named author discovered that the stable commutator length (scl) of $w$, a well-known topological invariant, can also be defined in terms of certain Fourier coefficients…

Group Theory · Mathematics 2026-05-08 Doron Puder , Yotam Shomroni , Danielle Ernst-West , Matan Seidel

We introduce the notion of unavoidable (complete) sets of word patterns, which is a refinement for that of words, and study certain numerical characteristics for unavoidable sets of patterns. In some cases we employ the graph of pattern…

Combinatorics · Mathematics 2007-05-23 Alexander Burstein , Sergey Kitaev

We consider the complexities of substitutive sequences over a binary alphabet. By studying various types of special words, we show that, knowing some initial values, its complexity can be completely formulated via a recurrence formula…

Combinatorics · Mathematics 2015-07-16 Bo Tan , Zhi-Xiong Wen , Yiping Zhang

We exhibit the construction of a deterministic automaton that, given k > 0, recognizes the (regular) language of k-differentiable words. Our approach follows a scheme of Crochemore et al. based on minimal forbidden words. We extend this…

Discrete Mathematics · Computer Science 2015-03-18 Jean-Marc Fédou , Gabriele Fici

We classify transcendental entire functions that are compositions of a polynomial and the exponential for which all singular values escape on disjoint rays. We focus on the case where the escape is degenerate in the sense that points from…

Dynamical Systems · Mathematics 2021-04-27 Konstantin Bogdanov

Rich words are characterized by containing the maximum possible number of distinct palindromes. Several characteristic properties of rich words have been studied; yet the analysis of repetitions in rich words still involves some interesting…

Combinatorics · Mathematics 2019-11-15 Aseem Raj Baranwal , Jeffrey Shallit

This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State variables can be functions from an uninterpreted sort…

Logic in Computer Science · Computer Science 2024-03-01 Gianluca Redondi , Alessandro Cimatti , Alberto Griggio , Kenneth McMillan

We consider word complexity and topological entropy for random substitution subshifts. In contrast to previous work, we do not assume that the underlying random substitution is compatible. We show that the subshift of a primitive random…

Dynamical Systems · Mathematics 2024-04-23 Andrew Mitchell

We present several enumeration results holding in sets of words called neutral and which satisfy restrictive conditions on the set of possible extensions of nonempty words. These formulae concern return words and bifix codes. They…

Discrete Mathematics · Computer Science 2015-03-23 Francesco Dolce , Dominique Perrin

In the algebraic theory of codes and formal languages, the set $Q$ of all primitive words over some alphabet $\zi $ has received special interest. With this survey article we give an overview about relevant research to this topic during the…

Formal Languages and Automata Theory · Computer Science 2011-04-25 Gerhard Lischke

This paper reviews some results regarding symbolic dynamics, correspondence between languages of dynamical systems and combinatorics. Sturmian sequences provide a pattern for investigation of one-dimensional systems, in particular interval…

Dynamical Systems · Mathematics 2017-12-01 A. Ya. Belov , G. V. Kondakov , I. Mitrofanov

Let $u \shuffle v$ denote the set of all shuffles of the words $u$ and $v$. It is shown that for each integer $n \geq 3$ there exists a square-free ternary word $u$ of length $n$ such that $u\shuffle u$ contains a square-free word. This…

Discrete Mathematics · Computer Science 2013-09-10 Tero Harju , Mike Müller

We prove that for a suitably nice class of random substitutions, their corresponding subshifts have automorphism groups that contain an infinite simple subgroup and a copy of the automorphism group of a full shift. Hence, they are…

Dynamical Systems · Mathematics 2023-09-13 Robbert Fokkink , Dan Rust , Ville Salo

A classical (or quantum) second order superintegrable system is an integrable n-dimensional Hamiltonian system with potential that admits 2n-1 functionally independent second order constants of the motion polynomial in the momenta, the…

Mathematical Physics · Physics 2009-11-13 E. G. Kalnins , J. M. Kress , W. Miller

Two finite words $u$ and $v$ are called Abelian equivalent if each letter occurs equally many times in both $u$ and $v$. The abelian closure $\mathcal{A}(\mathbf{x})$ of (the shift orbit closure of) an infinite word $\mathbf{x}$ is the set…

Combinatorics · Mathematics 2021-08-04 Svetlana Puzynina , Markus A. Whiteland

We consider the space of countable structures with fixed underlying set in a given countable language. We show that the number of ergodic probability measures on this space that are $S_\infty$-invariant and concentrated on a single…

The recently confirmed Dejean's conjecture about the threshold between avoidable and unavoidable powers of words gave rise to interesting and challenging problems on the structure and growth of threshold words. Over any finite alphabet with…

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