Foundations of Quantum Programming Lecture

2026年9月28日(月) - 10月2日(金)

Mingsheng Ying (Professor, University of Technology Sydney, Australia)

Lecture Professor Mingsheng Ying is internationally recognised for his contributions to quantum computing, quantum programming, and quantum software verification. He is a Distinguished Professor at the UTS Centre for Quantum Software and Information at the University of Technology Sydney. His research interests include quantum computation, programming language theory, quantum program semantics, verification, and the foundations of quantum software. Professor Ying is Co-Editor-in-Chief of ACM Transactions on Quantum Computing and has served in editorial roles for several leading journals and conferences. Abstract Recent advances in quantum hardware have brought the field from prototype devices to increasingly practical platforms. To fully realise the potential of quantum computing, quantum programming and software-development technologies will play a crucial role. This lecture series systematically introduces the theoretical foundations of quantum programming, including operational and denotational semantics, quantum program logics with an emphasis on quantum Hoare logic, verification and analysis of quantum programs, and quantum recursive programming. The lectures will also discuss open problems that may inspire future research in quantum programming.

会場: SUURI-COOL (Kyushu) C502（九州大学 伊都キャンパス West 1号館 D棟） (メイン会場) / via Zoom

イベント公式言語: 英語

Foundations of Quantum Programming Mini-Workshop & Contributed Talks

2026年9月28日(月) - 10月2日(金)

Mingsheng Ying (Professor, University of Technology Sydney, Australia)
落合 啓之 (九州大学 マス・フォア・インダストリ研究所 教授)
Jianjun Zhao (九州大学 教授)
Minh Canh Do (北陸先端科学技術大学院大学 講師)

会場: SUURI-COOL (Kyushu) C502（九州大学 伊都キャンパス West 1号館 D棟） (メイン会場) / via Zoom

イベント公式言語: 英語

Strong Corks: Applications and Construction

2026年10月2日(金) 14:00 - 15:30

向原 樹映 (大阪大学 大学院情報科学研究科 修士課程)

Four-dimensional topology exhibits remarkable phenomena that are quite different from those in other dimensions. Understanding exotic phenomena in dimension four is one of the central problems in the field, but much remains mysterious. Corks are fundamental objects closely related to various exotic phenomena in dimension four. In recent years, developments in Floer theory have led to increasing interest in the study of strong corks. In this talk, I will first explain why strong corks are important, focusing on their applications to knot theory. I will then explain Floer-theoretic methods for detecting strong corks. Finally, I will present new infinite families of strong corks constructed in my work (arXiv:2601.02230) using equivariant Kirby calculus.

会場: via Zoom / セミナー室 (359号室) 3階 359号室

イベント公式言語: 英語

Adaptive Regulation through Model-Observation Mismatch: From Process Control to Cognitive Neurorobotics

2026年10月8日(木) 13:00 - 14:00

Henrique Oyama (沖縄科学技術大学院大学 (OIST) 認知脳ロボティクス研究ユニット ポスドク研究員)

Adaptive behavior requires biological and artificial systems to respond when their internal models no longer match what they observe. How can such discrepancies be used not only to correct predictions, but also to regulate how a system interacts with its environment? In this talk, I will explore this question across two research directions spanning process control and cognitive neurorobotics. First, I will introduce a model predictive control framework in which a controller actively guides a nonlinear process toward informative conditions to distinguish among competing models while maintaining safe operation. I will then move to cognitive neurorobotics, where brain-inspired computational principles are used to investigate perception, prediction, and action in embodied artificial agents. In physical human-robot interaction, I will show how a predictive-coding-inspired recurrent neural network enables a humanoid robot to regulate the balance between its learned expectations and sensory information arising from human-guided movements. In particular, recent mismatches between sensory observations and the robot's internal model are used to regulate how strongly it relies on its learned dynamics or accommodates ongoing interaction. Together, these studies illustrate how model-observation mismatch can provide a general signal for adaptive regulation, connecting ideas from control engineering, artificial intelligence, neuroscience, and embodied cognition.

会場: 研究本館 3階 359号室とZoomのハイブリッド開催 / via Zoom

イベント公式言語: 英語

Quantum Computing for Nuclear Physics (QC-NP 2026)

2026年10月13日(火) - 16日(金)

