-
Stability properties of solutions to convection-reaction equations with nonlinear diffusion
Authors:
Alessandro Alla,
Alessandra De Luca,
Raffaele Folino,
Marta Strani
Abstract:
In this paper we study a convection-reaction-diffusion equation of the form \begin{equation*} u_t=\varepsilon(h(u)u_x)_x-f(u)_x+f'(u), \quad t>0, \end{equation*} with a nonlinear diffusion in a bounded interval of the real line. In particular, we first focus our attention on the existence of stationary solutions with at most one zero inside the interval, studying their behavior with respect to the…
▽ More
In this paper we study a convection-reaction-diffusion equation of the form \begin{equation*} u_t=\varepsilon(h(u)u_x)_x-f(u)_x+f'(u), \quad t>0, \end{equation*} with a nonlinear diffusion in a bounded interval of the real line. In particular, we first focus our attention on the existence of stationary solutions with at most one zero inside the interval, studying their behavior with respect to the viscosity coefficient $\varepsilon>0$ and their stability/instability properties. Then, we investigate the large time behavior of the solutions for finite times and the asymptotic regime. We also show numerically that, for a particular class of initial data, the so-called metastable behavior occurs, meaning that the time-dependent solution persists for an exponentially long (with respect to $\varepsilon$) time in a transition non-stable phase, before converging to a stable configuration.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
Digital Convexity and Combinatorics on Words
Authors:
Alessandro De Luca,
Gabriele Fici,
Andrea Frosini
Abstract:
An upward (resp. downward) digitally convex word is a binary word that best approximates from below (resp. from above) an upward (resp. downward) convex curve in the plane. We study these words from the combinatorial point of view, formalizing their geometric properties and highlighting connections with Christoffel words and finite Sturmian words. In particular, we study from the combinatorial per…
▽ More
An upward (resp. downward) digitally convex word is a binary word that best approximates from below (resp. from above) an upward (resp. downward) convex curve in the plane. We study these words from the combinatorial point of view, formalizing their geometric properties and highlighting connections with Christoffel words and finite Sturmian words. In particular, we study from the combinatorial perspective the operations of inflation and deflation on digitally convex words.
△ Less
Submitted 10 March, 2025; v1 submitted 27 February, 2025;
originally announced February 2025.
-
A note on geometric assumptions for unique continuation from the edge of a crack
Authors:
Alessandra De Luca
Abstract:
The present paper aims at representing an improvement of the result in [2], where a strong unique continuation property and a description of the local behaviour around the edge of a crack for solutions to an elliptic problem are established, by relaxing the star-shapedness condition on the complement of the crack. More specifically, this assumption will be dropped off by applying a suitable diffeo…
▽ More
The present paper aims at representing an improvement of the result in [2], where a strong unique continuation property and a description of the local behaviour around the edge of a crack for solutions to an elliptic problem are established, by relaxing the star-shapedness condition on the complement of the crack. More specifically, this assumption will be dropped off by applying a suitable diffeomorphism which straightens the boundary of the crack, before performing the approximation procedure developed in [2] in order to derive a suitable monotonicity formula. This will yield the appearence of a matrix in the equation, which shall be handled appropriately: for this we will take a hint from [4].
△ Less
Submitted 26 July, 2024;
originally announced July 2024.
-
Unique continuation from conical boundary points for fractional equations
Authors:
Alessandra De Luca,
Veronica Felli,
Stefano Vita
Abstract:
We provide fine asymptotics of solutions of fractional elliptic equations at boundary points where the domain is locally conical; that is, corner type singularities appear. Our method relies on a suitable smoothing of the corner singularity and an approximation scheme, which allow us to provide a Pohozaev type inequality. Then, the asymptotics of solutions at the conical point follow by an Almgren…
▽ More
We provide fine asymptotics of solutions of fractional elliptic equations at boundary points where the domain is locally conical; that is, corner type singularities appear. Our method relies on a suitable smoothing of the corner singularity and an approximation scheme, which allow us to provide a Pohozaev type inequality. Then, the asymptotics of solutions at the conical point follow by an Almgren type monotonicity formula, blow-up analysis and Fourier decomposition on eigenspaces of a spherical eigenvalue problem. A strong unique continuation principle follows as a corollary.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Layered patterns in reaction-diffusion models with Perona-Malik diffusions
Authors:
Alessandra De Luca,
Raffaele Folino,
Marta Strani
Abstract:
In this paper we deal with a reaction-diffusion equation in a bounded interval of the real line with a nonlinear diffusion of Perona-Malik's type and a balanced bistable reaction term. Under very general assumptions, we study the persistence of layered solutions, showing that it strongly depends on the behavior of the reaction term close to the stable equilibria $\pm1$, described by a parameter…
▽ More
In this paper we deal with a reaction-diffusion equation in a bounded interval of the real line with a nonlinear diffusion of Perona-Malik's type and a balanced bistable reaction term. Under very general assumptions, we study the persistence of layered solutions, showing that it strongly depends on the behavior of the reaction term close to the stable equilibria $\pm1$, described by a parameter $θ>1$. If $θ\in(1,2)$, we prove existence of steady states oscillating (and touching) $\pm1$, called $compactons$, while in the case $θ=2$ we prove the presence of $metastable$ $solutions$, namely solutions with a transition layer structure which is maintained for an exponentially long time. Finally, for $θ>2$, solutions with an unstable transition layer structure persist only for an algebraically long time.
△ Less
Submitted 9 November, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
Strong unique continuation from the boundary for the spectral fractional Laplacian
Authors:
Alessandra De Luca,
Veronica Felli,
Giovanni Siclari
Abstract:
We investigate unique continuation properties and asymptotic behaviour at boundary points for solutions to a class of elliptic equations involving the spectral fractional Laplacian. An extension procedure leads us to study a degenerate or singular equation on a cylinder, with a homogeneous Dirichlet boundary condition on the lateral surface and a non homogeneous Neumann condition on the basis. For…
▽ More
We investigate unique continuation properties and asymptotic behaviour at boundary points for solutions to a class of elliptic equations involving the spectral fractional Laplacian. An extension procedure leads us to study a degenerate or singular equation on a cylinder, with a homogeneous Dirichlet boundary condition on the lateral surface and a non homogeneous Neumann condition on the basis. For the extended problem, by an Almgren-type monotonicity formula and a blow-up analysis, we classify the local asymptotic profiles at the edge where the transition between boundary conditions occurs. Passing to traces, an analogous blow-up result and its consequent strong unique continuation property is deduced for the nonlocal fractional equation.
△ Less
Submitted 27 January, 2023;
originally announced January 2023.
-
Some Results on Digital Segments and Balanced Words
Authors:
Alessandro De Luca,
Gabriele Fici
Abstract:
We exhibit combinatorial results on Christoffel words and binary balanced words that are motivated by their geometric interpretation as approximations of digital segments. We give a closed formula for counting the exact number of balanced words with $a$ zeroes and $b$ ones. We also study minimal non-balanced words.
We exhibit combinatorial results on Christoffel words and binary balanced words that are motivated by their geometric interpretation as approximations of digital segments. We give a closed formula for counting the exact number of balanced words with $a$ zeroes and $b$ ones. We also study minimal non-balanced words.
△ Less
Submitted 13 November, 2024; v1 submitted 17 November, 2022;
originally announced November 2022.
-
On the Lie complexity of Sturmian words
Authors:
Alessandro De Luca,
Gabriele Fici
Abstract:
Bell and Shallit recently introduced the Lie complexity of an infinite word $s$ as the function counting for each length the number of conjugacy classes of words whose elements are all factors of $s$. They proved, using algebraic techniques, that the Lie complexity is bounded above by the first difference of the factor complexity plus one; hence, it is uniformly bounded for words with linear facto…
▽ More
Bell and Shallit recently introduced the Lie complexity of an infinite word $s$ as the function counting for each length the number of conjugacy classes of words whose elements are all factors of $s$. They proved, using algebraic techniques, that the Lie complexity is bounded above by the first difference of the factor complexity plus one; hence, it is uniformly bounded for words with linear factor complexity, and, in particular, it is at most 2 for Sturmian words, which are precisely the words with factor complexity $n+1$ for every $n$. In this note, we provide an elementary combinatorial proof of the result of Bell and Shallit and give an exact formula for the Lie complexity of any Sturmian word.
△ Less
Submitted 8 July, 2022; v1 submitted 2 June, 2022;
originally announced June 2022.
-
Nonlocal capillarity for anisotropic kernels
Authors:
Alessandra De Luca,
Serena Dipierro,
Enrico Valdinoci
Abstract:
We study a nonlocal capillarity problem with interaction kernels that are possibly anisotropic and not necessarily invariant under scaling.
In particular, the lack of scale invariance will be modeled via two different fractional exponents $s_1, s_2\in (0,1)$ which take into account the possibility that the container and the environment present different features with respect to particle interact…
▽ More
We study a nonlocal capillarity problem with interaction kernels that are possibly anisotropic and not necessarily invariant under scaling.
In particular, the lack of scale invariance will be modeled via two different fractional exponents $s_1, s_2\in (0,1)$ which take into account the possibility that the container and the environment present different features with respect to particle interactions.
We determine a nonlocal Young's law for the contact angle and discuss the unique solvability of the corresponding equation in terms of the interaction kernels and of the relative adhesion coefficient.
△ Less
Submitted 8 February, 2022;
originally announced February 2022.
-
On the extremal values of the cyclic continuants of Motzkin and Straus
Authors:
Alessandro De Luca,
Luca Q. Zamboni
Abstract:
In a 1983 paper, G. Ramharter asks what are the extremal arrangements for the cyclic analogues of the regular and semi-regular continuants first introduced by T.S. Motzkin and E.G. Straus in 1956. In this paper we answer this question by showing that for each set $A$ consisting of positive integers $1<a_1<a_2<\cdots <a_k$ and a $k$-term partition $P: n_1+n_2 + \cdots + n_k=n$, there exists a uniqu…
▽ More
In a 1983 paper, G. Ramharter asks what are the extremal arrangements for the cyclic analogues of the regular and semi-regular continuants first introduced by T.S. Motzkin and E.G. Straus in 1956. In this paper we answer this question by showing that for each set $A$ consisting of positive integers $1<a_1<a_2<\cdots <a_k$ and a $k$-term partition $P: n_1+n_2 + \cdots + n_k=n$, there exists a unique (up to reversal) cyclic word $x$ which maximizes (resp. minimizes) the regular cyclic continuant $K^{\circlearrowright}(\cdot)$ amongst all cyclic words over $A$ with Parikh vector $(n_1,n_2,\ldots,n_k)$. We also show that the same is true for the minimizing arrangement for the semi-regular cyclic continuant $\dot K^{\circlearrowright}(\cdot)$. As in the non-cyclic case, the main difficulty is to find the maximizing arrangement for the semi-regular continuant, which is not unique in general and may depend on the integers $a_1,\ldots,a_k$ and not just on their relative order. We show that if a cyclic word $x$ maximizes $\dot K^{\circlearrowright}(\cdot)$ amongst all permutations of $x$, then it verifies a strong combinatorial condition which we call the singular property. We develop an algorithm for constructing all singular cyclic words having a prescribed Parikh vector.
△ Less
Submitted 25 August, 2021;
originally announced August 2021.
-
Extremal values of semi-regular continuants and codings of interval exchange transformations
Authors:
Alessandro De Luca,
Marcia Edson,
Luca Q. Zamboni
Abstract:
Given a set $A$ of positive integers $a_1<\cdots<a_k$ and a partition $P: n_1+\cdots+n_k=n$, find the extremal denominators of the regular and semi-regular continued fraction $[0;x_1,\ldots,x_n]$ with partial quotients $x_i\in A$ and where each $a_i$ occurs exactly $n_i$ times in $x_1,\ldots,x_n$. In 1983, G. Ramharter gave an explicit description of the extremal arrangements of the regular contin…
▽ More
Given a set $A$ of positive integers $a_1<\cdots<a_k$ and a partition $P: n_1+\cdots+n_k=n$, find the extremal denominators of the regular and semi-regular continued fraction $[0;x_1,\ldots,x_n]$ with partial quotients $x_i\in A$ and where each $a_i$ occurs exactly $n_i$ times in $x_1,\ldots,x_n$. In 1983, G. Ramharter gave an explicit description of the extremal arrangements of the regular continued fraction and the minimizing arrangement for the semi-regular continued fraction and showed that in each case the arrangement is unique up to reversal and independent of the actual values of the integers $a_i$. However, an explicit determination of a maximizing arrangement for the semi-regular continuant turned out to be more difficult. Ramharter conjectured that as in the other three cases, the maximizing arrangement is unique up to reversal and depends only on the partition $P$ and not on the values of the $a_i$. He further verified the conjecture in the case of a binary $A$. In this paper we confirm Ramharter's conjecture for sets $A$ with $|A|=3$ and give an algorithmic construction for the unique maximizing arrangement. We also show that Ramharter's conjecture fails for sets with $|A|\geq 4$, as the maximizing arrangement is in general neither unique nor independent of the values of the digits in $A$. The central idea is that the extremal arrangements satisfy a strong combinatorial condition, which may also be stated in the context of infinite sequences on an ordered set. We show that for bi-infinite binary words, this condition coincides with the Markoff property, discovered by A.A. Markoff in 1879 in his study of minima of binary quadratic forms. We further show that this same combinatorial condition is the fundamental property which describes the orbit structure of the natural codings of points under a symmetric $k$-interval exchange transformation.
△ Less
Submitted 13 February, 2023; v1 submitted 2 May, 2021;
originally announced May 2021.
-
Strong unique continuation and local asymptotics at the boundary for fractional elliptic equations
Authors:
Alessandra De Luca,
Veronica Felli,
Stefano Vita
Abstract:
We study local asymptotics of solutions to fractional elliptic equations at boundary points, under some outer homogeneous Dirichlet boundary condition. Our analysis is based on a blow-up procedure which involves some Almgren type monotonicity formulae and provides a classification of all possible homogeneity degrees of limiting entire profiles. As a consequence, we establish a strong unique contin…
▽ More
We study local asymptotics of solutions to fractional elliptic equations at boundary points, under some outer homogeneous Dirichlet boundary condition. Our analysis is based on a blow-up procedure which involves some Almgren type monotonicity formulae and provides a classification of all possible homogeneity degrees of limiting entire profiles. As a consequence, we establish a strong unique continuation principle from boundary points.
△ Less
Submitted 14 January, 2022; v1 submitted 8 March, 2021;
originally announced March 2021.
-
Unique continuation from the edge of a crack
Authors:
Alessandra De Luca,
Veronica Felli
Abstract:
In this work we develop an Almgren type monotonicity formula for a class of elliptic equations in a domain with a crack, in the presence of potentials satisfying either a negligibility condition with respect to the inverse-square weight or some suitable integrability properties. The study of the Almgren frequency function around a point on the edge of the crack, where the domain is highly non-smoo…
▽ More
In this work we develop an Almgren type monotonicity formula for a class of elliptic equations in a domain with a crack, in the presence of potentials satisfying either a negligibility condition with respect to the inverse-square weight or some suitable integrability properties. The study of the Almgren frequency function around a point on the edge of the crack, where the domain is highly non-smooth, requires the use of an approximation argument, based on the construction of a sequence of regular sets which approximate the cracked domain. Once a finite limit of the Almgren frequency is shown to exist, a blow-up analysis for scaled solutions allows us to prove asymptotic expansions and strong unique continuation from the edge of the crack.
△ Less
Submitted 15 July, 2020; v1 submitted 23 April, 2020;
originally announced April 2020.
-
Characteristic Parameters and Special Trapezoidal Words
Authors:
Alma D'Aniello,
Alessandro De Luca
Abstract:
Following earlier work by Aldo de Luca and others, we study trapezoidal words and their prefixes, with respect to their characteristic parameters $K$ and $R$ (length of shortest unrepeated suffix, and shortest length without right special factors, respectively), as well as their symmetric versions $H$ and $L$. We consider the distinction between closed (i.e., periodic-like) and open prefixes, and…
▽ More
Following earlier work by Aldo de Luca and others, we study trapezoidal words and their prefixes, with respect to their characteristic parameters $K$ and $R$ (length of shortest unrepeated suffix, and shortest length without right special factors, respectively), as well as their symmetric versions $H$ and $L$. We consider the distinction between closed (i.e., periodic-like) and open prefixes, and between Sturmian and non-Sturmian ones. Our main results characterize right special and strictly bispecial trapezoidal words, as done by de Luca and Mignosi for Sturmian words.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
The sequence of open and closed prefixes of a Sturmian word
Authors:
Alessandro De Luca,
Gabriele Fici,
Luca Q. Zamboni
Abstract:
A finite word is closed if it contains a factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We are interested in the {\it oc-sequence} of a word, which is the binary sequence whose $n$-th element is $0$ if the prefix of length $n$ of the word is open, or $1$ if it is closed. We exhibit results showing that this sequence is deeply relat…
▽ More
A finite word is closed if it contains a factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We are interested in the {\it oc-sequence} of a word, which is the binary sequence whose $n$-th element is $0$ if the prefix of length $n$ of the word is open, or $1$ if it is closed. We exhibit results showing that this sequence is deeply related to the combinatorial and periodic structure of a word. In the case of Sturmian words, we show that these are uniquely determined (up to renaming letters) by their oc-sequence. Moreover, we prove that the class of finite Sturmian words is a maximal element with this property in the class of binary factorial languages. We then discuss several aspects of Sturmian words that can be expressed through this sequence. Finally, we provide a linear-time algorithm that computes the oc-sequence of a finite word, and a linear-time algorithm that reconstructs a finite Sturmian word from its oc-sequence.
△ Less
Submitted 1 June, 2017; v1 submitted 6 January, 2017;
originally announced January 2017.
-
On Christoffel and standard words and their derivatives
Authors:
Alma D'Aniello,
Aldo de Luca,
Alessandro De Luca
Abstract:
We introduce and study natural derivatives for Christoffel and finite standard words, as well as for characteristic Sturmian words. These derivatives, which are realized as inverse images under suitable morphisms, preserve the aforementioned classes of words. In the case of Christoffel words, the morphisms involved map $a$ to $a^{k+1}b$ (resp.,~$ab^{k}$) and $b$ to $a^{k}b$ (resp.,~$ab^{k+1}$) for…
▽ More
We introduce and study natural derivatives for Christoffel and finite standard words, as well as for characteristic Sturmian words. These derivatives, which are realized as inverse images under suitable morphisms, preserve the aforementioned classes of words. In the case of Christoffel words, the morphisms involved map $a$ to $a^{k+1}b$ (resp.,~$ab^{k}$) and $b$ to $a^{k}b$ (resp.,~$ab^{k+1}$) for a suitable $k>0$. As long as derivatives are longer than one letter, higher-order derivatives are naturally obtained. We define the depth of a Christoffel or standard word as the smallest order for which the derivative is a single letter. We give several combinatorial and arithmetic descriptions of the depth, and (tight) lower and upper bounds for it.
△ Less
Submitted 9 February, 2016;
originally announced February 2016.
-
On prefixal factorizations of words
Authors:
Aldo de Luca,
Luca Q. Zamboni
Abstract:
We consider the class ${\cal P}_1$ of all infinite words $x\in A^ω$ over a finite alphabet $A$ admitting a prefixal factorization, i.e., a factorization $x= U_0 U_1U_2 \cdots $ where each $U_i$ is a non-empty prefix of $x.$ With each $x\in {\cal P}_1$ one naturally associates a "derived" infinite word $δ(x)$ which may or may not admit a prefixal factorization. We are interested in the class…
▽ More
We consider the class ${\cal P}_1$ of all infinite words $x\in A^ω$ over a finite alphabet $A$ admitting a prefixal factorization, i.e., a factorization $x= U_0 U_1U_2 \cdots $ where each $U_i$ is a non-empty prefix of $x.$ With each $x\in {\cal P}_1$ one naturally associates a "derived" infinite word $δ(x)$ which may or may not admit a prefixal factorization. We are interested in the class ${\cal P}_{\infty}$ of all words $x$ of ${\cal P}_1$ such that $δ^n(x) \in {\cal P}_1$ for all $n\geq 1$. Our primary motivation for studying the class ${\cal P}_{\infty}$ stems from its connection to a coloring problem on infinite words independently posed by T. Brown in \cite{BTC} and by the second author in \cite{LQZ}. More precisely, let ${\bf P}$ be the class of all words $x\in A^ω$ such that for every finite coloring $\varphi : A^+ \rightarrow C$ there exist $c\in C$ and a factorization $x= V_0V_1V_2\cdots $ with $\varphi(V_i)=c$ for each $i\geq 0.$ In \cite{DPZ} we conjectured that a word $x\in {\bf P}$ if and only if $x$ is purely periodic. In this paper we show that ${\bf P}\subseteq {\cal P}_{\infty},$ so in other words, potential candidates to a counter-example to our conjecture are amongst the non-periodic elements of ${\cal P}_{\infty}.$ We establish several results on the class ${\cal P}_{\infty}$. In particular, we show that a Sturmian word $x$ belongs to ${\cal P}_{\infty}$ if and only if $x$ is nonsingular, i.e., no proper suffix of $x$ is a standard Sturmian word.
△ Less
Submitted 9 May, 2015;
originally announced May 2015.
-
On some variations of coloring problems of infinite words
Authors:
Aldo de Luca,
Luca Q. Zamboni
Abstract:
Given a finite coloring (or finite partition) of the free semigroup $A^+$ over a set $A$, we consider various types of monochromatic factorizations of right sided infinite words $x\in A^ω$. Some stronger versions of the usual notion of monochromatic factorization are introduced. A factorization is called sequentially monochromatic when concatenations of consecutive blocks are monochromatic. A sequ…
▽ More
Given a finite coloring (or finite partition) of the free semigroup $A^+$ over a set $A$, we consider various types of monochromatic factorizations of right sided infinite words $x\in A^ω$. Some stronger versions of the usual notion of monochromatic factorization are introduced. A factorization is called sequentially monochromatic when concatenations of consecutive blocks are monochromatic. A sequentially monochromatic factorization is called ultra monochromatic if any concatenation of arbitrary permuted blocks of the factorization has the same color of the single blocks.
We establish links, and in some cases equivalences, between the existence of these factorizations and fundamental results in Ramsey theory including the infinite Ramsey theorem, Hindman's finite sums theorem, partition regularity of IP sets and the Milliken-Taylor theorem. We prove that for each finite set $A$ and each finite coloring $\varphi: A^+\rightarrow C,$ for almost all words $x\in A^ω,$ there exists $y$ in the subshift generated by $x$ admitting a $\varphi$-ultra monochromatic factorization, where "almost all" refers to the Bernoulli measure on $A^ω.$
△ Less
Submitted 10 August, 2015; v1 submitted 26 April, 2015;
originally announced April 2015.
-
Sturmian words and the Stern sequence
Authors:
Aldo de Luca,
Alessandro De Luca
Abstract:
Central, standard, and Christoffel words are three strongly interrelated classes of binary finite words which represent a finite counterpart of characteristic Sturmian words. A natural arithmetization of the theory is obtained by representing central and Christoffel words by irreducible fractions labeling respectively two binary trees, the Raney (or Calkin-Wilf) tree and the Stern-Brocot tree. The…
▽ More
Central, standard, and Christoffel words are three strongly interrelated classes of binary finite words which represent a finite counterpart of characteristic Sturmian words. A natural arithmetization of the theory is obtained by representing central and Christoffel words by irreducible fractions labeling respectively two binary trees, the Raney (or Calkin-Wilf) tree and the Stern-Brocot tree. The sequence of denominators of the fractions in Raney's tree is the famous Stern diatomic numerical sequence. An interpretation of the terms $s(n)$ of Stern's sequence as lengths of Christoffel words when $n$ is odd, and as minimal periods of central words when $n$ is even, allows one to interpret several results on Christoffel and central words in terms of Stern's sequence and, conversely, to obtain a new insight in the combinatorics of Christoffel and central words by using properties of Stern's sequence. One of our main results is a non-commutative version of the "alternating bit sets theorem" by Calkin and Wilf. We also study the length distribution of Christoffel words corresponding to nodes of equal height in the tree, obtaining some interesting bounds and inequalities.
△ Less
Submitted 15 October, 2014;
originally announced October 2014.
-
Aperiodic pseudorandom number generators based on infinite words
Authors:
Lubomira Balkova,
Michelangelo Bucci,
Alessandro De Luca,
Jiri Hladky,
Svetlana Puzynina
Abstract:
In this paper we study how certain families of aperiodic infinite words can be used to produce aperiodic pseudorandom number generators (PRNGs) with good statistical behavior. We introduce the \emph{well distributed occurrences} (WELLDOC) combinatorial property for infinite words, which guarantees absence of the lattice structure defect in related pseudorandom number generators. An infinite word…
▽ More
In this paper we study how certain families of aperiodic infinite words can be used to produce aperiodic pseudorandom number generators (PRNGs) with good statistical behavior. We introduce the \emph{well distributed occurrences} (WELLDOC) combinatorial property for infinite words, which guarantees absence of the lattice structure defect in related pseudorandom number generators. An infinite word $u$ on a $d$-ary alphabet has the WELLDOC property if, for each factor $w$ of $u$, positive integer $m$, and vector $\mathbf v\in\mathbb Z_{m}^{d}$, there is an occurrence of $w$ such that the Parikh vector of the prefix of $u$ preceding such occurrence is congruent to $\mathbf v$ modulo $m$. (The Parikh vector of a finite word $v$ over an alphabet $\mathcal A$ has its $i$-th component equal to the number of occurrences of the $i$-th letter of $\mathcal A$ in $v$.) We prove that Sturmian words, and more generally Arnoux-Rauzy words and some morphic images of them, have the WELLDOC property. Using the TestU01 and PractRand statistical tests, we moreover show that not only the lattice structure is absent, but also other important properties of PRNGs are improved when linear congruential generators are combined using infinite words having the WELLDOC property.
△ Less
Submitted 1 December, 2014; v1 submitted 23 November, 2013;
originally announced November 2013.
-
A Coloring Problem for Infinite Words
Authors:
Aldo de Luca,
Elena V. Pribavkina,
Luca Q. Zamboni
Abstract:
In this paper we consider the following question in the spirit of Ramsey theory: Given $x\in A^ω,$ where $A$ is a finite non-empty set, does there exist a finite coloring of the non-empty factors of $x$ with the property that no factorization of $x$ is monochromatic? We prove that this question has a positive answer using two colors for almost all words relative to the standard Bernoulli measure o…
▽ More
In this paper we consider the following question in the spirit of Ramsey theory: Given $x\in A^ω,$ where $A$ is a finite non-empty set, does there exist a finite coloring of the non-empty factors of $x$ with the property that no factorization of $x$ is monochromatic? We prove that this question has a positive answer using two colors for almost all words relative to the standard Bernoulli measure on $A^ω.$ We also show that it has a positive answer for various classes of uniformly recurrent words, including all aperiodic balanced words, and all words $x\in A^ω$ satisfying $λ_x(n+1)-λ_x(n)=1$ for all $n$ sufficiently large, where $ λ_x(n)$ denotes the number of distinct factors of $x$ of length $n.$
△ Less
Submitted 25 March, 2014; v1 submitted 10 July, 2013;
originally announced July 2013.
-
Open and Closed Prefixes of Sturmian Words
Authors:
Alessandro De Luca,
Gabriele Fici
Abstract:
A word is closed if it contains a proper factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We deal with the sequence of open and closed prefixes of Sturmian words and prove that this sequence characterizes every finite or infinite Sturmian word up to isomorphisms of the alphabet. We then characterize the combinatorial structure of the…
▽ More
A word is closed if it contains a proper factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We deal with the sequence of open and closed prefixes of Sturmian words and prove that this sequence characterizes every finite or infinite Sturmian word up to isomorphisms of the alphabet. We then characterize the combinatorial structure of the sequence of open and closed prefixes of standard Sturmian words. We prove that every standard Sturmian word, after swapping its first letter, can be written as an infinite product of squares of reversed standard words.
△ Less
Submitted 10 June, 2013;
originally announced June 2013.
-
A Coloring Problem for Sturmian and Episturmian Words
Authors:
Aldo de Luca,
Elena V. Pribavkina,
Luca Q. Zamboni
Abstract:
We consider the following open question in the spirit of Ramsey theory: Given an aperiodic infinite word $w$, does there exist a finite coloring of its factors such that no factorization of $w$ is monochromatic? We show that such a coloring always exists whenever $w$ is a Sturmian word or a standard episturmian word.
We consider the following open question in the spirit of Ramsey theory: Given an aperiodic infinite word $w$, does there exist a finite coloring of its factors such that no factorization of $w$ is monochromatic? We show that such a coloring always exists whenever $w$ is a Sturmian word or a standard episturmian word.
△ Less
Submitted 22 January, 2013;
originally announced January 2013.
-
Reversible Christoffel factorizations
Authors:
Michelangelo Bucci,
Alessandro De Luca,
Luca Q. Zamboni
Abstract:
We define a family of natural decompositions of Sturmian words in Christoffel words, called *reversible Christoffel* (RC) factorizations. They arise from the observation that two Sturmian words with the same language have (almost always) arbitrarily long Abelian equivalent prefixes. Using the three gap theorem, we prove that in each RC factorization, only 2 or 3 distinct Christoffel words may occu…
▽ More
We define a family of natural decompositions of Sturmian words in Christoffel words, called *reversible Christoffel* (RC) factorizations. They arise from the observation that two Sturmian words with the same language have (almost always) arbitrarily long Abelian equivalent prefixes. Using the three gap theorem, we prove that in each RC factorization, only 2 or 3 distinct Christoffel words may occur. We begin the study of such factorizations, considered as infinite words over 2 or 3 letters, and show that in the general case they are either Sturmian words, or obtained by a three-interval exchange transformation.
△ Less
Submitted 11 July, 2013; v1 submitted 13 November, 2012;
originally announced November 2012.
-
Some extremal properties of the Fibonacci word
Authors:
Aldo de Luca
Abstract:
We prove that the Fibonacci word $f$ satisfies among all characteristic Sturmian words, three interesting extremal properties. The first concerns the length and the second the minimal period of its palindromic prefixes. Each of these two properties characterizes $f$ up to a renaming of its letters. A third property concerns the number of occurrences of the letter $b$ in its palindromic prefixes. I…
▽ More
We prove that the Fibonacci word $f$ satisfies among all characteristic Sturmian words, three interesting extremal properties. The first concerns the length and the second the minimal period of its palindromic prefixes. Each of these two properties characterizes $f$ up to a renaming of its letters. A third property concerns the number of occurrences of the letter $b$ in its palindromic prefixes. It characterizes uniquely $f$ among all characteristic Sturmian words having the prefix $abaa$.
△ Less
Submitted 18 September, 2012;
originally announced September 2012.
-
Some characterizations of Sturmian words in terms of the lexicographic order
Authors:
Michelangelo Bucci,
Alessandro De Luca,
Luca Q. Zamboni
Abstract:
In this paper we present three new characterizations of Sturmian words based on the lexicographic ordering of their factors.
In this paper we present three new characterizations of Sturmian words based on the lexicographic ordering of their factors.
△ Less
Submitted 27 May, 2012;
originally announced May 2012.
-
Enumeration and Structure of Trapezoidal Words
Authors:
Michelangelo Bucci,
Alessandro De Luca,
Gabriele Fici
Abstract:
Trapezoidal words are words having at most $n+1$ distinct factors of length $n$ for every $n\ge 0$. They therefore encompass finite Sturmian words. We give combinatorial characterizations of trapezoidal words and exhibit a formula for their enumeration. We then separate trapezoidal words into two disjoint classes: open and closed. A trapezoidal word is closed if it has a factor that occurs only as…
▽ More
Trapezoidal words are words having at most $n+1$ distinct factors of length $n$ for every $n\ge 0$. They therefore encompass finite Sturmian words. We give combinatorial characterizations of trapezoidal words and exhibit a formula for their enumeration. We then separate trapezoidal words into two disjoint classes: open and closed. A trapezoidal word is closed if it has a factor that occurs only as a prefix and as a suffix; otherwise it is open. We investigate open and closed trapezoidal words, in relation with their special factors. We prove that Sturmian palindromes are closed trapezoidal words and that a closed trapezoidal word is a Sturmian palindrome if and only if its longest repeated prefix is a palindrome. We also define a new class of words, \emph{semicentral words}, and show that they are characterized by the property that they can be written as $uxyu$, for a central word $u$ and two different letters $x,y$. Finally, we investigate the prefixes of the Fibonacci word with respect to the property of being open or closed trapezoidal words, and show that the sequence of open and closed prefixes of the Fibonacci word follows the Fibonacci sequence.
△ Less
Submitted 29 October, 2012; v1 submitted 6 March, 2012;
originally announced March 2012.
-
A generalized palindromization map in free monoids
Authors:
Aldo de Luca,
Alessandro De Luca
Abstract:
The palindromization map $ψ$ in a free monoid $A^*$ was introduced in 1997 by the first author in the case of a binary alphabet $A$, and later extended by other authors to arbitrary alphabets. Acting on infinite words, $ψ$ generates the class of standard episturmian words, including standard Arnoux-Rauzy words. In this paper we generalize the palindromization map, starting with a given code $X$ ov…
▽ More
The palindromization map $ψ$ in a free monoid $A^*$ was introduced in 1997 by the first author in the case of a binary alphabet $A$, and later extended by other authors to arbitrary alphabets. Acting on infinite words, $ψ$ generates the class of standard episturmian words, including standard Arnoux-Rauzy words. In this paper we generalize the palindromization map, starting with a given code $X$ over $A$. The new map $ψ_X$ maps $X^*$ to the set $PAL$ of palindromes of $A^*$. In this way some properties of $ψ$ are lost and some are saved in a weak form. When $X$ has a finite deciphering delay one can extend $ψ_X$ to $X^ω$, generating a class of infinite words much wider than standard episturmian words. For a finite and maximal code $X$ over $A$, we give a suitable generalization of standard Arnoux-Rauzy words, called $X$-AR words. We prove that any $X$-AR word is a morphic image of a standard Arnoux-Rauzy word and we determine some suitable linear lower and upper bounds to its factor complexity.
For any code $X$ we say that $ψ_X$ is conservative when $ψ_X(X^{*})\subseteq X^{*}$. We study conservative maps $ψ_X$ and conditions on $X$ assuring that $ψ_X$ is conservative. We also investigate the special case of morphic-conservative maps $ψ_{X}$, i.e., maps such that $φ\circ ψ= ψ_X\circ φ$ for an injective morphism $φ$. Finally, we generalize $ψ_X$ by replacing palindromic closure with $θ$-palindromic closure, where $θ$ is any involutory antimorphism of $A^*$. This yields an extension of the class of $θ$-standard words introduced by the authors in 2006.
△ Less
Submitted 31 January, 2012; v1 submitted 8 November, 2011;
originally announced November 2011.
-
A new characteristic property of rich words
Authors:
Michelangelo Bucci,
Alessandro De Luca,
Amy Glen,
Luca Q. Zamboni
Abstract:
Originally introduced and studied by the third and fourth authors together with J. Justin and S. Widmer in arXiv:0801.1656, rich words constitute a new class of finite and infinite words characterized by containing the maximal number of distinct palindromes. Several characterizations of rich words have already been established. A particularly nice characteristic property is that all 'complete re…
▽ More
Originally introduced and studied by the third and fourth authors together with J. Justin and S. Widmer in arXiv:0801.1656, rich words constitute a new class of finite and infinite words characterized by containing the maximal number of distinct palindromes. Several characterizations of rich words have already been established. A particularly nice characteristic property is that all 'complete returns' to palindromes are palindromes. In this note, we prove that rich words are also characterized by the property that each factor is uniquely determined by its longest palindromic prefix and its longest palindromic suffix.
△ Less
Submitted 15 July, 2008;
originally announced July 2008.
-
Rich, Sturmian, and trapezoidal words
Authors:
Aldo de Luca,
Amy Glen,
Luca Q. Zamboni
Abstract:
In this paper we explore various interconnections between rich words, Sturmian words, and trapezoidal words. Rich words, first introduced in arXiv:0801.1656 by the second and third authors together with J. Justin and S. Widmer, constitute a new class of finite and infinite words characterized by having the maximal number of palindromic factors. Every finite Sturmian word is rich, but not convers…
▽ More
In this paper we explore various interconnections between rich words, Sturmian words, and trapezoidal words. Rich words, first introduced in arXiv:0801.1656 by the second and third authors together with J. Justin and S. Widmer, constitute a new class of finite and infinite words characterized by having the maximal number of palindromic factors. Every finite Sturmian word is rich, but not conversely. Trapezoidal words were first introduced by the first author in studying the behavior of the subword complexity of finite Sturmian words. Unfortunately this property does not characterize finite Sturmian words. In this note we show that the only trapezoidal palindromes are Sturmian. More generally we show that Sturmian palindromes can be characterized either in terms of their subword complexity (the trapezoidal property) or in terms of their palindromic complexity. We also obtain a similar characterization of rich palindromes in terms of a relation between palindromic complexity and subword complexity.
△ Less
Submitted 26 February, 2008;
originally announced February 2008.
-
A connection between palindromic and factor complexity using return words
Authors:
Michelangelo Bucci,
Alessandro De Luca,
Amy Glen,
Luca Q. Zamboni
Abstract:
In this paper we prove that for any infinite word W whose set of factors is closed under reversal, the following conditions are equivalent:
(I) all complete returns to palindromes are palindromes;
(II) P(n) + P(n+1) = C(n+1) - C(n) + 2 for all n, where P (resp. C) denotes the palindromic complexity (resp. factor complexity) function of W, which counts the number of distinct palindromic facto…
▽ More
In this paper we prove that for any infinite word W whose set of factors is closed under reversal, the following conditions are equivalent:
(I) all complete returns to palindromes are palindromes;
(II) P(n) + P(n+1) = C(n+1) - C(n) + 2 for all n, where P (resp. C) denotes the palindromic complexity (resp. factor complexity) function of W, which counts the number of distinct palindromic factors (resp. factors) of each length in W.
△ Less
Submitted 11 April, 2008; v1 submitted 10 February, 2008;
originally announced February 2008.
