English
Related papers

Related papers: Pseudoperiodic Words and a Question of Shevelev

200 papers

The Levenshtein distance is an important tool for the comparison of symbolic sequences, with many appearances in genome research, linguistics and other areas. For efficient applications, an approximation by a distance of smaller…

Quantitative Methods · Quantitative Biology 2007-05-23 Michael Baake , Uwe Grimm , Robert Giegerich

We study words that barely avoid repetitions, for several senses of "barely". A squarefree (respectively, overlap-free, cubefree) word is irreducible if removing any one of its interior letters creates a square (respectively, overlap,…

Combinatorics · Mathematics 2021-08-25 Benjamin Przybocki

In this note, we establish the periodicity of chains of affine standard Lyndon words in all types and determine tight bounds on that periodicity, greatly generalizing the $A$-type results of arXiv:2305.16299. Our approach crucially utilizes…

Representation Theory · Mathematics 2026-05-15 Corbet Elkins , Alexander Tsymbaliuk

If no optimal propositional proof system exists, we (and independently Pudl\'ak) prove that ruling out length $t$ proofs of any unprovable sentence is hard. This mapping from unprovable to hard-to-prove sentences powerfully translates facts…

Computational Complexity · Computer Science 2023-04-04 Hunter Monroe

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 Novikov problem, namely, the problem of describing the level lines of quasiperiodic functions on the plane, for a special class of potentials that have important applications in the physics of two-dimensional systems.…

Mathematical Physics · Physics 2024-12-17 A. Ya. Maltsev

Quasirational (pro-$p$)presentations are studied. The difference between aspherical and quasirational presentations sheds some light on the Whitehead's conjecture. We confirm expectations O.V. Melnikov on existence of a proper class of…

Group Theory · Mathematics 2019-07-05 Andrey Mikhovich

A cover (or quasiperiod) of a string $S$ is a shorter string $C$ such that every position of $S$ is contained in some occurrence of $C$ as a substring. The notion of covers was introduced by Apostolico and Ehrenfeucht over 30 years ago…

Data Structures and Algorithms · Computer Science 2025-10-17 Christine Awofeso , Ben Bals , Oded Lachish , Solon P. Pissis

The subword complexity of a word $w$ over a finite alphabet $\mathcal{A}$ is a function that assigns for each positive integer $n$, the number of distinct subwords of length $n$ in $w$. The subword complexity of a word is a good measure of…

Combinatorics · Mathematics 2014-09-16 Hannah Vogel

The paper considers the Novikov problem of describing the geometry of level lines of quasi-periodic functions on the plane. We consider here the most general case, when the number of quasi-periods of a function is not limited. The main…

Mathematical Physics · Physics 2024-11-01 A. Ya. Maltsev

Given any generating set of any pseudo-Anosov-containing subgroup of the mapping class group of a surface, we construct a pseudo-Anosov with word length bounded by a constant depending only on the surface. More generally, in any subgroup G…

Geometric Topology · Mathematics 2010-08-16 Johanna Mangahas

This paper situates itself in the theory of variable length codes and of finite automata where the concepts of completeness and synchronization play a central role. In this theoretical setting, we investigate the problem of finding upper…

Formal Languages and Automata Theory · Computer Science 2016-12-26 Arturo Carpi , Flavio D'Alessandro

The use of terms from natural and social scientific titles and abstracts is studied from the perspective of sublanguages and their specialized dictionaries. Different notions of sublanguage distinctiveness are explored. Objective methods…

cmp-lg · Computer Science 2008-02-03 Robert M. Losee , Stephanie W. Haas

A fundamental result in psycholinguistics is that less predictable words take a longer time to process. One theoretical explanation for this finding is Surprisal Theory (Hale, 2001; Levy, 2008), which quantifies a word's predictability as…

Computation and Language · Computer Science 2025-04-15 Ethan Gotlieb Wilcox , Tiago Pimentel , Clara Meister , Ryan Cotterell , Roger P. Levy

Regular synchronization languages can be used to define rational relations of finite words, and to characterize subclasses of rational relations, like automatic or recognizable relations. We provide a systematic study of the decidability of…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Christof Löding , Sarah Winter

We study a kind of better recurrence than Kolmogorov's one: periodicity recurrence,which corresponds periodic solutions in distribution for stochastic differential equations. On the basis of technique of upper and lower solutions and…

Dynamical Systems · Mathematics 2019-11-13 Chunyan Ji , Xue Yang , Yong Li

We start by considering binary words containing the minimum possible numbers of squares and antisquares (where an antisquare is a word of the form $x \overline{x}$), and we completely classify which possibilities can occur. We consider…

Formal Languages and Automata Theory · Computer Science 2019-04-22 Tim Ng , Pascal Ochem , Narad Rampersad , Jeffrey Shallit

The inevitable noise in real measurements motivates the problem to continuously quantify the similarity between rigid objects such as periodic time series and proteins given by ordered points and considered up to isometry maintaining…

Computational Geometry · Computer Science 2022-07-19 Vitaliy Kurlin

In this paper we introduce and study a new complexity measure for finite words. For positive integer $d$ special scattered subwords, called super-$d$-subwords, in which the gaps are of length at least $(d-1)$, are defined. We give methods…

Discrete Mathematics · Computer Science 2011-04-25 Zoltán Kása

We consider two algorithms which can be used for proving positivity of sequences that are defined by a linear recurrence equation with polynomial coefficients (P-finite sequences). Both algorithms have in common that while they do succeed…

Symbolic Computation · Computer Science 2010-05-05 Manuel Kauers , Veronika Pillwein