Showing 1–13 of 13 results for author: Chin, C

A Proof of the Central Limit Theorem Using the $2$-Wasserstein Metric

Authors: Calvin Wooyoung Chin

Abstract: We prove the Lindeberg--Feller central limit theorem without using characteristic functions or Taylor expansions, but instead by measuring how far a distribution is from the standard normal distribution according to the $2$-Wasserstein metric. This falls under the category of renormalization group methods. The facts we need about the metric are explained and proved in detail. We illustrate the ide… ▽ More We prove the Lindeberg--Feller central limit theorem without using characteristic functions or Taylor expansions, but instead by measuring how far a distribution is from the standard normal distribution according to the $2$-Wasserstein metric. This falls under the category of renormalization group methods. The facts we need about the metric are explained and proved in detail. We illustrate the idea on a classical version of the central limit theorem before going into the main proof. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Comments: 10 pages

MSC Class: 60F05

A Mass Transport Proof of the Ergodic Theorem

Authors: Calvin Wooyoung Chin

Abstract: It is known that a gambler repeating a game with positive expected value has a positive probability to never go broke. We use the mass transport method to prove the generalization of this fact where the gains from the bets form a stationary, rather than an i.i.d., sequence. Birkhoff's ergodic theorem follows from this by a standard argument. It is known that a gambler repeating a game with positive expected value has a positive probability to never go broke. We use the mass transport method to prove the generalization of this fact where the gains from the bets form a stationary, rather than an i.i.d., sequence. Birkhoff's ergodic theorem follows from this by a standard argument. △ Less

Submitted 17 March, 2022; originally announced March 2022.

Comments: 4 pages, 2 figures

MSC Class: 37A30; 60F15; 28D05

Deriving the Central Limit Theorem from the De Moivre-Laplace Theorem

Authors: Calvin Wooyoung Chin

Abstract: The de Moivre-Laplace theorem is a special case of the central limit theorem for Bernoulli random variables, and can be proved by direct computation. We deduce the central limit theorem for any random variable with finite variance from the de Moivre-Laplace theorem. Our proof does not use advanced notions such as characteristic functions, the Brownian motion, or stopping times. The de Moivre-Laplace theorem is a special case of the central limit theorem for Bernoulli random variables, and can be proved by direct computation. We deduce the central limit theorem for any random variable with finite variance from the de Moivre-Laplace theorem. Our proof does not use advanced notions such as characteristic functions, the Brownian motion, or stopping times. △ Less

Submitted 28 October, 2021; v1 submitted 19 September, 2021; originally announced September 2021.

Comments: 5 pages

MSC Class: 60F05

A Short and Elementary Proof of the Central Limit Theorem by Individual Swapping

Authors: Calvin Wooyoung Chin

Abstract: We present a short proof of the central limit theorem which is elementary in the sense that no knowledge of characteristic functions, linear operators, or other advanced results are needed. Our proof is based on Lindeberg's trick of swapping a term for a normal random variable in turn. The modifications needed to prove the stronger Lindeberg-Feller central limit theorem are addressed at the end. We present a short proof of the central limit theorem which is elementary in the sense that no knowledge of characteristic functions, linear operators, or other advanced results are needed. Our proof is based on Lindeberg's trick of swapping a term for a normal random variable in turn. The modifications needed to prove the stronger Lindeberg-Feller central limit theorem are addressed at the end. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Comments: 6 pages, to be published in the American Mathematical Monthly

MSC Class: 60F05

Necessary and Sufficient Conditions for Convergence to the Semicircle Distribution

Authors: Calvin Wooyoung Chin

Abstract: We consider random Hermitian matrices with independent upper triangular entries. Wigner's semicircle law says that under certain additional assumptions, the empirical spectral distribution converges to the semicircle distribution. We characterize convergence to semicircle in terms of the variances of the entries, under natural assumptions such as the Lindeberg condition. The result extends to cert… ▽ More We consider random Hermitian matrices with independent upper triangular entries. Wigner's semicircle law says that under certain additional assumptions, the empirical spectral distribution converges to the semicircle distribution. We characterize convergence to semicircle in terms of the variances of the entries, under natural assumptions such as the Lindeberg condition. The result extends to certain matrices with entries having infinite second moments. As a corollary, another characterization of semicircle convergence is given in terms of convergence in distribution of the row sums to the standard normal distribution. △ Less

Submitted 11 June, 2022; v1 submitted 20 May, 2021; originally announced May 2021.

Comments: 23 pages, to be published in Random Matrices: Theory and Applications

MSC Class: 60B20

A Gambler that Bets Forever and the Strong Law of Large Numbers

Authors: Calvin Wooyoung Chin

