# PhD Seminar • Symbolic Computation — Solving Determinantal Systems by Using Homotopy Techniques and Exploiting the Column Structures

Friday, November 6, 2020 — 1:30 PM EST

## Please note: This PhD seminar will be given online.

Thi Xuan Vu, PhD candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Éric Schost and George Labahn

Let $K[x_1, \dots, x_n]$ be a polynomial ring in n variables with $K$ a field of characteristic zero and $KK$ its algebraic closure. Consider a sequence of polynomials $G = (g_1, \dots, g_s)$ in $K[x_1, \dots, x_n]$ and a matrix $F = [f_{i, j}] \in K[x_1, \dots, x_n]^{p \times q}$ such that $p \leq q$ and $n=q-p+s+1$. We are interested in the algebraic set $V_p(F, G)$ of points in $KK$ at which all polynomials in $G$ and all $p$-minors of $F$ vanish. Such polynomial systems arise in a variety of applications including for example polynomial optimization and computational geometry.

We investigate the column structures of $F$ to provide bounds on the number of isolated points in $V_p(F, G)$ depending on the degrees in columns of $\F$ or the mixed volumes of column supports of $F$ when all polynomials $g_i$'s and $f_{i, j}$'s are either in classical polynomial domains or sparse polynomials. In addition, we design homotopy algorithms for computing those points with our algorithms running in time that is polynomial in the bound on the number of isolated points. We also derive complexity bounds for the particular but important case where $G$ and the columns of $F$ satisfy weighted degree constraints. Such systems arise naturally in the computation of critical points of maps restricted to algebraic sets when both are invariant by the action of the symmetric group.

To join this PhD seminar on Zoom, please go to https://us02web.zoom.us/j/87317792190?pwd=NWxEMWErczg5ZEhvUjVTQ1ZKREhxQT09.

Location
Online PhD seminar
200 University Avenue West

Waterloo, ON N2L 3G1

### November 2020

S M T W T F S
1
2
4
7
8
9
10
11
13
14
15
17
19
21
22
23
24
25
26
28
29
1
2
3
4
5
1. 2020 (208)
1. December (9)
2. November (12)
3. October (7)
4. September (21)
5. August (28)
6. July (14)
7. June (18)
8. May (16)
9. April (20)
10. March (16)
11. February (25)
12. January (22)
2. 2019 (255)
1. December (21)
2. November (25)
3. October (16)
4. September (20)
5. August (18)
6. July (12)
7. June (23)
8. May (23)
9. April (32)
10. March (25)
11. February (16)
12. January (24)
3. 2018 (217)
4. 2017 (36)
5. 2016 (21)
6. 2015 (36)
7. 2014 (33)
8. 2013 (23)
9. 2012 (4)
10. 2011 (1)
11. 2010 (1)
12. 2009 (1)
13. 2008 (1)