Effective asymmetric coloring conjecture for inverse limits of finite permutation groups

Let Gr\mathscr{Gr} denote the class of finite permutation groups. Let (Gi,φi)ik(G_i,\varphi_i)_{i\leq k} be an epimorphic inverse sequence of length kk of finite permutation groups with pairwise disjoint domains. A coloring is zero-neutral and zero-asymmetric in the sense used for the inverse-limit action in the paper.

Effective asymmetric coloring conjecture. There exists a function g:GrNg:\mathscr{Gr}\to\mathbb N such that, whenever kg(G0)k\geq g(G_0), the inverse limit of this system admits a zero-neutral zero-asymmetric 2-coloring.

The preceding finite theorem proves a bound depending on an intermediate group GcG_c; this conjecture asks for a bound depending only on the initial group G0G_0. The given text does not state whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Laszlo Babai, “Asymmetric coloring of locally finite graphs and profinite permutation groups: Tucker's Conjecture confirmed”, arXiv:2110.08492 (2021).

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.