Bulk-edge correspondence of periodically driven 2D systems with time-reversal symmetry*

We propose an edge invariant for two-dimensional Floquet systems with time-reversal symmetry. This edge index is physically motivated and locally computable. In addition, we generalize an existing construction of a bulk invariant to systems with disorder. Finally, we derive a bulk-edge correspondence which relates the nontrivial bulk behavior with the edge modes present on a boundary at the end of the evolution. Our results provide the first bulk-boundary correspondence for Floquet systems in this symmetry class.