A quadratically enriched correspondence theorem

We quadratically enrich Mikhalkin’s correspondence theorem. That is, we prove a correspondence between algebraic curves on a toric surface counted with Levine’s quadratic enrichment of the Welschinger sign, and tropical curves counted with a quadratic enrichment of Mikhalkin’s multiplicity for tropical curves.