Download presentation

Presentation is loading. Please wait.

Published byRyan Aston Modified about 1 year ago

1
Tsung-Lin Lee Department of Mathematics Michigan State University Solving polynomial systems by homotopy continuation method

2
1. (Generalized) eigenvalue problem 2.Computation of equilibrium states 3.Optimal control problem 4.Kinematic synthesis problem …… Polynomial systems appear in

3
The homotopy continuation method P 和 Q 的同倫 (the homotopy of P and Q)

6
starting systemtarget system

7
total degree homotopy T.Y. Li et al (1980’s) Theorem : For almost all choice of, this homotopy “works”.

8
starting systemtarget system

9
total degree homotopy Case: the number of solutions << the total degree The number of curves is (total degree)

10
For an n x n matrix A, the eigenvalue problem It has at most n isolated solutions Example

11
The total degree is For n = 100,

12
may have a big waste

13
polyhedral homotopy 1. The number of curves is the “ mixed volume ”. Huber and Sturmfels (1995) 2. mixed volume < total degree

14
Cheater’s homotopy (Li, Sauer, Yorke 1989) Theorem : For almost all choice of, this homotopy “works”.

15
How to solve ?

16
polyhedral homotopy Pick random powers of t, Problem : can not identify the starting system

17
Binomial equation

19
Note: when t = 1 Change variable with + terms with positive powers of t

20
The new starting system

22
Note: when t = 1 Change variable with + terms with positive powers of t

23
The new starting system

24
lifting => lower edges

25
Altogether, we get 4+1=5 solutions of Q(x)=0

26
In general

28
Binomial system When the coefficients are randomly chosen, it has nonzero solutions.

30
lifting => lower edges

33
Choose so that is attained exactly two for each. “Mixed volume Computation”

34
Note: when t = 1 Change variable Change variables Each term of looks like

35
where …

36
+ terms with positive powers of t Theorem (Huber and Sturmfels): For almost all choice of the (complex) coefficients and the (rational) powers of t, the polyhedral homotopy “works”.

37
PHCpack : Jan Verschelde HOM4PS : T. Gao, T.Y. Li, and M. Wu (MixedVol) HOM4PS-2.0 : T.L. Lee, T.Y. Li, C.H. Tsai (MixedVol-2.0) Software : homotopy methods for polynomial systems PHoM : T. Gunji, S. Kim, M. Kojima, A. Takeda, K. Fujisawa, T. Mizutani Bertini : D. Bates, J. Hauenstein, A. Sommese, C. Wampler (1999) (2004) (2006) (2008) (2003)

39
n Total degreeMixed Volume# of isolated zero eco- 153,188,6468,192 169,565,93816,384 noon- 919,68319,665 1059,04959,029 cyclic- 9362,88011,0166,642 103,628,80035,94034,940

40
n PHomPHCpackHOM4PSHOM4PS-2.0 eco- 15>12h3h55m33m15s2m25s 16>12h 2h55m6m36s noon- 95h01m33m28s21m41s22s 10>12h2h33m3h20m1m27s cyclic- 9>12h3h50m8m37s44s 10>12h11h00m57m44s2m47s Running on a Dell PC with Pentium4 CPU of 2.2GHz

41
Parallel Computation

42
# of CPUs CPU time (second) ratio 1445.321.00 2223.491.99 3150.692.96 591.314.88 768.706.48 # of CPUs CPU time (second) ratio 11475.391.00 2734.962.00 3494.192.99 5295.904.99 7212.876.93 eco-16 cyclic-11 The scalability of solving systems by polyhedral homotopy method

43
Newton’s law of motion: N-body problem

44
central configuration

45
From Marshall Hampton central configuration

47
From Marshall Hampton central configuration

48
Albouy-Chenciner equation (1998) : the distance between particle i and j: slack variable

49
3-body Albouy-Chenciner equation (1) 6 equations, 6 variables (2) Total degree = 1728 (3) Mixed volume = 99

50
4-body Albouy-Chenciner equation (1) 12 equations, 12 variables (2) Total degree = 2,985,984 (12^6) (3) Mixed volume = 81,864

51
PHCpackHOM4PS-2.0 # of complex solutions 26,53327,235 # of real solutions 133135 # of physical solutions 3132 running time 11h51m7m20s 4-body Albouy-Chenciner equation with m1=m2=m3=m4 Running on a Dell PC with Pentium D CPU of 3.2GHz

52
5-body Albouy-Chenciner equation (1) 20 equations in 20 variables (2) total degree = 61,917,364,224 (3) mixed volume = 439,631,712

53
5-body Albouy-Chenciner equation with equal masses (1)HOM4PS-2.0 (2)Call subroutines in MPI library (3)32 CPUs from SHARCNET (4)6 days (1)101,062,826 solutions. (2) 8775 are real solutions. (3) 258 are physical solutions (rij>0)

54
(1)60 collinear c.c. (2) 15+12+60+60 = 147 planar c.c. (3) 10+15+5+20 = 50 spatial c.c. (4) one 4-dimensional simplex c.c.

55
Conclusion: 1. Fewer curves in polyhedral homotopy. 2. HOM4PS-2.0 is very efficient. 3. 4, 5-body A.C. equations can be solved in reasonable hours. http://hom4ps.math.msu.edu/HOM4PS_soft.htm

61
Thank you

Similar presentations

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google