Pith. sign in

Intersecting Families of Permutations

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
abstract

A set of permutations $I \subset S_n$ is said to be {\em k-intersecting} if any two permutations in $I$ agree on at least $k$ points. We show that for any $k \in \mathbb{N}$, if $n$ is sufficiently large depending on $k$, then the largest $k$-intersecting subsets of $S_n$ are cosets of stabilizers of $k$ points, proving a conjecture of Deza and Frankl. We also prove a similar result concerning $k$-cross-intersecting subsets. Our proofs are based on eigenvalue techniques and the representation theory of the symmetric group.

years

2026 1 2025 1

representative citing papers

Graph Isomorphism and Representation Theory

cs.CC · 2026-06-24 · unverdicted · novelty 7.0

Separating modules of support-degree k equate to O(k)-subgraph counts, those of symmetric circuit size n^Θ(k) equate to Θ(k)-WL, and their multiplicities equate to differing automorphism cycle indices.

Tiling the symmetric group by transpositions

math.CO · 2025-05-31 · conditional · novelty 6.0

A new necessary condition is established that Y must be partition-transitive w.r.t. certain partitions of n for (T_n, Y) to tile S_n, generalizing Rothaus-Thompson and Nomura, with a conjecture that neither T_n nor T_n* tiles S_n for n >= 4.

citing papers explorer

Showing 2 of 2 citing papers.

  • Graph Isomorphism and Representation Theory cs.CC · 2026-06-24 · unverdicted · none · ref 16 · internal anchor

    Separating modules of support-degree k equate to O(k)-subgraph counts, those of symmetric circuit size n^Θ(k) equate to Θ(k)-WL, and their multiplicities equate to differing automorphism cycle indices.

  • Tiling the symmetric group by transpositions math.CO · 2025-05-31 · conditional · none · ref 9 · internal anchor

    A new necessary condition is established that Y must be partition-transitive w.r.t. certain partitions of n for (T_n, Y) to tile S_n, generalizing Rothaus-Thompson and Nomura, with a conjecture that neither T_n nor T_n* tiles S_n for n >= 4.