Showing 1–18 of 18 results for author: Tong, F

Boundary regularity of optimal transport maps on convex domains

Authors: Tristan C. Collins, Freid Tong

Abstract: We study the regularity of optimal transport maps between convex domains with quadratic cost. For nondegenerate $C^α$-densities, we prove $C^{1, 1-\varepsilon}$-regularity of the potentials up to the boundary. If in addition the boundary is $C^{1, α}$, we improve this to $C^{2, α}$-regularity. We also investigate pointwise $C^{1, 1}$-regularity at boundary points. We obtain a complete characteriza… ▽ More We study the regularity of optimal transport maps between convex domains with quadratic cost. For nondegenerate $C^α$-densities, we prove $C^{1, 1-\varepsilon}$-regularity of the potentials up to the boundary. If in addition the boundary is $C^{1, α}$, we improve this to $C^{2, α}$-regularity. We also investigate pointwise $C^{1, 1}$-regularity at boundary points. We obtain a complete characterization of pointwise $C^{1, 1}$-regularity for planar polytopes in terms of the geometry of tangent cones. Furthermore, we study the regularity of optimal transport maps with degenerate densities on cones, which arise from recent developments in Kähler geometry. The main new technical tool we introduce is a monotonicity formula for optimal transport maps on convex domains which characterizes the homogeneity of blow-ups. △ Less

Submitted 7 July, 2025; originally announced July 2025.

Comments: 44 pages

On Kähler-Einstein Currents

Authors: Yifan Chen, Shih-Kai Chiu, Max Hallgren, Gábor Székelyhidi, Tat Dat Tô, Freid Tong

Abstract: We show that a general class of singular Kähler metrics with Ricci curvature bounded below define Kähler currents. In particular the result applies to singular Kähler-Einstein metrics on klt pairs, and an analogous result holds for Kähler-Ricci solitons. In addition we show that if a singular Kähler-Einstein metric can be approximated by smooth metrics on a resolution whose Ricci curvature has neg… ▽ More We show that a general class of singular Kähler metrics with Ricci curvature bounded below define Kähler currents. In particular the result applies to singular Kähler-Einstein metrics on klt pairs, and an analogous result holds for Kähler-Ricci solitons. In addition we show that if a singular Kähler-Einstein metric can be approximated by smooth metrics on a resolution whose Ricci curvature has negative part that is bounded uniformly in $L^p$ for $p > \frac{2n-1}{n}$, then the metric defines an RCD space. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: 20 pages

MSC Class: 53C25

Positivity preserving and mass conservative projection method for the Poisson-Nernst-Planck equation

Authors: Fenghua Tong, Yongyong Cai

Abstract: We propose and analyze a novel approach to construct structure preserving approximations for the Poisson-Nernst-Planck equations, focusing on the positivity preserving and mass conservation properties. The strategy consists of a standard time marching step with a projection (or correction) step to satisfy the desired physical constraints (positivity and mass conservation). Based on the $L^2$ proje… ▽ More We propose and analyze a novel approach to construct structure preserving approximations for the Poisson-Nernst-Planck equations, focusing on the positivity preserving and mass conservation properties. The strategy consists of a standard time marching step with a projection (or correction) step to satisfy the desired physical constraints (positivity and mass conservation). Based on the $L^2$ projection, we construct a second order Crank-Nicolson type finite difference scheme, which is linear (exclude the very efficient $L^2$ projection part), positivity preserving and mass conserving. Rigorous error estimates in $L^2$ norm are established, which are both second order accurate in space and time. The other choice of projection, e.g. $H^1$ projection, is discussed. Numerical examples are presented to verify the theoretical results and demonstrate the efficiency of the proposed method. △ Less

Submitted 7 March, 2024; originally announced March 2024.

MSC Class: 65M06; 65M15; 35K51

A free boundary Monge-Ampère equation and applications to complete Calabi-Yau metrics

Authors: Tristan C. Collins, Freid Tong, Shing-Tung Yau

Abstract: Let $P$ be a convex body containing the origin in its interior. We study a real Monge-Ampère equation with singularities along $\del P$ which is Legendre dual to a certain free boundary Monge-Ampère equation. This is motivated by the existence problem for complete Calabi-Yau metrics on log Calabi-Yau pairs $(X, D)$ with $D$ an ample, simple normal crossings divisor. We prove the existence of solut… ▽ More Let $P$ be a convex body containing the origin in its interior. We study a real Monge-Ampère equation with singularities along $\del P$ which is Legendre dual to a certain free boundary Monge-Ampère equation. This is motivated by the existence problem for complete Calabi-Yau metrics on log Calabi-Yau pairs $(X, D)$ with $D$ an ample, simple normal crossings divisor. We prove the existence of solutions in $C^{\infty}(P)\cap C^{1,α}(\overline{P})$, and establish the strict convexity of the free boundary. When $P$ is a polytope, we obtain an asymptotic expansion for the solution near the interior of the codimension $1$ faces of $\del P$. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Generalized Monge-Ampère functionals and related variational problems

