Geometric rigidity of constant heat flow

Let $\Omega$ be a compact Riemannian manifold with smooth boundary and let $u_t$ be the solution of the heat equation on $\Omega$, having constant unit initial data $u_0=1$ and Dirichlet boundary conditions ($u_t=0$ on the boundary, at all times). If at every time $t$ the normal derivative of $u_t$ is a constant function on the boundary, we say that $\Omega$ has the {\it constant flow property}. This gives rise to an overdetermined parabolic problem, and our aim is to classify the manifolds having this property. In fact, if the metric is analytic, we prove that $\Omega$ has the constant flow property if and only if it is an {\it isoparametric tube}, that is, it is a solid tube of constant radius around a closed, smooth, minimal submanifold, with the additional property that all equidistants to the boundary (parallel hypersurfaces) are smooth and have constant mean curvature. Hence, the constant flow property can be viewed as an analytic counterpart to the isoparametric property. Finally, we relate the constant flow property with other overdetermined problems, in particular, the well-known Serrin problem on the mean-exit time function, and discuss a counterexample involving minimal free boundary immersions into Euclidean balls.Comment: Replaces the earlier version arXiv: 1709.03447. To appear in Calculus of Variations and PD

Constant-Factor Approximation for TSP with Disks

We revisit the traveling salesman problem with neighborhoods (TSPN) and present the first constant-ratio approximation for disks in the plane: Given a set of $n$ disks in the plane, a TSP tour whose length is at most $O(1)$ times the optimal can be computed in time that is polynomial in $n$. Our result is the first constant-ratio approximation for a class of planar convex bodies of arbitrary size and arbitrary intersections. In order to achieve a $O(1)$-approximation, we reduce the traveling salesman problem with disks, up to constant factors, to a minimum weight hitting set problem in a geometric hypergraph. The connection between TSPN and hitting sets in geometric hypergraphs, established here, is likely to have future applications.Comment: 14 pages, 3 figure

Darboux transforms and spectral curves of constant mean curvature surfaces revisited

We study the geometric properties of Darboux transforms of constant mean curvature (CMC) surfaces and use these transforms to obtain an algebro-geometric representation of constant mean curvature tori. We find that the space of all Darboux transforms of a CMC torus has a natural subset which is an algebraic curve (called the spectral curve) and that all Darboux transforms represented by points on the spectral curve are themselves CMC tori. The spectral curve obtained using Darboux transforms is not bi-rational to, but has the same normalisation as, the spectral curve obtained using a more traditional integrable systems approach.Comment: 7 figure

Experimental implementation of high-fidelity unconventional geometric quantum gates using NMR interferometer

Following a key idea of unconventional geometric quantum computation developed earlier [Phys. Rev. Lett. 91, 197902 (2003)], here we propose a more general scheme in such an intriguing way: $\gamma_{d}=\alpha_{g}+\eta \gamma _{g}$, where $\gamma_{d}$ and $\gamma_{g}$ are respectively the dynamic and geometric phases accumulated in the quantum gate operation, with $\eta$ as a constant and $\alpha_{g}$ being dependent only on the geometric feature of the operation. More arrestingly, we demonstrate the first experiment to implement a universal set of such kind of generalized unconventional geometric quantum gates with high fidelity in an NMR system.Comment: 4 pages, 3 figure

Extremal metrics and K-stability

We propose an algebraic geometric stability criterion for a polarised variety to admit an extremal Kaehler metric. This generalises conjectures by Yau, Tian and Donaldson which relate to the case of Kaehler-Einstein and constant scalar curvature metrics. We give a result in geometric invariant theory that motivates this conjecture, and an example computation that supports it.Comment: 13 pages, v3: fixed typo