English
Related papers

Related papers: Unambiguous 1-Uniform Morphisms

200 papers

Let $w$ be an infinite word on an alphabet $A$. We denote by $(n_i)_{i \geq 1}$ the increasing sequence (assumed to be infinite) of all lengths of palindrome prefixes of $w$. In this text, we give an explicit construction of all words $w$…

Combinatorics · Mathematics 2012-02-13 Stéphane Fischler

A finite word $f$ is Hamming-isometric if for any two word $u$ and $v$ of same length avoiding $f$, $u$ can be transformed into $v$ by changing one by one all the letters on which $u$ differs from $v$, in such a way that all of the new…

Data Structures and Algorithms · Computer Science 2022-08-09 Marie-Pierre Béal , Maxime Crochemore

We prove that, for any pure morphic word $w$, if the frequencies of all letters in $w$ exist, then the frequencies of all factors in $w$ exist as well. This result answers a question of Saari in his doctoral thesis.

Combinatorics · Mathematics 2024-05-30 Shuo Li

We study infinite words fixed by a morphism and their derived words. A derived word is a coding of return words to a factor. We exhibit two examples of sets of morphisms which are closed under derivation --- any derived word with respect to…

Combinatorics · Mathematics 2019-11-28 Václav Košík , Štěpán Starosta

An automaton is unambiguous if for every input it has at most one accepting computation. An automaton is k-ambiguous (for k > 0) if for every input it has at most k accepting computations. An automaton is boundedly ambiguous if it is…

Logic in Computer Science · Computer Science 2023-06-22 Alexander Rabinovich , Doron Tiferet

Partial words are sequences over a finite alphabet that may contain wildcard symbols, called holes, which match or are compatible with all letters; partial words without holes are said to be full words (or simply words). Given an infinite…

Discrete Mathematics · Computer Science 2011-08-19 Francine Blanchet-Sadri , Aleksandar Chakarov , Lucas Manuelli , Jarett Schwartz , Slater Stich

A function $f$ from $\mathbb{Z}$ to the symmetric matrices over an arbitrary field $K$ of characteristic $0$ is a $1$-quasihomomorphism if the matrix $f(x+y) - f(x) - f(y)$ has rank at most $1$ for all $x,y \in \mathbb{Z}$. We show that any…

Combinatorics · Mathematics 2023-02-06 Tim Seynnaeve , Nafie Tairi , Alejandro Vargas

A word contains a \emph{half-flip} if it contains non-empty factors $uv$ and $vu$ where $|u|=|v|$. Fici reports a non-constructive proof of the existence of an infinite word over a finite alphabet avoiding half-flips and asks for the size…

Combinatorics · Mathematics 2026-05-20 Pascal Ochem

We show that any Hamiltonian system with one degree of freedom is invariant under a $w_\infty$ algebra of symmetries.

High Energy Physics - Theory · Physics 2007-05-23 S. Mignemi

The automorphisms of all 4-dimensional, real Lie Algebras are presented in a comprehensive way. Their action on the space of $4\times 4$, real, symmetric and positive definite, matrices, defines equivalence classes which are used for the…

General Relativity and Quantum Cosmology · Physics 2008-11-26 T. Christodoulakis , G. O. Papadopoulos , A. Dimakis

The paper demonstrates the non-closure of the family of unambiguous linear languages (that is, those defined by unambiguous linear context-free grammars) under complementation. To be precise, a particular unambiguous linear grammar is…

Formal Languages and Automata Theory · Computer Science 2022-10-06 Olga Martynova , Alexander Okhotin

For r at least 3, p at least 2, we classify all actions of the groups Diff^r_c(R) and Diff^r_+(S1) by C^p -diffeomorphisms on the line and on the circle. This is the same as describing all nontrivial group homomorphisms between groups of…

Geometric Topology · Mathematics 2013-09-10 Kathryn Mann

A complete first order theory of a relational signature is called monomorphic iff all its models are monomorphic (i.e. have all the $n$-element substructures isomorphic, for each positive integer $n$). We show that a complete theory…

Logic · Mathematics 2018-12-07 Miloš S. Kurilić

A perfect matching in a 4-uniform hypergraph is a subset of $\lfloor\frac{n}{4}\rfloor$ disjoint edges. We prove that if $H$ is a sufficiently large 4-uniform hypergraph on $n=4k$ vertices such that every vertex belongs to more than…

Discrete Mathematics · Computer Science 2015-03-18 Imdadullah Khan

A digraph is connected-homogeneous if every isomorphism between two finite connected induced subdigraphs extends to an automorphism of the whole digraph. In this paper, we completely classify the countable connected-homogeneous digraphs.

Combinatorics · Mathematics 2013-11-26 Matthias Hamann

Unambiguous non-deterministic finite automata have intermediate expressive power and succinctness between deterministic and non-deterministic automata. It has been conjectured that every unambiguous non-deterministic one-way finite…

Computational Complexity · Computer Science 2018-02-15 Michael Raskin

We prove that a unital completely positive map between finite-dimensional C*-algebras is a homomorphism if and only if it is completely entropy-nonincreasing, where the relevant notion of entropy is a variant of von Neumann entropy. This…

Operator Algebras · Mathematics 2025-01-22 Andre Kornell

A universal word for a finite alphabet $A$ and some integer $n\geq 1$ is a word over $A$ such that every word in $A^n$ appears exactly once as a subword (cyclically or linearly). It is well-known and easy to prove that universal words exist…

Combinatorics · Mathematics 2023-06-22 Herman Z. Q. Chen , Sergey Kitaev , Torsten Mütze , Brian Y. Sun

Let $1 \to N \to G \to H \to 1$ be an abelian extension. The purpose of this paper is to study the problem of extending automorphisms of $N$ and lifting automorphisms of $H$ to certain automorphisms of $G$.

Group Theory · Mathematics 2011-01-21 I. B. S. Passi , Mahender Singh , Manoj K. Yadav

We consider the following problem. Let us fix a finite alphabet A; for any given d-uple of letter frequencies, how to construct an infinite word u over the alphabet A satisfying the following conditions: u has linear complexity function, u…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Valérie Berthé , Sébastien Labbé
‹ Prev 1 4 5 6 7 8 10 Next ›