Abstract: In this expository note, we give a simple proof that a gambler repeating a game with positive expected value never goes broke with a positive probability. This does not immediately follow from the strong law of large numbers or other basic facts on random walks. Using this result, we provide an elementary proof of the strong law of large numbers. The ideas of the proofs come from the maximal ergod… ▽ More In this expository note, we give a simple proof that a gambler repeating a game with positive expected value never goes broke with a positive probability. This does not immediately follow from the strong law of large numbers or other basic facts on random walks. Using this result, we provide an elementary proof of the strong law of large numbers. The ideas of the proofs come from the maximal ergodic theorem and Birkhoff's ergodic theorem. △ Less

Submitted 8 May, 2021; originally announced May 2021.

Comments: 3 pages, 1 figure, to be published in the American Mathematical Monthly

MSC Class: 60G50; 60F15

Class Fields of Complex Multiplication: translation of "Die Klassenkörper der komplexen Multiplikation" by Max Deuring

Authors: CheeWhye Chin

Abstract: This is an English translation of the monograph "Die Klassenkörper der komplexen Multiplikation" by Max Deuring, published in 1958 as Enzyklopädie der Mathematischen Wissenschaften, Band I-2, Heft 10, Teil II by B.G. Teuber Verlagsgesellschaft, Stuttgart. It gives a systematic exposition of the analytic method in the theory of complex multiplication -- the interrelations between elliptic functions… ▽ More This is an English translation of the monograph "Die Klassenkörper der komplexen Multiplikation" by Max Deuring, published in 1958 as Enzyklopädie der Mathematischen Wissenschaften, Band I-2, Heft 10, Teil II by B.G. Teuber Verlagsgesellschaft, Stuttgart. It gives a systematic exposition of the analytic method in the theory of complex multiplication -- the interrelations between elliptic functions, modular functions and algebraic numbers. This translation was done as an exercise for learning the German language. The mathematical notation and terminology are kept as closely as possible to those given in the German original work. No attempt has been made to modernize the exposition, other than rectifying a (very) few obviously-correctable typographical errors. △ Less

Submitted 30 May, 2020; originally announced June 2020.

Comments: 57 pages

Uniqueness Theorems of Self-Conformal Solutions to Inverse Curvature Flows

Authors: Nicholas Cheng-Hoong Chin, Frederick Tsz-Ho Fong, Jingbo Wan

Abstract: It has been known in that round spheres are the only closed homothetic self-similar solutions to the inverse mean curvature flow and parabolic curvature flows by degree -1 homogeneous functions of principle curvatures in the Euclidean space. In this article, we prove that the round sphere is rigid in much stronger sense, that under some natural conditions such as star-shapedness, it is the only cl… ▽ More It has been known in that round spheres are the only closed homothetic self-similar solutions to the inverse mean curvature flow and parabolic curvature flows by degree -1 homogeneous functions of principle curvatures in the Euclidean space. In this article, we prove that the round sphere is rigid in much stronger sense, that under some natural conditions such as star-shapedness, it is the only closed solution to the inverse mean curavture flow and the above-mentioned flows in the Euclidean space which evolves by diffeomorphisms generated by conformal Killing fields. △ Less

Submitted 28 April, 2020; v1 submitted 6 December, 2018; originally announced December 2018.

Comments: 15 pages; Theorems 3.1 and 4.5 rewritten; some remarks added. To appear in Proc. Amer. Math. Soc

Rationality of homogeneous varieties

Authors: CheeWhye Chin, De-Qi Zhang

Abstract: Let G be a connected linear algebraic group over an algebraically closed field k, and let H be a connected closed subgroup of G. We prove that the homogeneous variety G/H is a rational variety over k whenever H is solvable, or when dim(G/H) < 11 and characteristic(k) = 0. When H is of maximal rank in G, we also prove that G/H is rational if the maximal semisimple quotient of G is isogenous to a pr… ▽ More Let G be a connected linear algebraic group over an algebraically closed field k, and let H be a connected closed subgroup of G. We prove that the homogeneous variety G/H is a rational variety over k whenever H is solvable, or when dim(G/H) < 11 and characteristic(k) = 0. When H is of maximal rank in G, we also prove that G/H is rational if the maximal semisimple quotient of G is isogenous to a product of almost-simple groups of type A, type C (when characteristic(k) is not 2), or type B_3 or G_2 (when characteristic(k) = 0). △ Less

Submitted 1 July, 2016; v1 submitted 21 April, 2015; originally announced April 2015.

Comments: Transactions of the American Mathematical Society (to appear); Lemma 2.2 statement and Lemma 2.6 final part are slightly edited

MSC Class: 14E08; 14M17; 14M20

Journal ref: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 369, Number 4, April 2017, Pages 2651-2673

Iterated group extensions

Authors: CheeWhye Chin

