Kenshi Miyabe

dblp:76/8976 · DBLP profile ↗
← Back
7ranked-venue papers
6as first author
1since 2021 · last 2025
0000-0002-5346-4269ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 7 · 6 first-author · 1 since 2021
YearPublicationVenuePosition
2025 Randomness with respect to c.e. semimeasures
abstract
We study algorithmic randomness with respect to c.e. semimeasures, which naturally arise as pushforward measures of partial computable mappings and therefore play a crucial role in algorithmic randomness. We consider four distinct randomness notions: three based on complexity and one based on tests. We systematically clarify their inclusion relationships. Our main contribution is to construct concrete examples that separate these notions. Furthermore, we investigate how they interact with the classical randomness preservation and no-randomness-from-nothing theorems, identifying precise conditions under which they continue to hold.
Kenshi Miyabe
Inf. Comput.1
2019 Uniform Relativization
Kenshi Miyabe
CiE1
2018 Coherence of Reducibilities with Randomness Notions
Kenshi Miyabe
Theory Comput. Syst.1
2016 Reducibilities Relating to Schnorr Randomness
Kenshi Miyabe
Theory Comput. Syst.1
2015 Schnorr Triviality and Its Equivalent Notions
Kenshi Miyabe
Theory Comput. Syst.1
2014 Uniform Kurtz randomness
abstract
We propose studying uniform Kurtz randomness, which is the uniform relativization of Kurtz randomness. This notion has more natural properties than the usual relativization. For instance, van Lambalgen's theorem holds for uniform Kurtz randomness but not for (the usual relativization of) Kurtz randomness. Another advantage is that lowness for uniform Kurtz randomness has many characterizations, such as those via complexity, martingales, Kurtz tt-traceability and Kurtz dimensional measure.
Takayuki Kihara, Kenshi Miyabe
J. Log. Comput.2
2013 Characterization of Kurtz Randomness by a Differentiation Theorem
Kenshi Miyabe
Theory Comput. Syst.1