Tomoki Mihara

collaborators

11 papers

cs.CC2026

Generalisation of Baker's Forcing Method to Arbitrary Prime and NP-hardness of Several $p$ -adic Optimisations

Tomoki Mihara

G.\ D.\ Baker formulated a forcing method to interpret integer optimisation problem into $2$ -adic linear regression, and proved the NP-hardness of $2$ -adic linear regression. We ge…

math.NT2026

Schneider--Teitelbaum Duality over a Non-spherically Complete Field

Tomoki Mihara

We formulate Schneider--Teitelbaum duality between wide classes of Banach $k$ -linear representations of $G$ and left $O_{k} [[G]]$ -modules for a non-spherically complete field $k$ , e.…

stat.CO2026

$p$ -adic Linear Regression for Random Sampling with Digitwise Noise

Tomoki Mihara

We propose a new probabilistic algorithm of $p$ -adic linear regression for random sampling with digitwise noise. This includes a new probabilistic algorithm of modulo $p$ linear re…

cs.LG2026

$p$ -adic Manifold Learning and Benchmark Tasks from Impartial Games

Tomoki Mihara

We introduce $p$ -adic manifold learning, propose an algorithm to solve it, and propose benchmark tasks from impartial games.

math.NT2026

Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes

Tomoki Mihara

As applications of non-standard analysis to the study of transcendence, we extend transcendence criteria by Anzawa--Funakura and Matsusaka--Seki. We also summarise known algebraic…

math.LO2026

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals

Tomoki Mihara

Let $k$ be a complete valuation field. We formulate a free Banach $k$ -vector space as a Banach $k$ -vector space with an orthonormal Schauder basis, and an almost free Banach $k$ -ve…

Generalisation of Baker's Forcing Method to Arbitrary Prime and NP-hardness of Several p-adic Optimisations

Schneider--Teitelbaum Duality over a Non-spherically Complete Field

p-adic Linear Regression for Random Sampling with Digitwise Noise

p-adic Manifold Learning and Benchmark Tasks from Impartial Games

Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals

Generalisation of Baker's Forcing Method to Arbitrary Prime and NP-hardness of Several $p$ -adic Optimisations

$p$ -adic Linear Regression for Random Sampling with Digitwise Noise

$p$ -adic Manifold Learning and Benchmark Tasks from Impartial Games