poismf
Code for "Fast Non-Bayesian Poisson Factorization for Implicit-Feedback Recommendations"
view repo
This work explores non-negative matrix factorization based on regularized Poisson models for recommender systems with implicit-feedback data. The properties of Poisson likelihood allow a shortcut for very fast computation and optimization over elements with zero-value when the latent-factor matrices are non-negative, making it a more suitable approach than squared loss for very sparse inputs such as implicit-feedback data. A simple and embarrassingly parallel optimization approach based on proximal gradients is presented, which in large datasets converges 2-3 orders of magnitude faster than its Bayesian counterpart (Hierarchical Poisson Factorization) fit through variational inference techniques, and 1 order of magnitude faster than implicit-ALS fit with the Conjugate Gradient method.
READ FULL TEXT VIEW PDF
We introduce a new non-negative matrix factorization (NMF) method for or...
read it
Non-negative matrix factorization models based on a hierarchical
Gamma-P...
read it
Beta process is the standard nonparametric Bayesian prior for latent fac...
read it
Tweedie Compound Poisson models are heavily used for modelling non-negat...
read it
Newsroom in online ecosystem is difficult to untangle. With prevalence o...
read it
In this work, we propose FM-Pair, an adaptation of Factorization Machine...
read it
We present a Bayesian non-negative tensor factorization model for
count-...
read it
Code for "Fast Non-Bayesian Poisson Factorization for Implicit-Feedback Recommendations"
In a typical scenario for recommender systems, a lot of data is available about interactions between users and items, such as users purchasing products or listening to songs, where each user interacts with only a handful of the items in the catalog – e.g. no user is going to play every song in a music service or watch every movie in a video service.
Typically, recommendation models based on collaborative filtering try to predict the entries in the user-item interactions matrix – that is, a matrix in which rows index users, columns index items, and the value at each user-item combination is the number of times the user has interacted/consumed the item or the rating she gave to it – based on minimization of some loss function such as squared difference between the predicted and the real value, with the idea that items with higher predicted values are better candidates to recommend to the user
[10].In so-called explicit feedback settings, in which users provide an explicit valuation or rating of each item, such models are usually fit only to the non-missing entries in the interactions matrix, as this data signals both likes and dislikes of the user, which leads to efficient optimization procedures.
However, in so-called implicit-feedback settings, in which there are no explicit ratings but rather only event histories such as songs played by each user, it’s not enough for a good model to be fit only to the non-missing entries, as they don’t tend to signal dislikes and there can be pathological cases in which the non-missing entries all have the same value (e.g. when the matrix is binary) [9]. In this case, it’s necessary to also consider the non-missing entries (typically with a value of zero), of which there are orders of magnitude more, resulting in a more computationally challenging problem.
Unlike Gaussian likelihood (squared loss) or Bernoulli likelihood (log loss), Poisson likelihood, when using a model that does not exponentiate its parameters, offers a very fast optimization approach for the missing entries filled with zeros, since the log-likelihood for them is given by their predicted value only (multiplied by minus one), and in low-rank matrix factorization, the sum of predicted values for all combinations of users and items can be quickly obtained by first summing the latent factors for all users (one vector) and for all items (another vector), then calculating the dot product between the resulting vectors.
This is not the first time that a Poisson model has been proposed for sparse matrix factorization - [3] also developed this idea, but following a Bayesian approach, while [6] improved upon it by adding a hierarchical structure and a faster optimization procedure based on variational inference, with many other works later building upon that base, also relying on variational inference (e.g. [5], [1]). While a Bayesian hierarchical formulation is more expressive, fitting such models is much slower than conventional optimization techniques on regularized models. This paper proposes an optimization-based approach towards matrix factorization that maximizes Poisson likelihood based on proximal gradients .
Low-rank matrix factorization is one of the most commonly used techniques in collaborative filtering for predicting entries in the user-item interaction matrix based only on observed user-item interactions [10]. The idea behind it is to assign to each user and item a vector of fixed dimensionality representing arbitrary features (a.k.a. latent factors) (these are the model parameters) in such a way that the value for each entry in the interactions matrix is approximated by the dot product between the features of the user and the item for that entry, i.e. or by a transformation of it . These features or latent factors are in turned determined through an optimization objective that aims to minimize the difference between the predicted and the real values, e.g.
(1) |
Where , and is the indicator function which is one when the entry is present in the data and zero when it is missing.
As such model tends to overfit, other additional improvements upon it are typically incorporated, such as centering the entries in the matrix, incorporating regularization on the model parameters, and adding user and item biases as additional parameters. The optimization problem is typically solved through the Alternating Least-Squares algorithm [17]
(when one factor matrix is fixed, optimizing for the other latent factor matrix is a convex optimization problem with a closed-form solution – this algorithm alternates between minimizing one or the other until convergence) or Stochastic Gradient Descent
[10].In the implicit-feedback case with missing-as-zero and values consisting of counts (e.g. number of times a user clicked something - note that many works instead propose a weighting scheme), the matrices and are sometimes constrained to have all non-negative entries, as it wouldn’t make sense to predict negative values, biases are left out (as they would not allow to predict values of zero), and entries are not centered, resulting in a minimization problem such as:
(2) |
This is a more challenging optimization problem, with a matrix X that usually is too large to even fit in a computer’s memory, but different methods have been devised to solve it or solve variations thereof smartly, such as implicit-ALS [9] along with techniques to speed it up [16], or BPR (Bayesian Personalized ranking), which tries to sample only some of the missing entries at each update [14].
A typical probability distribution used for counts data is the Poisson distribution, parameterized by one variable
, with probability density function given by
. This distribution is limited to non-negative integers and tends to produce asymmetrical and more peaked distributions that are more resemblant of real counts data than others such as the normal distribution. Poisson models in which the
parameter is defined as the sum or dot product of other variables can be fit to observed data by following the maximum-likelihood principle, which translates into maximizing Poisson log-likelihood (the negative of it plus a constant is referred from here on interchangeably as Poisson loss), given by:(3) |
Generalized linear models for Poisson regression usually follow the form , where are the model coefficients (parameters), (not to be confused with the matrix in the factorization models) is the matrix of covariates, the observed counts for each observation, and is random noise with mean zero; but others [8] have also tried to perform Poisson regression for all-non-negative covariates without exponentiation, constraining the coefficients to also be non-negative, i.e. , which is the approach that will be followed in this work, since exponentiated numbers would not allow for fast calculation of the sum of all entries in the matrix.
As does not depend on the model parameters, it can be left out of the minimization objective. For fitting a Poisson regression with non-negative features of dimensionality and coefficients without exponentiation to observations of covariates and counts
, the optimization objective (maximum likelihood estimation problem) would look as follows:
(4) |
Note that can be obtained by first summing and then taking its inner product with , i.e. , something that could not be achieved with the exponentiated version, and when , too, so for zero-valued entries, maximization of Poisson likelihood translates into minimizing . As such, the minimization objective can be re-expressed as:
(5) |
Adding regularization on the model parameters would result in an objective like this:
(6) |
This is a convex optimization problem, but as other works have found out [8], it cannot be solved through typical methods like L-BFGS-B [2] that rely on assumptions such as Lipschitz continuity.
Back to the matrix factorization case, if we adopt Poisson loss (negative likelihood plus a constant) and consider one of the matrices to be fixed, the optimal values for each vector of latent factors in matrices and are the solution of a Poisson regression problem in which are the rows of the matrix that was fixed, and are the entries for the corresponding row (for users) or column (for items) in the interactions matrix . From the formula above, it can be seen that Poisson loss can be calculated without ever iterating through the non-zero values (their contribution is obtained through ), which is very convenient and efficient in the implicit-feedback case as most of the entries will indeed be zero, and as will be shown later, such loss can be optimized just as efficiently.
While this constrained and non-exponentiated approach to Poisson regression cannot be solved through typical gradient-based methods, it still represents a convex minimization problem and there are other techniques that can indeed solve it, such as Proximal Gradient Descent, Accelerated Proximal Gradient Descent, Alternating Direction Method of Multipliers (ADMM) [12], or Composite Mirror-Prox [8].
Given a decomposable convex minimization problem of the form
(7) |
Where is a loss function with nice properties such as differentiability and smoothness, and is a regularization function which might not have these same properties, the proximal gradient descent method iteratively performs updates as follows:
Where is the proximal operator, defined as
(8) |
Intuitively, what this algorithm does is first it takes a gradient step, but then finds the nearest point that is in the domain and penalizes it by regularization and distance to the unconstrained point where the gradient step would take it otherwise. For more details and explanations of how and why this method works, see [12]. The Poisson regression variation introduced before can also be expressed in this canonical form by letting:
(9) |
The function is proximal-friendly. In order to obtain its proximal operator, it’s easy to calculate:
(10) |
By setting it to zero, we obtain:
(11) |
Similarly, for regularization, we would obtain:
(12) |
The gradient of is given by the formula:
(13) |
For sparse Poisson regression with regularization, this would translate into the following update rules:
In this formulation, is an unbounded problem in which the solution is , but its gradient is still well behaved. It’s also possible to define the functions as too, since the norm meets the necessary criteria, and in this case would reach its minimum at a non-infinite .
Proximal gradient descent is usually not the preferred method for these types of problems, and tends to require more updates (steps) than other methods, but note for now that, if doing just one iteration, one proximal gradient update is much faster to compute than one update for ADMM or Composite Mirror-Prox.
Without going into much detail, does not have a closed-form proximal operator, and one iteration of the ADMM updates (primal-dual method) for the same problem would look as follows:
Similarly, one Composite Mirror-Prox update, while perhaps making more progress than a proximal gradient update, would also be more expensive to compute, and require keeping additional extra variables in memory.
It’s also possible to add second-order information about and use Proximal Newton [13] instead of Proximal Gradient Descent. When following the approach including the norm into , the gradient and hessian are given by:
(14) | |||
(15) |
Where denotes element-wise multiplication. Newton’s step is not a simple negative gradient step, but is given by (with being the gradient), and the proximal function is in Newton’s case better defined not as the squared difference in norm between two points, but as the difference by the norm induced by the hessian , i.e.
(16) |
In the case of , the Proximal Newton operator is the solution of a quadratic program (QP), which can be expressed in the canonical quadratic form used by most solvers as:
(17) |
Further, a line search can then be performed, with the direction being .
Again, Newton iterations are also much slower than regular gradient iterations, and require the hessian to be positive semi-definite, which will not always be the case if the regularization parameters is not large enough.
Producing a maximum-likelihood estimate of a Poisson model with regularization for the case of matrix factorization would translate into solving:
(18) |
While at first glance this might not look like a computationally-tractable problem, from the previous sections, we know that it can equivalently be re-expressed as follows:
(19) |
Where and .
This is a much faster objective to evaluate, but the problem is not convex. Following the same alternating minimization idea as in ALS, note that if one of the or matrices in the factorization problem is fixed, obtaining the optimal values of other matrix is a convex minimization problem which reduces to performing one Poisson regression for each vector of the other matrix as explained before.
Note however that, in order to make progress in the desired minimization objective, since the matrices to optimize are being alternated, it’s not strictly necessary to run the optimization routine for each vector until convergence each time, but rather just to make progress towards the optimum of each vector in each pass, and it might make more sense to spend the time applying updates to the other matrix than applying multiple updates to the same matrix. With only one update, Accelerated Proximal Gradient Descent would reduce to just regular Proximal Gradient Descent.
Putting all together, the optimization routine for the Poisson factorization model, with gamma initialization and step sizes decreasing by half at each step, would be as follows:
Since the updates for each row in the matrix being optimized are independent of each other, they can be calculated in parallel or in a distributed setting by sharing between nodes the vector, the other matrix, and non-zero entries for that row/column in the matrix. An efficient implementation of the algorithm requires duplicating the matrix in row-sparse and column-sparse formats, but no additional intermediate variables are needed. The implementation developed here is made open-source and freely available^{1}^{1}1https://github.com/david-cortes/poismf.
The regularization might also be changed to without additional hassle by using the formula in (12) instead, which is more likely to result in some factors having a value of exactly zero.
This model was fit to different datasets for collaborative filtering with both implicit and explicit feedback data, and it displayed some interesting behaviors. As expected, there can be issues with numerical precision and instability (note that a large step size would turn the whole vector to zeros), but it was possible to fit the model with the same procedure and hyperparameters to many different datasets, obtaining good results in all of them.
While iterations of HPF are guaranteed to monotonically increase the training set likelihood, proximal gradient iterations are not, and using the wrong step size might result in all the factors becoming zero or very close to zero, after which the updates would be undefined (division by zero and logarithm of zero). As such, the step sizes and regularization parameter need to be chosen carefully - too much or too little in either of them, and the parameters will become undefined or be too large for typical computer floating point representations. A line search can also help in this regard, but it was possible to save the time required for it by a good combination of hyperparameters instead.
While it is beneficial to perform more than one update per iteration, in practice is enough to reach convergence when looking at ranking metrics rather than Poisson loss. The procedure might be terminated after running for a fixed number of iterations, or by some termination criteria based on training or validation-set likelihood or other metric.
A perhaps more theoretically sound approach would be to use the alternative with norm incorporated into rather than into , and to use an initial step size that is the same at the beginning of each iteration, decreasing instead with further updates to the same user/item factors ( in the algorithm). This approach however required more iterations to converge (in terms of ranking metrics), with each iteration being much slower as it contains multiple updates, and did not lead to better final results.
The number of steps required to reach a local optimum is also something variable – depending on the choice of step size and regularization, for some datasets such as the smaller MovieLens [7] ones it can do it in as little as 3 iterations, and oftentimes benefits from early stopping. The point at which to stop it however is hard to determine, and oftentimes later iterations will only decrease training likelihood.
PF and HPF seem to produce wildly different likelihood values, but despite these large differences, the rankings that they induce on the items are not as dissimilar. While HPF produces relatively large variations in the values of latent factors, in PF with regulatization these can all be very close to each other with some minor variation that still produces a good ranking - the actual predicted values
still resemble gamma distributions though.
In the datasets experimented with, large step sizes coupled with low regularization result in the parameters quickly becoming undefined. A choice of or can result in reaching an optimum in 2-3 iterations, but more often than not, it results in failed optimization, or in reaching an optimum quickly but then later iterations resulting in undefined parameters. Regularization parameters lower than also seem to result in failure.
A range of relatively safe choices seem to be . Performing more iterations, while still having an effect on likelihood, does not lead to better results when evaluated under ranking metrics.
Using regularization results in a large drop in the performance metrics (not shown here), and requires completely different hyperparameters - much lower regularization and much larger step sizes, along with more step sizes and perhaps . As expected, it has the nice property that many of the latent factors are exactly zero, and they look gamma-distributed just like in HPF.
Proximal Newton was not able to find as good local optima, and in the version of the minimization objective with the regularization term incorporated into , the hessians are more often than not non-positive-semi-definite. When using large regularization parameters (the same ones that work for Proximal Gradient Descent), Proximal Newton converges in barely 1-2 iterations, in the sense that further updates are then zero or very close to zero for each factor, but these local optima are worse than the ones found by other methods.
ADMM for this problem is much slower, and also requires more iterations and , but it does manage to find just as good optima. Composite Mirror-Prox was too prone to numerical instability in this model framework.
The model described here, fit through the Alternating Proximal Gradients procedure, was compared against its Bayesian counterpart, Hierarchical Poisson Factorization (HPF) [6] fit through coordinate ascent under mean-field approximation, and against implicit-ALS using the Conjugate Gradient method [16], by fitting models with the same number of factors to the RetailRocket^{2}^{2}2https://www.kaggle.com/retailrocket/ecommerce-dataset, Last.Fm [4] and MillionSong TasteProfile [11]
datasets, comparing implicit-feedback evaluation metrics along with time spent (in seconds).
The RetailRocket dataset contains events ”click”, ”add to basket”, ”purchase” in an e-commerce shop, from different visitors. In order to set a count for each user-item pair, the events were given the following values: click = +1, add to basket = +3, purchase = +3, with the final value for a given user-item pair being the sum of the event values for it. The Last.Fm and MillionSong datasets contain counts of the number of times a song was played by a user in online music listening services.
The models were compared by leaving 20% of the observations at random as test set, then discarding users in the test set who were not in the training set or who had less than 3 entries in the test set. Recommendations were evaluated for each user individually by ranking the items that were not in the training set according to the model, and taking P@5 (precision at 5) and area under the ROC curve for these predictions on a random sample of users, with the items in the test set as positive class. The numbers were then averaged across all these users. Additionally, Pearson correlation () was calculated between the model outputs and the values in the test set, but on the whole and not by user. For Poisson Factorization (PF) and Hierarchical Poisson Factorization (HPF), log-likelihood plus constant was also evaluated on the test set, defined as .
The experiments were run in a Google Cloud server with Skylake CPU, using 16 cores. The times tracked include only time spent in the respective optimization routines and does not account for initialization, allocation of intermediate matrices, evaluation of termination criteria, or others.
All hyper-parameters were set to the defaults recommended in their respective implementations - for HPF, these were , and for implicit-ALS, 15 iterations and regularization parameter . HPF was run until the percent increase in training likelihood was below a certain threshold instead of running for a fixed number of iterations. For PF (this work), the hyper-parameters were set to , with only the number of factors varying - the values tried for each model were 40, 70, 100.
This work presented an optimization-based approach towards Poisson matrix factorization which is especially well suited to very sparse inputs. While the model is in principle similar to its Bayesian counterpart HPF, the procedure for fitting it to observed data is very different and is based on proximal gradients rather than on variational inference or MCMC.
The alternating minimization approach presented here has faster iterations than HPF (Hierarchical Poisson Factorization) or implicit-ALS, and requires fewer iterations to reach a local optimum, turning out to be 2-3 orders of magnitude faster than HPF with variational inference, and 1 order of magnite faster than implicit-ALS with the CG method for the dataset sizes evaluated, but is more prone to numerical instability issues.
Ranking metrics were evaluated on 3 implicit-feedback datasets for collaborative filtering. In 2 of these datasets, it managed to achieve a better than the other algorithms, but did not achieve as good P@5. HPF also seemed to result in far worse P@5 than implicit-ALS.
Although in some cases it did not fare as well as implicit-ALS under ranking metrics, these metrics are still reasonably good and much better than a random choice (e.g. AUC in all cases), showing a lot of promise for applications of PF to very large-scale datasets.
While the model presented here was meant to be fit to user-item-count triplets only, it should be easy to expand the model to incorporate other sparse count data about users and items (such as text descriptions as bag-of-words) in the same form as in [15], which is a task for future work.
Proximal algorithms in statistics and machine learning.
Statistical Science, 30(4):559–581, 2015.Proceedings of the twenty-fifth conference on uncertainty in artificial intelligence
, pages 452–461. AUAI Press, 2009.
Comments
There are no comments yet.