On the split structure of lifted groups

Let ▫$wp colon tilde{X} to X$▫ be a regular covering projection of connected graphs with the group of covering transformations ▫$rm{CT}_wp$▫ being abelian. Assuming that a group of automorphisms ▫$G le rm{Aut} X$▫ lifts along $wp$ to a group ▫$tilde{G} le rm{Aut} tilde{X}$▫, the problem whether the corresponding exact sequence ▫$rm{id} to rm{CT}_wp to tilde{G} to G to rm{id}$▫ splits is analyzed in detail in terms of a Cayley voltage assignment that reconstructs the projection up to equivalence. In the above combinatorial setting the extension is given only implicitly: neither ▫$tilde{G}$▫ nor the action ▫$Gto rm{Aut} rm{CT}_wp$▫ nor a 2-cocycle ▫$G times G to rm{CT}_wp$▫, are given. Explicitly constructing the cover ▫$tilde{X}$▫ together with ▫$rm{CT}_wp$▫ and ▫$tilde{G}$▫ as permutation groups on ▫$tilde{X}$▫ is time and space consuming whenever ▫$rm{CT}_wp$▫ is largethus, using the implemented algorithms (for instance, HasComplement in Magma) is far from optimal. Instead, we show that the minimal required information about the action and the 2-cocycle can be effectively decoded directly from voltages (without explicitly constructing the cover and the lifted group)one could then use the standard method by reducing the problem to solving a linear system of equations over the integers. However, along these lines we here take a slightly different approach which even does not require any knowledge of cohomology. Time and space complexity are formally analyzed whenever ▫$rm{CT}_wp$▫ is elementary abelian.Naj bo ▫$wp colon tilde{X} to X$▫ regularna krovna projekcija povezanih grafov, grupa krovnih transformacij ▫$rm{CT}_wp$▫ pa naj bo abelova. Ob predpostavki, da se grupa avtomorfizmov ▫$G le rm{Aut} X$▫ dvigne vzdolž ▫$wp$▫ do grupe ▫$tilde{G} le rm{Aut} tilde{X}$▫, podrobno analiziramo problem, ali se ustrezno eksaktno zaporedje ▫$rm{id} to rm{CT}_wp to tilde{G} to G to rm{id}$▫ razcepi glede na Cayleyevo dodelitev napetosti, ki rekonstruira projekcijo do ekvivalence natančno. V gornjem kombinatoričnem sestavu je razširitev podana samo implicitno: podani niso ne ▫$tilde{G}$▫ ne delovanje ▫$Gto rm{Aut} rm{CT}_wp$▫ ne 2-kocikel ▫$G times G to rm{CT}_wp$▫. Eksplicitno konstruiranje krova ▫$tilde{X}$▫ ter ▫$rm{CT}_wp$▫ in ▫$tilde{G}$▫ kot permutacijskih grup na ▫$tilde{X}$▫ je časovno in prostorsko zahtevno vselej, kadar je ▫$rm{CT}_wp$▫ veliktako je uporaba implementiranih algoritmov (na primer, HasComplement v Magmi) vse prej kot optimalna. Namesto tega pokažemo, da lahko najnujnejšo informacijo o delovanju in 2-kociklu učinkovito izluščimo neposredno iz napetosti (ne da bi eksplicitno konstruirali krov in dvignjeno grupo)zdaj bi bilo mogoče uporabiti standardno metodo reduciranja problema na reševanje sistema linearnih enačb nad celimi števili. Vendar tukaj uberemo malce drugačen pristop, ki sploh ne zahteva nobenega poznavanja kohomologije. Časovno in prostorsko zahtevnost formalno analiziramo za vse primere, ko je ▫$rm{CT}_wp$▫ elementarna abelova

Multicoloured Random Graphs: Constructions and Symmetry

This is a research monograph on constructions of and group actions on countable homogeneous graphs, concentrating particularly on the simple random graph and its edge-coloured variants. We study various aspects of the graphs, but the emphasis is on understanding those groups that are supported by these graphs together with links with other structures such as lattices, topologies and filters, rings and algebras, metric spaces, sets and models, Moufang loops and monoids. The large amount of background material included serves as an introduction to the theories that are used to produce the new results. The large number of references should help in making this a resource for anyone interested in beginning research in this or allied fields.Comment: Index added in v2. This is the first of 3 documents; the other 2 will appear in physic

