An even-length graph path in an edge coloring is repetitively colored when its first half and second half have the same color sequence in the same order. For a path with distinct edges colored independently and uniformly from colors, the probability of a repetition on edges is : after the first colors, the last colors are prescribed. Reversing the path preserves this property, so the corresponding bad events may be indexed by unoriented paths.
For a finite graph of maximum degree , a random independent edge coloring and the Lovász local lemma prove existence of a coloring with no repetitively colored four-edge path when , and no repetitively colored six-edge path when .
A fixed edge lies in at most unoriented paths of length . Hence a four-edge event has a closed dependency neighbourhood of size at most and probability ; the symmetric local-lemma product is at most . The corresponding six-edge quantities are , and . The stated constants make both products less than one.
Both lengths can be excluded simultaneously with for an absolute constant . Apply the asymmetric Lovász local lemma with parameters , . A path of length meets at most four-edge paths and six-edge paths. The sums of neighbour parameters are therefore bounded by constants times . Choosing sufficiently large makes both products in the local-lemma inequalities at least one half, establishing the claim.
Articles by others on the same topic
There are currently no matching articles.