The block-kernel characterization of exponential graph growth

Let LL be a transitive permutation group on a set Ω\Omega. A proper block BB is a block of imprimitivity with BΩB\neq\Omega, and let NN be the kernel of the action of LL on the block system induced by BB. The notation N(B)N_{(B)} denotes the pointwise stabiliser of BB in NN.

Block-kernel characterization. The group LL has exponential graph growth if and only if it admits a proper block BB such that

N(B)1.N_{(B)}\neq 1.

This conjecture seeks a characterization of the transitive permutation groups with exponential graph growth. The paper's main theorem proves the forward-type sufficient condition using a nontrivial block and a nontrivial pointwise stabiliser of its complement, but the stated if-and-only-if characterization remains unresolved.

Sources & referencesView supporting material

Primary source

Đorđe Mitrović and Gabriel Verret, “On transitive permutation groups with exponential graph growth”, arXiv:2508.12588 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.