Welcome to MathOverflow

Question

12

2

I've been thinking about the equiangular lines (or SIC-POVM) conjecture, and my conclusion is that the best means of attack would be through some kind of fixed point theorem -- I'm thinking specifically of geometric fixed point theorems, like Brouwer's. So my (rather vague) questions are:

1) is there some good survey article or classification for fixed point theorems?
2) are there fixed-point theorems which are related to actions of groups on geometric spaces?
3) has anybody tried this idea?

Added: In response to Joe's comment below, let me note that while the motivation is from quantum information theory, the equiangular lines conjecture is a purely classical geometry problem (see my comment below). The conjecture is really intriguing: numerical constructions of sets of equiangular lines have been found up to dimension 67, at which point the computer time required exceeded the patience of the investigators. However, only a handful of these numerical solutions have been shown to be rigorously correct by finding corresponding algebraic numbers. See this recent paper.

edited Jul 8 2010 at 13:09

asked Jul 7 2010 at 14:20

Peter Shor
4,475●22●46

Have you tried the references at en.wikipedia.org/wiki/Fixed_point_theorem ? – Qiaochu Yuan Jul 7 2010 at 18:05

1

@Peter: Can the equiangular lines conjecture be extracted from the SIC-POVM context and understood without 'grokking' all the quantum mechanics, or is it instead intimately entangled within that context? – Joseph O'Rourke Jul 8 2010 at 1:56

2

@Joseph: The equiangular lines conjecture can be understood completely classically. In complex Euclidean space $\mathbb{C}^d$, are there $d^2$ lines such that the absolute value of the angles between any pair of them is equal (a matrix calculation shows that that the absolute value of the inner product of any pair must be $1/\sqrt{d+1}$ ). – Peter Shor Jul 8 2010 at 13:25

I wish you the best of luck... I don't know that anyone has tried such an approach before, so it would be great if this leads to a solution. – Steve Flammia Jul 8 2010 at 13:34

To clarify a minor point, these are all lines through the origin, right? – Noah Snyder Jul 8 2010 at 16:15

show 2 more comments

coudy · Accepted Answer · 2010-07-07 18:28:45Z UTC

The book "Fixed point theory" by Dugundji and Granas is a nice reference. The headers of the sections in the book give some kind of classification of fixed point theorems.

results based on compactness
order theoretic results
results based on convexity
Borsuk theorem and topological transitivity
homology and fixed points
Leray-Shauder degree and fixed point index

Part VI of the bibliography is really extensive and contains a finer classification of fixed point theorems.

Fixed point theorems and equiangular lines

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.