Abstract:Boolean function $F(x,y)$ for $x,y \in \{0,1\}^n$ is an XOR function if $F(x,y)=f(x\oplus y)$ for some function $f$ on $n$ input bits, where $\oplus$ is a bit-wise XOR. XOR functions are relevant in communication complexity, partially for allowing Fourier analytic technique. For total XOR functions it is known that deterministic communication complexity of $F$ is closely related to parity decision tree complexity of $f$. Montanaro and Osbourne (2009) observed that one-sided communication complexity $D_{cc}^{\rightarrow}(F)$ of $F$ is exactly equal to nonadaptive parity decision tree complexity $NADT^{\oplus}(f)$ of $f$. Hatami et al. (2018) showed that unrestricted communication complexity of $F$ is polynomially related to parity decision tree complexity of $f$. We initiate the studies of a similar connection for partial functions. We show that in case of one-sided communication complexity whether these measures are equal, depends on the number of undefined inputs of $f$. On the one hand, if $D_{cc}^{\rightarrow}(F)=t$ and $f$ is undefined on at most $O(\frac{2^{n-t}}{\sqrt{n-t}})$, then $NADT^{\oplus}(f)=t$. On the other hand, for a wide range of values of $D_{cc}^{\rightarrow}(F)$ and $NADT^{\oplus}(f)$ (from constant to $n-2$) we provide partial functions for which $D_{cc}^{\rightarrow}(F) < NADT^{\oplus}(f)$. In particular, we provide a function with an exponential gap between the two measures. Our separation results translate to the case of two-sided communication complexity as well, in particular showing that the result of Hatami et al. (2018) cannot be generalized to partial functions. Previous results for total functions heavily rely on Boolean Fourier analysis and the technique does not translate to partial functions. For the proofs of our results we build a linear algebraic framework instead. Separation results are proved through the reduction to covering codes.

Properties and Applications of Differential Point of Boolean Function

Distinguishing Properties and Applications of Higher Order Derivatives of Boolean Functions

On vectorial functions mapping strict affine subspaces of their domain into strict affine subspaces of their co-domain, and the strong D-property

Distributed Algorithms that Solve Boolean Equations with Local and Differential Privacies

On the Rational Degree of Boolean Functions and Applications

Modeling Linear and Non-linear Layers: An MILP Approach Towards Finding Differential and Impossible Differential Propagations

Polynomial representation of general partial Boolean functions with a single quantum query

Constructions of Cryptographically Significant Boolean Functions Using Primitive Polynomials

Discrete Fixed Points: Models, Complexities, and Applications

Bitwise Higher Order Differential Cryptanalysis

The stability of the algebraic degree of Boolean functions when restricted to affine spaces

One-Way Communication Complexity of Partial XOR Functions

VECTORIAL BOOLEAN FUNCTIONS WITH GOOD CRYPTOGRAPHIC PROPERTIES

An upper bound on the number of relevant variables for Boolean functions on the Hamming graph

Some classes of functions with low [math]-differential uniformity over finite fields

Differential-Multiple Linear Cryptanalysis

Construction of Boolean Functions with Excellent Cryptographic Criteria Using Bivariate Polynomial Representation.

On Differentially Private Linear Algebra

Some Applications of Differential Subordination and the Dziok–Srivastava Convolution Operator

More New Classes Of Differentially 4-Uniform Permutations With Good Cryptographic Properties

On APN functions and their derivatives