首页/论文/1408.2893

arXiv 1408.28932014-08-13math.LO

Schnorr随机实类的低性

Lowness for the class of Schnorr random reals

Bjørn Kjos-Hanssen, André Nies, Frank Stephan

发表信息：: SIAM Journal on Computing 35 (2005), no. 3, 647--657
DOI：: 10.1137/S0097539704446323

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们回答一个问题的Ambos-Spies和Kučera在肯定的。他们问，当一个实数对于Schnorr随机性来说很低时，它对于Schnorr检验来说是否已经很低了。

英文摘要：

We answer a question of Ambos-Spies and Kučera in the affirmative. They asked whether, when a real is low for Schnorr randomness, it is already low for Schnorr tests.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

整数值随机性的低性

Lowness for Integer-Valued Randomness

一个实数称为整数值随机数，如果没有整数值鞅可以赢得任意多的资本下注反对它。一个实数是低整数值随机数，如果没有整数值鞅递归A可以成功的整数值随机实数。我们表明，低整数值的随机性与递归性相一致，是可计算的随机性的情况下。

2014-10-13math.LO

通过开放式覆盖的随机性和低性概念

Randomness and lowness notions via open covers

算法随机性研究的一条主线是低度概念。给定一个随机性概念R，我们问哪些序列A相对于A使R保持不变（即，R^A = R）？这样的序列对于R来说是低的。这个问题延伸到一对随机性概念R和S，其中S更弱：对于哪一个A是S^A仍然弱于R？在过去的几年中，许多结果的特点是低随机性的序列，其低计算强度。一些结果也给出了低序列的测度论特征。例如，Kjos-Hanssen证明了对于Martin-L，A是低的随机性当且仅当每个A-c. e.测度小于1的开集可以用c.e.开测度集小于1。在本文中，我们给出了一系列结果，表明各种各样的低概念可以用类似的方式表达，即，通过某种类型的开集覆盖某种类型的开集的能力。这提供了一个统一的框架，澄清了随机性概念的低研究，并允许我们给出一些已知结果的简单证明。我们还使用这个框架来证明新的结果，包括表明类低（MLR;SR）和低（W2 R;SR）相吻合，回答了Nies的问题。其他的应用包括随机性概念的特征，一个广泛适用的解释，为什么随机性的低与测试的低是相同的，以及一个简单的证明，低（W2 R;S）=低（MLR;S），其中S是马丁-L的类可计算或Schnorr随机序列。最后一节使用可和函数和收敛测度机代替开覆盖给出了低度概念的刻画。最后，我们简单证明Nies的一个结果，即Low（MLR）= Low（MLR; CR）。

2013-03-20math.LO

低，随机性和可计算分析

Lowness, randomness, and computable analysis

分析概念有助于我们通过算法测试来理解实数的随机性。它们也影响随机性和低级概念之间的相互作用。我们提供了一个调查，写在罗德唐尼的60岁生日之际。

2016-07-24math.CAmath.LO

卑微的观念、尺度和支配

Lowness notions, measure and domination

我们表明，积极的措施支配意味着统一的几乎处处支配，这个证明转化为一个证明在子系统WWKL $_0$（但不是在RCA $_0$）的等价性的各种勒贝格测度正则性陈述介绍了Dobrinen和辛普森。这项工作还使我们能够证明，弱$2$ -随机性的低与马丁-勒夫随机性的低相同（Nies独立获得的结果）。使用相同的技术，我们证明了$\leq_{LR}$蕴涵$\leq_{LK}$，推广了马丁-洛夫随机性低意味着$K$低的事实。

2014-08-13math.LO

Levin-Schnorr定理的推广

A generalization of Levin-Schnorr's theorem

本文推广了部分随机实或复实的定义，并证明了随机实与复实的对偶性，即，Levin-Schnorr定理的一个推广版本。我们还研究了随机性从算术的角度来看，使用相对化到一个完整的$Π^0_1$类。

2017-04-04math.LO

随机性和uniform distribution模1

Randomness and uniform distribution modulo one

我们从序列的均匀分布的角度阐述了实数的马丁-洛夫和施诺尔随机性的概念。本文给出了一个实数用序列的经典均匀分布表示为Schnorr随机数的必要条件。这扩展了Avigad证明的结果序列的线性函数与整数系数更广泛的经典类的Koksma序列的功能。并且，通过要求单位区间内的每个可计算开集（分别为具有可计算测度的可计算开集）的等分布，我们给出了Martin-Löf（分别为Schnorr）随机性的一个充分条件.

