Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Decreasing inflation at an early entry

Abstract

For a word with distinct entries in C, inflating either of its first two entries by the block 21 preserves membership in C.

Theorem 1.1 (Decreasing inflation at an early entry).

Lean statement: D5/S3/Combinatorics/PopStack/PopStackDecreasing.decreasing_early_inflation

Proof. Machine-checked in Lean as D5/S3/Combinatorics/PopStack/PopStackDecreasing.decreasing_early_inflation (✓ std3). ∎

Source. Repository-derived.

Acknowledgement. Lapo Cioni, Luca Ferrari, Rebecca Smith (2025). Sorting permutations using a pop stack with a bypass. DOI: 10.1016/j.disc.2025.114964. URL: https://arxiv.org/abs/2503.08285v1.

Commentary.

For a word with distinct entries in C, inflating either of its first two entries by the block 21 preserves membership in C.

References