English
Related papers

Related papers: Lower bound for monotone Boolean convolution

200 papers

Nondeterministic circuits are a nondeterministic computation model in circuit complexity theory. In this paper, we prove a $3(n-1)$ lower bound for the size of nondeterministic $U_2$-circuits computing the parity function. It is known that…

Computational Complexity · Computer Science 2015-04-28 Hiroki Morizumi

We investigate the amount of noise required to turn a universal quantum gate set into one that can be efficiently modelled classically. This question is useful for providing upper bounds on fault tolerant thresholds, and for understanding…

Quantum Physics · Physics 2007-05-23 S. Virmani , Susana F. Huelga , Martin B. Plenio

We provide accurate upper bounds on the Boolean circuit complexity of the standard and the Karatsuba methods of integer multiplication

Data Structures and Algorithms · Computer Science 2016-02-09 Igor S. Sergeev

In this paper, we give sharp upper and lower bounds for the number of degenerate monic (and arbitrary, not necessarily monic) polynomials with integer coefficients of fixed degree $n \ge 2$ and height bounded by $H \ge 2$. The polynomial is…

Number Theory · Mathematics 2015-01-14 Artūras Dubickas , Min Sha

Reversible circuits have been studied extensively and intensively, and have plenty of applications in various areas, such as digital signal processing, cryptography, and especially quantum computing. In 2003, the lower bound $\Omega(2^n…

Quantum Physics · Physics 2024-11-19 Xian Wu Lvzhou Li

An upper bound for the number of Hamiltonian cycles of symmetric diagraphs is established first in this paper, which is tighter than the famous Minc's bound and the Br$\acute{e}$gman's bound. A transformation on graphs is proposed, so that…

Discrete Mathematics · Computer Science 2008-12-06 Jinshan Zhang

Threshold phenomena are investigated using a general approach, following Talagrand [Ann. Probab. 22 (1994) 1576--1587] and Friedgut and Kalai [Proc. Amer. Math. Soc. 12 (1999) 1017--1054]. The general upper bound for the threshold width of…

Probability · Mathematics 2016-08-16 Raphaël Rossignol

We prove that every fan-in $2$ noncommutative arithmetic circuit computing the palindrome polynomial has size $\Omega(nd)$. In particular, when $d=n$ we obtain an $\Omega(n^2)$ lower bound. The proof builds on and refines a previous work of…

Computational Complexity · Computer Science 2026-05-20 Pratik Shastri

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

Quantum compiling addresses the problem of approximating an arbitrary quantum gate with a string of gates drawn from a particular finite set. It has been shown that this is possible for almost all choices of base sets and furthermore that…

Quantum Physics · Physics 2009-11-07 Aram W. Harrow , Benjamin Recht , Isaac L. Chuang

This paper develops upper and lower bounds for the probability of Boolean functions by treating multiple occurrences of variables as independent and assigning them new individual probabilities. We call this approach dissociation and give an…

Artificial Intelligence · Computer Science 2015-06-30 Wolfgang Gatterbauer , Dan Suciu

We study the computational complexity of two Boolean nonlinearity measures: the nonlinearity and the multiplicative complexity. We show that if one-way functions exist, no algorithm can compute the multiplicative complexity in time…

Computational Complexity · Computer Science 2014-03-04 Magnus Gausdal Find

We consider the problem of computing the second elementary symmetric polynomial S^2_n(X) using depth-three arithmetic circuits of the form "sum of products of linear forms". We consider this problem over several fields and determine EXACTLY…

Discrete Mathematics · Computer Science 2007-05-23 Jaikumar Radhakrishnan , Pranab Sen , Sundar Vishwanathan

In order to calculate cross sections with a large number of particles/jets in the final state at next-to-leading order, one has to reduce the occurring scalar and tensor one-loop integrals to a small set of known integrals. In massless…

High Energy Physics - Phenomenology · Physics 2009-10-31 G. Heinrich , T. Binoth

We consider an $n$-variate monomial function that is restricted both in value by lower and upper bounds and in domain by two homogeneous linear inequalities. Such functions are building blocks of several problems found in practical…

Optimization and Control · Mathematics 2023-08-25 Pietro Belotti

We give a simple proof of a formula for the minimal time required to simulate a two-qubit unitary operation using a fixed two-qubit Hamiltonian together with fast local unitaries. We also note that a related lower bound holds for arbitrary…

Quantum Physics · Physics 2007-05-23 Andrew M. Childs , Henry L. Haselgrove , Michael A. Nielsen

We establish a generic form of hardness amplification for the approximability of constant-depth Boolean circuits by polynomials. Specifically, we show that if a Boolean circuit cannot be pointwise approximated by low-degree polynomials to…

Computational Complexity · Computer Science 2014-04-29 Mark Bun , Justin Thaler

We prove two-sided bounds on the expected values of several geometric functionals of the convex hull of Brownian motion in $\mathbb{R}^n$ and their inverse processes. This extends some recent results of McRedmond and Xu (2017),…

Probability · Mathematics 2026-01-28 Hugo Panzo , Evan Socher

Let $(X,\Delta)$ be an $n$-dimensional $\epsilon$-klt log $\QQ$-Fano pair. We give an upper bound for the volume ${\rm Vol}(-(K_X+\Delta))=(-(K_X+\Delta))^n$ when $n=2$ or $n=3$ and $X$ is {$\QQ$-factorial} of $\rho(X)=1$. This bound is…

Algebraic Geometry · Mathematics 2012-04-13 Ching-Jui Lai

We study the multiplicative convolution for c-monotone independence. This convolution unifies the monotone, Boolean and orthogonal multiplicative convolutions. We characterize convolution semigroups for the c-monotone multiplicative…

Operator Algebras · Mathematics 2013-12-04 Takahiro Hasebe