# Topics In Mathematics Research Paper

### Good Topics for Mathematics Research Papers

A **mathematics research paper** is an extremely intricate task that requires immense concentration, planning and naturally clear basic knowledge of mathematics, but what is essential for a higher level research is the successful choice of a topic, matching your personal interests and level of competence.

You may be given a list of possible topics or to be allowed to choose yourself, but nevertheless consider your interest in the research field and if it is possible, try to choose a topic relevant to your previous and future research papers and tasks. In this case, you’ll be able to use your background knowledge acquired while writing one paper for your next projects. Try to search for something that will allow you not to fall out of the general research work and to have a basis for your current task.

To give a broad perspective of some mathematics research paper topics the custom essay writers of **P****rof****E****ssays.com** have sorted some areas of this subject and enlisted some popular topics pertaining to this.

### Quick Navigation through the Mathematics Research Paper Topics Page:

### Download Free Sample Pages of a Research Paper

#### Research paper topics pertaining to Algebra:

**1. ****Homology Theories **

Homologies are one of the basic notions of the algebraic topology. The homology theory provides a possibility to construct an algebraic object such as a group or a ring that is a topological variant of space. A closed line on a surface is homologous to nought, if a surface breaks up into parts while the scission of a surface. For example, on a sphere any closed line is as such, but on a torus, though there exist the closed lines that are homologous to nought, the section along a meridian or a parallel will not lead to the separation of a surface part.

The **topics** that deal with Homology Theories are the following:

- K – Theories
- Bordism and Cobordism Theories
- Basic group and Structure Operations

**2. ****Unary and Binary Operations **

#### Research paper topics pertaining to Geometry:

**1. ****Geometry – methodology, terminologies and types:**

Euclidean or elementary geometry is a geometric theory based on the system of axioms that was first stated by Euclid in the 3rd century BC. This is a geometry that is generally defined by a group of displacements and a group of similarities. But the content of the elementary geometry is not formed by the mentioned transformations, it includes also the inversion transformation, the problems of spherical geometry, the elements of geometric constructions, the theory of the measurement of geometric magnitudes etc.

Stereometry is a branch of geometry that deals with the solid figures in space. When the main figures in space there are a point, a line and a plane, in the stereometry there appears a new kind of the relationship of lines, that is the skew lines. This is one of the few considerable differences of stereometry from planimetry, as in many cases the stereometric problems are solved by the consideration of different planes where the planimetric laws are satisfied.

Computational Geometry is a branch of the discrete mathematics that deals with the algorithms for the solving of the geometric problems. It deals with such problems as triangulation, construction of a convex hull, the defining of the belonging of one object to another one, the search of their intersection etc. It operates with such geometric objects as a point, a segment, a polygon and a circle. The computational geometry is used in the image recognition, computer graphics, engineering design etc.

**2. ****Geometry algorithms **

#### Research paper topics on Calculus:

**1. ****Calculus theorems: **

**Foundation and history of Calculus**

Calculus is a branch of mathematics that deals with the research of functions and their generalization by the methods of the differential and integral calculus. Calculus has the resources for solving such problems for which only algebra is insufficient and has application in various spheres pf science. The history of calculus springs from the Ancient Greece, but many of the important ideas were developed in the 17th century, and the most prominent step in the development of calculus was made in the studies of Isaac Newton and Gottfried Leibniz who nowadays are considered to be the founders of calculus.

A vector space is a structure formed by vectors. Vectors may be added together and scaled by numbers (“scaled” vectors are called scalars). Vector spaces are used in mathematical analysis, generally as the infinite-dimensional spaces where vectors are functions, however, this still create a number of analytical problems. In addition, vector spaces are applied in various spheres of science and engineering.

Multivariate calculus is differentiated and integrated calculus involving multiple variables.

**2. ****Construction of real numbers **

The real numbers are constructed basing on the predetermined rational numbers. The rational numbers are taken as a basis, and the new objects are constructed, that are called the irrational numbers. As a result of their addition to the set of rational numbers, there is a set of real numbers.

#### How We Can Help

If you encounter problems in writing your paper, the **P****rof****E****ssays.com** custom writers would be glad to offer you their personalized support and expert writing services. The** P****rof****E****ssays.com** experts will guide you through gathering the information on your topic, using the most trusted web sources, and will help you with the development of your paper outline.

To write a research paper on Mathematics is not a problem for our writers. Our specialists write only original works, and the content that is sent to one customer is never re-used or published in the on-line, so you may be absolutely sure that your paper will pass plagiarism checkers. **P****rof****E****ssays.com** is known to provide the finest quality of writing services matching the standards of the best academic institutions across the world at the most reasonable rates. You are always welcome to order a Mathematics Research paper or any other written assignment in our company.

#### Research paper topics on Mathematical Logic:

**Boolean functions, theorems and technical application:**

Model theory is a branch of mathematical logics that deals with study of relations between the formal languages and their interpretations, or models. A model is a structure that gives meaning to the formal language sentences, and if it satisfies also a particular theory it is called a model of the theory. Model theory has strong relations with algebra.

Set theory is the branch of mathematics that deals with the general behavior of sets. The set theory lies in basis of the most of the mathematical disciplines, it has deeply influenced on the understanding of the subject of mathematics.

