The nonlocal properties of arbitrary dimensional bipartite quantum systems are investigated. A complete set of invariants under local unitary transformations is presented. These invariants give rise to both sufficient and necessary conditions for the equivalence of quantum states under local unitary transformations: two density matrices are locally equivalent if and only if all these invariants have equal values.
We use PDE methods as developed for the Liouville equation to study the existence of conformal metrics with prescribed singularities on surfaces with boundary, the boundary condition being constant geodesic curvature. Our first result shows that a disk with two corners admits a conformal metric with constant Gauss curvature and constant geodesic curvature on its boundary if and only if the two corners have the same angle. In fact, we can classify all the solutions in a more general situation, that of the 2-sphere cut by two planes.
