中文
相关论文

相关论文: Martin-L\"of reducibility and cost functions

200 篇论文

In this paper we explore the fundamentals of the Martingale Representation Theorem (MRT) and a closely related result, the Clark-Ocone formula. We also investigate how far these theorems can be taken, notably beyond the regular Sobolev…

概率论 · 数学 2013-06-25 Deborah Schneider-Luftman

We elaborate the notions of Martin-L\"of and Schnorr randomness for real numbers in terms of uniform distribution of sequences. We give a necessary condition for a real number to be Schnorr random expressed in terms of classical uniform…

逻辑 · 数学 2021-11-30 Verónica Becher , Serge Grigorieff

We answer a question of Slaman and Steel by showing that a version of Martin's conjecture holds for all regressive functions on the hyperarithmetic degrees. A key step in our proof, which may have applications to other cases of Martin's…

逻辑 · 数学 2024-02-13 Patrick Lutz

Algorithmic randomness theory starts with a notion of an individual random object. To be reasonable, this notion should have some natural properties; in particular, an object should be random with respect to image distribution if and only…

逻辑 · 数学 2016-07-15 Laurent Bienvenu , Mathieu Hoyrup , Alexander Shen

Solomonoff's central result on induction is that the posterior of a universal semimeasure M converges rapidly and with probability 1 to the true sequence generating posterior mu, if the latter is computable. Hence, M is eligible as a…

信息论 · 计算机科学 2007-08-20 Marcus Hutter , Andrej Muchnik

We define a Maximum Likelihood (ML for short) estimator for the correlation function, {\xi}, that uses the same pair counting observables (D, R, DD, DR, RR) as the standard Landy and Szalay (1993, LS for short) estimator. The ML estimator…

宇宙学与河外天体物理 · 物理学 2013-11-27 Eric Jones Baxter , Eduardo Rozo

We study the possible growth rates of the Kolmogorov complexity of initial segments of sequences that are random with respect to some computable measure on $2^\omega$, the so-called proper sequences. Our main results are as follows: (1) We…

逻辑 · 数学 2016-11-09 Rupert Hölzl , Christopher P. Porter

Randomness in the sense of Martin-L\"of can be defined in terms of lower semicomputable supermartingales. We show that such a supermartingale cannot be replaced by a pair of supermartingales that bet only on the even bits (the first one)…

信息论 · 计算机科学 2008-11-28 Andrej Muchnik

It is important to retrain a machine learning (ML) model in order to maintain its performance as the data changes over time. However, this can be costly as it usually requires processing the entire dataset again. This creates a trade-off…

机器学习 · 计算机科学 2023-10-09 Ananth Mahadevan , Michael Mathioudakis

A result of Shen says that if $F\colon2^{\mathbb{N}}\rightarrow2^{\mathbb{N}}$ is an almost-everywhere computable, measure-preserving transformation, and $y\in2^{\mathbb{N}}$ is Martin-L\"of random, then there is a Martin-L\"of random…

逻辑 · 数学 2016-03-09 Jason Rute

A real \alpha is called recursively enumerable ("r.e." for short) if there exists a computable, increasing sequence of rationals which converges to \alpha. It is known that the randomness of an r.e. real \alpha can be characterized in…

计算复杂性 · 计算机科学 2015-05-13 Kohtaro Tadaki

Given the univariate marginals of a real-valued, continuous-time martingale, (respectively, a family of measures parameterised by $t \in [0,T]$ which is increasing in convex order, or a double continuum of call prices) we construct a family…

概率论 · 数学 2015-05-15 David Hobson

We study algorithmically random closed subsets of $2^\omega$, algorithmically random continuous functions from $2^\omega$ to $2^\omega$, and algorithmically random Borel probability measures on $2^\omega$, especially the interplay between…

逻辑 · 数学 2015-03-24 Quinn Culver , Christopher P. Porter

We introduce the first application of the lean methodology to machine learning projects. Similar to lean startups and lean manufacturing, we argue that lean machine learning (LeanML) can drastically slash avoidable wastes in commercial…

机器学习 · 计算机科学 2021-08-13 Yves-Laurent Kom Samo

Recent inductive logic programming (ILP) approaches learn optimal hypotheses. An optimal hypothesis minimises a given cost function on the training data. There are many cost functions, such as minimising training error, textual complexity,…

机器学习 · 计算机科学 2025-03-11 Céline Hocquette , Andrew Cropper

While the set of Martin-L\"of random left-c.e. reals is equal to the maximum degree of Solovay reducibility, Miyabe, Nies and Stephan(DOI:10.4115/jla.2018.10.3) have shown that the left-c.e. Schnorr random reals are not closed upwards under…

逻辑 · 数学 2024-07-23 Wolfgang Merkle , Ivan Titov

Statistical inverse learning aims at recovering an unknown function $f$ from randomly scattered and possibly noisy point evaluations of another function $g$, connected to $f$ via an ill-posed mathematical model. In this paper we blend…

统计理论 · 数学 2024-01-22 Tapio Helin

This paper shows that error bounds can be used as effective tools for deriving complexity results for first-order descent methods in convex minimization. In a first stage, this objective led us to revisit the interplay between error bounds…

最优化与控制 · 数学 2016-07-21 Jérôme Bolte , Trong Phong Nguyen , Juan Peypouquet , Bruce Suter

We prove various results on effective numberings and Friedberg numberings of families related to algorithmic randomness. The family of all Martin-L\"of random left-computably enumerable reals has a Friedberg numbering, as does the family of…

逻辑 · 数学 2014-08-12 Katie Brodhead , Bjørn Kjos-Hanssen

The use of flexible machine-learning (ML) models to generate imputations of missing data within the framework of Multiple Imputation (MI) has recently gained traction, particularly in observational settings. For randomised controlled trials…

统计方法学 · 统计学 2025-10-07 Mia S. Tackney , Jonathan W. Bartlett , Elizabeth Williamson , Kim May Lee