Jinho Baik, Thomas Bothner, “Edge distribution of thinned real eigenvalues in the real Ginibre ensemble” (arXiv)