-
Free curves in Fano hypersurfaces must have high degree
Authors:
Raymond Cheng
Abstract:
The purpose of this note is to show that the minimal $e$ for which every smooth Fano hypersurface of dimension $n$ contains a free rational curve of degree at most $e$ cannot be bounded by a linear function in $n$ when the base field has positive characteristic. This is done by providing a super-linear bound on the minimal possible degree of a free curve in certain Fermat hypersurfaces.
The purpose of this note is to show that the minimal $e$ for which every smooth Fano hypersurface of dimension $n$ contains a free rational curve of degree at most $e$ cannot be bounded by a linear function in $n$ when the base field has positive characteristic. This is done by providing a super-linear bound on the minimal possible degree of a free curve in certain Fermat hypersurfaces.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Derived categories of quartic double fivefolds
Authors:
Raymond Cheng,
Alexander Perry,
Xiaolei Zhao
Abstract:
We construct singular quartic double fivefolds whose Kuznetsov component admits a crepant categorical resolution of singularities by a twisted Calabi--Yau threefold. We also construct rational specializations of these fivefolds where such a resolution exists without a twist. This confirms an instance of a higher-dimensional version of Kuznetsov's rationality conjecture, and of a noncommutative ver…
▽ More
We construct singular quartic double fivefolds whose Kuznetsov component admits a crepant categorical resolution of singularities by a twisted Calabi--Yau threefold. We also construct rational specializations of these fivefolds where such a resolution exists without a twist. This confirms an instance of a higher-dimensional version of Kuznetsov's rationality conjecture, and of a noncommutative version of Reid's fantasy on the connectedness of the moduli of Calabi--Yau threefolds.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
$q$-bic threefolds and their surface of lines
Authors:
Raymond Cheng
Abstract:
For any power $q$ of the positive ground field characteristic, a smooth $q$-bic threefold -- the Fermat threefold of degree $q+1$ for example -- has a smooth surface $S$ of lines which behaves like the Fano surface of a smooth cubic threefold. I develop projective, moduli-theoretic, and degeneration techniques to study the geometry of $S$. Using, in addition, the modular representation theory of t…
▽ More
For any power $q$ of the positive ground field characteristic, a smooth $q$-bic threefold -- the Fermat threefold of degree $q+1$ for example -- has a smooth surface $S$ of lines which behaves like the Fano surface of a smooth cubic threefold. I develop projective, moduli-theoretic, and degeneration techniques to study the geometry of $S$. Using, in addition, the modular representation theory of the finite unitary group and the geometric theory of filtrations, I compute cohomology of the structure sheaf of $S$ when $q$ is prime.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
A Duality Approach to Regularized Learning Problems in Banach Spaces
Authors:
Raymond Cheng,
Rui Wang,
Yuesheng Xu
Abstract:
Learning methods in Banach spaces are often formulated as regularization problems which minimize the sum of a data fidelity term in a Banach norm and a regularization term in another Banach norm. Due to the infinite dimensional nature of the space, solving such regularization problems is challenging. We construct a direct sum space based on the Banach spaces for the data fidelity term and the regu…
▽ More
Learning methods in Banach spaces are often formulated as regularization problems which minimize the sum of a data fidelity term in a Banach norm and a regularization term in another Banach norm. Due to the infinite dimensional nature of the space, solving such regularization problems is challenging. We construct a direct sum space based on the Banach spaces for the data fidelity term and the regularization term, and then recast the objective function as the norm of a suitable quotient space of the direct sum space. In this way, we express the original regularized problem as an unregularized problem on the direct sum space, which is in turn reformulated as a dual optimization problem in the dual space of the direct sum space. The dual problem is to find the maximum of a linear function on a convex polytope, which may be solved by linear programming. A solution of the original problem is then obtained by using related extremal properties of norming functionals from a solution of the dual problem. Numerical experiments are included to demonstrate that the proposed duality approach leads to an implementable numerical method for solving the regularization learning problems.
△ Less
Submitted 9 December, 2023;
originally announced December 2023.
-
More properties of optimal polynomial approximants in Hardy spaces
Authors:
Raymond Cheng,
Christopher Felder
Abstract:
This work studies optimal polynomial approximants (OPAs) in the classical Hardy spaces on the unit disk, $H^p$ ($1 < p < \infty$). For fixed $f\in H^p$ and $n\in\mathbb{N}$, the OPA of degree $n$ associated to $f$ is the polynomial which minimizes the quantity $\|qf-1\|_p$ over all complex polynomials $q$ of degree less than or equal to $n$. We begin with some examples which illustrate, when…
▽ More
This work studies optimal polynomial approximants (OPAs) in the classical Hardy spaces on the unit disk, $H^p$ ($1 < p < \infty$). For fixed $f\in H^p$ and $n\in\mathbb{N}$, the OPA of degree $n$ associated to $f$ is the polynomial which minimizes the quantity $\|qf-1\|_p$ over all complex polynomials $q$ of degree less than or equal to $n$. We begin with some examples which illustrate, when $p\neq2$, how the Banach space geometry makes these problems interesting. We then weave through various results concerning limits and roots of these polynomials, including results which show that OPAs can be witnessed as solutions of certain fixed point problems. Finally, using duality arguments, we provide several bounds concerning the error incurred in the OPA approximation.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Existence of constant mean curvature disks in $\mathbb{R}^3$ with capillary boundary condition
Authors:
Da Rong Cheng
Abstract:
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, π)$. Specifically, let $Σ$ be a surface in $\mathbb{R}^3$ diffeomorphic to the sphere, and let $Σ'$ be a convex surface enclosing $Σ$. Given $τ\in (-1, 1)$ and a constant $H \geq 0$ below the infimum of the mean curvature of $Σ'$, we…
▽ More
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, π)$. Specifically, let $Σ$ be a surface in $\mathbb{R}^3$ diffeomorphic to the sphere, and let $Σ'$ be a convex surface enclosing $Σ$. Given $τ\in (-1, 1)$ and a constant $H \geq 0$ below the infimum of the mean curvature of $Σ'$, we show that for almost every $r \in (0, 1)$, in the region enclosed by $Σ'$ there exists a branched immersed disk with constant mean curvature $rH$ whose boundary meets $Σ$ at an angle with cosine value $rτ$. Moreover, the constant mean curvature disks we construct have index at most $1$.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
$q$-bic hypersurfaces and their Fano schemes
Authors:
Raymond Cheng
Abstract:
A $q$-bic hypersurface is a hypersurface in projective space of degree $q+1$, where $q$ is a power of the positive ground field characteristic, whose equation consists of monomials which are products of a $q$-power and a linear power; the Fermat hypersurface is an example. I identify $q$-bics as moduli spaces of isotropic vectors for an intrinsically defined bilinear form, and use this to study th…
▽ More
A $q$-bic hypersurface is a hypersurface in projective space of degree $q+1$, where $q$ is a power of the positive ground field characteristic, whose equation consists of monomials which are products of a $q$-power and a linear power; the Fermat hypersurface is an example. I identify $q$-bics as moduli spaces of isotropic vectors for an intrinsically defined bilinear form, and use this to study their Fano schemes of linear spaces. Amongst other things, I prove that the scheme of $m$-planes in a smooth $(2m+1)$-dimensional $q$-bic hypersurface is an $(m+1)$-dimensional smooth projective variety of general type which admits a purely inseparable covering by a complete intersection; I compute its Betti numbers by relating it to Deligne--Lusztig varieties for the finite unitary group; and I prove that its Albanese variety is purely inseparably isogenous via an Abel--Jacobi map to a certain conjectural intermediate Jacobian of the hypersurface. The case $m = 1$ may be viewed as an analogue of results of Clemens and Griffiths regarding cubic threefolds.
△ Less
Submitted 28 February, 2024; v1 submitted 12 July, 2023;
originally announced July 2023.
-
Optimal Polynomial Approximants in $H^p$
Authors:
Raymond Centner,
Raymond Cheng,
Christopher Felder
Abstract:
This work studies optimal polynomial approximants (OPAs) in the classical Hardy spaces on the unit disk, $H^p$ ($1 < p < \infty$). In particular, we uncover some estimates concerning the OPAs of degree zero and one. It is also shown that if $f \in H^p$ is an inner function, or if $p>2$ is an even integer, then the roots of the nontrivial OPA for $1/f$ are bounded from the origin by a distance depe…
▽ More
This work studies optimal polynomial approximants (OPAs) in the classical Hardy spaces on the unit disk, $H^p$ ($1 < p < \infty$). In particular, we uncover some estimates concerning the OPAs of degree zero and one. It is also shown that if $f \in H^p$ is an inner function, or if $p>2$ is an even integer, then the roots of the nontrivial OPA for $1/f$ are bounded from the origin by a distance depending only on $p$. For $p\neq 2$, these results are made possible by the novel use of a family of inequalities which are derived from a Banach space analogue of the Pythagorean theorem.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
$q$-bic forms
Authors:
Raymond Cheng
Abstract:
A $q$-bic form is a pairing $V \times V \to \mathbf{k}$ that is linear in the second variable and $q$-power Frobenius linear in the first; here, $V$ is a vector space over a field $\mathbf{k}$ containing the finite field on $q^2$ elements. This article develops a geometric theory of $q$-bic forms in the spirit of that of bilinear forms. I find two filtrations intrinsically attached to a $q$-bic fo…
▽ More
A $q$-bic form is a pairing $V \times V \to \mathbf{k}$ that is linear in the second variable and $q$-power Frobenius linear in the first; here, $V$ is a vector space over a field $\mathbf{k}$ containing the finite field on $q^2$ elements. This article develops a geometric theory of $q$-bic forms in the spirit of that of bilinear forms. I find two filtrations intrinsically attached to a $q$-bic form, with which I define a series of numerical invariants. These are used to classify, study automorphism group schemes of, and describe specialization relations in the parameter space of $q$-bic forms.
△ Less
Submitted 28 February, 2024; v1 submitted 24 January, 2023;
originally announced January 2023.
-
On Interpolation by Functions in $\ell^p_A$
Authors:
Raymond Cheng,
Christopher Felder
Abstract:
This work explores several aspects of interpolating sequences for $\ell^p_A$, the space of analytic functions on the unit disk with $p$-summable Maclaurin coefficients. Much of this work is communicated through a Carlesonian lens. We investigate various analogues of Gramian matrices, for which we show boundedness conditions are necessary and sufficient for interpolation, including a characterizati…
▽ More
This work explores several aspects of interpolating sequences for $\ell^p_A$, the space of analytic functions on the unit disk with $p$-summable Maclaurin coefficients. Much of this work is communicated through a Carlesonian lens. We investigate various analogues of Gramian matrices, for which we show boundedness conditions are necessary and sufficient for interpolation, including a characterization of universal interpolating sequences in terms of Riesz systems. We also discuss weak separation, giving a characterization of such sequences using a generalization of the pseudohyperbolic metric. Lastly, we consider Carleson measures and embeddings.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Geometry of $q$-bic Hypersurfaces
Authors:
Raymond Cheng
Abstract:
Traditional algebraic geometric invariants lose some of their potency in positive characteristic. For instance, smooth projective hypersurfaces may be covered by lines despite being of arbitrarily high degree. The purpose of this dissertation is to define a class of hypersurfaces that exhibits such classically unexpected properties, and to offer a perspective with which to conceptualize such pheno…
▽ More
Traditional algebraic geometric invariants lose some of their potency in positive characteristic. For instance, smooth projective hypersurfaces may be covered by lines despite being of arbitrarily high degree. The purpose of this dissertation is to define a class of hypersurfaces that exhibits such classically unexpected properties, and to offer a perspective with which to conceptualize such phenomena.
Specifically, this dissertation proposes an analogy between the eponymous $q$-bic hypersurfaces -- special hypersurfaces of degree $q+1$, with $q$ any power of the ground field characteristic, a familiar example given by the corresponding Fermat hypersurface -- and low degree hypersurfaces, especially quadrics and cubics. This analogy is substantiated by concrete results such as: $q$-bic hypersurfaces are moduli spaces of isotropic vectors for a bilinear form; the Fano schemes of linear spaces contained in a smooth $q$-bic hypersurface are smooth, irreducible, and carry structures similar to orthogonal Grassmannian; and the intermediate Jacobian of a $q$-bic threefold is purely inseparably isogenous to the Albanese variety of its smooth Fano surface of lines.
△ Less
Submitted 11 May, 2022;
originally announced May 2022.
-
A variational characterization of calibrated submanifolds
Authors:
Da Rong Cheng,
Spiro Karigiannis,
Jesse Madnick
Abstract:
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}$, ob…
▽ More
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 $μ$ on $\overline{M}$ in a particular way, if and only if $M$ is calibrated by $μ$. 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ähler 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.
△ Less
Submitted 15 March, 2023; v1 submitted 18 April, 2022;
originally announced April 2022.
-
A Survey on Machine Learning Solutions for Graph Pattern Extraction
Authors:
Kai Siong Yow,
Ningyi Liao,
Siqiang Luo,
Reynold Cheng,
Chenhao Ma,
Xiaolin Han
Abstract:
A subgraph is constructed by using a subset of vertices and edges of a given graph. There exist many graph properties that are hereditary for subgraphs. Hence, researchers from different communities have paid a great deal of attention in studying numerous subgraph problems, on top of the ordinary graph problems. Many algorithms are proposed in studying subgraph problems, where one common approach…
▽ More
A subgraph is constructed by using a subset of vertices and edges of a given graph. There exist many graph properties that are hereditary for subgraphs. Hence, researchers from different communities have paid a great deal of attention in studying numerous subgraph problems, on top of the ordinary graph problems. Many algorithms are proposed in studying subgraph problems, where one common approach is by extracting the patterns and structures of a given graph. Due to the complex structures of certain types of graphs and to improve overall performances of the existing frameworks, machine learning techniques have recently been employed in dealing with various subgraph problems. In this article, we present a comprehensive review on five well known subgraph problems that have been tackled by using machine learning methods. They are subgraph isomorphism (both counting and matching), maximum common subgraph, community detection and community search problems. We provide an outline of each proposed method, and examine its designs and performances. We also explore non-learning-based algorithms for each problem and a brief discussion is given. We then suggest some promising research directions in this area, ho** that relevant subgraph problems can be tackled by using a similar strategy. Since there is a huge growth in employing machine learning techniques in recent years, we believe that this survey will serve as a good reference point to relevant research communities.
△ Less
Submitted 2 June, 2023; v1 submitted 3 April, 2022;
originally announced April 2022.
-
Existence of free boundary disks with constant mean curvature in $\mathbb{R}^3$
Authors:
Da Rong Cheng
Abstract:
Given a surface $Σ$ 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 $Σ$, there exists a branched immersed disk which has constant mean curvature $H$ and boundary meeting $Σ$ orthogonally. We reproduce this result using a different approach and improve it under additional convexity assumpt…
▽ More
Given a surface $Σ$ 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 $Σ$, there exists a branched immersed disk which has constant mean curvature $H$ and boundary meeting $Σ$ orthogonally. We reproduce this result using a different approach and improve it under additional convexity assumptions on $Σ$. Specifically, when $Σ$ 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.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
On the geometry of the multiplier space of $\ell_A^p$
Authors:
Raymond Cheng,
Christopher Felder
Abstract:
For $p \in (1,\infty)\setminus \{2\}$, some properties of the space $\mathscr{M}_p$ of multipliers on $\ell^p_A$ are derived. In particular, the failure of the weak parallelogram laws and the Pythagorean inequalities is demonstrated for $\mathscr{M}_p$. It is also shown that the extremal multipliers on the $\ell^p_A$ spaces are exactly the monomials, in stark contrast to the $p=2$ case.
For $p \in (1,\infty)\setminus \{2\}$, some properties of the space $\mathscr{M}_p$ of multipliers on $\ell^p_A$ are derived. In particular, the failure of the weak parallelogram laws and the Pythagorean inequalities is demonstrated for $\mathscr{M}_p$. It is also shown that the extremal multipliers on the $\ell^p_A$ spaces are exactly the monomials, in stark contrast to the $p=2$ case.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Existence of curves with constant geodesic curvature in a Riemannian 2-sphere
Authors:
Da Rong Cheng,
Xin Zhou
Abstract:
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.
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.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
Zeros of optimal polynomial approximants in $\ell^p_{A}$
Authors:
Raymond Cheng,
William T. Ross,
Daniel Seco
Abstract:
The study of inner and cyclic functions in $\ell^p_A$ spaces requires a better understanding of the zeros of the so-called optimal polynomial approximants.
We determine that a point of the complex plane is the zero of an optimal polynomial approximant for some element of $\ell^p_A$ if and only if it lies outside of a closed disk (centered at the origin) of a particular radius which depends on th…
▽ More
The study of inner and cyclic functions in $\ell^p_A$ spaces requires a better understanding of the zeros of the so-called optimal polynomial approximants.
We determine that a point of the complex plane is the zero of an optimal polynomial approximant for some element of $\ell^p_A$ if and only if it lies outside of a closed disk (centered at the origin) of a particular radius which depends on the value of $p$. We find the value of this radius for $p\neq 2$. In addition, for each positive integer $d$ there is a polynomial $f_d$ of degree at most $d$ that minimizes the modulus of the root of its optimal linear polynomial approximant. We develop a method for finding these extremal functions $f_d$ and discuss their properties. The method involves the Lagrange multiplier method and a resulting dynamical system.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Unbounded negativity on rational surfaces in positive characteristic
Authors:
Raymond Cheng,
Remy van Dobben de Bruyn
Abstract:
We give explicit blowups of the projective plane in positive characteristic that contain smooth rational curves of arbitrarily negative self-intersection, showing that the Bounded Negativity Conjecture fails even for rational surfaces in positive characteristic.
We give explicit blowups of the projective plane in positive characteristic that contain smooth rational curves of arbitrarily negative self-intersection, showing that the Bounded Negativity Conjecture fails even for rational surfaces in positive characteristic.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
Existence of constant mean curvature 2-spheres in Riemannian 3-spheres
Authors:
Da Rong Cheng,
Xin Zhou
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 22 October, 2021; v1 submitted 24 December, 2020;
originally announced December 2020.
-
Stable solutions to the abelian Yang--Mills--Higgs equations on $S^2$ and $T^2$
Authors:
Da Rong Cheng
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Safe Multi-Agent Interaction through Robust Control Barrier Functions with Learned Uncertainties
Authors:
Richard Cheng,
Mohammad Javad Khojasteh,
Aaron D. Ames,
Joel W. Burdick
Abstract:
Robots operating in real world settings must navigate and maintain safety while interacting with many heterogeneous agents and obstacles. Multi-Agent Control Barrier Functions (CBF) have emerged as a computationally efficient tool to guarantee safety in multi-agent environments, but they assume perfect knowledge of both the robot dynamics and other agents' dynamics. While knowledge of the robot's…
▽ More
Robots operating in real world settings must navigate and maintain safety while interacting with many heterogeneous agents and obstacles. Multi-Agent Control Barrier Functions (CBF) have emerged as a computationally efficient tool to guarantee safety in multi-agent environments, but they assume perfect knowledge of both the robot dynamics and other agents' dynamics. While knowledge of the robot's dynamics might be reasonably well known, the heterogeneity of agents in real-world environments means there will always be considerable uncertainty in our prediction of other agents' dynamics. This work aims to learn high-confidence bounds for these dynamic uncertainties using Matrix-Variate Gaussian Process models, and incorporates them into a robust multi-agent CBF framework. We transform the resulting min-max robust CBF into a quadratic program, which can be efficiently solved in real time. We verify via simulation results that the nominal multi-agent CBF is often violated during agent interactions, whereas our robust formulation maintains safety with a much higher probability and adapts to learned uncertainties
△ Less
Submitted 22 September, 2020; v1 submitted 10 April, 2020;
originally announced April 2020.
-
Instability of solutions to the Ginzburg-Landau equation on $S^{n}$ and $\mathbb{CP}^{n}$
Authors:
Da Rong Cheng
Abstract:
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…
▽ More
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.
△ Less
Submitted 30 June, 2020; v1 submitted 11 November, 2019;
originally announced November 2019.
-
Bubble Tree Convergence of Conformally Cross Product Preserving Maps
Authors:
Da Rong Cheng,
Spiro Karigiannis,
Jesse Madnick
Abstract:
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$-ana…
▽ More
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,β}$-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.
△ Less
Submitted 18 July, 2021; v1 submitted 8 September, 2019;
originally announced September 2019.
-
Inner vectors for Toeplitz operators
Authors:
Raymond Cheng,
Javad Mashreghi,
William T. Ross
Abstract:
In this paper we survey and bring together several approaches to obtaining inner functions for Toeplitz operators. These approaches include the classical definition, the Wold decomposition, the operator-valued Poisson Integral, and Clark measures. We then extend these notions somewhat to inner functions on model spaces. Along the way we present some novel examples.
In this paper we survey and bring together several approaches to obtaining inner functions for Toeplitz operators. These approaches include the classical definition, the Wold decomposition, the operator-valued Poisson Integral, and Clark measures. We then extend these notions somewhat to inner functions on model spaces. Along the way we present some novel examples.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
Inner functions in reproducing kernel spaces
Authors:
Raymond Cheng,
Javad Mashreghi,
William T. Ross
Abstract:
In this paper we explore the notion of inner function in a broader context of operator theory.
In this paper we explore the notion of inner function in a broader context of operator theory.
△ Less
Submitted 17 July, 2018;
originally announced July 2018.
-
Multiobjective Test Problems with Degenerate Pareto Fronts
Authors:
Liangli Zhen,
Miqing Li,
Ran Cheng,
Dezhong Peng,
Xin Yao
Abstract:
In multiobjective optimisation, a set of scalable test problems with a variety of features allow researchers to investigate and evaluate the abilities of different optimisation algorithms, and thus can help them to design and develop more effective and efficient approaches. Existing test problem suites mainly focus on situations where all the objectives are fully conflicting with each other. In su…
▽ More
In multiobjective optimisation, a set of scalable test problems with a variety of features allow researchers to investigate and evaluate the abilities of different optimisation algorithms, and thus can help them to design and develop more effective and efficient approaches. Existing test problem suites mainly focus on situations where all the objectives are fully conflicting with each other. In such cases, an m-objective optimisation problem has an (m-1)-dimensional Pareto front in the objective space. However, in some optimisation problems, there may be unexpected characteristics among objectives, e.g., redundancy. The redundancy of some objectives can lead to the multiobjective problem having a degenerate Pareto front, i.e., the dimension of the Pareto front of the $m$-objective problem be less than (m-1). In this paper, we systematically study degenerate multiobjective problems. We abstract three general characteristics of degenerate problems, which are not formulated and systematically investigated in the literature. Based on these characteristics, we present a set of test problems to support the investigation of multiobjective optimisation algorithms under situations with redundant objectives. To the best of our knowledge, this work is the first one that explicitly formulates these three characteristics of degenerate problems, thus allowing the resulting test problems to be featured by their generality, in contrast to existing test problems designed for specific purposes (e.g., visualisation).
△ Less
Submitted 23 August, 2022; v1 submitted 7 June, 2018;
originally announced June 2018.
-
Optimal Weak Parallelogram Constants for $L^p$ Spaces
Authors:
Raymond Cheng,
Javad Mashreghi,
William T. Ross
Abstract:
Inspired by Clarkson's inequalities for $L^p$ and continuing work from \cite{CR}, this paper computes the optimal constant $C$ in the weak parallelogram laws $$ \|f + g \|^r + C\|f - g\|^r \leq 2^{r-1}\big( \|f\|^r + \|g\|^r \big), $$ $$ \|f + g \|^r + C\|f- g \|^r \geq 2^{r-1}\big( \|f\|^r + \|g \|^r \big)$$ for the $L^p$ spaces, $1 < p < \infty$.
Inspired by Clarkson's inequalities for $L^p$ and continuing work from \cite{CR}, this paper computes the optimal constant $C$ in the weak parallelogram laws $$ \|f + g \|^r + C\|f - g\|^r \leq 2^{r-1}\big( \|f\|^r + \|g\|^r \big), $$ $$ \|f + g \|^r + C\|f- g \|^r \geq 2^{r-1}\big( \|f\|^r + \|g \|^r \big)$$ for the $L^p$ spaces, $1 < p < \infty$.
△ Less
Submitted 13 February, 2018;
originally announced February 2018.
-
Inner functions and zero sets for $\ell^{p}_{A}$
Authors:
Raymond Cheng,
Javad Mashreghi,
William T. Ross
Abstract:
In this paper we characterize the zero sets of functions from $\ell^{p}_{A}$ (the analytic functions on the open unit disk $D$ whose Taylor coefficients form an $\ell^p$ sequence) by develo** a concept of an "inner function" modeled by Beurling's discussion of the Hilbert space $\ell^{2}_{A}$ (the classical Hardy space). The zero set criterion is used to construct families of zero sets which are…
▽ More
In this paper we characterize the zero sets of functions from $\ell^{p}_{A}$ (the analytic functions on the open unit disk $D$ whose Taylor coefficients form an $\ell^p$ sequence) by develo** a concept of an "inner function" modeled by Beurling's discussion of the Hilbert space $\ell^{2}_{A}$ (the classical Hardy space). The zero set criterion is used to construct families of zero sets which are not covered by classical results. In particular, it is proved that when $p > 2$, there are zero sets for $\ell^{p}_{A}$ which are not Blaschke sequences.
△ Less
Submitted 27 July, 2018; v1 submitted 13 February, 2018;
originally announced February 2018.
-
Asymptotics for the Ginzburg-Landau equation on manifolds with boundary under homogeneous Neumann condition
Authors:
Da Rong Cheng
Abstract:
On a compact manifold $M^{n}$ ($n\geq 3$) with boundary, we study the asymptotic behavior as $ε$ tends to zero of solutions $u_ε: M \to \mathbb{C}$ to the equation $Δu_ε + ε^{-2}(1 - |u_ε|^{2})u_ε = 0$ with the boundary condition $\partial_νu_ε = 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 ener…
▽ More
On a compact manifold $M^{n}$ ($n\geq 3$) with boundary, we study the asymptotic behavior as $ε$ tends to zero of solutions $u_ε: M \to \mathbb{C}$ to the equation $Δu_ε + ε^{-2}(1 - |u_ε|^{2})u_ε = 0$ with the boundary condition $\partial_νu_ε = 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_ε\}$ breaks into two parts: one captured by a harmonic $1$-form $ψ$ 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$.
△ Less
Submitted 11 January, 2018;
originally announced January 2018.
-
Combinatorial Iterated Integrals and the Harmonic Volume of Graphs
Authors:
Raymond Cheng,
Eric Katz
Abstract:
Let $Γ$ be a connected bridgeless metric graph, and fix a point $v$ of $Γ$. We define combinatorial iterated integrals on $Γ$ along closed paths at $v$, a unipotent generalization of the usual cycle pairing and the combinatorial analogue of Chen's iterated integrals on Riemann surfaces. These descend to a bilinear pairing between the group algebra of the fundamental group of $Γ$ at $v$ and the ten…
▽ More
Let $Γ$ be a connected bridgeless metric graph, and fix a point $v$ of $Γ$. We define combinatorial iterated integrals on $Γ$ along closed paths at $v$, a unipotent generalization of the usual cycle pairing and the combinatorial analogue of Chen's iterated integrals on Riemann surfaces. These descend to a bilinear pairing between the group algebra of the fundamental group of $Γ$ at $v$ and the tensor algebra on the first homology of $Γ$, $\int\colon \mathbf{Z}π_1(Γ,v) \times T\mathrm{H}_1(Γ,\mathbf{R}) \to \mathbf{R}$. We show that this pairing on the two-step unipotent quotient of the group algebra allows one to recover the base-point $v$ up to well-understood finite ambiguity. We encode the data of this structure as the combinatorial harmonic volume which is valued in the tropical intermediate Jacobian. We also give a potential-theoretic characterization for hyperelliptiicity for graphs.
△ Less
Submitted 2 February, 2021; v1 submitted 4 September, 2017;
originally announced September 2017.
-
Combinatorial aspects of the quantized universal envelo** algebra of $\mathfrak{sl}_{n+1}(\mathbb{C})$
Authors:
Raymond Cheng,
David M. Jackson,
Geoffrey Stanley
Abstract:
Quasi-triangular Hopf algebras were introduced by Drinfel'd in his construction of solutions to the Yang--Baxter Equation. This algebra is built upon $\mathcal{U}_h(\mathfrak{sl}_2)$, the quantized universal envelo** algebra of the Lie algebra $\mathfrak{sl}_2$. In this paper, combinatorial structure in $\mathcal{U}_h(\mathfrak{sl}_2)$ is elicited, and used to assist in highly intricate calculat…
▽ More
Quasi-triangular Hopf algebras were introduced by Drinfel'd in his construction of solutions to the Yang--Baxter Equation. This algebra is built upon $\mathcal{U}_h(\mathfrak{sl}_2)$, the quantized universal envelo** algebra of the Lie algebra $\mathfrak{sl}_2$. In this paper, combinatorial structure in $\mathcal{U}_h(\mathfrak{sl}_2)$ is elicited, and used to assist in highly intricate calculations in this algebra. To this end, a combinatorial methodology is formulated for straightening algebraic expressions to a canonical form in the case $n=1$. We apply this formalism to the quasi-triangular Hopf algebras and obtain a constructive account not only for the derivation of the Drinfel'd's $R$-matrix, but also for the arguably mysterious ribbon elements of $\mathcal{U}_h(\mathfrak{sl}_2)$. Finally, we extend these techniques to the higher dimensional algebras $\mathcal{U}_h(\mathfrak{sl}_{n+1})$. While these explicit algebraic results are well-known, our contribution is in our formalism and perspective: our emphasis is on the combinatorial structure of these algebras and how that structure may guide algebraic constructions.
△ Less
Submitted 9 July, 2018; v1 submitted 6 January, 2016;
originally announced January 2016.
-
A compactness result for energy-minimizing harmonic maps with rough domain metric
Authors:
Da Rong Cheng
Abstract:
In 1996, Shi generalized the epsilon-regularity theorem of Schoen and Uhlenbeck to energy-minimizing harmonic maps from a domain equipped with a bounded measurable Riemannian metric. In the present work we prove a compactness result for such energy-minimizing maps. As an application, we combine our result with Shi's theorem to give an improved bound on the Hausdorff dimension of the singular set,…
▽ More
In 1996, Shi generalized the epsilon-regularity theorem of Schoen and Uhlenbeck to energy-minimizing harmonic maps from a domain equipped with a bounded measurable Riemannian metric. In the present work we prove a compactness result for such energy-minimizing maps. As an application, we combine our result with Shi's theorem to give an improved bound on the Hausdorff dimension of the singular set, assuming that the map has bounded energy at all scales. This last assumption can be removed when the target manifold is simply-connected.
△ Less
Submitted 19 June, 2015;
originally announced June 2015.
-
Symplectic structures on $3$-Lie algebras
Authors:
Ruipu Bai,
Shuangshuang Chen,
Rong Cheng
Abstract:
The symplectic structures on $3$-Lie algebras and metric symplectic $3$-Lie algebras are studied. For arbitrary $3$-Lie algebra $L$, infinite many metric symplectic $3$-Lie algebras are constructed. It is proved that a metric $3$-Lie algebra $(A, B)$ is a metric symplectic $3$-Lie algebra if and only if there exists an invertible derivation $D$ such that $D\in Der_B(A)$, and is also proved that ev…
▽ More
The symplectic structures on $3$-Lie algebras and metric symplectic $3$-Lie algebras are studied. For arbitrary $3$-Lie algebra $L$, infinite many metric symplectic $3$-Lie algebras are constructed. It is proved that a metric $3$-Lie algebra $(A, B)$ is a metric symplectic $3$-Lie algebra if and only if there exists an invertible derivation $D$ such that $D\in Der_B(A)$, and is also proved that every metric symplectic $3$-Lie algebra $(\tilde{A}, \tilde{B}, \tildeω)$ is a $T^*_θ$-extension of a metric symplectic $3$-Lie algebra $(A, B, ω)$. Finally, we construct a metric symplectic double extension of a metric symplectic $3$-Lie algebra by means of a special derivation.
△ Less
Submitted 18 August, 2014;
originally announced August 2014.