Source author record

Magnus Gausdal Find

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Computational Complexity

Catalog footprint

Research overview

2works

1topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Constructive Relationships Between Algebraic Thickness and Normality

We study the relationship between two measures of Boolean functions; \emph{algebraic thickness} and \emph{normality}. For a function $f$ , the algebraic thickness is a variant of the \emph{sparsity}, the number of nonzero coefficients in the unique GF(2) polynomial representing $f$ , and the normality is the largest dimension of an affine subspace on which $f$ is constant. We show that for $0 < ε<2$ , any function with algebraic thickness $n^{3-ε}$ is constant on some affine subspace of dimension $Ω\left(n^{\fracε{2}}\right)$ . Furthermore, we give an algorithm for finding such a subspace. We show that this is at most a factor of $Θ(\sqrt{n})$ from the best guaranteed, and when restricted to the technique used, is at most a factor of $Θ(\sqrt{\log n})$ from the best guaranteed. We also show that a concrete function, majority, has algebraic thickness $Ω\left(2^{n^{1/6}}\right)$ .

preprint2014arXiv

On the Complexity of Computing Two Nonlinearity Measures

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 $2^{O(n)}$ given the truth table of length $2^n$ , in fact under the same assumption it is impossible to approximate the multiplicative complexity within a factor of $(2-ε)^{n/2}$ . When given a circuit, the problem of determining the multiplicative complexity is in the second level of the polynomial hierarchy. For nonlinearity, we show that it is #P hard to compute given a function represented by a circuit.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.