English
Related papers

Related papers: A finite alternation result for reversible boolean…

200 papers

As techniques for fault-tolerant quantum computation keep improving, it is natural to ask: what is the fundamental lower bound on redundancy? In this paper, we obtain a lower bound on the redundancy required for $\epsilon$-accurate…

Quantum Physics · Physics 2023-08-23 Uthirakalyani G , Anuj K. Nayak , Avhishek Chatterjee

Extremal functions for the $n$th coefficient in the Krzy\.z conjecture are atomic singular inner functions with at most $n$ atoms. This paper gives a lower bound on the number of atoms $N$ of the form $N\geq cn$, marking progress toward…

Complex Variables · Mathematics 2026-05-20 Sullivan F. MacDonald

Suppose we have n algorithms, quantum or classical, each computing some bit-value with bounded error probability. We describe a quantum algorithm that uses O(sqrt{n}) repetitions of the base algorithms and with high probability finds the…

Quantum Physics · Physics 2017-01-03 Peter Hoyer , Michele Mosca , Ronald de Wolf

Let $p$ be a fixed prime. For a finite group generated by elements of order $p$, the $p$-width is defined to be the minimal $k\in\mathbb{N}$ such that any group element can be written as a product of at most $k$ elements of order $p$. Let…

Group Theory · Mathematics 2017-12-11 Alexander J. Malcolm

In the exact quantum query model a successful algorithm must always output the correct function value. We investigate the function that is true if exactly $k$ or $l$ of the $n$ input bits given by an oracle are 1. We find an optimal…

Quantum Physics · Physics 2018-01-11 Andris Ambainis , Jānis Iraids , Daniel Nagaj

We study the $\textit{average-case deterministic query complexity}$ of boolean functions under a $\textit{uniform input distribution}$, denoted by $\mathrm{D}_\mathrm{ave}(f)$, the minimum average depth of zero-error decision trees that…

Computational Complexity · Computer Science 2025-06-12 Yuan Li , Haowei Wu , Yi Yang

This paper considers a binary channel with deletions. We derive two close form upper bound on the capacity of binary deletion channel. The first upper bound is based on computing the capacity of an auxiliary channel and we show how the…

Information Theory · Computer Science 2021-03-23 Hassan Tavakoli

For every natural number $n$, there exist finitely presented groups with residual finiteness depths $\omega\cdot n$ and $\omega\cdot n + 1$. The ordinals that arise as the residual finiteness depth of a finitely generated group…

Group Theory · Mathematics 2025-06-03 Martin R. Bridson

Given a sequence of subsets A_n of {0,...,n-1}, the Furstenberg correspondence principle provides a shift-invariant measure on Cantor space that encodes combinatorial information about infinitely many of the A_n's. Here it is shown that…

Combinatorics · Mathematics 2012-02-03 Jeremy Avigad

The Shannon lower bound is one of the few lower bounds on the rate-distortion function that holds for a large class of sources. In this paper, it is demonstrated that its gap to the rate-distortion function vanishes as the allowed…

Information Theory · Computer Science 2016-11-17 Tobias Koch

We consider a stack sorting algorithm where only the appropriate output values are popped from the stack and then any remaining entries in the stack are run through the stack in reverse order. We identify the basis for the $2$-reverse pass…

Combinatorics · Mathematics 2018-08-14 Toufik Mansour , Howard Skogman , Rebecca Smith

When the environmental disturbace to a quantum system has a wavelength much larger than the system size, all qubits localized within a small area are under action of the same error operators. Noiseless subsystem and decoherence free…

Quantum Physics · Physics 2013-05-29 Chi-Kwong Li , Mikio Nakahara , Yiu-Tung Poon , Nung-Sing Sze , Hiroyuki Tomita

Motivated by practical concerns in cryptography, we study pseudorandomness properties of permutations on $\{0,1\}^n$ computed by random circuits made from reversible $3$-bit gates (permutations on $\{0,1\}^3$). Our main result is that a…

Cryptography and Security · Computer Science 2025-02-12 William Gay , William He , Nicholas Kocurek , Ryan O'Donnell

We are considering RAMs $N_{n}$, with wordlength $n=2^{d}$, whose arithmetic instructions are the arithmetic operations multiplication and addition modulo $2^{n}$, the unary function $ \min\lbrace 2^{x}, 2^{n}-1\rbrace$, the binary…

Computational Complexity · Computer Science 2013-06-04 Miklos Ajtai

A binary vector of length $N$ has elements that are either 0 or 1. We investigate the question of whether and how a binary vector of known length can be reconstructed from a limited set of its discrete Fourier transform (DFT) coefficients.…

Numerical Analysis · Mathematics 2021-10-05 Howard W. Levinson , Vadim A. Markel

An extremal point of a positive threshold Boolean function $f$ is either a maximal zero or a minimal one. It is known that if $f$ depends on all its variables, then the set of its extremal points completely specifies $f$ within the universe…

Combinatorics · Mathematics 2017-06-07 Vadim Lozin , Igor Razgon , Viktor Zamaraev , Elena Zamaraeva , Nikolai Yu. Zolotykh

We calculate the quantum corrections to the entropy of a very large black hole, coming from the theory of a $D$-dimensional, non-critical bosonic string. We show that, for $D >2$, as a result of modular invariance the entropy is ultraviolet…

High Energy Physics - Theory · Physics 2009-09-17 E. Elizalde , S. D. Odintsov

Any function F : {0,...,N-1} -> {-1,1} such that F(x) can be computed from the binary digits of x using a bounded depth circuit is orthogonal to the Mobius function mu in the sense that E_{0 <= x <= N-1} mu(x)F(x) = o(1). The proof combines…

Number Theory · Mathematics 2012-06-04 Ben Green

We study time/memory tradeoffs of function inversion: an algorithm, i.e., an inverter, equipped with an s-bit advice on a randomly chosen function $f : [n] -> [n]$ and using $q$ oracle queries to $f$, tries to invert a randomly chosen…

Computational Complexity · Computer Science 2021-05-11 Dror Chawin , Iftach Haitner , Noam Mazor

We describe an algorithm that takes as input a complex sequence $(u_n)$ given by a linear recurrence relation with polynomial coefficients along with initial values, and outputs a simple explicit upper bound $(v_n)$ such that $|u_n| \leq…

Symbolic Computation · Computer Science 2013-06-19 Marc Mezzarobba , Bruno Salvy