Showing 1–15 of 15 results for author: Chong, T

Open Problems in Computability Theory and Descriptive Set Theory

Authors: George Barmpalias, Nikolay Bazhenov, Chi Tat Chong, Wei Dai, Su Gao, Jun Le Goh, Jialiang He, Keng Meng Selwyn Ng, Andre Nies, Theodore Slaman, Riley Thornton, Wei Wang, Jing Yu, Liang Yu

Abstract: These open problems were presented in the Problem Sessions held during the Tianyuan Workshop on Computability Theory and Descriptive Set Theory, June 16-20, 2025. The problems are organized into sections named after their contributors, in the order of their presentations during the workshop. Notes were taken and compiled by Wei Dai, Feng Li, Ruiwen Li, Ming Xiao, Xu Wang, Víctor Hugo Yañez Salazar… ▽ More These open problems were presented in the Problem Sessions held during the Tianyuan Workshop on Computability Theory and Descriptive Set Theory, June 16-20, 2025. The problems are organized into sections named after their contributors, in the order of their presentations during the workshop. Notes were taken and compiled by Wei Dai, Feng Li, Ruiwen Li, Ming Xiao, Xu Wang, Víctor Hugo Yañez Salazar, and Yang Zheng. △ Less

Submitted 5 July, 2025; originally announced July 2025.

MSC Class: 03E15; 03D30

On critical maps of the horizontal energy functional between Riemannian foliations

Authors: Tian Chong, Yuxin Dong, Xin Huang, Hui Liu

Abstract: In this paper, we consider critical points of the horizontal energy $E_{\HH}(f)$ for a smooth map $f$ between two Riemannian foliations. These critical points are referred to as horizontally harmonic maps. In particular, if the maps are foliated, they become transversally harmonic maps. By utilizing the stress-energy tensor, we establish some monotonicity formulas for horizontally harmon… ▽ More In this paper, we consider critical points of the horizontal energy $E_{\HH}(f)$ for a smooth map $f$ between two Riemannian foliations. These critical points are referred to as horizontally harmonic maps. In particular, if the maps are foliated, they become transversally harmonic maps. By utilizing the stress-energy tensor, we establish some monotonicity formulas for horizontally harmonic maps from Euclidean spaces, the quotients $K_{m}$ of Heisenberg groups and also for transversally harmonic maps from Riemannian foliations with appropriate curvature pinching conditions. Finally, we give Jin-type theorems for either horizontally harmonic maps or transversally harmonic maps under some asymptotic conditions at infinity. △ Less

Submitted 2 April, 2025; originally announced April 2025.

Comments: 38 pages, all comments are welcome

MSC Class: 58E20; 53C12; 53C43

Sobolev Inequality In Manifolds With Lower Quadratic Curvature Decay

Authors: Tian Chong, Han Luo, Lingen Lu

Abstract: By using the ABP method developed by Cabré and Brendle, we establish some Sobolev inequalities for compact domains and submanifolds in a complete Riemannian manifold with lower quadratic curvature decay By using the ABP method developed by Cabré and Brendle, we establish some Sobolev inequalities for compact domains and submanifolds in a complete Riemannian manifold with lower quadratic curvature decay △ Less

Submitted 24 March, 2025; originally announced March 2025.

Comments: All comments are welcome!

Independence and Induction in Reverse Mathematics

Authors: David Belanger, Chi Tat Chong, Rupert Hölzl, Frank Stephan

Abstract: We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense mutually independent. More precisely, we study the principle $\mathsf{MAD}$ stating that a maximal family of pairwise almost disjoint sets exists; and the principl… ▽ More We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense mutually independent. More precisely, we study the principle $\mathsf{MAD}$ stating that a maximal family of pairwise almost disjoint sets exists; and the principle $\mathsf{MED}$ expressing the existence of a maximal family of functions that are pairwise eventually different. We investigate characterisations of and relations between these principles and some of their variants. It turns out that induction strength at the levels of $\mathsf{B}\mathrmΣ_2^0$ or $\mathsf{I}\mathrmΣ_2^0$ is an essential parameter; for instance, over $\mathsf{B}\mathrmΣ_2^0$, we show that $\neg\mathsf{MAD}$ is equivalent to the principle $\mathsf{DOM}$ expressing that every weakly represented family of functions is dominated by some other function. △ Less

