# Euclidean distance matrix completion via semidefinite facial reduction

### From Wikimization

(→Properties of <math>\mathcal K </math> [http://orion.math.uwaterloo.ca/~hwolkowi/henry/reports/edmapr04.pdf]) |
(→Properties of <math>\mathcal K </math> [http://orion.math.uwaterloo.ca/~hwolkowi/henry/reports/edmapr04.pdf]) |
||

Line 24: | Line 24: | ||

Let <math> | Let <math> | ||

- | \mathcal D_e(Y):=\operatorname{diag} (Y)e^T+e\operatorname{diag}(Y)^T | + | \mathcal D_e(Y):=\operatorname{diag}(Y)e^{\rm{T}}+e\operatorname{diag}(Y)^{\rm{T}} |

</math>, where diag denotes the diagonal of the argument. Then | </math>, where diag denotes the diagonal of the argument. Then | ||

alternatively, we can write | alternatively, we can write |

## Revision as of 13:27, 24 November 2011

## Contents |

## Euclidean distance matrix completions (EDMC), background

EDMC is a *fundamental problem of distance geometry, (FPDG)*.
Let be the vector space of symmetric matrices equipped with the trace inner product, ; let , the set of Euclidean distance matrices, i.e. , for points , with embedding dimension ;
and, let be the set (convex cone) of (symmetric) positive semidefinite matrices. Defining by

we have that . Note that is a one-one linear transformation between the *centered symmetric matrices*, and the *hollow matrices* , where centered means row (and column) sums are all zero, and hollow means that the diagonal is zero.

A matrix is a Euclidean distance matrix with embedding dimension if and only if there exists such that
Suppose is a partial Euclidean distance matrix with embedding dimension . The *low-dimensional Euclidean distance matrix completion* problem is

where is the vector of all ones, and is the adjacency matrix of the graph associated with the partial Euclidean distance matrix

### Properties of [1]

Let , where diag denotes the diagonal of the argument. Then alternatively, we can write

The adjoints of these linear transformations are

where Diag is the diagonal matrix formed from its argument and is the adjoint of diag. The Moore-Penrose generalized inverse is

where the matrix and the linear operator (orthogonal projection) . The orthogonal projections onto the range of and range of is given by

respectively. These are the hollow and centered subspaces of , respectively. The nullspaces of are the ranges of Diag, , respectively.

## Semidefinite programming relaxation of the low-dimensional Euclidean distance matrix completion problem

Using the substitution and relaxing the (NP-hard) condition that we obtain the semidefinite programming relaxation

## Single Clique Facial Reduction Theorem [2]

Let be a clique in the graph such that the embedding dimension of is Then there exists such that