Synchronizing permutation groups and graph endomorphisms

The current thesis is focused on synchronizing permutation groups and on graph endo- morphisms. Applying the implicit classification of rank 3 groups, we provide a bound on synchronizing ranks of rank 3 groups, at first. Then, we determine the singular graph endomorphisms of the Hamming graph and related graphs, count Latin hypercuboids of class r, establish their relation to mixed MDS codes, investigate G-decompositions of (non)-synchronizing semigroups, and analyse the kernel graph construction used in the theorem of Cameron and Kazanidis which identifies non-synchronizing transformations with graph endomorphisms [20]. The contribution lies in the following points: 1. A bound on synchronizing ranks of groups of permutation rank 3 is given, and a complete list of small non-synchronizing groups of permutation rank 3 is provided (see Chapter 3). 2. The singular endomorphisms of the Hamming graph and some related graphs are characterised (see Chapter 5). 3. A theorem on the extension of partial Latin hypercuboids is given, Latin hyper- cuboids for small values are counted, and their correspondence to mixed MDS codes is unveiled (see Chapter 6). 4. The research on normalizing groups from [3] is extended to semigroups of the form , and decomposition properties of non-synchronizing semigroups are described which are then applied to semigroups induced by combinatorial tiling problems (see Chapter 7). 5. At last, it is shown that all rank 3 graphs admitting singular endomorphisms are hulls and it is conjectured that a hull on n vertices has minimal generating set of at most n generators (see Chapter 8)

Weighted Modulo Orientations of Graphs

This dissertation focuses on the subject of nowhere-zero flow problems on graphs. Tutte\u27s 5-Flow Conjecture (1954) states that every bridgeless graph admits a nowhere-zero 5-flow, and Tutte\u27s 3-Flow Conjecture (1972) states that every 4-edge-connected graph admits a nowhere-zero 3-flow. Extending Tutte\u27s flows conjectures, Jaeger\u27s Circular Flow Conjecture (1981) says every 4k-edge-connected graph admits a modulo (2k+1)-orientation, that is, an orientation such that the indegree is congruent to outdegree modulo (2k+1) at every vertex. Note that the k=1 case of Circular Flow Conjecture coincides with the 3-Flow Conjecture, and the case of k=2 implies the 5-Flow Conjecture. This work is devoted to providing some partial results on these problems. In Chapter 2, we study the problem of modulo 5-orientation for given multigraphic degree sequences. We prove that a multigraphic degree sequence d=(d1,..., dn) has a realization G with a modulo 5-orientation if and only if di≤1,3 for each i. In addition, we show that every multigraphic sequence d=(d1,..., dn) with min{1≤i≤n}di≥9 has a 9-edge-connected realization that admits a modulo 5-orientation for every possible boundary function. Jaeger conjectured that every 9-edge-connected multigraph admits a modulo 5-orientation, whose truth would imply Tutte\u27s 5-Flow Conjecture. Consequently, this supports the conjecture of Jaeger. In Chapter 3, we show that there are essentially finite many exceptions for graphs with bounded matching numbers not admitting any modulo (2k+1)-orientations for any positive integers t. We additionally characterize all infinite many graphs with bounded matching numbers but without a nowhere-zero 3-flow. This partially supports Jaeger\u27s Circular Flow Conjecture and Tutte\u27s 3-Flow Conjecture. In 2018, Esperet, De Verclos, Le and Thomass introduced the problem of weighted modulo orientations of graphs and indicated that this problem is closely related to modulo orientations of graphs, including Tutte\u27s 3-Flow Conjecture. In Chapter 4 and Chapter 5, utilizing properties of additive bases and contractible configurations, we reduced the Esperet et al\u27s edge-connectivity lower bound for some (signed) graphs families including planar graphs, complete graphs, chordal graphs, series-parallel graphs and bipartite graphs, indicating that much lower edge-connectivity bound still guarantees the existence of such orientations for those graph families. In Chapter 6, we show that the assertion of Jaeger\u27s Circular Flow Conjecture with k=2 holds asymptotically almost surely for random 9-regular graphs

LIPIcs, Volume 248, ISAAC 2022, Complete Volume

LIPIcs, Volume 248, ISAAC 2022, Complete Volum