Block-Restricted One-Swap Permutations

• The paper establishes the analytical tractability of block-restricted one-swap permutations, demonstrating exact finite-sample validity and variance reduction in both two-sample testing and combinatorial sorting.
• Block-restricted one-swap permutations are defined by permissible cross-block swaps within designated representatives, ensuring a rigorously constrained action space for efficient computation.
• The methodology leverages limited swap operations to yield tighter variance bounds and higher statistical power compared to full relabeling, enhancing both inference and sorting performance.

Block-restricted one-swap permutations are a highly structured class of permutations, relevant in both combinatorial sorting theory and the design of statistical permutation tests. The terminology spans two technical contexts: (1) structured test statistics in two-sample testing via block-restricted swaps between representatives, and (2) combinatorial characterization of permutations in the symmetric group that are sortable to the identity using exactly one prescribed block-interchange, as encoded by the context-directed swap (cds) operation. Both settings exhibit sharply restricted action spaces, admit exact analytical treatment, and find applications in statistical inference and permutation group theory.

1. Formal Definition of Block-Restricted One-Swap Permutations

In the statistical two-sample framework, suppose there are two groups $A = \{X_1, \ldots, X_{n_1}\}$ and $B = \{Y_1, \ldots, Y_{n_2}\}$, total $N = n_1 + n_2$ items. The set $\{1,2,\ldots,N\}$ is partitioned into $b$ disjoint blocks $\mathcal{B}_1, \ldots, \mathcal{B}_b$ via any label-invariant rule (e.g., quantiling on auxiliary covariates or kernel scores). A representative set $R \subset \{1, \ldots, N\}$ of size $|R| = \lfloor \rho N \rfloor$, $\rho \in (0,1]$, allocates quota per block. The permissible cross-swaps are

$$\mathcal{P} = \{ (i, j) : i \in A \cap R \cap \mathcal{B}_r,\, j \in B \cap R \cap \mathcal{B}_s,\, r \neq s \}.$$

A block-restricted one-swap permutation is any permutation obtainable from the identity via a single transposition in $B = \{Y_1, \ldots, Y_{n_2}\}$0. More generally, an $B = \{Y_1, \ldots, Y_{n_2}\}$1-swap block-restricted path is a sequence of disjoint one-swap moves, with $B = \{Y_1, \ldots, Y_{n_2}\}$2 (Ho, 29 Nov 2025).

In the combinatorial context, the cds sorting operation on $B = \{Y_1, \ldots, Y_{n_2}\}$3 acts by swapping two disjoint, specific blocks, determined by the occurrence pattern of pairs of “pointers” in the permutation’s pointer word. A permutation is block-restricted one-swap sortable if it requires exactly one cds operation to become the identity (Brown et al., 2020).

2. Algebraic and Combinatorial Structure

In the block-restricted two-sample setting, the set of admissible permutations forms a fixed subset $B = \{Y_1, \ldots, Y_{n_2}\}$4 of the symmetric group $B = \{Y_1, \ldots, Y_{n_2}\}$5, specified a priori by the blocks and representatives. These permutations are reachable via disjoint one-swap cross-block transpositions from the identity. This structure makes the analysis of test statistic increments and variance tractable, as the set structure is stable and independent of observed labels (Ho, 29 Nov 2025).

For cds one-swap-sortable permutations, there is an equivalent cycle-structure criterion: Define $B = \{Y_1, \ldots, Y_{n_2}\}$6, $B = \{Y_1, \ldots, Y_{n_2}\}$7, and $B = \{Y_1, \ldots, Y_{n_2}\}$8. The permutation $B = \{Y_1, \ldots, Y_{n_2}\}$9 is cds one-swap-sortable if and only if $N = n_1 + n_2$0 has a unique $N = n_1 + n_2$1-cycle $N = n_1 + n_2$2 for some distinct $N = n_1 + n_2$3 and all other cycles are fixed points. Equivalently, the strategic pile $N = n_1 + n_2$4 has size two, and there is exactly one eligible pointer context (Brown et al., 2020).

3. Exact Validity and Increment Formulas in Statistical Testing

A principal advantage of block-restricted one-swap permutations in hypothesis testing is exact finite-sample validity. For any fixed (label-invariant) restricted set $N = n_1 + n_2$5, drawing i.i.d. permutations uniformly from $N = n_1 + n_2$6 and forming the usual permutation $N = n_1 + n_2$7-value yields type-I error control at all levels:

