A theorem of J. Hersch (1970) states that for any smooth metric on S, with total area equal to 4π, the first nonzero eigenvalue of the Laplace operator acting on functions is less than or equal to 2 (this being the value for the standard round metric). For metrics invariant under the standard S-action on S, one can restrict the Laplace operator to the subspace of S-invariant functions and consi...

A theorem of J. Hersch (1970) states that for any smooth metric on S, with total area equal to 4π, the first nonzero eigenvalue of the Laplace operator acting on functions is less than or equal to 2 (this being the value for the standard round metric). For metrics invariant under the standard S-action on S, one can restrict the Laplace operator to the subspace of S-invariant functions and consi...

A theorem of J. Hersch (1970) states that for any smooth metric on S, with total area equal to 4π, the first nonzero eigenvalue of the Laplace operator acting on functions is less than or equal to 2 (this being the value for the standard round metric). For metrics invariant under the standard S-action on S, one can restrict the Laplace operator to the subspace of S-invariant functions and consi...

A theorem of J. Hersch (1970) states that for any smooth metric on S2, with total area equal to 4π, the first nonzero eigenvalue of the Laplace operator acting on functions is less than or equal to 2 (this being the value for the standard round metric). For metrics invariant under the standard S1-action on S2, one can restrict the Laplace operator to the subspace of S1-invariant functions and c...

Abstract Morgan and McIver’s weakest pre-expectation framework is one of the most well-established methods for deductive verification probabilistic programs. Roughly, idea to generalize binary state assertions real-valued expectations , which can measure expected values program quantities. While loop-free programs be analyzed by mechanically transforming expectations, verifying loops usually re...

We study G-invariant Kähler metrics on G from the Hamiltonian point of view. As an application we show that there exist G × G-invariant Ricci-flat Kähler metrics on G for any compact semisimple Lie group G.

We study G-invariant Kähler metrics on G from the Hamiltonian point of view. As an application we show that there exist G × G-invariant Ricci-flat Kähler metrics on G for any compact semisimple Lie group G.