OP-00100 Lean verified Thompson-type domination for the arithmetic symmetric modulus FA · OpenProblemsInNLA · symmetric moduli · triangle inequalities · unitary orbits
OP-00107 Lean verified Concave unitary-orbit subadditivity without monotonicity FA · concave functions · matrix subadditivity · OpenProblemsInNLA · unitary orbits
OP-00157 Partially resolved Unitary-orbit distance under finite block repetition NA · matrix nearness problems · normal matrices · OpenProblemsInNLA · unitary orbits
OP-00263 Partially resolved The maximum permanent on a positive-semidefinite unitary orbit FA · OpenProblemsInNLA · permanents · positive semidefinite matrices · unitary orbits