21st Century SOF: Toward an American Theory of Special Operations
Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination...
Transcript of Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination...
![Page 1: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/1.jpg)
Elimination Theory in the 21st century
Carlos D’Andrea
NSF-CBMS Conference on Applications of Polynomial Systems
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 2: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/2.jpg)
Before we start...
Session on Open ProblemsFriday 3.30 pm
BYOP
5 minutes per presentation
to book a time slot, contact Hal or me
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 3: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/3.jpg)
Before we start...
Session on Open ProblemsFriday 3.30 pm
BYOP
5 minutes per presentation
to book a time slot, contact Hal or me
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 4: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/4.jpg)
Before we start...
Session on Open ProblemsFriday 3.30 pm
BYOP
5 minutes per presentation
to book a time slot, contact Hal or me
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 5: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/5.jpg)
Before we start...
Session on Open ProblemsFriday 3.30 pm
BYOP
5 minutes per presentation
to book a time slot, contact Hal or me
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 6: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/6.jpg)
Before we start...
Session on Open ProblemsFriday 3.30 pm
BYOP
5 minutes per presentation
to book a time slot, contact Hal or me
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 7: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/7.jpg)
The Paradigm of the 21st Century
Apart from being crazy aboutapplications and implementations...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 8: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/8.jpg)
The Paradigm of the 21st Century
Apart from being crazy aboutapplications
and implementations...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 9: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/9.jpg)
The Paradigm of the 21st Century
Apart from being crazy aboutapplications and implementations...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 10: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/10.jpg)
The Paradigm of the 21st Century
Apart from being crazy aboutapplications and implementations...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 11: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/11.jpg)
“Cost” of Elimination
The number and “size” of the solutions ofF1(X1, . . . ,Xn) = 0F2(X1, . . . ,Xn) = 0
......
...Fn(X1, . . . ,Xn) = 0
where “size” of Fi = (d , L)is bounded by and generically equal to(
dn, ndn−1L)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 12: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/12.jpg)
“Cost” of Elimination
The number and “size” of the solutions ofF1(X1, . . . ,Xn) = 0F2(X1, . . . ,Xn) = 0
......
...Fn(X1, . . . ,Xn) = 0
where “size” of Fi = (d , L)is bounded by and generically equal to(
dn, ndn−1L)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 13: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/13.jpg)
“Cost” of Elimination
The number and “size” of the solutions ofF1(X1, . . . ,Xn) = 0F2(X1, . . . ,Xn) = 0
......
...Fn(X1, . . . ,Xn) = 0
where “size” of Fi = (d , L)
is bounded by and generically equal to(dn, ndn−1L
)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 14: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/14.jpg)
“Cost” of Elimination
The number and “size” of the solutions ofF1(X1, . . . ,Xn) = 0F2(X1, . . . ,Xn) = 0
......
...Fn(X1, . . . ,Xn) = 0
where “size” of Fi = (d , L)is bounded by and generically equal to(
dn, ndn−1L)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 15: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/15.jpg)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 16: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/16.jpg)
The output is already exponential!!!
Moreover: the complexity ofcomputing Grobner bases is double
exponential in (d , L)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 17: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/17.jpg)
The output is already exponential!!!
Moreover:
the complexity ofcomputing Grobner bases is double
exponential in (d , L)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 18: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/18.jpg)
The output is already exponential!!!
Moreover: the complexity ofcomputing Grobner bases is double
exponential in (d , L)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 19: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/19.jpg)
What can we do then???
“Relax” the input (and expect theoutput to be “relaxed” too!)
Change the Computational Model
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 20: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/20.jpg)
What can we do then???
“Relax” the input
(and expect theoutput to be “relaxed” too!)
Change the Computational Model
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 21: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/21.jpg)
What can we do then???
“Relax” the input (and expect theoutput to be “relaxed” too!)
Change the Computational Model
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 22: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/22.jpg)
What can we do then???
“Relax” the input (and expect theoutput to be “relaxed” too!)
Change the Computational ModelCarlos D’Andrea
Elimination Theory in the 21st century
![Page 23: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/23.jpg)
Relaxing the input
Tropical Geometry“Relaxed” resultantsImplicitization matrices(Wednesday)Syzygies and Rees Algebras(Wednesday) . . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 24: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/24.jpg)
Relaxing the input
Tropical Geometry
“Relaxed” resultantsImplicitization matrices(Wednesday)Syzygies and Rees Algebras(Wednesday) . . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 25: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/25.jpg)
Relaxing the input
Tropical Geometry“Relaxed” resultants
Implicitization matrices(Wednesday)Syzygies and Rees Algebras(Wednesday) . . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 26: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/26.jpg)
Relaxing the input
Tropical Geometry“Relaxed” resultantsImplicitization matrices
(Wednesday)Syzygies and Rees Algebras(Wednesday) . . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 27: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/27.jpg)
Relaxing the input
Tropical Geometry“Relaxed” resultantsImplicitization matrices(Wednesday)
Syzygies and Rees Algebras(Wednesday) . . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 28: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/28.jpg)
Relaxing the input
Tropical Geometry“Relaxed” resultantsImplicitization matrices(Wednesday)Syzygies and Rees Algebras
(Wednesday) . . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 29: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/29.jpg)
Relaxing the input
Tropical Geometry“Relaxed” resultantsImplicitization matrices(Wednesday)Syzygies and Rees Algebras(Wednesday)
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 30: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/30.jpg)
Relaxing the input
Tropical Geometry“Relaxed” resultantsImplicitization matrices(Wednesday)Syzygies and Rees Algebras(Wednesday) . . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 31: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/31.jpg)
Changing the model
Probabilistic algorithmsComputations “over the Reals”“Parallelization”Homotopy methods (Tomorrow). . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 32: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/32.jpg)
Changing the model
Probabilistic algorithms
Computations “over the Reals”“Parallelization”Homotopy methods (Tomorrow). . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 33: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/33.jpg)
Changing the model
Probabilistic algorithmsComputations “over the Reals”
“Parallelization”Homotopy methods (Tomorrow). . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 34: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/34.jpg)
Changing the model
Probabilistic algorithmsComputations “over the Reals”“Parallelization”
Homotopy methods (Tomorrow). . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 35: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/35.jpg)
Changing the model
Probabilistic algorithmsComputations “over the Reals”“Parallelization”Homotopy methods
(Tomorrow). . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 36: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/36.jpg)
Changing the model
Probabilistic algorithmsComputations “over the Reals”“Parallelization”Homotopy methods (Tomorrow)
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 37: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/37.jpg)
Changing the model
Probabilistic algorithmsComputations “over the Reals”“Parallelization”Homotopy methods (Tomorrow). . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 38: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/38.jpg)
Some “Tapas” into the 21st century
Disclaimer
These are not the highlights of the 21stcentury (so far), just a sampling of resultsAll these areas are very active and promisingright now, more will appear in the future...A lot of important names and interesting areaswill be omitted...sorry!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 39: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/39.jpg)
Some “Tapas” into the 21st century
Disclaimer
These are not the highlights of the 21stcentury (so far), just a sampling of resultsAll these areas are very active and promisingright now, more will appear in the future...A lot of important names and interesting areaswill be omitted...sorry!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 40: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/40.jpg)
Some “Tapas” into the 21st century
Disclaimer
These are not the highlights of the 21stcentury (so far), just a sampling of resultsAll these areas are very active and promisingright now, more will appear in the future...A lot of important names and interesting areaswill be omitted...sorry!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 41: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/41.jpg)
Some “Tapas” into the 21st century
Disclaimer
These are not the highlights of the 21stcentury (so far), just a sampling of results
All these areas are very active and promisingright now, more will appear in the future...A lot of important names and interesting areaswill be omitted...sorry!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 42: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/42.jpg)
Some “Tapas” into the 21st century
Disclaimer
These are not the highlights of the 21stcentury (so far), just a sampling of resultsAll these areas are very active and promisingright now
, more will appear in the future...A lot of important names and interesting areaswill be omitted...sorry!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 43: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/43.jpg)
Some “Tapas” into the 21st century
Disclaimer
These are not the highlights of the 21stcentury (so far), just a sampling of resultsAll these areas are very active and promisingright now, more will appear in the future...
A lot of important names and interesting areaswill be omitted...sorry!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 44: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/44.jpg)
Some “Tapas” into the 21st century
Disclaimer
These are not the highlights of the 21stcentury (so far), just a sampling of resultsAll these areas are very active and promisingright now, more will appear in the future...A lot of important names and interesting areaswill be omitted...
sorry!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 45: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/45.jpg)
Some “Tapas” into the 21st century
Disclaimer
These are not the highlights of the 21stcentury (so far), just a sampling of resultsAll these areas are very active and promisingright now, more will appear in the future...A lot of important names and interesting areaswill be omitted...sorry!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 46: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/46.jpg)
Tropical: from Exponential to Polynomial
The logarithmic limit set of avariety V ⊂ Cn is a fan in Rn, the
Tropical Variety of V(MSC 2010 14Txx)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 47: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/47.jpg)
Tropical: from Exponential to Polynomial
The logarithmic limit set of avariety V ⊂ Cn is a fan in Rn
, theTropical Variety of V
(MSC 2010 14Txx)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 48: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/48.jpg)
Tropical: from Exponential to Polynomial
The logarithmic limit set of avariety V ⊂ Cn is a fan in Rn, the
Tropical Variety of V
(MSC 2010 14Txx)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 49: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/49.jpg)
Tropical: from Exponential to Polynomial
The logarithmic limit set of avariety V ⊂ Cn is a fan in Rn, the
Tropical Variety of V(MSC 2010 14Txx)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 50: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/50.jpg)
Computing Tropical Varieties
is “fast”
encodes a lot of information aboutthe original variety (dimension,degree, singularities...)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 51: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/51.jpg)
Computing Tropical Varieties
is “fast”
encodes a lot of information aboutthe original variety (dimension,degree, singularities...)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 52: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/52.jpg)
Computing Tropical Varieties
is “fast”
encodes a lot of information aboutthe original variety
(dimension,degree, singularities...)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 53: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/53.jpg)
Computing Tropical Varieties
is “fast”
encodes a lot of information aboutthe original variety (dimension,degree, singularities...)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 54: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/54.jpg)
First tapa: Tropical Discriminants
Alicia Dickenstein, Eva MariaFeitchner, Bernd Sturmfels“Tropical Discriminants”
( JAMS 2007)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 55: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/55.jpg)
First tapa: Tropical Discriminants
Alicia Dickenstein, Eva MariaFeitchner, Bernd Sturmfels“Tropical Discriminants”
( JAMS 2007)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 56: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/56.jpg)
Main Result
Theorem 1.1For any d × n matrix A, the tropicalA-discriminant τ (XA∗) equals the
Minkowski sum of theco-Bergman fan B∗(A) and the
row space of A.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 57: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/57.jpg)
Main Result
Theorem 1.1
For any d × n matrix A, the tropicalA-discriminant τ (XA∗) equals the
Minkowski sum of theco-Bergman fan B∗(A) and the
row space of A.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 58: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/58.jpg)
Main Result
Theorem 1.1For any d × n matrix A, the tropicalA-discriminant τ (XA∗) equals the
Minkowski sum of theco-Bergman fan B∗(A) and the
row space of A.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 59: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/59.jpg)
What is the co-Bergman fan?
“is” the tropicalization of the kernelof A
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 60: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/60.jpg)
What is the co-Bergman fan?
“is” the tropicalization of the kernelof A
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 61: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/61.jpg)
Tapa # 2:Tropical Elimination
Bernd Sturmfels, Jenia Tevelev“Elimination Theory for Tropical
Varieties”( MRL 2008)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 62: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/62.jpg)
Tapa # 2:Tropical Elimination
Bernd Sturmfels, Jenia Tevelev“Elimination Theory for Tropical
Varieties”( MRL 2008)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 63: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/63.jpg)
Theorem1.1
Let α : Tn → Td be a homomorphism of tori and letA : Zn → Zd be the corresponding linear map of
lattices of one-parameter subgroups. Suppose thatα induces a generically finite morphism from X ontoα(X ). Then A induces a generically finite map oftropical varieties from T (X ) onto T (α(X )).
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 64: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/64.jpg)
Theorem1.1
Let α : Tn → Td be a homomorphism of tori
and letA : Zn → Zd be the corresponding linear map of
lattices of one-parameter subgroups. Suppose thatα induces a generically finite morphism from X ontoα(X ). Then A induces a generically finite map oftropical varieties from T (X ) onto T (α(X )).
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 65: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/65.jpg)
Theorem1.1
Let α : Tn → Td be a homomorphism of tori and letA : Zn → Zd be the corresponding linear map of
lattices of one-parameter subgroups.
Suppose thatα induces a generically finite morphism from X ontoα(X ). Then A induces a generically finite map oftropical varieties from T (X ) onto T (α(X )).
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 66: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/66.jpg)
Theorem1.1
Let α : Tn → Td be a homomorphism of tori and letA : Zn → Zd be the corresponding linear map of
lattices of one-parameter subgroups. Suppose thatα induces a generically finite morphism from X ontoα(X ).
Then A induces a generically finite map oftropical varieties from T (X ) onto T (α(X )).
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 67: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/67.jpg)
Theorem1.1
Let α : Tn → Td be a homomorphism of tori and letA : Zn → Zd be the corresponding linear map of
lattices of one-parameter subgroups. Suppose thatα induces a generically finite morphism from X ontoα(X ). Then A induces a generically finite map oftropical varieties from T (X ) onto T (α(X )).
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 68: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/68.jpg)
What about Tropical Resultants?
Anders Jensen, Josephine Yu“Computing Tropical Resultants”
(JA 2013)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 69: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/69.jpg)
What about Tropical Resultants?
Anders Jensen, Josephine Yu“Computing Tropical Resultants”
(JA 2013)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 70: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/70.jpg)
From the abstract:
We fix the supports A = (A1, . . . ,Ak)of a list of tropical polynomials
and define the tropical resultantTR(A) to be the set of choices ofcoefficients such that the tropical
polynomials have a common solution.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 71: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/71.jpg)
From the abstract:
We fix the supports A = (A1, . . . ,Ak)of a list of tropical polynomials
and define the tropical resultantTR(A) to be the set of choices ofcoefficients such that the tropical
polynomials have a common solution.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 72: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/72.jpg)
From the abstract II
We prove that TR(A) is thetropicalization of the algebraic variety
of solvable systems and that itsdimension can be computed in
polynomial time...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 73: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/73.jpg)
From the abstract II
We prove that TR(A) is thetropicalization of the algebraic variety
of solvable systems and that itsdimension can be computed in
polynomial time...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 74: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/74.jpg)
From the abstract III
We also present a new algorithm forrecovering a Newton polytopefrom the support of its tropical
hypersurface. We use this to computethe Newton polytope of the sparse
resultant polynomial in the case whenTR(A) is of codimension 1...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 75: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/75.jpg)
From the abstract III
We also present a new algorithm forrecovering a Newton polytopefrom the support of its tropical
hypersurface. We use this to computethe Newton polytope of the sparse
resultant polynomial in the case whenTR(A) is of codimension 1...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 76: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/76.jpg)
From the abstract III
We also present a new algorithm forrecovering a Newton polytopefrom the support of its tropical
hypersurface. We use this to computethe Newton polytope of the sparse
resultant polynomial in the case whenTR(A) is of codimension 1...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 77: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/77.jpg)
“Relaxed” resultants
In the “real world” systems ofequations are neither homogeneousnor all the monomials appear in the
expansion F0 = a01 + a02X12 X2
2 + a03X1 X23
F1 = a10 + a11X12 + a12X1 X2
2
F2 = a20X13 + a21X1 X2
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 78: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/78.jpg)
“Relaxed” resultants
In the “real world” systems ofequations are neither homogeneousnor all the monomials appear in the
expansion F0 = a01 + a02X12 X2
2 + a03X1 X23
F1 = a10 + a11X12 + a12X1 X2
2
F2 = a20X13 + a21X1 X2
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 79: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/79.jpg)
Sparse Resultants (after GKZ)
D, Martın Sombra“A Poisson formula for the sparse resultant”
(PLMS 2015)
W = {(ci ,a, ξ) : Fi(ξ) = 0∀i} ⊂ PA0 × . . .× PAn × (C×)n
↓ ↓ ππ(W ) ⊂ PA0 × . . .× PAn
The sparse resultant of F0, . . . ,Fn is the definingequation of the direct image π∗Wdn 7→ MV (N(A1), . . . ,N(An))
ndn−1L 7→ nMV (N(A1), . . . ,N(An))L
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 80: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/80.jpg)
Sparse Resultants (after GKZ)
D, Martın Sombra“A Poisson formula for the sparse resultant”
(PLMS 2015)
W = {(ci ,a, ξ) : Fi(ξ) = 0∀i} ⊂ PA0 × . . .× PAn × (C×)n
↓ ↓ ππ(W ) ⊂ PA0 × . . .× PAn
The sparse resultant of F0, . . . ,Fn is the definingequation of the direct image π∗Wdn 7→ MV (N(A1), . . . ,N(An))
ndn−1L 7→ nMV (N(A1), . . . ,N(An))L
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 81: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/81.jpg)
Sparse Resultants (after GKZ)
D, Martın Sombra“A Poisson formula for the sparse resultant”
(PLMS 2015)
W = {(ci ,a, ξ) : Fi(ξ) = 0∀i} ⊂ PA0 × . . .× PAn × (C×)n
↓ ↓ ππ(W ) ⊂ PA0 × . . .× PAn
The sparse resultant of F0, . . . ,Fn is the definingequation of the direct image π∗W
dn 7→ MV (N(A1), . . . ,N(An))ndn−1L 7→ nMV (N(A1), . . . ,N(An))L
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 82: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/82.jpg)
Sparse Resultants (after GKZ)
D, Martın Sombra“A Poisson formula for the sparse resultant”
(PLMS 2015)
W = {(ci ,a, ξ) : Fi(ξ) = 0∀i} ⊂ PA0 × . . .× PAn × (C×)n
↓ ↓ ππ(W ) ⊂ PA0 × . . .× PAn
The sparse resultant of F0, . . . ,Fn is the definingequation of the direct image π∗Wdn 7→ MV (N(A1), . . . ,N(An))
ndn−1L 7→ nMV (N(A1), . . . ,N(An))L
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 83: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/83.jpg)
Sparse Resultants (after GKZ)
D, Martın Sombra“A Poisson formula for the sparse resultant”
(PLMS 2015)
W = {(ci ,a, ξ) : Fi(ξ) = 0∀i} ⊂ PA0 × . . .× PAn × (C×)n
↓ ↓ ππ(W ) ⊂ PA0 × . . .× PAn
The sparse resultant of F0, . . . ,Fn is the definingequation of the direct image π∗Wdn 7→ MV (N(A1), . . . ,N(An))
ndn−1L 7→ nMV (N(A1), . . . ,N(An))L
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 84: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/84.jpg)
Other “relaxed” resultants
By replacing (C×)n with other “efficient” varietiesX , we get “efficient” resultants:
W = {(ci ,a, ξ) : Fi(ξ) = 0 ∀i} ⊂ PN0 × . . .× PNn × X↓ ↓ π
π(W ) ⊂ PN0 × . . .× PNn
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 85: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/85.jpg)
Other “relaxed” resultants
By replacing (C×)n with other “efficient” varietiesX , we get “efficient” resultants:
W = {(ci ,a, ξ) : Fi(ξ) = 0 ∀i} ⊂ PN0 × . . .× PNn × X↓ ↓ π
π(W ) ⊂ PN0 × . . .× PNn
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 86: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/86.jpg)
Examples of “relaxed” resultants
Reduced Resultants (Zariski,Jouanolou,...)
Weighted Resultants (Jouanolou)
Parametric Resultants(Buse-Elkadi-Mourrain)
Residual Resultants (Buse)
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 87: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/87.jpg)
Examples of “relaxed” resultants
Reduced Resultants (Zariski,Jouanolou,...)
Weighted Resultants (Jouanolou)
Parametric Resultants(Buse-Elkadi-Mourrain)
Residual Resultants (Buse)
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 88: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/88.jpg)
Examples of “relaxed” resultants
Reduced Resultants (Zariski,Jouanolou,...)
Weighted Resultants (Jouanolou)
Parametric Resultants(Buse-Elkadi-Mourrain)
Residual Resultants (Buse)
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 89: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/89.jpg)
Examples of “relaxed” resultants
Reduced Resultants (Zariski,Jouanolou,...)
Weighted Resultants (Jouanolou)
Parametric Resultants(Buse-Elkadi-Mourrain)
Residual Resultants (Buse)
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 90: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/90.jpg)
Examples of “relaxed” resultants
Reduced Resultants (Zariski,Jouanolou,...)
Weighted Resultants (Jouanolou)
Parametric Resultants(Buse-Elkadi-Mourrain)
Residual Resultants (Buse)
. . .Carlos D’Andrea
Elimination Theory in the 21st century
![Page 91: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/91.jpg)
Implicitization matrices
Recall van der Waerden’s matrix introduced thismorning:
Ms(λ)
...
xβ...
=
...
xαFi...
For s � 0, the rank of Ms(λ) drops iff there is a
common solution
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 92: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/92.jpg)
Implicitization matrices
Recall van der Waerden’s matrix introduced thismorning:
Ms(λ)
...
xβ...
=
...
xαFi...
For s � 0, the rank of Ms(λ) drops iff there is acommon solution
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 93: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/93.jpg)
Implicitization matrices
Recall van der Waerden’s matrix introduced thismorning:
Ms(λ)
...
xβ...
=
...
xαFi...
For s � 0, the rank of Ms(λ) drops iff there is a
common solutionCarlos D’Andrea
Elimination Theory in the 21st century
![Page 94: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/94.jpg)
“Rank” vs “Determinant”
Laurent Buse“Implicit matrix representations of
rational Bezier curves and surfaces”(CAGD 2014)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 95: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/95.jpg)
“Rank” vs “Determinant”
Laurent Buse“Implicit matrix representations of
rational Bezier curves and surfaces”(CAGD 2014)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 96: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/96.jpg)
Idea
Given a rational parametrization of aspatial curve (φ1(t), φ2(t), φ3(t))
Classic implicitization: Compute theequations Fi(X ,Y ,Z ) of the image
21st century implicitization: Computea matrix M(X ,Y ,Z ) such that its
rank drops on the points of the curve
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 97: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/97.jpg)
Idea
Given a rational parametrization of aspatial curve (φ1(t), φ2(t), φ3(t))
Classic implicitization:
Compute theequations Fi(X ,Y ,Z ) of the image
21st century implicitization: Computea matrix M(X ,Y ,Z ) such that its
rank drops on the points of the curve
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 98: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/98.jpg)
Idea
Given a rational parametrization of aspatial curve (φ1(t), φ2(t), φ3(t))
Classic implicitization: Compute theequations Fi(X ,Y ,Z ) of the image
21st century implicitization: Computea matrix M(X ,Y ,Z ) such that its
rank drops on the points of the curve
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 99: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/99.jpg)
Idea
Given a rational parametrization of aspatial curve (φ1(t), φ2(t), φ3(t))
Classic implicitization: Compute theequations Fi(X ,Y ,Z ) of the image
21st century implicitization:
Computea matrix M(X ,Y ,Z ) such that its
rank drops on the points of the curve
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 100: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/100.jpg)
Idea
Given a rational parametrization of aspatial curve (φ1(t), φ2(t), φ3(t))
Classic implicitization: Compute theequations Fi(X ,Y ,Z ) of the image
21st century implicitization: Computea matrix M(X ,Y ,Z ) such that its
rank drops on the points of the curveCarlos D’Andrea
Elimination Theory in the 21st century
![Page 101: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/101.jpg)
Properties
Entries are linear in X ,Y ,ZTesting rank is fast by usingnumerical methodsOver the reals one can use SVDand other numerical methodsWell suited for a lot of problems inCAGD (properness, inversion,...)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 102: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/102.jpg)
Properties
Entries are linear in X ,Y ,Z
Testing rank is fast by usingnumerical methodsOver the reals one can use SVDand other numerical methodsWell suited for a lot of problems inCAGD (properness, inversion,...)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 103: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/103.jpg)
Properties
Entries are linear in X ,Y ,ZTesting rank is fast by usingnumerical methods
Over the reals one can use SVDand other numerical methodsWell suited for a lot of problems inCAGD (properness, inversion,...)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 104: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/104.jpg)
Properties
Entries are linear in X ,Y ,ZTesting rank is fast by usingnumerical methodsOver the reals one can use SVDand other numerical methods
Well suited for a lot of problems inCAGD (properness, inversion,...)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 105: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/105.jpg)
Properties
Entries are linear in X ,Y ,ZTesting rank is fast by usingnumerical methodsOver the reals one can use SVDand other numerical methodsWell suited for a lot of problems inCAGD (properness, inversion,...)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 106: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/106.jpg)
More about this on Wednesday!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 107: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/107.jpg)
Syzygies and Rees Algebras
Warming up tapa
The rest on Wednesday :-)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 108: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/108.jpg)
Syzygies and Rees Algebras
Warming up tapa
The rest on Wednesday :-)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 109: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/109.jpg)
Syzygies and Rees Algebras
Warming up tapa
The rest on Wednesday :-)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 110: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/110.jpg)
Example (Sederberg & Chen 1995)
The implicit equation of a rational quartic can becomputed as a 2× 2 determinant.
If the curve has a triple point, then one row islinear and the other is cubic.
Otherwise, both rows are quadratic.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 111: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/111.jpg)
Example (Sederberg & Chen 1995)
The implicit equation of a rational quartic can becomputed as a 2× 2 determinant.
If the curve has a triple point, then one row islinear and the other is cubic.
Otherwise, both rows are quadratic.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 112: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/112.jpg)
Example (Sederberg & Chen 1995)
The implicit equation of a rational quartic can becomputed as a 2× 2 determinant.
If the curve has a triple point, then one row islinear and the other is cubic.
Otherwise, both rows are quadratic.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 113: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/113.jpg)
Example (Sederberg & Chen 1995)
The implicit equation of a rational quartic can becomputed as a 2× 2 determinant.
If the curve has a triple point, then one row islinear and the other is cubic.
Otherwise, both rows are quadratic.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 114: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/114.jpg)
A quartic with a triple point
φ(t0, t1) = (t40 − t41 : −t20 t21 : t0t31 )
F (X0,X1,X2) = X 42 − X 4
1 − X0X1X22
L1,1(T ,X ) = T0X2 + T1X1
L1,3(T ,X ) = T0(X 31 + X0X
22 ) + T1 X
32(
X2 X1
X 31 + X0X
22 X 3
2
)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 115: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/115.jpg)
A quartic with a triple point
φ(t0, t1) = (t40 − t41 : −t20 t21 : t0t31 )
F (X0,X1,X2) = X 42 − X 4
1 − X0X1X22
L1,1(T ,X ) = T0X2 + T1X1
L1,3(T ,X ) = T0(X 31 + X0X
22 ) + T1 X
32(
X2 X1
X 31 + X0X
22 X 3
2
)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 116: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/116.jpg)
A quartic with a triple point
φ(t0, t1) = (t40 − t41 : −t20 t21 : t0t31 )
F (X0,X1,X2) = X 42 − X 4
1 − X0X1X22
L1,1(T ,X ) = T0X2 + T1X1
L1,3(T ,X ) = T0(X 31 + X0X
22 ) + T1 X
32(
X2 X1
X 31 + X0X
22 X 3
2
)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 117: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/117.jpg)
A quartic with a triple point
φ(t0, t1) = (t40 − t41 : −t20 t21 : t0t31 )
F (X0,X1,X2) = X 42 − X 4
1 − X0X1X22
L1,1(T ,X ) = T0X2 + T1X1
L1,3(T ,X ) = T0(X 31 + X0X
22 ) + T1 X
32(
X2 X1
X 31 + X0X
22 X 3
2
)Carlos D’Andrea
Elimination Theory in the 21st century
![Page 118: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/118.jpg)
A quartic without triple points
φ(t0 : t1) = (t40 : 6t20 t21 − 4t41 : 4t30 t1 − 4t0t
31 )
F (X ) = X 42 + 4X0X
31 + 2X0X1X
22 −16X 2
0X21 −6X 2
0X22 + 16X 3
0X1
L1,2(T ,X ) = T0(X1X2 − X0X2) + T1(−X 22 − 2X0X1 + 4X 2
0 )
L1,2(T ,X ) = T0(X 21 + 1
2X 22 − 2X0X1) + T1(X0X2 − X1X2)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 119: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/119.jpg)
A quartic without triple points
φ(t0 : t1) = (t40 : 6t20 t21 − 4t41 : 4t30 t1 − 4t0t
31 )
F (X ) = X 42 + 4X0X
31 + 2X0X1X
22 −16X 2
0X21 −6X 2
0X22 + 16X 3
0X1
L1,2(T ,X ) = T0(X1X2 − X0X2) + T1(−X 22 − 2X0X1 + 4X 2
0 )
L1,2(T ,X ) = T0(X 21 + 1
2X 22 − 2X0X1) + T1(X0X2 − X1X2)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 120: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/120.jpg)
A quartic without triple points
φ(t0 : t1) = (t40 : 6t20 t21 − 4t41 : 4t30 t1 − 4t0t
31 )
F (X ) = X 42 + 4X0X
31 + 2X0X1X
22 −16X 2
0X21 −6X 2
0X22 + 16X 3
0X1
L1,2(T ,X ) = T0(X1X2 − X0X2) + T1(−X 22 − 2X0X1 + 4X 2
0 )
L1,2(T ,X ) = T0(X 21 + 1
2X 22 − 2X0X1) + T1(X0X2 − X1X2)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 121: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/121.jpg)
A very compact formula
If the curve has a point of multiplicity d − 1the implicit equation is always a 2× 2 determinantof a moving line and a moving curve of degree
d − 1∣∣∣∣ L1,1(X ) L′1,1(X )
L1,d−1(X ) L′1,d−1(X )
∣∣∣∣
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 122: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/122.jpg)
A very compact formula
If the curve has a point of multiplicity d − 1
the implicit equation is always a 2× 2 determinantof a moving line and a moving curve of degree
d − 1∣∣∣∣ L1,1(X ) L′1,1(X )
L1,d−1(X ) L′1,d−1(X )
∣∣∣∣
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 123: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/123.jpg)
A very compact formula
If the curve has a point of multiplicity d − 1the implicit equation is always a 2× 2 determinantof a moving line and a moving curve of degree
d − 1∣∣∣∣ L1,1(X ) L′1,1(X )
L1,d−1(X ) L′1,d−1(X )
∣∣∣∣Carlos D’Andrea
Elimination Theory in the 21st century
![Page 124: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/124.jpg)
The “method” of moving curves
The implicit equation of a rational curve should becomputed as the determinant of a small matrix
whose entries are∣∣∣∣∣∣∣∣some moving lines
some moving conicssome moving cubics
· · ·
∣∣∣∣∣∣∣∣the more singular the curve, the simpler the
description of the determinant
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 125: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/125.jpg)
The “method” of moving curves
The implicit equation of a rational curve should becomputed as the determinant of a small matrix
whose entries are
∣∣∣∣∣∣∣∣some moving lines
some moving conicssome moving cubics
· · ·
∣∣∣∣∣∣∣∣the more singular the curve, the simpler the
description of the determinant
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 126: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/126.jpg)
The “method” of moving curves
The implicit equation of a rational curve should becomputed as the determinant of a small matrix
whose entries are∣∣∣∣∣∣∣∣some moving lines
some moving conicssome moving cubics
· · ·
∣∣∣∣∣∣∣∣
the more singular the curve, the simpler thedescription of the determinant
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 127: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/127.jpg)
The “method” of moving curves
The implicit equation of a rational curve should becomputed as the determinant of a small matrix
whose entries are∣∣∣∣∣∣∣∣some moving lines
some moving conicssome moving cubics
· · ·
∣∣∣∣∣∣∣∣the more singular the curve, the simpler the
description of the determinantCarlos D’Andrea
Elimination Theory in the 21st century
![Page 128: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/128.jpg)
In general, we do not know..
∣∣∣∣∣∣∣∣which moving lines?
which moving conics?which moving cubics?
· · ·
∣∣∣∣∣∣∣∣
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 129: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/129.jpg)
In general, we do not know..
∣∣∣∣∣∣∣∣which moving lines?
which moving conics?which moving cubics?
· · ·
∣∣∣∣∣∣∣∣
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 130: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/130.jpg)
Some order in the 21st century
David Cox “The moving curve ideal and the Reesalgebra” (TCS 2008)
Kφ := {Moving curves following φ} =homogeneous elements in the kernel of
K[T0,T1,X0,X1,X2] → K[T0,T1, s]Ti 7→ Ti
X0 7→ φ0(T )sX1 7→ φ1(T )sX2 7→ φ2(T )s
The image of this map is the Rees Algebra of φ
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 131: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/131.jpg)
Some order in the 21st century
David Cox “The moving curve ideal and the Reesalgebra” (TCS 2008)
Kφ := {Moving curves following φ} =homogeneous elements in the kernel of
K[T0,T1,X0,X1,X2] → K[T0,T1, s]Ti 7→ Ti
X0 7→ φ0(T )sX1 7→ φ1(T )sX2 7→ φ2(T )s
The image of this map is the Rees Algebra of φ
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 132: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/132.jpg)
Some order in the 21st century
David Cox “The moving curve ideal and the Reesalgebra” (TCS 2008)
Kφ := {Moving curves following φ} =homogeneous elements in the kernel of
K[T0,T1,X0,X1,X2] → K[T0,T1, s]Ti 7→ Ti
X0 7→ φ0(T )sX1 7→ φ1(T )sX2 7→ φ2(T )s
The image of this map is the Rees Algebra of φ
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 133: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/133.jpg)
Some order in the 21st century
David Cox “The moving curve ideal and the Reesalgebra” (TCS 2008)
Kφ := {Moving curves following φ} =homogeneous elements in the kernel of
K[T0,T1,X0,X1,X2] → K[T0,T1, s]Ti 7→ Ti
X0 7→ φ0(T )sX1 7→ φ1(T )sX2 7→ φ2(T )s
The image of this map is the Rees Algebra of φCarlos D’Andrea
Elimination Theory in the 21st century
![Page 134: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/134.jpg)
Method of moving curves revisited
The implicit equation should be obtained as thedeterminant of a matrix with∣∣∣∣∣∣∣∣
· · ·some minimal generators of Kφ
and relations among them· · ·
∣∣∣∣∣∣∣∣The more singular the curve, the “simpler” the
description of Kφ
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 135: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/135.jpg)
Method of moving curves revisited
The implicit equation should be obtained as thedeterminant of a matrix with
∣∣∣∣∣∣∣∣· · ·
some minimal generators of Kφand relations among them
· · ·
∣∣∣∣∣∣∣∣The more singular the curve, the “simpler” the
description of Kφ
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 136: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/136.jpg)
Method of moving curves revisited
The implicit equation should be obtained as thedeterminant of a matrix with∣∣∣∣∣∣∣∣
· · ·some minimal generators of Kφ
and relations among them· · ·
∣∣∣∣∣∣∣∣
The more singular the curve, the “simpler” thedescription of Kφ
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 137: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/137.jpg)
Method of moving curves revisited
The implicit equation should be obtained as thedeterminant of a matrix with∣∣∣∣∣∣∣∣
· · ·some minimal generators of Kφ
and relations among them· · ·
∣∣∣∣∣∣∣∣The more singular the curve, the “simpler” the
description of KφCarlos D’Andrea
Elimination Theory in the 21st century
![Page 138: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/138.jpg)
21st Century Problem
Compute a minimal system ofgenerators of Kφ for any φ
We are working on that!(More on Wednesday)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 139: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/139.jpg)
21st Century Problem
Compute a minimal system ofgenerators of Kφ
for any φ
We are working on that!(More on Wednesday)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 140: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/140.jpg)
21st Century Problem
Compute a minimal system ofgenerators of Kφ for any φ
We are working on that!(More on Wednesday)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 141: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/141.jpg)
21st Century Problem
Compute a minimal system ofgenerators of Kφ for any φ
We are working on that!
(More on Wednesday)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 142: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/142.jpg)
21st Century Problem
Compute a minimal system ofgenerators of Kφ for any φ
We are working on that!(More on Wednesday)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 143: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/143.jpg)
21st Century Problem
Compute a minimal system ofgenerators of Kφ for any φ
We are working on that!(More on Wednesday)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 144: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/144.jpg)
Changing the model of computation
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 145: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/145.jpg)
Probabilistic Algorithms: faster they are
Gabriela Jeronimo, Teresa Krick,Juan Sabia, Martın Sombra
“The Computational Complexity ofthe Chow Form”( JFoCM 2004)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 146: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/146.jpg)
Probabilistic Algorithms: faster they are
Gabriela Jeronimo, Teresa Krick,Juan Sabia, Martın Sombra
“The Computational Complexity ofthe Chow Form”( JFoCM 2004)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 147: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/147.jpg)
From the abstract:
We present a bounded probability algorithm forthe computation of the Chow forms (resultants) of
the equidimensional components of a variety...
The expected complexity of the algorithm ispolynomial in the size and the geometric degree of
the input equation system defining the variety...
As an application, we obtain an algorithm tocompute a subclass of sparse resultants, whose
complexity is polynomial in the dimension and thevolume of the input set of exponents...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 148: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/148.jpg)
From the abstract:
We present a bounded probability algorithm forthe computation of the Chow forms (resultants) of
the equidimensional components of a variety...
The expected complexity of the algorithm ispolynomial in the size and the geometric degree of
the input equation system defining the variety...
As an application, we obtain an algorithm tocompute a subclass of sparse resultants, whose
complexity is polynomial in the dimension and thevolume of the input set of exponents...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 149: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/149.jpg)
From the abstract:
We present a bounded probability algorithm forthe computation of the Chow forms (resultants) of
the equidimensional components of a variety...
The expected complexity of the algorithm ispolynomial in the size and the geometric degree of
the input equation system defining the variety...
As an application, we obtain an algorithm tocompute a subclass of sparse resultants, whose
complexity is polynomial in the dimension and thevolume of the input set of exponents...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 150: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/150.jpg)
Main idea
Given (equations) of a d-dimensional varietyV ⊂ Pn
Cut V with “general” (probabilistically) dhyperplanes to obtain finite points:V ∩ {x1 = . . . = xd = 0} = {ξ1, . . . , ξD}From (a geometric resolution of) {ξ1, . . . , ξD},lift (Newton’s Method) to the Chow Form ofV ∩ {x1 = . . . = xd−1 = 0}Do it (d − 1) times more...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 151: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/151.jpg)
Main idea
Given (equations) of a d-dimensional varietyV ⊂ Pn
Cut V with “general” (probabilistically) dhyperplanes to obtain finite points:V ∩ {x1 = . . . = xd = 0} = {ξ1, . . . , ξD}From (a geometric resolution of) {ξ1, . . . , ξD},lift (Newton’s Method) to the Chow Form ofV ∩ {x1 = . . . = xd−1 = 0}Do it (d − 1) times more...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 152: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/152.jpg)
Main idea
Given (equations) of a d-dimensional varietyV ⊂ Pn
Cut V with “general” (probabilistically) dhyperplanes to obtain finite points:V ∩ {x1 = . . . = xd = 0} = {ξ1, . . . , ξD}From (a geometric resolution of) {ξ1, . . . , ξD},lift (Newton’s Method) to the Chow Form ofV ∩ {x1 = . . . = xd−1 = 0}
Do it (d − 1) times more...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 153: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/153.jpg)
Main idea
Given (equations) of a d-dimensional varietyV ⊂ Pn
Cut V with “general” (probabilistically) dhyperplanes to obtain finite points:V ∩ {x1 = . . . = xd = 0} = {ξ1, . . . , ξD}From (a geometric resolution of) {ξ1, . . . , ξD},lift (Newton’s Method) to the Chow Form ofV ∩ {x1 = . . . = xd−1 = 0}Do it (d − 1) times more...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 154: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/154.jpg)
Star Model: Straight-Line Programs
Gabriela Jeronimo, Juan Sabia“Sparse resultants and straight-line
programs”(JSC 2018)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 155: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/155.jpg)
Star Model: Straight-Line Programs
Gabriela Jeronimo, Juan Sabia“Sparse resultants and straight-line
programs”(JSC 2018)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 156: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/156.jpg)
What is a straight-line program?
It is a program with no branches,no loops, no conditional
statements, nocomparisons...just a sequence of
basic operations
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 157: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/157.jpg)
What is a straight-line program?
It is a program with no branches
,no loops, no conditional
statements, nocomparisons...just a sequence of
basic operations
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 158: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/158.jpg)
What is a straight-line program?
It is a program with no branches,no loops
, no conditionalstatements, no
comparisons...just a sequence ofbasic operations
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 159: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/159.jpg)
What is a straight-line program?
It is a program with no branches,no loops, no conditional
statements
, nocomparisons...just a sequence of
basic operations
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 160: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/160.jpg)
What is a straight-line program?
It is a program with no branches,no loops, no conditional
statements, nocomparisons
...just a sequence ofbasic operations
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 161: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/161.jpg)
What is a straight-line program?
It is a program with no branches,no loops, no conditional
statements, nocomparisons...just a sequence of
basic operationsCarlos D’Andrea
Elimination Theory in the 21st century
![Page 162: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/162.jpg)
From the abstract:
We prove that the sparse resultant, redefined byD’Andrea and Sombra and by Esterov as a power ofthe classical sparse resultant, can be evaluated in anumber of steps which is polynomial in its degree,
its number of variables and the size of theexponents ...
Moreover, we design a probabilistic algorithm ofthis order of complexity to compute a straight-lineprogram that evaluates it within this number of
steps.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 163: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/163.jpg)
From the abstract:
We prove that the sparse resultant, redefined byD’Andrea and Sombra and by Esterov as a power ofthe classical sparse resultant, can be evaluated in anumber of steps which is polynomial in its degree,
its number of variables and the size of theexponents ...
Moreover, we design a probabilistic algorithm ofthis order of complexity to compute a straight-lineprogram that evaluates it within this number of
steps.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 164: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/164.jpg)
From the abstract:
We prove that the sparse resultant, redefined byD’Andrea and Sombra and by Esterov as a power ofthe classical sparse resultant, can be evaluated in anumber of steps which is polynomial in its degree,
its number of variables and the size of theexponents ...
Moreover, we design a probabilistic algorithm ofthis order of complexity to compute a straight-lineprogram that evaluates it within this number of
steps.
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 165: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/165.jpg)
Main ideas
SLP’s
Geometric Resolution
Newton Hensel Lifting
Pade Approximations...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 166: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/166.jpg)
Main ideas
SLP’s
Geometric Resolution
Newton Hensel Lifting
Pade Approximations...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 167: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/167.jpg)
Main ideas
SLP’s
Geometric Resolution
Newton Hensel Lifting
Pade Approximations...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 168: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/168.jpg)
Main ideas
SLP’s
Geometric Resolution
Newton Hensel Lifting
Pade Approximations...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 169: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/169.jpg)
Main ideas
SLP’s
Geometric Resolution
Newton Hensel Lifting
Pade Approximations...
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 170: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/170.jpg)
Anoter “real” model: BSS-machine
is a Random Access Machinewith registers that can store
arbitrary real numbers and thatcan compute rational functions over
the reals at unit cost
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 171: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/171.jpg)
Anoter “real” model: BSS-machine
is a Random Access Machine
with registers that can storearbitrary real numbers and thatcan compute rational functions over
the reals at unit cost
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 172: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/172.jpg)
Anoter “real” model: BSS-machine
is a Random Access Machinewith registers that can store
arbitrary real numbers
and thatcan compute rational functions over
the reals at unit cost
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 173: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/173.jpg)
Anoter “real” model: BSS-machine
is a Random Access Machinewith registers that can store
arbitrary real numbers and thatcan compute rational functions over
the reals at unit costCarlos D’Andrea
Elimination Theory in the 21st century
![Page 174: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/174.jpg)
Parallelize: find just one solution
Given f (x) ∈ Z[x ], compute a smallapproximate root, fast
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 175: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/175.jpg)
Parallelize: find just one solution
Given f (x) ∈ Z[x ], compute a small
approximate root, fast
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 176: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/176.jpg)
Parallelize: find just one solution
Given f (x) ∈ Z[x ], compute a smallapproximate root
, fast
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 177: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/177.jpg)
Parallelize: find just one solution
Given f (x) ∈ Z[x ], compute a smallapproximate root, fast
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 178: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/178.jpg)
What is an approximate root?
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 179: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/179.jpg)
Steve Smale’s 17th’s problem (1998)
Is there an algorithm which computesan approximate solution of asystem of polynomials in time
polynomial on the average, inthe size of the input ?
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 180: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/180.jpg)
Steve Smale’s 17th’s problem (1998)
Is there an algorithm which computesan approximate solution of asystem of polynomials in time
polynomial on the average, inthe size of the input ?
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 181: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/181.jpg)
Solving Smale’s 17th Problem
Carlos Beltran, Luis Miguel Pardo. “On Smale’s17th Problem: A Probabilistic Positive answer”( JFoCM 2008)
Carlos Beltran, Luis Miguel Pardo. “Smale’s17th Problem: Average Polynomial Time tocompute affine and projective solutions” (JAMS2009)
Felipe Cucker, Peter Burgisser. “On a problemposed by Steve Smale” (Ann.Math 2011)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 182: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/182.jpg)
Solving Smale’s 17th Problem
Carlos Beltran, Luis Miguel Pardo. “On Smale’s17th Problem: A Probabilistic Positive answer”( JFoCM 2008)
Carlos Beltran, Luis Miguel Pardo. “Smale’s17th Problem: Average Polynomial Time tocompute affine and projective solutions” (JAMS2009)
Felipe Cucker, Peter Burgisser. “On a problemposed by Steve Smale” (Ann.Math 2011)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 183: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/183.jpg)
Solving Smale’s 17th Problem
Carlos Beltran, Luis Miguel Pardo. “On Smale’s17th Problem: A Probabilistic Positive answer”( JFoCM 2008)
Carlos Beltran, Luis Miguel Pardo. “Smale’s17th Problem: Average Polynomial Time tocompute affine and projective solutions” (JAMS2009)
Felipe Cucker, Peter Burgisser. “On a problemposed by Steve Smale” (Ann.Math 2011)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 184: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/184.jpg)
Solving Smale’s 17th Problem
Carlos Beltran, Luis Miguel Pardo. “On Smale’s17th Problem: A Probabilistic Positive answer”( JFoCM 2008)
Carlos Beltran, Luis Miguel Pardo. “Smale’s17th Problem: Average Polynomial Time tocompute affine and projective solutions” (JAMS2009)
Felipe Cucker, Peter Burgisser. “On a problemposed by Steve Smale” (Ann.Math 2011)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 185: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/185.jpg)
Solving Smale’s 17th Problem
Carlos Beltran, Luis Miguel Pardo. “On Smale’s17th Problem: A Probabilistic Positive answer”( JFoCM 2008)
Carlos Beltran, Luis Miguel Pardo. “Smale’s17th Problem: Average Polynomial Time tocompute affine and projective solutions” (JAMS2009)
Felipe Cucker, Peter Burgisser. “On a problemposed by Steve Smale” (Ann.Math 2011)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 186: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/186.jpg)
Pierre Lairez (2017)
“A deterministic algorithm tocompute approximate roots of
polynomial systems in polynomialaverage time”JFoCM (2017)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 187: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/187.jpg)
Pierre Lairez (2017)
“A deterministic algorithm tocompute approximate roots of
polynomial systems in polynomialaverage time”JFoCM (2017)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 188: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/188.jpg)
Pierre Lairez (2017)
“A deterministic algorithm tocompute approximate roots of
polynomial systems in polynomialaverage time”JFoCM (2017)
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 189: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/189.jpg)
Homotopies (In depth tomorrow!)
Start with an “easy” system“Chase” the roots with anhomotopy + Newton’s method
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 190: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/190.jpg)
Homotopies (In depth tomorrow!)
Start with an “easy” system
“Chase” the roots with anhomotopy + Newton’s method
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 191: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/191.jpg)
Homotopies (In depth tomorrow!)
Start with an “easy” system“Chase” the roots with anhomotopy + Newton’s method
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 192: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/192.jpg)
Numerical Algebraic Geometry
By using homotopies, you cancompute very fast
Components
Multiplicities
Decomposition
Dimension
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 193: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/193.jpg)
Numerical Algebraic Geometry
By using homotopies, you cancompute very fast
Components
Multiplicities
Decomposition
Dimension
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 194: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/194.jpg)
Numerical Algebraic Geometry
By using homotopies, you cancompute very fast
Components
Multiplicities
Decomposition
Dimension
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 195: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/195.jpg)
Numerical Algebraic Geometry
By using homotopies, you cancompute very fast
Components
Multiplicities
Decomposition
Dimension
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 196: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/196.jpg)
Numerical Algebraic Geometry
By using homotopies, you cancompute very fast
Components
Multiplicities
Decomposition
Dimension
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 197: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/197.jpg)
Numerical Algebraic Geometry
By using homotopies, you cancompute very fast
Components
Multiplicities
Decomposition
Dimension
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 198: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/198.jpg)
Numerical Algebraic Geometry
By using homotopies, you cancompute very fast
Components
Multiplicities
Decomposition
Dimension
. . .Carlos D’Andrea
Elimination Theory in the 21st century
![Page 199: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/199.jpg)
Not in the menu today...
Differential/Difference EliminationReal EliminationApplicationsImplementations. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 200: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/200.jpg)
Not in the menu today...
Differential/Difference Elimination
Real EliminationApplicationsImplementations. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 201: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/201.jpg)
Not in the menu today...
Differential/Difference EliminationReal Elimination
ApplicationsImplementations. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 202: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/202.jpg)
Not in the menu today...
Differential/Difference EliminationReal EliminationApplications
Implementations. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 203: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/203.jpg)
Not in the menu today...
Differential/Difference EliminationReal EliminationApplicationsImplementations
. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 204: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/204.jpg)
Not in the menu today...
Differential/Difference EliminationReal EliminationApplicationsImplementations. . .
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 205: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/205.jpg)
Conclusion
The 21st century is/will be driven byApplicationsFast & efficient computations
Interesting challenges and problemsneed your help here!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 206: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/206.jpg)
Conclusion
The 21st century is/will be driven byApplications
Fast & efficient computationsInteresting challenges and problems
need your help here!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 207: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/207.jpg)
Conclusion
The 21st century is/will be driven byApplicationsFast & efficient computations
Interesting challenges and problemsneed your help here!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 208: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/208.jpg)
Conclusion
The 21st century is/will be driven byApplicationsFast & efficient computations
Interesting challenges and problemsneed your help here!
Carlos D’Andrea
Elimination Theory in the 21st century
![Page 209: Elimination Theory in the 21st centuryfaculty.tcu.edu/gfriedman/cbms2018/Andrea.pdfElimination Theory in the 21st century. Tropical: from Exponential to Polynomial The logarithmic](https://reader033.fdocuments.net/reader033/viewer/2022052014/602c03e3bff7e9038e09075f/html5/thumbnails/209.jpg)
Thanks!
http://www.ub.edu/arcades/cdandrea.html
Carlos D’Andrea
Elimination Theory in the 21st century