Purpose: Compute a matrix inverse (or pseudo-inverse) iteratively using only matrix multiplication — no division, no pivoting, and with quadratic convergence:
The Scalar Analogue
For a number, Newton’s method applied to gives
which converges quadratically to from any start with . The matrix version is the same formula with .
Convergence
Define the residual . Then
So — the number of correct digits doubles each iteration. Convergence requires ; the standard safe start is
Complexity
- Per iteration: two matrix multiplications, (or )
- Iterations: for accuracy , plus to get into the convergence basin
- Total: worse than Gauss-Jordan in the sequential sense
Why use it at all
Not for a single dense inverse on one CPU. It wins where matrix multiplication is much cheaper than elimination:
- GPUs and distributed systems. Matrix multiplication is embarrassingly parallel; Gaussian elimination is inherently sequential in its pivot order. Newton-Schulz turns inversion into a handful of GEMM calls.
- No division. Useful in settings where division is expensive or undefined — fixed-point hardware, homomorphic encryption, certain algebraic rings.
- Refinement. Given an approximate inverse from any source, one Newton-Schulz step squares the error. This is the standard way to “polish” a low-precision inverse into a high-precision one.
The same iteration for power series
The identical Newton scheme is how formal power series operations are computed in :
| Operation | Newton iteration |
|---|---|
| Series inverse | |
| Square root | |
| Exponential | |
| Reciprocal of an integer | — used inside big-integer division |
Each doubles the number of correct coefficients, so the total cost is dominated by the last step: . Recognising Newton’s method in all these places is genuinely useful — it turns “how do I invert a power series?” into a solved problem.
Variants / Use Cases
- Moore-Penrose pseudo-inverse — the same iteration converges to for rectangular
- Matrix sign function and polar decomposition — closely related iterations
- Formal Power Series — where this iteration matters most in competitive programming
- Hensel lifting — the -adic version of the same doubling scheme
- Newton’s Method — the scalar root-finding original