Submitted 7 February, 2025; v1 submitted 19 August, 2024; originally announced August 2024.

MSC Class: 03B30

On stability of subelliptic harmonic maps with potential

Authors: Tian Chong, Yuxin Dong, Guilin Yang

Abstract: In this paper, we investigate the stability problem of subelliptic harmonic maps with potential. First, we derive the first and second variation formulas for subelliptic harmonic maps with potential. As a result, it is proved that a subelliptic harmonic map with potential is stable if the target manifold has nonpositive curvature and the Hessian of the potential is nonpositive definite. We also gi… ▽ More In this paper, we investigate the stability problem of subelliptic harmonic maps with potential. First, we derive the first and second variation formulas for subelliptic harmonic maps with potential. As a result, it is proved that a subelliptic harmonic map with potential is stable if the target manifold has nonpositive curvature and the Hessian of the potential is nonpositive definite. We also give Leung type results which involve the instability of subelliptic harmonic maps with potential when the target manifold is a sphere of dimension $\geq 3$. △ Less

Submitted 2 November, 2022; originally announced November 2022.

Schwarz type lemmas for generalized holomorphic maps between pseudo-Hermitian manifolds and Hermitian manifolds

Authors: Tian Chong, Yuxin Dong, Yibin Ren, Weike Yu

Abstract: In this paper, we consider some generalized holomorphic maps between pseudo-Hermitian manifolds and Hermitian manifolds. By Bochner formulas and comparison theorems, we establish related Schwarz type results. As corollaries, Liouville theorem and little Picard theorem for basic CR functions are deduced. Finally, we study CR Carathéodory pseudodistance on CR manifolds. In this paper, we consider some generalized holomorphic maps between pseudo-Hermitian manifolds and Hermitian manifolds. By Bochner formulas and comparison theorems, we establish related Schwarz type results. As corollaries, Liouville theorem and little Picard theorem for basic CR functions are deduced. Finally, we study CR Carathéodory pseudodistance on CR manifolds. △ Less

Submitted 11 February, 2020; originally announced February 2020.

Comments: 16 pages

The Strength of Ramsey's Theorem For Pairs over trees: I. Weak König's Lemma

Authors: Chi Tat Chong, Wei Li, Lu Liu, Yue Yang

