Search

We extend Struwe's result (Acta Math., 1988) on the existence of free boundary constant mean curvature disks to almost every prescribed boundary contact angle in $(0, \pi)$. Specifically, let $\Sigma$ be a surface in $\mathbb{R}^3$ diffeomorphic to the sphere, and let $\Sigma'$ be a convex surface enclosing $\Sigma$. Given $\tau \in (-1, 1)$ and a constant $H \geq 0$ below the infimum of the mean curvature of $\Sigma'$, we show that for almost every $r \in (0, 1)$, in the region enclosed by $\Sigma'$ there exists a branched immersed disk with constant mean curvature $rH$ whose boundary meets $\Sigma$ at an angle with cosine value $r\tau$. Moreover, the constant mean curvature disks we construct have index at most $1$.

Let $M$ be a fixed compact oriented embedded submanifold of a manifold $\overline{M}$. Consider the volume $\mathcal{V} (\overline{g}) = \int_M \mathsf{vol}_{(M, g)}$ as a functional of the ambient metric $\overline{g}$ on $\overline{M}$, where $g = \overline{g}|_M$. We show that $\overline{g}$ is a critical point of $\mathcal{V}$ with respect to a special class of variations of $\overline{g}$, obtained by varying a calibration $\mu$ on $\overline{M}$ in a particular way, if and only if $M$ is calibrated by $\mu$. We do not assume that the calibration is closed. We prove this for almost complex, associative, coassociative, and Cayley calibrations, generalizing earlier work of Arezzo-Sun in the almost K\"ahler case. The Cayley case turns out to be particularly interesting, as it behaves quite differently from the others. We also apply these results to obtain a variational characterization of Smith maps., Comment: 35 pages. Version 2: two references added and one reference updated. Final version, to appear in "Calculus of Variations and Partial Differential Equations"

With the advent of the Big Data era, it is usually computationally expensive to calculate the resource usages of a SQL query with traditional DBMS approaches. Can we estimate the cost of each query more efficiently without any computation in a SQL engine kernel? Can machine learning techniques help to estimate SQL query resource utilization? The answers are yes. We propose a SQL query cost predictor service, which employs machine learning techniques to train models from historical query request logs and rapidly forecasts the CPU and memory resource usages of online queries without any computation in a SQL engine. At Twitter, infrastructure engineers are maintaining a large-scale SQL federation system across on-premises and cloud data centers for serving ad-hoc queries. The proposed service can help to improve query scheduling by relieving the issue of imbalanced online analytical processing (OLAP) workloads in the SQL engine clusters. It can also assist in enabling preemptive scaling. Additionally, the proposed approach uses plain SQL statements for the model training and online prediction, indicating it is both hardware and software-agnostic. The method can be generalized to broader SQL systems and heterogeneous environments. The models can achieve 97.9\% accuracy for CPU usage prediction and 97\% accuracy for memory usage prediction., Comment: 2021 IEEE International Conference on Cloud Engineering (IC2E). IEEE, 2021

Given a surface $\Sigma$ in $\mathbb{R}^3$ diffeomorphic to $S^2$, Struwe (Acta Math., 1988) proved that for almost every $H$ below the mean curvature of the smallest sphere enclosing $\Sigma$, there exists a branched immersed disk which has constant mean curvature $H$ and boundary meeting $\Sigma$ orthogonally. We reproduce this result using a different approach and improve it under additional convexity assumptions on $\Sigma$. Specifically, when $\Sigma$ itself is convex and has mean curvature bounded below by $H_0$, we obtain existence for all $H \in (0, H_0)$. Instead of the heat flow used by Struwe, we use a Sacks-Uhlenbeck type perturbation. As in previous joint work with Zhou (arXiv:2012.13379), a key ingredient for extending existence across the measure zero set of $H$'s is a Morse index upper bound.

We prove the existence of immersed closed curves of constant geodesic curvature in an arbitrary Riemannian 2-sphere for almost every prescribed curvature. To achieve this, we develop a min-max scheme for a weighted length functional., Comment: 20 pages. To appear in Transactions of the American Mathematical Society