Recursion theory, also called computability theory, is a branch of mathematical logic that is in close relation with computer science and deals with the study of computable functions and Turing degrees, including also the study of generalized computability and definability.

Proof theory is a branch of mathematical logics where the phenomenon of mathematical proof becomes an object of algebra or arithmetic. The proof is usually presented as the structure of data, such as plain lists or trees, up to the hypothetic extremely complicated structures or machines which are constructed according to the axioms and rules of the logical systems. The proof theory can be viewed as a branch of philosophic logic where the main interest is in the proof-theoretic semantics.

#### Probability and Statistics Topics:

**1. ****Foundations of probability theory **

Probability theory is the branch of mathematics dealing with analysis of random variables, processes and events. The sequence of repeated random events may keep within certain statistical patterns, in such way becoming predictable. Probability theory is applicable to many activities for which it is essential to consider the results of quantitative analysis of large sets of data.

- The topics that deal with the probability theory are the following:

- Conditional probability
- Probability distribution function

**2. ****Statistical package comparison **

#### Research paper topics on Differential Equations:

**1. ****Ordinary differential equations **

Differential equation is an equation that connects the meaning of a certain unknown function in a certain points with the meaning of its various derivatives in the same point. A differential equation contains in its form an unknown function, its derivatives and independent variables, but not any equation that contains the derivatives of an unknown function is a differential equation. It is also worth noting that a differential equation may not contain an unknown function, some of its derivatives and free variables at all, but it must contain at least one variable.

The topics that deal with the differential equations are the following:

- Linear differential equations
- Rotating systems
- Differential equations in mathematics physics

**2. ****Usage of Differential equations **

#### Research Paper Topics on the Popular Theorems in Mathematics:

**1. ****Fundamental theorems of algebra, calculus, curves and projective geometry **

The topics that deal with the fundamental theorems are the following:

- Fishers Fundamental Theorem of Natural selection
- Fundamental Equations

**2. ****Fundamental Theorem of Poker. **

Fundamental theorem of poker is a principle explaining the nature of poker and its main regularity, basing on that the right decision in this game is the decision that has the largest expected value, so a player should act as if they see all the cards of their opponents.

#### Mathematics Research Paper Tips

However, to write a flawless research paper on any of the above mentioned topics a writer requires to:

1. Conduct an extensive research on the chosen topic.

2. Give a history and background regarding the development of the particular topic or theorem being discussed.

3. Break the topics into sub topics to simplify the explanation of the topic and to help the readers understand it better.

4. Clearly and comprehensively elucidate the conclusion of the theorem or topic that is being discussed.

#### Mathematics Research Paper Format (click the image to enlarge)

Generally, the paper format for the mathematics research papers is more flexible than for other scientific fields, so you have a possibility to develop the outline of your work in a way you need for your topic in general. However, there are several standard sections that must be included to ease the perception of your work: Background, Introduction, Body and Future Work or Conclusion, where you first give the description of the problem history, including its key notions, then present the specific results of your study and then providing the possible direction of the future research in your field.

#### Mathematics Research Paper Methodology

The methodology of mathematics in not a subject that is widely studied, but still there exist several issues that could help to develop the methodology of your own research. The first issue is the necessity to express complicated relations symbolically, which could help to master the notions that could hardly be expressed in words. The essential part of mathematics is abstraction that gives the possibility to codify out knowledge about several examples and thus to learn their common features. The same importance has the rigorous notion of proof which makes mathematics applicable and essential in physics, engineering, computer science etc. Considering these several key points of a research, each writer should himself define the own research strategy.

Note: **ProfEssays.com** is an outstanding custom writing company. We have **over 500 expert writers** with PhD and Masters level educations who are all ready to fulfill your writing needs, regardless of the academic level or research topic. Just imagine, you place the order before you go to sleep and in the morning an excellent, **100% unique essay**! or term paper, written in strict accordance with your instructions by a professional writer is already in your email box! We understand the pressure students are under to achieve high academic goals and we are ready help you because we love writing. By choosing us as your partner, you can achieve more academically and gain valuable time for your other interests. *Place your order now*!”

Looking for an exceptional company to do some custom writing for you? Look no further than ProfEssays.com! You simply place an order with the writing instructions you have been given, and before you know it, your essay or term paper, completely finished and unique, will be completed and sent back to you. At ProfEssays.com, we have over 500 highly educated, professional writers standing by waiting to help you with any writing needs you may have! We understand students have plenty on their plates, which is why we love to help them out. Let us do the work for you, so you have time to do what you want to do!

Some of our faculty have listed ideas for undergraduate research work. These ideas could also be used as the basis of a senior thesis to earn Latin Honors. These suggestions may spark some other idea that interests you. They also give you an idea about what areas interest some of our faculty.

Among the ideas posted here, some are harder and some easier. Some involve working on actual problems while others involve learning about a problem and why it's important or interesting. In some cases, there may be an easier version (special cases) of a problem that is more accessible. If one of the areas sounds interesting to you, contact the faculty member to discuss the topic and your background in more depth.

You can also feel free to contact other faculty, or to propose other ideas with individual faculty members. You might suggest ideas for projects that are based on your own reading, coursework, or perhaps on earlier work you've done (for example, in a summer REU). This list is not meant to be limiting in relation to topics or faculty member.

