English

Factorizing the Rado graph and infinite complete graphs

Combinatorics 2021-03-23 v1

Abstract

Let F={Fα:αA}\mathcal{F}=\{F_{\alpha}: \alpha\in \mathcal{A}\} be a family of infinite graphs, together with Λ\Lambda. The Factorization Problem FP(F,Λ)FP(\mathcal{F}, \Lambda) asks whether F\mathcal{F} can be realized as a factorization of Λ\Lambda, namely, whether there is a factorization G={Γα:αA}\mathcal{G}=\{\Gamma_{\alpha}: \alpha\in \mathcal{A}\} of Λ\Lambda such that each Γα\Gamma_{\alpha} is a copy of FαF_{\alpha}. We study this problem when Λ\Lambda is either the Rado graph RR or the complete graph KK_\aleph of infinite order \aleph. When F\mathcal{F} is a countable family, we show that FP(F,R)FP(\mathcal{F}, R) is solvable if and only if each graph in F\mathcal{F} has no finite dominating set. We also prove that FP(F,K)FP(\mathcal{F}, K_\aleph) admits a solution whenever the cardinality F\mathcal{F} coincide with the order and the domination numbers of its graphs. For countable complete graphs, we show some non existence results when the domination numbers of the graphs in F\mathcal{F} are finite. More precisely, we show that there is no factorization of KNK_{\mathbb{N}} into copies of a kk-star (that is, the vertex disjoint union of kk countable stars) when k=1,2k=1,2, whereas it exists when k4k\geq 4, leaving the problem open for k=3k=3. Finally, we determine sufficient conditions for the graphs of a decomposition to be arranged into resolution classes.

Keywords

Cite

@article{arxiv.2103.11992,
  title  = {Factorizing the Rado graph and infinite complete graphs},
  author = {Simone Costa and Tommaso Traetta},
  journal= {arXiv preprint arXiv:2103.11992},
  year   = {2021}
}
R2 v1 2026-06-24T00:26:01.500Z