I discuss recent progress towards calculating the QCD phase diagram at finite density using the functional Renormalisation Group (fRG). After introducing the fRG as applied to QCD, I explain some of the challenges encountered in functional approaches to the QCD phase diagram.
Many of these can be resolved by recent developments of new numerical methods. In particular, the application of numerical hydrodynamics to RG flows and resolution of momentum dependences allow us to make progress towards quantitative access to the region of the conjectured critical end-point (CEP) of the QCD phase diagram.
An interesting result is the appearance of new phases characterised by spatial modulations (the moat regime) and inhomogeneous condensates at high densities from a self-consistent first-principles calculation. For the near future, a clear program emerges to further pinpoint the CEP and its possibly modified nature using the fRG.

Abstract:

First, I will briefly outline the motivations and concepts that underpin the analogue gravity program. Next, I will provide a detailed description of a specific experiment designed to simulate various features of the cosmological reheating era. Finally, I will present our recent experimental results from this setup, where we demonstrated the parametric creation of quasiparticle pairs from the quantum vacuum, drawing an analogy with the preheating phase of reheating.

While it is unusual for odd-A nuclear species to be abundant in massive stars, 23Na is an interesting exception. Typically 0.1 solar masses of 23Na is synthesized during the carbon burning phase of supernova and ONeMg white dwarf progenitors, then maintained at approximately 10^9 K for periods ranging up to 60,000 years. Under these conditions, 23Na can pump the thermal energy of the star into escaping axions: the mechanism is the Boltzmann occupation of and subsequent axion emission from the 440 keV level. We develop a galactic model to show that the resulting flux of line axions is continuous, arising from hundreds of contributing sources. As they travel through the intra-galactic
magnetic field, some of these axions convert to detectable gamma rays. Consequently, future all-sky detectors like COSI will be able to set new limits on light axion-like particles. Other interesting aspects of these axions will be discussed.

Disruption of circadian rhythms is increasingly linked to a range of pathologies. To harness circadian biology for disease prevention and treatment, we must first establish causal relationships between rhythm disruption and the underlying clock mechanisms. This requires both the ability to quantify the “clock state” and to define what constitutes “disruption.” While significant progress has been made in model organisms, translating these insights to humans presents distinct challenges for quantitative chronobiology. In this talk, I will highlight how we have leveraged novel computational methods and high-throughput molecular datasets to begin addressing these obstacles.

Our understanding of gravitational waves produced by isolated astrophysical systems is primarily based on gravitational perturbation theory off a flat spacetime background. This leads to the common identification of gravitational radiation with massless spin-2 waves. In this talk, I will argue that gravitational waves may no longer be solely "spin-2" in character once the background spacetime is our expanding universe instead. As a result of the mixing between gravitational and other degrees of freedom, scalar "spin-0" gravitational waves may exist during the radiation-dominated epoch of our universe; as well as during its current accelerated expansion phase -- provided the main driver is not the cosmological constant, but some extra "Dark Energy" field. Moreover, during the radiation-dominated era, spin-0 Cherenkov gravitational waves may even be generated if its material source were traveling faster than 1/\sqrt{3}.

False vacuum decay is theorized to have occurred frequently throughout the history of the universe, particularly during first-order phase transitions associated with spontaneous symmetry breaking. The decay rate of such a vacuum is governed by Euclidean bounce solutions, which can exhibit a wide range of configurations, even under fixed boundary conditions. In the absence of gravitational effects, it was established over four decades ago—under reasonable assumptions—that the most symmetric bounce solution, namely the O(4)-symmetric one, minimizes the Euclidean action. This renders it the dominant tunneling path in flat spacetime. However, when gravitational effects are taken into account—as is essential in cosmological settings—all prior studies have assumed, without rigorous proof, that the O(4)-symmetric bounce continues to minimize the action. This has remained a longstanding unresolved problem for more than forty years. In this work, we address this issue by employing the anti-de Sitter/conformal field theory (AdS/CFT) correspondence to determine the configuration with the lowest Euclidean action in a metastable AdS false vacuum. Within the Euclidean formalism of Callan and Coleman, we identify the most probable decay channel of the AdS vacuum. The AdS/CFT duality enables us to sidestep the technical challenges intrinsic to metastable gravitational systems. We demonstrate that the Fubini bounce in conformal field theory—which is dual to the Coleman–de Luccia (CdL) bounce in AdS—indeed minimizes the Euclidean action among all finite bounce solutions in a conformal scalar field theory. Consequently, under certain conditions, we establish that the CdL bounce yields the lowest action among all relevant configurations, including both large and thin-wall limits. Time permitting, we also discuss the prefactor of the decay rate, as obtained from one-loop quantum corrections.