You can also contact Dr. Blake Thornton for suggestions about faculty to talk with.

### Professor Renato Feres (Geometry)

Some of following problems are meant to introduce you to advanced but well-established topics in graduate level math, others are much more open ended and may lead to original results. Some are more "theoretical" while others invite you to do some computer exploration. A few are probably pie-in-the-sky problems that, to me at least, are amusing to contemplate. Whatever the case, I'd be happy to discuss any of them with you and suggest reading material for anything in this list that strikes your fancy.

1) **The kinematics of rolling**. (Riemannian geometry/Non-holonomic mechanical systems)

On a smooth stone, draw a curve beginning at a point *p*, and hold the stone over a flat table with *p* as the point of contact. Now roll the stone over the plane of the table so that at all times the point of contact lies on the curve, being careful not to allow the stone to slip or twist. We may equally well think that we are rolling the plane of the table over the surface of the stone along the given curve. Mechanical systems with this type of motion are said to have "non-holonomic" constraints, and are common fare in mechanics textbooks.

Now imagine a tangent vector to the plane at p. This rolling of the plane over the surface provides a way to transport v along the curve, keeping it tangent at all times. The resulting vector field over the curve is said to be a "parallel" vector field. Show that there is a unique way to carry out this parallel translation. (Find a differential equation that describes the parallel vector field and use some appropriate existence and uniqueness theorem.) Let c be a short path joining *p* and *q*, whose velocity vector field is parallel. Show that c is the shortest path contained in the surface that joins *p* and *q*.

Whether or not you fully succeed, this mechanical idea will give you a concrete way of thinking about ideas in differential geometry that might seem a bit abstract at first, such as Levi-Civita connection, parallel translation, geodesics, etc. Also look for an engineering text on Robotic manipulators and explain why such non-holonomic mechanical systems are important in that area of engineering.

I don't know of many places where these things are explained in a simple way. Perhaps *Geometric Control Theory* by Velimir Jurdjevic is a place to start. In the engineering literature, *A Mathematical Introduction to Robotic Manipulation* is a particularly good reference.

2) **Geometry in very high dimensions**. (Convex geometry)

Geometry in very high dimensions is full of surprises. Consider the following easy exercise as a warm-up. Let *B(n,r)* represent the ball of radius *r*, centered at the origin, in Euclidian *n*-space. Show that for arbitrarily small positive numbers *a* and *b*, there is a big enough *N *such that (100 - *a*)% of the volume of *B(n,r)* is contained in the shell *B(n,r)* - *B(n,r - b)* for all *n* > *N*.

Here is a much more surprising fact that you might like to think about. Let *S(n-1)* denote the sphere of radius 1 in dimension *n*. (It is the boundary of *B(n,1 )*.) Let f be a continuous function from *S(n-1)* into the real line that does not increase distances, that is, | *f(p) - f(q)* | is not bigger than | *p* - *q* | for any two points *p* and *q* on the sphere. ( *f* is said to be a "1-Lipschitz" function.) Then there exists a number *M* such that, for all positive a, no matter how small, the set of points *p* in *S(n-1)* such that | *f(p) - M* |>*a* has volume smaller than exp(-*na*^2 / 2 ). In words, this means that, taking away a set with very small volume (if the dimension is very large), f is very nearly a constant function, equal to *M*.

This is much more than a geometric curiosity. In fact, such concentration of volume phenomenon is at the heart of statistics, for example. To make the point, consider the following. Let *S*(*n*-1, *n*^0.5) be the sphere in *n*-space whose radius is the square root of *n*. Let *f* denote the orthogonal projection from the sphere to one of the *n* coordinate directions, which we agree to call the *x*-direction. Show that the part of the sphere that projects to an interval *a* < *x* < *b* has volume very nearly (when *n* is big) equal to the integral from *a* to *b* of the standard normal distribution. (This is easy to show if you use the central limit theorem).

For a nice introduction to this whole subject, see the article by Keith M. Ball in the volume *Flavors of Geometry*, Cambridge University Press, Ed.: S. Levy, 1997.

3) **Hodge theory and Electromagnetism**. (Algebraic topology/Physics)

Electromagnetic theory since the time of Maxwell has been an important source of new mathematics. This is particularly true for topology, specially for what is called "algebraic topology". One fundamental topic in algebraic topology with strong ties to electromagnetism is the so called "Hodge-de Rham theory". Although in its general form this is a difficult and technical topic, it is possible to go a long way into the subject with only Math 233. The article "Vector Calculus and the Topology of Domains in 3-Space", by Cantarella, DeTurck and Gluck (The American Mathematical Monthly, V. 109, N. 5, 409-442) is the ideal reference for a project in this area. (It has as well some inspiring pictures.)

Another direction to explore is the theory of direct current electric circuits (remember Kirkhoff's laws?). In fact, an electric circuit may be regarded as electric and magnetic field over a region in 3-space that is very nearly one dimensional, typically with very complicated topology (a graph). Solving circuit problems implicitly involve the kind of algebraic topology related to Hodge theory. (Hermann Weyl may have been the first to look into electric circuits from this point of view.) The simplification here is that the mathematics involved reduces to finite dimensional linear algebra. A nice reference for this is appendix B of *The Geometry of Physics* (T. Frankel), as well as *A Course in Mathematics for Studentsof Physics* vol. 2, by Bamberg and Sternberg.

4) **Symmetries of differential equations**. (Lie groups, Lie algebras/Differential equations)

