The counts of parity-odd vs even late-growing permutations in the group $\mathbb{S}_{2p-1}$ differ by $(-1)^p$

A permutation $σ\in\mathbb{S}_n$ of objects $\{1,\ldots,n\}$ is called \emph{late-growing} if its partial sums never exceed the respective partial sums of the `average' permutation (with the arithmetic mean $n^{-1}\cdot\sum_{i=1}^n i = (n+1)/2$ of $1,\ldots,n$ on average at each entry $σ(i)$): $\sum_{i=1}^k σ(i) \leqslant k\cdot (n+1)/2$ for all positive $k\leqslant n$. We prove that for $n=2p-1$ odd, the set $Φ_p\subseteq \mathbb{S}_{2p-1}$ of late-growing permutations is partitioned into parity-even vs odd elements, $Φ_p = Φ_p^{+} \sqcup Φ_p^{-}$, in an almost symmetric way: $| Φ_p^{+} | - | Φ_p^{-} | = (-1)^{p+1}$. The proof is constructive: by viewing the permutations $σ\inΦ_p$ as constrained walks on the integral lattice $\mathbb{Z}$, we describe two filters that pair all but one element in $Φ_p^{+}$ versus $Φ_p^{-}$; the remaining walk $σ^*$ with monotonically growing step amplitudes determines the dominant parity subset.

Authors

Publication Details

Journal
arXiv (Cornell University)
Published
2026-10-26
DOI
https://doi.org/10.48550/arxiv.2610.35779
Primary Topic
Advanced Combinatorial Mathematics
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

The counts of parity-odd vs even late-growing permutations in the group $\mathbb{S}_{2p-1}$ differ by $(-1)^p$

Arthemy Vladimirovich Kiselev, Kian C. Shah
arXiv (Cornell University)
Advanced Combinatorial Mathematics
preprint

The counts of parity-odd vs even late-growing permutations in the group $\mathbb{S}_{2p-1}$ differ by $(-1)^p$

Arthemy Vladimirovich Kiselev, Kian C. Shah
preprint en

Abstract

A permutation $σ\in\mathbb{S}_n$ of objects $\{1,\ldots,n\}$ is called \emph{late-growing} if its partial sums never exceed the respective partial sums of the `average' permutation (with the arithmetic mean $n^{-1}\cdot\sum_{i=1}^n i = (n+1)/2$ of $1,\ldots,n$ on average at each entry $σ(i)$): $\sum_{i=1}^k σ(i) \leqslant k\cdot (n+1)/2$ for all positive $k\leqslant n$. We prove that for $n=2p-1$ odd, the set $Φ_p\subseteq \mathbb{S}_{2p-1}$ of late-growing permutations is partitioned into parity-even vs odd elements, $Φ_p = Φ_p^{+} \sqcup Φ_p^{-}$, in an almost symmetric way: $| Φ_p^{+} | - | Φ_p^{-} | = (-1)^{p+1}$. The proof is constructive: by viewing the permutations $σ\inΦ_p$ as constrained walks on the integral lattice $\mathbb{Z}$, we describe two filters that pair all but one element in $Φ_p^{+}$ versus $Φ_p^{-}$; the remaining walk $σ^*$ with monotonically growing step amplitudes determines the dominant parity subset.

arXiv (Cornell University)
Advanced Combinatorial Mathematics
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon
The counts of parity-odd vs even late-growing permutations in the group $\mathbb{S}_{2p-1}$ differ by $(-1)^p$ — Arthemy Vladimirovich Kiselev, Kian C. Shah · arXiv (Cornell University) (2026) | TGRS Research Map | TGRS