https://seigal.github.io/invariant.html

1<!DOCTYPE html>
2<html lang="en">
3
4
5  <head>
6    
7    <link rel="stylesheet" href="main.css">
8    
9  </head>
10
11
12  <body>
13
14  <div class="section">
15      <div class="container">
16
17  <h1>Applied Invariant Theory Seminar, Spring 2019</h1>
18
19  <p> Thursdays 5-6:30pm, Evans Hall, Room 891 </p>
20
21  <p> Organizer: Anna Seigal (contact: "my last name" at berkeley dot edu)</p>
22
23  <p> Faculty Contact: Bernd Sturmfels </p>
24
25  <p> CCN: Math 290, 15807(8) </p>
26
27  <p> Invariants are quantities unchanged under group actions.
28Uses of invariants range from the construction of moduli spaces in algebraic geometry to approximation algorithms and computational complexity in computer science. 
29In this seminar, we will learn some geometric invariant theory, and use it to understand recent applications of the field. </p>
30
31<p> Topics will include: Hilbert's Finiteness Theorem, degree bounds of invariants, stability in geometric invariant theory, computing the ring of invariants, GL invariants of matrices and tensors, applications to scaling algorithms for tensors, complexity theory, optimization, and quantum information theory. </p>
32
33<p> After the first week, the seminar will consists of two talks of 35 minutes
34each. The first talk will introduce concepts that will be useful for the
35second half. </p>
36
37<p> Please join us:  all are welcome. </p>
38
39
40  <h3> Schedule </h3>
41
42  <p> 1/24: Organizational meeting </p>
43  <p> 1/31: Computing Invariants (Bernd Sturmfels) [Ref. 4 &#167;11] </p>
44  <p> 2/7: <ol> <li> Constructing the quotient X//G (Alexander Sherman) [Ref. 2] </li>
45
46           <li> The moduli space of cubic surfaces (Irit Huq-Kuruvilla) [Ref. 11] </li> </ol> </p>
47
48  <p> 2/14: <ol> <li> The Hilbert-Mumford Criterion and Kempf-Ness Theorem (Tom Zielinski) </li>
49  				<li> Scaling Algorithms and the Null Cone (Isabelle Shankar) [Ref. 9] </li> </ol> </p>
50
51  <p> 2/21: <ol> <li> Hilbert's 14th Problem (Emanuel Reinecke) </li>
52  <li> Nagata's Counter-example (Lukas Waas) [Ref. 2] </li> </ol> </p>
53
54  <p> 2/28: <ol> <li> GL-modules, and the first fundamental theorem (Rafael Oliveira) [Ref. 3] </li>
55  <li> Geometric Complexity Theory (Mario Sanchez) [Ref. 10] </li> </ol> </p>
56
57  <p> 3/7: <ol> <li> The geometry of rotating selfie sticks (Xun Tang) </li>
58  <li> Image analysis using invariants (Jonathan Leake) [Ref. 7] </li> </ol> </p>
59
60  <p> 3/14: <ol> 
61  <li> Invariants of a matrix tuple (Madeline Brandt) [Ref. 6, 8]</li>
62  <li> The reach of an algebraic variety (Maddie Weinstein)  </ol> </p>
63  
64<p> 3/21: <ol> <li> Capacity (Jeff Xu) </li>
65  <li> Connections to <a href="https://simons.berkeley.edu/programs/geometry2019">Geometry of Polynomials</a> (Anna Seigal) </li> </ol> </p>
66
67  <p> 4/4: <ol> <li> Moment Polytopes (Chi Zhang) </li>
68  <li> The quantum marginal problem (Yazan Alamoudi)</li> </ol> </p>
69
70  <p> 4/11: <ol> <li> Applications of Igusa Invariants to Cryptography (Ali Al Setri) [Ref. 12] </li>
71		<li> Computations in the Moduli Space of Pseudostable Curves (Brandon Van Over) </li> 
72 </ol> </p>
73
74  <p> 4/18: <ol> 
75<li> Buildings and one-parameter subgroups (Leon Zhang) </li>
76<li> Left-right invariants, Brascamp-Lieb inequalities, and applications (Grace Dinh) </li>
77 </ol> </p>
78
79  <p> 4/25: 
80<ol> 
81<li> Tensors under congruence action (Anna Seigal) </li>
82<li> The convex hull of a space curve (Bernd Sturmfels) </li>
83</ol>
84</p>
85
86 <h3>References</h3>
87
88 <h4>Books and lectures notes</h4>
89
90<p> (1) H. Derksen, G. Kemper: Computational invariant theory. Encyclopaedia of Mathematical Sciences, 130. Invariant Theory and Algebraic Transformation Groups, VIII. Springer, Heidelberg, 2015. </p>
91
92<p> (2) I. Dolgachev: Lectures on invariant theory. London Mathematical Society Lecture Note Series, 296. Cambridge University Press, Cambridge, 2003. </p>
93
94<p> (3) J. Draisma and D. Gijswijt: Invariant Theory with Applications, Lecture Notes, 2009</p>
95
96<p> (4) M. Micha&#0322;ek, B. Sturmfels: Invitation to Nonlinear Algebra, Lectures Notes, 2018.</p>
97
98
99<p> (5) B. Sturmfels: Algorithms in invariant theory. Texts and Monographs in Symbolic Computation. Springer, Vienna, 2008.</p>
100
101<p> (6) A. Widgerson: Interactions of Computational Complexity Theory and Mathematics, Mathematics and Computation book draft, arXiv:1710.09780 .</p>
102
103 <h4>Papers</h4>
104
105 <p>
106(7) A. Bandeira, B. Blum-Smith, J. Kileel, A. Perry, J. Weed, A. Wein:
107 Estimation under group actions: recovering orbits from invariants, arXiv:1712.10163</p>
108
109
110<p>(8) M. B&uuml;rgin, J. Draisma: The Hilbert null-cone on tuples of matrices and bilinear forms,
111Mathematische Zeitschrift 254.4 (2006): 785-809. </p>
112
113<p>
114(9) P. B&uuml;rgisser, A. Garg, R. Oliveira, M. Walter, A. Wigderson: 
115Alternating minimization, scaling algorithms, and the null-cone problem from invariant theory, Proceedings of the Innovations in Theoretical Computer Science (ITCS) 2018, pp. 24:1-24:20, 2018.</p>
116
117
118<p> (10) P. B&uuml;rgisser, J. M. Landsberg, L. Manivel, J. Weyman : An Overview of Mathematical Issues Ar

118ising in the Geometric Complexity Theory Approach to VP \neq VNP, SIAM Journal on Computing 40 no. 4, 2011.</p> 
119
120
121
122<p> (11) E. Reinecke: Moduli Space of Cubic Surfaces (2012) thesis. </p>
123
124<p> (12) C. Costello, A. Deines-Schartz, K. Lauter, and T. Yang:
125Constructing Abelian Surfaces for Cryptography
126via Rosenhain Invariants, LMS Journal of Computation and Mathematics 17 (2014) Issue A 157--180. 
127
128  </body>