SMALL 2011 Projects
Advisor: Susan Loepp
Consider the set of polynomials in one variable over the complex numbers. We can define a distance between these polynomials that turns out to be a metric. The Cauchy sequences with respect to this metric, however, do not all converge. So, we can complete this metric space to get a new metric space in which all cauchy sequences converge. What is this new space algebraically? Surprisingly, it turns out to be the set of formal power series in one variable over the complex numbers. The idea of completing a set of polynomials generalizes to rings. Given a local ring, one can define a metric on that ring and form a new ring by completing the metric space. The relationship between a ring and its completion is important and mysterious. Algebraists often gain useful information about a ring by passing to the completion, which, by Cohen’s Structure Theorem, is easier to understand. Unfortunately, the relationship between a local ring and its completion is not well understood. It is the goal of the Commutative Algebra groups in SMALL to shed light on this relationship.
Students participating in the Commutative Algebra group will work on problems relating local ring to their completions. For example, they may attempt to characterize which complete local rings are completions of excellent local UFD’s. Students could also work on a variety of questions on the relationship between a local ring R and the polynomial ring R[X] by looking at their completions. In addition, there are open questions about formal fibers on which students might work. At least one Abstract Algebra course is required. The following references are results from previous SMALL Commutative Algebra groups.
D. Lee, L. Leer, S. Pilch, and Y. Yasufuku, Characterizations of Completions of Reduced Local Rings, Proc. Amer. Math. Soc.,129 (2001), 3193-3200.
M. Florenz, D. Kunvipusilkul, and J. Yang, Constructing Chains of Excellent Rings with Local Generic Formal Fibers, Communications in Algebra, 30 (2002), 3569-3587.
J. Bryk, S. Mapes, C. Samuels and G. Wang, Constructing Almost Excellent Unique Factorization Domains, Communications in Algebra, 33 (2005), 1321-1336.
A. Dundon, D. Jensen, S. Loepp, J. Provine, and J. Rodu, Controlling Formal Fibers of Principal Prime Ideals, Rocky Mountain Journal of Mathematics, 37 (2007), 1871-1892.
A. Boocher, M. Daub, R. Johnson, H. Lindo, S. Loepp, and P. Woodard, Formal Fibers of Unique Factorization Domains, Canadian Journal of Mathematics, 62 (2010), 721-736.
A. Boocher, M. Daub, S. Loepp, Dimensions of Formal Fibers of Height one Prime Ideals, Communications in Algebra, (2010), no.1, 233-253.
N. Arnosti, R. Karpman, C. Leverson, J. Levinson, and S. Loepp, Semi-Local Formal Fibers of Minimal Prime Ideals of Excellent Reduced Local Rings, Journal of Commutative Algebra, to appear.
Advisor: Cesar Silva
Ergodic theory studies dynamical systems from a probabilistic or measurable point of view. A discrete-time dynamical system can be given by the iteration of a self-map defined on some measure space. An interesting class of examples is given by continuous maps defined on cantor spaces. A particular class of such maps is given by polynomial maps defined on compact and open subsets of the p-adic numbers. More generally, there are interesting classes of measurable maps on the unit interval. We will study properties such as ergodicity and mixing for these maps. We have the following possible projects.
1) Extend results on measurable sensitivity from previous SMALL groups:
James, Jennifer; Koberda, Thomas; Lindsey, Kathryn; Silva, Cesar E.; Speh, Peter Measurable sensitivity. Proc. Amer. Math. Soc. 136 (2008), no. 10, 3549–3559.
2) Mixing properties for rational functions on the p-adics. See previous SMALL results in http://www.ams.org/journals/tran/2009-361-01/S0002-9947-08-04686-2/home.html,
For an introduction to measurable p-adic dynamics see Measurable dynamics of simple p-adic polynomials, Amer. Math. Monthly, Vol. 112 (2005), no. 3, 212-232.”.
See also http://arxiv.org/abs/0909.4130.
3) Other mixing and rigidity properties for certain classes of transformations. See http://nyjm.albany.edu:8000/j/2009/15_393.html, http://journals.impan.pl/cgi-bin/doi?cm119-1-1, or http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=208351.
In terms of background, a first course in real analysis is expected, and preferably some work in measure theory and sufficient background to cover most of the following book during the first week or so of the program: http://www.ams.org/bookstore?fn=20&arg1=stmlseries&ikey=STML-42.
Advisor: Satyan L Devadoss
Origami and the folding and unfolding objects is an ancient area of art and study. In the past few years, however, it has become a hot area of mathematical research as well, with important applications to protein folding, collapsing super-telescopes, and DNA nanotechnology. This subject is also in its infancy, with numerous opens problems in several areas, where even simple definitions have not yet been standardized.
Underlying any origami folding is a skeletal structure of the object whose shape is a tree. Our project will focus on several geometric and topological problems motivated by origami seen through the lens of computational geometry and the spaces of trees. This is a purely mathematical program, so no experience with actual origami folding is necessary.
References: “Geometric Folding Algorithms” by E. Demaine and J. O’Rourke  “Discrete and Computational Geometry” by S. Devadoss and J. O’Rourke  “Origami Design Secrets” by R. Lang  Treemaker Algorithm at http://www.langorigami.com/science/treemaker
Advisor: Frank Morgan
(1) Perelman’s stunning proof of the million-dollar Poincaré Conjecture needed to consider not just manifolds but “manifolds with density” (like the density in physics you integrate to compute mass). Yet much of the basic geometry of such spaces remains unexplored. See references [1-6] below.
(2) In 1999 Hales [7, 6] proved that regular hexagons provide the least-perimeter way to partition the plane into equal areas. How does this change if there is a penalty for vertices? What is the best tiling by pentagons? A major difficulty is eliminating nonconvex pentagons. What about higher dimensions?
References Frank Morgan, Manifolds with density, Notices Amer. Math. Soc. 52 (2005), 853-858, http://www.ams.org/notices/200508/fea-morgan.pdf.  Ivan Corwin, Neil Hoffman, Stephanie Hurder, Vojislav Sesum, Ya Xu (2004 Geometry Group), Differential geometry of manifolds with density, Rose-Hulman Und. Math. J. 7 (1) (2006), http://www.rose-hulman.edu/mathjournal/v7n1.php.  Colin Carroll, Adam Jacob, Conor Quinn, Robin Walters (2006 Geometry Group), The isoperimetric problem on planes with density, Bull. Austral. Math. Soc. 78 (2008), 177-197.  Jonathan Dahlberg, Alexander Dubbs, Edward Newkirk, Hung Tran (2008 Geometry Group), Isoperimetric regions in the plane with density r^p, NY J. Math. 16 (2010), 31-51, http://nyjm.albany.edu/j/2010/16-4.html.  Alexander Díaz, Nate Harman, Sean Howe, David Thompson (2009 Geometry Group), Isoperimetric problems in sectors with density, preprint (2009), http://www.williams.edu/Mathematics/fmorgan/G09sub.pdf  Frank Morgan, Geometric Measure Theory, Academic Press, 4th ed., 2009, Chapt. 18 and 15.  Thomas C. Hales, The honeycomb conjecture, Discr. Comput. Geom. 25 (2001), 1-22, http://front.math.ucdavis.edu/math.MG/9906042
MULTI-DIMENSIONAL CONTINUED FRACTIONS
Advisor: Thomas Garrity
The Hermite Problem asks:
Find methods for expressing real and complex numbers that reflect special algebraic properties.
For example, writing a real number via decimal expansion will capture when the number is rational, since a number is rational if and only if its decimal expansion is eventually periodic.
Another example is continued fractions. Recall that if is a real number, then its continued fraction expansion is the given by
where the a1, , a2, …. are non-negative integers. Lagrange showed that a number is a quadratic irrational if and only if its continued fraction expansion is eventually periodic. There has been a wealth of work done on continued fractions, from number theory to numerical analysis.
The Hermite problem is thus after generalizations of continued fractions; such generalizations go by the name “multidimensional continued fractions”. Two such attempts that we will be building on can be found in the paper “On periodic sequences for algebraic numbers” in Journal of Number Theory (2001), vol. 88, pp. 86-103, in “A Two-Dimensional Minkowski ?(x) Function” in Journal of Number Theory (2004), vol. 107, pp. 105-134 and in “A Dual Approach to Triangle Sequences: A Multidimensional Continued Fraction Algorithm” in Integers, (2005), vol. 5.
Another direction to be explored is the link between statistical mechanics and multidimensional continued fractions. For more on this, see “A thermodynamic classification of real numbers” in Journal of Number Theory, (2010), vol. 130, pp. 1537-1559 or watch the youtube video http://www.youtube.com/watch?v=qnPF2QS4cRg
There is a lot of mathematics going in these questions, with links to many other areas of mathematics. I suspect that a lot of new mathematics will be discovered this summer.
NUMBER THEORY AND PROBABILITY
Advisor: Steven J. Miller
We will explore many of the interplays between number theory and probability, with projects drawn from L-functions, Random Matrix Theory, Additive Number Theory (such as the 3x+1 Problem and More Sum Than Difference sets) and Benfords law. A common theme in many of these systems is either a probabilistic model or heuristic. For example, Random Matrix Theory was developed to study the energy levels of heavy nuclei. While it is hard to analyze the behavior of a specific configuration, often it is easy to calculate an average over all configurations, and then appeal to a Central Limit Theorem type result to say that a generic systems behavior is close to this average. These techniques have been applied to many problems, ranging from the behavior of L-functions to the structure of networks to city transportation. For more on the connection between number theory and random matrix theory, see the survey article by Firk-Miller.
References: go to
Back Row: Tom Garrity, Lucas Manuelli, Alex Greaves-Tunnell, Geoffrey Iyer, Matt Stoffregen, Ping Ngai Chung.
Second Row: Luis Alfonso A Sordo Vieira, Andrej Risteski, Nicholas Neumann-Chun, Jared Hallett, Liyang Zhang.
Third Row: Miguel Fernandez, Krishna Dasaratha, Howard Cheng, Frank Morgan, Satyan Devadoss.
Fourth Row: Nirahlee Shah, Laure Flapan, Oleg Lazarev, Susan Loepp, Chansoo Lee, Feiqi Jiang, Steven Miller.
Fifth Row: Wei Sun, Brian Li, Nadine Amersi, Cornelia Mihaila, Elizabeth Ferme, Karen Shen, Thealexa Becker, Ryan Ronan.
Sixth Row: Jiji Ahn, Zana Chan, Ke Cai, Sarah Peluse, Olivia Beckwith, Cesar Silva.
Professor Loepp giving a colloqium talk.
Pizza lunch in the Science quad.
Having bubble fun in Williamstown.
Check out the SMALL 2011 photo album!