English
Related papers

Related papers: Using biased coins as oracles

200 papers

Many constructions in computability theory rely on "time tricks". In the higher setting, relativising to some oracles shows the necessity of these. We construct an oracle~$A$ and a set~$X$, higher Turing reducible to~$X$, but for which…

Logic · Mathematics 2019-12-03 Laurent Bienvenu , Noam Greenberg , Benoit Monin

Consider a universal Turing machine that produces a partial or total function (or a binary stream), based on the answers to the binary queries that it makes during the computation. We study the probability that the machine will produce a…

Computational Complexity · Computer Science 2017-04-28 George Barmpalias , Douglas Cenzer , Christopher P. Porter

Can a probabilistic gambler get arbitrarily rich when all deterministic gamblers fail? We study this problem in the context of algorithmic randomness, introducing a new notion -- almost everywhere computable randomness. A binary sequence…

Logic · Mathematics 2021-12-09 Laurent Bienvenu , Valentino Delle Rose , Tomasz Steifer

Faced with a sequence of N binary events, such as coin flips (or Ising spins), it is natural to ask whether these events reflect some underlying dynamic signals or are just random. Plausible models for the dynamics of hidden biases lead to…

Neurons and Cognition · Quantitative Biology 2007-05-23 William Bialek

Consider a coin tossing experiment which consists of tossing one of two coins at a time, according to a renewal process. The first coin is fair and the second has probability $1/2 + \theta$, $\theta \in [-1/2,1/2]$, $\theta$ unknown but…

Probability · Mathematics 2019-03-25 Diego Marcondes , Cláudia Peixoto

Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does not hold when restricted to computable objects. These…

Logic · Mathematics 2020-06-23 Sam Sanders

Let $q \in (0,1)$ and $\delta \in (0,1)$ be real numbers, and let $C$ be a coin that comes up heads with an unknown probability $p$, such that $p \neq q$. We present an algorithm that, on input $C$, $q$, and $\delta$, decides, with…

Data Structures and Algorithms · Computer Science 2020-11-12 Luís Fernando Schultz Xavier da Silveira , Michiel Smid

The toss of a coin is usually regarded as the epitome of randomness, and has been used for ages as a means to resolve disputes in a simple, fair way. Perhaps as ancient as consulting objects such as coins and dice is the art of maliciously…

Data Structures and Algorithms · Computer Science 2014-03-11 Vinícius Gusmão Pereira de Sá , Celina Miraglia Herrera de Figueiredo

We consider computations of a Turing machine subjected to noise. In every step, the action (the new state and the new content of the observed cell, the direction of the head movement) can differ from that prescribed by the transition…

Computational Complexity · Computer Science 2021-12-07 Ilir Çapuni , Peter Gács

P systems are computing conceptual computing devices that are at least as powerful as Turing machines. However, until recently it was not known how one can encode any recursive function as a P~system. Here we propose a new encoding of…

Formal Languages and Automata Theory · Computer Science 2018-09-25 Apostolos Syropoulos , Stratos Doumanis , Konstantinos T. Sotiriades

Tossing a coin is the most elementary Monte Carlo experiment. In a computer the coin is replaced by a pseudo random number generator. It can be shown analytically and by exact enumerations that popular random number generators are not…

Statistical Mechanics · Physics 2007-05-23 Heiko Bauke , Stephan Mertens

Alice seeks an information-theoretically secure source of private random data. Unfortunately, she lacks a personal source and must use remote sources controlled by other parties. Alice wants to simulate a coin flip of specified bias…

Computational Complexity · Computer Science 2015-03-13 Gene S. Kopp , John D. Wiltshire-Gordon

In this article, we will show that uncomputability is a relative property not only of oracle Turing machines, but also of subrecursive classes. We will define the concept of a Turing submachine, and a recursive relative version for the Busy…

Logic in Computer Science · Computer Science 2016-12-23 Felipe S. Abrahão

In this paper, we systematize the modeling of probabilistic systems for the purpose of analyzing them with model counting techniques. Starting from unbiased coin flips, we show how to model biased coins, correlated coins, and distributions…

Logic in Computer Science · Computer Science 2019-03-29 Marcell Vazquez-Chanlatte , Markus N. Rabe , Sanjit A. Seshia

"God does not play dice. He flips coins instead." And though for some reason He has denied us quantum bit commitment. And though for some reason he has even denied us strong coin flipping. He has, in His infinite mercy, granted us quantum…

Quantum Physics · Physics 2007-11-28 Carlos Mochon

We show that in the setting of fair-coin measure on the power set of the natural numbers, each sufficiently random set has an infinite subset that computes no random set. That is, there is an almost sure event $\mathcal A$ such that if…

Logic · Mathematics 2014-08-12 Bjørn Kjos-Hanssen

Peres algorithm applies the famous von Neumann trick recursively to produce unbiased random bits from biased coin tosses. Its recursive nature makes the algorithm simple and elegant, and yet its output rate approaches the…

Data Structures and Algorithms · Computer Science 2018-05-23 Sung-il Pae

We study the power of classical and quantum algorithms equipped with nonuniform advice, in the form of a coin whose bias encodes useful information. This question takes on particular importance in the quantum case, due to a surprising…

Quantum Physics · Physics 2011-01-28 Scott Aaronson , Andrew Drucker

Coin flipping is a cryptographic primitive in which two distrustful parties wish to generate a random bit in order to choose between two alternatives. This task is impossible to realize when it relies solely on the asynchronous exchange of…

Infinite time Turing machines are extended in several ways to allow for iterated oracle calls. The expressive power of these machines is discussed and in some cases determined.

Logic · Mathematics 2015-10-05 Robert Lubarsky
‹ Prev 1 2 3 10 Next ›