Feedback from the Foundations of Computer Science Symposium

By: Criteo AI Lab / 24 Oct 2018

FOCS is one of the top two conferences in theoretical computer science (according to Wikipedia). It has a long history: this year’s edition was the 59th! It has been known with its current name since 1975.

It assembles a fairly small community of theoretical computer scientists — I heard around 260 people registered. It is organized with mainly two parallel sessions of 20 minutes talks for 3 days (see program).

As a machine learning scientist, theory of computer science is not my area of specialty and it was my first time attending. I was positively impressed by the quality of the talks. They covered a wide range of algorithms, and even though the focus was on proving bounds, the presenters made a wonderful job of giving intuitions and core ideas rather than theorem upon theorem. The typical talk structure would include:

– a usually pedagogical introduction to the problem of interest, including necessary definitions, and very often intuitions or toy problems for illustration, and applications,
– an overview of the history of the problem, or at least background and previous work (or rather, previous bounds),
– the outline of the proposed algorithm, specifying the most important tools used,
– a sketch of the proof,
– a conclusion with open problems.

Even though no-one showed experimental results, i.e. involving real-world data, most often the algorithms were shown to have practical applications — from dynamic pricing to image denoising. I found the presentations introduced a number of tools which I think might help in either understanding or improving our current algorithms dealing with large-scale, high-dimensional data. In the following paragraphs, I’ll detail few papers that stood out from my point of view.

 

How do you optimize search in high-dimensions?

In Contextual Search via Intrinsic Volumes, the authors consider the problem of contextual multi-dimensional binary search, where the goal is to find the value of a vector \(v \in [0, 1]^d\). At each round,

– an adversary provides a context \(u_t \in \mathbb{R}^d\),
– the learner guesses a value \(p_t\),
– the learner incurs a loss \(\ell(\langle u_t, v\rangle, p_t)\),
– and learns whether or not \(p_t \leq \langle u_t, v\rangle\).

The goal of the learner is then to minimize their total loss \(\sum_{t=1}^T \ell(\langle u_t, v\rangle, p_t)\).

The strategy in the case \(d=1\) is trivial, you just have to split a segment in half at each step. In the where \(d=2\), the natural strategy is to divide in half the search area. In the worst case, though, where the area is “long and skinny”, using the perimeter is better, so that in general, using a strategy based on decreasing a potential function \(\phi(S_t) = \text{perimeter}(S_t) + \sqrt{\text{area}(S_t)}\) has better regret.
They generalize from the 2D case to higher dimensions by relying on intrinsic volumes, which are well studied in integral geometry. Formally, intrinsic volumes are defined as the coefficients that arise in Steiner’s formula of the volume of the sum of a convex set \(K\subseteq\mathbb{R}^d\) and a unit ball \(B\):

\( \text{Vol}(K + \varepsilon B) = \sum_{j=0}^d \kappa_{d-j} V_j(K) \varepsilon^{d-j},\)

where \(V_j(K)\) are the normalized coefficients of the polynomial and \(\kappa_{d-j}\) is the volume of the \((d-j)\)-dimensional unit ball.

Building upon the set of elegant properties previously shown for these volumes, the authors are able to provide an algorithm that achieves regret \(O(\mathtt{poly}(d))\) for the case of minimizing a loss \(\ell(\theta, p)=|\theta – p|\), where previous best-known algorithms incurred regret \(O(\mathtt{poly}(d)\log(T))\).

 

How do you efficiently estimate densities for large datasets?

Rajesh Jayaram presented an algorithm to do Perfect \(L_p\) Sampling in a Data Stream. Sampling has been shown very useful in the statistical analysis of large data streams.

Given a stream of updates to the coordinates of a vector \(f\in\mathbb{R}^n\), an approximate \(L_p\) sampler must output, after a single pass, an index \(i^*\in[n]\) such that for every \(j\in[n]\),

\(P(i^*=j) =\frac{|f_j|^p}{||f||_p^p}(1\pm\nu) + O(n^{-c}),\)

where :

– \(c\ge1\) is an arbitrarily large constant,
– \(\nu\in[0,1)\) is the relative error
– the sampler is allowed to output \(\texttt{FAIL}\) with probability \(\delta\),
– a stream of updates for \(f\in\mathbb{R}^n\) is given as \(f_i \leftarrow f_i + \Delta\), where \(\Delta\) can be positive or negative case.

When \(\nu=0\), the sampler is said to be perfect.
In the case where \(p=1\) and \(\Delta>0\), the problem is easily solved using \(O(\log n)\) bits of space with reservoir sampling.

The authors demonstrate the existence of a perfect \(L_p\)-sampler for the case \(p\in(0,2)\). The main idea is based on improving precision sampling. The classical samplers usually follow the same pattern:

