# The Information Sieve

The Information Sieve
Greg Ver Steeg and Aram Galstyan, ICML 2016,
http://arxiv.org/abs/1507.02284

I really like the paper. In their ICML talk (shame that I didn't manage to attend!) they showed the intuition as drinking soups.

The idea is very simple. Suppose we want to learn a good representation of some observed data. Then the information sieve procedure contains two ideas. First, we should decompose the learning procedure into several stages, such that in each stage we only extract the information from the remainder of the last stage. In the soup example, the first stage gets the meat and leaves other ingredients, then the second stage gets the mushrooms from the remainders of the first stage. Second, at each stage, we want to extract as much information as possible. This depends on the functional class we use to learn representations, just like in the soup example, if the sieve size is small, then we might be able to also get the mushrooms in the first stage.

Let's go back and see the math details. The representation learning problem is formulated as correlation characterization, i.e. for data $X = (X_1, ..., X_N)$ with N components, we want to learn a representation $Y$ such that the components $X_i$ are independent with each other given $Y$. In practice we won't be able to learn such $Y$ in one stage for many problems, so why not do it recursively? Assume at stage k the input is $X^k$, where stage 0 simply has $X^0 = X$, then we repeat the following:

1. find function $f^k$ such that $Y^k = f^k(X^k)$ and $TC(X^k|Y^k)$ is minimized; $TC$ denotes "total correlation" that is defined as the KL-divergence from the joint distribution to the product of marginal distributions, which is just a multivariate version of mutual information.
2. construct remainder $X^{k+1}$ such that $X_{i}^{k+1}$ contains no information of $Y^k$, and $X^k$ can be (perfectly) reconstructed from $X^{k+1}$ and $Y^k$.

The concept of the algorithm is sound and very intriguing. I think in general we can replace step 1 with other criteria such that you can learn some representations from the input. Apparently the construction of the remainder $X^{k+1}$ depends on how we learn $Y^k$ and what we want to model in the next stage. For example we can use reconstruction loss in step 1, and extract the residuals to add in the remainder.

I was very happy with the sieve idea until I saw a confusing point in the paper. The authors emphasizes that the remainder vector $X^{k+1}$ should contain $Y^{k}$, i.e. $X^{k+1} = (X_1^{k+1}, ..., X_N^{k+1}, Y^{k})$. This sounds like you should put the meat back to the soup and drain it again. Sounds strange -- so I guess the soup example is not that appropriate. I can sort of see why this proposal is sensible, but I think in general $X^{k+1}$ just need to be a (probabilistic) function of $X^k$ and $Y^k$.

The sieve algorithm also reminds me the residual net that won ILSVRC and COCO challenges in 2015. It says we should also add a linear projection of the input to the output of the layer, i.e. $\textbf{h} = f(\textbf{x}, \textbf{W}) + \textbf{W}_{s}\textbf{x}$. Roughly speaking, the linear part $\textbf{W}_s \textbf{x}$ can be viewed as $Y^k$, and the non-linear part $f$ can be viewed as $(X_1^{k+1}, ..., X_N^{k+1})$. Does that mean we can adapt the sieve algorithm to train a residual network for unsupervised learning problems?

Before answering it, notice that the residual net uses the sum (instead of concatenation) of this two parts. So you might worry about "I'm losing something here by replacing $[\textbf{W}_s \textbf{x}, f(\textbf{x}, \textbf{W})]$ with a sum of the two", and want to work out the loss in bits. I spent some time looking at the theorems in the paper and tried to figure out, but it seems these theorems depend on the concatenation assumption and it's not clear to me how the bounds change when using summation.

However there's another way to think about this analogy. Simple calculation says that $\textbf{W}(\textbf{a} + \textbf{b}) = [\textbf{W}, \textbf{W}] [\textbf{a}^T, \textbf{b}^T]^T$. In other words, residual nets restrict the matrices that pre-multiply $Y^k$ and $f$ to be identical, and the sieve algorithm is more general here. I'm not saying you should always prefer the sieve alternative. In fact for residual networks which typically have tens or even hundreds of layers with hundreds of neurons per layer, you probably don't want to double the number of parameters just to get a bit of improvements. The original residual network paper argued its efficiency as preventing vanishing/exploding gradients when the network is very deep, which is computational. So it would be very interesting to see why residual learning helps statistically, and the sieve algorithm might be able to provide some insight here.