Cost Trade-offs in Matrix Inversion Updates for Streaming Outlier Detection
Authors: Florian Grivet, Louise Travé-Massuyès
Organizations: CNES, 18 Av. Edouard Belin, Toulouse, 31400, Toulouse, France · LAAS-CNRS, University of Toulouse, CNRS, 7 Av. du Colonel Roche, 31400, Toulouse, France
Outlier detection identifies data points that deviate significantly from expected patterns, revealing anomalies that may require special attention. Incorporating online learning further improves accuracy by continuously updating the model to reflect the most recent data. When employing the Christoffel function as an outlier score, online learning requires updating the inverse of a matrix following a rank-k update, given the initial inverse. Surprisingly, there is no consensus on the optimal method for this task. This technical note aims to compare three different updating methods: Direct Inversion (DI), Iterative Sherman-Morrison (ISM), and Woodbury Matrix Identity (WMI), to identify the most suitable approach for different scenarios. We first derive the theoretical computational costs of each method and then validate these findings through comprehensive Python simulations run on a CPU. These results allow us to propose a simple, quantitative, and easy-to-remember rule that can be stated qualitatively as follows: ISM is optimal for rank-1 updates, WMI excels for small updates relative to matrix size, and DI is preferable otherwise. This technical note produces a general result for any problem involving a matrix inversion update. In particular, it contributes to the ongoing development of efficient online outlier detection techniques.
Figures & tables
DI ( Algorithm 1 )
ISM ( Algorithm 2 )
WMI ( Algorithm 3 )
Computational cost
O(65s3)+2ks2 ( 18 )
4ks2+2ks ( 24 )
4ks2+(4k2−2k)s+O(65k3) ( 27 )
Table 1: Computational cost of the three compared methods (in flops )
Figure 1: Theoretical representation of thresholds from which choosing DI over ISM or WMI
DI over ISM
DI over WMI
Empirical DI over WMI
k
5s2/(12(s+1)) ( 28 )
65k3+4sk2+2(s2−s)k−65s3>0 ( 29 , to solve with s fixed)
s/3.7506 ( 30 )
Table 2: Theoretical thresholds for choosing the DI method over the ISM or WMI methods
Online anomaly detection identifies unusual events in data streams as they arrive, adapting to changing conditions while balancing detection speed, accuracy, and false alarms.
We give a deterministic algorithm for online inverse linear optimization with regret O(d), uniform in the horizon and O(d2) time per round. A bound of this order was obtained recently by Dewasurendra, settling a question of Gollapudi et al.\ and of Oki and Sakaue, but by an improper rule that enumerates covers at every scale and costs TΘ(d) a round; ours is the first efficient such bound and the first proper one. We build on the variable-metric framework of Sakaue et al., adding a self-normalized rank-one update, and we replace the logdet potential by the trace power \tr(H−1/2), which is bounded outright and removes the lnT. The bound also holds against an expert that does not optimize, and we give corruption-robust and rank-adaptive variants, and an application to convex minimization.
Yang Cai, Anupam Gupta, Vineet Gupta +7
Google Research · Yale University · New York University +1
Methods based on diffusion models (DMs) for solving inverse problems (IPs) have recently achieved remarkable performance. However, DM-based methods typically struggle against outliers, which are common in real-world measurements. In this work, to tackle IPs with outliers, we first refine the measurement via explicit noise estimation to mitigate the effect of noise. Subsequently, we formulate an iteratively reweighted least squares objective based on the Huber loss to address the outliers. We propose a method utilizing gradient descent to approximately solve the corresponding optimization problem for the robust objective. To avoid delicate tuning of the learning rate required by the gradient descent method, we further employ the conjugate gradient method with an efficient strategy for updating. Extensive experiments on multiple image datasets for linear and nonlinear tasks under various conditions demonstrate that our proposed methods exhibit robustness to outliers and outperform recent DM-based methods in most cases.
Yang Zheng, Jiahua Liu, Tongyao Pang +2
School of Computer Science and Engineering, University of Electronic Science and Technology of China · Yau Mathematical Sciences Center, Tsinghua University
Reliable decision-making with streaming data requires principled uncertainty quantification of online methods. While first-order methods enable efficient iterate updates, their inference procedures still require updating proper (covariance) matrices, incurring O(d2) time and memory complexity, and are sensitive to ill-conditioning and noise heterogeneity of the problem. This costly inference task offers an opportunity for more robust second-order methods, which are, however, bottlenecked by solving Newton systems with O(d3) complexity. In this paper, we address this gap by studying an online Newton method with Hessian averaging, where the Newton direction at each step is approximately computed using a sketch-and-project solver with Nesterov's acceleration, matching O(d2) complexity of first-order methods. For the proposed method, we quantify its uncertainty arising from both random data and randomized computation. Under standard smoothness and moment conditions, we establish global almost-sure convergence, prove asymptotic normality of the last iterate with a limiting covariance characterized by a Lyapunov equation, and develop a fully online covariance estimator with non-asymptotic convergence guarantees. We also connect the resulting uncertainty quantification to that of exact and sketched Newton methods without Nesterov's acceleration. Extensive experiments on regression models demonstrate the superiority of the proposed method for online inference.
Haoxuan Wang, Xinchen Du, Sen Na
School of Industrial and Systems Engineering, Georgia Institute of Technology.