Metrics on Permutation Families Defined by a Restriction Graph
Danylo Tymoshenko, Leonhard Nagel

TL;DR
This paper explores the metric structure of permutation families constrained by restriction graphs, characterizing maximum distances and connecting poset dimension with permutation metrics, with applications to permutation statistics.
Contribution
It provides a complete characterization of maximum permutation distances under the ll_ty-metric for restriction graphs and links the Kendall-Tau metric to poset dimension theory.
Findings
Maximum ll_ty-distance is determined for permutation families.
Kendall-Tau metric achieves its maximum only when the poset has dimension at most 2.
Explicit formulas and algorithms are provided for permutation statistics and metric diameters.
Abstract
Understanding the metric structure of permutation families is fundamental to combinatorics and has applications in social choice theory, bioinformatics, and coding theory. We study permutation families defined by restriction graphs--oriented graphs that constrain the relative order of elements in valid permutations. For any restriction graph , we determine the maximum distance achievable by two permutations under the -metric and provide an explicit algorithm that constructs optimal permutation pairs. Our main contribution characterizes when the Kendall-Tau metric achieves its combinatorial upper bound: this occurs if and only if the poset induced by has dimension at most 2. When this condition holds, the extremal permutations form a minimal realizer of the poset, revealing a deep connection between metric geometry and poset dimension theory. We apply these results to…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicsgraph theory and CDMA systems · Advanced Graph Theory Research · semigroups and automata theory