Most of the time spent in courses on ODEs, like Math 217, is devoted to linear differential equations, although a few examples of non-linear equations are also mentioned, only to be quickly dismissed as odd cases that cannot be approached by any general method for finding solutions. (One good and important example is the Riccati equation.) It turns out that there is a powerful general method to analyze nonlinear equations that sometimes allows you to obtain explicit solutions. The method is based on looking first for all the (infinitesimal) symmetries of the differential equation. (A symmetry of a differential equation is a transformation that sends solutions to solutions. An infinitesimal symmetry is a vector field that generates a flow of symmetries.) The key point is that finding infinitesimal symmetries amounts to solving linear differential equations and may be a much easier problem than to solve the equation we started with.

Use this idea to solve the Riccati equation. Choose your favorite non-linear differential equation and study its algebra of infinitesimal symmetries (a Lie algebra). What kind of information do they provide about the solutions of the equation? Since my description here is hopelessly vague, you might like to browse *Symmetry Methods for Differential Equations - A Beginner's Guide* by Peter Hydon, Cambridge University Press. It will give you a good idea of what this is all about.

5) **Riemann surfaces and optical metric**. (Riemannian geometry/Optics)

Light propagates in a transparent medium with velocity c/n, where c is a constant and n is the so called "refractive index" -- a quantity that can vary from point to point depending on the electric and magnetic properties of the medium. For a given curve in space, the time an imaginary particle would take to traverse its length, having at each point the same speed light would have there, is called the "optical length" of the curve. Therefore, the optical length is the line integral of *n/c* along the curve with respect to the arc-length parameter. According to Fermat's principle, the actual path taken by a light ray in space locally minimizes the "optical length". It is possible to use the optical length (for some given function n) to defined a new geometry whose geodesic curves are the paths taken by light rays. This is a particular type of Riemannian geometry, called "conformally" Euclidian. All this also makes sense in dimension 2.

One of the most famous paintings of Escher show a disc filled with little angels and demons crowding towards the boundary circle. What refractive index would produce the metric distortions shown in that picture?

A fundamental result about the geometry of surfaces states that, no matter what shape they have, you can always find a coordinate system in a neighborhood of any point that makes the surface conformally Euclidian. Why is this so? (This will require that you learn something about so called "isothermal coordinates".)

6) **Random walks and diffusion limits (I)**. (Probability theory/Elementary Geometry)

Imagine a long and narrow cylinder of radius r and a point particle that moves in the region bounded by the cylinder. The motion is specified as follows: starting at a point on the inner wall of the cylinder, choose at random a direction and let the particle move with constant speeduntil it hits another point of the cylinder. Once there, choose a new direction at random and repeat the process. A natural scheme (for reasons I won't describe here) is to pick the random direction with probability proportional to the cosine of the angle it makes with the (inward pointing) normal vector. The problem is to determine the probability that the particle will be given distance away from the initial point at a given time in the future. It is actually hard to find such a probability explicitly, but if the cylinder is very narrow and the particle moves very fast (with speed proportional to the reciprocal of the radius) you can use the central limit theorem to obtain an explicit (Gaussian) approximation. What is the variance of the resulting normal law? How does the variance change if the cross section of the tube is, say a square, instead of a circle?

7) **Random walks and diffusion limits (II)**. (Probability theory)

We can, of course, consider a two dimensional variant of the previous problem, in which the cylinder consists of two infinite parallel lines and the particle velocity after collision is chosen according to the same cosine law. However, after some thought you will realize that the hypothesis of the central limit theorem fail (barely!) to hold. Nevertheless, we can still ask what kind of limit process this random walk leads to. (Some key words: stable distributions, Levy processes.)

8) **Random Billiards**. (Billiard systems/Probability theory)

You may have heard a lot about the mathematical theory of chaos. It is part of the general subject of Dynamical Systems. In the tool box of the practitioners of this subject is a kind of toy system that is used to explore and illustrate almost any conceivable dynamical behavior (including chaos), called "billiard systems". It is just what you might expect: a billiard table and a point mass that moves about and bounces off the sides according to the law of mirror reflection. But the table is allowed any shape you want.

The problem I would like to propose is actually related to 6) and 7). Take the setting of RW2, except that the two parallel lines, when examined with strong lenses, reveal a periodic structure. More precisely, replace those lines with the graphs of, say, *C* sin(*x* / *C*) and 1+ *C* sin(*x* / *C*), where *C* is very small. Intuitively, as *C* approaches 0, the (deterministic) billiard system should behave more and more like the probabilistic system of 7). How can this intuition be made precise? What kind of scattering probability results after passing to the limit? What does the cosine law of 6) and 7), in particular, have to do with all this?

9) **Existence of surfaces**. (Computer Science/Differential Geometry)

