user: text: Write a concise one-sentence TLDR summary of the scientific paper content below.

Title: Understanding Straight-Through Estimator in Training Activation Quantized Neural Nets

Paper content:
Training activation quantized neural networks involves minimizing a piecewise constant training loss whose gradient vanishes almost everywhere, which is undesirable for the standard back-propagation or chain rule.
An empirical way around this issue is to use a straight-through estimator (STE) (Bengio et al., 2013) in the backward pass only, so that the "gradient" through the modified chain rule becomes non-trivial.
Since this unusual "gradient" is certainly not the gradient of loss function, the following question arises: why searching in its negative direction minimizes the training loss?
In this paper, we provide the theoretical justification of the concept of STE by answering this question.
We consider the problem of learning a two-linear-layer network with binarized ReLU activation and Gaussian input data.
We shall refer to the unusual "gradient" given by the STE-modifed chain rule as coarse gradient.
The choice of STE is not unique.
We prove that if the STE is properly chosen, the expected coarse gradient correlates positively with the population gradient (not available for the training), and its negation is a descent direction for minimizing the population loss.
We further show the associated coarse gradient descent algorithm converges to a critical point of the population loss minimization problem.
Moreover, we show that a poor choice of STE leads to instability of the training algorithm near certain local minima, which is verified with CIFAR-10 experiments.
Deep neural networks (DNN) have achieved the remarkable success in many machine learning applications such as computer vision (Krizhevsky et al., 2012; Ren et al., 2015) , natural language processing (Collobert & Weston, 2008) and reinforcement learning (Mnih et al., 2015; Silver et al., 2016) .
However, the deployment of DNN typically require hundreds of megabytes of memory storage for the trainable full-precision floating-point parameters, and billions of floating-point operations to make a single inference.
To achieve substantial memory savings and energy efficiency at inference time, many recent efforts have been made to the training of coarsely quantized DNN, meanwhile maintaining the performance of their float counterparts (Courbariaux et al., 2015; Rastegari et al., 2016; Cai et al., 2017; Hubara et al., 2018; Yin et al., 2018b) .Training
fully quantized DNN amounts to solving a very challenging optimization problem. It calls
for minimizing a piecewise constant and highly nonconvex empirical risk function f (w) subject to a discrete set-constraint w ∈ Q that characterizes the quantized weights. In particular
, weight quantization of DNN have been extensively studied in the literature; see for examples (Li et al., 2016; Zhu et al., 2016; Li et al., 2017; Yin et al., 2016; 2018a; Hou & Kwok, 2018; He et al., 2018; Li & Hao, 2018) . On the other
hand, the gradient ∇f (w) in training activation quantized DNN is almost everywhere (a.e.) zero, which makes the standard back-propagation inapplicable. The arguably
most effective way around this issue is nothing but to construct a non-trivial search direction by properly modifying the chain rule. Specifically
, one can replace the a.e. zero derivative of quantized activation function composited in the chain rule with a related surrogate. This proxy
derivative used in the backward pass only is referred as the straight-through estimator (STE) (Bengio et al., 2013) . In the same
paper, Bengio et al. (2013) proposed an alternative approach based on stochastic neurons. In addition
, Friesen & Domingos (2017) proposed the feasible target propagation algorithm for learning hard-threshold (or binary activated) networks (Lee et al., 2015) via convex combinatorial optimization.

assistant: text: We make theoretical justification for the concept of straight-through estimator.