Table of Contents
Fetching ...

Results on long twins in random words and permutations

Elliott Liu, Linus Tang, Jessica Wan

TL;DR

The paper investigates long twin-like structures in random words and random permutations. It derives sharp one-sided tail bounds showing that the maximum $r$-power length in a random word over $[k]^n$ concentrates around $ rac{ ext{log} n}{(r-1) ext{log} k}$ and establishes concentration of its expectation. In random permutations, it proves that for fixed $k$ and $r o ty$, a uniform permutation of $[rk]$ almost surely contains $r$ disjoint increasing subsequences of length $k$, generalizing prior $k=2$ results, and it improves the lower bound on the length of alternating twins to $igl( frac{1}{3}+0.0989- ext{o}(1)igr)n$ via computer-assisted analysis. A further generalization shows that the number of tight $r$-twins in random permutations of length $rk$ fills the permutation as $r o ty$, and the paper collects the appendix with pseudocode for the alternating-twins computation. Overall, the work sharpens probabilistic understanding of twin-like structures in random discrete objects and provides precise asymptotics and constants for core twin phenomena.

Abstract

We study long $r$-twins in random words and permutations. Motivated by questions posed in works of Dudek-Grytczuk-Ruciński, we obtain the following. For a uniform word in $[k]^n$ we prove sharp one-sided tail bounds showing that the maximum $r$-power length (the longest contiguous block that can be partitioned into $r$ identical subblocks) is concentrated around $\frac{\log n}{(r-1)\log k}$. For random permutations, we prove that for fixed $k$ and $r\to\infty$, a uniform permutation of $[rk]$ a.a.s. contains $r$ disjoint increasing subsequences of length $k$, generalizing a previous result that proves this for $k=2$. Finally, we use a computer-aided pattern count to improve the best known lower bound on the length of alternating twins in a random permutation to $α_n \ge \left(\tfrac{1}{3}+0.0989-o(1)\right)n$, strengthening the previous constant.

Results on long twins in random words and permutations

TL;DR

The paper investigates long twin-like structures in random words and random permutations. It derives sharp one-sided tail bounds showing that the maximum -power length in a random word over concentrates around and establishes concentration of its expectation. In random permutations, it proves that for fixed and , a uniform permutation of almost surely contains disjoint increasing subsequences of length , generalizing prior results, and it improves the lower bound on the length of alternating twins to via computer-assisted analysis. A further generalization shows that the number of tight -twins in random permutations of length fills the permutation as , and the paper collects the appendix with pseudocode for the alternating-twins computation. Overall, the work sharpens probabilistic understanding of twin-like structures in random discrete objects and provides precise asymptotics and constants for core twin phenomena.

Abstract

We study long -twins in random words and permutations. Motivated by questions posed in works of Dudek-Grytczuk-Ruciński, we obtain the following. For a uniform word in we prove sharp one-sided tail bounds showing that the maximum -power length (the longest contiguous block that can be partitioned into identical subblocks) is concentrated around . For random permutations, we prove that for fixed and , a uniform permutation of a.a.s. contains disjoint increasing subsequences of length , generalizing a previous result that proves this for . Finally, we use a computer-aided pattern count to improve the best known lower bound on the length of alternating twins in a random permutation to , strengthening the previous constant.

Paper Structure

This paper contains 5 sections, 7 theorems, 22 equations, 1 figure, 2 algorithms.

Key Result

Theorem 2.1

Let $n,k,r$ be positive integers with $k,r\ge2$ and let $M_{n,k,r}$ be the maximum length of an $r$-power in a random word of length $n$ over alphabet $[k]$. Then there exists a universal constant $C>0$ such that for all real numbers $t\ge0$, and

Figures (1)

  • Figure 1: An example with $t=16$, $k=4$

Theorems & Definitions (16)

  • Theorem 2.1
  • proof
  • Corollary 2.2
  • proof
  • Corollary 2.3
  • proof
  • Corollary 2.4
  • proof
  • Theorem 2.5
  • proof
  • ...and 6 more