Toward a Characterization of Simulation Between Arithmetic Theories (ArXiv cs.CC Recent Papers, 2026)