In this talk we recall the theory of codensity monads in ordinary category theory and tell about its generalization to the ∞-category setting. In particular, we show that the codensity ∞-monad of a full subcategory D of an ∞-category C satisfies a universal property: it is the terminal D-preserving ∞-monad. As an application, we show that the classical Bousfield-Kan R-completion functor can be described as the codensity ∞-monad of the full subcategory K(R) in the ∞-category of spaces spanned by the empty space and the products of Eilenberg-MacLane spaces of R-modules. As a corollary, we obtain that the Bousfield-Kan R-completion is the terminal K(R)-preserving ∞-monad.

(The deadline of the registration is on Sep 30.)

100 years have passed since quantum mechanics was born. The mathematical model has been describing the physical world remarkably well. However, the foundations of this model still remain unclear. A comprehensive understanding of quantum theory, including its foundations, is becoming even more important in an era where the demands of realizing quantum information technologies pose significant theoretical and experimental challenges.

The framework of General Probabilistic Theories (GPTs) is a modern approach to the foundations of quantum theory. It deals with mathematical generalizations of both classical and quantum theories and has attracted increasing attention in recent years. Roughly speaking, research on GPTs has three major objectives: characterizing the models of classical and quantum theories, investigating the fundamental limits of physical and information-theoretic properties arising from operational requirements, and deepening our understanding of the mathematical structures underlying classical and quantum theories. The studies of GPTs have provided many new perspectives on these topics. However, at the same time, there remain many important open problems in the field. For this reason, more researchers are encouraged to enter and contribute to research on GPTs.

This intensive three-day lecture series is designed to provide researchers and graduate students with the essential knowledge necessary for research on GPTs, starting from an introduction to the subject. The lectures will cover the mathematical foundations, physical and information-theoretic concepts, and both the established results and future directions of GPT research. The 1st day will present the necessary mathematical structures, including convex geometry, positive cones, and the operational formulation of probabilistic models. The 2nd day will explore composite systems, information-theoretic quantities, symmetries, and Euclidean Jordan algebras. The 3rd day will survey key results on discrimination and communication tasks, the characterization of classical and quantum theories, and open problems that connect GPTs to quantum information science and beyond.

Note: The content of each lecture may extend into the next slot or be covered earlier, depending on the pace of discussion and participant questions.

The 1st day (6th Oct.): Mathematical Introduction to GPTs
Venue: Large Meeting Room, 2F, Wako Welfare & Conference Building
10:30-12:00 Lecture 1 (Introduction and Mathematics on Positive Cones)
12:00-13:30 Lunch time
13:30-15:00 Lecture 2 (Mathematics on Positive Cones)
15:00-15:30 Coffee break
15:30-17:00 Lecture 3 (Introduction to General Models and Relation between Operational Probability Theories)

The 2nd day (7th Oct.): Physical and Information Theoretical Concepts in GPTs
Venue: Large Meeting Room, 2F, Wako Welfare & Conference Building
10:30-12:00 Lecture 4 (Composite Systems in GPTs)
12:00-13:30 Lunch time
13:30-15:00 Lecture 5 (Information Quantities)
15:00-15:30 Coffee break
15:30-17:00 Lecture 6 (Dynamics, Symmetry, and Euclidean Jordan Algebras)

The 3rd day (8th Oct): Previous and Future Studies in GPTs
Venue: Meeting Room 435-437, 4F, Wako Main Research Building
10:30-12:00 Lecture 7 (Discrimination and Communication Tasks)
12:00-13:30 Lunch time
13:30-15:00 Lecture 8 (Characterization of Classical and Quantum Theories)
15:00-15:30 Coffee break
15:30-17:00 Lecture 9 (Other Topics, Open Problems, and Future Directions)
18:00- Dinner

