Sequence Doubling: A Cross-Disciplinary Schema
- Sequence doubling is a concept describing the process of scaling an object from size or period n to 2n while preserving key structural properties.
- It underpins diverse fields—additive combinatorics, symbolic dynamics, algebraic design, and nonlinear dynamics—by controlling growth, recurrence, and symmetry through dyadic operations.
- Practical applications include modeling group product-set growth, characterizing period-doubling sequences and return words, and analyzing bifurcation phenomena in fiber lasers.
Searching arXiv for the supplied papers and closely related uses of “sequence doubling” to ground the article in current arXiv literature. {"8query8 OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8", "8max_results8 8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8} {"8query8 doubling implies small tripling at large scales\" OR 8all:\8 Words and the Reflexivity of the Return Word Sequences in the Period-doubling Sequence\" OR 8all:\8 Generalization of the Doubling Construction for Sums of Squares Identities\" OR 8all:\8 pulsations of dissipative solitons in ultrafast fiber lasers: period doubling and beyond\"", "8max_results8 8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8} Sequence doubling denotes a family of mathematically distinct but structurally related doubling phenomena in which an object at scale PRESERVED_PLACEHOLDER_8query8^ is compared with, generated from, or destabilized into an object at scale PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^ or period PRESERVED_PLACEHOLDER_8max_results8. In additive-combinatorial usage, it refers to inequalities such as PRESERVED_PLACEHOLDER_8query8^ for product-set sequences in groups; in symbolic dynamics and combinatorics on words, it is tied to the period-doubling substitution and the induced hierarchy of factors, return words, gaps, palindromes, and recurrence structures; in algebraic design theory, it names constructive procedures that pass from order PRESERVED_PLACEHOLDER_8all:\8^ to order PRESERVED_PLACEHOLDER_8 OR all:\8^ or from PRESERVED_PLACEHOLDER_8 OR all:\8^ to PRESERVED_PLACEHOLDER_8 OR all:\8; and in nonlinear dynamics it is the canonical bifurcation in which a periodic orbit loses stability and a new orbit of twice the period emerges (&&&8query8&&&, &&&8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8&&&, &&&8max_results8&&&, &&&8query8&&&).
8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8. Terminological scope and recurrent mathematical pattern
Across these literatures, “doubling” does not identify a single invariant. It identifies a recurrent operation: scaling a word length by $2$, replacing a period-$1$ orbit by a period-PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8^ orbit, comparing PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^ with PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results8, or doubling matrix order and ambient dimension. The shared structure is therefore relational rather than ontological: the central datum is how an object at one scale constrains or generates the corresponding object at twice that scale.
This suggests that sequence doubling is best understood as a cross-disciplinary schema: dyadic scaling is the common formal motif, while the technical content depends entirely on the ambient category.
8max_results8. Large-scale small doubling in groups, locally compact groups, and vertex-transitive graphs
In the group-theoretic setting, sequence doubling concerns the growth of product sets along the sequence PRESERVED_PLACEHOLDER_8max_results8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8. For a finite symmetric subset PRESERVED_PLACEHOLDER_8max_results8max_results8^ of a group containing the identity, the PRESERVED_PLACEHOLDER_8max_results8query8-fold product set is
PRESERVED_PLACEHOLDER_8max_results8all:\8^
The small-doubling hypothesis at scale PRESERVED_PLACEHOLDER_8max_results8 OR all:\8^ is
PRESERVED_PLACEHOLDER_8max_results8 OR all:\8^
and in the locally compact setting the measure-theoretic analogue is
PRESERVED_PLACEHOLDER_8max_results8 OR all:\8^
where PRESERVED_PLACEHOLDER_8max_results88^ is a left Haar measure (&&&8query8&&&).
The principal result is that sufficiently large-scale small doubling forces small tripling at the same scale. In the discrete case, if PRESERVED_PLACEHOLDER_8max_results89 is finite, symmetric, contains the identity, and PRESERVED_PLACEHOLDER_8query8query8^ for some integer PRESERVED_PLACEHOLDER_8query8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8, then PRESERVED_PLACEHOLDER_8query8max_results8, and PRESERVED_PLACEHOLDER_8query8query8^ is an approximate group with explicit parameters. In the locally compact case, if PRESERVED_PLACEHOLDER_8query8all:\8^ is a precompact symmetric open set containing the identity and PRESERVED_PLACEHOLDER_8query8 OR all:\8^ for some integer PRESERVED_PLACEHOLDER_8query8 OR all:\8, then PRESERVED_PLACEHOLDER_8query8 OR all:\8^ is bounded by an explicit function of PRESERVED_PLACEHOLDER_8query88^ times PRESERVED_PLACEHOLDER_8query89, and PRESERVED_PLACEHOLDER_8all:\8query8^ is again an approximate group (&&&8query8&&&).
The conceptual novelty is that the hypothesis is genuine small doubling rather than the stronger assumption PRESERVED_PLACEHOLDER_8all:\8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^ used in earlier work. The large-scale conditions PRESERVED_PLACEHOLDER_8all:\8max_results8^ and PRESERVED_PLACEHOLDER_8all:\8query8^ are pivotal because they allow a small covering set to be replaced by representatives inside a ball of radius at most PRESERVED_PLACEHOLDER_8all:\8all:\8, after which iterated multiplication propagates control from PRESERVED_PLACEHOLDER_8all:\8 OR all:\8^ to PRESERVED_PLACEHOLDER_8all:\8 OR all:\8^ (&&&8query8&&&).
The proof mechanism has three layers. First, one models a small-doubling set by an approximate group: in the discrete setting, if PRESERVED_PLACEHOLDER_8all:\8 OR all:\8, there exists a PRESERVED_PLACEHOLDER_8all:\88-approximate group PRESERVED_PLACEHOLDER_8all:\89 and a set PRESERVED_PLACEHOLDER_8 OR all:\8query8^ with PRESERVED_PLACEHOLDER_8 OR all:\8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^ such that PRESERVED_PLACEHOLDER_8 OR all:\8max_results8; in the locally compact setting, Tao’s quantitative construction yields a PRESERVED_PLACEHOLDER_8 OR all:\8query8-approximate group PRESERVED_PLACEHOLDER_8 OR all:\8all:\8^ with PRESERVED_PLACEHOLDER_8 OR all:\8 OR all:\8^ and PRESERVED_PLACEHOLDER_8 OR all:\8 OR all:\8^ such that PRESERVED_PLACEHOLDER_8 OR all:\8 OR all:\8. Second, a disjointness lemma promotes an initial cover PRESERVED_PLACEHOLDER_8 OR all:\88^ to strongly disjoint translates PRESERVED_PLACEHOLDER_8 OR all:\89, introducing the factor PRESERVED_PLACEHOLDER_8 OR all:\8query8. Third, a representatives-in-a-small-ball argument replaces PRESERVED_PLACEHOLDER_8 OR all:\8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^ by PRESERVED_PLACEHOLDER_8 OR all:\8max_results8^ with PRESERVED_PLACEHOLDER_8 OR all:\8query8, and a propagation lemma then yields PRESERVED_PLACEHOLDER_8 OR all:\8all:\8^ for all PRESERVED_PLACEHOLDER_8 OR all:\8 OR all:\8^ (&&&8query8&&&).
The same framework extends to vertex-transitive graphs. If PRESERVED_PLACEHOLDER_8 OR all:\8 OR all:\8^ is locally finite and vertex-transitive, with PRESERVED_PLACEHOLDER_8 OR all:\8 OR all:\8^ denoting the ball-growth function, then after identifying PRESERVED_PLACEHOLDER_8 OR all:\88^ with PRESERVED_PLACEHOLDER_8 OR all:\89 in the automorphism group, the condition PRESERVED_PLACEHOLDER_8 OR all:\8query8^ for some integer PRESERVED_PLACEHOLDER_8 OR all:\8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^ implies a corresponding bound on PRESERVED_PLACEHOLDER_8 OR all:\8max_results8. This weakens hypotheses in finitary structure results for groups and vertex-transitive graphs of polynomial growth (&&&8query8&&&).
The bounds are double exponential in PRESERVED_PLACEHOLDER_8 OR all:\8query8, arising from polynomial approximate-group parameters together with the factor PRESERVED_PLACEHOLDER_8 OR all:\8all:\8. The paper explicitly raises whether one can weaken the hypothesis further to PRESERVED_PLACEHOLDER_8 OR all:\8 OR all:\8^ or even PRESERVED_PLACEHOLDER_8 OR all:\8 OR all:\8^ while still forcing small tripling at large scales (&&&8query8&&&).
8query8. Period-doubling substitutions, envelope words, return words, and gap sequences
In symbolic dynamics, sequence doubling is classically realized by the period-doubling substitution. Over PRESERVED_PLACEHOLDER_8 OR all:\8 OR all:\8^ one uses
PRESERVED_PLACEHOLDER_8 OR all:\88^
and the fixed point
PRESERVED_PLACEHOLDER_8 OR all:\89
while over $2$8query8^ one often writes the equivalent binary substitution
$2$8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^
Both notational systems describe the same period-doubling word up to alphabet convention (&&&8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8&&&, &&&8 OR all:\8&&&).
A central structure theorem is formulated in terms of envelope words. For the sequence $2$8max_results8^ generated by $2$8query8, $2$8all:\8, the families
$2$8 OR all:\8^
serve as canonical palindromic containers. Every factor $2$8 OR all:\8^ has an envelope $2$8 OR all:\8, and two uniqueness principles hold: each factor occurs exactly once in its envelope, and every occurrence of the factor in $2$8 extends to an occurrence of its envelope with the same offset. This yields the formula
$2$9
so the return-word sequence of $1$8query8^ is controlled by that of its envelope (&&&8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8&&&).
The classification theorem states that for every factor $1$8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^ of $1$8max_results8, the return-word sequence $1$8query8^ is either $1$8all:\8^ or $1$8 OR all:\8. Here
$1$8 OR all:\8^
and $1$8 OR all:\8, $1$8. If $1$9, then the return-word sequence is PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8query8^ over the alphabet PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8; if PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8max_results8, then it is PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8query8^ over the alphabet PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8all:\8. The same paper proves a reflexivity property: for any factor of PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8 OR all:\8^ or PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8 OR all:\8, the corresponding return-word sequence is again PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8 OR all:\8^ or PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query88^ (&&&8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8&&&).
An earlier envelope-word framework for the doubling sequence PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query89 organizes the analogous gap problem. With
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8^
every factor is assigned an envelope word, and all gap sequences fall into exactly two types: factors with PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^ have exactly two distinct gaps, while those with PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results8^ have exactly three distinct gaps. The corresponding gap sequences are the morphic sequences PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8^ and PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\8, where PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8 OR all:\8^ and PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8 OR all:\8^ (&&&8 OR all:\8&&&).
These two envelope theories use different but closely related conventions. Their shared conclusion is that local factor behavior in the period-doubling word is not arbitrary: return words and gaps are controlled by a small universal repertoire of morphic types. This suggests that envelope words function as a canonical renormalization device for the factor structure of the period-doubling sequence.
8all:\8. Structural analyses of period-doubling words
Several other lines of work analyze the same substitutional object through different invariants. One concerns palindromic length. Let PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8 OR all:\8^ be the ruler sequence and let PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling88^ be the period-doubling sequence. If PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling89 denotes the number of runs in the binary expansion of PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results8query8, then
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^
and for the period-doubling sequence,
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results8max_results8^
Hence the palindromic length sequence of the period-doubling word is unbounded, with a lower bound on the limsup growth of at least PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results8query8^ on the logarithmic scale (&&&8all:\8&&&).
Another line studies the analogue of overlap-freeness. A binary word is called good if it avoids the factors PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results8all:\8^ and PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results8 OR all:\8^ and does not encounter the patterns PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results8 OR all:\8^ and PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results8 OR all:\8. The period-doubling morphism
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results88^
preserves goodness, every finite good word has the form PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8max_results89 with PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8query8^ and PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8, and a Fife-type theorem characterizes infinite good words by directive sequences over a small operator set constrained by a regular PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8max_results8-language. The same work determines the lexicographically least and greatest infinite good words and classifies the binary patterns encountered by the period-doubling word (&&&8 OR all:\8&&&).
Symbolic recurrence quantification yields a different dyadic picture. For the symbolic recurrence plot of the period-doubling sequence, diagonal lines occur only with lengths
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8query8^
with explicit starting-point sets and densities. The asymptotic recurrence quantifiers are completely determined; in particular, the entropy of diagonal lengths is
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8all:\8^
The recurrence-rate and determinism formulas depend on the dyadic position of PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8 OR all:\8, and vertical-line quantifiers are essentially trivial in this system (&&&8 OR all:\8&&&).
The arithmetic and linear-algebraic structure is visible in Hankel matrices. If PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8 OR all:\8^ is the period-doubling sequence and PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query8 OR all:\8^ its order-PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query88^ Hankel matrix, then for PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8query89 the Hankel determinant at dyadic order satisfies
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\8query8^
where the Jacobsthal numbers are given by
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8^
The corresponding Hankel matrices are diagonalized by Hadamard matrices, and the eigenvalues are explicit Jacobsthal numbers with dyadically determined multiplicities (Fokkink et al., 2015).
A recent generalization replaces the binary alphabet by PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\8max_results8^ and studies the PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\8query8-period-doubling substitution
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\8all:\8^
The resulting word PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\8 OR all:\8^ admits a factorization via kernel words PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\8 OR all:\8^ and gap sequences PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\8 OR all:\8. In the binary case,
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\88^
while for PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8all:\89 the finite prefixes PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8 OR all:\8query8^ decompose as alternating products of kernel words and gaps. This extends the envelope-and-gap philosophy from the binary period-doubling word to generalized alphabets (&&&8max_results89&&&).
Taken together, these results show that period-doubling words support unusually rigid multiscale descriptions: palindromic, automata-theoretic, recurrence-theoretic, and linear-algebraic invariants all resolve into dyadic families indexed by powers of PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8 OR all:\8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8.
8 OR all:\8. Doubling constructions in algebraic design theory
In algebraic combinatorics and composition theory, sequence doubling often denotes an explicit constructive lift from size PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8 OR all:\8max_results8^ to size PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8 OR all:\8query8. For sums-of-squares identities, an admissible triple PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Bright, 2018) sequence doubling8 OR all:\8all:\8^ encodes an identity
PRESERVED_PLACEHOLDER_8(Tessera et al., 2023) OR (Huang et al., 2017) OR (Zhang et al., 2017) OR (Wang et al., 2022) OR (Li, 2020) OR (Currie, 2023) OR (Špitalský, 2018) OR (Huang et al., 2014) OR (Fokkink et al., 2015) OR (Tessera et al., 20230) sequence doubling8 OR all:\8 OR all:\8^
with bilinear forms PRESERVED_PLACEHOLDER_8(Tessera et al., 20231) OR (Tessera et al., 20232) OR (Tessera et al., 20233) OR (Tessera et al., 20234) OR (Tessera et al., 20235) OR (Tessera et al., 20236) OR (Tessera et al., 20237) OR (Tessera et al., 20238) OR (Tessera et al., 20239) OR (Huang et al., 20170) sequence doubling8 OR all:\8 OR all:\8. The generalized doubling construction shows that from any admissible triple PRESERVED_PLACEHOLDER_8(Huang et al., 20171) OR (Huang et al., 20172) OR (Huang et al., 20173) OR (Huang et al., 20174) OR (Huang et al., 20175) OR (Huang et al., 20176) OR (Huang et al., 20177) OR (Huang et al., 20178) OR (Huang et al., 20179) OR (Zhang et al., 20170) sequence doubling8 OR all:\8 OR all:\8^ one obtains, for every integer PRESERVED_PLACEHOLDER_8(Zhang et al., 20171) OR (Zhang et al., 20172) OR (Zhang et al., 20173) OR (Zhang et al., 20174) OR (Zhang et al., 20175) OR (Zhang et al., 20176) OR (Zhang et al., 20177) OR (Zhang et al., 20178) OR (Zhang et al., 20179) OR (Wang et al., 20220) sequence doubling8 OR all:\88, a new admissible triple
PRESERVED_PLACEHOLDER_8(Wang et al., 20221) OR (Wang et al., 20222) OR (Wang et al., 20223) OR (Wang et al., 20224) OR (Wang et al., 20225) OR (Wang et al., 20226) OR (Wang et al., 20227) OR (Wang et al., 20228) OR (Wang et al., 20229) OR (Li, 20200) sequence doubling8 OR all:\89
where PRESERVED_PLACEHOLDER_8(Li, 20201) OR (Li, 20202) OR (Li, 20203) OR (Li, 20204) OR (Li, 20205) OR (Li, 20206) OR (Li, 20207) OR (Li, 20208) OR (Li, 20209) OR (Currie, 20230) sequence doubling8 OR all:\8query8^ is the Hurwitz–Radon function. This extends the classical one-step doubling PRESERVED_PLACEHOLDER_8(Currie, 20231) OR (Currie, 20232) OR (Currie, 20233) OR (Currie, 20234) OR (Currie, 20235) OR (Currie, 20236) OR (Currie, 20237) OR (Currie, 20238) OR (Currie, 20239) OR (Špitalský, 20180) sequence doubling8 OR all:\8(Špitalský, 20181) OR (Špitalský, 20182) OR (Špitalský, 20183) OR (Špitalský, 20184) OR (Špitalský, 20185) OR (Špitalský, 20186) OR (Špitalský, 20187) OR (Špitalský, 20188) OR (Špitalský, 20189) OR (Huang et al., 20140) sequence doubling8^ by replacing the linear increment PRESERVED_PLACEHOLDER_8(Huang et al., 20141) OR (Huang et al., 20142) OR (Huang et al., 20143) OR (Huang et al., 20144) OR (Huang et al., 20145) OR (Huang et al., 20146) OR (Huang et al., 20147) OR (Huang et al., 20148) OR (Huang et al., 20149) OR (Fokkink et al., 20150) sequence doubling8 OR all:\8max_results8^ with the Hurwitz–Radon increment PRESERVED_PLACEHOLDER_8(Fokkink et al., 20151) OR (Fokkink et al., 20152) OR (Fokkink et al., 20153) OR (Fokkink et al., 20154) OR (Fokkink et al., 20155) OR (Fokkink et al., 20156) OR (Fokkink et al., 20157) OR (Fokkink et al., 20158) OR (Fokkink et al., 20159) OR (Bright, 20180) sequence doubling8 OR all:\8query8^ (&&&8max_results8&&&).
The proof is matrix-theoretic. One begins from an admissible matrix PRESERVED_PLACEHOLDER_8(Bright, 20181) OR (Bright, 20182) OR (Bright, 20183) OR (Bright, 20184) OR (Bright, 20185) OR (Bright, 20186) OR (Bright, 20187) OR (Bright, 20188) OR (Bright, 20189) OR (Tessera et al., 20230) sequence doubling8 OR all:\8all:\8, splits the target space into PRESERVED_PLACEHOLDER_8(Tessera et al., 20231) OR (Tessera et al., 20232) OR (Tessera et al., 20233) OR (Tessera et al., 20234) OR (Tessera et al., 20235) OR (Tessera et al., 20236) OR (Tessera et al., 20237) OR (Tessera et al., 20238) OR (Tessera et al., 20239) OR (Huang et al., 20170) sequence doubling8 OR all:\8 OR all:\8^ levels of size PRESERVED_PLACEHOLDER_8(Huang et al., 20171) OR (Huang et al., 20172) OR (Huang et al., 20173) OR (Huang et al., 20174) OR (Huang et al., 20175) OR (Huang et al., 20176) OR (Huang et al., 20177) OR (Huang et al., 20178) OR (Huang et al., 20179) OR (Zhang et al., 20170) sequence doubling8 OR all:\8 OR all:\8, inserts positive and negative copies of the original coefficient vectors into these levels, and chooses sign patterns governed by a Hurwitz–Radon family. The resulting construction preserves the unit-length, row-orthogonality, column-orthogonality, and Hurwitz symmetry constraints (&&&8max_results8&&&).
A distinct but analogous doubling procedure appears for Williamson matrices. If PRESERVED_PLACEHOLDER_8(Zhang et al., 20171) OR (Zhang et al., 20172) OR (Zhang et al., 20173) OR (Zhang et al., 20174) OR (Zhang et al., 20175) OR (Zhang et al., 20176) OR (Zhang et al., 20177) OR (Zhang et al., 20178) OR (Zhang et al., 20179) OR (Wang et al., 20220) sequence doubling8 OR all:\8 OR all:\8^ are Williamson sequences of odd length PRESERVED_PLACEHOLDER_8(Wang et al., 20221) OR (Wang et al., 20222) OR (Wang et al., 20223) OR (Wang et al., 20224) OR (Wang et al., 20225) OR (Wang et al., 20226) OR (Wang et al., 20227) OR (Wang et al., 20228) OR (Wang et al., 20229) OR (Li, 20200) sequence doubling8 OR all:\88, then shifting PRESERVED_PLACEHOLDER_8(Li, 20201) OR (Li, 20202) OR (Li, 20203) OR (Li, 20204) OR (Li, 20205) OR (Li, 20206) OR (Li, 20207) OR (Li, 20208) OR (Li, 20209) OR (Currie, 20230) sequence doubling8 OR all:\89 and PRESERVED_PLACEHOLDER_8(Currie, 20231) OR (Currie, 20232) OR (Currie, 20233) OR (Currie, 20234) OR (Currie, 20235) OR (Currie, 20236) OR (Currie, 20237) OR (Currie, 20238) OR (Currie, 20239) OR (Špitalský, 20180) sequence doubling8 OR all:\8query8^ by PRESERVED_PLACEHOLDER_8(Špitalský, 20181) OR (Špitalský, 20182) OR (Špitalský, 20183) OR (Špitalský, 20184) OR (Špitalský, 20185) OR (Špitalský, 20186) OR (Špitalský, 20187) OR (Špitalský, 20188) OR (Špitalský, 20189) OR (Huang et al., 20140) sequence doubling8 OR all:\8(Huang et al., 20141) OR (Huang et al., 20142) OR (Huang et al., 20143) OR (Huang et al., 20144) OR (Huang et al., 20145) OR (Huang et al., 20146) OR (Huang et al., 20147) OR (Huang et al., 20148) OR (Huang et al., 20149) OR (Fokkink et al., 20150) sequence doubling8, negating PRESERVED_PLACEHOLDER_8(Fokkink et al., 20151) OR (Fokkink et al., 20152) OR (Fokkink et al., 20153) OR (Fokkink et al., 20154) OR (Fokkink et al., 20155) OR (Fokkink et al., 20156) OR (Fokkink et al., 20157) OR (Fokkink et al., 20158) OR (Fokkink et al., 20159) OR (Bright, 20180) sequence doubling8 OR all:\8max_results8^ and PRESERVED_PLACEHOLDER_8(Bright, 20181) OR (Bright, 20182) OR (Bright, 20183) OR (Bright, 20184) OR (Bright, 20185) OR (Bright, 20186) OR (Bright, 20187) OR (Bright, 20188) OR (Bright, 20189) OR (Tessera et al., 20230) sequence doubling8 OR all:\8query8^ in two of the four outputs, and interleaving the resulting pairs produces four symmetric sequences of length PRESERVED_PLACEHOLDER_8(Tessera et al., 20231) OR (Tessera et al., 20232) OR (Tessera et al., 20233) OR (Tessera et al., 20234) OR (Tessera et al., 20235) OR (Tessera et al., 20236) OR (Tessera et al., 20237) OR (Tessera et al., 20238) OR (Tessera et al., 20239) OR (Huang et al., 20170) sequence doubling8 OR all:\8all:\8:
PRESERVED_PLACEHOLDER_8(Huang et al., 20171) OR (Huang et al., 20172) OR (Huang et al., 20173) OR (Huang et al., 20174) OR (Huang et al., 20175) OR (Huang et al., 20176) OR (Huang et al., 20177) OR (Huang et al., 20178) OR (Huang et al., 20179) OR (Zhang et al., 20170) sequence doubling8 OR all:\8 OR all:\8^
These again form a Williamson quadruple of order PRESERVED_PLACEHOLDER_8(Zhang et al., 20171) OR (Zhang et al., 20172) OR (Zhang et al., 20173) OR (Zhang et al., 20174) OR (Zhang et al., 20175) OR (Zhang et al., 20176) OR (Zhang et al., 20177) OR (Zhang et al., 20178) OR (Zhang et al., 20179) OR (Wang et al., 20220) sequence doubling8 OR all:\8 OR all:\8. The construction is completely constructive and uses only three sequence operations: negation, shift, and interleave (Wang et al., 20221).
The autocorrelation mechanism is explicit. Even lags reduce to sums of periodic autocorrelations of the original sequences, while odd lags cancel pairwise because negation flips the relevant cross-correlation term. The oddness of PRESERVED_PLACEHOLDER_8(Wang et al., 20222) OR (Wang et al., 20223) OR (Wang et al., 20224) OR (Wang et al., 20225) OR (Wang et al., 20226) OR (Wang et al., 20227) OR (Wang et al., 20228) OR (Wang et al., 20229) OR (Li, 20200) OR (Li, 20201) sequence doubling8 OR all:\8 OR all:\8^ is essential, since the shift by PRESERVED_PLACEHOLDER_8(Li, 20202) OR (Li, 20203) OR (Li, 20204) OR (Li, 20205) OR (Li, 20206) OR (Li, 20207) OR (Li, 20208) OR (Li, 20209) OR (Currie, 20230) OR (Currie, 20231) sequence doubling8 OR all:\88^ is built into the symmetry argument. Via Williamson’s classical block construction, this doubling immediately yields Hadamard matrices of order PRESERVED_PLACEHOLDER_8(Currie, 20232) OR (Currie, 20233) OR (Currie, 20234) OR (Currie, 20235) OR (Currie, 20236) OR (Currie, 20237) OR (Currie, 20238) OR (Currie, 20239) OR (Špitalský, 20180) OR (Špitalský, 20181) sequence doubling8 OR all:\89 from odd-order Williamson data (Špitalský, 20182).
These algebraic usages differ from symbolic period-doubling and from product-set doubling, but the operative pattern is the same: a small repertoire of structure-preserving operations produces a new object at doubled scale while retaining the defining orthogonality or admissibility constraints.
8 OR all:\8. Period doubling as bifurcation in nonlinear laser dynamics
In nonlinear dynamics, period doubling is the canonical bifurcation in which a stable periodic orbit loses stability and gives rise to a new orbit of twice the period. For discrete-time systems, the archetype is the logistic map
PRESERVED_PLACEHOLDER_8(Špitalský, 20183) OR (Špitalský, 20184) OR (Špitalský, 20185) OR (Špitalský, 20186) OR (Špitalský, 20187) OR (Špitalský, 20188) OR (Špitalský, 20189) OR (Huang et al., 20140) OR (Huang et al., 20141) OR (Huang et al., 20142) sequence doubling88query8^
whose cascade of flip bifurcations is governed by the Feigenbaum constants, with parameter scaling PRESERVED_PLACEHOLDER_8(Huang et al., 20143) OR (Huang et al., 20144) OR (Huang et al., 20145) OR (Huang et al., 20146) OR (Huang et al., 20147) OR (Huang et al., 20148) OR (Huang et al., 20149) OR (Fokkink et al., 20150) OR (Fokkink et al., 20151) OR (Fokkink et al., 20152) sequence doubling88(Fokkink et al., 20153) OR (Fokkink et al., 20154) OR (Fokkink et al., 20155) OR (Fokkink et al., 20156) OR (Fokkink et al., 20157) OR (Fokkink et al., 20158) OR (Fokkink et al., 20159) OR (Bright, 20180) OR (Bright, 20181) OR (Bright, 20182) sequence doubling8^ and orbit-size scaling PRESERVED_PLACEHOLDER_8(Bright, 20183) OR (Bright, 20184) OR (Bright, 20185) OR (Bright, 20186) OR (Bright, 20187) OR (Bright, 20188) OR (Bright, 20189) OR (Tessera et al., 20230) OR (Tessera et al., 20231) OR (Tessera et al., 20232) sequence doubling88max_results8. In a periodic system, the local criterion is that a Floquet multiplier crosses PRESERVED_PLACEHOLDER_8(Tessera et al., 20233) OR (Tessera et al., 20234) OR (Tessera et al., 20235) OR (Tessera et al., 20236) OR (Tessera et al., 20237) OR (Tessera et al., 20238) OR (Tessera et al., 20239) OR (Huang et al., 20170) OR (Huang et al., 20171) OR (Huang et al., 20172) sequence doubling88query8^ (&&&8query8&&&).
Ultrafast mode-locked fiber lasers realize this mechanism through the roundtrip Poincaré map. A stationary mode-locked pulse is a fixed point of the roundtrip map PRESERVED_PLACEHOLDER_8(Huang et al., 20173) OR (Huang et al., 20174) OR (Huang et al., 20175) OR (Huang et al., 20176) OR (Huang et al., 20177) OR (Huang et al., 20178) OR (Huang et al., 20179) OR (Zhang et al., 20170) OR (Zhang et al., 20171) OR (Zhang et al., 20172) sequence doubling88all:\8, while pulsating dissipative solitons are periodic orbits of PRESERVED_PLACEHOLDER_8(Zhang et al., 20173) OR (Zhang et al., 20174) OR (Zhang et al., 20175) OR (Zhang et al., 20176) OR (Zhang et al., 20177) OR (Zhang et al., 20178) OR (Zhang et al., 20179) OR (Wang et al., 20220) OR (Wang et al., 20221) OR (Wang et al., 20222) sequence doubling88 OR all:\8^ with period measured in roundtrips. Real-time spectral tracking via dispersive Fourier transform makes it possible to observe roundtrip-by-roundtrip spectral pulsations and thereby detect both visible and invisible period doubling (&&&8query8&&&).
The reported experiments involve two erbium-doped fiber-laser architectures. In the anomalous-dispersion cavity, tuning the nonlinear-polarization-evolution saturable absorber at pump power near PRESERVED_PLACEHOLDER_8(Wang et al., 20223) OR (Wang et al., 20224) OR (Wang et al., 20225) OR (Wang et al., 20226) OR (Wang et al., 20227) OR (Wang et al., 20228) OR (Wang et al., 20229) OR (Li, 20200) OR (Li, 20201) OR (Li, 20202) sequence doubling88 OR all:\8^ yields a clean period-PRESERVED_PLACEHOLDER_8(Li, 20203) OR (Li, 20204) OR (Li, 20205) OR (Li, 20206) OR (Li, 20207) OR (Li, 20208) OR (Li, 20209) OR (Currie, 20230) OR (Currie, 20231) OR (Currie, 20232) sequence doubling88 OR all:\8^ spectral pulsation in which successive roundtrips alternate between a peak and a dip in the central spectral slice while total pulse energy remains essentially constant within measurement noise. As pump power increases, the system exhibits a stable period-PRESERVED_PLACEHOLDER_8(Currie, 20233) OR (Currie, 20234) OR (Currie, 20235) OR (Currie, 20236) OR (Currie, 20237) OR (Currie, 20238) OR (Currie, 20239) OR (Špitalský, 20180) OR (Špitalský, 20181) OR (Špitalský, 20182) sequence doubling888^ spectral pulsation, a quasi-periodic regime with fundamental period about PRESERVED_PLACEHOLDER_8(Špitalský, 20183) OR (Špitalský, 20184) OR (Špitalský, 20185) OR (Špitalský, 20186) OR (Špitalský, 20187) OR (Špitalský, 20188) OR (Špitalský, 20189) OR (Huang et al., 20140) OR (Huang et al., 20141) OR (Huang et al., 20142) sequence doubling889 roundtrips and a strong period-PRESERVED_PLACEHOLDER_8(Huang et al., 20143) OR (Huang et al., 20144) OR (Huang et al., 20145) OR (Huang et al., 20146) OR (Huang et al., 20147) OR (Huang et al., 20148) OR (Huang et al., 20149) OR (Fokkink et al., 20150) OR (Fokkink et al., 20151) OR (Fokkink et al., 20152) sequence doubling8max_results8query8^ component, and a broadened periodic contribution near PRESERVED_PLACEHOLDER_8(Fokkink et al., 20153) OR (Fokkink et al., 20154) OR (Fokkink et al., 20155) OR (Fokkink et al., 20156) OR (Fokkink et al., 20157) OR (Fokkink et al., 20158) OR (Fokkink et al., 20159) OR (Bright, 20180) OR (Bright, 20181) OR (Bright, 20182) sequence doubling8max_results8(Bright, 20183) OR (Bright, 20184) OR (Bright, 20185) OR (Bright, 20186) OR (Bright, 20187) OR (Bright, 20188) OR (Bright, 20189) OR (Tessera et al., 20230) OR (Tessera et al., 20231) OR (Tessera et al., 20232) sequence doubling8^ roundtrips. During transients, a secondary low frequency drifts continuously and locks to exact rational multiples of the repetition frequency, specifically PRESERVED_PLACEHOLDER_8(Tessera et al., 20233) OR (Tessera et al., 20234) OR (Tessera et al., 20235) OR (Tessera et al., 20236) OR (Tessera et al., 20237) OR (Tessera et al., 20238) OR (Tessera et al., 20239) OR (Huang et al., 20170) OR (Huang et al., 20171) OR (Huang et al., 20172) sequence doubling8max_results8max_results8^ and PRESERVED_PLACEHOLDER_8(Huang et al., 20173) OR (Huang et al., 20174) OR (Huang et al., 20175) OR (Huang et al., 20176) OR (Huang et al., 20177) OR (Huang et al., 20178) OR (Huang et al., 20179) OR (Zhang et al., 20170) OR (Zhang et al., 20171) OR (Zhang et al., 20172) sequence doubling8max_results8query8^ (&&&8query8&&&).
In the normal-dispersion cavity, increasing the pump from stable mode locking to about PRESERVED_PLACEHOLDER_8(Zhang et al., 20173) OR (Zhang et al., 20174) OR (Zhang et al., 20175) OR (Zhang et al., 20176) OR (Zhang et al., 20177) OR (Zhang et al., 20178) OR (Zhang et al., 20179) OR (Wang et al., 20220) OR (Wang et al., 20221) OR (Wang et al., 20222) sequence doubling8max_results8all:\8^ produces a visible period-PRESERVED_PLACEHOLDER_8(Wang et al., 20223) OR (Wang et al., 20224) OR (Wang et al., 20225) OR (Wang et al., 20226) OR (Wang et al., 20227) OR (Wang et al., 20228) OR (Wang et al., 20229) OR (Li, 20200) OR (Li, 20201) OR (Li, 20202) sequence doubling8max_results8 OR all:\8^ pulsation with clear energy alternation and RF sidebands at PRESERVED_PLACEHOLDER_8(Li, 20203) OR (Li, 20204) OR (Li, 20205) OR (Li, 20206) OR (Li, 20207) OR (Li, 20208) OR (Li, 20209) OR (Currie, 20230) OR (Currie, 20231) OR (Currie, 20232) sequence doubling8max_results8 OR all:\8. Further pump increase drives multi-pulsing or chaotic behavior. Numerical simulations based on a lumped cavity map and a generalized nonlinear Schrödinger equation with saturable gain and an artificial saturable absorber reproduce the observed flip bifurcation and the subsequent higher-period and quasi-periodic regimes (&&&8query8&&&).
The physical interpretation given is that excess Kerr nonlinearity relative to dispersion and spectral filtering destabilizes the mode-locked fixed point. In the anomalous cavity, the period-PRESERVED_PLACEHOLDER_8(Currie, 20233) OR (Currie, 20234) OR (Currie, 20235) OR (Currie, 20236) OR (Currie, 20237) OR (Currie, 20238) OR (Currie, 20239) OR (Špitalský, 20180) OR (Špitalský, 20181) OR (Špitalský, 20182) sequence doubling8max_results8 OR all:\8^ state is linked to alternating chirp sign and alternating compression/broadening with nearly identical energy on successive roundtrips; in the normal cavity, it is associated with nonlinear over-compression and wave-breaking-like spectral structure. The paper emphasizes that period doubling is a universal early destabilization, but that in dissipative cavities it is frequently intertwined with quasi-periodicity, entrainment, intermittency, multi-pulsing, and chaos rather than appearing as a clean one-dimensional Feigenbaum cascade (&&&8query8&&&).
Sequence doubling therefore spans at least four mature research programs. In groups and graphs it is a large-scale growth constraint; in period-doubling words it is a substitutional and PRESERVED_PLACEHOLDER_8(Špitalský, 20183) OR (Špitalský, 20184) OR (Špitalský, 20185) OR (Špitalský, 20186) OR (Špitalský, 20187) OR (Špitalský, 20188) OR (Špitalský, 20189) OR (Huang et al., 20140) OR (Huang et al., 20141) OR (Huang et al., 20142) sequence doubling898-adic hierarchy governing return words, gaps, palindromes, recurrences, and Hankel spectra; in algebraic design theory it is a constructive lift in size and dimension; and in nonlinear dynamics it is the flip bifurcation that precedes more complicated motion. The common thread is dyadic renormalization, but the technical meaning is supplied locally by the theory in which the doubling operation acts.