AC0 Pseudorandomness of Natural Operations

Electronic Colloquium on Computational Complexity, Report No. 88 (2013) AC0 Pseudorandomness of Natural Operations Zachary Remscrim∗ and Michael Sipsery MIT Cambridge, MA 02139 June 15, 2013 Abstract A function f :Σ∗ ! Σ∗ on strings is AC0-pseudorandom if the pair (x; f^(x)) is AC0- indistinguishable from a uniformly random pair (y; z) when x is chosen uniformly at random. Here f^(x) is the string that is obtained from f(x) by discarding some selected bits from f(x). It is shown that several naturally occurring functions are AC0-pseudorandom, including convolution, nearly all homomorphisms, Boolean matrix multiplication, integer multiplication, finite field multiplication and division, several problems involving computing rank and determinant, and a variant of the algebraic integer problem. 1 Introduction 1.1 The Problem Random-like behavior occurs naturallyp in many places in mathematics. For example, the binary representations of numbers π, e and 2 look random. Various conjectures about the distribution of prime numbers and the number of prime factors of an integer say that these behave randomly. However, very little progress has been made in proving that such behaviors are indeed pseudoran- domp in any formal sense. For example, it is not known that the binary representations of π, e or 2, contain all substrings with the expected frequencies or even that the substring 11 appears infinitely often. In this paper, we propose to study the pseudorandom characteristics of naturally occurring mathematical functions by using the tools of complexity theory. The theory of pseudorandom generators provides a good starting point, but there the motivation is somewhat different than ours. Pseudorandom generators are used to good effect in cryptographic protocols and in derandomizing probabilistic algorithms, and they are designed with those goals in mind. Our objective is to study the basic operations themselves, such as Boolean convolution and integer multiplication, for their pseudorandom properties. These functions occur naturally|they have not been specifically designed to have pseudorandom behaviour|yet we can show that they do exhibit such behavior. We use the integer multiplication function as a motivating example. Let X and Y be n- bit binary strings representing non-negative integers and let Z be the 2n-bit string representing Z = X × Y . Take X and Y to be selected uniformly at random from 0 to 2n − 1, and consider the characteristics of Z. Does Z look random? The low-order bit of Z certainly does not; it is 0 with probability 3=4. The other very low order bits look non-random for a similar reason. The ∗[email protected] Research supported in part by an Akamai Fellowship. [email protected] 1 ISSN 1433-8092 very high order bits of Z likewise appear non-random. However, if we discard these problematic very low and very high order bits from Z, the result could conceivably be pseudorandom in some appropriate sense. We show that, for uniformly randomly selected X; Y , the string consisting of X; Y and all 2n bits of X × Y , except the lowest and highest nα bits, for any α > 0, is indistinguishable from truly random strings by AC0 circuits. In fact, we show something even stronger: for almost all Y , the string consisting of X and all 2n bits of X × Y , except the lowest and highest nα bits, is indistinguishable from random by AC0 circuits that have Y built-in (the circuit is allowed to depend on Y ). AC0 circuits are circuits consisting of AND, OR, and NOT gates of unbounded fan-in, such that the size of the circuit (the total number of gates) is polynomial in the size of the input and the depth of the circuit (the number of gates on the longest path from the input to the output) is a constant. Techniques for proving strong lower bounds on low-depth circuits [Ajt83],[FSS84],[Yao85],[Has86] enable us to prove the AC0-pseudorandomness of explicit functions without using any unproven complexity-theoretic assumptions. Moreover AC0 is powerful enough to describe basic tests for pseudorandomness. We now formally define what it means for a function to look random to AC0 circuits. For ease of exposition, we consider functions that operate on strings of a specific length, whereas we really have in mind a family of functions and their asymptotic properties. For a function f : f0; 1gm1 × · · · × f0; 1gmh ! f0; 1gk, define the function g : f0; 1gm1 × · · · × f0; 1gmh ! f0; 1gn, where n = m1+···+mh+k, such that g(x1; : : : ; xh) = x1◦· · ·◦xh◦f(x1; : : : ; xh) is the concatenation of x1; : : : ; xh and f(x1; : : : ; xh). Let µn denote the distribution of g(x1; : : : ; xh), when each xi is m n drawn uniformly at random from f0; 1g i . For any binary predicate Pn : f0; 1g ! f0; 1g, let Eµn [Pn] denote the expected value of Pn when inputs are drawn according to the distribution µn and E[Pn] denote the expected value of Pn when inputs are drawn uniformly at random from n f0; 1g . We say that the distribution µn -fools the function Pn if jEµn [Pn] − E[Pn]j < and 0 that the original function f is AC -pseudorandom if the corresponding distribution µn -fools 0 −nκ every Pn that is computable in AC , where = O(2 ), for constant κ > 0. This is, of course, quite similar to the standard pseudorandom generator model for AC0 circuits (see, for instance, [Nis91], [NW94]), with the exception of the fact that we impose the stronger requirement that both the input and output of the function together are indistinguishable from random bits, instead of only requiring that the output is indistinguishable. Also, while the focus of this paper is the pseudorandomness of functions, not the difficulty of actually computing the functions, it is still worth noting that the functions considered can be computed in a low complexity class such as AC0[2] (AC0 circuits that are allowed unbounded fan-in parity gates) or TC0 (constant depth circuits with unbounded fan-in majority gates), but still produce strings that are indistinguishable from truly random strings by AC0 circuits. A somewhat similar question was considered in the recent paper [Gre12], concerning the Möbiusfunction µ : N ! {−1; 0; 1g, which is defined such that µ(1) = 1, µ(x) = 0 when x has a nontrivial perfect square factor, and µ(x) = (−1)k, when x has no nontrivial perfect square factors, where k is the number of distinct primes in the prime factorization of x. It was shown 0 that µ is asymptotically orthogonal to any AC computable function f : N ! {−1; 1g (that is to 1 PN say N x=1 f(x)µ(x) = o(1)). Tools from complexity theory were used to show that a naturally occurring function looks random to AC0 circuits. It is worth noting that the functions considered in our paper have much longer output than the Möbiusfunction; we consider functions which, on an n bit input, produce a Ω(n) bit output, while the Möbiusfunction maps an n bit input to only a constant sized output. Another example of a natural problem studied for its pseudorandom properties is the alge- 2 braic number problem, which, as noted in [KLL84], was initially proposed by Manuelp Blum.p An algebraicp number is a root of a polynomial with integer coefficients. For example, 2; 3; and (1 + 5)=2 are all algebraic numbers. The algebraic number problem involves selecting, uniformly at random, an algebraic number ζ of bounded degree d and height H (where the degree of ζ is the degree of the (unique) primitive irreducible polynomial that has ζ as a root, and the height is the Euclidean length of the coefficient vector of that polynomial). The string to be considered is a portion of the binary expansion of the fractional part of ζ. In [KLL84], it was shown that, given the first O(d2 + d log H) bits of an algebraic number ζ, it is possible, in deterministic polynomial time to determine the minimal polynomial of ζ. Since the next bit of the binary expansion of ζ can easily be obtained if given the minimal polynomial of ζ, this immediately implied that such strings do not pass all polynomial time tests. We consider a closely related problem, which is identical to the above problem, except that we select ζ only from the ring of integers of certain algebraic number fields. By the argument used in [KLL84], this variant also does not pass all polynomial 0 time tests. However, we show that it does pass all AC tests. While this is certainly farp away from showing anything about the pseudorandomness properties of a single value, such as 2, it might be a step in that direction. 1.2 Main Results This paper illustrates two techniques for demonstrating that functions are AC0-pseudorandom. The first technique makes use of the result in [Bra09] that resolved the long standing Linial-Nisan conjecture [LN90]. We use this technique to show that almost all \reasonably sized" homomorphisms are AC0-pseudorandom, and, moreover, that convolution, integer multiplication and matrix multiplication are AC0-pseudorandom. Our second technique involves reducing the (provably hard) problem of computing parity to the problem of distinguishing certain distributions from random. The second technique is related to the method in [Nis91],[NW94], in that we show that the structure of certain multiplication problems is a naturally occuring example of the combinatorial designs they employ. We use this technique to show that an alternate form of the multiplication problem, where one multiplicand is substantially longer than the other, is AC0-pseudorandom. One consequence of this result will be the existence of a simple, multiplication-based pseudorandom generator with the same stretch and hardness parameters as the Nisan-Wigderson generator.

Load more