Avoidance loci and tropicalizations of real bitangents to plane quartics

We compare two partitions of real bitangents to smooth plane quartics into sets of 4: one coming from the closures of connected components of the avoidance locus and another coming from tropical geometry. When both are defined, we use the Tarski principle for real closed fields in combination with the topology of real plane quartics and the tropical geometry of bitangents and theta characteristics to show that they coincide.