3 papers
math.LO2026
A note on the independence of the injective pigeonhole principle from the uniform counting principle
Eitetsu Ken
In this technical note, we show that the relativized bounded arithmetic equipped with cannot prove . The result partially su…
math.NA2024
On the Complexity of Interpolation by Polynomials with Non-negative Real Coefficients
Katsuyuki Bando, Eitetsu Ken, Hirotaka Onuki
In this paper, we consider interpolation by \textit{completely monotonous} polynomials (CMPs for short), that is, polynomials with non-negative real coefficients. In particular, gi…
math.CO2020
Foundations of Temperature Theory
Katsuyuki Bando, Eitetsu Ken, Kota Morikawa
Temperature of combinatorial games have been long studied since when Conway established the modern combinatorial game theory, and there are several variations of the concepts. In t…