OP-00091 Lean verified A pointwise Lipschitz lower bound for the joint spectral radius DS · joint spectral radius · OpenProblemsInNLA · perturbation bounds
OP-00152 Open The sharp generic threshold for spectral-subspace rotation SP · OpenProblemsInNLA · perturbation bounds · self-adjoint operators · spectral subspaces
OP-00153 Open The sharp off-diagonal threshold for spectral-subspace rotation SP · off-diagonal perturbations · OpenProblemsInNLA · perturbation bounds · spectral subspaces
OP-00155 Partially resolved The sharp spectral-matching constant for normal matrices NA · normal matrices · OpenProblemsInNLA · perturbation bounds · spectral variation