Authors: Freid Tong, Shing-Tung Yau

Abstract: In this paper, we introduce a family of real Monge-Ampère functionals and study their variational properties. We prove a Sobolev type inequality for these functionals and use this to study the existence and uniqueness of some associated Dirichlet problems. In particular, we prove the existence of solutions for a nonlinear eigenvalue problem associated to this family of functionals. In this paper, we introduce a family of real Monge-Ampère functionals and study their variational properties. We prove a Sobolev type inequality for these functionals and use this to study the existence and uniqueness of some associated Dirichlet problems. In particular, we prove the existence of solutions for a nonlinear eigenvalue problem associated to this family of functionals. △ Less

Submitted 2 June, 2023; originally announced June 2023.

Comments: 24 pages, comments welcome

On the modulus of continuity of solutions to complex Monge-Ampère equations

Authors: Bin Guo, Duong H. Phong, Freid Tong, Chuwen Wang

Abstract: In this paper, we prove a uniform and sharp estimate for the modulus of continuity of solutions to complex Monge-Ampère equations, using the PDE-based approach developed by the first three authors in their approach to supremum estimates for fully non-linear equations in Kähler geometry. As an application, we derive a uniform diameter bound for Kähler metrics satisfying certain Monge-Ampère equatio… ▽ More In this paper, we prove a uniform and sharp estimate for the modulus of continuity of solutions to complex Monge-Ampère equations, using the PDE-based approach developed by the first three authors in their approach to supremum estimates for fully non-linear equations in Kähler geometry. As an application, we derive a uniform diameter bound for Kähler metrics satisfying certain Monge-Ampère equations. △ Less

Submitted 4 December, 2021; originally announced December 2021.

Comments: 14 pages

On $L^\infty$ estimates for Monge-Ampère and Hessian equations on nef classes

Authors: Bin Guo, Duong H. Phong, Freid Tong, Chuwen Wang

Abstract: The PDE approach developed earlier by the first three authors for $L^\infty$ estimates for fully non-linear equations on Kähler manifolds is shown to apply as well to Monge-Ampère and Hessian equations on nef classes. In particular, one obtains a new proof of the estimates of Boucksom-Eyssidieux-Guedj-Zeriahi and Fu-Guo-Song for the Monge-Ampère equation, together with their generalization to Hess… ▽ More The PDE approach developed earlier by the first three authors for $L^\infty$ estimates for fully non-linear equations on Kähler manifolds is shown to apply as well to Monge-Ampère and Hessian equations on nef classes. In particular, one obtains a new proof of the estimates of Boucksom-Eyssidieux-Guedj-Zeriahi and Fu-Guo-Song for the Monge-Ampère equation, together with their generalization to Hessian equations. △ Less

Submitted 28 November, 2021; originally announced November 2021.

Journal ref: Analysis & PDE 17 (2024) 749-756

On the Hessian-cscK equations

Authors: Bin Guo, Kevin Smith, Freid Tong

Abstract: In this paper, we propose a coupled system of complex Hessian equations which generalizes the equation for constant scalar curvature Kähler (cscK) metrics. We show this system can be realized variationally as the Euler-Lagrange equation of a Hessian version of the Mabuchi K-energy in an infinite dimensional space of $k$-Hessian potentials, which can be seen as an infinite dimensional Riemannian ma… ▽ More In this paper, we propose a coupled system of complex Hessian equations which generalizes the equation for constant scalar curvature Kähler (cscK) metrics. We show this system can be realized variationally as the Euler-Lagrange equation of a Hessian version of the Mabuchi K-energy in an infinite dimensional space of $k$-Hessian potentials, which can be seen as an infinite dimensional Riemannian manifold with negative sectional curvature. Finally, we prove an a priori $C^0$-estimate for this system which depends on the Entropy, which generalizes a fundamental result of Chen and Cheng for cscK metrics. △ Less

Submitted 21 October, 2021; originally announced October 2021.

Comments: 13 pages

Stability estimates for the complex Monge-Ampère and Hessian equations

Authors: Bin Guo, Duong H. Phong, Freid Tong

