Realizable cycle structures in digraphs - Archive ouverte HAL
Preprints, Working Papers, ... Year : 2023

Realizable cycle structures in digraphs

Abstract

Simple cycles on a digraph form a trace monoid under the rule that two such cycles commute if and only if they are vertex disjoint. This rule describes the spatial configuration of simple cycles on the digraph. Cartier and Foata have showed that all combinatorial properties of closed walks are dictated by this trace monoid. We find that most graph properties can be lost while maintaining the monoidal structure of simple cycles and thus cannot be inferred from it, including vertex-transitivity, regularity, planarity, Hamiltonicity, graph spectra, degree distribution and more. Conversely we find that even allowing for multidigraphs, many configurations of simple cycles are not possible at all. The problem of determining whether a given configuration of simple cycles is realizable is highly non-trivial. We show at least that it is decidable and equivalent to the existence of integer solutions to systems of polynomial equations.
Fichier principal
Vignette du fichier
main.pdf (488.84 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03408041 , version 1 (28-10-2021)
hal-03408041 , version 2 (31-05-2023)

Identifiers

Cite

Jean Fromentin, P.-L Giscard, T Karaboghossian. Realizable cycle structures in digraphs. 2023. ⟨hal-03408041v2⟩
125 View
107 Download

Altmetric

Share

More