output
20012026
most citedThe Reionization and Galaxy Evolution Probed by z=7 Lyman Alpha Emitters

161 citations

researchers with a paper here
collaborating institutions

47 papers

cs.LO2026

Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs

Sohei Ito, Makoto Tatsuta

Formal reasoning about inductively defined relations and structures is widely recognized not only for its mathematical interest but also for its importance in computer science, and…

cs.LO2025

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic

Sohei Ito, Makoto Tatsuta

Separation logic is successful for software verification of heap-manipulating programs. Numbers are necessary to be added to separation logic for verification of practical software…

math.AP2023★ 1 cited

Variational stabilization of degenerate p-elasticae

Tatsuya Miura, Kensuke Yoshizawa

A new stabilization phenomenon induced by degenerate diffusion is discovered in the context of pinned planar -elasticae. It was known that in the non-degenerate regime $p\in(1,2…

math.SG2023

No -recurrence of iterations of symplectomorphisms

Yoshihiro Sugimoto

In this article, we study the behavior of iterations of symplectomorphisms and Hamiltonian diffeomorphisms on symplectic manifolds. We prove that symplectomorphisms and Hamiltonian…

math.DG2023★ 4 cited

General rigidity principles for stable and minimal elastic curves

Tatsuya Miura, Kensuke Yoshizawa

For a wide class of curvature energy functionals defined for planar curves under the fixed-length constraint, we obtain optimal necessary conditions for global and local minimizers…

astro-ph.GA2022★ 6 cited

The Magnetic Field versus Density relation in Star-Forming Molecular Clouds

Sayantan Auddy, Shantanu Basu, Takahiro Kudoh

We study the magnetic field to density () relation in turbulent molecular clouds with dynamically important magnetic fields using nonideal three-dimensional magnetohydrodynami…