Classify extremal permutations with two cycles in every cyclic shift
Prove that if n>2 and a permutation π∈S_n satisfies max_{σ∈πC_n} cyc(σ)=2, then n is prime and there exists a unit a∈Z_n^× such that π(i)≡a·i (mod n) for every i.
References
Conjecture 3.6. If n > 2 and π ∈ S_n satisfies max_{σ∈πC_n} cyc(σ) = 2, then n is prime and π(i) ≡ a * i (mod n) (∀i) for some a ∈ Z×_n.
— Circular sorting
(2502.14398 - Adin et al., 20 Feb 2025) in Conjecture 3.6, Section 3.2, p. 10