The day of no lecture (9th Oct): Open Discussion and Q&A
Research discussions will take place between the lecturer and participants in areas such as the hallways on the 3rd and 4th floors of the Main Research Bldg, RIKEN Wako Campus.

Incorporating symmetry-inspired inductive biases into machine learning models has led to many significant advances in the field, especially for its application to scientific data. However, recently, a trend has emerged that favors implicitly learning relevant symmetries from data instead of designing constrained equivariant architectures. In this talk, I will first introduce these different modelling alternatives, together with their associated benefits and limitations. Then, I will describe some examples of automatic symmetry discovery methods as a way of mitigating some of those limitations. Finally, I will present our recent work that integrates symmetry discovery and the definition of an equivariant model into a joint learnable end-to-end approach, which further alleviates some of the limitations of current equivariant modelling approaches.

One of the main tools in topological data analysis is the notion of a persistence module. The most prominent example is the persistence module associated with the Vietoris–Rips complex of a finite metric space. On the other hand, the concept of magnitude has become increasingly well known in data analysis. Recently, Nina Otter introduced blurred magnitude homology, which is also a persistence module associated with a metric space. Govc and Hepworth showed that the magnitude of a finite metric space can be uniquely recovered from its blurred magnitude homology. For 1 ≤ p ≤ ∞, we define the ℓ_p-Vietoris–Rips complexes and the associated ℓ_p​-persistent homology of metric spaces, and we study their fundamental properties. We show that for p=∞ this theory recovers the classical theory of Vietoris–Rips complexes and their persistent homology, while for p=1 it recovers the theory of blurred magnitude homology.

This is a lecture series by Prof. Mark Alford (Washington University in St. Louis) on the structure of neutron stars.

Oct. 7 (Tues), 15:30-17:00
Lecture I: Quark matter: the high-density frontier
The densest predicted state of matter is color-superconducting quark matter, which has some affinities to electrical superconductors, but a much richer phase structure because quarks come in many varieties. This form of matter may well exist in the core of compact stars, and the search for signatures of its presence is currently proceeding. I will review the nature of color-superconducting quark matter, and discuss some ideas for finding it in nature.

Oct. 14 (Tues), 15:30-17:00
Lecture II: Solid quark matter
I will review three ways in which quark matter can occur in a solid phase, where translational invariance is broken by some sort of crystalline structure. These include a color superconductor of the Fulde-Ferrell-Larkin-Ovchinnikov type, mixed phases that can arise at a nuclear/quark matter interface, and the strangelet crystal crust of a strange star.

Oct. 21 (Tues), 15:30-17:00
Lecture III: Dissipation in neutron star mergers
In a neutron star merger, nuclear matter experiences dramatic changes in temperature and density that happen in milliseconds. Mergers therefore probe dynamical properties that may help us uncover the phase structure of ultra-dense matter. I will describe some of the relevant material properties, focusing on flavor equilibration and its consequences such as bulk viscosity and damping of oscillations.

Oct. 28 (Tues), 15:30-17:00
Lecture IV: Neutrinos in dense matter: beyond modified Urca
Neutrino absorption and emission (the "Urca process") is an essential aspect of the formation and cooling of neutron stars and of the dynamics of neutron star mergers. In this talk I will describe the traditional way of calculating Urca rates, explain its shortfalls, and propose an alternative approach, the nucleon width approximation.

Sleep remains one of greatest remaining mysteries. At the Sleep 2012 conference, we conceived a shift from the concept of “sleep substances” to “wake substances” such as calcium, suggesting that sleep homeostasis may arise from the integration of wake-related activity. Inspired by Dr. Setsuro Ebashi’s work on calcium signaling, we investigated calcium’s role in sleep regulation.

Using our Triple-CRISPR method (Sunagawa et al. 2016), we screened 25 genes related to calcium channels and pumps, revealing calcium as a brake on brain activity to promote sleep (Tatsuki et al. 2016). We also developed a tissue-clearing method CUBIC (Susaki et al. 2014; Tainaka et al. 2014) to visualize calcium’s effects on neural circuits. Further work showed that calcium-dependent enzymes, CaMKIIα/β kinases, act as calcium “memory” devices, with phosphorylation sites controlling sleep onset, duration, and termination (Tone et al. 2022). Other direct and indirect calcium-dependent phosphatases, Calcineurin and PP1 (sleep-promoting), and opposing kinases, PKA (wake-promoting), function as synaptic sleep switches (Wang et al. 2024).

