On the Ubiquity and Utility of Cyclic Schemes
Let k,l,m,n, and μ be positive integers. A Zμ--{\it scheme of valency} (k,l) and {\it order} (m,n) is a m×n array (Sij) of subsets Sij⊆Zμ such that for each row and column one has ∑j=1n∣Sij∣=k and ∑i=1m∣Sij∣=l, respectively. Any such scheme is an algebraic equivalent of a (k,l)-semi-regular bipartite voltage graph with n and m vertices in the bipartition sets and voltages coming from the cyclic group Zμ. We are interested in the subclass of Zμ--schemes that are characterized by the property a−b+c−d≡0 (mod μ) for all a∈Sij, b∈Sih, c∈Sgh, and d∈Sgj where i,g∈1,...,m and j,h∈1,...,n need not be distinct. These Zμ--schemes can be used to represent adjacency matrices of regular graphs of girth ≥5 and semi-regular bipartite graphs of girth ≥6. For suitable ρ,σ∈N with ρk=σl, they also represent incidence matrices for polycyclic (ρμk,σμl) configurations and, in particular, for all known Desarguesian elliptic semiplanes. Partial projective closures yield {\it mixed Zμ-schemes}, which allow new constructions for Krčadinac's sporadic configuration of type (346) and Balbuena's bipartite (q−1)-regular graphs of girth 6 on as few as 2(q2−q−2) vertices, with q ranging over prime powers. Besides some new results, this survey essentially furnishes new proofs in terms of (mixed) Zμ--schemes for ad-hoc constructions used thus far.