On Iterated Image Size for Point-Symmetric Relations

From MaRDI portal



Abstract: Let Gamma=(V,E) be a point-symmetric reflexive relation and let vinV such that |Gamma(v)| is finite (and hence |Gamma(x)| is finite for all x, by the transitive action of the group of automorphisms). Let jinN be an integer such that Gammaj(v)capGamma−(v)=v. Our main result states that |Gamma ^{j} (v)|ge | Gamma ^{j-1} (v)| + |Gamma (v)|-1. As an application we have |Gammaj(v)|ge1+(|Gamma(v)|−1)j. The last result confirms a recent conjecture of Seymour in the case of vertex-symmetric graphs. Also it gives a short proof for the validity of the Caccetta-H"aggkvist conjecture for vertex-symmetric graphs and generalizes an additive result of Shepherdson.












This page was built for publication: On Iterated Image Size for Point-Symmetric Relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448990)