2021-11-27math.LOmath.NT

更多相关论文收起更多论文

高库尔茨随机性

Higher Kurtz randomness

一个实$x$是$Δ^1_1$ -Kurtz随机（$Π^1_1$-Kurtz随机），如果它不在闭空$Δ^1_1$集（$Π^1_1$集）中.证明了存在一个$Π^1_1$ -Kurtz随机超度锥.我们将$Δ^1_1$ -Kurtz随机性的低度表征为$Δ^1_1$主导和$Δ^1_1$半可追踪。

2014-08-13math.LO

有效随机性、强约化与Demuth定理

Effective randomness, strong reductions and Demuth's theorem

我们研究Demuth定理的推广，该定理指出，在tt-约化下的Martin-Löf随机实数的图像是可计算的或图灵等价于Martin-Löf随机实数。我们表明，Demuth定理适用于Schnorr随机性和可计算的随机性（回答富兰克林的问题），但它不能加强取代图灵等价的声明中的定理与WTT-等价。我们还提供了一些额外的结果图灵和TT度的实数是随机的一些可计算的措施。

2011-10-26math.LO

一种全Solovay可归约性与速度性概念的全化

A total Solovay reducibility and totalizing of the notion of speedability

本文引入全Solovay可归约性，证明Schnorr随机左c.e.实数在其下向上封闭，并通过全翻译函数定义全速度性，且不依赖加速常数选择。

2024-07-20math.LO

调和分析中的算法随机性

Algorithmic randomness in harmonic analysis

Hofstra University（霍夫斯特拉大学）；University of Dallas（达拉斯大学）；Sam Houston State University（山姆休斯顿州立大学）

本文研究了调和分析中算法随机性与函数收敛性的关系，证明了傅里叶级数和Poisson积分的径向极限与Martin-Löf和Schnorr随机实数的联系。

2026-01-06cs.LOmath.LO

冯·诺依曼熵与量子算法随机性

Von Neumann Entropy and Quantum Algorithmic Randomness

本文研究量子算法随机性与冯·诺依曼熵的关系，证明可计算量子Schnorr随机态的熵密度极限为1，定义量子s-测试并建立熵密度与覆盖s的关系，推导熵密度下界与强量子随机性的关联及量子Schnorr随机性的一致可积等价条件。

2024-12-24cs.ITmath.ITmath.LO

Lipschitz函数的数学性质

Algorithmic aspects of Lipschitz functions

我们刻画了可计算Lipschitz函数的变差函数。我们证明了一个实数z是可计算随机的当且仅当每个可计算的Lipschitz函数在z是可微的。除了这些主要的结果，我们表明，一个真正的z是Schnorr随机的当且仅当每一个Lipschitz函数与$L_1$ -可计算的衍生物是可微的z。

2014-02-11math.CAmath.LO

Uniform distribution和算法随机性

Uniform distribution and algorithmic randomness

一个开创性的定理由于外尔国家，如果（a_n）是任何序列的不同整数，然后，几乎所有的实数x，序列（a_n x）是均匀分布模1。特别是，对于单位区间中的几乎每个x，序列（a_n x）对于每个不同整数的可计算序列（a_n）都是模一均匀分布的。把这样的x称为“UD random”。这里证明了每个Schnorr随机实都是UD随机的，但也有Kurtz随机实不是UD随机的。另一方面，外尔定理相对于一个特定的有效闭零集仍然成立，所以有UD随机实不是库尔兹随机。

2012-07-14math.LOmath.NT

罗素作为另一个随机性概念的典型性

Russell's typicality as another randomness notion

我们稍微改写了罗素的典型性概念，以消除其循环性，使其适用于任何一阶结构的元素。我们认为，这个概念与Martin-Löf（ML）随机性相似，因为它使用可定义集合来代替可计算集合和“小”基数集合（即，严格小于结构域的值）来代替测量零点集。证明了若定义域$M$满足$cf(|M|)>\aleph_0$，则存在$|M|$典型元，只有$<|M|$非典型元.特别是对于二阶算术的标准模型${\cal R}$，这是正确的。通过允许定义公式中的参数，我们得到了相对典型性，它满足了范兰巴尔根关于相对随机性的大多数公理。然而，范兰巴根的定理是错误的相对典型性。典型实数的类与ML-随机、Schnorr随机和可计算随机实数的类是不可比较的（相对于$\subseteq$）。此外，典型的实数类在图灵度和跳跃操作下（两种方式）都是封闭的。

2023-03-21math.LO