When can we do better than autarky?

This paper provides a necessary and sufficient condition for the existence of nonautarkic contract in a risk sharing model with two-sided lack of commitment. Verifying the condition takes just one Guassian elimination of a matrix.

When can we do better than autarky?

This paper provides a necessary and sufficient condition for the existence of nonautarkic contract in a risk sharing model with two-sided lack of commitment. Verifying the condition takes just one Guassian elimination of a matrix

On a New Notion of Partial Refinement

Formal specification techniques allow expressing idealized specifications, which abstract from restrictions that may arise in implementations. However, partial implementations are universal in software development due to practical limitations. Our goal is to contribute to a method of program refinement that allows for partial implementations. For programs with a normal and an exceptional exit, we propose a new notion of partial refinement which allows an implementation to terminate exceptionally if the desired results cannot be achieved, provided the initial state is maintained. Partial refinement leads to a systematic method of developing programs with exception handling.Comment: In Proceedings Refine 2013, arXiv:1305.563

Convergence of K\"ahler-Ricci flow on lower dimensional algebraic manifolds of general type

In this paper, we prove that the $L^4$-norm of Ricci curvature is uniformly bounded along a K\"ahler-Ricci flow on any minimal algebraic manifold. As an application, we show that on any minimal algebraic manifold $M$ of general type and with dimension $n\le 3$, any solution of the normalized K\"ahler-Ricci flow converges to the unique singular K\"ahler-Einstein metric on the canonical model of $M$ in the Cheeger-Gromov topology