Abstract: A new proof for stability estimates for the complex Monge-Ampère and Hessian equations is given, which does not require pluripotential theory. A major advantage is that the resulting stability estimates are then uniform under general degenerations of the background metric in the case of the Monge-Ampère equation, and under degenerations to a big class in the case of Hessian equations. A new proof for stability estimates for the complex Monge-Ampère and Hessian equations is given, which does not require pluripotential theory. A major advantage is that the resulting stability estimates are then uniform under general degenerations of the background metric in the case of the Monge-Ampère equation, and under degenerations to a big class in the case of Hessian equations. △ Less

Submitted 7 June, 2021; originally announced June 2021.

A new gradient estimate for the complex Monge-Ampère equation

Authors: Bin Guo, Duong H. Phong, Freid Tong

Abstract: A gradient estimate for complex Monge-Ampère equations which improves in some respects on known estimates is proved using the ABP maximum principle. A gradient estimate for complex Monge-Ampère equations which improves in some respects on known estimates is proved using the ABP maximum principle. △ Less

Submitted 6 June, 2021; originally announced June 2021.

Comments: 6 pages

On $L^\infty$ estimates for complex Monge-Ampère equations

Authors: Bin Guo, Duong H. Phong, Freid Tong

Abstract: A PDE proof is provided for the sharp $L^\infty$ estimates for the complex Monge-Ampère equation which had required pluripotential theory before. The proof covers both cases of fixed background as well as degenerating background metrics. It extends to more general fully non-linear equations satisfying a structural condition, and it also gives estimates of Trudinger type. A PDE proof is provided for the sharp $L^\infty$ estimates for the complex Monge-Ampère equation which had required pluripotential theory before. The proof covers both cases of fixed background as well as degenerating background metrics. It extends to more general fully non-linear equations satisfying a structural condition, and it also gives estimates of Trudinger type. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Comments: 24 pages

On global convergence of area-constrained formations of hierarchical multi-agent systems

Authors: Toshiharu Sugie, Fei Tong, Brian D. O. Anderson, Zhiyong Sun

Abstract: This paper is concerned with a formation shaping problem for point agents in a two-dimensional space, where control avoids the possibility of reflection ambiguities. One solution for this type of problems was given first for three or four agents by considering a potential function which consists of both the distance error and the signed area terms. Then, by exploiting a hierarchical control strate… ▽ More This paper is concerned with a formation shaping problem for point agents in a two-dimensional space, where control avoids the possibility of reflection ambiguities. One solution for this type of problems was given first for three or four agents by considering a potential function which consists of both the distance error and the signed area terms. Then, by exploiting a hierarchical control strategy with such potential functions, the method was extended to any number of agents recently. However, a specific gain on the signed area term must be employed there, and it does not guarantee the global convergence. To overcome this issue, this paper provides a necessary and sufficient condition for the global convergence, subject to the constraint that the desired formation consists of isosceles triangles only. This clarifies the admissible range of the gain on the signed area for this case. In addition, as for formations consisting of arbitrary triangles, it is shown when high gain on the signed area is admissible for global convergence. △ Less

Submitted 4 September, 2020; originally announced September 2020.

Comments: Accepted in the 59th IEEE Conference on Decision and Control (CDC 2020). arXiv admin note: text overlap with arXiv:1808.00312

On the degeneration of asymptotically conical Calabi-Yau metrics

Authors: Tristan C. Collins, Bin Guo, Freid Tong

Abstract: We study the degenerations of asymptotically conical Ricci-flat Kähler metrics as the Kähler class degenerates to a semi-positive class. We show that under appropriate assumptions, the Ricci-flat Kähler metrics converge to a incomplete smooth Ricci-flat Kähler metric away from a compact subvariety. As a consequence, we construct singular Calabi-Yau metrics with asymptotically conical behaviour at… ▽ More We study the degenerations of asymptotically conical Ricci-flat Kähler metrics as the Kähler class degenerates to a semi-positive class. We show that under appropriate assumptions, the Ricci-flat Kähler metrics converge to a incomplete smooth Ricci-flat Kähler metric away from a compact subvariety. As a consequence, we construct singular Calabi-Yau metrics with asymptotically conical behaviour at infinity on certain quasi-projective varieties and we show that the metric geometry of these singular metrics are homeomorphic to the topology of the singular variety. Finally, we will apply our results to study several classes of examples of geometric transitions between Calabi-Yau manifolds. △ Less

Submitted 28 June, 2020; originally announced June 2020.

Comments: 40 pages

A new positivity condition for the curvature of Hermitian manifolds

Authors: Freid Tong

