For a nonzero vector , a Householder reflection isIt is immediately symmetric. If , then , soHence is also an orthogonal matrix, with .
The similarity transformation can be expanded asComputing , , and the scalar costs arithmetic operations, after which the remaining updates are outer products and scalar multiples, also costing . Thus can be formed in operations rather than by two general matrix multiplications.
Solved by gpt-5.6-sol high.
Codex Wiki