On long arithmetic progressions in binary Morse-like words

01/06/2021
by   Ibai Aedo, et al.
0

We present results on the existence of long arithmetic progressions in the Thue-Morse word and in a class of generalised Thue-Morse words. Our arguments are inspired by van der Waerden's proof for the existence of arbitrary long monochromatic arithmetic progressions in any finite colouring of the (positive) integers.

READ FULL TEXT

page 6

page 12

page 13

research
02/16/2021

Decidability for Sturmian words

We show that the first-order theory of Sturmian words over Presburger ar...
research
10/24/2020

On the Expressiveness of Büchi Arithmetic

We show that the existential fragment of Büchi arithmetic is strictly le...
research
03/15/2018

Forbidden arithmetic progressions in permutations of subsets of the integers

Permutations of the positive integers avoiding arithmetic progressions o...
research
09/20/2023

Arithmetic crosscorrelation of binary m-sequences with coprime periods

The arithmetic crosscorrelation of binary m-sequences with coprime perio...
research
01/24/2022

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

In a previous paper, we have shown that clause sets belonging to the Hor...
research
11/02/2016

Extensions and Limitations of the Neural GPU

The Neural GPU is a recent model that can learn algorithms such as multi...
research
08/08/2021

Improving MATLAB's isprime performance without arbitrary-precision arithmetic

MATLAB is a numerical computing platform used by scientists, engineers, ...

Please sign up or login with your details

Forgot password? Click here to reset