$N = n_1 + n_2$8

When $N = n_1 + n_2$9 (all block-restricted one-swap permutations), randomization inference remains exact in finite samples without recourse to subgroup symmetry or worst-case conditions (Ho, 29 Nov 2025).

The restricted action space of single swaps enables closed-form increment calculations for common test statistics:

• Mean Difference: For $\{1,2,\ldots,N\}$0, swapping $\{1,2,\ldots,N\}$1, $\{1,2,\ldots,N\}$2, $\{1,2,\ldots,N\}$3. Conditional variance under random one-swap is $\{1,2,\ldots,N\}$4, contrasted with $\{1,2,\ldots,N\}$5 variability under full-relabeling permutation.
• Unbiased $\{1,2,\ldots,N\}$6: The one-swap change is $\{1,2,\ldots,N\}$7, and the conditional variance is the sum of within-class variances of the swap effectors.

The variance contraction (from $\{1,2,\ldots,N\}$8 to $\{1,2,\ldots,N\}$9) leads to tighter control of permutation quantiles and better Bernstein–Freedman tail proxies.

4. Power Enhancement and Critical Value Behavior

Under full relabeling, the null permutation distribution of the statistic $b$0 admits Chebyshev or normal-approximation quantile bounds:

$b$1

The block-restricted scheme, by contrast, yields Bernstein–Freedman upper bounds:

$b$2

with $b$3 for the mean or $b$4 for MMD, $b$5. Because $b$6, $b$7 is substantially below $b$8 for the same $b$9, for large $\mathcal{B}_1, \ldots, \mathcal{B}_b$0. The result is higher statistical power under alternatives:

$\mathcal{B}_1, \ldots, \mathcal{B}_b$1

Pointwise, $\mathcal{B}_1, \ldots, \mathcal{B}_b$2 (Ho, 29 Nov 2025). Empirically, gains are maximized for balanced, large samples and block schemes that exploit high-contrast structures (e.g., kernel-score stratification).

5. Enumeration and Structure in $\mathcal{B}_1, \ldots, \mathcal{B}_b$3

Within the cds framework, every one-swap-sortable permutation corresponds uniquely to an unordered pair $\mathcal{B}_1, \ldots, \mathcal{B}_b$4, $\mathcal{B}_1, \ldots, \mathcal{B}_b$5, and a choice of orientation for the 4-cycle. The total number is $\mathcal{B}_1, \ldots, \mathcal{B}_b$6. These permutations are extremely sparse, $\mathcal{B}_1, \ldots, \mathcal{B}_b$7 in total against $\mathcal{B}_1, \ldots, \mathcal{B}_b$8 overall. Detecting single-swap-sortability is $\mathcal{B}_1, \ldots, \mathcal{B}_b$9: compute the strategic pile and scan for pointer-interleaving (Brown et al., 2020).

Such permutations sit at the minimal nontrivial end of the cds complexity spectrum: the first nonzero member in the species-by-contexts partition $R \subset \{1, \ldots, N\}$0 at $R \subset \{1, \ldots, N\}$1. They admit two equivalent block forms depending on the context’s order in the pointer word, e.g.,

$R \subset \{1, \ldots, N\}$2

for pointer pairs $R \subset \{1, \ldots, N\}$3 with $R \subset \{1, \ldots, N\}$4.

6. Relationship to Broader Permutation and Testing Theory

Block-restricted one-swap permutations provide a test-bed for studying the trade-off between label-exchange symmetry and power in permutation tests. Their a priori definition ensures exact validity and sharp variance behavior, exploiting fixed group structure rather than average- or worst-case coverage.

In the cds sorting paradigm, block-restricted one-swap permutations characterize the boundary of “minimal non-sortability”—the fewest possible eligible pointer contexts and smallest possible strategic pile size (2) to require any block-interchange operation. This positions them as a combinatorial extreme, with implications for sorting complexity and group action enumeration.

These frameworks, found in "Restricted Block Permutation for Two-Sample Testing" (Ho, 29 Nov 2025) and "Classifying Permutations under Context-Directed Swaps and the cds game" (Brown et al., 2020), exemplify structured, low-complexity randomization mechanisms enabling rigorous finite-sample statistical guarantees and rich algebraic properties.