English
Related papers

Related papers: Robust Coin Flipping

200 papers

We study the statistical behaviour of reasoning probes in a stylized model of looped reasoning, given by Boolean circuits whose computational graph is a perfect $\nu$-ary tree ($\nu\ge 2$) and whose output is appended to the input and fed…

Machine Learning · Statistics 2026-02-11 Anastasis Kratsios , Giulia Livieri , A. Martina Neuman

We study the complexity of securely evaluating arithmetic circuits over finite rings. This question is motivated by natural secure computation tasks. Focusing mainly on the case of two-party protocols with security against malicious…

Cryptography and Security · Computer Science 2008-11-08 Yuval Ishai , Manoj Prabhakaran , Amit Sahai

All proper scoring rules incentivize an expert to predict \emph{accurately} (report their true estimate), but not all proper scoring rules equally incentivize \emph{precision}. Rather than treating the expert's belief as exogenously given,…

Computer Science and Game Theory · Computer Science 2021-06-01 Eric Neyman , Georgy Noarov , S. Matthew Weinberg

In a recent work (Ghazi et al., SODA 2016), the authors with Komargodski and Kothari initiated the study of communication with contextual uncertainty, a setup aiming to understand how efficient communication is possible when the…

Information Theory · Computer Science 2017-05-03 Badih Ghazi , Madhu Sudan

We present an analysis of a coin-tossing problem posed by Daniel Litt which has generated some popular interest. We demonstrate a recursive identity which leads to relatively simple formulas for the excess number of wins for one player over…

Combinatorics · Mathematics 2025-12-09 Bruce Levin

We focus on a family of quantum coin-flipping protocols based on bit-commitment. We discuss how the semidefinite programming formulations of cheating strategies can be reduced to optimizing a linear combination of fidelity functions over a…

Quantum Physics · Physics 2018-03-22 Ashwin Nayak , Jamie Sikora , Levent Tunçel

We give an efficient algorithm for learning a binary function in a given class C of bounded VC dimension, with training data distributed according to P and test data according to Q, where P and Q may be arbitrary distributions over X. This…

Machine Learning · Computer Science 2021-02-17 Adam Kalai , Varun Kanade

Secure function evaluation is a two-party cryptographic primitive where Bob computes a function of Alice's and his respective inputs, and both hope to keep their inputs private from the other party. It has been proven that perfect (or near…

Quantum Physics · Physics 2022-03-17 Sarah Osborn , Jamie Sikora

A basic problem in information theory is the following: Let $\mathbf{P} = (\mathbf{X}, \mathbf{Y})$ be an arbitrary distribution where the marginals $\mathbf{X}$ and $\mathbf{Y}$ are (potentially) correlated. Let Alice and Bob be two…

Computational Complexity · Computer Science 2017-02-17 Anindya De , Elchanan Mossel , Joe Neeman

We study a guessing game where Alice holds a discrete random variable $X$, and Bob tries to sequentially guess its value. Before the game begins, Bob can obtain side-information about $X$ by asking an oracle, Carole, any binary question of…

Discrete Mathematics · Computer Science 2020-10-13 Natan Ardimanov , Ofer Shayevitz , Itzhak Tamo

In interactive coding, Alice and Bob wish to compute some function $f$ of their individual private inputs $x$ and $y$. They do this by engaging in a non-adaptive (fixed order, fixed length) protocol to jointly compute $f(x,y)$. The goal is…

Data Structures and Algorithms · Computer Science 2021-11-09 Meghal Gupta , Rachel Yun Zhang

In this paper we present quantum key distribution protocol that, instead of single qubits, uses mesoscopic coherent states of light $|\alpha\rangle$ to encode bit values of a randomly generated key. Given the reference value…

Quantum Physics · Physics 2017-05-04 G. A. Barbosa , J. van de Graaf , P. Mateus , N. Paunković

Bit commitment is a fundamental cryptographic task that guarantees a secure commitment between two mutually mistrustful parties and is a building block for many cryptographic primitives, including coin tossing, zero-knowledge proofs,…

It is well known that no quantum bit commitment protocol is unconditionally secure. Nonetheless, there can be non-trivial upper bounds on both Bob's probability of correctly estimating Alice's commitment and Alice's probability of…

Quantum Physics · Physics 2007-05-23 R. W. Spekkens , T. Rudolph

Quantum Key Distribution allows two parties to establish a secret key that is secure against computationally unbounded adversaries. To extend the distance between parties, quantum networks, and in particular repeater chains, are vital.…

Quantum Physics · Physics 2024-06-25 Adrian Harkness , Walter O. Krawec , Bing Wang

Bit commitment is a fundamental cryptographic primitive with numerous applications. Quantum information allows for bit commitment schemes in the information theoretic setting where no dishonest party can perfectly cheat. The previously…

Quantum Physics · Physics 2011-02-09 André Chailloux , Iordanis Kerenidis

Given any two rational numbers $r_1$ and $r_2$, a necessary and sufficient condition is established for the three numbers $1$, $\cos (\pi r_1)$, and $\cos (\pi r_2)$ to be rationally independent. Extending a classical fact sometimes…

Number Theory · Mathematics 2015-04-28 Arno Berger

A hypothesis testing algorithm is replicable if, when run on two different samples from the same distribution, it produces the same output with high probability. This notion, defined by by Impagliazzo, Lei, Pitassi, and Sorell [STOC'22],…

Data Structures and Algorithms · Computer Science 2025-09-05 Anders Aamand , Maryam Aliakbarpour , Justin Y. Chen , Shyam Narayanan , Sandeep Silwal

A fair coin is flipped $n$ times, and two finite sequences of heads and tails (words) $A$ and $B$ of the same length are given. Each time the word $A$ appears in the sequence of coin flips, Alice gets a point, and each time the word $B$…

Combinatorics · Mathematics 2025-01-06 Anne-Laure Basdevant , Olivier Hénard , Edouard Maurel-Segala , Arvind Singh

In this paper, we design the first computationally efficient codes for simultaneously reliable and covert communication over Binary Symmetric Channels (BSCs). Our setting is as follows: a transmitter Alice wishes to potentially reliably…

Information Theory · Computer Science 2018-06-12 Qiaosheng Zhang , Mayank Bakshi , Sidharth Jaggi