-
Rauzy dimension and finite-state dimension
Authors:
Verónica Becher,
Olivier Carton,
Santiago Figueira
Abstract:
In a paper of 1976, Rauzy studied two complexity notions, $\underlineβ$ and $\overlineβ$, for infinite sequences over a finite alphabet. The function $\underlineβ$ is maximum exactly in the Borel normal sequences and $\overlineβ$ is minimum exactly in the sequences that, when added to any Borel normal sequence, the result is also Borel normal. Although the definition of $\underlineβ$ and…
▽ More
In a paper of 1976, Rauzy studied two complexity notions, $\underlineβ$ and $\overlineβ$, for infinite sequences over a finite alphabet. The function $\underlineβ$ is maximum exactly in the Borel normal sequences and $\overlineβ$ is minimum exactly in the sequences that, when added to any Borel normal sequence, the result is also Borel normal. Although the definition of $\underlineβ$ and $\overlineβ$ do not involve finite-state automata, we establish some connections between them and the lower $\underline{\rm dim}$ and upper $\overline{\rm dim}$ finite-state dimension (or other equivalent notions like finite-state compression ratio, aligned-entropy or cumulative log-loss of finite-state predictors). We show tight lower and upper bounds on $\underline{\rm dim}$ and $\overline{\rm dim}$ as functions of $\underlineβ$ and $\overlineβ$, respectively. In particular this implies that sequences with $\overline{\rm dim}$ zero are exactly the ones that that, when added to any Borel normal sequence, the result is also Borel normal. We also show that the finite-state dimensions $\underline{\rm dim}$ and $\overline{\rm dim}$ are essentially subadditive. We need two technical tools that are of independent interest. One is the family of local finite-state automata, which are automata whose memory consists of the last $k$ read symbols for some fixed integer $k$. We show that compressors based on local finite-state automata are as good as standard finite-state compressors. The other one is a notion of finite-state relational (non-deterministic) compressor, which can compress an input in several ways provided the input can always be recovered from any of its outputs. We show that such compressors cannot compress more than standard (deterministic) finite-state compressors.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Lyndon pairs and the lexicographically greatest perfect necklace
Authors:
Verónica Becher,
Tomás Tropea
Abstract:
Fix a finite alphabet. A necklace is a circular word. For positive integers $n$ and~$k$, a necklace is $(n,k)$-perfect if all words of length $n$ occur $k$ times but at positions with different congruence modulo $k$, for any convention of the starting position. We define the notion of a Lyndon pair and we use it to construct the lexicographically greatest $(n,k)$-perfect necklace, for any $n$ and…
▽ More
Fix a finite alphabet. A necklace is a circular word. For positive integers $n$ and~$k$, a necklace is $(n,k)$-perfect if all words of length $n$ occur $k$ times but at positions with different congruence modulo $k$, for any convention of the starting position. We define the notion of a Lyndon pair and we use it to construct the lexicographically greatest $(n,k)$-perfect necklace, for any $n$ and $k$ such that $n$ divides~$k$ or $k$ divides~$n$. Our construction generalizes Fredricksen and Maiorana's construction of the lexicographically greatest de Bruijn sequence of order $n$, based on the concatenation of the Lyndon words whose length divide $n$.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
On extremal factors of de Bruijn-like graphs
Authors:
Nicolás Álvarez,
Verónica Becher,
Martín Mereb,
Ivo Pajor,
Carlos Miguel Soto
Abstract:
In 1972 Mykkeltveit proved that the maximum number of vertex-disjoint cycles in the de Bruijn graphs of order $n$ is attained by the pure cycling register rule, as conjectured by Golomb. We generalize this result to the tensor product of the de Bruijn graph of order $n$ and a simple cycle of size $k$, when $n$ divides $k$ or vice versa. We also develop counting formulae for a large family of cycli…
▽ More
In 1972 Mykkeltveit proved that the maximum number of vertex-disjoint cycles in the de Bruijn graphs of order $n$ is attained by the pure cycling register rule, as conjectured by Golomb. We generalize this result to the tensor product of the de Bruijn graph of order $n$ and a simple cycle of size $k$, when $n$ divides $k$ or vice versa. We also develop counting formulae for a large family of cycling register rules, including the linear register rules proposed by Golomb.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
The descriptive complexity of the set of Poisson generic numbers
Authors:
Verónica Becher,
Stephen Jackson,
Dominik Kwietniak,
Bill Mance
Abstract:
Let $b\ge 2$ be an integer. We show that the set of real numbers that are Poisson generic in base $b$ is $\boldsymbolΠ^0_3$-complete in the Borel hierarchy of subsets of the real line. Furthermore, the set of real numbers that are Borel normal in base $b$ and not Poisson generic in base $b$ is complete for the class given by the differences between $\boldsymbolΠ^0_3$ sets. We also show that the ef…
▽ More
Let $b\ge 2$ be an integer. We show that the set of real numbers that are Poisson generic in base $b$ is $\boldsymbolΠ^0_3$-complete in the Borel hierarchy of subsets of the real line. Furthermore, the set of real numbers that are Borel normal in base $b$ and not Poisson generic in base $b$ is complete for the class given by the differences between $\boldsymbolΠ^0_3$ sets. We also show that the effective versions of these results hold in the effective Borel hierarchy.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
On simply normal numbers with digit dependencies
Authors:
Verónica Becher,
Agustín Marchionna,
Gérald Tenenbaum
Abstract:
Given an integer $b\geqslant 2$ and a set $P$ of prime numbers, the set $T_P $ of Toeplitz numbers comprises all elements of $[0,b[$ whose digits $(a_n)_{n\geqslant 1}$ in the base-$b$ expansion satisfy $a_n=a_{pn}$ for all $p\in P$ and $n\geqslant 1$. Using a completely additive arithmetical function, we construct a number in~$T_P$ that is simply Borel normal if, and only if,…
▽ More
Given an integer $b\geqslant 2$ and a set $P$ of prime numbers, the set $T_P $ of Toeplitz numbers comprises all elements of $[0,b[$ whose digits $(a_n)_{n\geqslant 1}$ in the base-$b$ expansion satisfy $a_n=a_{pn}$ for all $p\in P$ and $n\geqslant 1$. Using a completely additive arithmetical function, we construct a number in~$T_P$ that is simply Borel normal if, and only if, $\sum_{p\not \in P} 1/p=\infty$. We then provide an effective bound for the discrepancy.
△ Less
Submitted 28 May, 2023; v1 submitted 13 April, 2023;
originally announced April 2023.
-
Nested perfect toroidal arrays
Authors:
Verónica Becher,
Olivier Carton
Abstract:
We introduce two-dimensional toroidal arrays that are a variant of the de Bruijn tori. We call them nested perfect toroidal arrays. Instead of asking that every array of a given size has exactly one occurrence, we partition the positions in congruence classes and we ask exactly one occurrence in each congruence class. We also ask that this property applies recursively to each of the subarrays. We…
▽ More
We introduce two-dimensional toroidal arrays that are a variant of the de Bruijn tori. We call them nested perfect toroidal arrays. Instead of asking that every array of a given size has exactly one occurrence, we partition the positions in congruence classes and we ask exactly one occurrence in each congruence class. We also ask that this property applies recursively to each of the subarrays. We give a method to construct nested perfect toroidal arrays based on Pascal triangle matrix modulo 2. For the two-symbol alphabet, and for $n$ being a power of $2$, our method yields $2^{n^2+n-1}$ different nested perfect toroidal arrays allocating all the different $n\times n$ arrays in each congruence class
that arises from taking the line number modulo $n$ and the column number modulo $n$.
△ Less
Submitted 2 January, 2023;
originally announced January 2023.
-
A construction of a $λ$- Poisson generic sequence
Authors:
Verónica Becher,
Gabriel Sac Himelfarb
Abstract:
Years ago Zeev Rudnick defined the $λ$-Poisson generic sequences as the infinite sequences of symbols in a finite alphabet where the number of occurrences of long words in the initial segments follow the Poisson distribution with parameter $λ$. Although almost all sequences, with respect to the uniform measure, are Poisson generic, no explicit instance has yet been given. In this note we give a co…
▽ More
Years ago Zeev Rudnick defined the $λ$-Poisson generic sequences as the infinite sequences of symbols in a finite alphabet where the number of occurrences of long words in the initial segments follow the Poisson distribution with parameter $λ$. Although almost all sequences, with respect to the uniform measure, are Poisson generic, no explicit instance has yet been given. In this note we give a construction of an explicit $λ$-Poisson generic sequence over any alphabet and any positive $λ$, except for the case of the two-symbol alphabet, in which it is required that $λ$ be less than or equal to the natural logarithm of $2$. Since $λ$-Poisson genericity implies Borel normality, the constructed sequences are Borel normal. The same construction provides explicit instances of Borel normal sequences that are not $λ$-Poisson generic.
△ Less
Submitted 27 February, 2024; v1 submitted 8 May, 2022;
originally announced May 2022.
-
Poisson generic sequences
Authors:
Nicolás Álvarez,
Verónica Becher,
Martín Mereb
Abstract:
Years ago, Zeev Rudnick defined the Poisson generic real numbers by counting the number of occurrences of long blocks of digits in the initial segments of the expansions of the real numbers in a fixed integer base. Peres and Weiss proved that almost all real numbers, with respect to Lebesgue measure, are Poisson generic, but they did not publish their proof. In this note first we transcribe Peres…
▽ More
Years ago, Zeev Rudnick defined the Poisson generic real numbers by counting the number of occurrences of long blocks of digits in the initial segments of the expansions of the real numbers in a fixed integer base. Peres and Weiss proved that almost all real numbers, with respect to Lebesgue measure, are Poisson generic, but they did not publish their proof. In this note first we transcribe Peres and Weiss' proof and then we show that there are computable Poisson generic instances and that all Martin-Löf random real numbers are Poisson generic.
△ Less
Submitted 12 August, 2022; v1 submitted 3 February, 2022;
originally announced February 2022.
-
On a question of Mendès France on normal numbers
Authors:
Verónica Becher,
Manfred G. Madritsch
Abstract:
In 2008 or earlier, Michel Mendès France asked for an instance of a real number $x$ such that both $x$ and $1/x$ are simply normal to a given integer base $b$. We give a positive answer to this question by constructing a number $x$ such that both $x$ and its reciprocal $1/x$ are continued fraction normal as well as normal to all integer bases greater than or equal to $2$. Moreover, $x$ and $1/x$ a…
▽ More
In 2008 or earlier, Michel Mendès France asked for an instance of a real number $x$ such that both $x$ and $1/x$ are simply normal to a given integer base $b$. We give a positive answer to this question by constructing a number $x$ such that both $x$ and its reciprocal $1/x$ are continued fraction normal as well as normal to all integer bases greater than or equal to $2$. Moreover, $x$ and $1/x$ are both computable.
△ Less
Submitted 15 August, 2021;
originally announced August 2021.
-
Insertion in constructed normal numbers
Authors:
Verónica Becher
Abstract:
Defined by Borel, a real number is normal to an integer base $b$, greater than or equal to $2$, if in its base-$b$ expansion every block of digits occurs with the same limiting frequency as every other block of the same length. We consider the problem of insertion in constructed base-$b$ normal expansions to obtain normality to base $(b+1)$.
Defined by Borel, a real number is normal to an integer base $b$, greater than or equal to $2$, if in its base-$b$ expansion every block of digits occurs with the same limiting frequency as every other block of the same length. We consider the problem of insertion in constructed base-$b$ normal expansions to obtain normality to base $(b+1)$.
△ Less
Submitted 13 November, 2021; v1 submitted 1 June, 2021;
originally announced June 2021.
-
On the number of words with restrictions on the number of symbols
Authors:
Verónica Becher,
Eda Cesaratto
Abstract:
We show that, in an alphabet of $n$ symbols, the number of words of length $n$ whose number of different symbols is away from $(1-1/e)n$, which is the value expected by the Poisson distribution, has exponential decay in $n$. We use Laplace's method for sums and known bounds of Stirling numbers of the second kind. We express our result in terms of inequalities.
We show that, in an alphabet of $n$ symbols, the number of words of length $n$ whose number of different symbols is away from $(1-1/e)n$, which is the value expected by the Poisson distribution, has exponential decay in $n$. We use Laplace's method for sums and known bounds of Stirling numbers of the second kind. We express our result in terms of inequalities.
△ Less
Submitted 9 March, 2022; v1 submitted 26 May, 2021;
originally announced May 2021.
-
Randomness and uniform distribution modulo one
Authors:
Verónica Becher,
Serge Grigorieff
Abstract:
We elaborate the notions of Martin-Löf and Schnorr randomness for real numbers in terms of uniform distribution of sequences. We give a necessary condition for a real number to be Schnorr random expressed in terms of classical uniform distribution of sequences. This extends the result proved by Avigad for sequences of linear functions with integer coefficients to the wider classical class of Koksm…
▽ More
We elaborate the notions of Martin-Löf and Schnorr randomness for real numbers in terms of uniform distribution of sequences. We give a necessary condition for a real number to be Schnorr random expressed in terms of classical uniform distribution of sequences. This extends the result proved by Avigad for sequences of linear functions with integer coefficients to the wider classical class of Koksma sequences of functions. And, by requiring equidistribution with respect to every computably enumerable open set (respectively, computably enumerable open set with computable measure) in the unit interval, we give a sufficient condition for Martin-Löf (respectively Schnorr) randomness.
△ Less
Submitted 27 November, 2021; v1 submitted 20 April, 2021;
originally announced April 2021.
-
Completely uniformly distributed sequences based on de Bruijn sequences
Authors:
Emilio Almansi,
Verónica Becher
Abstract:
We study a construction published by Donald Knuth in 1965 yielding a completely uniformly distributed sequence of real numbers. Knuth's work is based on de Bruijn sequences of increasing orders and alphabet sizes, which grow exponentially in each of the successive segments composing the generated sequence. In this work we present a similar albeit simpler construction using linearly increasing alph…
▽ More
We study a construction published by Donald Knuth in 1965 yielding a completely uniformly distributed sequence of real numbers. Knuth's work is based on de Bruijn sequences of increasing orders and alphabet sizes, which grow exponentially in each of the successive segments composing the generated sequence. In this work we present a similar albeit simpler construction using linearly increasing alphabet sizes, and give an elementary proof showing that the sequence it yields is also completely uniformly distributed. In addition, we present an alternative proof of the same result based on Weyl's criterion.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
Extending de Bruijn sequences to larger alphabets
Authors:
Verónica Becher,
Lucas Cortés
Abstract:
A de Bruijn sequence of order n over a k-symbol alphabet is a circular sequence where each length-n sequence occurs exactly once. We present a way of extending de Bruijn sequences by adding a new symbol to the alphabet: the extension is performed by embedding a given de Bruijn sequence into another one of the same order, but over the alphabet with one more symbol, while ensuring that there are no…
▽ More
A de Bruijn sequence of order n over a k-symbol alphabet is a circular sequence where each length-n sequence occurs exactly once. We present a way of extending de Bruijn sequences by adding a new symbol to the alphabet: the extension is performed by embedding a given de Bruijn sequence into another one of the same order, but over the alphabet with one more symbol, while ensuring that there are no long runs without the new symbol. Our solution is based on auxiliary graphs derived from the de Bruijn graph and solving a problem of maximum flow.
△ Less
Submitted 19 November, 2020; v1 submitted 28 June, 2019;
originally announced July 2019.
-
Low discrepancy sequences failing Poissonian pair correlations
Authors:
Verónica Becher,
Olivier Carton,
Ignacio Mollo Cunningham
Abstract:
M. Levin defined a real number $x$ that satisfies that the sequence of the fractional parts of $(2^n x)_{n\geq 1}$ are such that the first $N$ terms have discrepancy $O((\log N)^2/ N)$, which is the smallest discrepancy known for this kind of parametric sequences. In this work we show that the fractional parts of the sequence $(2^n x)_{n\geq 1}$ fail to have Poissonian pair correlations. Moreover,…
▽ More
M. Levin defined a real number $x$ that satisfies that the sequence of the fractional parts of $(2^n x)_{n\geq 1}$ are such that the first $N$ terms have discrepancy $O((\log N)^2/ N)$, which is the smallest discrepancy known for this kind of parametric sequences. In this work we show that the fractional parts of the sequence $(2^n x)_{n\geq 1}$ fail to have Poissonian pair correlations. Moreover, we show that all the real numbers $x$ that are variants of Levin's number using Pascal triangle matrices are such that the fractional parts of the sequence $(2^n x)_{n\geq 1}$ fail to have Poissonian pair correlations.
△ Less
Submitted 5 March, 2019;
originally announced March 2019.
-
Normal numbers and nested perfect necklaces
Authors:
Verónica Becher,
Olivier Carton
Abstract:
M. B. Levin used Sobol-Faure low discrepancy sequences with Pascal matrices modulo $2$ to construct, for each integer $b$, a real number $x$ such that the first $N$ terms of the sequence $(b^n x \mod 1)_{n\geq 1}$ have discrepancy $O((\log N)^2/N)$. This is the lowest discrepancy known for this kind of sequences. In this note we characterize Levin's construction in terms of nested perfect necklace…
▽ More
M. B. Levin used Sobol-Faure low discrepancy sequences with Pascal matrices modulo $2$ to construct, for each integer $b$, a real number $x$ such that the first $N$ terms of the sequence $(b^n x \mod 1)_{n\geq 1}$ have discrepancy $O((\log N)^2/N)$. This is the lowest discrepancy known for this kind of sequences. In this note we characterize Levin's construction in terms of nested perfect necklaces, which are a variant of the classical de Bruijn necklaces. Moreover, we show that every real number $x$ whose base $b$ expansion is the concatenation of nested perfect necklaces of exponentially increasing order satisfies that the first $N$ terms of $(b^n x \mod 1)_{n\geq 1}$ have discrepancy $O((\log N)^2/N)$. For base $2$ and the order being a power of $2$, we give the exact number of nested perfect necklaces and an explicit method based on matrices to construct each of them.
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
Normal numbers with digit dependencies
Authors:
Christoph Aistleitner,
Veronica Becher,
Olivier Carton
Abstract:
We give metric theorems for the property of Borel normality for real numbers under the assumption of digit dependencies in their expansion in a given integer base. We quantify precisely how much digit dependence can be allowed such that, still, almost all real numbers are normal. Our theorem states that almost all real numbers are normal when at least slightly more than $\log \log n$ consecutive d…
▽ More
We give metric theorems for the property of Borel normality for real numbers under the assumption of digit dependencies in their expansion in a given integer base. We quantify precisely how much digit dependence can be allowed such that, still, almost all real numbers are normal. Our theorem states that almost all real numbers are normal when at least slightly more than $\log \log n$ consecutive digits with indices starting at position $n$ are independent. As the main application, we consider the Toeplitz set $T_P$, which is the set of all sequences $a_1a_2 \ldots $ of symbols from $\{0, \ldots, b-1\}$ such that $a_n$ is equal to $a_{pn}$, for every $p$ in $P$ and $n=1,2,\ldots$. Here $b$ is an integer base and $P$ is a finite set of prime numbers. We show that almost every real number whose base $b$ expansion is in $T_P$ is normal to base $b$. In the case when $P$ is the singleton set $\{2\}$ we prove that more is true: almost every real number whose base $b$ expansion is in $T_P$ is normal to all integer bases. We also consider the Toeplitz transform which maps the set of all sequences to the set $T_P$ and we characterize the normal sequences whose Toeplitz transform is normal as well.
△ Less
Submitted 17 September, 2018; v1 submitted 9 April, 2018;
originally announced April 2018.
-
On the construction of absolutely normal numbers
Authors:
Christoph Aistleitner,
Verónica Becher,
Adrian-Maria Scheerer,
Theodore Slaman
Abstract:
We give a construction of an absolutely normal real number $x$ such that for every integer $b $ greater than or equal to $2$, the discrepancy of the first $N$ terms of the sequence $(b^n x \mod 1)_{n\geq 0}$ is of asymptotic order $\mathcal{O}(N^{-1/2})$. This is below the order of discrepancy which holds for almost all real numbers. Even the existence of absolutely normal numbers having a discrep…
▽ More
We give a construction of an absolutely normal real number $x$ such that for every integer $b $ greater than or equal to $2$, the discrepancy of the first $N$ terms of the sequence $(b^n x \mod 1)_{n\geq 0}$ is of asymptotic order $\mathcal{O}(N^{-1/2})$. This is below the order of discrepancy which holds for almost all real numbers. Even the existence of absolutely normal numbers having a discrepancy of such a small asymptotic order was not known before.
△ Less
Submitted 9 July, 2017;
originally announced July 2017.
-
On absolutely normal and continued fraction normal numbers
Authors:
Verónica Becher,
Sergio A. Yuhjtman
Abstract:
We give a construction of a real number that is normal to all integer bases and continued fraction normal. The computation of the first n digits of its continued fraction expansion performs in the order of n^4 mathematical operations. The construction works by defining successive refinements of appropriate subintervals to achieve, in the limit, simple normality to all integer bases and continued f…
▽ More
We give a construction of a real number that is normal to all integer bases and continued fraction normal. The computation of the first n digits of its continued fraction expansion performs in the order of n^4 mathematical operations. The construction works by defining successive refinements of appropriate subintervals to achieve, in the limit, simple normality to all integer bases and continued fraction normality. The main diffculty is to control the length of these subintervals. To achieve this we adapt and combine known metric theorems on continued fractions and on expansions in integers bases.
△ Less
Submitted 12 April, 2017;
originally announced April 2017.
-
On absolutely normal numbers and their discrepancy estimate
Authors:
Verónica Becher,
Adrian-Maria Scheerer,
Theodore Slaman
Abstract:
We construct the base $2$ expansion of an absolutely normal real number $x$ so that, for every integer $b$ greater than or equal to $2$, the discrepancy modulo $1$ of the sequence $(b^0 x, b^1 x, b^2 x , \ldots)$ is essentially the same as that realized by almost all real numbers.
We construct the base $2$ expansion of an absolutely normal real number $x$ so that, for every integer $b$ greater than or equal to $2$, the discrepancy modulo $1$ of the sequence $(b^0 x, b^1 x, b^2 x , \ldots)$ is essentially the same as that realized by almost all real numbers.
△ Less
Submitted 10 July, 2017; v1 submitted 13 February, 2017;
originally announced February 2017.
-
Finite-state Independence and Normal Sequences
Authors:
Nicolás Álvarez,
Verónica Becher,
Olivier Carton
Abstract:
We consider the previously defined notion of finite-state independence and we focus specifically on normal words. We characterize finite-state independence of normal words in three different ways, using three different kinds of asynchronous deterministic finite automata with two input tapes containing infinite words. Based on one of the characterizations we give an algorithm to construct a pair of…
▽ More
We consider the previously defined notion of finite-state independence and we focus specifically on normal words. We characterize finite-state independence of normal words in three different ways, using three different kinds of asynchronous deterministic finite automata with two input tapes containing infinite words. Based on one of the characterizations we give an algorithm to construct a pair of finite-state independent normal words.
△ Less
Submitted 6 July, 2018; v1 submitted 1 February, 2017;
originally announced February 2017.
-
Finite-state independence
Authors:
Verónica Becher,
Olivier Carton,
Pablo Ariel Heiber
Abstract:
In this work we introduce a notion of independence based on finite-state automata: two infinite words are independent if no one helps to compress the other using one-to-one finite-state transducers with auxiliary input. We prove that, as expected, the set of independent pairs of infinite words has Lebesgue measure 1. We show that the join of two independent normal words is normal. However, the ind…
▽ More
In this work we introduce a notion of independence based on finite-state automata: two infinite words are independent if no one helps to compress the other using one-to-one finite-state transducers with auxiliary input. We prove that, as expected, the set of independent pairs of infinite words has Lebesgue measure 1. We show that the join of two independent normal words is normal. However, the independence of two normal words is not guaranteed if we just require that their join is normal. To prove this we construct a normal word $x_1x_2x_3\ldots$ where $x_{2n}=x_n$ for every $n$.
△ Less
Submitted 4 November, 2017; v1 submitted 11 November, 2016;
originally announced November 2016.
-
Perfect Necklaces
Authors:
Nicolás Álvarez,
Verónica Becher,
Pablo A. Ferrari,
Sergio A. Yuhjtman
Abstract:
We introduce a variant of de Bruijn words that we call perfect necklaces. Fix a finite alphabet. Recall that a word is a finite sequence of symbols in the alphabet and a circular word, or necklace, is the equivalence class of a word under rotations. For positive integers k and n, we call a necklace (k,n)-perfect if each word of length k occurs exactly n times at positions which are different modul…
▽ More
We introduce a variant of de Bruijn words that we call perfect necklaces. Fix a finite alphabet. Recall that a word is a finite sequence of symbols in the alphabet and a circular word, or necklace, is the equivalence class of a word under rotations. For positive integers k and n, we call a necklace (k,n)-perfect if each word of length k occurs exactly n times at positions which are different modulo n for any convention on the starting point. We call a necklace perfect if it is (k,k)-perfect for some k. We prove that every arithmetic sequence with difference coprime with the alphabet size induces a perfect necklace. In particular, the concatenation of all words of the same length in lexicographic order yields a perfect necklace. For each k and n, we give a closed formula for the number of (k,n)-perfect necklaces. Finally, we prove that every infinite periodic sequence whose period coincides with some (k,n)-perfect necklace for any n, passes all statistical tests of size up to k, but not all larger tests. This last theorem motivated this work.
△ Less
Submitted 28 January, 2016;
originally announced January 2016.
-
Irrationality Exponent, Hausdorff Dimension and Effectivization
Authors:
Verónica Becher,
Jan Reimann,
Theodore A. Slaman
Abstract:
We generalize the classical theorem by Jarnik and Besicovitch on the irrationality exponents of real numbers and Hausdorff dimension. Let a be any real number greater than or equal to 2 and let b be any non-negative real less than or equal to 2/a. We show that there is a Cantor-like set with Hausdorff dimension equal to b such that, with respect to its uniform measure, almost all real numbers have…
▽ More
We generalize the classical theorem by Jarnik and Besicovitch on the irrationality exponents of real numbers and Hausdorff dimension. Let a be any real number greater than or equal to 2 and let b be any non-negative real less than or equal to 2/a. We show that there is a Cantor-like set with Hausdorff dimension equal to b such that, with respect to its uniform measure, almost all real numbers have irrationality exponent equal to a. We give an analogous result relating the irrationality exponent and the effective Hausdorff dimension of individual real numbers. We prove that there is a Cantor-like set such that, with respect to its uniform measure, almost all elements in the set have effective Hausdorff dimension equal to b and irrationality exponent equal to a. In each case, we obtain the desired set as a distinguished path in a tree of Cantor sets.
△ Less
Submitted 6 September, 2017; v1 submitted 2 January, 2016;
originally announced January 2016.
-
Protein Repeats from First Principles
Authors:
Pablo Turjanski,
R. Gonzalo Parra,
Rocío Espada,
Verónica Becher,
Diego U. Ferreiro
Abstract:
Some natural proteins display recurrent structural patterns. Despite being highly similar at the tertiary structure level, repetitions within a single repeat protein can be extremely variable at the sequence level. We propose a mathematical definition of a repeat and investigate the occurrences of these in different protein families. We found that long stretches of perfect repetitions are infreque…
▽ More
Some natural proteins display recurrent structural patterns. Despite being highly similar at the tertiary structure level, repetitions within a single repeat protein can be extremely variable at the sequence level. We propose a mathematical definition of a repeat and investigate the occurrences of these in different protein families. We found that long stretches of perfect repetitions are infrequent in individual natural proteins, even for those which are known to fold into structures of recurrent structural motifs. We found that natural repeat proteins are indeed repetitive in their families, exhibiting abundant stretches of 6 amino acids or longer that are perfect repetitions in the reference family. We provide a systematic quantification for this repetitiveness, and show that this form of repetitiveness is not exclusive of repeat proteins, but also occurs in globular domains. A by-product of this work is a fast classifier of proteins into families, which yields likelihood value about a given protein belonging to a given family.
△ Less
Submitted 8 October, 2015;
originally announced October 2015.
-
M. Levin's construction of absolutely normal numbers with very low discrepancy
Authors:
Nicolás Alvarez,
Verónica Becher
Abstract:
Among the currently known constructions of absolutely normal numbers, the one given by Mordechay Levin in 1979 achieves the lowest discrepancy bound. In this work we analyze this construction in terms of computability and computational complexity. We show that, under basic assumptions, it yields a computable real number. The construction does not give the digits of the fractional expansion explici…
▽ More
Among the currently known constructions of absolutely normal numbers, the one given by Mordechay Levin in 1979 achieves the lowest discrepancy bound. In this work we analyze this construction in terms of computability and computational complexity. We show that, under basic assumptions, it yields a computable real number. The construction does not give the digits of the fractional expansion explicitly, but it gives a sequence of increasing approximations whose limit is the announced absolutely normal number. The $n$-th approximation has an error less than $2^{2^{-n}}$. To obtain the $n$-th approximation the construction requires, in the worst case, a number of mathematical operations that is double exponential in $n$. We consider variants on the construction that reduce the computational complexity at the expense of an increment in discrepancy.
△ Less
Submitted 2 October, 2015;
originally announced October 2015.
-
The Irrationality Exponents of Computable Numbers
Authors:
Verónica Becher,
Yann Bugeaud,
Theodore A. Slaman
Abstract:
We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers whose irrationality exponent is not computable.
We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers whose irrationality exponent is not computable.
△ Less
Submitted 3 October, 2014;
originally announced October 2014.
-
Normal Numbers and the Borel Hierarchy
Authors:
Verónica Becher,
Pablo Ariel Heiber,
Theodore A. Slaman
Abstract:
We show that the set of absolutely normal numbers is $\mathbf Π^0_3$-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is $Π^0_3$-complete in the effective Borel hierarchy.
We show that the set of absolutely normal numbers is $\mathbf Π^0_3$-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is $Π^0_3$-complete in the effective Borel hierarchy.
△ Less
Submitted 1 November, 2013;
originally announced November 2013.
-
On the Normality of Numbers to Different Bases
Authors:
Verónica Becher,
Theodore A. Slaman
Abstract:
We prove independence of normality to different bases We show that the set of real numbers that are normal to some base is Sigma^0_4 complete in the Borel hierarchy of subsets of real numbers. This was an open problem, initiated by Alexander Kechris, and conjectured by Ditzen 20 years ago.
We prove independence of normality to different bases We show that the set of real numbers that are normal to some base is Sigma^0_4 complete in the Borel hierarchy of subsets of real numbers. This was an open problem, initiated by Alexander Kechris, and conjectured by Ditzen 20 years ago.
△ Less
Submitted 1 November, 2013;
originally announced November 2013.
-
On Simply Normal Numbers to Different Bases
Authors:
Verónica Becher,
Yann Bugeaud,
Theodore A. Slaman
Abstract:
Let s be an integer greater than or equal to 2. A real number is simply normal to base s if in its base-s expansion every digit 0, 1, ..., s-1 occurs with the same frequency 1/s. Let X be the set of positive integers that are not perfect powers, hence X is the set {2,3, 5,6,7,10,11,...} . Let M be a function from X to sets of positive integers such that, for each s in X, if m is in M(s) then each…
▽ More
Let s be an integer greater than or equal to 2. A real number is simply normal to base s if in its base-s expansion every digit 0, 1, ..., s-1 occurs with the same frequency 1/s. Let X be the set of positive integers that are not perfect powers, hence X is the set {2,3, 5,6,7,10,11,...} . Let M be a function from X to sets of positive integers such that, for each s in X, if m is in M(s) then each divisor of m is in M(s) and if M(s) is infinite then it is equal to the set of all positive integers. These conditions on M are necessary for there to be a real number which is simply normal to exactly the bases s^m such that s is in X and m is in M(s). We show these conditions are also sufficient and further establish that the set of real numbers that satisfy them has full Hausdorff dimension. This extends a result of W. M. Schmidt (1961/1962) on normal numbers to different bases.
△ Less
Submitted 1 November, 2013;
originally announced November 2013.
-
Wadge Hardness in Scott Spaces and Its Effectivization
Authors:
Verónica Becher,
Serge Grigorieff
Abstract:
We prove some results on the Wadge order on the space of sets of natural numbers endowed with Scott topology, and more generally, on omega-continuous domains. Using alternating decreasing chains we characterize the property of Wadge hardness for the classes of the Hausdorff difference hierarchy (iterated differences of open sets). A similar characterization holds for Wadge one-to-one and finite-to…
▽ More
We prove some results on the Wadge order on the space of sets of natural numbers endowed with Scott topology, and more generally, on omega-continuous domains. Using alternating decreasing chains we characterize the property of Wadge hardness for the classes of the Hausdorff difference hierarchy (iterated differences of open sets). A similar characterization holds for Wadge one-to-one and finite-to-one completeness. We consider the same questions for the effectivization of the Wadge relation. We also show that for the space of sets of natural numbers endowed with the Scott topology, in each class of the Hausdorff difference hierarchy there are two strictly increasing chains of Wadge degrees of sets properly in that class. The length of these chains is the rank of the considered class, and each element in one chain is incomparable with all the elements in the other chain.
△ Less
Submitted 1 November, 2013;
originally announced November 2013.
-
Borel and Hausdorff Hierarchies in Topological Spaces of Choquet Games and Their Effectivization
Authors:
Verónica Becher,
Serge Grigorieff
Abstract:
What parts of classical descriptive set theory done in Polish spaces still hold for more general topological spaces, possibly T0 or T1, but not T2 (i.e. not Hausdorff)? This question has been addressed by Victor Selivanov in a series of papers centered on algebraic domains. And recently it has been considered by Matthew de Brecht for quasi-Polish spaces, a framework that contains both countably ba…
▽ More
What parts of classical descriptive set theory done in Polish spaces still hold for more general topological spaces, possibly T0 or T1, but not T2 (i.e. not Hausdorff)? This question has been addressed by Victor Selivanov in a series of papers centered on algebraic domains. And recently it has been considered by Matthew de Brecht for quasi-Polish spaces, a framework that contains both countably based continuous domains and Polish spaces. In this paper we present alternative unifying topological spaces, that we call approximation spaces. They are exactly the spaces for which player Nonempty has a stationary strategy in the Choquet game. A natural proper subclass of approximation spaces coincides with the class of quasi-Polish spaces. We study the Borel and Hausdorff difference hierarchies in approximation spaces, revisiting the work done for the other topological spaces. We also consider the problem of effectivization of these results.
△ Less
Submitted 1 November, 2013;
originally announced November 2013.
-
Efficient repeat finding via suffix arrays
Authors:
Veronica Becher,
Alejandro Deymonnaz,
Pablo Ariel Heiber
Abstract:
We solve the problem of finding interspersed maximal repeats using a suffix array construction. As it is well known, all the functionality of suffix trees can be handled by suffix arrays, gaining practicality. Our solution improves the suffix tree based approaches for the repeat finding problem, being particularly well suited for very large inputs. We prove the corrrectness and complexity of the a…
▽ More
We solve the problem of finding interspersed maximal repeats using a suffix array construction. As it is well known, all the functionality of suffix trees can be handled by suffix arrays, gaining practicality. Our solution improves the suffix tree based approaches for the repeat finding problem, being particularly well suited for very large inputs. We prove the corrrectness and complexity of the algorithms.
△ Less
Submitted 2 April, 2013;
originally announced April 2013.
