arXiv++ Combinatorics

These are some brief notes on the translation from Razborov's recently-developed notion of flag algebra into the lexicon of functions and measures on certain abstract Cantor spaces (totally disconnected compact metric spaces).

For r in [0,1] let μ_r be the Bernoulli measure on the Cantor set given as the infinite power of the measure on the two-point set with weights r and 1-r. For r and s in [0,1] it is known that the measure μ_r is continuously reducible to μ_s (that is, there is a continuous map sending μ_r to μ_s) if and only if s can be written as a certain kind of polynomial in r; in this case s is said to be binomially reducible to r. In this paper we answer in the negative the following question posed by Mauldin: Is it true that the product measures μ_r and μ_s are homeomorphic if and only if each is a continuous image of the other, or, equivalently, each of the numbers r and s is binomially reducible to the other?

For any initial configuration of fewer than N/2 cars the BML model will self organize to attain speed one. On the other hand, there is a configuration of size m in which no car can move if and only if m is at least 2N.