Informal HET Seminar at IAS | Minhyong Kim, Oxford University | “Some Arithmetic Path Integrals”