Abstract:We study the problem of testing if a function depends on a small number of linear directions of its input data. We call a function $f$ a linear $k$-junta if it is completely determined by some $k$-dimensional subspace of the input space. In this paper, we study the problem of testing whether a given $n$ variable function $f : \mathbb{R}^n \to \{0,1\}$, is a linear $k$-junta or $\epsilon$-far from all linear $k$-juntas, where the closeness is measured with respect to the Gaussian measure on $\mathbb{R}^n$. Linear $k$-juntas are a common generalization of two fundamental classes from Boolean function analysis (both of which have been studied in property testing) $\textbf{1.}$ $k$- juntas which are functions on the Boolean cube which depend on at most k of the variables and $\textbf{2.}$ intersection of $k$ halfspaces, a fundamental geometric concept class. We show that the class of linear $k$-juntas is not testable, but adding a surface area constraint makes it testable: we give a $\mathsf{poly}(k \cdot s/\epsilon)$-query non-adaptive tester for linear $k$-juntas with surface area at most $s$. We show that the polynomial dependence on $s$ is necessary. Moreover, we show that if the function is a linear $k$-junta with surface area at most $s$, we give a $(s \cdot k)^{O(k)}$-query non-adaptive algorithm to learn the function up to a rotation of the basis. In particular, this implies that we can test the class of intersections of $k$ halfspaces in $\mathbb{R}^n$ with query complexity independent of $n$.

One-dimensional I Test and Direction Vector I Test with Array References by Induction Variable

Tests for a Multiple-Sample Problem in High Dimensions

An Adaptive Test for the Mean Vector in Large-P-small-n Problems

Testing for Parallelism among Trends in Multiple Time Series.

Direct optimization of uncertain structures based on degree of interval constraint violation

Coping with data dependencies of multi-dimensional array references

Dependence Difference Inequality Test Algorithm for Two-dimensional Arrays in Software Pipelining Field

Test for a Mean Vector with Fixed or Divergent Dimension

Consistency of invariance-based randomization tests

RANK-BASED INDICES FOR TESTING INDEPENDENCE BETWEEN TWO HIGH-DIMENSIONAL VECTORS

Tests for one and two mean vectors and simultaneous confidence intervals with monotone incomplete data

Identity Tests for High Dimensional Data Using Rmt

Testing the independence of two random vectors where only one dimension is large

Automatic Invariant Synthesis for Arrays in Simple Programs

Is your function low-dimensional?

Directional testing for one-way MANOVA in divergent dimensions

An extended w-test for outlier diagnostics in linear models

Interval Iterative Decreasing Dimension Method for Interval Linear Systems and Its Implementation to Analog Circuits

A test for counting sequences of integer-valued autoregressive models

Projection Test for Mean Vector in High Dimensions

Conditional independence testing under misspecified inductive biases