You've probably heard of cellular =automata. The most celebrated example among them is John Conway's "game of life". They are, in general, a sort of beads game played over an infinite lattice (grid), which in our case will have dimension 3. At each moment, a lattice point may be empty or occupied by a bead of one among a number of colors. At the next moment, the state of that lattice point is renewed according to some function of the state of the nearest neighbor points. This function specifies the rules of the game.

Our problem is to find rules that will cause the beads to organize themselves into "surfaces". (Suggestion: try to find rules that imitate the behavior of amphiphilic molecules, likethe lipid bilayers that make up biological membranes. These molecules have one end that "likes" water and another that "hates" it.) If such surfaces can be obtained, is it possible to control how "crumpled" or "smooth" they are? or to control their curvature? Is it possible to make sense of notions such as differentiability and curvature in this discrete setting? (This would require the passage to some appropriate scaling limit.)

10) **Chemical varieties**. (Algebraic geometry/Chemical kinetics)

Algebraic geometry studies the geometry of sets of solutions of systems of polynomial equations (typically over the field of complex numbers) and how that geometry relates to the algebra of all polynomials that vanish on the set.

It is not difficult to show that to every system of chemical reactions with specified reaction speeds is associated a system of nonlinear first order differential equations describing how reactant concentrations change in time. These differential equations are of a very special kind: on the left-hand side is the first derivative of each reactant concentration (in moles) and on the right a polynomial function of the concentrations, whose coefficients are the stoechiometric constants. (Incidentally, the whole business of stoechiometry and its linear algebra underpinnings is in itself a great subject for a project.)

The set of zeros of the polynomial equation are equilibrium concentrations for the chemical reactions. Call the set of complex solutions of the polynomial equations the "Chemical Variety" of the system of reactions. These should be very special algebraic varieties. (They are typically of degree 2, for example, for any reasonable reaction mechanism.) Choose your favorite reaction mechanism and describe, in as much detail as you can, the geometric properties of the associated chemical variety. Are there interesting special properties shared by all chemical varieties?

### Professor Matt Kerr (Algebraic Geometry)

1) **Webs and polylogarithms**

The theory of webs was initiated by Blaschke and Bol in the 1930s. In its most basic form, it looks at the local analytic behavior of n intersecting foliations of complex 2-space by families of curves. For instance, you might fix three points and draw all the lines through each of them, or fix an algebraic curve and draw all the tangents to it. Then you look at the resulting configuration far from the curve or triple of points. Web geometry turns out to have numerous applications to differential equations, algebraic geometry and even physics.

Around the turn of the millenium, a group of French mathematicians made the very exciting discovery that so-called exceptional webs were intimately related to functional equations of polylogarithms. These are the functions you get by replacing the "k" in the denominator of the power-series expansion for the logarithm, by some power of k. Recent developments in algebraic K-theory have turned them from a curiosity into a major industry. (Capitalizing the k made it look more important.) One thing that, with some help, an undergraduate student might be able to do, is come up with a more algebro-geometric description of the (exceptional) Bol 5-web than I have seen in the literature.

There are related functions called Grassmanian polylogarithms, invented by A. Goncharov, which enjoy relatively simple functional equations. To try to relate these to webs, or to find a new (more geometric) approach to their functional equation, would also be interesting and potentially do-able.

2) **Orbifold singularities**

One of the great collaborative success stories of the past two decades has been that between complex algebraic geometers and string theorists in the mirror symmetry program. The quest to produce Calabi-Yau 3-manifolds (three complex dimensions!) required mathematicians and physicists to confront the kinds of singularities -- local failure of manifold structure -- that arise from quotienting complex 3-space by a finite group action. Moreover, they had to figure out how to resolve them -- the higher-dimensional analogue of lifting an (actual) string off

itself.

While this story has only recently been thoroughly understood, it would be well within the powers of an interested undergraduate student to provide a down-to-earth account with basic examples. This is something I have not seen in the literature, and shouldn't be thought of as an expository project -- it would require some original thought. It would also acquaint you with toric geometry, an extremely useful tool which gives a dictionary between algebro-geometric concepts and the geometry of convex bodies (like polygons and polytopes) considered relative to a lattice. In working out examples, the latter boils down to some surprisingly entertaining 3-dimensional linear algebra which ultimately tells you how to draw a triangulation.

Mirror symmetry comes into this story in a number of ways. In one version, the resolutions of singularities you will construct are "mirror" to certain families of Riemann surfaces. An ambitious student might want to investigate this too.

3) **Abel's theorem for amoebas ** (I will also accept non-amoebas as students on this project.)

The classical theorems of Abel and Jacobi describe the divisors (configurations of zeroes and poles with multiplicity) of meromorphic functions on compact Riemann surfaces. Attempts to generalize these results to noncompact or singular settings, as well as to higher dimension, have motivated a lot of modern algebraic and differential geometry -- like the Bloch-Beilinson and Hodge conjectures and the theory of webs. I don't know of a good write-up of the one-dimensional generalizations, and you could already learn a lot by trying to trying to understand the situation for unions of lines, or for multiply connected regions.

In algebraic geometry, roughly speaking, we study solution sets of algebraic equations. Replace everywhere multiplication by addition and addition by "taking the maximum," and you have an exciting new theory called tropical geometry -- which even has its own version of Abel's theorem! Amoebas are objects which provide a connection (via a limiting process) between algebraic curves and tropical curves, and it would be extremely interesting (though not necessary for an interesting project) to devise a connection whereby one Abel's theorem becomes the limit of another.