We prove the existence of branched immersed constant mean curvature 2-spheres in an arbitrary Riemannian 3-sphere for almost every prescribed mean curvature, and moreover for all prescribed mean curvatures when the 3-sphere is positively curved. To achieve this, we develop a min-max scheme for a weighted Dirichlet energy functional. There are three main ingredients in our approach: a bi-harmonic approximation procedure to obtain compactness of the new functional, a derivative estimate of the min-max values to gain energy upper bounds for min-max sequences for almost every choice of mean curvature, and a Morse index estimate to obtain another uniform energy bound required to reach the remaining constant mean curvatures in the presence of positive curvature., Comment: 55 pages. Acknowledgement section restored. No other changes from v2. To appear in Communications on Pure and Applied Mathematics

We show under natural assumptions that stable solutions to the abelian Yang--Mills--Higgs equations on Hermitian line bundles over the round $2$-sphere actually satisfy the vortex equations, which are a first-order reduction of the (second-order) abelian Yang--Mills--Higgs equations. We also obtain a similar result for stable solutions on a flat $2$-torus. Our method of proof comes from the work of Bourguignon--Lawson concerning stable $SU(2)$ Yang--Mills connections on compact homogeneous $4$-manifolds.

We study critical points of the Ginzburg-Landau (GL) functional and the abelian Yang-Mills-Higgs (YMH) functional on the sphere and the complex projective space, both equipped with the standard metrics. For the GL functional we prove that on $S^{n}$ with $n \geq 2$ and $\mathbb{CP}^{n}$ with $n \geq 1$, stable critical points must be constants. In addition, for GL critical points on $S^{n}$ for $n \geq 3$ we obtain a lower bound on the Morse index under suitable assumptions. On the other hand, for the abelian YMH functional we prove that on $S^{n}$ with $n \geq 4$ there are no stable critical points unless the line bundle is isomorphic to $S^n \times \mathbb{C}$, in which case the only stable critical points are the trivial ones. Our methods come from the work of Lawson--Simons., Comment: Final preprint version. To appear in Journal of Functional Analysis

We study a class of weakly conformal $3$-harmonic maps, called associative Smith maps, from $3$-manifolds into $7$-manifolds that parametrize associative $3$-folds in Riemannian $7$-manifolds equipped with $\mathrm{G}_2$-structures. Associative Smith maps are solutions of a conformally invariant nonlinear first order PDE system, called the Smith equation, that may be viewed as a $\mathrm{G}_2$-analogue of the Cauchy-Riemann system for $J$-holomorphic curves. In this paper, we show that associative Smith maps enjoy many of the same analytic properties as $J$-holomorphic curves in symplectic geometry. In particular, we prove: (i) an interior regularity theorem, (ii) a removable singularity result, (iii) an energy gap result, and (iv) a mean-value inequality. While our approach is informed by the holomorphic curve case, a number of nontrivial extensions are involved, primarily due to the degeneracy of the Smith equation. At the heart of above results is an $\varepsilon$-regularity theorem that gives quantitative $C^{1,\beta}$-regularity of $W^{1,3}$ associative Smith maps under a smallness assumption on the $3$-energy. The proof combines previous work on weakly $3$-harmonic maps and the observation that the associative Smith equation demonstrates a certain "compensation phenomenon" that shows up in many other geometric PDEs. Combining these analytical properties and the conformal invariance of the Smith equation, we explain how sequences of associative Smith maps with bounded $3$-energy may be conformally rescaled to yield bubble trees of such maps. When the $\mathrm{G}_2$-structure is closed, we prove that both the $3$-energy and the homotopy are preserved in the bubble tree limit. This result may be regarded as an associative analogue of Gromov's Compactness Theorem in symplectic geometry., Comment: 76 pages. Version 3: corrected numerous harmless typos and fixed table numbering. Final version to appear in Asian J. Math

On a compact manifold $M^{n}$ ($n\geq 3$) with boundary, we study the asymptotic behavior as $\epsilon$ tends to zero of solutions $u_{\epsilon}: M \to \mathbb{C}$ to the equation $\Delta u_{\epsilon} + \epsilon^{-2}(1 - |u_{\epsilon}|^{2})u_{\epsilon} = 0$ with the boundary condition $\partial_{\nu}u_{\epsilon} = 0$ on $\partial M$. Assuming an energy upper bound on the solutions and a convexity condition on $\partial M$, we show that along a subsequence, the energy of $\{u_{\epsilon}\}$ breaks into two parts: one captured by a harmonic $1$-form $\psi$ on $M$, and the other concentrating on the support of a rectifiable $(n-2)$-varifold $V$ which is stationary with respect to deformations preserving $\partial M$. Examples are given which shows that $V$ could vanish altogether, or be non-zero but supported only on $\partial M$.