3 papers
math.LO2024
A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
Morenikeji Neri
We explore the computational content of Kronecker's lemma via the proof-theoretic perspective of proof mining and utilise the resulting finitary variant of this fundamental result…
math.PR2024
On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
Morenikeji Neri, Thomas Powell
We develop a general framework for extracting highly uniform bounds on local stability for stochastic processes in terms of information on fluctuations or crossings. This includes…
math.PR2024
Quantitative Strong Laws of Large Numbers
Morenikeji Neri
Using proof-theoretic methods in the style of proof mining, we give novel computationally effective limit theorems for the convergence of the Cesaro-means of certain sequences of r…