Falai Chen University of Science and Technology of China More on Implicitization Using Moving...
-
Upload
clarence-black -
Category
Documents
-
view
214 -
download
2
Transcript of Falai Chen University of Science and Technology of China More on Implicitization Using Moving...
![Page 1: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/1.jpg)
Falai Chen
University of Science and Technology of China
More on Implicitization
Using Moving Surfaces
![Page 2: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/2.jpg)
Outline
Implicitization Moving planes and moving surfaces Ruled surfaces Tensor product surfaces Surfaces of revolution
![Page 3: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/3.jpg)
Implicitization
![Page 4: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/4.jpg)
Implicitization
Given a rational surface
P(s,t)=(a(s,t),b(s,t),c(s,t),d(s,t)) (1)
Find an irreducible homogenous polynomial f(x,y,z,w) such that
f(a(s,t),b(s,t),c(s,t),d(s,t)) ≡0 (2)
![Page 5: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/5.jpg)
Implicitization
Traditional methods: Resultants Groebner bases Wu’s method Undetermined coefficients ……
![Page 6: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/6.jpg)
Implicitization
Problems with the traditional Methods Groebner bases and Wu’s method are
computational very expensive. Resultant-based methods fail in the presence of
base points. Most methods give a very huge polynomial
which is problematic in numerical computation (The implicit equation of a bicubic surface is a polynomial of degree 18 with 1330 terms!)
![Page 7: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/7.jpg)
Implicitization
Moving planes and moving surfaces
[Sederberg and Chen, Implicitization using moving curves and surfaces, SIGGRAPH, 1995]
Advantages Efficient Never fails Simplifies in the presence of base points The implicit equation is a determinant
![Page 8: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/8.jpg)
Implicitization
Moving planes and moving surfaces
[Sederberg and Chen, Implicitization using moving curves and surfaces, SIGGRAPH, 1995]
Problems Lack explicit constructions No rigorous proofs
![Page 9: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/9.jpg)
Implicitization
Goal
Try to provide a general framework for implicitizing rational surfaces via syzygies.
![Page 10: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/10.jpg)
Moving Planes and Surfaces
![Page 11: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/11.jpg)
Moving planes and surfaces
A moving plane is a family of planes with parameter pairs (s,t):
It is denoted by
L(s,t)=(A(s,t), B(s,t), C(s,t), D(s,t))∈ R[s,t]4
)3(0),(),(),(),( tsDztsCytsBxtsA
![Page 12: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/12.jpg)
Moving planes and surfaces
A moving plane is said to follow the rational surface P(s,t) if
Geometrically, “follow” means that, for each parameter pair (s,t), the point P(s,t) is on the moving plane L(s,t).
)4(0 DdCcBbAa
![Page 13: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/13.jpg)
Moving planes and surfaces
Let Ls,t be the set of moving planes which follow the rational surface P(s,t). Then Ls,t is exactly the syzygy module over R[s,t]
)5(0|],[ ),,,(
:),,,(4
dDcCbBaAtsRDCBA
dcbaSyz
![Page 14: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/14.jpg)
Moving planes and surfaces
A moving surface of degree l is a family of algebraic surfaces with parametric pairs (s,t):
fi (x,y,z,w), i=1,…,σ are degree l homogeneous
polynomials, bi(s,t) are blending functions.
0),( ),,,(:),;,,,(1
iii tsbwzyxftswzyxM
![Page 15: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/15.jpg)
Moving planes and surfaces
A moving surface is said to follow the rational surface P(s,t) if
The implicit equation f(x,y,z) of the rational surface P(s,t) is a moving surface.
.0)),(),,(),,(),,(( tsdtsctsbtsaM
![Page 16: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/16.jpg)
Rational Ruled Surfaces
![Page 17: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/17.jpg)
Rational ruled surfaces
A bi-degree (n,1) tensor product rational surface
where Pi(s)=(ai(s), bi(s), ci(s), di(s)), i=0, 1.
Moving planes involving only the parameter s
)6(}0
|][),,,{(:)(L 4
dDcCbBaA
sRDCBAs
)5()()(),( 10 ststs PPP
![Page 18: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/18.jpg)
Rational ruled surfaces
(6) is equivalent to
i.e.,
)7(0
)(
)(
)(
)(
)()()()(
)()()()(
1111
0000
sD
sC
sB
sA
sdscsbsa
sdscsbsa
)8()()()()(
)()()()()(
1111
0000
sdscsbsa
sdscsbsaSyzsL
![Page 19: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/19.jpg)
Rational ruled surfaces
L(s) is a free module of dimension 2.
Mu-bais: a basis p(s) and q(s) of the module L(s) with minimum degree.
Write
))(),(),(),(()(
))(),(),(),(()(
4321
4321
sqsqsqsqs
spspspsps
q
p
![Page 20: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/20.jpg)
Rational ruled surfaces
deg(p(s))+deg(q(s))=m, where m is the implicit degree of the rational ruled surface. Let
deg(p(s))=µ, then deg(q(s))=m- µ (µ≤[m/2]).
The implicit equation of the ruled surface
Res(p·X, q·X; s)=0,
where X=(x,y,z,w). The implicit equation is a
(m- µ )× (m- µ ) determinant.
![Page 21: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/21.jpg)
Rational ruled surfaces
Example A rational ruled surface
P(s,t)=P0(s)+tP1 (s)
P0(s) =(s3+2s2-s+3, -3s+3, -2s2-2s+3, 2s2+s+2)
P1 (s)=(2s3+2s2-3s+7, 2s2-5s+5,
-6s2- 8s+4,5s2+4s+5)
The ruled surface has 2 base points.
![Page 22: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/22.jpg)
Rational ruled surfaces
A mu-basis:
p(s)= -5310xs+(-4797s+2947-2434s2)y+(-2213s2+7553s-2105)z +(-1263+6778s+442s2)w
q(s)=(-842s+2434)x+(4017+741s)y+(-3217+421s2+2791s)z+ (842s2+2416s-4851)w
The implicit equation Res(p, q; s)=0 is a 2 by 2
determinant.
![Page 23: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/23.jpg)
Tensor Product Surfaces
![Page 24: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/24.jpg)
Tensor product surfaces
A bidegree (m,n) rational surface:
Moving planes whose degree in parameter t is n-1:
Here Rn-1[s,t] refers to the set of polynomials whose degrees in t do not exceed n-1.
)10(}0
|],[R),,,{(:)( 411
dDcCbBaA
tsDCBAs nnL
)9()),(),,(),,(),,((),(P tsdtsctsbtsats
![Page 25: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/25.jpg)
Tensor product surfaces
Let
where
From , one has
)()()()(),( 1-n1
110 ststssts nn Lmmmm
nn tstssts )()()(),( 10 PPPP
4][)(),( sss ii RmP
0),(),( tsts mP
![Page 26: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/26.jpg)
Tensor product surfaces
(11)0
m
m
m
P
PP
PP
P
PP
P
Tn
T
T
nnn
n
n
1
1
0
42
1
0
1
01
0
Denote the coefficient matrix by M. Thus
Ln-1(s)=Syz(M).
![Page 27: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/27.jpg)
Tensor product surfaces
Theorem 1 Ln-1(s) is a free module over R[s] of dimension 2n. (This was also obtained by Sederberg, Cox, et. al.).
Definition 1 A basis of Ln-1(s) with minimum degree is called a “mu-basis” of Ln-1(s). Denote it by
),(,),,(),,( 221 tststs nmmm
![Page 28: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/28.jpg)
Tensor product surfaces
Problems
1. Determine the implicit degree m of the rational surface P(s,t).
2. Determine the sum of the degree of the mu-basis,
3. Determine the relationship between m and d.
4. Generate the implicit equation of P(s,t) from the mu-basis.
n
iid
2
1
)deg(m
![Page 29: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/29.jpg)
Bidegree (n,2) surfaces
Mu-basis
),(),,(),,(),,( 321 tstststs 4mmmm
4,3,2,1,)()(),( 10 itssts iii mmm
![Page 30: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/30.jpg)
The relations between
d and the implicit degree m
degreeimplicit
)deg(2
1
m
dn
iim
![Page 31: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/31.jpg)
The implicit degree
Number of intersections of a generic line and the surface.
Choose a generic line defined by two planes
l0=A0 x+B0 y+C0 z+D0 w=0
l1=A1 x+B1 y+C1 z+D1 w=0
![Page 32: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/32.jpg)
The implicit degree
Substitute the parametric equaiton of the surface into the equations of the generic lines, we can get
with
0),(
0),(2
121110
2020100
tttsg
tttsf
LPLPLP
LPLPLP
),,,(),,,,( 1111100000 DCBADCBA LL
![Page 33: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/33.jpg)
The implicit degree
121110
121110
020100
020100
);,(
LPLPLP
LPLPLP
LPLPLP
LPLPLP
tgfSyl
![Page 34: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/34.jpg)
The implicit degree
Theorem 2 Consider all the order 4 minors formed by choosing two columns from the first four columns and two columns form the rest four columns of the matrix
)12(
0000
0000
:
2222
11112222
00001111
0000
dcba
dcbadcba
dcbadcba
dcba
H
![Page 35: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/35.jpg)
The implicit degree
Theorem 2 (continued)
Let g be the gcd of the minors, then the implicit degree of the rational surface P(s,t) is
m = 4n−deg(g) (13)
![Page 36: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/36.jpg)
Degree sum of the mu-basis
Theorem 3 Consider all the 4×4 minors of
Let g’ be the gcd of all the 4 by 4 minors, then
d = 4n−deg(g’) (14)
2222
11112222
00001111
0000
0000
0000
dcba
dcbadcba
dcbadcba
dcba
H
![Page 37: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/37.jpg)
Degree sum of the mu-basis
Obviously we have
and the equality holds if and only if g= g’ .
md
![Page 38: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/38.jpg)
Example 1
A (2,2) tensor product rational surface without base point
d =1+2+2+3=8 m=8
)1110139410111213
)41)(()310)((
122108114613(t)(s,
222222
222222
tst + s+ s + stst + s + + tt + +
, tsts, tsts
,tst + s + s + stst + + s + tt + +
P
Newton PolygonNewton Polygon
![Page 39: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/39.jpg)
Example 2
A (2,2) tensor product rational surface with one 2×2 base point at the origin
d =1+1+1+1=4 m=d=4
)111013911 1381235
,911131161221084(t)(s,222222222222
222222222222
tst+s+s+st+t,tst+s+s+st+t
tst+s+s+st+t, tst+s+s+st+tP
Newton Polygon
![Page 40: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/40.jpg)
Example 3
A (2,2) tensor product rational surface with one 2-ple base point at the origin
d =1+1+1+2=5 m=4
)3103682 83210
3791053571098(t)(s,222222222222
222222222222
tst+s+s+stst++t,tt+ss+s+st+st+t
, tt+ss+s+stst++t, tst+s+s+stst++tP
Newton Polygon
![Page 41: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/41.jpg)
Example 4
A (4,2) tensor product rational surface with a complicated base point
d =2+2+3+3=10 m=8
Newton Polygon
)211146121326184
252028275917105
718136713233
18142131514281911(t)(s,
244423322222
244423322222
24442322222
244423322222
tst+s+s+tst+s+tst+s+st+t
, tst+s+s+tst+s+tst+s+st+t
,tst+s+s+ts+tst+s+st+t
, tst+s+s+tst+s+tst+s+st+tP
![Page 42: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/42.jpg)
Example 5
A (2,2) tensor product rational surface with two base points
d =0+1+1+1=3 m=3
)1326425 ,917714
,7131622 ,14282628(t)(s,222222
222222
tstsststss
tstsstsss
P
Newton PolygonNewton Polygon
![Page 43: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/43.jpg)
Relationship between m and d
Base point cases Relations
no base point d=m
k×l base point
Simple base points
d=m
d=m
k-ple base point(or more
complicated)
d >m
![Page 44: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/44.jpg)
Relationship between m and d
Questions:
1. What’s the relationship between d, m and the
Newton polygon of base points?
2. When does d=m?
3. What is the relationship between d and m
for complicated base points?
![Page 45: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/45.jpg)
Implicitization via mu-basis
![Page 46: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/46.jpg)
Using moving planes
Let the mu-basis be
m1(s,t), m2(s,t), m3(s,t), m4(s,t)
Let
(m1, m2, m3, m4)=
(m1(s,t).X, m2(s,t).X, m3(s,t).X, m4(s,t).X)
with X=(x,y,z,1).
![Page 47: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/47.jpg)
Using moving planes
Then
l
l
dl
dl
ts
t
sG
sm
m
sm
m
1
4
1
4
4
1
1
![Page 48: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/48.jpg)
Using moving planes
G has a size (4l+4-d) ×(2l+2). If
4l+4-d=2l+2=m
i.e., m=d=2l+2 is even, then
f(x,y,z)=det(G)
would be a good candidate for the implicit equation.
![Page 49: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/49.jpg)
Using moving planes
In general, we choose l such that
4l+4-d m, 2l+2 m≧ ≧Let
Then the maximum minor of matrix G would be
a candidate for the implicit equation, but it may
contain an extraneous factor.
14
dm
l
![Page 50: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/50.jpg)
Example 6 (implicitization)
A (2,2) tensor product rational surface without base point
d= 8, m=8. The basis (m1,m2,m3,m4) has a monomial support (1,s,s2,t,ts,ts2)
)193131310252
157698566
15712158413
1414161418171215(t)(s,
222222
222222
222222
222222
tst+s+s+stst++tt++
, tst+s+s+stst++tt++
, tst+s++sstst++tt++
, tst+s+s+stst++tt++P
![Page 51: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/51.jpg)
f(x,y,z)=det(G) is the implicit equation.
3
2
3
2
88
4
3
2
1
4
3
2
1 1
ts
ts
ts
t
s
s
s
G
sm
sm
sm
sm
m
m
m
m
![Page 52: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/52.jpg)
Example 7 (implicitization)
A (2,2) tensor product rational surface with a 2-ple base point
)3103682
83210
379105
3571098(t)(s,
222222
222222
222222
222222
tst+s+s+stst++t
, tt+ss+s+st+st+t
, tt+ss+s+stst++t
, tst+s+s+stst++tP
![Page 53: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/53.jpg)
Example 7 (implicitization)
d =1+1+1+2=5, m=4, l=2. The basis has a monomial support (1,s,s2,t,ts,ts2)
(m1,m2,m3,m4,sm1, sm2)=(1,s,s2,t,ts,ts2) · G6×6
Each element in the first column is just a constant multiple of each other. Thus
![Page 54: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/54.jpg)
Example 7 (implicitization)
G1 is a 5 by 5 matrix. det(G1)=h f(x,y,z),
where f(x,y,z) is the implicit equation, h is a linear extraneous factor .
1G0
*~
eG
![Page 55: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/55.jpg)
Questions1. When d=m is even, does det(G) always give the
implicit equation (i.e., det(G) doesn’t vanish)?2. When d>m or d=m is not even, under what
conditions, the maximum minor of det(G) gives the implicit equation (without extraneous factor)?
3. If the maximum minor contains an extraneous factor, can we know it in advance?
![Page 56: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/56.jpg)
Using moving quadrics
(m1, m2, m3, m4)=
(m1(s,t).X, m2(s,t).X, m3(s,t).X, m4(s,t).X)
Write
iii
i
szyxtzyx
m
m
m
m
)),,( ),,(( ,0,10
4
3
2
1
MM
![Page 57: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/57.jpg)
Using moving quadrics
Find the blending functions
B(x,y,z)= (B0(x,y,z), B1(x,y,z), B2(x,y,z), B3(x,y,z))
with total degree one in x,y,z, such that
B(x,y,z) · M0,δ (x,y,z) ≡ 0
B(x,y,z) · M1,δ (x,y,z) ≡ 0
![Page 58: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/58.jpg)
Using moving quadrics
Then
will generate moving quadrics whose degree in s is
at most σ-1 and degree one in t.
1
14321 ;),,,( ),,(
δ
i
iT t) sQ(x,y,zmmmmzyxB
![Page 59: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/59.jpg)
Using moving quadrics
In general, we can use blending functions
to generate more moving quadrics, where
Bj(x,y,z) has degree on in x,y,z:
1
14321 ;),,,( ),,,(
δ
i
iT t) sQ(x,y,zmmmmszyxB
k
j
jj szyxszyx
0
),,(),,,( BB
![Page 60: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/60.jpg)
Example 8 (implicitization)
A (2,2) tensor product rational surface without base point
d=2+2+2+2=8, m=8. The basis has support
(1,s,s2,t,ts,ts2)
)193131310252
157698566
15712158413
1414161418171215(t)(s,
222222
222222
222222
222222
tst+s+s+stst++tt++
, tst+s+s+stst++tt++
, tst+s++sstst++tt++
, tst+s+s+stst++tt++P
![Page 61: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/61.jpg)
Example 8 (continued)
Using blending function
We can get four moving quadrics with support monomial (1,s,t,ts), then
(mq1,mq2,mq3,mq4)=(1,s,t,ts) · G4×4
f(x,y,z)=det(G) gives the implicit equation.
1
0
),,();,,(j
jj szyxszyx BB
![Page 62: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/62.jpg)
Example 9 (implicitization)
A (2,2) tensor product rational surface with a 2-ple base point
d =1+1+1+2=5, m=4. The basis has a support
(1,s,s2,t,ts,ts2)
)3103682
83210
379105
3571098(t)(s,
222222
222222
222222
222222
tst+s+s+stst++t
, tt+ss+s+st+st+t
, tt+ss+s+stst++t
, tst+s+s+stst++tP
![Page 63: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/63.jpg)
Example 9 (continued)
Using blending function
we can get a moving quadrics with support (1,s,t,ts). Choose three moving planes and one moving quadric,
we can get
(mp1,mp2,mp3,mq4)=(1,s,t,ts)· G4×4
2
0
),,();,,(j
jj szyxszyx BB
![Page 64: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/64.jpg)
Example 9 (continued)
The first row of the matrix G has the following property:
where G=(gij), and l is linear in x,y,z.
1114
11213
11112
),,(
gzyxlg
gcg
gcg
![Page 65: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/65.jpg)
Example 9 (continued)
Thus
G1 is a 3 by 3 matrix with two linear rows and one quadratic rows.
Det(G1) is the correct implicit equation.
1*
0
G
eG ~
![Page 66: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/66.jpg)
Example 10 (implicitization)
A (2,2) tensor product rational surface without base point
d =1+2+2+3=8, m=8.
)1110139410
111213 )41)((
)310)((122
108114613(t)(s,
22222
2
222
222
tst + s+ s + stst + s +
+ tt + + , ts + s + t
, s + ts + t,tst + s+
s + stst + + s + tt + +
P
![Page 67: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/67.jpg)
Example 10 (implicitization)
Then
Det(G) is the implict
equation.
Newton Polygon for moving planes and quadrics
6622
214321
),,,,,1(
),,,,,(
Gtststss
mqmqmpmpmpmp
![Page 68: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/68.jpg)
Example 10 (implicitization)
Another expression
f(x,y,z)=det(G).
Newton Polygon for moving planes (quadrics, cubic)
441211 ),,,1(),,,( Gsttsmcmqmqmp
![Page 69: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/69.jpg)
Questions: Can we always generate right number of
moving planes and moving quadrics to form a square matrix with right degree?
Prove the determinant doesn’t vanish.
![Page 70: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/70.jpg)
Surfaces of Revolution
![Page 71: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/71.jpg)
Surfaces of Revolution
Let
be a parametrization of the curve C in yz-plane. The roation of C around the z-axis results in a surface of revolution with parametrization
)(
)( ,
)(
)()(
sw
sz
sw
sysC
)1)(( ),1)(( ,2)( ),1)((),( 222 tswtsztsytsyts P
![Page 72: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/72.jpg)
Surfaces of Revolution
Surface of revolution is a bidegree (n,2) tensor product surface. Let
be a mu-basis of the planar curve C(s). Assume
deg(p)=µ, then deg(q)=n- µ.
))(),(),(()(
))(),(),(()(
321
321
sqsqsqs
spspsps
q
p
![Page 73: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/73.jpg)
Surfaces of Revolution
Then
is a mu-basis of the surface of revolution. d= µ+ µ+(n- µ)+(n- µ)=2n, m=2n.
))(,)(),(,)((),(
))(),(,)(),((),(
))(,)(),(,)((),(
))(),(,)(),((),(
32114
32113
32112
32111
tsqtsqsqtsqts
sqsqtsqsqts
tsptspsptspts
spsptspspts
m
m
m
m
![Page 74: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/74.jpg)
Surfaces of Revolution
Using moving planes, the implicit equation can be written as a 2n by 2n determinant.
1
122
14
4
11
1 1
n
nnn
n
ts
t
s
s
G
sm
m
sm
m
![Page 75: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/75.jpg)
Surfaces of Revolution
Using moving planes and moving quadrics
Use blending functions to eliminate the highest degree terms in s (degree n-µ).
1
1
321
321
321
321
1
1
4
3
2
1
yq
yp
qzqxq
pzpxp
t
qzqxq
pzpxp
yq
yp
m
m
m
m
![Page 76: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/76.jpg)
Surfaces of Revolution
We use m2 and m4 to generate n-µ moving quadrics of degree n-µ-1 in s, and use m1 and m3 to generate µ moving quadrics of degree µ-1 in s.
Finally, we get 2n-2µ moving quadrics.
We can also generate 2n-4µ moving planes:
12333
12111
,,,
,,,
n
n
smsmm
smsmm
![Page 77: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/77.jpg)
Surfaces of Revolution
Finally, we have
1
1)22()22(
2
1
42
1 1
n
nnnn
ts
s
s
G
mq
mq
mp
mp
![Page 78: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/78.jpg)
Example 12 (Torus)
The torus
m=d =1+1+1+1=4. Using moving planes with monomial support (1,s,t,ts), the implicit equation can be written as a determinant of order 4.
))1)(1(),1)(323(
,2)3(),1)(3((),(2222
222
tstss
tststs
P
![Page 79: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/79.jpg)
Example 12 (Torus)
We can also implicitize the torus using two moving quadrics with support (1,s).
Therefore the implicit equation can be also written as the determinant of a 2×2 matrix.
![Page 80: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/80.jpg)
Example 13
The planar curve in yz-plane
The corresponding surface of revolution is a (3,2)
tensor product rational surface.
32
32
32
32
311
2126)(
311
5221)(
sss
ssssz
sss
sssty
![Page 81: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/81.jpg)
Example 13
m=d=1+1+2+2=6, so the implicit equation can be written as 6 by 6 determinant.
The implicit equation can also be derived from two moving planes and two moving quadrics with support (1,s,t,ts) , which is a 4 by 4 determinant.
we can also get 3 moving quadrics with support (1,s, s2), therefore the implicit equation can also be expressed as a 3 by 3 determinant.
![Page 82: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/82.jpg)
Questions:
Prove that the determinants formed by moving planes and moving quadrics do not vanish.
![Page 83: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/83.jpg)
Thank you for your attention!
![Page 84: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/84.jpg)
Example 10 (implicitization)
A (2,2) tensor product rational surface without base point
d =1+1+3+3=8, m=8.
)1110139
410111213)41)((
)310)(()41)(11((t)(s,
22222
2
tst+s+s+st+
sts++tt++, ts+s+t
,s+ts+t, ts+s+t+
P
![Page 85: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/85.jpg)
We cannot get enough moving planes and moving quadrics (even cubic) for implicitization with support:
(1, s, t, ts )
Newton Polygon for moving planes (quadrics, cubic)
![Page 86: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/86.jpg)
However, under the support (1,s,s2, t, ts, ts2), we can get four moving planes and two moving quadrics, from which we can get the implicit result.
Newton Polygon for moving planes and quadrics
![Page 87: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/87.jpg)
Example 14
The planar circle in yz-plane
This is a (4,2) tensor product rational surface. We can get
d =2+2+2+2=8=implicit degree.
432
2
432
32
311
)126)(1()(
311
)5221)(1()(
ss+s+s
s++s+ssz
ss+s+s
s+ss+sty
![Page 88: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/88.jpg)
From the basis with minimal degree summation, we can also get 4 moving quadrics with support (1,s,t,ts) using blending functions
where tdeg(B(x,y,z,s))x,y,z =1. Therefore, the implicit result can
be derived from the determinant of a 4×4 matrix.
2
0
),,();,,(j
jj szyxszyx BB
![Page 89: Falai Chen University of Science and Technology of China More on Implicitization Using Moving Surfaces.](https://reader036.fdocuments.us/reader036/viewer/2022070406/56649dff5503460f94ae6dcb/html5/thumbnails/89.jpg)
From the basis with minimal degree summation, we can also get 3 moving quadrics with support (1,s, s2) using blending functions
where tdeg(B(x,y,z,s))x,y,z =1. Therefore, the implicit result can
be derived from the determinant of a 4×4 matrix.
1
0
),,();,,(j
jj szyxszyx BB