v2009.01.01 - Convex Optimization
v2009.01.01 - Convex Optimization v2009.01.01 - Convex Optimization
280 CHAPTER 4. SEMIDEFINITE PROGRAMMING 4.4.1.2.2 Example. Sensor-Network Localization and Wireless Location. Heuristic solution to a sensor-network localization problem, proposed by Carter, Jin, Saunders, & Ye in [63], 4.25 is limited to two Euclidean dimensions and applies semidefinite programming (SDP) to little subproblems. There, a large network is partitioned into smaller subnetworks (as small as one sensor − a mobile point, whereabouts unknown) and then semidefinite programming and heuristics called spaseloc are applied to localize each and every partition by two-dimensional distance geometry. Their partitioning procedure is one-pass, yet termed iterative; a term applicable only in so far as adjoining partitions can share localized sensors and anchors (absolute sensor positions known a priori). But there is no iteration on the entire network, hence the term “iterative” is perhaps inappropriate. As partitions are selected based on “rule sets” (heuristics, not geographics), they also term the partitioning adaptive. But no adaptation of a partition actually occurs once it has been determined. One can reasonably argue that semidefinite programming methods are unnecessary for localization of small partitions of large sensor networks. In the past, these nonlinear localization problems were solved algebraically and computed by least squares solution to hyperbolic equations; called multilateration. 4.26 Indeed, practical contemporary numerical methods for global positioning by satellite (GPS) do not rely on semidefinite programming. Modern distance geometry is inextricably melded with semidefinite programming. The beauty of semidefinite programming, as relates to localization, lies in convex expression of classical multilateration: So & Ye showed [278] that the problem of finding unique solution, to a noiseless nonlinear system describing the common point of intersection of hyperspheres in real Euclidean vector space, can be expressed as a semidefinite program via distance geometry. But the need for SDP methods in Carter & Jin et alii is enigmatic for two more reasons: 1) guessing solution to a partition whose intersensor measurement data or connectivity is inadequate for localization by distance geometry, 2) reliance on complicated and extensive heuristics for partitioning 4.25 The paper constitutes Jin’s dissertation for University of Toronto [187] although her name appears as second author. Ye’s authorship is honorary. 4.26 Multilateration − literally, having many sides; shape of a geometric figure formed by nearly intersecting lines of position. In navigation systems, therefore: Obtaining a fix from multiple lines of position.
4.4. RANK-CONSTRAINED SEMIDEFINITE PROGRAM 281 a large network that could instead be solved whole by one semidefinite program. While partitions range in size between 2 and 10 sensors, 5 sensors optimally, heuristics provided are only for two spatial dimensions (no higher-dimensional heuristics are proposed). For these small numbers it remains unclarified as to precisely what advantage is gained over traditional least squares. Partitioning of large sensor networks is a compromise to rapid growth of SDP computational complexity with problem size. But when impact of noise on distance measurement is of most concern, one is averse to a partitioning scheme because noise-effects vary inversely with problem size. [46,2.2] (5.13.2) Since an individual partition’s solution is not iterated in Carter & Jin and is interdependent with adjoining partitions, we expect errors to propagate from one partition to the next; the ultimate partition solved, expected to suffer most. Heuristics often fail on real-world data because of unanticipated circumstances. When heuristics fail, generally they are repaired by adding more heuristics. Tenuous is any presumption, for example, that distance measurement errors have distribution characterized by circular contours of equal probability about an unknown sensor-location. That presumption effectively appears within Carter & Jin’s optimization problem statement as affine equality constraints relating unknowns to distance measurements that are corrupted by noise. Yet in most all urban environments, this measurement noise is more aptly characterized by ellipsoids of varying orientation and eccentricity as one recedes from a sensor. Each unknown sensor must therefore instead be bound to its own particular range of distance, primarily determined by the terrain. 4.27 The nonconvex problem we must instead solve is: find {x i , x j } i , j ∈ I (672) subject to d ij ≤ ‖x i − x j ‖ 2 ≤ d ij where x i represents sensor location, and where d ij and d ij respectively represent lower and upper bounds on measured distance-square from i th to j th sensor (or from sensor to anchor). Figure 75 illustrates contours of equal sensor-location uncertainty. By establishing these individual upper and lower bounds, orientation and eccentricity can effectively be incorporated into the problem statement. 4.27 A distinct contour map corresponding to each anchor is required in practice.
- Page 229 and 230: 3.1. CONVEX FUNCTION 229 This means
- Page 231 and 232: 3.1. CONVEX FUNCTION 231 f(Y ) −
- Page 233 and 234: 3.2. MATRIX-VALUED CONVEX FUNCTION
- Page 235 and 236: 3.2. MATRIX-VALUED CONVEX FUNCTION
- Page 237 and 238: 3.2. MATRIX-VALUED CONVEX FUNCTION
- Page 239 and 240: 3.3. QUASICONVEX 239 exponential al
- Page 241 and 242: 3.3. QUASICONVEX 241 Unlike convex
- Page 243 and 244: 3.4. SALIENT PROPERTIES 243 6. (af
- Page 245 and 246: Chapter 4 Semidefinite programming
- Page 247 and 248: 4.1. CONIC PROBLEM 247 where K is a
- Page 249 and 250: 4.1. CONIC PROBLEM 249 4.1.1.2 Redu
- Page 251 and 252: 4.1. CONIC PROBLEM 251 In any SDP f
- Page 253 and 254: 4.1. CONIC PROBLEM 253 Proposition
- Page 255 and 256: 4.2. FRAMEWORK 255 sets are closed
- Page 257 and 258: 4.2. FRAMEWORK 257 4.2.1.1.3 Exampl
- Page 259 and 260: 4.2. FRAMEWORK 259 4.2.2 Duals The
- Page 261 and 262: 4.2. FRAMEWORK 261 When equality is
- Page 263 and 264: 4.2. FRAMEWORK 263 The pseudoinvers
- Page 265 and 266: 4.2. FRAMEWORK 265 For the data giv
- Page 267 and 268: 4.2. FRAMEWORK 267 minimizes an aff
- Page 269 and 270: 4.3. RANK REDUCTION 269 whose rank
- Page 271 and 272: 4.3. RANK REDUCTION 271 and where m
- Page 273 and 274: 4.3. RANK REDUCTION 273 4.3.3 Optim
- Page 275 and 276: 4.3. RANK REDUCTION 275 Initialize:
- Page 277 and 278: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 279: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 283 and 284: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 285 and 286: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 287 and 288: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 289 and 290: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 291 and 292: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 293 and 294: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 295 and 296: 4.5. CONSTRAINING CARDINALITY 295 m
- Page 297 and 298: 4.5. CONSTRAINING CARDINALITY 297 m
- Page 299 and 300: 4.5. CONSTRAINING CARDINALITY 299 a
- Page 301 and 302: 4.5. CONSTRAINING CARDINALITY 301 f
- Page 303 and 304: 4.5. CONSTRAINING CARDINALITY 303 n
- Page 305 and 306: 4.5. CONSTRAINING CARDINALITY 305 W
- Page 307 and 308: 4.5. CONSTRAINING CARDINALITY 307 t
- Page 309 and 310: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 311 and 312: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 313 and 314: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 315 and 316: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 317 and 318: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 319 and 320: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 321 and 322: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 323 and 324: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 325 and 326: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 327 and 328: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 329 and 330: 4.6. CARDINALITY AND RANK CONSTRAIN
4.4. RANK-CONSTRAINED SEMIDEFINITE PROGRAM 281<br />
a large network that could instead be solved whole by one semidefinite<br />
program. While partitions range in size between 2 and 10 sensors, 5 sensors<br />
optimally, heuristics provided are only for two spatial dimensions (no<br />
higher-dimensional heuristics are proposed). For these small numbers it<br />
remains unclarified as to precisely what advantage is gained over traditional<br />
least squares.<br />
Partitioning of large sensor networks is a compromise to rapid growth<br />
of SDP computational complexity with problem size. But when impact<br />
of noise on distance measurement is of most concern, one is averse to a<br />
partitioning scheme because noise-effects vary inversely with problem size.<br />
[46,2.2] (5.13.2) Since an individual partition’s solution is not iterated<br />
in Carter & Jin and is interdependent with adjoining partitions, we expect<br />
errors to propagate from one partition to the next; the ultimate partition<br />
solved, expected to suffer most.<br />
Heuristics often fail on real-world data because of unanticipated<br />
circumstances. When heuristics fail, generally they are repaired by adding<br />
more heuristics. Tenuous is any presumption, for example, that distance<br />
measurement errors have distribution characterized by circular contours of<br />
equal probability about an unknown sensor-location. That presumption<br />
effectively appears within Carter & Jin’s optimization problem statement<br />
as affine equality constraints relating unknowns to distance measurements<br />
that are corrupted by noise. Yet in most all urban environments, this<br />
measurement noise is more aptly characterized by ellipsoids of varying<br />
orientation and eccentricity as one recedes from a sensor. Each unknown<br />
sensor must therefore instead be bound to its own particular range of<br />
distance, primarily determined by the terrain. 4.27 The nonconvex problem<br />
we must instead solve is:<br />
find {x i , x j }<br />
i , j ∈ I<br />
(672)<br />
subject to d ij ≤ ‖x i − x j ‖ 2 ≤ d ij<br />
where x i represents sensor location, and where d ij and d ij respectively<br />
represent lower and upper bounds on measured distance-square from i th to<br />
j th sensor (or from sensor to anchor). Figure 75 illustrates contours of equal<br />
sensor-location uncertainty. By establishing these individual upper and lower<br />
bounds, orientation and eccentricity can effectively be incorporated into the<br />
problem statement.<br />
4.27 A distinct contour map corresponding to each anchor is required in practice.