English
Related papers

Related papers: Gowers norms for automatic sequences

200 papers

We show that automatic sequences are asymptotically orthogonal to periodic exponentials of type $e_q(f(n))$, where $f$ is a rational fraction, in the P\'olya-Vinogradov range. This applies to Kloosterman sums, and may be used to study…

Number Theory · Mathematics 2017-10-04 Sary Drappeau , Clemens Müllner

We study automatic sequences and automatic systems generated by general constant length (nonprimitive) substitutions. While an automatic system is typically uncountable, the set of automatic sequences is countable, implying that most…

Combinatorics · Mathematics 2024-12-04 Elżbieta Krawczyk

We describe a simple method that produces automatically closed forms for the coefficients of continued fractions expansions of a large number of special functions. The function is specified by a non-linear differential equation and initial…

Symbolic Computation · Computer Science 2015-07-16 Sébastien Maulat , Bruno Salvy

Semi-regular sequences over $\mathbb{F}_2$ are sequences of homogeneous elements of the algebra $ B^{(n)}=\mathbb{F}_2[X_1,...,X_n]/(X_1^2,...,X_n^2) $, which have as few relations between them as possible. They were introduced in order to…

Commutative Algebra · Mathematics 2014-12-30 T. J. Hodges , S. D. Molina , J. Schlather

We give characterizations of unital uniform topological algebras and saturated locally multiplicatively convex algebras by means of multiplicative linear functionals. Some automatic continuity theorems in advertibly complete uniform…

Functional Analysis · Mathematics 2014-01-03 M. El Azhari

A strictly increasing sequence of positive integers is called a slightly curved sequence with small error if the sequence can be well-approximated by a function whose second derivative goes to zero faster than or equal to $1/x^\alpha$ for…

Number Theory · Mathematics 2019-03-05 Kota Saito , Yuuya Yoshida

This work is motivated by the long-standing open problem of designing asymptotically order-optimal aperiodic polyphase sequence sets with respect to the celebrated Welch bound. Attempts were made by Mow over 30 years ago, but a…

Information Theory · Computer Science 2026-01-26 Huaning Liu , Zilong Liu

Congruences for stochastic automata are defined, the correspondin factor automata are constructed and investigated for automata ove analytic spaces. We study the behavior under finite and infinite streams. Congruences consist of multiple…

Formal Languages and Automata Theory · Computer Science 2020-11-16 Ernst-Erich Doberkat

We describe new, simple, recursive methods of construction for orientable sequences over an arbitrary finite alphabet, i.e. periodic sequences in which any sub-sequence of n consecutive elements occurs at most once in a period in either…

Combinatorics · Mathematics 2026-03-20 Abbas Alhakim , Chris J. Mitchell , Janusz Szmidt , Peter R. Wild

We study sequential prediction of real-valued, arbitrary and unknown sequences under the squared error loss as well as the best parametric predictor out of a large, continuous class of predictors. Inspired by recent results from…

Machine Learning · Computer Science 2014-01-24 N. Denizcan Vanli , Suleyman S. Kozat

This paper examines Automatic Complexity, a complexity notion introduced by Shallit and Wang in 2001. We demonstrate that there exists a normal sequence $T$ such that $I(T) = 0$ and $S(T) \leq 1/2$, where $I(T)$ and $S(T)$ are the lower and…

Formal Languages and Automata Theory · Computer Science 2021-11-30 Liam Jordon , Philippe Moser

In the following pages we discuss infinite sequences defined on a finite alphabet, and more specially those which are generated by finite automata. We have divided our paper into seven parts which are more or less self-contained. Needless…

Formal Languages and Automata Theory · Computer Science 2022-12-20 Jean-Paul Allouche , Michel Mendès France

A program is a finite piece of data that produces a (possibly infinite) sequence of primitive instructions. From scratch we develop a linear notation for sequential, imperative programs, using a familiar class of primitive instructions and…

Programming Languages · Computer Science 2013-04-17 Jan A. Bergstra , Alban Ponse

We show that, under some mild hypotheses, the Gowers uniformity norms (both in the additive and in the hypergraph setting) are essentially equivalent to certain weaker norms which are easier to understand. We present two applications of…

Number Theory · Mathematics 2022-06-10 Pandelis Dodos , Vassilis Kanellopoulos

We study the factor complexity and closure properties of automatic sequences based on Parry or Bertrand numeration systems. These automatic sequences can be viewed as generalizations of the more typical $k$-automatic sequences and…

Formal Languages and Automata Theory · Computer Science 2018-10-29 Adeline Massuir , Jarkko Peltomäki , Michel Rigo

We develop a new approach for uniform generation of combinatorial objects, and apply it to derive a uniform sampler REG for d-regular graphs. REG can be implemented such that each graph is generated in expected time O(nd^3), provided that…

Combinatorics · Mathematics 2021-01-14 Pu Gao , Nicholas Wormald

In this paper, we develop the proof theory of skew prounital closed categories. These are variants of the skew closed categories of Street where the unit is not represented. Skew closed categories in turn are a weakening of the closed…

Logic in Computer Science · Computer Science 2021-01-12 Tarmo Uustalu , Niccolò Veltri , Noam Zeilberger

The Gowers U^3 norm is one of a sequence of norms used in the study of arithmetic progressions. If G is an abelian group and A is a subset of G then the U^3(G) of the characteristic function 1_A is useful in the study of progressions of…

Number Theory · Mathematics 2023-12-08 Ben Green , Terence Tao

Gowers norms have been a key component in the proofs of many breakthrough results in connection to the sum of digits function. Spiegelhofer has used them to show that the Thue-Morse sequence has level of distribution 1 and also that it is…

Number Theory · Mathematics 2025-10-21 Pascal Jelinek

It is well-known that there exist infinite sequences that are the fixed point of non-uniform morphisms, but not $k$-automatic for any $k$. In this note we show that every $k$-automatic sequence is the image of a fixed point of a {\it…

Number Theory · Mathematics 2021-03-23 Jean-Paul Allouche , Jeffrey Shallit