The Complexity of Proper Homotopy Equivalence of Graphs

We demonstrate that the proper homotopy equivalence relation for locally finite graphs is Borel complete. Furthermore, among the infinite graphs, there is a comeager equivalence class. As corollaries, we obtain the analogous results for the homeomorphism relation of noncompact surfaces with pants decompositions.