Presentation is loading. Please wait.

Presentation is loading. Please wait.

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

Similar presentations


Presentation on theme: "Tsung-Lin Lee Department of Mathematics Michigan State University Solving polynomial systems by homotopy continuation method."— Presentation transcript:

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)

4

5

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

18

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

20 The new starting system

21

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

27

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

29

30 lifting => lower edges

31

32

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)

38

39 n Total degreeMixed Volume# of isolated zero eco- 153,188,6468, ,565,93816,384 noon- 919,68319, ,04959,029 cyclic- 9362,88011,0166, ,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 # of CPUs CPU time (second) ratio 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

46

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 # 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) = 147 planar c.c. (3) = 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.

56

57

58

59

60

61 Thank you


Download ppt "Tsung-Lin Lee Department of Mathematics Michigan State University Solving polynomial systems by homotopy continuation method."

Similar presentations


Ads by Google