For this project, all I really ask is that a student be familiar with basic complex analysis. It would also be useful to know what a Riemann surface is, but this could be dealt with in summer reading.

4) **Expository projects**

I would be happy to direct a reading course and subsequent write-up as well, on any of the following topics (or on appropriate student-proposed topics):

- modular forms and elliptic curves
- representation theory: finite groups, Young tableaux, and crystallography; or Lie groups and Lie algebras (for a more ambitious project)
- algebraic number theory: Galois groups of number fields, class fields, easy cases of Fermat's last theorem; irrationality and transcendence

### Professor Greg Knese (Analysis)

1) **Failure of von Neumann's inequality.**

Von Neumann proved that if A is a contractive matrix (has operator norm <= 1) and p(z) is a complex polynomial, then p(A) has operator norm bounded by the supremum of p on the unit circle. A two variable version of this result is true (Andô's inequality) but the three variable version is false. Counterexamples can be shown to exist either through probabilistic arguments (i.e. a random polynomial will fail the inequality) and there are also a few examples constructed through ad hoc methods. This project would involve trying to construct more interesting families of counterexamples to the three variable von Neumann inequality in order to understand "how badly" the inequality fails.

2) **Multilinear Bohnenblust-Hille inequality**

This is a different kind of inequality for polynomials. Multilinear polynomials satisfy an inequality bounding certain little l^p norms of their coefficients by the supremum norm of the polynomial. This project would also involve looking for interesting examples to test the sharpness of known versions of this inequality.

3) **Reading projects**

I would be happy to supervise reading projects on other topics: topics in stable polynomials such as the Branden-Borcea theorems, Gurvits proof of the van der Waerden conjecture, or the solution of the Kadison-Singer problem; Grothendieck's inequality, or Khintchine inequalities.

### Professor Steve Krantz (Analysis, Complex Variables, Geometry)

1) It is known that, given any closed planar curve, there are four points on that curve which are the corners of a rectangle. It is an open problem whether there will be four points that are the corners of a square.

2) Let *U* be a planar region, and let *G* be the group of rigid motions of the plane that map *U* to itself. We call *G* the "automorphism group" of *U* , and we denote it by Aut( *U *). Now suppose that *U' * is a small perturbation of *U* . How is Aut( *U*' ), as a group, related to Aut( *U* ) ? How does the answer change as *U*' deviates farther and farther from *U* ?

3) (*Refer to (2) for terminology*.) Let *G* be any finite group. Is there a planar domain *U *such that Aut( *U *) = *G* ? Can we relate the topology of *U* to the structure of the group? What if we allow *U* to live in a higher dimensional space? Does that allow more groups *G *to give an affirmative answer? Given a group *G*, can we estimate the dimension of the space in which a domain *U* will live that has the desired property?

4) (*Refer to (2) for terminology*.) It is an intuitively obvious assertion that, of all planar domains, the disc has the "largest" automorphism group. Formulate a precise version of this statement and prove it. Given any group *G* that is the automorphism group of some planar domain, can we find a particular planar domain *U *that is as close to the disc as we please and so that Aut( *U *) = *G* ?

5) Consider the space *C*^\infty of infinitely differentiable functions and the space *C*^\omega of real analytic functions (i.e., functions with convergent power series expansions). Of course *C*^\omega is a subset of *C*^\infty. Is there a range of function spaces, perhaps a range that is parametrized, that spans the gamut between *C*^\omega to *C*^\infty ? (*This problem is important for the theory of partial differential equations*.)

6) Let *U* be a convex planar domain. Call a point *p* in *U *an equichordal point if all chords of *U * that pass through *p* have the same length. It is known that a convex planar *U* can have at most one equichordal point. But the proof is very abstract and extremely difficult. Problem 1: find an elementary proof. Problem 2: What is true in dimension three? Problem 3: What is true for non-convex domains?

### Professor Todd Kuffner (Statistics)

1) **The Berry-Esseen Theorem**. It is still of current interest to determine the maximal error of the asymptotic normal approximation to the scaled sample mean as specified by a central limit theorem. Recent results related to the bound in the Berry-Esseen theorem, for summands of both i.i.d. and non-identically distributed observations, are to due Shevtsova (2010, 2011). This project would involve studying the methods used to obtain such bounds and investigating the accuracy using simulated data.

2) ** Post-Selection Inference for Linear Regression**. Inferential correctness for testing hypotheses about regression coefficients after a variable selection procedure has been utilized requires a careful evaluation of the effects of the selection procedure on the final inference. This project involves studying, in real-data examples, how classical inference procedures are invalidated by the use of selection procedures. The performance of inference procedures designed to control, respectively, selective type I error and familywise error rates (FWER) will be compared in theory and practice.

3) ** Inference in Curved Exponential Families**. Inference in curved exponential families, following a principled approach, requires construction of exact or approximate ancillary statistics. Examples include the gamma hyperbola model, the bivariate normal correlation model, and ARMA(p,q) models used in time series analysis. This project involves motivating a principled, accurate approach to inference in such models, and real-data comparisons with conventional inference procedures which do not respect such statistical principles.