Abstract: Let $\mathsf{TT}^2_k$ denote the combinatorial principle stating that every $k$-coloring of pairs of compatible nodes in the full binary tree has a homogeneous solution, i.e. an isomorphic subtree in which all pairs of compatible nodes have the same color. Let $\mathsf{WKL}_0$ be the subsystem of second order arithmetic consisting of the base system $\mathsf{RCA}_0$ together with the principle (ca… ▽ More Let $\mathsf{TT}^2_k$ denote the combinatorial principle stating that every $k$-coloring of pairs of compatible nodes in the full binary tree has a homogeneous solution, i.e. an isomorphic subtree in which all pairs of compatible nodes have the same color. Let $\mathsf{WKL}_0$ be the subsystem of second order arithmetic consisting of the base system $\mathsf{RCA}_0$ together with the principle (called Weak König's Lemma) stating that every infinite subtree of the full binary tree has an infinite path. We show that over $\mathsf{RCA}_0$, $\mathsf{TT}^2_k$ doe not imply $\mathsf{WKL}_0$. This solves the open problem on the relative strength between the two major subsystems of second order arithmetic. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: 24pages

MSC Class: 03B30; 03F35; 03D80

Pseudo-Harmonic Maps From Complete Noncompact Pseudo-Hermitian Manifolds To Regular Balls

Authors: Tian Chong, Yuxin Dong, Yibin Ren, Zhang Wei

Abstract: In this paper, we give an estimate of sub-Laplacian of Riemannian distance functions in pseudo-Hermitian geometry which plays a similar role as Laplacian comparison theorem in Riemannian geometry, and deduce a prior horizontal gradient estimate of pseudo-harmonic maps from pseudo-Hermitian manifolds to regular balls of Riemannian manifolds. As an application, Liouville theorem is established under… ▽ More In this paper, we give an estimate of sub-Laplacian of Riemannian distance functions in pseudo-Hermitian geometry which plays a similar role as Laplacian comparison theorem in Riemannian geometry, and deduce a prior horizontal gradient estimate of pseudo-harmonic maps from pseudo-Hermitian manifolds to regular balls of Riemannian manifolds. As an application, Liouville theorem is established under the conditions of nonnegative pseudo-Hermitian Ricci curvature and vanishing pseudo-Hermitian torsion. Moreover, we obtain the existence of pseudo-harmonic maps from complete noncompact pseudo-Hermitian manifolds to regular balls of Riemannian manifolds. △ Less

Submitted 21 April, 2019; v1 submitted 22 February, 2018; originally announced February 2018.

Comments: An appendix is added

MSC Class: 58E20; 53C25; 32V05

Liouville Theorems for critical points of the p-Ginzburg-Landau type functional

Authors: Tian Chong, Bofeng Cheng, Yuxin Dong, Wei Zhang

Abstract: In this paper, we consider the smooth map from a Riemannian manifold to the standard Euclidean space and the p-Ginzburg-Landau energy. Under suitable curvature conditions on the domain manifold, some Liouville type theorems are established by assuming either growth conditions of the p-Ginzburg-Landau energy or an asymptotic condition at the infinity for the maps. In the end of paper, we obtain the… ▽ More In this paper, we consider the smooth map from a Riemannian manifold to the standard Euclidean space and the p-Ginzburg-Landau energy. Under suitable curvature conditions on the domain manifold, some Liouville type theorems are established by assuming either growth conditions of the p-Ginzburg-Landau energy or an asymptotic condition at the infinity for the maps. In the end of paper, we obtain the unique constant solution of the constant Dirichlet boundary value problems on starlike domains. △ Less

Submitted 20 October, 2016; originally announced October 2016.

On harmonic and pseudoharmonic maps from strictly pseudoconvex CR manifolds

Authors: Tian Chong, Yuxin Dong, Yibin Ren, Guilin Yang

Abstract: In this paper, we give some rigidity results for both harmonic and pseudoharmonic maps from CR manifolds into Riemannian manifolds or Kahler manifolds. Some basicity, pluriharmonicity and Siu-Sampson type results are established for both harmonic maps and pseudoharmonic maps. In this paper, we give some rigidity results for both harmonic and pseudoharmonic maps from CR manifolds into Riemannian manifolds or Kahler manifolds. Some basicity, pluriharmonicity and Siu-Sampson type results are established for both harmonic maps and pseudoharmonic maps. △ Less

Submitted 8 May, 2015; originally announced May 2015.

Comments: 28 pages

MSC Class: 32V20; 53C43

Dirichlet Process Hidden Markov Multiple Change-point Model

Authors: Stanley I. M. Ko, Terence T. L. Chong, Pulak Ghosh

Abstract: This paper proposes a new Bayesian multiple change-point model which is based on the hidden Markov approach. The Dirichlet process hidden Markov model does not require the specification of the number of change-points a priori. Hence our model is robust to model specification in contrast to the fully parametric Bayesian model. We propose a general Markov chain Monte Carlo algorithm which only needs… ▽ More This paper proposes a new Bayesian multiple change-point model which is based on the hidden Markov approach. The Dirichlet process hidden Markov model does not require the specification of the number of change-points a priori. Hence our model is robust to model specification in contrast to the fully parametric Bayesian model. We propose a general Markov chain Monte Carlo algorithm which only needs to sample the states around change-points. Simulations for a normal mean-shift model with known and unknown variance demonstrate advantages of our approach. Two applications, namely the coal-mining disaster data and the real United States Gross Domestic Product growth, are provided. We detect a single change-point for both the disaster data and US GDP growth. All the change-point locations and posterior inferences of the two applications are in line with existing methods. △ Less

Submitted 7 May, 2015; originally announced May 2015.

Comments: Published at http://dx.doi.org/10.1214/14-BA910 in the Bayesian Analysis (http://projecteuclid.org/euclid.ba) by the International Society of Bayesian Analysis (http://bayesian.org/)

Report number: VTeX-BA-BA910

Journal ref: Bayesian Analysis 2015, Vol. 10, No. 2, 275-296

Rigidity theorems of complete Kähler-Einstein manifolds and complex space forms

Authors: Tian Chong, Yuxin Dong, Hezi Lin, Yibin Ren

Abstract: We derive some elliptic differential inequalities from the Weitzenböck formulas for the traceless Ricci tensor of a Kähler manifold with constant scalar curvature and the Bochner tensor of a Kähler-Einstein manifold respectively. Using elliptic estimates and maximum principle, some $L^p$ and $L^\infty $ pinching results are established to characterize Kähler-Einstein manifolds among Kähler manifol… ▽ More We derive some elliptic differential inequalities from the Weitzenböck formulas for the traceless Ricci tensor of a Kähler manifold with constant scalar curvature and the Bochner tensor of a Kähler-Einstein manifold respectively. Using elliptic estimates and maximum principle, some $L^p$ and $L^\infty $ pinching results are established to characterize Kähler-Einstein manifolds among Kähler manifolds with constant scalar curvature, and others are given to characterize complex space forms among Kähler-Einstein manifolds. Finally, these pinching results may be combined to characterize complex space forms among Kähler manifolds with constant scalar curvature. △ Less

Submitted 12 September, 2014; originally announced September 2014.

Comments: 23 pages

MSC Class: Primary: 53C20; 53C21; 53C55

Unstability of pseudoharmonic maps between pseudo-Hermitian manifolds

Authors: Tian Chong, Yuxin Dong, Yibin Ren

Abstract: In this paper, we derive the second variation formula of pseudoharmonic maps into any pseudo-Hermitian manifolds. When the target manifold is an isometric embedded CR manifold in complex Euclidean space or a pseudo-Hermitian immersed submanifold in Heisenberg group, we give some conditions on Weingarten maps to obtain some unstability of pseudoharmonic maps between these pseudo-Hermitian manifolds… ▽ More In this paper, we derive the second variation formula of pseudoharmonic maps into any pseudo-Hermitian manifolds. When the target manifold is an isometric embedded CR manifold in complex Euclidean space or a pseudo-Hermitian immersed submanifold in Heisenberg group, we give some conditions on Weingarten maps to obtain some unstability of pseudoharmonic maps between these pseudo-Hermitian manifolds. △ Less

Submitted 27 February, 2014; originally announced February 2014.

Comments: 30 Pages

Liouville theorem for Pseudoharmonic maps from Sasakian manifolds

Authors: Yibin Ren, Guilin Yang, Tian Chong

Abstract: In this paper, we derive a sub-gradient estimate for pseudoharmonic maps from noncompact complete Sasakian manifolds which satisfy CR sub-Laplace comparison property, to simply-connected Riemannian manifolds with nonpositive sectional curvature. As its application, we obtain some Liouville theorems for pseudoharmonic maps. In the Appendix, we modify the method and apply it to harmonic maps from no… ▽ More In this paper, we derive a sub-gradient estimate for pseudoharmonic maps from noncompact complete Sasakian manifolds which satisfy CR sub-Laplace comparison property, to simply-connected Riemannian manifolds with nonpositive sectional curvature. As its application, we obtain some Liouville theorems for pseudoharmonic maps. In the Appendix, we modify the method and apply it to harmonic maps from noncompact complete Sasakian manifolds. △ Less

Submitted 13 November, 2013; originally announced November 2013.

Comments: 21 pages

MSC Class: 32V05; 32V20(Primary); 58E20(Secondary)

Ordinal Recursion Theory

Authors: Chi Tat Chong, Sy D. Friedman

Abstract: In this article, intended for the Handbook of Recursion Theory, we survey recursion theory on the ordinal numbers, with sections devoted to $α$-recursion theory, $β$-recursion theory and the study of the admissibility spectrum. In this article, intended for the Handbook of Recursion Theory, we survey recursion theory on the ordinal numbers, with sections devoted to $α$-recursion theory, $β$-recursion theory and the study of the admissibility spectrum. △ Less

Submitted 11 September, 1996; originally announced September 1996.

Report number: Logic E-prints September 12, 1996