karlexmarin/formalizations
Updated • 43
This article presents a new proof of a theorem concerning bounds of the spectrum of the product of unitary operators and a generalization for differentiable curves of this theorem. The proofs involve metric geometric arguments in the group of unitary operators and the sphere where these operators act.
Get this paper in your agent:
hf papers read 2310.06331 curl -LsSf https://hf.co/cli/install.sh | bash No model linking this paper
No Space linking this paper
No Collection including this paper