1. perform a linear transformation of \(z_i = f_i/t_i^{1/p}\).
2. Run count-sketch on \(z\) to estimate \(y\).
3. Find \(i^*=\arg\max_i|y_i|\). Run a statistical test to decide whether to output \(i^*\) or \(y\).

Instead of using a linear transformation of the inputs based on uniform random variables \(t_i\), they scale the inputs with exponential random variables, which have nicer properties, namely for scaling: if \(t_i \sim \exp(1)\), then \(t_i/f_i \sim \exp(f_i)\). They exploit previous observations on the distribution of the anti-rank vector \((D(1), D(2), \dots, D(n))\), where \(D(k)\in[n]\) is a random variable which gives the index of the \(t\)-th smallest exponential of \((t_1, \dots, t_n)\) independently distributed exponentials, eg for any \(k\in[n]\):

\(t_{D(k)} = \sum_{i=1}^k \frac{E_i}{\sum_{j=i}^n \lambda_{D(j)}},\)

where the \(E_i\) are iid exponential variables with mean \(1\) and independent of the anti-rank vector.

Paris Siminelakis presented a new algorithm for Efficient Density Evaluation for Smooth Kernels. Kernel density estimation is a well known non-parametric problem, with many applications in machine learning. At its core lies the necessity of computing the kernel density function of a dataset \(P\subset \mathbb{R}^d\), defined for a point \(x\in\mathbb{R}^d\) as:

\(KDF_P(x):=\frac{1}{|P|}\sum_{y\in P}k(x,y).\)

This problem is notoriously hard to solve in practice, since this function needs to be evaluated quickly, for a large dataset \(P\) and many points \(x\), and often in high-dimension.

The authors build on the previous techniques: (a) partitioning the data space and split the estimate in a set of “smaller” kernels — typically with methods such as quad-trees, thus hard to scale to high dimensions (exponential dependence), and (b) using importance sampling through hashing — requiring a specific hashing scheme, and requiring a number of samples which can grow large through a dependence on the minimum of the kernel, i.e. \(\mu\) such that \(KDF_P(x)\geq\mu\). Describing the algorithm they present would not fit in a short summary, but in a nutshell, the idea is to build quad-trees on a random projection of the input space, use reservoir sampling in each cell to provide a partition estimator of the density.

Another interesting presentation was from Manolis Zampetakis, presenting Efficient Statistics, in High Dimensions, from Truncated Samples — generalizing the early results from Galton, 1897, to multivariate truncated normal estimation. One of their main results is to prove that without access to an oracle indicating whether a sample belongs to the truncated set, it is impossible to approximate the unknown normal.

 

How do you sample in graphs?

Many presentations tackled graph algorithms. The definition of the graph Laplacian came up in several presentations, in different flavors.
The authors of A Matrix Chernoff Bound for Strongly Rayleigh Distributions and Spectral Sparsifiers from a few Random Spanning Trees introduce a new matrix concentration bound to show guarantees on the computation of spectral sparsifiers of graph Laplacians through sums of random spanning trees. There is a history of results on concentration bounds for sums of random variables, among which the Chernoff bound is one of the most popular. The authors propose to study the concentration of measure for matrix-valued random variables, and derived a Matrix Chernoff bound for \(k\)-homogeneous Strongly Rayleigh Distributions. They use this bound to compute concentration bounds for sums of Laplacians of independent random spanning trees, and draw conclusions on graph sparsification. Interestingly, their proof uses Doob martingales, i.e. martingales built from sequences of conditional expectations, which have nice mathematical properties.

A very different work uses random-walk based sampling. In Sublinear algorithms for local graph centrality estimation, the authors focus on the PageRank and Heat Kernel definitions of centrality and show a how to build a “perfect” estimator for \(P(v)\) with good approximation guarantees and how to avoid expanding “heavy” nodes in the random walk, while keeping these guarantees.

 

Knuth Prize

Johan Håstad giving the Knuth Prize lecture

It is worth mentioning that the last talk on Monday 8th was the Knuth Prize Lecture by this year’s winner, Johan Håstad. He shared “random thoughts”, looking back to his career, with some advice — such as knowing the right people at the right time and moving around to increase chances for luck to strike. I didn’t understand much of the technical part, except that he seemed to admire the PCP theorem a lot, and he said that working on the Unique Games Conjecture was a good idea. Always good to know :-).

 

Conclusion

Even though it’s not always clear how applicable the results are in practice, I found it interesting to note the recurring patterns: sketching, random projections, trees, sampling, hashing… As we are already using some of these principles to handle the large scale of data we deal with everyday at Criteo, getting to grips with the underlying theory and seeing how the different techniques work together was pure fuel for ideas.


Post written by:

Anne-Marie Tousch, Machine Learning Scientist, Criteo AI Lab