Author copy. for some integers a i, b i. b i
|
|
- Arthur Melton
- 5 years ago
- Views:
Transcription
1 Cent. Eur. J. Math. 6(3) DOI: /s Central European Journal of Mathematics Rational points on the unit sphere Research Article Eric Schmutz Mathematics Department, Drexel University, Philadelphia, Pennsylvania, Abstract: MSC: Received 1 January 008; accepted 1 June 008 It is known that the unit sphere, centered at the origin in R n, has a dense set of points with rational coordinates. We give an elementary proof of this fact that includes explicit bounds on the complexity of the coordinates: for every point v on the unit sphere in R n, and every ε > 0, there is a point r = (r 1, r,..., r n ) such that: r v < ε. r is also a point on the unit sphere; r i = 1. r has rational coordinates; r i = a i b i for some integers a i, b i. for all i, 0 a i b i ( 31/ log n ε ) log n. One consequence of this result is a relatively simple and quantitative proof of the fact that the rational orthogonal group O(n, Q) is dense in O(n, R) with the topology induced by Frobenius matrix norm. Unitary matrices in U(n, C) can likewise be approximated by matrices in U(n, Q(i)). 11J99,14G05 Keywords: Diophantine approximation orthogonal group unitary group rational points unit sphere 1. Introduction Versita Warsaw and Springer-Verlag Berlin Heidelberg. Suppose that M is a manifold embedded in R n, and that v is a point on M. Does M have points with rational coordinates that are as close as we like to v? The answer may depend on the embedding; it is not an intrinsic property of M. If the rational points are dense, what is the tradeoff between the closeness of approximation and the sizes of the denominators that the rational coordinates must have? In general, such problems can be very difficult. This paper discusses two closely related special cases that are relatively easy: unit spheres centered at the origin, and real orthogonal matrices. See [13] for a deep algebraic treatment of weak approximation in algebraic varieties that is relevant to these examples. The methods of this paper are comparatively elementary, and the metric theory is not discussed. In other words, this Eric.Jonathan.Schmutz@drexel.edu 48
2 Eric Schmutz paper provides crude but simple bounds that hold for all points v, rather than sophisticated bounds that hold for typical points. Problems of the latter type are addressed by the Metric Diophantine Approximation on Manifolds literature. (See, for example, [], [1], [6].). Rational points on the sphere Although Q is dense in R, it is not true in general that a circle in the plane has a dense set of rational points. For example, if ξ = 3 (or any other real number that satisfies no quadratic polynomial in Z[x]), then a unit circle centered at (ξ, 0) has no rational points on it. Let Sρ n 1 be the set of points in R n for which the Euclidean distance from the origin is ρ. Humke and Krajewski characterized the radii ρ for which Sρ 1 Q is dense in Sρ. 1 In particular, the unit circle, centered at the origin in R, does have a dense set of points with rational coordinates [5]. It is also known that, for all n, the unit sphere S1 n has a dense set of rational points. (I thank Andy Hicks and Greg Naber for pointing out that the inverse of the stereographic projection takes rational points to rational points.) This paper provides a different proof that is quantitative in the sense that that it takes into account the complexity of the rational coordinates. If r = a for b some coprime integers a, b define the denominator D(r) of r to be b. If we restrict the size of the denominator, it is apparently harder to get a good approximation. Our main interest is this tradeoff between closeness of approximation and size of the denominator. We begin with the special case where the dimension of the ambient space is a power of two. Lemma.1. Suppose 0 < γ <.0, and suppose α 1, α,..., α M is a sequence of M = m real numbers such that α 1 + α +... α M = 1. Then there are rational numbers r i = a i b i, i = 1,,..., M such that M ri = 1, and for all i, 0 < b i ( γ ) m, and for all i, r i α i 4γm. Proof. The proof is by induction on m. The base case m = 0 is trivial since necessarily α1 = 1 and we can take r 1 = α 1. Let m > 0, and assume the inductive hypothesis. 1/ ( M/ ) 1/ Let = αi, and let σ = M. Note that i= M +1 α i Without loss of generality, assume σ. This and (1) imply that σ 1 + σ = 1. (1) σ 1. () If σ = 0, then we can put r i = 0 for i > M, and apply the inductive hypothesis to α 1, α,..., α M/. We therefore assume that σ > 0. Adapting an argument of Humke and Krajewski [5], define f(y) = y, and let y 1+y be the unique solution in (0, 1) to the equation f(y) = σ. Thus y = σ 1 σ 1. By a well known theorem on Diophantine approximation [3], we can choose coprime integers k, l such that 0 < l 1 and γ k l y γ l. (3) 483
3 Rational points on the unit sphere With this choice of k and l, define and R = kl k + l = f( k l ) (4) R 1 = 1 R = l k k + l. (5) Ultimately R 1 and R will serve as rational approximations for and σ respectively. But first we use them to define the rational numbers r i. By the inductive hypothesis, applied to the numbers α i, we can choose rational numbers q i, i = 1,,..., M such that M/ q i = 1 q i α i ( ) 4γ(m 1) for i = 1,,..., m 1 (7) D(q i ) ( γ )m 1 ( for i = 1,,..., m 1 ). (8) We can likewise choose rational numbers q i, for m 1 < i m, such that M i= m 1 +1 q i = 1 q i α i ( 4γ(m 1) for n 1 < i m) (10) D(q i ) ( γ )m 1 ( for m 1 < i m). (11) For i M, define r i = R 1 q i. Similarly, for i > M, define r i = R q i. Clearly r 1, r,..., r M are rational. We must verify that these numbers satisfy the conditions stated in the lemma. The first condition is that (r 1, r,..., r M ) is a point on the unit sphere. By (6) and(9), M M/ ri = R1 q i + R M q i = R1 + R = 1. (1) M/+1 The second condition is a bound on the denominators of the rational approximations. ( ) m 1 (k + l )D(q i ) D(q γ i ). By (8) and (11), D(q i ) γ. Thus, for all i, (6) (9) Note that, for all i, D(r i ) D(r i ) ( γ )m. (13) For the third condition, begin with the observation that, for all i > M, r i α i = R q i σ q i + σ q i α i q i R σ + σ q i α i σ. It is clear from (1) and (9) that σ 1 and q i 1. It follows by (10) that r i α i R σ + 4γ(m 1) = f( k l ) f(y ) + 4γ(m 1). (14) 484
4 Eric Schmutz By the mean value theorem, f(x) f(y) x y for all x, y (0, 1). Hence R σ = f( k l ) f(y ) k l y γ l γ. (15) Putting this back into (14), we get, for all i > M, r i α i γ + 4γ(m 1) < 4γm. Similarly, for i m 1, r i α i R 1 + q i α i R 1 + 4γ(m 1). (16) Let g(x) = 1 x, so that,for some ξ between R and σ, we have R 1 = g(r ) g(σ ) = g (ξ) R σ. Note that g (x) = x(1 x ) 1/ is increasing on (0, 1). By (15) and (), we have R σ + γ 1 + (.0) <.75. Hence g (ξ) g (.75) <, and R 1 R σ + 4γ(m 1) 4γm. Now we can proceed to the general case of numbers that are not necessarily powers of two. Theorem.1. Suppose ε (0,.08), and suppose α 1, α,..., α n is a sequence of n real numbers such that α 1 + α +... α n = 1. Then there are rational numbers r i = a i b i, i = 1,,..., m such that m ri = 1, and for all i, 0 < b i ( 3 log n ) log ε n, and for all i, r i α i < ε. Proof. Let m = log n. If n is not a power of two,then pad with zeroes, i.e. define α i = 0 for n < i m. Then Lemma.1 is directly applicable with γ = ε/4m. A final comment is that there was a good reason to consider powers of two first. The advantage of working with M = m first is that the depth of the recursion is only O(log M), and consequently we get much better bounds for the denominators. 3. Approximating orthogonal matrices First we fix some notation. For any n n matrix A = (a i,j ) 1 i,j n, let A = a i,j. Also let A = max i,j a i,j. i,j Similarly, for a vector v, let v be the maximum of the components magnitudes. For any subset F R, let O(n, F) be the set of all n n matrices A, with entries in F, for which the columns are orthonormal with respect to the standard inner product, i.e. for which A t = A 1. It is apparently known that O(n, Q) is dense in O(n, R). The case n = 3 has been studied in some detail because of physics and engineering applications. See, for example, [10]. I do not know a suitable reference for general n, but Margulis [7] credits Platonov [11] with a proof that SO(n, Z[ 1 ]) is dense in SO(n, R). I cannot read [11], but Chapter 5 485
5 Rational points on the unit sphere 7 of [13] is relevant. Platonov s proof is not very accessible, and it is a non-trivial matter for a general mathematical reader to sort through the topologies. See [8], [9]. Theorem 3.1 below is a relatively simple proof that O(n, Q) is dense in O(n, R) in the topology induced by Frobenius norm ( i.e. the subspace topology inherited from R n when we regard n n matrices as vectors in R n ). It provides crude but explicit bounds on the denominators of the approximating matrices entries. I do not know whether such bounds can be deduced from Platonov s work. Theorem 3.1. For any n n real orthogonal matrix T O(n, R), and any δ > 0, there is a rational orthogonal matrix A O(n, Q) such that Proof. T A < δ. Each entry of A has denominator less than ( 16 n log n δ ) n log n. For any unit vector u (represented as an n 1 matrix), let H u be the corresponding Householder matrix, i.e. H u = I uu t. (17) It is well known [14], [4] that, for some h n and some unit vectors u 1, u,..., u h, we have T = H uk. (18) Let β = ( 16 n log n δ ) log n. By Theorem.1 (with ε = δ 4n ), we can, for each k, choose a unit vector a k such that: a k has rational coordinates (19) a k u k < δ 4n (0) each coordinate of a k has denominator less than β. (1) For this choice of unit vectors a 1, a,..., a h, let A = H ak. () Clearly A and has rational coefficients. We must show that it is a good approximation for T. Beginning with (18) and (), we can add and subtract a term to get A T = H a1 ( H ak H uk ) + (H a1 H u1 )( H uk ) k= k= k= H a1 ( H ak H uk ) + (H a1 H u1 )( H uk ) (3) k= Because a Householder matrix is orthogonal, we have H v B = B = BH v for any unit vector v and any n n matrix B. Applying this repeatedly to (3), we get k= k= k= A T H ak H au + H a1 H u1. k= 486
6 Eric Schmutz The same argument can be applied again to the first term on the right. Thus, by iterating, we get A T = H ak H uk h H ak H uk. (4) For any i n, let u k (i) and a k (i) respectively be the i th coordinates of the unit vectors u k and a k. Then entry i, j of H ak H uk is ( ) ( ) u k (i) u k (j) a k (j) + a k (j) u k (i) a k (i). Combining this with (0), we get H ak H uk n H ak H uk 4n a k u k δ n. (5) Putting (5) back into (4), we get the half of the theorem: T A < δ. We still need to bound the sizes of the entries of the approximating matrix A = h H ai. The h vectors a 1, a,..., a h have collectively at most hn n rational coordinates, each of which has denominator less than β. Therefore β n is an upper bound for the least common multiple of the denominators of the coordinates, and consequently each entry of A has denominator less than β n. Essentially the same argument can be carried out for unitary matrices. Any unitary matrix can U U(n, C) can be written as a product of Householder matrices of the form H = I uu, where u is a unit vector in C n [14]. By identifying a unit vector u C n with a unit vector in R n, we can choose a unit vector a in Q(i) n so that u a is is as small as we like. References [1] Beresnevich V.V., Bernik V.I., Kleinbock D.Y., Margulis G.A., Metric diophantine approximation: the Khintchine- Groshev theorem for nondegenerate manifolds, Mosc. Math. J., 00,, 03 5 [] Bernik V.I., Dodson M.M., Metric diophantine approximation on manifolds, Cambridge University Press, Cambridge, 1999 [3] Hardy G.H., Wright E.M., An introduction to the theory of numbers, 5th ed., Oxford University Press, Oxford, 1983 [4] Householder A., Unitary triangularization of a nonsymmetric matrix, J. ACM, 1958, 5, [5] Humke P.D., Krajewski L.L., A characterization of circles which contain rational points, Amer. Math. Monthly, 1979, 86, [6] Kleinbock D.Y., Margulis G.A., Flows on homogeneous spaces and diophantine approximation on manifolds, Ann. of Math.(), 1998, 148, [7] Margulis G.A., Some remarks on invariant means, Monatsh. Math., 1980, 90, [8] Mazur B., The topology of rational points, Experiment. Math., 199, 1, [9] Mazur B., Speculations about the topology of rational points: an update, Astérisque, 1995, 8, [10] Milenkovic V.J., Milenkovic V., Rational orthogonal approximations to orthogonal matrices, Comput. Geom., 1997, 7, 5 35 [11] Platonov V.P., The problem of strong approximation and the Kneser-Tits hypothesis for algebraic groups, Izv. Akad. Nauk SSSR Ser. Mat., 1969, 33, (in Russian) [1] Platonov V.P., A supplement to the paper The problem of strong approximation and the Kneser-Tits hypothesis for algebraic groups, Izv. Akad. Nauk SSSR Ser. Mat., 1970, 34, (in Russian) [13] Platonov V.P., Rapinchuk A., Algebraic groups and number theory, Academic Press, Boston, 1994 [14] Uhlig F., Constructive ways for generating (generalized) real orthogonal matrices as products of (generalized) symmetries, Linear Algebra Appl., 001, 33/334,
Rational Points on the Unit Sphere
Rational oints on the Unit Sphere Eric Schmutz Mathematics Department, Drexel University hiladelphia, ennsylvania, 19104 Eric.Jonathan.Schmutz@drexel.edu May 3, 008 MSC: 11J99,14G05; Keywords: Diophantine
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationNOTES Edited by William Adkins. On Goldbach s Conjecture for Integer Polynomials
NOTES Edited by William Adkins On Goldbach s Conjecture for Integer Polynomials Filip Saidak 1. INTRODUCTION. We give a short proof of the fact that every monic polynomial f (x) in Z[x] can be written
More information(x, y) = d(x, y) = x y.
1 Euclidean geometry 1.1 Euclidean space Our story begins with a geometry which will be familiar to all readers, namely the geometry of Euclidean space. In this first chapter we study the Euclidean distance
More informationAnalysis-3 lecture schemes
Analysis-3 lecture schemes (with Homeworks) 1 Csörgő István November, 2015 1 A jegyzet az ELTE Informatikai Kar 2015. évi Jegyzetpályázatának támogatásával készült Contents 1. Lesson 1 4 1.1. The Space
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationIntegral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract
Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Let F be a field, M n (F ) the algebra of n n matrices over F and
More informationRESEARCH STATEMENT FEI XU
RESEARCH STATEMENT FEI XU. Introduction Recall that a variety is said to be rational if it is birational to P n. For many years, mathematicians have worked on the rationality of smooth complete intersections,
More informationThe Knaster problem and the geometry of high-dimensional cubes
The Knaster problem and the geometry of high-dimensional cubes B. S. Kashin (Moscow) S. J. Szarek (Paris & Cleveland) Abstract We study questions of the following type: Given positive semi-definite matrix
More informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationREPRESENTING HOMOLOGY AUTOMORPHISMS OF NONORIENTABLE SURFACES
REPRESENTING HOMOLOGY AUTOMORPHISMS OF NONORIENTABLE SURFACES JOHN D. MCCARTHY AND ULRICH PINKALL Abstract. In this paper, we prove that every automorphism of the first homology group of a closed, connected,
More informationA Simple Proof of the Fredholm Alternative and a Characterization of the Fredholm Operators
thus a n+1 = (2n + 1)a n /2(n + 1). We know that a 0 = π, and the remaining part follows by induction. Thus g(x, y) dx dy = 1 2 tanh 2n v cosh v dv Equations (4) and (5) give the desired result. Remarks.
More informationAG NOTES MARK BLUNK. 3. Varieties
AG NOTES MARK BLUNK Abstract. Some rough notes to get you all started. 1. Introduction Here is a list of the main topics that are discussed and used in my research talk. The information is rough and brief,
More informationMATH 31BH Homework 1 Solutions
MATH 3BH Homework Solutions January 0, 04 Problem.5. (a) (x, y)-plane in R 3 is closed and not open. To see that this plane is not open, notice that any ball around the origin (0, 0, 0) will contain points
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationFUNCTIONAL ANALYSIS-NORMED SPACE
MAT641- MSC Mathematics, MNIT Jaipur FUNCTIONAL ANALYSIS-NORMED SPACE DR. RITU AGARWAL MALAVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR 1. Normed space Norm generalizes the concept of length in an arbitrary
More informationsatisfying ( i ; j ) = ij Here ij = if i = j and 0 otherwise The idea to use lattices is the following Suppose we are given a lattice L and a point ~x
Dual Vectors and Lower Bounds for the Nearest Lattice Point Problem Johan Hastad* MIT Abstract: We prove that given a point ~z outside a given lattice L then there is a dual vector which gives a fairly
More informationAn example of a convex body without symmetric projections.
An example of a convex body without symmetric projections. E. D. Gluskin A. E. Litvak N. Tomczak-Jaegermann Abstract Many crucial results of the asymptotic theory of symmetric convex bodies were extended
More informationREPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 2001
9 REPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 21 ALLEN KNUTSON 1 WEIGHT DIAGRAMS OF -REPRESENTATIONS Let be an -dimensional torus, ie a group isomorphic to The we
More informationSHABNAM AKHTARI AND JEFFREY D. VAALER
ON THE HEIGHT OF SOLUTIONS TO NORM FORM EQUATIONS arxiv:1709.02485v2 [math.nt] 18 Feb 2018 SHABNAM AKHTARI AND JEFFREY D. VAALER Abstract. Let k be a number field. We consider norm form equations associated
More informationOn the Dimension of the Stability Group for a Levi Non-Degenerate Hypersurface
1 On the Dimension of the Stability Group for a Levi Non-Degenerate Hypersurface Vladimir Ezhov and Alexander Isaev We classify locally defined non-spherical real-analytic hypersurfaces in complex space
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationIntroduction to Functional Analysis
Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture
More informationSpectral Theorem for Self-adjoint Linear Operators
Notes for the undergraduate lecture by David Adams. (These are the notes I would write if I was teaching a course on this topic. I have included more material than I will cover in the 45 minute lecture;
More informationINNER PRODUCT SPACE. Definition 1
INNER PRODUCT SPACE Definition 1 Suppose u, v and w are all vectors in vector space V and c is any scalar. An inner product space on the vectors space V is a function that associates with each pair of
More informationSpectral inequalities and equalities involving products of matrices
Spectral inequalities and equalities involving products of matrices Chi-Kwong Li 1 Department of Mathematics, College of William & Mary, Williamsburg, Virginia 23187 (ckli@math.wm.edu) Yiu-Tung Poon Department
More informationRegularity estimates for fully non linear elliptic equations which are asymptotically convex
Regularity estimates for fully non linear elliptic equations which are asymptotically convex Luis Silvestre and Eduardo V. Teixeira Abstract In this paper we deliver improved C 1,α regularity estimates
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationON CONTINUITY OF MEASURABLE COCYCLES
Journal of Applied Analysis Vol. 6, No. 2 (2000), pp. 295 302 ON CONTINUITY OF MEASURABLE COCYCLES G. GUZIK Received January 18, 2000 and, in revised form, July 27, 2000 Abstract. It is proved that every
More informationimplies that if we fix a basis v of V and let M and M be the associated invertible symmetric matrices computing, and, then M = (L L)M and the
Math 395. Geometric approach to signature For the amusement of the reader who knows a tiny bit about groups (enough to know the meaning of a transitive group action on a set), we now provide an alternative
More informationInduced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations
Induced Representations Frobenius Reciprocity Math G4344, Spring 2012 1 Generalities about Induced Representations For any group G subgroup H, we get a restriction functor Res G H : Rep(G) Rep(H) that
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J Olver 8 Numerical Computation of Eigenvalues In this part, we discuss some practical methods for computing eigenvalues and eigenvectors of matrices Needless to
More informationMath 147, Homework 1 Solutions Due: April 10, 2012
1. For what values of a is the set: Math 147, Homework 1 Solutions Due: April 10, 2012 M a = { (x, y, z) : x 2 + y 2 z 2 = a } a smooth manifold? Give explicit parametrizations for open sets covering M
More informationHomogeneity and rigidity in Erdős spaces
Comment.Math.Univ.Carolin. 59,4(2018) 495 501 495 Homogeneity and rigidity in Erdős spaces KlaasP.Hart, JanvanMill To the memory of Bohuslav Balcar Abstract. The classical Erdős spaces are obtained as
More informationLecture 2: Linear Algebra Review
EE 227A: Convex Optimization and Applications January 19 Lecture 2: Linear Algebra Review Lecturer: Mert Pilanci Reading assignment: Appendix C of BV. Sections 2-6 of the web textbook 1 2.1 Vectors 2.1.1
More informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
More informationMATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003
MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003 1. True or False (28 points, 2 each) T or F If V is a vector space
More informationDef. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =
CONNECTEDNESS-Notes Def. A topological space X is disconnected if it admits a non-trivial splitting: X = A B, A B =, A, B open in X, and non-empty. (We ll abbreviate disjoint union of two subsets A and
More informationLecture Notes 1: Vector spaces
Optimization-based data analysis Fall 2017 Lecture Notes 1: Vector spaces In this chapter we review certain basic concepts of linear algebra, highlighting their application to signal processing. 1 Vector
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationMath 108b: Notes on the Spectral Theorem
Math 108b: Notes on the Spectral Theorem From section 6.3, we know that every linear operator T on a finite dimensional inner product space V has an adjoint. (T is defined as the unique linear operator
More informationSome distance functions in knot theory
Some distance functions in knot theory Jie CHEN Division of Mathematics, Graduate School of Information Sciences, Tohoku University 1 Introduction In this presentation, we focus on three distance functions
More informationABSOLUTE CONTINUITY OF FOLIATIONS
ABSOLUTE CONTINUITY OF FOLIATIONS C. PUGH, M. VIANA, A. WILKINSON 1. Introduction In what follows, U is an open neighborhood in a compact Riemannian manifold M, and F is a local foliation of U. By this
More informationThe Nearest Doubly Stochastic Matrix to a Real Matrix with the same First Moment
he Nearest Doubly Stochastic Matrix to a Real Matrix with the same First Moment William Glunt 1, homas L. Hayden 2 and Robert Reams 2 1 Department of Mathematics and Computer Science, Austin Peay State
More informationSTRUCTURE OF GEODESICS IN A 13-DIMENSIONAL GROUP OF HEISENBERG TYPE
Steps in Differential Geometry, Proceedings of the Colloquium on Differential Geometry, 25 30 July, 2000, Debrecen, Hungary STRUCTURE OF GEODESICS IN A 13-DIMENSIONAL GROUP OF HEISENBERG TYPE Abstract.
More informationOn polynomially integrable convex bodies
On polynomially integrable convex bodies A. oldobsky, A. Merkurjev, and V. Yaskin Abstract An infinitely smooth convex body in R n is called polynomially integrable of degree N if its parallel section
More informationThe Solvability Conditions for the Inverse Eigenvalue Problem of Hermitian and Generalized Skew-Hamiltonian Matrices and Its Approximation
The Solvability Conditions for the Inverse Eigenvalue Problem of Hermitian and Generalized Skew-Hamiltonian Matrices and Its Approximation Zheng-jian Bai Abstract In this paper, we first consider the inverse
More informationInjective semigroup-algebras
Injective semigroup-algebras J. J. Green June 5, 2002 Abstract Semigroups S for which the Banach algebra l (S) is injective are investigated and an application to the work of O. Yu. Aristov is described.
More informationDiagonalizing Matrices
Diagonalizing Matrices Massoud Malek A A Let A = A k be an n n non-singular matrix and let B = A = [B, B,, B k,, B n ] Then A n A B = A A 0 0 A k [B, B,, B k,, B n ] = 0 0 = I n 0 A n Notice that A i B
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationOn the classification of isoparametric hypersurfaces with four distinct principal curvatures in spheres
Annals of Mathematics, 168 (2008), 1011 1024 On the classification of isoparametric hypersurfaces with four distinct principal curvatures in spheres By Stefan Immervoll Abstract In this paper we give a
More information). In an old paper [11], I. N. Sanov
ON TWO-GENERATOR SUBGROUPS IN SL 2 (Z), SL 2 (Q), AND SL 2 (R) ANASTASIIA CHORNA, KATHERINE GELLER, AND VLADIMIR SHPILRAIN ABSTRACT. We consider what some authors call parabolic Möbius subgroups of matrices
More informationPRODUCTS OF TOEPLITZ OPERATORS ON THE FOCK SPACE
PRODUCTS OF TOEPLITZ OPERATORS ON THE FOCK SPACE HONG RAE CHO, JONG-DO PARK, AND KEHE ZHU ABSTRACT. Let f and g be functions, not identically zero, in the Fock space F 2 α of. We show that the product
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More informationThroughout these notes we assume V, W are finite dimensional inner product spaces over C.
Math 342 - Linear Algebra II Notes Throughout these notes we assume V, W are finite dimensional inner product spaces over C 1 Upper Triangular Representation Proposition: Let T L(V ) There exists an orthonormal
More informationRing of the weight enumerators of d + n
Ring of the weight enumerators of Makoto Fujii Manabu Oura Abstract We show that the ring of the weight enumerators of a self-dual doubly even code in arbitrary genus is finitely generated Indeed enough
More information1 Differentiable manifolds and smooth maps. (Solutions)
1 Differentiable manifolds and smooth maps Solutions Last updated: March 17 2011 Problem 1 The state of the planar pendulum is entirely defined by the position of its moving end in the plane R 2 Since
More informationPolynomials of small degree evaluated on matrices
Polynomials of small degree evaluated on matrices Zachary Mesyan January 1, 2013 Abstract A celebrated theorem of Shoda states that over any field K (of characteristic 0), every matrix with trace 0 can
More informationDUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE
DUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE C. RYAN VINROOT Abstract. We prove that the duality operator preserves the Frobenius- Schur indicators of characters
More informationABELIAN SELF-COMMUTATORS IN FINITE FACTORS
ABELIAN SELF-COMMUTATORS IN FINITE FACTORS GABRIEL NAGY Abstract. An abelian self-commutator in a C*-algebra A is an element of the form A = X X XX, with X A, such that X X and XX commute. It is shown
More informationHighest-weight Theory: Verma Modules
Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN
VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN Abstract. For any field k and integer g 3, we exhibit a curve X over k of genus g such that X has no non-trivial automorphisms over k. 1. Statement
More informationSpectral Gap and Concentration for Some Spherically Symmetric Probability Measures
Spectral Gap and Concentration for Some Spherically Symmetric Probability Measures S.G. Bobkov School of Mathematics, University of Minnesota, 127 Vincent Hall, 26 Church St. S.E., Minneapolis, MN 55455,
More informationRemarks on the Rademacher-Menshov Theorem
Remarks on the Rademacher-Menshov Theorem Christopher Meaney Abstract We describe Salem s proof of the Rademacher-Menshov Theorem, which shows that one constant works for all orthogonal expansions in all
More informationOn the Periodic Solutions of Certain Fifth Order Nonlinear Vector Differential Equations
On the Periodic Solutions of Certain Fifth Order Nonlinear Vector Differential Equations Melike Karta Department of Mathematics, Faculty of Science and Arts, Agri Ibrahim Cecen University, Agri, E-mail:
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationNon-Asymptotic Theory of Random Matrices Lecture 4: Dimension Reduction Date: January 16, 2007
Non-Asymptotic Theory of Random Matrices Lecture 4: Dimension Reduction Date: January 16, 2007 Lecturer: Roman Vershynin Scribe: Matthew Herman 1 Introduction Consider the set X = {n points in R N } where
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationTakens embedding theorem for infinite-dimensional dynamical systems
Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More informationChanging sign solutions for the CR-Yamabe equation
Changing sign solutions for the CR-Yamabe equation Ali Maalaoui (1) & Vittorio Martino (2) Abstract In this paper we prove that the CR-Yamabe equation on the Heisenberg group has infinitely many changing
More informationLimits of cubes E1 4NS, U.K.
Limits of cubes Peter J. Cameron a Sam Tarzi a a School of Mathematical Sciences, Queen Mary, University of London, London E1 4NS, U.K. Abstract The celebrated Urysohn space is the completion of a countable
More informationQUATERNIONS AND ROTATIONS
QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )
More informationLinear maps preserving AN -operators
Linear maps preserving AN -operators (Ritsumeikan University) co-author: Golla Ramesh (Indian Instiute of Technology Hyderabad) Numerical Range and Numerical Radii Max-Planck-Institute MPQ June 14, 2018
More informationOn uniqueness in the inverse conductivity problem with local data
On uniqueness in the inverse conductivity problem with local data Victor Isakov June 21, 2006 1 Introduction The inverse condictivity problem with many boundary measurements consists of recovery of conductivity
More informationA Subrecursive Refinement of FTA. of the Fundamental Theorem of Algebra
A Subrecursive Refinement of the Fundamental Theorem of Algebra P. Peshev D. Skordev Faculty of Mathematics and Computer Science University of Sofia Computability in Europe, 2006 Outline Introduction 1
More informationSELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY
Electronic Journal of Differential Equations, Vol. 2003(2003), No.??, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) SELF-ADJOINTNESS
More informationON A PROBLEM OF GEVORKYAN FOR THE FRANKLIN SYSTEM. Zygmunt Wronicz
Opuscula Math. 36, no. 5 (2016), 681 687 http://dx.doi.org/10.7494/opmath.2016.36.5.681 Opuscula Mathematica ON A PROBLEM OF GEVORKYAN FOR THE FRANKLIN SYSTEM Zygmunt Wronicz Communicated by P.A. Cojuhari
More informationPreliminary Examination, Part I Tuesday morning, August 31, 2004
Preliminary Examination, Part I Tuesday morning, August 31, 24 This part of the examination consists of six problems. You should work all of the problems. Show all of your work in your workbook. Try to
More informationA NOTE ON A BASIS PROBLEM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 51, Number 2, September 1975 A NOTE ON A BASIS PROBLEM J. M. ANDERSON ABSTRACT. It is shown that the functions {exp xvx\v_. form a basis for the
More informationPolynomial mappings into a Stiefel manifold and immersions
Polynomial mappings into a Stiefel manifold and immersions Iwona Krzyżanowska Zbigniew Szafraniec November 2011 Abstract For a polynomial mapping from S n k to the Stiefel manifold Ṽk(R n ), where n k
More informationSome Remarks on the Discrete Uncertainty Principle
Highly Composite: Papers in Number Theory, RMS-Lecture Notes Series No. 23, 2016, pp. 77 85. Some Remarks on the Discrete Uncertainty Principle M. Ram Murty Department of Mathematics, Queen s University,
More informationDiscrete Series Representations of Unipotent p-adic Groups
Journal of Lie Theory Volume 15 (2005) 261 267 c 2005 Heldermann Verlag Discrete Series Representations of Unipotent p-adic Groups Jeffrey D. Adler and Alan Roche Communicated by S. Gindikin Abstract.
More informationREPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012
REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre
More informationLINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM
LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator
More informationarxiv:math/ v1 [math.ds] 8 Oct 2006
arxiv:math/0610257v1 [math.ds] 8 Oct 2006 On Estimates of the Number of Collisions for Billiards in Polyhedral Angles Lizhou Chen Abstract We obtain an upper bound of the number of collisions of any billiard
More informationMath 407: Linear Optimization
Math 407: Linear Optimization Lecture 16: The Linear Least Squares Problem II Math Dept, University of Washington February 28, 2018 Lecture 16: The Linear Least Squares Problem II (Math Dept, University
More informationSQUARE ROOTS OF 2x2 MATRICES 1. Sam Northshield SUNY-Plattsburgh
SQUARE ROOTS OF x MATRICES Sam Northshield SUNY-Plattsburgh INTRODUCTION A B What is the square root of a matrix such as? It is not, in general, A B C D C D This is easy to see since the upper left entry
More informationMath 54 - HW Solutions 5
Math 54 - HW Solutions 5 Dan Crytser August 6, 202 Problem 20.a To show that the Manhattan metric d(, y) = y +... + n y n induces the standard topology on R n, we show that it induces the same topology
More informationBASIC VON NEUMANN ALGEBRA THEORY
BASIC VON NEUMANN ALGEBRA THEORY FARBOD SHOKRIEH Contents 1. Introduction 1 2. von Neumann algebras and factors 1 3. von Neumann trace 2 4. von Neumann dimension 2 5. Tensor products 3 6. von Neumann algebras
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationAn angle metric through the notion of Grassmann representative
Electronic Journal of Linear Algebra Volume 18 Volume 18 (009 Article 10 009 An angle metric through the notion of Grassmann representative Grigoris I. Kalogeropoulos gkaloger@math.uoa.gr Athanasios D.
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), 313 321 www.emis.de/journals ISSN 1786-0091 DUAL BANACH ALGEBRAS AND CONNES-AMENABILITY FARUK UYGUL Abstract. In this survey, we first
More informationA REPRESENTATION THEORETIC APPROACH TO SYNCHRONIZING AUTOMATA
A REPRESENTATION THEORETIC APPROACH TO SYNCHRONIZING AUTOMATA FREDRICK ARNOLD AND BENJAMIN STEINBERG Abstract. This paper is a first attempt to apply the techniques of representation theory to synchronizing
More informationA Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds
arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationCHAOTIC BEHAVIOR IN A FORECAST MODEL
CHAOTIC BEHAVIOR IN A FORECAST MODEL MICHAEL BOYLE AND MARK TOMFORDE Abstract. We examine a certain interval map, called the weather map, that has been used by previous authors as a toy model for weather
More informationLecture 11: Clifford algebras
Lecture 11: Clifford algebras In this lecture we introduce Clifford algebras, which will play an important role in the rest of the class. The link with K-theory is the Atiyah-Bott-Shapiro construction
More informationNORMAL GENERATION OF UNITARY GROUPS OF CUNTZ ALGEBRAS BY INVOLUTIONS. 1. Introduction
NORMAL GENERATION OF UNITARY GROUPS OF CUNTZ ALGEBRAS BY INVOLUTIONS A. AL-RAWASHDEH Page 1 of 10 Abstract. In purely infinite factors, P. de la Harpe proved that a normal subgroup of the unitary group
More information