Variational Autoencoder with Normalizing Flows
The choice of approximate posterior distribution is one of the core problems in variational inference. Most applications of variational inference employ simple families of posterior approximations in order to allow for efficient inference, focusing on mean-field or other simple structured approximations. This restriction has a significant impact on the quality of inferences made using variational methods. We introduce a new approach for specifying flexible, arbitrarily complex and scalable approximate posterior distributions. Our approximations are distributions constructed through a normalizing flow, whereby a simple initial density is transformed into a more complex one by applying a sequence of invertible transformations until a desired level of complexity is attained. We use this view of normalizing flows to develop categories of finite and infinitesimal flows and provide a unified view of approaches for constructing rich posterior approximations. We demonstrate that the theoretical advantages of having posteriors that better match the true posterior, combined with the scalability of amortized variational approaches, provides a clear improvement in performance and applicability of variational inference.READ FULL TEXT VIEW PDF
One of the core problems in variational inference is a choice of approxi...
Variational inference methods often focus on the problem of efficient mo...
Variational inference relies on flexible approximate posterior distribut...
Classical approaches for approximate inference depend on cleverly design...
Variational methods are widely used for approximate posterior inference....
We consider the problem of approximate Bayesian inference in log-supermo...
We propose a black-box variational inference method to approximate
Variational Autoencoder with Normalizing Flows
Implementation of https://arxiv.org/abs/1505.05770
Implementation of Normalizing flows on MNIST https://arxiv.org/abs/1505.05770
There has been a great deal of renewed interest in variational inference as a means of scaling probabilistic modeling to increasingly complex problems on increasingly larger data sets. Variational inference now lies at the core of large-scale topic models of text (Hoffman et al., 2013), provides the state-of-the-art in semi-supervised classification (Kingma et al., 2014), drives the models that currently produce the most realistic generative models of images (Gregor et al., 2014, 2015; Rezende et al., 2014; Kingma & Welling, 2014), and are a default tool for the understanding of many physical and chemical systems. Despite these successes and ongoing advances, there are a number of disadvantages of variational methods that limit their power and hamper their wider adoption as a default method for statistical inference. It is one of these limitations, the choice of posterior approximation, that we address in this paper.
Variational inference requires that intractable posterior distributions be approximated by a class of known probability distributions, over which we search for the best approximation to the true posterior. The class of approximations used is often limited, e.g., mean-field approximations, implying that no solution is ever able to resemble the true posterior distribution. This is a widely raised objection to variational methods, in that unlike other inferential methods such as MCMC, even in the asymptotic regime we are unable recover the true posterior distribution.
There is much evidence that richer, more faithful posterior approximations do result in better performance. For example, when compared to sigmoid belief networks that make use of mean-field approximations, deep auto-regressive networks use a posterior approximation with an auto-regressive dependency structure that provides a clear improvement in performance (Mnih & Gregor, 2014). There is also a large body of evidence that describes the detrimental effect of limited posterior approximations. Turner & Sahani (2011)
provide an exposition of two commonly experienced problems. The first is the widely-observed problem of under-estimation of the variance of the posterior distribution, which can result in poor predictions and unreliable decisions based on the chosen posterior approximation. The second is that the limited capacity of the posterior approximation can also result in biases in the MAP estimates of any model parameters (and this is the case e.g., in time-series models).
A number of proposals for rich posterior approximations have been explored, typically based on structured mean-field approximations that incorporate some basic form of dependency within the approximate posterior. Another potentially powerful alternative would be to specify the approximate posterior as a mixture model, such as those developed by Jaakkola & Jordan (1998); Jordan et al. (1999); Gershman et al. (2012). But the mixture approach limits the potential scalability of variational inference since it requires evaluation of the log-likelihood and its gradients for each mixture component per parameter update, which is typically computationally expensive.
This paper presents a new approach for specifying approximate posterior distributions for variational inference. We begin by reviewing the current best practice for inference in general directed graphical models, based on amortized variational inference and efficient Monte Carlo gradient estimation, in section 2. We then make the following contributions:
We propose the specification of approximate posterior distributions using normalizing flows, a tool for constructing complex distributions by transforming a probability density through a series of invertible mappings (sect. 3). Inference with normalizing flows provides a tighter, modified variational lower bound with additional terms that only add terms with linear time complexity (sect 4).
We show that normalizing flows admit infinitesimal flows that allow us to specify a class of posterior approximations that in the asymptotic regime is able to recover the true posterior distribution, overcoming one oft-quoted limitation of variational inference.
We present a unified view of related approaches for improved posterior approximation as the application of special types of normalizing flows (sect 5).
We show experimentally that the use of general normalizing flows systematically outperforms other competing approaches for posterior approximation.
To perform inference it is sufficient to reason using the marginal likelihood of a probabilistic model, and requires the marginalization of any missing or latent variables in the model. This integration is typically intractable, and instead, we optimize a lower bound on the marginal likelihood. Consider a general probabilistic model with observations , latent variables over which we must integrate, and model parameters . We introduce an approximate posterior distribution for the latent variables and follow the variational principle (Jordan et al., 1999) to obtain a bound on the marginal likelihood:
where we used Jensen’s inequality to obtain the final equation, is a likelihood function and is a prior over the latent variables. We can easily extend this formulation to posterior inference over the parameters , but we will focus on inference over the latent variables only. This bound is often referred to as the negative free energy or as the evidence lower bound (ELBO). It consists of two terms: the first is the KL divergence between the approximate posterior and the prior distribution (which acts as a regularizer), and the second is a reconstruction error. This bound (3) provides a unified objective function for optimization of both the parameters and of the model and variational approximation, respectively.
Current best practice in variational inference performs this optimization using mini-batches and stochastic gradient descent, which is what allows variational inference to be scaled to problems with very large data sets. There are two problems that must be addressed to successfully use the variational approach: 1) efficient computation of the derivatives of the expected log-likelihood, and 2) choosing the richest, computationally-feasible approximate posterior distribution . The second problem is the focus of this paper. To address the first problem, we make use of two tools: Monte Carlo gradient estimation and inference networks, which when used together is what we refer to as amortized variational inference.
The bulk of research in variational inference over the years has been on ways in which to compute the gradient of the expected log-likelihood . Whereas we would have previously resorted to local variational methods (Bishop, 2006), in general we now always compute such expectations using Monte Carlo approximations (including the KL term in the bound, if it is not analytically known). This forms what has been aptly named doubly-stochastic estimation (Titsias & Lazaro-Gredilla, 2014), since we have one source of stochasticity from the mini-batch and a second from the Monte Carlo approximation of the expectation.
We focus on models with continuous latent variables, and the approach we take computes the required gradients using a non-centered reparameterization of the expectation (Papaspiliopoulos et al., 2003; Williams, 1992), combined with Monte Carlo approximation — referred to as stochastic backpropagation
stochastic backpropagation(Rezende et al., 2014). This approach has also been referred to or as stochastic gradient variational Bayes (SGVB) (Kingma & Welling, 2014) or as affine variational inference (Challis & Barber, 2012).
Stochastic backpropagation involves two steps:
. We reparameterize the latent variable in terms of a known base distribution and a differentiable transformation (such as a location-scale transformation or cumulative distribution function). For example, if, with , then the location-scale transformation using the standard Normal as a base distribution allows us to reparameterize as:
Backpropagation with Monte Carlo. We can now differentiate (backpropagation) w.r.t. the parameters of the variational distribution using a Monte Carlo approximation with draws from the base distribution:
A number of general purpose approaches based on Monte Carlo control variate (MCCV) estimators exist as an alternative to stochastic backpropagation, and allow for gradient computation with latent variables that may be continuous or discrete (Williams, 1992; Mnih & Gregor, 2014; Ranganath et al., 2013; Wingate & Weber, 2013). An important advantage of stochastic backpropagation is that, for models with continuous latent variables, it has the lowest variance among competing estimators.
A second important practice is that the approximate posterior distribution is represented using a recognition model or inference network (Rezende et al., 2014; Dayan, 2000; Gershman & Goodman, 2014; Kingma & Welling, 2014). An inference network is a model that learns an inverse map from observations to latent variables. Using an inference network, we avoid the need to compute per data point variational parameters, but can instead compute a set of global variational parameters valid for inference at both training and test time. This allows us to amortize the cost of inference by generalizing between the posterior estimates for all latent variables through the parameters of the inference network. The simplest inference models that we can use are diagonal Gaussian densities, where the mean function
and the standard-deviation function
are specified using deep neural networks.
In this paper, we study deep latent Gaussian models (DLGM), which are a general class of deep directed graphical models that consist of a hierarchy of layers of Gaussian latent variables for layer . Each layer of latent variables is dependent on the layer above in a non-linear way, and for DLGMs, this non-linear dependency is specified by deep neural networks. The joint probability model is:
th Gaussian distribution is not dependent on any other random variables. The prior over latent variables is a unit Gaussianand the observation likelihood is any appropriate distribution that is conditioned on and is also parameterized by a deep neural network (figure 2). This model class is very general and includes other models such as factor analysis and PCA, non-linear factor analysis, and non-linear Gaussian belief networks as special cases (Rezende et al., 2014).
DLGMs use continuous latent variables and is a model class perfectly suited to fast amortized variational inference using the lower bound (3) and stochastic backpropagation. The end-to-end system of DLGM and inference network can be viewed as an encoder-decoder architecture, and this is the perspective taken by Kingma & Welling (2014) who present this combination of model and inference strategy as a variational auto-encoder. The inference networks used in Kingma & Welling (2014); Rezende et al. (2014) are simple diagonal or diagonal-plus-low rank Gaussian distributions. The true posterior distribution will be more complex than this assumption allows for, and defining multi-modal and constrained posterior approximations in a scalable manner remains a significant open problem in variational inference.
By examining the bound (3), we can see that the optimal variational distribution that allows is one for which , i.e. matches the true posterior distribution. This possibility is obviously not realizable given the typically used distributions, such as independent Gaussians or other mean-field approximations. Indeed, one limitation of the variational methodology due to the available choices of approximating families, is that even in an asymptotic regime we can not obtain the true posterior. Thus, an ideal family of variational distributions is one that is highly flexible, preferably flexible enough to contain the true posterior as one solution. One path towards this ideal is based on the principle of normalizing flows (Tabak & Turner, 2013; Tabak & Vanden-Eijnden, 2010).
A normalizing flow describes the transformation of a probability density through a sequence of invertible mappings. By repeatedly applying the rule for change of variables, the initial density ‘flows’ through the sequence of invertible mappings. At the end of this sequence we obtain a valid probability distribution and hence this type of flow is referred to as a normalizing flow.
The basic rule for transformation of densities considers an invertible, smooth mapping with inverse , i.e. the composition . If we use this mapping to transform a random variable with distribution , the resulting random variable has a distribution :
where the last equality can be seen by applying the chain rule (inverse function theorem) and is a property of Jacobians of invertible functions. We can construct arbitrarily complex densities by composing several simple maps and successively applying (5). The density obtained by successively transforming a random variable with distribution through a chain of transformations is:
where equation (6) will be used throughout the paper as a shorthand for the composition . The path traversed by the random variables with initial distribution is called the flow and the path formed by the successive distributions is a normalizing flow. A property of such transformations, often referred to as the law of the unconscious statistician (LOTUS), is that expectations w.r.t. the transformed density can be computed without explicitly knowing . Any expectation can be written as an expectation under as:
which does not require computation of the the logdet-Jacobian terms when does not depend on .
We can understand the effect of invertible flows as a sequence of expansions or contractions on the initial density. For an expansion, the map pulls the points away from a region in , reducing the density in that region while increasing the density outside the region. Conversely, for a contraction, the map pushes points towards the interior of a region, increasing the density in its interior while reducing the density outside.
The formalism of normalizing flows now gives us a systematic way of specifying the approximate posterior distributions required for variational inference. With an appropriate choice of transformations , we can initially use simple factorized distributions such as an independent Gaussian, and apply normalizing flows of different lengths to obtain increasingly complex and multi-modal distributions.
It is natural to consider the case in which the length of the normalizing flow tends to infinity. In this case, we obtain an infinitesimal flow
, that is described not in terms of a finite sequence of transformations — a finite flow, but as a partial differential equation describing how the initial densityevolves over ‘time’: where describes the continuous-time dynamics.
Langevin Flow. One important family of flows is given by the Langevin stochastic differential equation (SDE):
where is a Wiener process with and ,
is the drift vector andis the diffusion matrix. If we transform a random variable with initial density through the Langevin flow (9
), then the rules for the transformation of densities is given by the Fokker-Planck equation (or Kolmogorov equations in probability theory). The densityof the transformed samples at time will evolve as:
In machine learning, we most often use the Langevin flow with and , where is an unnormalised log-density of our model.
Importantly, in this case the stationary solution for is given by the Boltzmann distribution: That is, if we start from an initial density and evolve its samples through the Langevin SDE, the resulting points will be distributed according to , i.e. the true posterior. This approach has been explored for sampling from complex densities by Welling & Teh (2011); Ahn et al. (2012); Suykens et al. (1998).
Hamiltonian Flow. Hamiltonian Monte Carlo can also be described in terms of a normalizing flow on an augmented space with dynamics resulting from the Hamiltonian ; HMC is also widely used in machine learning, e.g., Neal (2011). We will use the Hamiltonian flow to make a connection to the recently introduced Hamiltonian variational approach from Salimans et al. (2015) in section 5.
To allow for scalable inference using finite normalizing flows, we must specify a class of invertible transformations that can be used and an efficient mechanism for computing the determinant of the Jacobian. While it is straightforward to build invertible parametric functions for use in equation (5), e.g., invertible neural networks (Baird et al., 2005; Rippel & Adams, 2013), such approaches typically have a complexity for computing the Jacobian determinant that scales as , where is the dimension of the hidden layers and is the number of hidden layers used. Furthermore, computing the gradients of the Jacobian determinant involves several additional operations that are also and involve matrix inverses that can be numerically unstable. We therefore require normalizing flows that allow for low-cost computation of the determinant, or where the Jacobian is not needed at all.
We consider a family of transformations of the form:
where are free parameters and is a smooth element-wise non-linearity, with derivative . For this mapping we can compute the logdet-Jacobian term in time (using the matrix determinant lemma):
The flow defined by the transformation (13) modifies the initial density
by applying a series of contractions and expansions in the direction perpendicular to the hyperplane, hence we refer to these maps as planar flows.
As an alternative, we can consider a family of transformations that modify an initial density around a reference point . The transformation family is:
where , , and the parameters of the map are . This family also allows for linear-time computation of the determinant. It applies radial contractions and expansions around the reference point and are thus referred to as radial flows. We show the effect of expansions and contractions on a uniform and Gaussian initial density using the flows (10) and (14) in figure 1. This visualization shows that we can transform a spherical Gaussian distribution into a bimodal distribution by applying two successive transformations.
If we parameterize the approximate posterior distribution with a flow of length , , the free energy (3) can be written as an expectation over the initial distribution :
Normalizing flows and this free energy bound can be used with any variational optimization scheme, including generalized variational EM. For amortized variational inference, we construct an inference model using a deep neural network to build a mapping from the observations to the parameters of the initial density ( and ) as well as the parameters of the flow .
. By using an inference network we are able to form a single computational graph which allows for easy computation of all the gradients of the parameters of the inference network and the generative model. The estimated gradients are used in conjunction with preconditioned stochastic gradient-based optimization methods such as RMSprop or AdaGrad(Duchi et al., 2010), where we use parameter updates of the form: with is a diagonal preconditioning matrix that adaptively scales the gradients for faster minimization.
The algorithmic complexity of jointly sampling and computing the log-det-Jacobian terms of the inference model scales as , where is the number of deterministic layers used to map the data to the parameters of the flow, is the average hidden layer size, is the flow-length and is the dimension of the latent variables. Thus the overall algorithm is at most quadratic making the overall approach competitive with other large-scale systems used in practice.
Using the framework of normalizing flows, we can provide a unified view of recent proposals for designing more flexible posterior approximations. At the outset, we distinguish between two types of flow mechanisms that differ in how the Jacobian is handled. The work in this paper considers general normalizing flows and presents a method for linear-time computation of the Jacobian. In contrast, volume-preserving flows design the flow such that its Jacobian-determinant is equal to one while still allowing for rich posterior distributions. Both these categories allow for flows that may be finite or infinitesimal.
The Non-linear Independent Components Estimation (NICE) developed by Dinh et al. (2014) is an instance of a finite volume-preserving flow. The transformations used are neural networks with easy to compute inverses of the form:
where is an arbitrary partitioning of the vector and is a neural network with parameters . This form results in a Jacobian that has a zero upper triangular part, resulting in a determinant of 1. In order to build a transformation capable of mixing all components of the initial random variable , such flows must alternate between different partitionings of . The resulting density using the forward and inverse transformations is given by :
We will compare NICE to the general transformation approach described in section 2.1. Dinh et al. (2014) assume the partitioning is of the form . To enhance mixing of the components in the flow, we introduce two mechanisms for mixing the components of before separating them in the disjoint subgroups and . The first mechanism applies a random permutation (NICE-perm) and the second applies a random orthogonal transformation (NICE-orth)111 Random orthogonal transformations can be generated by sampling a matrix with independent unit-Gaussian entries and then performing a QR-factorization. The resulting -matrix will be a random orthogonal matrix
-matrix will be a random orthogonal matrix(Genz, 1998)..
The Hamiltonian variational approximation (HVI) developed by Salimans et al. (2015) is an instance of an infinitesimal volume-preserving flow. For HVI, we consider posterior approximations that make use of additional auxiliary variables . The latent variables are independent of the auxiliary variables and using the change of variables rule, the resulting distribution is: , where using a transformation . Salimans et al. (2015) obtain a volume-preserving invertible transformation by exploiting the use of such transition operators in the MCMC literature, in particular the methods of Langevin and Hybrid Monte Carlo. This is an extremely elegant approach, since we now know that as the number of iterations of the transition function tends to infinity, the distribution will tend to the true distribution . This is an alternative way to make use of the Hamiltonian infinitesimal flow described in section 3.2. A disadvantage of using the Langevin or Hamiltonian flow is that they require one or more evaluations of the likelihood and its gradients (depending in the number of leapfrog steps) per iteration during both training and test time.
Throughout this section we evaluate the effect of using normalizing flow-based posterior approximations for inference in deep latent Gaussian models (DLGMs). Training was performed by following a Monte Carlo estimate of the gradient of an annealed version of the free energy (20), with respect the model parameters and the variational parameters using stochastic backpropoagation. The Monte Carlo estimate is computed using a single sample of the latent variables per data-point per parameter update.
A simple annealed version of the free energy is used since this was found to provide better results. The modified bound is:
where is an inverse temperature that follows a schedule , going from 0.01 to 1 after 10000 iterations.
The deep neural networks that form the conditional probability between random variables consist of deterministic layers with 400 hidden units using the Maxout non-linearity on windows of 4 variables (Goodfellow et al., 2013) . Briefly, the Maxout non-linearity with window-size takes an input vector and computes: for .
parameter updates. Each experiment was repeated 100 times with different random seeds and we report the averaged scores and standard errors. The true marginal likelihood is estimated by importance sampling using 200 samples from the inference network as in(Rezende et al., 2014, App. E).
To provide an insight into the representative power of density approximations based on normalizing flows, we parameterize a set of unnormalized 2D densities which are listed in table 1.
|with , ,|
In figure 3 we show the true distribution for four cases, which show distributions that have characteristics such as multi-modality and periodicity that cannot be captured with typically-used posterior approximations.
Figure 3(a) shows the performance of normalizing flow approximations for these densities using flow lengths of 2, 8 and 32 transformations. The non-linearity in equation (10) was used for the mapping and the initial distribution was a diagonal Gaussian, . We see a substantial improvement in the approximation quality as we increase the flow length. Figure 3(b) shows the same approximation using the volume-preserving transformation used in NICE (Dinh et al., 2014) for the same number of transformations. We show summary statistics for the planar flow (13), and NICE (18) for random orthogonal matrices and with random permutation matrices in 3(c). We found that NICE and the planar flow (13) may achieve the same asymptotic performance as we grow the flow-length, but the planar flow (13) requires far fewer parameters. Presumably because all parameters of the flow (13) are learned, in contrast to NICE which requires an extra mechanism for mixing the components that is not learned but randomly initialized. We did not observe a substantial difference between using random orthogonal matrices or random permutation matrices in NICE.
The MNIST digit dataset (LeCun & Cortes, 1998) contains 60,000 training and 10,000 test images of ten handwritten digits (0 to 9) that are
pixels in size. We used the binarized dataset as in(Uria et al., 2014). We trained different DLGMs with 40 latent variables for parameter updates.
The performance of a DLGM using the (planar) normalizing flow (DLGM+NF) approximation is compared to the volume-preserving approaches using NICE (DLGM+NICE) on exactly the same model for different flow-lengths , and we summarize the performance in figure 4. This graph shows that an increase in the flow-length systematically improves the bound , as shown in figure 4(a), and reduces the KL-divergence between the approximate posterior and the true posterior distribution (figure 4(b)). It also shows that the approach using general normalizing flows outperforms that of NICE. We also show a wider comparison in table 2. Results are included for the Hamiltonian variational approach as well, but the model specification is different and thus gives an indication of attainable performance for this approach on this data set.
|DLGM diagonal covariance|
|DLGM+NF (k = 10)|
|DLGM+NF (k = 20)|
|DLGM+NF (k = 40)|
|DLGM+NF (k = 80)|
|DLGM+NICE (k = 10)|
|DLGM+NICE (k = 20)|
|DLGM+NICE (k = 40)|
|DLGM+NICE (k = 80)|
|Results below from (Salimans et al., 2015)|
|DLGM + HVI (1 leapfrog step)|
|DLGM + HVI (4 leapfrog steps)|
|DLGM + HVI (8 leapfrog steps)|
|Results below from (Gregor et al., 2014)|
|DARN , adaNoise|
The CIFAR-10 natural images dataset (Krizhevsky & Hinton, 2010) consists of 50,000 training and 10,000 test RGB images that are of size 3x32x32 pixels from which we extract 3x8x8 random patches. The color levels were converted to the range with
. Here we used similar DLGMs as used for the MNIST experiment, but with 30 latent variables. Since this data is non-binary, we use a logit-normal observation likelihood,where . We summarize the results in table 3 where we are again able to show that an increase in the flow length systematically improves the test log-likelihoods, resulting in better posterior approximations.
In this work we developed a simple approach for learning highly non-Gaussian posterior densities by learning transformations of simple densities to more complex ones through a normalizing flow. When combined with an amortized approach for variational inference using inference networks and efficient Monte Carlo gradient estimation, we are able to show clear improvements over simple approximations on different problems. Using this view of normalizing flows, we are able to provide a unified perspective of other closely related methods for flexible posterior estimation that points to a wide spectrum of approaches for designing more powerful posterior approximations with different statistical and computational tradeoffs.
An important conclusion from the discussion in section 3 is that there exist classes of normalizing flows that allow us to create extremely rich posterior approximations for variational inference. With normalizing flows, we are able to show that in the asymptotic regime, the space of solutions is rich enough to contain the true posterior distribution. If we combine this with the local convergence and consistency results for maximum likelihood parameter estimation in certain classes of latent variables models (Wang & Titterington, 2004), we see that we are now able overcome the objections to using variational inference as a competitive and default approach for statistical inference. Making such statements rigorous is an important line of future research.
Normalizing flows allow us to control the complexity of the posterior at run-time by simply increasing the flow length of the sequence. The approach we presented considered normalizing flows based on simple transformations of the form (10) and (14). These are just two of the many maps that can be used, and alternative transforms can be designed for posterior approximations that may require other constraints, e.g., a restricted support. An important avenue of future research lies in describing the classes of transformations that allow for different characteristics of the posterior and that still allow for efficient, linear-time computation.
Ackowledgements: We thank Charles Blundell, Theophane Weber and Daan Wierstra for helpful discussions.
Draw: A recurrent neural network for image generation.In ICML, 2015.
Convolutional deep belief networks on CIFAR-10.Unpublished manuscript, 2010.
The MNIST database of handwritten digits, 1998.
Handbook of Markov Chain Monte Carlo, 2011.
Simple statistical gradient-following algorithms for connectionist reinforcement learning.Machine learning, 8(3-4):229–256, 1992.
We describe the constraints required to have invertible maps for the planar and radial normalizing flows described in section 3.
Functions of the form (10) are not always invertible depending on the non-linearity and parameters chosen. When using , a sufficient condition for to be invertible is that .
This can be seen by splitting as a sum of a vector perpendicular to and a vector , parallel to . Substituting into (10) gives
This equation can be solved for given and , having a unique solution
The parallel component can be further expanded as , where . The equation that must be solved for is derived by taking the dot product of (21) with , yielding the scalar equation
A sufficient condition for (23) to be invertible w.r.t is that its r.h.s to be a non-decreasing function. This corresponds to the condition . Since , it suffices to have .
We enforce this constraint by taking an arbitrary vector and modifying its component parallel to , producing a new vector such that . The modified vector can be compactly written as , where the scalar function is given by .
Functions of the form (14) are not always invertible depending on the values of and . This can be seen by splitting the vector as , where . Replacing this into (14) gives
This equation can be uniquely solved for given and ,
To obtain a scalar equation for the norm , we can subtract both sides of (24) and take the norm of both sides. This gives
A sufficient condition for (26) to be invertible is for its r.h.s. to be a non-decreasing function, which implies . Since , it suffices to impose . This constraint is imposed by reparametrizing as , where .