4) **The double bootstrap and the warp-speed double bootstrap**. The double bootstrap was proposed as a technique to improve the coverage accuracy of confidence intervals constructed via conventional single-bootstrap methods. The warp-speed double-bootstrap attempts to achieve this using a single double-bootstrap sample for each bootstrap sample, drastically reducing the computational costs. Recent results of Chang and Hall (2015) show that, unfortunately, warp-speed double-bootstrap confidence intervals do not in general share the same coverage accuracy properties as intervals constructed by the conventional double bootstrap. This project investigates the source of this discrepancy using large-scale simulations in different model settings of practical interest.

### Professor Mohan Kumar (Algebra)

1) If a1,a2,...an are integers with gcd = 1, then the Eulidean algorithm implies that there exists a (n x n)-matrix A with integer entries, with first row = (a1,a2,...,an), and such that det(A) = 1. A similar question was raised by J.P. Serre for polynomial rings over a field, with the a's being polynomials in several variables. This fundamental question generated an enormous amount of mathematics (giving birth to some new fields) and was finally settled almost simultaneously by D. Quillen and A. A. Suslin, independently. Now, there are fairly elementary proofs of this which require only some knowledge of polynomials and a good background in linear algebra. This could be an excellent project for someone who wants to learn some important and interesting mathematics. (*These results seem to be of great interest to people working in control theory. Though I am not an expert, I'm willing to learn with a motivated student.)*

2) A basic question in number theory and theoretical computer science is to find a "nice" algorithm to decide whether a given number is prime or not. This has important applications in secure transmissions over the internet and techniques like RSA cryptosystems. Of course, the ancient method of Eratosthenes (sieve method) is one such algorithm, albeit a very inefficient one. All the methods availabe so far has been known to take exponential time. There are probabilistic methods to determine whether a number is prime, which take only polynomial time. The drawback is that there is a small chance of error in these methods. So, computer scientists have been trying for the last decade to find a deterministic algorithm which works in polynomial time. Recently, this has been achieved by three scientists from IIT, Kanpur, India. A copy of their article can be downloaded from *www.cse.iitk.ac.in* A nice project would be to understand their arguments (which are very elementary and uses only a little bit of algebra and number theory) and maybe to do a project on the history of the problem and its ramifications.

### Professor Nan Lin (Statistics)

1)** DNA methylation **DNA methylation in vertebrates typically occurs at CpG sites and results in the conversion of the cytosine to 5-methylcytosine. Human DNA has about 80%-90% of CpG sites methylated. Methylation is important to embryonic development and cancer. With the current next-generation sequencing (NGS) technology, people identify regions with different methylation levels under different disease status to understand the mechanism of cancer and other disorders. NGS data from methylation experiments process complicated strictures and impose challenges to statisticians. We are developing statistical tools for the

analysis of NGS data from such experiments.

2)** Statistical analysis for anesthesiology data** Anesthesiology is a very important part of surgery and many other medical practice. Anesthesiologists are still in debate about proper ways to monitor patients' anesthetic status. A recent publication on the New England Journal of Medicine (vol 365, pages 591-600) suggest that a device approved by the Food and Drug Administration (FDA) to reduce the risk that patients will recall their surgery does not lower the risk of the problem, known as intraoperative awareness, any more than a less expensive method. Statistical analysis will help to find better ways of anesthetic practice.

3)** Statistical analysis for spatial cognition** It is intriguing to understand how people construct the memorized maps after seeing a real map. Statistical tools are crucial to understanding the transformation from the reality to the map in people's memory. We are developing statistical models to tackle these issues.

### Professor John McCarthy (Analysis)

1) **Fluid Dynamics** Consider a cylindrical tube, open at one end. At the closed end, a small quantity of gas is injected. It diffuses out the other end at a predictable rate. Now, suppose the quantity of gas injected is increased. The flow will not scale linearly, as the effect of the pressure of the introduced gas must be considered. I have a project with Professor Gregory Yablonksky in the Chemical Engineering department to model this flow.

2) **Linear Matrix Inequalities** A computer vision problem posed by Professor Robert Pless in the Computer Science Department. Imagine a large number of cameras arranged around a central object. One wants to match up the pictures, but there is some error in the measurement. Mathematically, the problem becomes approximating a large symmetric matrix by a rank 3 matrix that has 1's on the diagonal. It ties in to an active research area in systems theory: solving a linear matrix inequality with a rank constraint. Nobody knows how to do this well.

3) **Applied Statistics/Public Health** The "French paradox" is the claim that, despite having a high fat diet, French people have a low rate of heart disease. I believe this is a statistical artifact, due principally to cultural differences in filling out death certificates. I would be willing to supervise an undergraduate who wished to hunt down the data and analyze it.

4) **Galapagos Tortoises** My friend Stephen Blake has collected movement data on Galapagos Tortoises for two years. The data is available at www.movebank.org. We would like to understand more about the tortoises's movement, for example what makes them migrate, how are they influenced by climate changes, why smaller tortoises don't migrate, how they choose routes, etc. For more information about the tortoises, see Anne the Tortoise

### Professor John Shareshian (Algebra, topological combinatorics)

