Fiedler Vector for G_n with n = 6, a = 1, b = 2, c = 3

Polymath Project: The Hot Spots Conjecture for Acute Triangles

This page is to serve as a proposal/introduction for a polymath project to prove the Hot Spots Conjecture for Acute Triangles. An introduction to the polymath project and details on other polymath projects can be found here: http://polymathprojects.org/about/.

A more mathematically complete write up for this project (along with references) can be found HERE

The Conjecture

The hotspots conjecture can be expressed in simple English as:
Suppose a flat piece of metal, represented by a two-dimensional bounded connected domain, is given an initial heat distribution which then flows throughout the metal. Assuming the metal is insulated (i.e. no heat escapes from the piece of metal), then given enough time, the hottest point on the metal will lie on its boundary.
In mathematical terms, we consider a two-dimensional bounded connected domain D and let u(x,t) (the heat at point x at time t) satisfy the heat equation with Neumann boundary conditions. We then conjecture that
For sufficiently large t > 0, u(x,t) achieves its maximum on the boundary of D
This conjecture has been proven for some domains and proven to be false for others. In particular it has been proven to be true for obtuse and right triangles, but the case of an acute triangle remains open. I therefore propose that we prove the Hot Spots conjecture for acute triangles!

A Strategy: Approximate by Simpler Models

Consider an acute triangle with angles α < β < γ

An acute triangle

It seems natural that heat would get "stuck in the corners" and in particular the corners with sharpest angle and so we conjecture that

For sufficiently large t > 0, the hottest and coldest points of u(x,t) are at the corners corresponding to the angles α and β.
To test this conjecture we consider a simpler model of heat flow: We divide our triangle into four sub-triangles and posit that each of these sub-triangles be at a uniform temperature. That is, while the temperature of each of these four triangles will change over time, we make the assumption that the temperature is constant within each sub-triangle.

Division into sub-triangles

We model the heat flow in this simpler model by Newton's Law of Cooling: We assume that heat transfer only occurs between two adjacent triangles and is proportional to the difference in their temperatures and their edge-length of contact (which we denote by a < b < c). Mathematically this is equivalent to the heat flow on the graph, which we call G_1:

The Graph G_1

The heat flow in this simpler model is nothing more than a system of four ODE (for u_i(t), the temperature at the i-th vertex at time t) and so is much easier to understand. The conjecture for this simpler model is then:

For sufficiently large t > 0, the hottest and coldest points on the graph are at the verticies 1 and 3.
Examining this problem further (see HERE for the full details), it is easy to see that this is really a conjecture on the Fiedler vector (the eigenvector corresponding to the second eigenvalue of the graph Laplacian) of this graph. As the graph Laplacian for G_1 is a 4X4 matrix, its eigenvectors are relatively tractable. And so proving the conjecture for G_1 should be doable.

Better Models

Suppose we further sub-divide our triangles to get a closer approximation to the true heat flow. We divide each of our sub-triangles into four further sub-triangles:

Division into further sub-triangles

(Here the side lengths should be a/2, b/2, and c/2... but we can ignore these extra factors of two since they won't affect the structure of the heat flow). We now consider the heat flow among these 16 triangles which is equivalent to the heat flow on the graph G_2:

The Graph G_2

The heat flow on G_2 is modeled by a system of 16 ODE and our conjecture is that eventually the hottest and coldest points lie at the verticies 1 and 7 -- equivalently, the extreme points of the Fiedler vector for this graph are at the verticies 1 and 7.

We now continue to further subdivide the triangles and we get a collection of graphs G_n and the natural conjecture

Conjecture: For any n and a < b < c, the Fiedler vector for the corresponding graph G_n has its extreme points at the verticies in the top left and top right corner.
If this conjecture were proven, then it shouldn't be too hard to prove the Hot Spots Conjecture for the continuous triangle in the limit.

This discritization approach has two main advantages I can see: