10.03.2015 Views

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

364 CHAPTER 5. EUCLIDEAN DISTANCE MATRIX<br />

Columns 1 through 6<br />

X = 0 -0.1983 -0.4584 0.1657 0.9399 0.7416<br />

0 0.6863 0.2936 0.6239 -0.2936 0.3927<br />

0 -0.4835 0.8146 -0.6448 0.0611 -0.4224<br />

0 0.5059 0.2004 -0.4093 -0.1632 0.3427<br />

Columns 7 through 12<br />

-0.4815 -0.9399 -0.7416 0.1983 0.4584 -0.2832<br />

0 0.2936 -0.3927 -0.6863 -0.2936 -0.6863<br />

-0.8756 -0.0611 0.4224 0.4835 -0.8146 -0.3922<br />

-0.0372 0.1632 -0.3427 -0.5059 -0.2004 -0.5431<br />

Columns 13 through 18<br />

0.2832 -0.2926 -0.6473 0.0943 0.3640 -0.3640<br />

0.6863 0.9176 -0.6239 -0.2313 -0.0624 0.0624<br />

0.3922 0.1698 -0.2309 -0.6533 -0.1613 0.1613<br />

0.5431 -0.2088 0.3721 0.7147 -0.9152 0.9152<br />

Columns 19 through 25<br />

-0.0943 0.6473 -0.1657 0.2926 -0.5759 0.5759 0.4815<br />

0.2313 0.6239 -0.6239 -0.9176 0.2313 -0.2313 0<br />

0.6533 0.2309 0.6448 -0.1698 -0.2224 0.2224 0.8756<br />

-0.7147 -0.3721 0.4093 0.2088 -0.7520 0.7520 0.0372<br />

This particular optimal solution was found by solving a problem sequence<br />

in increasing number of spheres. Numerical problems begin to arise with<br />

matrices of this cardinality due to interior-point methods of solution.<br />

years ago. I believe Gauss knew it. Moreover, Korkine & Zolotarev proved in 1882 that D 5<br />

is the densest lattice in five dimensions. So they proved that if a kissing arrangement in<br />

five dimensions can be extended to some lattice, then k(5)= 40. Of course, the conjecture<br />

in the general case also is: k(5)= 40. You would like to see coordinates? Easily.<br />

Let A= √ 2. Then p(1)=(A,A,0,0,0), p(2)=(−A,A,0,0,0), p(3)=(A, −A,0,0,0), ...<br />

p(40)=(0,0,0, −A, −A); i.e., we are considering points with coordinates that have two<br />

A and three 0 with any choice of signs and any ordering of the coordinates; the same<br />

coordinates-expression in dimensions 3 and 4.<br />

The first miracle happens in dimension 6. There are better packings than D 6<br />

(Conjecture: k(6)=72). It’s a real miracle how dense the packing is in eight dimensions<br />

(E 8 =Korkine & Zolotarev packing that was discovered in 1880s) and especially in<br />

dimension 24, that is the so-called Leech lattice.<br />

Actually, people in coding theory have conjectures on the kissing numbers for dimensions<br />

up to 32 (or even greater?). However, sometimes they found better lower bounds. I know<br />

that Ericson & Zinoviev a few years ago discovered (by hand, no computer) in dimensions<br />

13 and 14 better kissing arrangements than were known before. −Oleg Musin

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!