# Difference between revisions of "Quasirandomness"

## A possible definition of quasirandom subsets of $[3]^n$
Here, first, is a possible definition of a quasirandom function from $[2]^n\times [2]^n$ to $[-1,1].$ We say that f is c-quasirandom if $\mathbb{E}_{A,A',B,B'}f(A,B)f(A,B')f(A',B)f(A',B')\leq c.$ However, the expectation is not with respect to the uniform distribution over all quadruples (A,A',B,B') of subsets of $[n].$ Rather, we choose them as follows. (Several variants of what we write here are possible: it is not clear in advance what precise definition will be the most convenient to use.) First we randomly permute $[n]$ using a permutation $\pi$. Then we let A, A', B and B' be four random intervals in $\pi([n]),$ where we allow our intervals to wrap around mod n. (So, for example, a possible set A is $\{\pi(n-2),\pi(n-1),\pi(n),\pi(1),\pi(2)\}.$)
As ever, it is easy to prove positivity. To apply this definition to subsets $\mathcal{A}$ of $[3]^n,$ define f(A,B) to be 0 if A and B intersect, $1-\delta$ if they are disjoint and the sequence x that is 1 on A, 2 on B and 3 elsewhere belongs to $\mathcal{A},$ and $-\delta$ otherwise. Here, $\delta$ is the probability that (A,B) belongs to $\mathcal{A}$ if we choose (A,B) randomly by taking two random intervals in a random permutation of $[n]$ (in other words, we take the marginal distribution of (A,B) from the distribution of the quadruple (A,A',B,B') above) and condition on their being disjoint. It follows from this definition that $\mathbb{E}f=0$ (since the expectation conditional on A and B being disjoint is 0 and f is zero whenever A and B intersect).
Nothing that one would really like to know about this definition has yet been fully established, though an argument that looks as though it might work has been proposed to show that if f is quasirandom in this sense then the expectation $\mathbb{E}f(A,B)f(A\cup D,B)f(A,B\cup D)$ is small (if the distribution on these "set-theoretic corners" is appropriately defined).