English
Related papers

Related papers: Periodicity in Rectangular Arrays

200 papers

In the paper the notion of {\em Rauzy scheme} is introduced. From Rauzy graph Rauzy Scheme can be obtaining by uniting sequence of vertices of ingoing and outgoing degree 1 by arches. This notion is a tool to describe Rauzy graph behavior.…

Dynamical Systems · Mathematics 2012-07-18 Alexei Kanel-Belov , Ivan Mitrofanov

We study density of rational languages under shift invariant probability measures on spaces of two-sided infinite words, which generalizes the classical notion of density studied in formal languages and automata theory. The density for a…

Formal Languages and Automata Theory · Computer Science 2025-08-08 Valérie Berthé , Herman Goulet-Ouellet , Dominique Perrin

For a given intuitionistic propositional formula A and a propositional variable x occurring in it, define the infinite sequence of formulae { A \_i | i$\ge$1} by letting A\_1 be A and A\_{i+1} be A(A\_i/x). Ruitenburg's Theorem [8] says…

Logic · Mathematics 2018-04-18 Luigi Santocanale , Silvio Ghilardi

We present two variations of Duval's algorithm for computing the Lyndon factorization of a word. The first algorithm is designed for the case of small alphabets and is able to skip a significant portion of the characters of the string, for…

Data Structures and Algorithms · Computer Science 2014-07-14 Sukhpal Singh Ghuman , Emanuele Giaquinta , Jorma Tarhio

Let $\mathcal A$ be a star-shaped polygon in the plane, with rational vertices, containing the origin. The number of primitive lattice points in the dilate $t\mathcal A$ is asymptotically $\frac6{\pi^2}$ Area$(t\mathcal A)$ as $t\to…

Number Theory · Mathematics 2020-11-18 Imre Bárány , Greg Martin , Eric Naslund , Sinai Robins

We consider two graph models of semantic change. The first is a time-series model that relates embedding vectors from one time period to embedding vectors of previous time periods. In the second, we construct one graph for each word: nodes…

Computation and Language · Computer Science 2017-04-11 Steffen Eger , Alexander Mehler

Fix an integer $g \neq -1$ that is not a perfect square. In 1927, Artin conjectured that there are infinitely many primes for which $g$ is a primitive root. Forty years later, Hooley showed that Artin's conjecture follows from the…

Number Theory · Mathematics 2016-01-20 Paul Pollack

A closed word (a.k.a. periodic-like word or complete first return) is a word whose longest border does not have internal occurrences, or, equivalently, whose longest repeated prefix is not right special. We investigate the structure of…

Formal Languages and Automata Theory · Computer Science 2014-12-02 Golnaz Badkobeh , Gabriele Fici , Zsuzsanna Lipták

Combinatorial properties of maximal repetitions (runs) in formal words are studied. We classify all maximal repetitions in a word as primary and secondary where the set of all primary repetitions determines all the other repetitons in the…

Formal Languages and Automata Theory · Computer Science 2011-03-29 Roman Kolpakov

Leivant's ramified recurrence is one of the earliest examples of an implicit characterization of the polytime functions as a subalgebra of the primitive recursive functions. Leivant's result, however, is originally stated and proved only…

Logic in Computer Science · Computer Science 2010-05-05 Ugo Dal Lago , Simone Martini , Margherita Zorzi

We use a second-order analogy $\mathsf{PRA}^2$ of $\mathsf{PRA}$ to investigate the proof-theoretic strength of theorems in countable algebra, analysis, and infinite combinatorics. We compare our results with similar results in the…

Logic · Mathematics 2023-11-09 Nikolay Bazhenov , Marta Fiori-Carones , Lu Liu , Alexander Melnikov

Given an explicit presentation of a reflection group of rank two (or any rank two group for that matter), we give a simple procedure for calculating all its systems of imprimitivity, when viewed as a matrix group over the quaternions. This…

Group Theory · Mathematics 2026-01-27 Shayne Waldron

In this article, we try to explain and unify standard divisibility tests found in various books. We then look at recurring decimals, and list a few of their properties. We show how to compute the number of digits in the recurring part of…

Number Theory · Mathematics 2011-08-01 Apoorva Khare

We consider in this work triangulations of $\mathbb{Z}^n$ that are periodic along $\mathbb{Z}^n$. They generalize the triangulations obtained from Delaunay tessellations of lattices. Other important property is the regularity and…

Combinatorics · Mathematics 2021-04-16 Mathieu Dutour Sikirić , Alexey Garber

Let F(z) be a rational function in Q(z) of degree at least 2 with F(0) = 0 and such that F does not vanish to order d at 0. Let b be a rational number having infinite orbit under iteration of F, and write F^n(b) = A_n/B_n as a fraction in…

Number Theory · Mathematics 2015-05-13 Patrick Ingram , Joseph H. Silverman

Let $(a_n), (b_n)$ be linear recursive sequences of integers with characteristic polynomials $A(X),B(X)\in \mathbb{Z}[X]$ respectively. Assume that $A(X)$ has a dominating and simple real root $\alpha$, while $B(X)$ has a pair of conjugate…

Number Theory · Mathematics 2021-11-23 Attila Pethő

We study Grothendieck rings (in the sense of logic) of fields. We prove the triviality of the Grothendieck rings of certain fields by constructing definable bijections which imply the triviality. More precisely, we consider valued fields,…

Logic · Mathematics 2007-05-23 Raf Cluckers

We speculate on the distribution of primes in exponentially growing, linear recurrence sequences $(u_n)_{n\geq 0}$ in the integers. By tweaking a heuristic which is successfully used to predict the number of prime values of polynomials, we…

Number Theory · Mathematics 2024-09-10 Jon Grantham , Andrew Granville

In this note, we study the problem of existence of sequences of consecutive 1's in the periodic part of the continued fractions expansions of square roots of primes. We prove unconditionally that, for a given $N\gg 1$, there are at least…

Number Theory · Mathematics 2019-04-09 Piotr Miska , Maciej Ulas

We use the classical umbral calculus to describe Riordan arrays. Here, a Riordan array is generated by a pair of umbrae, and this provides efficient proofs of several basic results of the theory such as the multiplication rule, the…

Combinatorics · Mathematics 2015-05-28 José Agapito , Ângela Mestre , Pasquale Petrullo , Maria M. Torres