On the Rational Degree of Boolean Functions and Applications

Iyer, Vishnu; Jain, Siddhartha; Kovacs-Deak, Matt; Kumar, Vinayak M.; Schaeffer, Luke; Wang, Daochen; Whitmeyer, Michael

On the Rational Degree of Boolean Functions and Applications

Oct 11, 2023

17 pages

e-Print:

2310.08004 [cs.CC]

View in:

ADS Abstract Service

pdf

reference search0 citations

Citations per year

0 Citations

Abstract: (arXiv)

We study a natural complexity measure of Boolean functions known as the (exact) rational degree. For total functions

f

, it is conjectured that

\mathrm{rdeg}(f)

is polynomially related to

\mathrm{deg}(f)

, where

\mathrm{deg}(f)

is the Fourier degree. Towards this conjecture, we show that symmetric functions have rational degree at least

\mathrm{deg}(f)/2

and monotone functions have rational degree at least

\sqrt{\mathrm{deg}(f)}

. We observe that both of these lower bounds are tight. In addition, we show that all read-once depth-

d

Boolean formulae have rational degree at least

\Omega(\mathrm{deg}(f)^{1/d})

. Furthermore, we show that almost every Boolean function on

n

variables has rational degree at least

n/2 - O(\sqrt{n})

. In contrast to total functions, we exhibit partial functions that witness unbounded separations between rational and approximate degree, in both directions. As a consequence, we show that for quantum computers, post-selection and bounded-error are incomparable resources in the black-box model.

Note:

17 pages, 3 figures

References(32)

Figures(1)

[AB23]

An Exponential Separation Between Quantum Query Complexity and the Polynomial Degree

e-Print:
- 2301.09218

[ABDK+21]

STOC 2021: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing

Samir Khuller(ed.)
,
Virginia Vassilevska Williams(ed.)

•
DOI:
- 10.1145/3406325

[AK]

Scott Aaronson and Greg Kuperberg. Complexity zoo

- https://complexityzoo.net/

[Alo93]

Noga Alon. Personal communication to

M. Saks

[Ant95]

Martin Anthony. Classification by polynomial surfaces

- Discrete Appl.Math. 61 (1995) 91-103
•
DOI:
- 10.1016/0166-218X(94)00008-2

[BBC+01]

Tight quantum bounds by polynomials

Robert Beals
(
- Arizona U.
)
,
Harry Buhrman
(
- Amsterdam, CWI
)
,
Richard Cleve
(
- Calgary U.
)
,
Michele Mosca
(
- Oxford U.
)
,
Ronald de Wolf
(
- Amsterdam, CWI and
- Amsterdam U.
)

e-Print:
- quant-ph/9802049

[BKT20]

The polynomial method strikes back: tight quantum query bounds via dual polynomials.

Mark Bun
(
- Princeton U.
)
,
Robin Kothari
(
- Microsoft, Redmond
)
,
Justin Thaler
(
- Georgetown U.
)

- Theory Comput. 16 (2020) 10,
•
DOI:
- 10.4086/toc.2020.v016a010

[BW02]

Complexity measures and decision tree complexity: a survey

- Theor.Comput.Sci. 288 21-43
•
DOI:
- 10.1016/S0304-3975(01)00144-X

[Cov65]

Geometrical and statistical properties of systems of linear inequalities with applications in pattern recognition. IEEE Transactions on Electronic Computers, EC-14(3):326-334

Thomas M. Cover

•
DOI:
- 10.1109/PGEC.1965.264137

[For03]

Lance Fortnow. Computational complexity - rational functions and decisiontree complexity

[FSS81]

Merrick Furst

James B. Saxe

•
DOI:
- 10.1109/SFCS.1981.35

[Hua19]

Hao Huang. Induced subgraphs of hypercubes and a proof of the sensitivity conjecture. Ann. of Math. (2), 190(3):949-955

•
e-Print:
- 1907.00847
•
DOI:
- 10.4007/annals

[MP69]

Marvin Minsky and Seymour Papert. Perceptrons. MIT Press, Cambridge, MA,. [pp. 1, 7]

[MW15]

Urmila Mahadev and Ronald de Wolf. Rational approximations and quantum algorithms with postselection. Quantum Info

- Comput. 15 (2015) 295-307
•
e-Print:
- 1401.0912

[NC11]

Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, USA, 10th edition,. [p. 6]

Michael A. Nielsen
,
Isaac L. Chuang

[Nis91]

Noam Nisan. Crew prams and decision trees

- SIAM J.Comput. 20 (1991) 999-1007
•
DOI:
- 10.1137/0220062

[NS92]

Noam Nisan and Mario Szegedy. On the degree of boolean functions as real polynomials. In Proceedings of the 24th ACM Symposium on Theory of Computing (STOC), pages 462-467. ACM

•
DOI:
- 10.1145/129712.129757

[NW95]

Noam Nisan and Avi Wigderson. On rank vs. communication complexity

- Combinatorica 15 (1995) 557-565
•
DOI:
- 10.1007/BF01192527

[NW99]

Ashwin Nayak and Felix Wu. The quantum query complexity of approximating the median and related statistics. In Annual ACM Symposium on Theory of Computing (Atlanta, GA, 1999), pages 384-393. ACM, New York, 1999

•
e-Print:
- 2105.10386
•
DOI:
- 10.1145/301250

[NW99]

[p. 3]

DOI:
- 10.1017/CBO9781139814782

[OS08]

Ryan O’Donnell and Rocco A. Servedio. Extremal properties of polynomial threshold functions

- J.Comput.Syst.Sci. 74 (2008) 298-312
•
DOI:
- 10.1016/j.jcss.2007.06.021

[Sak93]

Slicing the hypercube, page 211-256. London Mathematical Society Lecture Note Series. Cambridge University Press

Michael E. Saks

•
DOI:
- 10.1017/CBO9780511662089

[Wol00]

Ronald de Wolf. Characterization of non-deterministic quantum query and quantum communication complexity. In Proceedings of the 15th Annual Conference on Computational Complexity (CCC), pages 271-278.. arXiv:

A. Rational Degree

•
e-Print:
- cs/0001014
•
DOI:
- 10.1109/CCC.2000.856758

[MW15]

stated for total Boolean functions, in fact also holds for partial ones. We do so simply by observing that the proof given in

[MW15]

also works for partial Boolean functions. Theorem 24. For any (possibly partial) Boolean function f on n variables and ε ∈ [0, 1/2), rdegε(f) = Θ(PostQε(f)). First we show that rational degree lower bounds quantum query complexity with post-selection. Lemma 25

Let D

1-25 of 32
1
2
25 / page