Abstract: We introduce the notion of iterated group extensions, which, roughly speaking, is what one obtains by forming a group extension of a group extension. We interpret iterated extensions in terms of group cohomology, in the same way as Eilenberg-MacLane did for usual group extensions. From the E_2-spectral sequence of a group extension, there is a 6-term long exact sequence in which various cohomology… ▽ More We introduce the notion of iterated group extensions, which, roughly speaking, is what one obtains by forming a group extension of a group extension. We interpret iterated extensions in terms of group cohomology, in the same way as Eilenberg-MacLane did for usual group extensions. From the E_2-spectral sequence of a group extension, there is a 6-term long exact sequence in which various cohomology groups of degree 1 or 2 appear. We give an explicit identification of each cohomology group and each morphism appearing in this long exact sequence in terms of iterated extensions and associated notions. These identifications enable us to uncover natural relations between (iterated) extensions, their automorphism groups, and their outer actions. △ Less

Submitted 28 August, 2010; originally announced August 2010.

Comments: 41 pages, LaTeX

MSC Class: 20J05 (20J06)

Determining a connected split reductive group from its irreducible representations

Authors: CheeWhye Chin

Abstract: We show that a connected split reductive group G over a field of characteristic 0 is uniquely determined up to isomorphism by specifying a maximal torus T of G, the set of isomorphism classes of irreducible representations of G, and the character homomorphism from the Grothendieck ring of G to that of T. We show that a connected split reductive group G over a field of characteristic 0 is uniquely determined up to isomorphism by specifying a maximal torus T of G, the set of isomorphism classes of irreducible representations of G, and the character homomorphism from the Grothendieck ring of G to that of T. △ Less

Submitted 1 March, 2007; v1 submitted 12 November, 2002; originally announced November 2002.

Comments: 11 pages, LaTeX

MSC Class: 20G15 (20G05 17B10)

Independence of ell of Monodromy Groups

Authors: CheeWhye Chin

Abstract: Let X be a smooth curve over a finite field of characteristic p, let E be a number field, and consider an E-compatible system of lisse sheaves on the curve X. For each place lambda of E not lying over p, the lambda-component of the system is a lisse E_lambda-sheaf on X, whose associated arithmetic monodromy group is an algebraic group over the local field E_lambda. We use Serre's theory of Frobe… ▽ More Let X be a smooth curve over a finite field of characteristic p, let E be a number field, and consider an E-compatible system of lisse sheaves on the curve X. For each place lambda of E not lying over p, the lambda-component of the system is a lisse E_lambda-sheaf on X, whose associated arithmetic monodromy group is an algebraic group over the local field E_lambda. We use Serre's theory of Frobenius tori and Lafforgue's proof of Deligne's conjecture to show that when the E-compatible system is semisimple and pure of some integer weight, the isomorphism type of the identity component of these monodromy groups is ``independent of lambda''. More precisely: after replacing E by a finite extension, there exists a connected split reductive algebraic group G_0 over the number field E such that for every place lambda of E not lying over p, the identity component of the arithmetic monodromy group of the lambda-component of the system is isomorphic to the group G_0 with coefficients extended to the local field E_lambda. △ Less

Submitted 31 July, 2004; v1 submitted 14 June, 2002; originally announced June 2002.

Comments: 25 pages, AMS-LaTeX; journal version

MSC Class: 14G10 (11G40 14F20)

Journal ref: J. Amer. Math. Soc. 17 (2004), no.3, 723--747

Independence of l in Lafforgue's theorem

Authors: CheeWhye Chin

Abstract: Let X be a smooth curve over a finite field of characteristic p, let l be a prime number different from p, and let L be an irreducible lisse l-adic sheaf on X whose determinant is of finite order. By a theorem of Lafforgue, for each prime number l' different from p, there exists an irreducible lisse l'-adic sheaf L' on X which is compatible with L, in the sense that at every closed point x of… ▽ More Let X be a smooth curve over a finite field of characteristic p, let l be a prime number different from p, and let L be an irreducible lisse l-adic sheaf on X whose determinant is of finite order. By a theorem of Lafforgue, for each prime number l' different from p, there exists an irreducible lisse l'-adic sheaf L' on X which is compatible with L, in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for L and L' are equal. We prove an "independence of l" assertion on the fields of definition of these irreducible l'-adic sheaves L' : namely, that there exists a number field F such that for any prime number l' different from p, the l'-adic sheaf L' above is defined over the completion of F at one of its l'-adic places. △ Less

Submitted 25 June, 2002; v1 submitted 2 June, 2002; originally announced June 2002.

Comments: 19 pages, AMSTeX; revised version 2 to appear in Advances in Mathematics

MSC Class: 14G10 (14F20 14G13 14G15)

Journal ref: Adv. Math. 180 (2003), no. 1, 64--86