1) **Computation in topological combinatorics** Topological combinatorics includes the study of simplicial complexes (that is, geometric objects built from possibly higher dimensional analogues of the unit interval, the equilateral triangle and the equilateral tetrahedron) whose faces are indexed by combinatorial objects such as graphs. The Homology program of J.-G. Dumas, F. Heckenbach, D. Saunders and V. Welker has been used to investigate the structure of such complexes. There are many adjustments and additions which could be made to improve the program, the most ambitious of which is to make it amenable to parallel processing.

2) **Order complexes of subgroup lattices** The set of subgroups of a group G is partially ordered by inclusion. There are interesting open questions and proven theorems about relating the algebraic structure of G to the combinatorial structure of this partially ordered set. For any partially ordered set P, the set of all totally ordered subsets of P determines a simplicial complex. The topological structure of this complex is related to the combinatorial structure of P. One can hope to use this relationship productively when P is the set of subgroups of G. This area is appropriate for both reseach and expository projects.

3) **Symmetric functions** A symmetric function is a power series of bounded degree in infinitely many variables which is not changed by any permutation of the variables. Symmetric functions appear in many areas of mathematics, including combinatorics and representation theory (which involves studying a group G by understanding homomorphisms from G to various matrix groups). There are lots of interesting open combinatorial problems involving symmetric functions (many appear in the exercises after Chapter 7 of R. P. Stanley's book, Enumerative Combinatorics, Volume 2). This area is also appropriate for expository projects.

### Professor Edward Spitznagel (Statistics)

1) Learn about **propensity analysis** as a means of establishing causality and write your thesis using real data (which I can supply).

2) Learn about **zero-inflated and double-hurdle models**, and apply them to real data. (Both deal with the idea that certain variables predict whether a response is necessarily zero, and if the response is not necessarily zero, then other variables might predict its value.) A student worked on this last year, but you can extend what he did.

3) Learn about **interval-censored models**. The classic example is electro- convulsive therapy for depression. The machine typically has about five fixed charge levels (in Coulombs), and the charge is stepped up until the patient has a seizure. We thus know coarse lower and upper bounds on the seizure threshold, and the task is to estimate the exact seizure threshold.

4) Learn about **GIS** and write an application that maps pollution, river flows, drought, etc. SAS has a GIS application, but we also have special-purpose software on the public machines in Eads.

5) Learn about **analysis of complex survey data** (stratification, clusters, and weight) and analyze a real data set. Most large public-access data sets have this complex structure. This was covered in a course - Math 438 I think - but that was so long ago it's not listed in the catalog. There are, in fact, two forms of complex data, the "classic" form in which each stratum has exactly two clusters, and the "certainty PSU" form.

6) Learn about **census data**, and how census info can be merged by tract with special-purpose data. I have a friend who has some pathological gambling data, who has extracted most of the obvious results from her data, but might be looking for help in digging out some remaining gems.

7) Learn about the **relationship between the jackknife and the bootstrap**, and be able to illustrate what Bradley Efron meant when he said: "What actually happened was that Rupert Miller in our department was working on the jackknife. He had written a paper called the "Trustworthy Jackknife" in which he tried to figure out when the jackknife method gave dependable variance estimates. The Jackknife was considered very mysterious. It worked, but nobody could figure out why it worked. And sometimes it didn't work. What I thought was that the jackknife must be a differential, local kind of approximation for something else. And so when I started looking for the something else I came up with the bootstrap."

### Professor Xiang Tang (Geometry)

1) **Geometry of singular spaces**. In calculus, we learn that there are curves that do not have tangent lines. Such curves are usually called singular curves. In this project, we will study geometry of singular spaces which are generalizations of singular curves. One class of such singular spaces that are interesting to us is called orbifold. It is an important object in both mathematics and physics. We will mainly focus on orbifolds and compute some useful invariants about them.

2) **Noncommutative torus and quantization**. In mathematics, the shape of a donut is called torus. Noncommutative torus is the quantization of the usual torus, and appears naturally in both mathematics and physics. We will study some interesting applications of noncommutative tori in physics.

3) **Can you comb the hair on a coconut?** The answer is ``no". There is an interesting mathematics theory related to this answer, which is called index theory. We will apply index theory to study some interesting properties on geometric spaces.

### Professor Victor Wickerhauser (Applied and Computational Mathematics, Wavelets)

1) Read Daubechies and Sweldens "Factoring Wavelet Transforms into Lifting Steps," (J. Fourier Anal. Appl. 4:3(1998),245-267). Then implement the Euclidean algorithm for Laurent polynomials described in the paper. (*Thus, you will use ideas in abstract algebra and Fourier analysis to write an efficient computer program that is part of the JPEG-2000 image compression algorithm.*)

2) Read chapter 3 (pp. 67-101) of my book "Adapted Wavelet Analysis," and also Strang, "The Discrete Cosine Transform" (SIAM Review 41:1(1999),135-147). Synthesize a proof that the discrete Hartley transform is orthogonal. (*Thus, you will see how the Sturm-Liouville theorem from differential equations can save many tedious computations in the verification that a basis, such as one used in the JPEG (1990) image compression algorithm, is orthonormal*.)

## 0 Replies to “Topics In Mathematics Research Paper”