1: \begin{abstract}

2: %\boldmath

3: 

4:      A Semidefinite Programming (SDP) relaxation is an effective computational

5:      method to solve a Sensor Network Localization problem, which attempts to

6:      determine the locations of a group of sensors given the distances between

7:      some of them \cite{biswas}.  In this paper, we analyze and determine new

8:      sufficient conditions and formulations that guarantee that the SDP

9:      relaxation is exact, i.e., gives the correct solution.  These conditions can

10:      be useful for designing sensor networks and managing connectivities in

11:      practice.

12: 

13:      Our main contribution is twofold: We present the first non-asymptotic bound

14:      on the connectivity or radio range requirement of the sensors in order to

15:      ensure the network is uniquely localizable.  Determining this range is a key

16:      component in the design of sensor networks, and we provide a result that

17:      leads to a correct localization of each sensor, for any number of sensors.

18:      Second, we introduce a new class of graphs that can always be correctly

19:      localized by an SDP relaxation.  Specifically, we show that adding a simple

20:      objective function to the SDP relaxation model will ensure that the solution

21:      is correct when applied to a triangulation graph.  Since triangulation graphs

22:      are very sparse, this is informationally efficient, requiring an almost

23:      minimal amount of distance information.  We also analyze a number objective

24:      functions for the SDP relaxation to solve the localization problem for a

25:      general graph.

26: 

27: \end{abstract}

28: