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 (0)

There are currently no matching articles.