Call a compact Riemannian manifold M a strongly unstable manifold if it is not the range or domain of a nonconstant stable harmonic map and also the homotopy class of any map to or from M contains elements of arbitrarily small energy. If M is isometrically immersed in Euclidean space, then a condition on the second fundamental form of M is given which implies M is strongly unstable. As compact ...

The area under the ROC curve (AUC) is a widely used performance measure in machine learning, and has been widely studied in recent years particularly in the context of bipartite ranking. A dominant theoretical and algorithmic framework for AUC optimization/bipartite ranking has been to reduce the problem to pairwise classification; in particular, it is well known that the AUC regret can be form...

We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2κ = κ+, another for which 2κ = κ++ ...

In this note, we provide a new proof of Magidor's theorem that the least strongly compact cardinal can be the least supercompact cardinal. A classical theorem of Magidor [5] states that it is consistent, relative to the existence of a supercompact cardinal, for the least supercompact cardinal to be the least strongly compact cardinal. There are currently two different proofs of this fact—the or...

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V |= “ZFC + Ω is the least inaccessible limit of measurable limits of supercompact cardinals + f : Ω → 2 is a function”, then there is a partial ordering P ∈ V so that for...