Hiai
Navigation page for Blueprint/D5/S3/Quantum/Hiai/ at upstream snapshot a2780b88a263e9762c02fb99b257b181be4a4db2.
Contents
- CarlenLiebConvexity
- GeometricMeanOrder
- GeometricTraceConvexity
- InverseGeometricIdentification
- InverseMeanVariational
- ParallelSumVariational
- PsiMeanTraceConcavity
- ReverseTraceYoung
- Off-midpoint obstruction for the original spectral mean
- Scalar dependencies of the UNTILDE proof
- TildeSpectralNonconcavity