![Page 1: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/1.jpg)
Point-Line Minimal Problemsin Complete Multi-View Visibility
Kathlen Kohn
University of Oslo & ICERM
joint work with Timothy Duff (Georgia Tech),Anton Leykin (Georgia Tech) & Tomas Pajdla (CTU in Prague)
![Page 2: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/2.jpg)
Reconstruct 3D scenes and camera poses
from 2D images
Step 1: Identify common points and lines on given images
Step 2: Reconstruct coordinates of 3D points and linesas well as camera poses
We use calibrated perspective cameras:each such camera is represented by a matrix
[R | t], where R ∈ SO(3) and t ∈ R3
I - XI
![Page 3: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/3.jpg)
Reconstruct 3D scenes and camera poses
from 2D imagesStep 1: Identify common points and lines on given images
Step 2: Reconstruct coordinates of 3D points and linesas well as camera poses
We use calibrated perspective cameras:each such camera is represented by a matrix
[R | t], where R ∈ SO(3) and t ∈ R3
I - XI
![Page 4: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/4.jpg)
Reconstruct 3D scenes and camera poses
from 2D imagesStep 1: Identify common points and lines on given images
Step 2: Reconstruct coordinates of 3D points and linesas well as camera poses
We use calibrated perspective cameras:each such camera is represented by a matrix
[R | t], where R ∈ SO(3) and t ∈ R3
I - XI
![Page 5: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/5.jpg)
Reconstruct 3D scenes and camera poses
from 2D imagesStep 1: Identify common points and lines on given images
Step 2: Reconstruct coordinates of 3D points and linesas well as camera poses
We use calibrated perspective cameras:each such camera is represented by a matrix
[R | t], where R ∈ SO(3) and t ∈ R3
I - XI
![Page 6: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/6.jpg)
Reconstruct 3D scenes and camera poses
from 2D imagesStep 1: Identify common points and lines on given images
Step 2: Reconstruct coordinates of 3D points and linesas well as camera poses
We use calibrated perspective cameras:each such camera is represented by a matrix
[R | t], where R ∈ SO(3) and t ∈ R3
I - XI
![Page 7: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/7.jpg)
5-Point-Problem
Given 2 images of 5 points, recover 5 points in 3D and both camera poses.
This problem has 20 solutions over C.(Given 2 images, a solution is 5 points in 3D and 2 camera poses.)
⇒ The 5-Point-Problem is a minimal problem!
II - XI
![Page 8: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/8.jpg)
5-Point-Problem
Given 2 images of 5 points, recover 5 points in 3D and both camera poses.
This problem has 20 solutions over C.(Given 2 images, a solution is 5 points in 3D and 2 camera poses.)
⇒ The 5-Point-Problem is a minimal problem!
II - XI
![Page 9: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/9.jpg)
5-Point-Problem
Given 2 images of 5 points, recover 5 points in 3D and both camera poses.
This problem has 20 solutions over C.(Given 2 images, a solution is 5 points in 3D and 2 camera poses.)
⇒ The 5-Point-Problem is a minimal problem!
II - XI
![Page 10: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/10.jpg)
Another minimal problem
Given: 3 images of 3 points on a line, 1 attached line and 1 free line
Recover: 3D coordinates of 3 points and 3 lines, 3 camera poses
This problem has 40 solutions over C.(solution = 3 camera poses and 3D coordinates of points and lines)
⇒ It is a minimal problem!
III - XI
![Page 11: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/11.jpg)
Another minimal problem
Given: 3 images of 3 points on a line, 1 attached line and 1 free line
Recover: 3D coordinates of 3 points and 3 lines, 3 camera poses
This problem has 40 solutions over C.(solution = 3 camera poses and 3D coordinates of points and lines)
⇒ It is a minimal problem!
III - XI
![Page 12: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/12.jpg)
Minimal ProblemsA Point-Line-Problem (PLP) consists of
a number m of cameras,
a number p of points,
a number ` of lines,
a set I of incidences between points and lines.
DefinitionA PLP (m, p, `, I) is minimal if, given m generic 2D-arrangementseach consisting of p points and ` lines satisfying the incidences I,it has a positive and finite number of solutions over C.
(solution = m camera poses and 3D coordinates of p points and ` linessatisfying the incidences I )
Can we list all minimal PLPs?How many solutions do they have?
IV - XI
![Page 13: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/13.jpg)
Minimal ProblemsA Point-Line-Problem (PLP) consists of
a number m of cameras,
a number p of points,
a number ` of lines,
a set I of incidences between points and lines.
DefinitionA PLP (m, p, `, I) is minimal if, given m generic 2D-arrangementseach consisting of p points and ` lines satisfying the incidences I,it has a positive and finite number of solutions over C.
(solution = m camera poses and 3D coordinates of p points and ` linessatisfying the incidences I )
Can we list all minimal PLPs?How many solutions do they have?
IV - XI
![Page 14: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/14.jpg)
Minimal ProblemsA Point-Line-Problem (PLP) consists of
a number m of cameras,
a number p of points,
a number ` of lines,
a set I of incidences between points and lines.
DefinitionA PLP (m, p, `, I) is minimal if, given m generic 2D-arrangementseach consisting of p points and ` lines satisfying the incidences I,it has a positive and finite number of solutions over C.
(solution = m camera poses and 3D coordinates of p points and ` linessatisfying the incidences I )
Can we list all minimal PLPs?How many solutions do they have?
IV - XI
![Page 15: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/15.jpg)
Minimal PLPs
V - XI
![Page 16: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/16.jpg)
Joint camera map
X × C −→ Y
(3D-arrangement , cam1, . . . , camm)
7−→ (2D-arr1, . . . , 2D-arrm)
of p points and ` lines
satisfying incidences I
Pn = n-dimensional projective space
G1,n = {lines in Pn} = Grassmannian of lines in Pn
X = {(X1, . . . ,Xp, L1, . . . , L`) ∈ (P3)p × (G1,3)` | ∀(i , j) ∈ I : Xi ∈ Lj}
Y =
{(x1,1, . . . , xm,p, l1,1, . . . , lm,`)∈ (P2)mp × (G1,2)m`
∣∣∣∣ ∀k = 1, . . . ,m∀(i , j) ∈ I : xk,i ∈ lk,j
}C =
{([R1|t1], . . . [Rm|tm])
∣∣∣∣ ∀i = 1, . . . ,m : Ri ∈ SO(3), ti ∈ R3,R1 = I3, t1 = 0, t2,1 = 1
}
LemmaIf a PLP is minimal, then dim(X ) + dim(C) = dim(Y).
VI - XI
![Page 17: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/17.jpg)
Joint camera map
X × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
satisfying incidences I
Pn = n-dimensional projective space
G1,n = {lines in Pn} = Grassmannian of lines in Pn
X = {(X1, . . . ,Xp, L1, . . . , L`) ∈ (P3)p × (G1,3)` | ∀(i , j) ∈ I : Xi ∈ Lj}
Y =
{(x1,1, . . . , xm,p, l1,1, . . . , lm,`)∈ (P2)mp × (G1,2)m`
∣∣∣∣ ∀k = 1, . . . ,m∀(i , j) ∈ I : xk,i ∈ lk,j
}C =
{([R1|t1], . . . [Rm|tm])
∣∣∣∣ ∀i = 1, . . . ,m : Ri ∈ SO(3), ti ∈ R3,R1 = I3, t1 = 0, t2,1 = 1
}
LemmaIf a PLP is minimal, then dim(X ) + dim(C) = dim(Y).
VI - XI
![Page 18: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/18.jpg)
Joint camera mapX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
satisfying incidences I
Pn = n-dimensional projective space
G1,n = {lines in Pn} = Grassmannian of lines in Pn
X = {(X1, . . . ,Xp, L1, . . . , L`) ∈ (P3)p × (G1,3)` | ∀(i , j) ∈ I : Xi ∈ Lj}
Y =
{(x1,1, . . . , xm,p, l1,1, . . . , lm,`)∈ (P2)mp × (G1,2)m`
∣∣∣∣ ∀k = 1, . . . ,m∀(i , j) ∈ I : xk,i ∈ lk,j
}C =
{([R1|t1], . . . [Rm|tm])
∣∣∣∣ ∀i = 1, . . . ,m : Ri ∈ SO(3), ti ∈ R3,R1 = I3, t1 = 0, t2,1 = 1
}
LemmaIf a PLP is minimal, then dim(X ) + dim(C) = dim(Y).
VI - XI
![Page 19: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/19.jpg)
Joint camera mapX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
satisfying incidences I
Pn = n-dimensional projective space
G1,n = {lines in Pn} = Grassmannian of lines in Pn
X = {(X1, . . . ,Xp, L1, . . . , L`) ∈ (P3)p × (G1,3)` | ∀(i , j) ∈ I : Xi ∈ Lj}
Y =
{(x1,1, . . . , xm,p, l1,1, . . . , lm,`)∈ (P2)mp × (G1,2)m`
∣∣∣∣ ∀k = 1, . . . ,m∀(i , j) ∈ I : xk,i ∈ lk,j
}C =
{([R1|t1], . . . [Rm|tm])
∣∣∣∣ ∀i = 1, . . . ,m : Ri ∈ SO(3), ti ∈ R3,R1 = I3, t1 = 0, t2,1 = 1
}
LemmaIf a PLP is minimal, then dim(X ) + dim(C) = dim(Y).
VI - XI
![Page 20: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/20.jpg)
Joint camera mapX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
satisfying incidences I
Pn = n-dimensional projective space
G1,n = {lines in Pn} = Grassmannian of lines in Pn
X = {(X1, . . . ,Xp, L1, . . . , L`) ∈ (P3)p × (G1,3)` | ∀(i , j) ∈ I : Xi ∈ Lj}
Y =
{(x1,1, . . . , xm,p, l1,1, . . . , lm,`)∈ (P2)mp × (G1,2)m`
∣∣∣∣ ∀k = 1, . . . ,m∀(i , j) ∈ I : xk,i ∈ lk,j
}
C =
{([R1|t1], . . . [Rm|tm])
∣∣∣∣ ∀i = 1, . . . ,m : Ri ∈ SO(3), ti ∈ R3,R1 = I3, t1 = 0, t2,1 = 1
}
LemmaIf a PLP is minimal, then dim(X ) + dim(C) = dim(Y).
VI - XI
![Page 21: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/21.jpg)
Joint camera mapX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
satisfying incidences I
Pn = n-dimensional projective space
G1,n = {lines in Pn} = Grassmannian of lines in Pn
X = {(X1, . . . ,Xp, L1, . . . , L`) ∈ (P3)p × (G1,3)` | ∀(i , j) ∈ I : Xi ∈ Lj}
Y =
{(x1,1, . . . , xm,p, l1,1, . . . , lm,`)∈ (P2)mp × (G1,2)m`
∣∣∣∣ ∀k = 1, . . . ,m∀(i , j) ∈ I : xk,i ∈ lk,j
}C =
{([R1|t1], . . . [Rm|tm])
∣∣∣∣ ∀i = 1, . . . ,m : Ri ∈ SO(3), ti ∈ R3,R1 = I3, t1 = 0, t2,1 = 1
}
LemmaIf a PLP is minimal, then dim(X ) + dim(C) = dim(Y).
VI - XI
![Page 22: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/22.jpg)
Joint camera mapX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
satisfying incidences I
Pn = n-dimensional projective space
G1,n = {lines in Pn} = Grassmannian of lines in Pn
X = {(X1, . . . ,Xp, L1, . . . , L`) ∈ (P3)p × (G1,3)` | ∀(i , j) ∈ I : Xi ∈ Lj}
Y =
{(x1,1, . . . , xm,p, l1,1, . . . , lm,`)∈ (P2)mp × (G1,2)m`
∣∣∣∣ ∀k = 1, . . . ,m∀(i , j) ∈ I : xk,i ∈ lk,j
}C =
{([R1|t1], . . . [Rm|tm])
∣∣∣∣ ∀i = 1, . . . ,m : Ri ∈ SO(3), ti ∈ R3,R1 = I3, t1 = 0, t2,1 = 1
}
LemmaIf a PLP is minimal, then dim(X ) + dim(C) = dim(Y).
VI - XI
![Page 23: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/23.jpg)
Algebraic varietiesDefinitionA variety is the common zero set of a system of polynomial equations.
A variety looks like a manifold almost everywhere:
DefinitionA variety is irreducible if it is not the union of two proper subvarieties.
The dimension of an irreducible variety is its local dimension as a manifold.
X , C and Y are irreducible varieties!
VII - XI
![Page 24: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/24.jpg)
Algebraic varietiesDefinitionA variety is the common zero set of a system of polynomial equations.
A variety looks like a manifold almost everywhere:
DefinitionA variety is irreducible if it is not the union of two proper subvarieties.
The dimension of an irreducible variety is its local dimension as a manifold.
X , C and Y are irreducible varieties!
VII - XI
![Page 25: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/25.jpg)
Algebraic varietiesDefinitionA variety is the common zero set of a system of polynomial equations.
A variety looks like a manifold almost everywhere:
DefinitionA variety is irreducible if it is not the union of two proper subvarieties.The dimension of an irreducible variety is its local dimension as a manifold.
X , C and Y are irreducible varieties!
VII - XI
![Page 26: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/26.jpg)
Algebraic varietiesDefinitionA variety is the common zero set of a system of polynomial equations.
A variety looks like a manifold almost everywhere:
DefinitionA variety is irreducible if it is not the union of two proper subvarieties.The dimension of an irreducible variety is its local dimension as a manifold.
X , C and Y are irreducible varieties! VII - XI
![Page 27: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/27.jpg)
Deriving the big tableX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
with incidences I
LemmaIf a PLP is minimal, then dim(X ) + dim(C) = dim(Y).
Theorem
If m > 6, thendim(X ) + dim(C) 6= dim(Y).
There are exactly 39 PLPs withdim(X ) + dim(C) = dim(Y):
VIII - XI
![Page 28: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/28.jpg)
Deriving the big tableX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
with incidences I
LemmaIf a PLP is minimal, then dim(X ) + dim(C) = dim(Y).
Theorem
If m > 6, thendim(X ) + dim(C) 6= dim(Y).
There are exactly 39 PLPs withdim(X ) + dim(C) = dim(Y):
VIII - XI
![Page 29: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/29.jpg)
Deriving the big tableX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
with incidences I
LemmaIf a PLP is minimal, then dim(X ) + dim(C) = dim(Y).
Theorem
If m > 6, thendim(X ) + dim(C) 6= dim(Y).
There are exactly 39 PLPs withdim(X ) + dim(C) = dim(Y):
VIII - XI
![Page 30: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/30.jpg)
Deriving the big tableX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
satisfying incidences I
LemmaA PLP with dim(X ) + dim(C) 6= dim(Y) is minimal if and only ifits joint camera map X × C → Y is dominant.
DefinitionA map ϕ : A→ B is surjective iffor every b ∈ B there is an a ∈ Asuch that ϕ(a) = b.
DefinitionA map ϕ : A→ B is dominant iffor almost every b ∈ B there is an a ∈ Asuch that ϕ(a) = b.
Fact A map ϕ : A→ B between irreducible varieties A and B is dominantif and only if
for almost every a ∈ A the differential Daϕ : TaA→ Tϕ(a)B is surjective.
Can check this computationally! It is only linear algebra!
IX - XI
![Page 31: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/31.jpg)
Deriving the big tableX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
satisfying incidences I
LemmaA PLP with dim(X ) + dim(C) 6= dim(Y) is minimal if and only ifits joint camera map X × C → Y is dominant.
DefinitionA map ϕ : A→ B is surjective iffor every b ∈ B there is an a ∈ Asuch that ϕ(a) = b.
DefinitionA map ϕ : A→ B is dominant iffor almost every b ∈ B there is an a ∈ Asuch that ϕ(a) = b.
Fact A map ϕ : A→ B between irreducible varieties A and B is dominantif and only if
for almost every a ∈ A the differential Daϕ : TaA→ Tϕ(a)B is surjective.
Can check this computationally! It is only linear algebra!
IX - XI
![Page 32: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/32.jpg)
Deriving the big tableX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
satisfying incidences I
LemmaA PLP with dim(X ) + dim(C) 6= dim(Y) is minimal if and only ifits joint camera map X × C → Y is dominant.
DefinitionA map ϕ : A→ B is surjective iffor every b ∈ B there is an a ∈ Asuch that ϕ(a) = b.
DefinitionA map ϕ : A→ B is dominant iffor almost every b ∈ B there is an a ∈ Asuch that ϕ(a) = b.
Fact A map ϕ : A→ B between irreducible varieties A and B is dominantif and only if
for almost every a ∈ A the differential Daϕ : TaA→ Tϕ(a)B is surjective.
Can check this computationally! It is only linear algebra!
IX - XI
![Page 33: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/33.jpg)
Deriving the big tableX × C −→ Y
(3D-arrangement , cam1, . . . , camm) 7−→ (2D-arr1, . . . , 2D-arrm)of p points and ` lines
satisfying incidences I
LemmaA PLP with dim(X ) + dim(C) 6= dim(Y) is minimal if and only ifits joint camera map X × C → Y is dominant.
DefinitionA map ϕ : A→ B is surjective iffor every b ∈ B there is an a ∈ Asuch that ϕ(a) = b.
DefinitionA map ϕ : A→ B is dominant iffor almost every b ∈ B there is an a ∈ Asuch that ϕ(a) = b.
Fact A map ϕ : A→ B between irreducible varieties A and B is dominantif and only if
for almost every a ∈ A the differential Daϕ : TaA→ Tϕ(a)B is surjective.
Can check this computationally! It is only linear algebra! IX - XI
![Page 34: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/34.jpg)
For m ∈ {2, 3} : compute number of solutions with Grobner bases(standard technique in algebraic geometry)For m ∈ {4, 5, 6} : compute number of solutions with homotopycontinuation and monodromy(state-of-the-art method in numerical algebraic geometry)
X - XI
![Page 35: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/35.jpg)
For m ∈ {2, 3} : compute number of solutions with Grobner bases(standard technique in algebraic geometry)
For m ∈ {4, 5, 6} : compute number of solutions with homotopycontinuation and monodromy(state-of-the-art method in numerical algebraic geometry)
X - XI
![Page 36: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/36.jpg)
For m ∈ {2, 3} : compute number of solutions with Grobner bases(standard technique in algebraic geometry)For m ∈ {4, 5, 6} : compute number of solutions with homotopycontinuation and monodromy(state-of-the-art method in numerical algebraic geometry) X - XI
![Page 37: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/37.jpg)
Monodromy
Pick random (X0,C0) ∈ X × CSet Y = Φ(X0,C0)
Pick Y ′ ∈ YAlong a random path from Y to Y ′
track the solution (X0,C0) for Yto a solution (X ′
0,C′0) for Y ′
via homotopy continuation
Along a random path from Y ′ to Ytrack the solution (X ′
0,C′0) for Y ′
to a solution (X1,C1) for Yvia homotopy continuation
Keep on circulating between Y and Y ′
until no more solutions for Y are found
X × CyY
jointcamera
map
Φ
Y ′
Y
(X0,C0)(X ′
0,C′0)
(X1,C1) (X ′2,C
′2)
(X2,C2)
(X ′1,C
′1)
XI - XI
![Page 38: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/38.jpg)
Monodromy
Pick random (X0,C0) ∈ X × CSet Y = Φ(X0,C0)
Pick Y ′ ∈ Y
Along a random path from Y to Y ′
track the solution (X0,C0) for Yto a solution (X ′
0,C′0) for Y ′
via homotopy continuation
Along a random path from Y ′ to Ytrack the solution (X ′
0,C′0) for Y ′
to a solution (X1,C1) for Yvia homotopy continuation
Keep on circulating between Y and Y ′
until no more solutions for Y are found
X × CyY
jointcamera
mapΦ
Y ′
Y
(X0,C0)
(X ′0,C
′0)
(X1,C1) (X ′2,C
′2)
(X2,C2)
(X ′1,C
′1)
XI - XI
![Page 39: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/39.jpg)
Monodromy
Pick random (X0,C0) ∈ X × CSet Y = Φ(X0,C0)
Pick Y ′ ∈ YAlong a random path from Y to Y ′
track the solution (X0,C0) for Yto a solution (X ′
0,C′0) for Y ′
via homotopy continuation
Along a random path from Y ′ to Ytrack the solution (X ′
0,C′0) for Y ′
to a solution (X1,C1) for Yvia homotopy continuation
Keep on circulating between Y and Y ′
until no more solutions for Y are found
X × CyY
jointcamera
mapΦ
Y ′
Y
(X0,C0)(X ′
0,C′0)
(X1,C1) (X ′2,C
′2)
(X2,C2)
(X ′1,C
′1)
XI - XI
![Page 40: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/40.jpg)
Monodromy
Pick random (X0,C0) ∈ X × CSet Y = Φ(X0,C0)
Pick Y ′ ∈ YAlong a random path from Y to Y ′
track the solution (X0,C0) for Yto a solution (X ′
0,C′0) for Y ′
via homotopy continuation
Along a random path from Y ′ to Ytrack the solution (X ′
0,C′0) for Y ′
to a solution (X1,C1) for Yvia homotopy continuation
Keep on circulating between Y and Y ′
until no more solutions for Y are found
X × CyY
jointcamera
mapΦ
Y ′
Y
(X0,C0)(X ′
0,C′0)
(X1,C1)
(X ′2,C
′2)
(X2,C2)
(X ′1,C
′1)
XI - XI
![Page 41: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/41.jpg)
Monodromy
Pick random (X0,C0) ∈ X × CSet Y = Φ(X0,C0)
Pick Y ′ ∈ YAlong a random path from Y to Y ′
track the solution (X0,C0) for Yto a solution (X ′
0,C′0) for Y ′
via homotopy continuation
Along a random path from Y ′ to Ytrack the solution (X ′
0,C′0) for Y ′
to a solution (X1,C1) for Yvia homotopy continuation
Keep on circulating between Y and Y ′
until no more solutions for Y are found
X × CyY
jointcamera
mapΦ
Y ′
Y
(X0,C0)(X ′
0,C′0)
(X1,C1)
(X ′2,C
′2)
(X2,C2)
(X ′1,C
′1)
XI - XI
![Page 42: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/42.jpg)
Monodromy
Pick random (X0,C0) ∈ X × CSet Y = Φ(X0,C0)
Pick Y ′ ∈ YAlong a random path from Y to Y ′
track the solution (X0,C0) for Yto a solution (X ′
0,C′0) for Y ′
via homotopy continuation
Along a random path from Y ′ to Ytrack the solution (X ′
0,C′0) for Y ′
to a solution (X1,C1) for Yvia homotopy continuation
Keep on circulating between Y and Y ′
until no more solutions for Y are found
X × CyY
jointcamera
mapΦ
Y ′
Y
(X0,C0)(X ′
0,C′0)
(X1,C1)
(X ′2,C
′2)
(X2,C2)
(X ′1,C
′1)
XI - XI
![Page 43: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/43.jpg)
Monodromy
Pick random (X0,C0) ∈ X × CSet Y = Φ(X0,C0)
Pick Y ′ ∈ YAlong a random path from Y to Y ′
track the solution (X0,C0) for Yto a solution (X ′
0,C′0) for Y ′
via homotopy continuation
Along a random path from Y ′ to Ytrack the solution (X ′
0,C′0) for Y ′
to a solution (X1,C1) for Yvia homotopy continuation
Keep on circulating between Y and Y ′
until no more solutions for Y are found
X × CyY
jointcamera
mapΦ
Y ′
Y
(X0,C0)(X ′
0,C′0)
(X1,C1)
(X ′2,C
′2)
(X2,C2)
(X ′1,C
′1)
XI - XI
![Page 44: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/44.jpg)
Monodromy
Pick random (X0,C0) ∈ X × CSet Y = Φ(X0,C0)
Pick Y ′ ∈ YAlong a random path from Y to Y ′
track the solution (X0,C0) for Yto a solution (X ′
0,C′0) for Y ′
via homotopy continuation
Along a random path from Y ′ to Ytrack the solution (X ′
0,C′0) for Y ′
to a solution (X1,C1) for Yvia homotopy continuation
Keep on circulating between Y and Y ′
until no more solutions for Y are found
X × CyY
jointcamera
mapΦ
Y ′
Y
(X0,C0)(X ′
0,C′0)
(X1,C1) (X ′2,C
′2)
(X2,C2)
(X ′1,C
′1)
XI - XI
![Page 45: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/45.jpg)
Thanks for your attention!
![Page 46: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/46.jpg)
![Page 47: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/47.jpg)
![Page 48: Point-Line Minimal Problems in Complete Multi-View Visibility · Point-Line Minimal Problems in Complete Multi-View Visibility Kathl en Kohn University of Oslo & ICERM joint work](https://reader034.vdocuments.site/reader034/viewer/2022050600/5fa74054ef4acc2c4432153c/html5/thumbnails/48.jpg)