Abstract: In this note, we introduce a new type of positivity condition for the curvature of a Hermitian manifold, which generalizes the notion of nonnegative quadratic orthogonal bisectional curvature to the non-Kähler case. We derive a Bochner formula for closed $(1, 1)$-forms from which this condition appears naturally and prove that if a Hermitian manifold satisfy our positivity condition, then any clas… ▽ More In this note, we introduce a new type of positivity condition for the curvature of a Hermitian manifold, which generalizes the notion of nonnegative quadratic orthogonal bisectional curvature to the non-Kähler case. We derive a Bochner formula for closed $(1, 1)$-forms from which this condition appears naturally and prove that if a Hermitian manifold satisfy our positivity condition, then any class $α\in H^{1, 1}_{BC}(X)$ can be represented by a closed $(1, 1)$-form which is parallel with respect to the Bismut connection. Lastly, we show that such a curvature positivity condition holds on certain generalized Hopf manifolds and on certain Vaisman manifolds. △ Less

Submitted 1 October, 2020; v1 submitted 27 May, 2020; originally announced May 2020.

Comments: 13 pages

Longtime existence of Kähler Ricci flow and holomorphic sectional curvature

Authors: Shaochuang Huang, Man-Chun Lee, Luen-Fai Tam, Freid Tong

Abstract: In this work, we obtain a existence criteria for the longtime Kähler Ricci flow solution. Using the existence result, we generalize a result by Wu-Yau on the existence of Kähler Einstein metric to the case with possibly unbounded curvature. Moreover, the Kähler Einstein metric with negative scalar curvture must be unique up to scaling. In this work, we obtain a existence criteria for the longtime Kähler Ricci flow solution. Using the existence result, we generalize a result by Wu-Yau on the existence of Kähler Einstein metric to the case with possibly unbounded curvature. Moreover, the Kähler Einstein metric with negative scalar curvture must be unique up to scaling. △ Less

Submitted 31 May, 2018; originally announced May 2018.

Comments: 25 pages

The Kähler-Ricci flow on manifolds with negative holomorphic curvature

Authors: Freid Tong

Abstract: We study the behaviour of the normalized Kähler-Ricci flow on complete Kähler manifolds of negative holomorphic sectional curvature. We show that the flow exists for all time and converges to a Kähler-Einstein metric of negative scalar curvature, recovering a result of Wu and Yau. We study the behaviour of the normalized Kähler-Ricci flow on complete Kähler manifolds of negative holomorphic sectional curvature. We show that the flow exists for all time and converges to a Kähler-Einstein metric of negative scalar curvature, recovering a result of Wu and Yau. △ Less

Submitted 9 May, 2018; originally announced May 2018.

Generalizing the divisibility property of rectangle domino tilings

Authors: Forest Tong

Abstract: We introduce a class of graphs called compound graphs, generalizing rectangles, which are constructed out of copies of a planar bipartite base graph. The main result is that the number of perfect matchings of every compound graph is divisible by the number of matchings of its base graph. Our approach is to use Kasteleyn's theorem to prove a key lemma, from which the divisibility theorem follows co… ▽ More We introduce a class of graphs called compound graphs, generalizing rectangles, which are constructed out of copies of a planar bipartite base graph. The main result is that the number of perfect matchings of every compound graph is divisible by the number of matchings of its base graph. Our approach is to use Kasteleyn's theorem to prove a key lemma, from which the divisibility theorem follows combinatorially. This theorem is then applied to provide a proof of Problem 21 of Propp's Enumeration of Matchings, a divisibility property of rectangles. Finally, we present a new proof, in the same spirit, of Ciucu's factorization theorem. △ Less

Submitted 25 July, 2016; v1 submitted 3 June, 2014; originally announced June 2014.

Comments: 21 pages

MSC Class: 05C70; 05C50; 05C30; 05C22

Journal ref: Electron. J. Combin., 23(3):#P3-5, 2016

Random Distances Associated with Arbitrary Triangles: A Systematic Approach between Two Random Points

Authors: Fei Tong, Maryam Ahmadi, Jianping Pan

Abstract: It has been known that the distribution of the random distances between two uniformly distributed points within a convex polygon can be obtained based on its chord length distribution (CLD). In this report, we first verify the existing known CLD for arbitrary triangles, and then derive and verify the distance distribution between two uniformly distributed points within an arbitrary triangle by sim… ▽ More It has been known that the distribution of the random distances between two uniformly distributed points within a convex polygon can be obtained based on its chord length distribution (CLD). In this report, we first verify the existing known CLD for arbitrary triangles, and then derive and verify the distance distribution between two uniformly distributed points within an arbitrary triangle by simulation. Furthermore, a decomposition and recursion approach is applied to obtain the random point distance distribution between two arbitrary triangles sharing a side. As a case study, the explicit distribution functions are derived when two congruent isosceles triangles with the acute angle equal to $\fracπ{6}$ form a rhombus or a concave 4-gon. △ Less

Submitted 29 November, 2013; originally announced December 2013.

Comments: 22 pages, 15 figures