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).

Eruptions that occur at volcanoes after periods of quiescence are difficult to forecast. Pathways that connect the source to the surface may have become sealed. The pressurisation of the source leads to the deformation of the crust. Initially the crust deforms elastically, strain is accommodated via ground movement and elastic strain energy is stored to the crust. Then, the deformation transitions to inelastic where strain is accommodated via brittle failure (volcano-tectonic event), and elastic strain energy is transferred from the crust.

We present a novel method to estimate the temporal evolution of elastic strain energy and bulk stress during periods of unrest. We consider the transfer of energy using measurements of surface deformation and seismic activity. We evaluate the temporal evolution of crustal bulk stress and investigate the progression of deformation in the crust. We apply our method to the unrest at the Campi Flegrei caldera, Italy from 2011-2024, and the eruption of Sierra Negra, Galapagos, 2018. Our calculations reveal that the bulk stress follows a characteristic progression, in which the stress initially increases linearly with time prior to the onset of significant seismicity, consistent with elastic deformation. We then observe a transition to inelastic deformation, when rate of elastic strain energy lost via fracturing increases and eventually exceeds the rate of elastic strain energy transferred to the crust. This results in a decrease in the bulk stress stored in the crust with time, indicating a progressive weakening of the crustal material due to seismicity-induced damage. Comparison with laboratory experiments show the behaviour is consistent with bulk failure in extension and the potential formation of new pathways in the crust.

Finally, we demonstrate how our method, along with the understanding of eruption precursors gained from the results, can be used to constrain deformation regimes at reawakening volcanoes after extended repose and to evaluate the hazard posed during periods of unrest.

The amylase locus is among the most structurally variable regions of the human genome, frequently linked to starch digestion, metabolic traits, and dietary adaptation. Yet the causes of its recurrent duplication and exceptional variability remain unresolved. Why is this locus particularly prone to structural change? To address these questions, we analyzed 98 modern human genomes using long-read sequencing and optical mapping, alongside 53 high-quality primate assemblies. We identified 30 distinct amylase haplotypes in humans and documented more than 15 lineage-specific expansions and contractions across primates. Structural complexity appears to have been initiated by lineage-specific LTR insertions and subsequently shaped by non-allelic homologous recombination, with occasional contributions from microhomology-mediated break-induced replication. Independent duplications and salivary expression gains evolved repeatedly across primate lineages, but extensive within-species structural polymorphism is largely unique to humans. We further detected signatures of positive selection among primate paralogs, and dietary correlations with copy number suggest recurrent adaptive roles for amylase variation. The persistence of structural variation in this locus points to a unique combination of elevated mutational input, relaxed constraint, and ongoing selection, highlighting broader principles in the evolution of structurally unstable loci.

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.

We present the theory of bonded knots and bonded knotoids, as well as their algebraic counterparts, the theory of bonded braids and bonded braidoids. We also discuss some applications to the topological study of proteins.

Error-correcting codes are a fundamental tool in information and communication technologies. They can be viewed as collections of points in a space that are sufficiently far apart to allow error detection and correction.
More broadly, coding theory studies good arrangements of points in spaces. This theory has been particularly developed in the frameworks of association schemes and compact homogeneous spaces, where harmonic analysis plays a central role.
In this talk, we will begin with an introduction to error-correcting codes and then present compact association schemes, which we define as a generalization of these spaces in which harmonic analysis can be developed.

This workshop will serve as the first meeting of the collaboration between the Leinweber Institute for Theoretical Physics (LITP) at the University of California Berkeley and the RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS). Participation is open and researchers from other institutions are welcome to attend. The workshop will feature talks on recent developments in the field of Quantum Gravity and other relevant topics.

The joint general meeting is scheduled to be held at Okochi Hall from 13:20 to 17:45.
The networking reception is scheduled to be held at the RIKEN Cafeteria from 18:00 to 19:40.

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.

This seminar is co-hosted by GWX-EOS Working Group and iTHEMS-ABBL Joint Astro Study Group.

Abstract:
In the first part of my talk, I will review recent work on Bose-Fermi mixtures with an attractive interaction inducing pairing between bosons and fermions. After discussing a recent experiment on this system [1], which has confirmed predictions obtained by us some time ago within a many-body diagrammatic approach [2], I will present novel results for the compressibility [3] that suggest a metastable nature for the many-body phase observed in [1]. Then, I will discuss the extension of our calculations to two-dimensional Bose-Fermi mixtures [4,5]. The results obtained in 2D challenge previous beliefs formulated for 3D systems.
In the second part, I will discuss attractive polarized Fermi systems, for which the Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) phase was proposed many years ago as a possible superfluid phase. I will discuss how significant precursor FFLO fluctuation effects appear already in the normal phase of polarized Fermi gases at finite temperature [6], and how they could be experimentally detected with ultracold gases. At zero temperature [7], I will discuss how the quasi-particle parameters of the normal Fermi gas change when approaching an FFLO quantum critical point, with a complete breakdown of the quasi-particle picture analogous to what found in heavy-fermion materials at an antiferromagnetic quantum critical point.
Finally, I will discuss a recent joint experimental-theoretical work on the motion of a vortex orbiting a pinned anti-vortex in a strongly interacting Fermi gas [8], highlighting the interplay between Andreev bound states in the vortex core and delocalized thermal excitations in shaping the vortex dynamics.

Recently some researchers gave many studies toward algebro-geometric foundation for tropical geometry. I focused on rational function semifields of tropical curves and characterized them. With this characterization, in this talk, I suggest a definition of ``rational function semifield of dimension one". This definition can write out weight in the term of $\boldsymbol{T}$-algebra homomorphism, and can write balancing condition together with harmonic functions, where both weight and balancing condition are fundamental concepts for tropical varieties and $\boldsymbol{T}$ is the tropical semifield $(\boldsymbol{R} \cup \{-\infty\}, \operatorname{max}, +)$.

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.