We also identified the ryanodine receptor 1, a calcium channel, as a molecular target of inhalational anesthetics, hinting at shared pathways between anesthesia and sleep (Kanaya et al. 2025). Lastly, we proposed the WISE (Wake Inhibition Sleep Enhancement) mechanism, where quiet wakefulness suppresses and deep sleep strengthens synaptic connections, explaining links between sleep, depression, and antidepressant effects (Kinoshita et al. 2025).

Multiple nearby Active Galactic Nuclei have been reported as sources of high-energy neutrinos detected by the IceCube observatory. These results strongly suggest efficient proton acceleration to (sub-)PeV energies, likely within Black Hole (BH) coronae, given the lack of γ-ray counterparts. The acceleration mechanisms remain unconfirmed due to limited understanding of coronal environments and challenges in modeling hot, relativistic plasmas. Although diffusive shock acceleration (DSA) has been proposed, a self-consistent treatment incorporating detailed kinetic plasma effects has been lacking. In this study, we present the particle-in-cell (PIC) method as a first-principles approach to investigate particle acceleration by collisionless shocks under conditions inferred from multi-wavelength observations of BH coronae. Using large-scale 1D3V simulations, we surveyed shock parameters, focusing on underexplored effects such as initial ion–electron temperature ratios and trans-relativistic shock velocities, and found that collisionless shocks can form even in hot, low-Mach plasmas. These shocks accelerate protons up to ~100 TeV, consistent with the energies required for IceCube neutrino detections, across a wide range of coronal conditions. The shocks partition ~10% of dissipated energy into nonthermal protons and <1% into electrons, providing critical, observationally testable constraints on the plasma state of BH coronae.

A theorem prover is a tool for the formalization of mathematics, that is, for rigorously expressing and verifying theorems and proofs on a computer. In recent years, the Lean theorem prover has seen progress in the formalization of a wide range of areas of mathematics. In this talk, I will explain formalization of mathematics in Lean from the basics and survey the formalized results achieved to date.

The ninth installment of the Intensive Lecture Series, organized by the Quantum Gravity Gatherings (QGG) study group at RIKEN iTHEMS, will feature Prof. Norio Kawakami from the Fundamental Quantum Science Program (FQSP) under RIKEN's Transformative Research Innovative Platform (TRIP). Over the course of two days, Prof. Kawakami will deliver a lecture series on quantum many-body systems.

In recent years, insights from quantum many-body physics have become central to research in quantum gravity, where correlation effects induced by gravity play nontrivial roles. By bridging perspectives from gravitational physics and quantum many-body dynamics, one hopes to understand how macroscopic spacetime and its geometric properties emerge from the collective behavior of quantum constituents at microscopic scales.

In this lecture series, Prof. Kawakami will introduce the fundamental properties of correlation effects through representative examples in condensed matter physics. A distinctive aspect of this event is its joint organization with the Fundamental Quantum Science Program (FQSP) at RIKEN. The goal is to further strengthen connections between the quantum gravity, condensed matter, and quantum information communities.

The lectures will be delivered in a blackboard-style format (in English), designed to foster interaction, active participation, and in-depth Q&A discussions. In addition, short talk sessions will be held, giving participants the opportunity to present briefly on topics of their choice. Through this informal and dynamic setting, we hope to spark active interactions among participants and create an environment where ideas can be shared openly and enthusiastically.

Abstract:
Some examples of theoretical methods to treat strongly correlated systems in condensed matter physics are explained. We start with the Kondo effect, which is one of the most fundamental quantum many-body problems and has been intensively studied to date in a wide variety of topics such as dilute magnetic alloys, heavy fermion systems, quantum dot systems, etc. Dynamical mean-field theory (DMFT) is then introduced, which enables us to systematically treat strongly correlated materials such as a Mott insulator. It is shown that the essence of DMFT is closely related to the Kondo effect. Furthermore, we explain how to apply conformal field theory (CFT) to treat correlation effects in one-dimensional electron systems.