Topic: analysis

RIKEN iTHEMS invites independent research in algebra, geometry, analysis and related mathematical foundations, with interdisciplinary collaboration across natural and mathematical sciences. Senior researchers also coordinate projects and mentor colleagues. Positions are based at the Wako campus, Japan. Initial one-year contracts are renewable within role-specific limits. Employment starts on or after 1 April 2027, negotiable. Applications through Academic Jobs Online must arrive by 20 November 2026, Japan time.

Rodolfo Reis Soldati presents a Lean formalisation of a corrected proof of the generalised quantum Stein lemma, which gives relative entropy an operational interpretation in quantum resource theories. Formal verification combines topology, analysis and operator algebra, exposes small imprecisions in the mathematical argument and motivates a sharper definition of a resource theory. The resulting foundations extend the Lean-QuantumInfo library and support broader collaborative formalisation of quantum physics.