PeriodDoubling

Navigation page for Blueprint/D5/S1/Words/Palindromes/PeriodDoubling/ at upstream snapshot 8d763b2044e6bbd5038b4dfa4f8bab2ac6bec048.

Contents

• Alternating Tail Upper Bound
• Integer Potentials on Nondeterministic Runs
• Arithmetic Meaning of the Base Transducer
• Concrete Period-Doubling Transducer Potentials
• Arithmetic Meaning of the Signed-Digit Charge
• Class Spacing of Transducer Outputs
• Signed-Digit Realization of Cut Bit Paths
• Literal Most Recent Sign Memory
• First Nonzero Digit Order
• Complete Representation of Arithmetic Transducer Paths
• Base Position Memory
• Literal Endpoint Charge
• Signed Digit Streams of the Base Transducer
• Uniqueness of Nonadjacent Signed Digits
• Complete Palindrome Cut Bit Relation
• Complete Representation of Palindrome Cuts
• Dyadic Splitting of Signed Weight
• Even Palindromes in Period Doubling
• Odd Cuts in Even Tight Paths
• Base Projection of Marked Paths
• Marked Input Annotation
• Marked Charge Obstruction
• Marked Path Selection
• Arithmetic of Separated Marked Prefixes
• Marked-Prefix Potential Certificates
• Exact Stream of a Marked Prefix
• Arithmetic Rigidity of a Marked Prefix
• Marked Suffix Agreement
• Complete Lowest-Position Product Realization
• Lowest Signed-Digit Position Certificate
• Minimum Weight of Nonadjacent Signed Digits
• Exact Odd-Palindrome Radii
• Palindromic Length and Suffix Cuts
• Marked Input Shape
• Period-Doubling PPL-Difference Is Not Automatic
• Complete Representation of Marker Paths
• Marker Reconstruction Certificate
• Marker Reconstruction Certificate
• Marker Reconstruction Certificate
• Marker Reconstruction Certificate
• Marker Reconstruction Certificate
• Marker Reconstruction Certificate
• Marker Reconstruction Certificate
• Marker Reconstruction Certificate
• Marker Reconstruction Certificate
• Signed-Weight Lower Bound for Period Doubling
• Signed Tail Phase
• Lowest Signed Digit and Dyadic Valuation
• Signed Binary Weight
• Sparse Block Upper Constructions
• Exact Sparse Diagonal
• Exact Sparse Off-Diagonal
• Sparse Family Upper Bounds
• Sparse Family Initial Arithmetic
• Sparse Kernel Rank
• Class Preservation and Charge Monotonicity
• Lowest-Position Monotonicity
• Tight Palindromic Factorizations
• At Most One Tight Even Cut
• Minimum Signed Digits from Triple Binary Differences
• Unmarked Flip Semantics
• The Period-Doubling Word