Singularity Degree of PSD Matrix Completion
Shin-ichi Tanigawa
CWI and Kyoto
July 29, 2016
1 / 13
Singularity Degree of PSD Matrix Completion Shin-ichi Tanigawa CWI - - PowerPoint PPT Presentation
Singularity Degree of PSD Matrix Completion Shin-ichi Tanigawa CWI and Kyoto July 29, 2016 1 / 13 Positive Semidefinite Matrix Completion PSD completion problem ( G , c ) Given G = ( V , E ) with V = { 1 , . . . , n } and edge weight c : E
CWI and Kyoto
1 / 13
2 / 13
2 / 13
◮ spherical (bar-joint) framework (G, p) 3 / 13
◮ spherical (bar-joint) framework (G, p)
3 / 13
◮ spherical (bar-joint) framework (G, p)
3 / 13
4 / 13
4 / 13
5 / 13
5 / 13
6 / 13
6 / 13
6 / 13
1
2
6 / 13
1
2
3
6 / 13
7 / 13
1
2
3
7 / 13
1
2
3
7 / 13
1
2
3
7 / 13
c
8 / 13
9 / 13
9 / 13
3 ⌋.
9 / 13
10 / 13
10 / 13
10 / 13
10 / 13
11 / 13
11 / 13
11 / 13
11 / 13
11 / 13
11 / 13
3 ⌉.
12 / 13
13 / 13
◮ ”X[i, j] ≤ c(ij)” or ”X[i, j] ≥ c(ij)” instead of ”X[i, j] = c(ij)” 13 / 13
◮ ”X[i, j] ≤ c(ij)” or ”X[i, j] ≥ c(ij)” instead of ”X[i, j] = c(ij)” ◮ primal — the theory of tensegrities by e.g., Connelly ◮ dual — signed Colin de Verdiere parameter by Arav et al. 13 / 13
◮ ”X[i, j] ≤ c(ij)” or ”X[i, j] ≥ c(ij)” instead of ”X[i, j] = c(ij)” ◮ primal — the theory of tensegrities by e.g., Connelly ◮ dual — signed Colin de Verdiere parameter by Arav et al. ◮ (T16) sd(G, Σ) ≤ 2 if (G, Σ) is odd-K4-minor free 13 / 13
◮ ”X[i, j] ≤ c(ij)” or ”X[i, j] ≥ c(ij)” instead of ”X[i, j] = c(ij)” ◮ primal — the theory of tensegrities by e.g., Connelly ◮ dual — signed Colin de Verdiere parameter by Arav et al. ◮ (T16) sd(G, Σ) ≤ 2 if (G, Σ) is odd-K4-minor free
13 / 13
◮ ”X[i, j] ≤ c(ij)” or ”X[i, j] ≥ c(ij)” instead of ”X[i, j] = c(ij)” ◮ primal — the theory of tensegrities by e.g., Connelly ◮ dual — signed Colin de Verdiere parameter by Arav et al. ◮ (T16) sd(G, Σ) ≤ 2 if (G, Σ) is odd-K4-minor free
13 / 13
◮ ”X[i, j] ≤ c(ij)” or ”X[i, j] ≥ c(ij)” instead of ”X[i, j] = c(ij)” ◮ primal — the theory of tensegrities by e.g., Connelly ◮ dual — signed Colin de Verdiere parameter by Arav et al. ◮ (T16) sd(G, Σ) ≤ 2 if (G, Σ) is odd-K4-minor free
13 / 13