Join us for a comprehensive workshop on the application of quantum computing to nuclear physics, bringing together experts from around the world to share the latest developments and advancements in this rapidly evolving field. The workshop will cover a broad range of topics, including quantum algorithms, quantum computing hardware, and their applications to lattice field theories, gauge field theories, scattering, nuclear structure, and nuclear astrophysics. The workshop will provide ample opportunities for participants to exchange ideas, share their research, and initiate new collaborations. Through a combination of presentations and interactive discussion sessions, we aim to foster a collaborative environment that drives innovation and advances our understanding of the intersection of quantum computing and nuclear physics. [Workshop Schedule] The workshop will start from the morning of October 13 The banquet will be held on the evening of October 15 [Important Dates] Registration deadline with oral presentation: August 31, 2026 Recommended to register by: August 31, 2026 [Invited Speakers] A. Baha Balantekin (University of Wisconsin Madison) Raul Briceño (University of California Berkeley/Lawrence Berkeley National Laboratory) Philipp Höhn (Okinawa Institute of Science and Technology Etsuko Itou (Kyoto University) Dima Kharzeev (Brookhaven National Laboratory/Stony Brook University) Yuta Kikuchi (Quantinuum) Denis Lacroix (IJCLab) Dean Lee (Michigan State University) Mario Motta (IBM Quantum) Takeshi Sato (University of Tokyo) Ionel Stetcu (Los Alamos National Laboratory) Paul Stevenson (University of Surrey) Nathan Wiebe (University of Toronto) Seiji Yunoki (RIKEN) [Organizers] Ermal Rrapaj (Lawrence Berkeley National Laboratory/RIKEN, Chair) Carlo Barbieri (University of Milan) Tetsuo Hatsuda (RIKEN) Masaaki Kimura (RIKEN/University of Tokyo) Haozhao Liang (University of Tokyo) Tomoya Naito (University of Tokyo/RIKEN) Enrico Prati (University of Milan) Alessandro Roggero (University of Trento) Takeshi Sato (University of Tokyo)

会場: 東京大学 本郷キャンパス 理学部１号館

イベント公式言語: 英語

From data to cohomologies of digraphs, to representations of categories

2026年10月13日(火) 10:30 - 12:00

Luigi Caputi (Research Fellow, Department of Mathematics, University of Bologna, Italy)

Motivated by applications to topological data analysis, in the last years we have been witnessing a growing interest in new (topological, homological, categorical) features associated to graphs. The aim of the talk is to describe a recently developed (co)homology theory of directed graphs, called multipath cohomology, whose definition is inspired by Khovanov homology of knots. We will show its relations with more established invariants, such as chromatic homology of graphs, Hochschild homology of algebras, and matching complexes. If time allows it, we will show that the ranks of multipath cohomology, when restricted to graphs with bounded genus, grow at most polynomially in the number of edges, and that the order of its torsion is bounded. This will depend upon structural properties of (the representation category of) graphs, such as its Noetherianity properties.

会場: 研究本館 3階 359号室 (メイン会場) / via Zoom

イベント公式言語: 英語

Majorana Modes: Fundamentals, Status & Directions

2026年10月13日(火) - 16日(金)

Workshop Overview Majorana modes lie at the heart of contemporary condensed-matter physics, exhibiting non-Abelian exchange statistics; when protected by topology, they are robust against environmental perturbations. Here, “Majorana mode” is used broadly to include a localized zero-energy Majorana state (a Majorana zero mode) and chiral Majorana edge states with gapless dispersion crossing zero energy. This three-day in-person workshop returns to fundamentals and open questions. It opens with a tutorial session on the afternoon of October 13 for non-experts and adjacent fields, and emphasizes rigorous theory–experiment dialogue, robust methodology, and concrete benchmarks for realizing and testing Majorana modes. Participants Experimentalists and theorists working on Majorana modes Researchers in adjacent fields (quantum materials, superconductivity, mesoscopic physics) Graduate students and postdocs interested in entering the field Topics include (non-exhaustive) Majorana zero modes in a variety of nanostructures Chiral Majorana edge states in quantum spin liquids and other platforms Disorder, interactions, and realistic device modeling Experimental diagnostics and “smoking gun” signatures Topological Quantum Spin Systems

会場: 大河内記念ホール

イベント公式言語: 英語

Finding your rhythm in a complex acoustic environment

2026年10月14日(水) 13:00 - 14:00

Kim Hoke (Professor, Department of Biology, Colorado State University, USA)

My lab integrates genetic, transcriptomic, morphological, and physiological mechanisms to understand the striking diversity of behavior. This talk will focus on recent work on frog acoustic communication. Although the basic acoustic features of frog calls differ reliably among species, individual males of the same species differ in some acoustic properties and female frogs use those male-male differences in mate choice. And for many species, this communication is occurring in very dense choruses which can reach hundreds of males! Our current work assesses which features of calls are characteristic of individuals and how males adjust their calling based on their social environments. We hope to trace how overall chorus dynamics emerge from individual call strategies playing out in time and space, and link those individual strategies to neurobiological mechanisms. We also address the complementary question of female preferences: how do females integrate over a series of signals in this cacophony to make mate choice decisions? Together these lines of research adopt a systems approach to understand how the robust genetic and developmental processes that produce species-specific behaviors have evolved to generate the striking diversity of communication strategies frogs employ.

会場: セミナー室 (359号室) / via Zoom

イベント公式言語: 英語

AI and Scientific Discovery

2026年10月19日(月) 14:00 - 15:30

Joseph Ledsam (Google Health Lead, Japan, Google Japan)

Artificial intelligence is having a transformative impact on health and scientific discovery. This presentation will trace the evolution from foundational breakthroughs to the sophisticated capabilities of today's large-scale AI models. It will explore how these advanced systems are creating new possibilities across the healthcare landscape, from accelerating therapeutic development to enhancing diagnostic processes and interpreting complex medical data. The session will also take a deeper look at the future possibilities for AI in health and explore the emerging role of agentic AI in scientific discovery. The core theme is the responsible development of AI to create tools that assist scientists, support healthcare professionals, and empower users. Bio: Dr Joseph Ledsam leads Google Health in Japan, where he works across AI research, digital health and health in Google products. He has led research in medical AI, genomics and drug discovery published in journals including Nature, Nature Medicine and Nature Methods. Before moving to Japan he worked as a medical doctor in the UK, and founded the Health Research and Genomics teams in Google DeepMind. He obtained his medical degree from The University of Leeds, UK, and was a research fellow at University College London during his clinical residency.

会場: 研究本館 435-437号室 (メイン会場) / via Zoom

イベント公式言語: 英語

Data assimilation with the full covariance on a fault-tolerant quantum computer

2026年10月21日(水) 15:00 - 16:30

三好 建正 (理化学研究所 計算科学研究センター (R-CCS) データ同化研究チーム チームプリンシパル)

Data assimilation (DA) is the core of numerical weather prediction, estimating an accurate state of the weather model by combining forecast and observations. DA provides a general approach and is being applied to various problems beyond weather. The state estimation is a linear solve where the background error covariance B is essential. Since B is an N × N matrix with N ~ 10^8 to 10^9 for the weather model, the full B has never been used. For decades the community has approximated B by parameterized covariance models or by low-rank ensembles with localization and thereby discards genuine structures that we know exist from large-ensemble experiments. Fault-tolerant quantum computing (FTQC) could remove this constraint, since quantum linear system solvers scale polylogarithmically in N. However, the DA equations cannot be applied naively: the observation-space form squares the block-encoding normalization factor for observations with wide footprints, and the state-space form contains B^{-1}, whose condition number ~10^8. This talk presents a combined state-observation formulation that avoids both difficulties: it contains no B^{-1}, and its condition number is governed by the observation error covariance R rather than by B. Numerical experiments with the Lorenz-96 model reproduce the exact solution with the full B and outperform localized ensemble Kalman filters. The formulation assumes that B and the observation operator are provided as block-encoded oracles, and how to construct such oracles without ever storing the matrices is the open problem. A first concrete target is an end-to-end demonstration with Lorenz-96 on a quantum simulator with only seven data qubits, which I would like to discuss with the iTHEMS community.

会場: セミナー室 (359号室) (メイン会場) / via Zoom

イベント公式言語: 英語

Maximal Enhancements in Eight-Dimensional Non-Supersymmetric Heterotic Strings

2026年10月30日(金) 10:30 - 12:00

Yuefeng Liu (九州大学 高等研究院 学術研究員)

We classify maximally enhanced, rank-preserving non-supersymmetric heterotic strings in eight dimensions by studying orbifolds of supersymmetric heterotic strings on T^2.We first review the construction in nine dimensions, where it reproduces the 95 maximally semisimple enhancement points obtained from previous extended-Dynkin analyses. We then start from the maximally enhanced supersymmetric Narain points in eight dimensions and use Kac's theorem to enumerate candidate order-two inner actions, retaining only those that lift to consistent Narain-lattice shifts. This gives 1210 maximal enhancement points, of which 71 are tachyon-free, and 25 have neither tachyons nor shifted-sector massless scalars. For each entry we determine the gauge algebra and the low-lying scalar and fermion spectra, and for the tachyon-free cases we evaluate the one-loop cosmological constant. For the 25 subcases without shifted-sector massless scalars, we further compute the Hessian of the one-loop potential and test the refined de Sitter swampland conjecture.

会場: セミナー室 (359号室) / via Zoom

イベント公式言語: 英語

Quantum Creation of the Universe: Reassessing the No-Boundary and Tunneling Proposals

2026年10月30日(金) 14:00 - 15:00

松井 宏樹 (大阪公立大学 数学研究所 特別研究員)

How was our Universe created? This is one of the most fundamental questions in cosmology. Quantum cosmology attempts to answer it by using a "wave function of the Universe," and for four decades the discussion has been dominated by two proposals: the no-boundary proposal of Hartle and Hawking, and the tunneling proposal of Vilenkin. The two predict very different initial states for our Universe, yet for a long time there was no common framework in which they could be exactly analyzed and compared. In this talk I will begin with a pedagogical introduction to the wave function of the Universe and to the Lorentzian path integral formulation based on Picard-Lefschetz theory, which makes the gravitational path integral well defined without the ambiguities of the traditional Euclidean approach and allows both proposals to be treated on the same footing. I will then present our recent results. Using Lefschetz-thimble analysis together with resurgence theory, we resolve the Stokes-line ambiguity that had obscured earlier analyses and show that the path integral uniquely yields the tunneling wave function rather than the no-boundary one. The no-boundary saddles nevertheless leave a trace: their contributions exactly cancel the Borel ambiguity of the perturbative quantum-gravity corrections around the tunneling saddle, demonstrating that resurgence is at work in quantum cosmology. I will also discuss what changes beyond general relativity, using Hořava-Lifshitz gravity as a concrete UV-complete example.

会場: 研究本館 3階 359号室とZoomのハイブリッド開催 / via Zoom

イベント公式言語: 英語

Mathematical Application Research Team Meeting #20

2026年10月30日(金) 15:30 - 16:45

兒玉 悠弥 (鹿児島大学 大学院理工学研究科 助教)

Mathematical Application Research Team is delighted to welcome Prof. Kodama Yuya from Kagoshima University for an upcoming team meeting. We warmly invite everyone to join us to hear his talk. Title: Thompson's groups and knot theory Abstract: Thompson’s groups were introduced by Richard Thompson in the 1960s. They first appeared in mathematical logic, but they have since been studied in many other areas of mathematics. For example, they were rediscovered in homotopy theory, and some researchers have tried to use them in cryptography. In 2014, Vaughan Jones found an interesting connection between Thompson’s groups and knot theory. In this talk, I will first introduce Thompson’s groups and some of their connections with other areas. I will then explain the basic idea of Jones’s theory. If time permits, I will also mention my joint work with Takano of Osaka University.

会場: via Zoom / セミナー室 (359号室) 3階 359号室

イベント公式言語: 英語

Scaling regimes of the 1D Kuramoto-Sivashinsky equation

2026年11月5日(木) 17:00 - 18:30

Liubov Gosteva (Ph.D. Student, LPMMC, Université Grenoble Alpes, France)

The Kuramoto-Sivashinsky (KS) equation describes various phenomena exhibiting chaos and instabilities, including flames, reaction-diffusion processes, and thin liquid film flows. It resembles the Kardar-Parisi-Zhang (KPZ) equation, with the key difference being the negative "viscosity" in the KS equation. The KS equation is known to belong to the KPZ universality class: at large scales, its statistical properties are governed by the KPZ fixed point, characterized by the dynamical exponent $z=3/2$ and a known PDF of fluctuations. In this talk, I will analyze the stochastic KS equation using the functional renormalization group (FRG). In this framework, attractive fixed points of the FRG equation determine large-scale universal behavior, while unstable fixed points govern small-scale universal behavior. I will show that the two-point correlation function exhibits, besides the KPZ scaling at large scale, another universal scaling regime at small scale, with $z=1$. This scaling is very robust as it is intrinsic to the KS dynamics. It arises from the vanishing of the effective viscosity when evolving from its microscopic negative KS value, to its macroscopic effective positive KPZ value. I will also present results from direct numerical simulations, which confirm these findings.

会場: via Zoom

イベント公式言語: 英語

A non-negative matrix factorization-based approach to integrating multimodal omics data with automatically tuned hyperparameters

2026年11月16日(月) 14:00 - 15:00

ドロシー・エリス (理化学研究所 生命医科学研究センター (IMS) 統合ゲノミクス研究チーム 特別研究員)

会場: via Zoom

イベント公式言語: 英語

KEK(-iTHEMS) Theory Workshop 2026

2026年11月25日(水) - 27日(金)

林 博貴 (東海大学 理学部物理学科 教授)
川合 光 (大阪公立大学 南部陽一郎物理学研究所 客員教授)
森 崇人 (総合研究大学院大学 高エネルギー加速器科学研究科 素粒子原子核専攻 博士課程)
中川 大也 (東京大学 大学院理学系研究科 物理学専攻 助教)
重森 正樹 (名古屋大学 大学院理学研究科 理学専攻 物理学第二 教授)
高柳 匡 (京都大学 基礎物理学研究所 教授)
棚橋 典大 (京都大学 大学院理学研究科 学習物理学特別講座 特定准教授)
山岡 起也 (大阪大学 大学院理学研究科 物理学専攻 博士課程)

The KEK Theory Workshop is an annual workshop on string theory and quantum field theory. Since 2014, it has been held every winter as an international workshop and has become one of the major annual events in the high-energy physics community in Japan. This year’s workshop will be held on site at the KEK Tsukuba Campus from November 25 to 27, and it will be jointly organized with RIKEN iTHEMS. The workshop this year aims to provide a forum for extensive discussions on recent developments in string theory, matrix models, gauge/gravity duality, black-hole microstates, lattice constructions of chiral gauge theories, and open quantum systems.

会場: Seminar Hall, Building 3, KEK Tsukuba Campus

イベント公式言語: 英語

Hamiltonian simulation: Standard algorithms and recent developments

2026年12月17日(木) 10:30 - 17:00

水田 郁 (大阪大学 量子情報・量子生命研究センター 准教授)

This is a lecture-style seminar of quantum computation. The tentative schedule consists of three slots: 10:30-12:00, 13:30-15:00, and 15:30-17:00. Due to equipment limitations, the blackboard might not be visible on Zoom, so we recommend attending in person.

会場: セミナー室 (359号室) (メイン会場) / via Zoom

イベント公式言語: 英語

Optimal transport: Thermodynamics, biological information processing and generative models

2027年1月18日(月) 13:30 - 15:00

伊藤 創祐 (東京大学 大学院理学系研究科 准教授)

This is a joint seminar co-hosted by Institute for Physics of Intelligence (iπ), UTokyo, and the Venue is #1042,10F of Science Bldg.1 Optimal transport theory is a useful theoretical framework for geometrically characterizing the distance between probability distributions. It is not only used in recent research on generative models but has also been applied to detect information-processing capabilities in biological systems from a statistical perspective, and to discuss thermodynamic efficiency. In this seminar, I will begin with an introduction to optimal transport theory, and also discuss our research on its various applications. More specifically, I will discuss the following topics: 1) The problem of minimizing entropy production within a finite time and its experimental testing. 2) The application of optimal transport to the training of generative models, specifically diffusion models, and their optimal protocols. 3) Quantifying information processing performance using optimal transport in biological signal transduction.

会場: 東京大学 本郷キャンパス 理学部１号館 (メイン会場) / via Zoom

イベント公式言語: 英語

iTHEMS NOW & NEXT 2027

2027年7月13日(火) - 15日(木)

We will hold our annual gathering, **“iTHEMS NOW & NEXT 2027,” from July 13 to 15, 2027**. iTHEMS NOW & NEXT has traditionally been a two-day in-house event, providing an important opportunity for all iTHEMS members, including visiting researchers and new members, to gain a comprehensive overview of current activities across iTHEMS, to learn about research beyond their own fields, and to discuss where iTHEMS should go next. In 2027, we will **expand NOW & NEXT from two to three days** and, for the first time, invite leading researchers from outside iTHEMS across a broad range of research fields. While the first two days will retain the main character of our traditional in-house gathering, the extended three-day format is intended to create a broader opportunity for scientific exchange and, in particular, to enable leading researchers from outside iTHEMS to become better acquainted with our research activities and with the researchers who make up the iTHEMS community. As in previous years, the program will present activities across iTHEMS, including those of its divisions, research teams, working groups, and study groups, together with research presentations and poster sessions by iTHEMS members. Particular emphasis will be placed on communication across disciplinary and organizational boundaries and on identifying emerging research directions and opportunities for new collaborations. The additional third day will build on the presentations and discussions of the preceding two days and provide an opportunity for invited researchers to gain a deeper understanding of the breadth and strengths of research at iTHEMS and to interact directly with our members. We hope that these exchanges will not only introduce iTHEMS and its researchers more widely to leading scientists in different fields, but also bring new perspectives to our community and open possibilities for future scientific interactions and collaborations. Through this expanded three-day NOW & NEXT 2027, we hope to share where iTHEMS is now and where it is heading next, both within our own community and with leading researchers from outside iTHEMS, and to explore together new possibilities for the future development of iTHEMS.

会場: 理化学研究所和光キャンパス 本部棟2階大会議室 (メイン会場) / via Zoom

イベント公式言語: 英語