A proof of Lehmer's permutation conjecture for neighbor-swap graphs XD5HCP8DHF

URI	`m2://res/XD5HCP8DHF`
Kind	preprint
Creators	Tom Verhoeff
Date	2026-10-01
MSC	05-XX
Subjects	arxiv math.CO, arxiv cs.DM, arxiv cs.LO
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
$\sig{2k,1,1}$ is path-only	statement	proposition 5	arxiv
2AQNBSEQ7Y	statement	lemma 30	arxiv
Multi-odd signatures; Stachowiak {\rm}, as recorded by Verhoeff {\rm	statement	theorem 14	arxiv
Stutters are far apart; Verhoeff {\rm	statement	lemma 2	arxiv
8CXE7C30HR	statement	lemma 20	arxiv
9ACQ0RPJX3	statement	theorem	arxiv
9Q5XXVWGQ2	statement	proposition 31	arxiv
Gluing a parallel pair; Verhoeff {\rm}, Stachowiak {\rm	statement	lemma 7	arxiv
Reformulated Lehmer conjecture; Verhoeff {\rm	conjecture	conjecture 4	arxiv
Shifted stutters	statement	lemma 25	arxiv
Verhoeff {\rm	statement	theorem 3	arxiv
Gluing along a tree	statement	lemma 8	arxiv
Parallel pairs	statement	lemma 24	arxiv
One-odd theorem	statement	theorem 22	arxiv
Parallel edges	definition	definition 6	arxiv
All-even theorem	statement	theorem 19	arxiv
Anchored words	statement	lemma 28	arxiv
Property \textup{(P	statement	proposition 21	arxiv
Stitches	definition	definition 10	arxiv
No stitch meets an anchored word	statement	lemma 12	arxiv
Hypercubes	statement	lemma 9	arxiv
Last-color blocks	statement	lemma 23	arxiv
Routing	statement	proposition 29	arxiv
Spanning matching trees	statement	lemma 18	arxiv
Boustrophedon hypercube cycles	statement	lemma 17	arxiv
Rungs, anchored words	definition	definition 11	arxiv
Binary classification; Verhoeff {\rm	statement	theorem 13	arxiv
Parity census; Ruskey	statement	lemma 1	arxiv
Assembly	statement	proposition 26	arxiv