Applications open for Summer Hybrid Undergraduate Project 2021: A graphical calculator for Legendrian knots.
We invite Dartmouth undergraduate student applications for a Summer Hybrid Undergraduate Research (SHUR) project during the summer of 2021, at the Dartmouth College Mathematics Department, partially funded by the NSF and the Neukom Institute for Computational Science. Our group will pursue a research project in low-dimensional topology with a computer science component.
Our research group will investigate phenomena in the intersection between low-dimensional topology, the study of objects which are up-to-4–dimensional, and contact geometry, an active branch of mathematics that originated from Hamiltonian mechanics. In particular, we will be studying knots (strings that are tangled up) that satisfy certain natural contact geometric conditions. One avenue of studying such objects is by manipulating their planar diagrams, which, while having produced many fruitful results, is tedious and prone to mistakes when done by hand. Our research group will look into building a graphical user interface (GUI) to automate this process, and hopefully harness this power to produce further results. This research has entry points for students with many different backgrounds and skill sets, and it is super fun! We will also provide professional development opportunities, including discussions with mathematicians on research presentation and writing personal statements.
Students will receive a small stipend. The program starts on June 24 and ends on August 25.
Participants do not need to be on campus for this SHUR. However, in-person activities will also be available if some or all participants are on campus.
Application deadline: May 31, 2021. View full details and how to apply.
Students who are interested in independent research in any area are encouraged to contact a faculty member in that area. Read below for current research opportunities.
Advisor: Professor Rosa Orellana
I have a number of projects accessible to undergraduate students in Combinatorics, Algebra and Graph Theory. These projects can lead to a senior thesis for honors or high honors. The ideal student should have taken math 24 and preferably (although not required) Math 28, 31 (71), 38 and have some programming skills. For more details schedule an appointment.
Advisor: Professor John Voight
Classical unsolved problems often serve as the genesis for the formulation of a rich and unified mathematical fabric. Diophantus of Alexandria first sought solutions to algebraic equations in integers almost two thousand years ago. For instance, he stated that if a two numbers can be written as the sum of squares, then their product is also a sum of two squares: since $5=2^2+1^2$ and $13=3^2+2^2$, then also $13\cdot 5=65$ can be written as the sum of two squares, indeed $65=8^2+1^2$. Equations in which only integer solutions are sought are now called Diophantine equations in his honor.
Diophantine equations may seem perfectly innocuous, but in fact within them can be found the deep and wonderously complex universe of number theory. Pierre de Fermat, a seventeenth century French lawyer and mathematician, famously wrote in his copy of Diophantus’ treatise “Arithmetica” that “it is impossible to separate a power higher than two into two like powers”, i.e., if $n>2$ then the equation $x^n+y^n=z^n$ has no solution in integers $x,y,z\ge 1$; provocatively, that he had “discovered a truly marvelous proof of this, which this margin is too narrow to contain.” This deceptively simple mathematical statement known as “Fermat’s last ‘theorem’” remained without proof until the pioneering work of Andrew Wiles, who in 1995 (building on the work of many others) used the full machinery of modern algebra to exhibit a complete proof. Over 300 years, attempts to prove there are no solutions to this innocent equation gave birth to some of the great riches of modern number theory.
Even before the work of Wiles, mathematicians recognized that geometric properties often govern the behavior of arithmetic objects. For example, Diophantus may have asked if there is a cube which is one more than a square, i.e., is there a solution in integers x,y to the equation $E : x^3-y^2=1$? This equation describes a curve in the plane called an elliptic curve, and a property of elliptic curves known as modularity was the central point in Wiles’s proof. One sees visibly the solution $(x,y)=(1,0)$ to the equation—but are there any others? What happens if 1 is replaced by 2 or another number?
Computational tools provide a means to test conjectures and can sometimes furnish partial solutions; for example, one can check in a fraction of a second on a desktop computer that there is no integral point on E other than $(1,0)$ with the coordinates x,y at most a million. Although this experiment does not furnish a proof, it is strongly suggestive. (Indeed, one can prove there are no other solutions following an argument of Leonhard Euler.) At the same time, theoretical advances fuel dramatic improvements in computation, allowing us to probe further into the Diophantine realm.
My research falls into this area of computational arithmetic geometry: I am concerned with algorithmic aspects of the problem of finding rational and integral solutions to polynomial equations, and I investigate the arithmetic of moduli spaces and elliptic curves. My work blends number theory with the explicit methods in algebra, analysis, and geometry in the exciting context of modern computation. This research is primarily theoretical, but it has potential applications in the areas of cryptography and coding theory. The foundation of modern cryptography relies upon the apparent difficulty of certain computational problems in number theory, in particular, the factorization of integers (in RSA) or the discrete logarithm problem (in elliptic curve cryptography).
I have several problems in the area of computational and explicit methods in number theory suitable for experimentation and possible resolution by motivated students. These problems can be tailored to the student based on interests, background, and personality, so there is little need to present the details here; but they all will feature a explicit mathematical approach and, very likely, some computational aspects. Mathematical maturity and curiosity is essential; some background (at the level of MATH 71) is desirable.