Webinar

From SIAG-AG

(Difference between revisions)
Jump to: navigation, search
Revision as of 18:08, 28 November 2020 (edit)
Kohn (Talk | contribs)
(SAGA - Seminar on Applied Geometry and Algebra)
← Previous diff
Current revision (09:11, 28 November 2021) (edit) (undo)
JoRo7102 (Talk | contribs)
(Upcoming Talks)
 
(69 intermediate revisions not shown.)
Line 3: Line 3:
''' '''
-Over the last years there has been an immense growth of nonlinear models across the mathematical sciences and its applications to other disciplines.+'''About.''' Over the last years there has been an immense growth of nonlinear models across the mathematical sciences and its applications to other disciplines.
This is fueled by recent theoretical advances in understanding systems of multivariate polynomial equations and inequalities, development of efficient software solving such systems, and an increased awareness of these tools. This is fueled by recent theoretical advances in understanding systems of multivariate polynomial equations and inequalities, development of efficient software solving such systems, and an increased awareness of these tools.
SIAM SAGA features talks on algebraic geometry and its links to other mathematical branches -- such as combinatorics, algebraic topology, commutative algebra, convex and discrete geometry, tensors and multilinear algebra, number theory, representation theory, and symbolic and numerical computation --, SIAM SAGA features talks on algebraic geometry and its links to other mathematical branches -- such as combinatorics, algebraic topology, commutative algebra, convex and discrete geometry, tensors and multilinear algebra, number theory, representation theory, and symbolic and numerical computation --,
focusing on a variety of applications -- including robotics, optimization, statistics, machine learning, complexity theory, cryptography, coding theory, computer vision, biology, economics, among many others. focusing on a variety of applications -- including robotics, optimization, statistics, machine learning, complexity theory, cryptography, coding theory, computer vision, biology, economics, among many others.
 +'''Registration.''' Fill out the [https://siam.zoom.us/webinar/register/WN_nMdM3GXHTTuZyjn5fGf4jA SAGA registration form] (takes 10 seconds) to get a personalized Zoom link for each seminar.
-'''Mailing List'''+'''Recordings.'''
 +The webinars are recorded and posted in the '''[https://www.youtube.com/playlist?list=PLf_ipOSbWC84HloBwtq3vVJKYE4rwfeSs SAGA playlist on SIAM’s YouTube account]'''.
 + 
 +'''Mailing List.'''
To stay up-to-date about upcoming talks and receive Zoom invitations please join our mailing list by sending an email to '''siam_saga+join@g-groups.wisc.edu'''. To stay up-to-date about upcoming talks and receive Zoom invitations please join our mailing list by sending an email to '''siam_saga+join@g-groups.wisc.edu'''.
* Afterwards you will receive an email which asks you to confirm your wish for subscription by ''replying to that email''. * Afterwards you will receive an email which asks you to confirm your wish for subscription by ''replying to that email''.
* Finally, you will receive a confirmation email that you became a member. * Finally, you will receive a confirmation email that you became a member.
 +* If you have questions about the mailing list, then email jRodriguez43@wisc.edu (Jose Rodriguez).
 +'''Format.'''
 +The seminars are held on a Zoom Webinar provided by SIAM:
 +* 45 minutes of presentation, incl. questions
 +* informal discussion
 +* Participants can ask questions in the Q&A. The chair will bring forward these questions during and after the talk, and may ask you to unmute yourself to participate in the discussion. Please note that you will be recorded if you activate your audio or video during the seminar.
 +'''Organizers.'''
 +* [https://www.kth.se/profile/kathlen Kathlén Kohn] (KTH Stockholm)
 +* [https://sites.google.com/wisc.edu/jose/home Jose Israel Rodriguez] (University of Wisconsin - Madison)
 +* [http://user.math.uzh.ch/rosenthal/ Joachim Rosenthal] (University of Zurich)
-'''Upcoming Talks'''+== Upcoming Talks ==
-All seminars take place on the 2nd Tuesday of every month at 5pm CET (UTC+1).+
-* Tuesday, November 10, 5pm Central European Time (UTC+1): [https://www.timeanddate.com/worldclock/converter.html?iso=20201110T160000&p1=234&p2=25&p3=270&p4=3999 Other time zones] <br> '''Rekha R. Thomas''' (University of Washington) <br> '''''When Two Cameras Meet a Cubic Surface''''' <br> The set of images captured by an arrangement of pinhole cameras is usually modeled by the multiview variety. The true set is in fact a semialgebraic subset of this variety, arising from the physical restriction that cameras can only image points in front of them. For a pair of cameras, the minimal problem in this semialgebraic setting is given by 5 point pairs, which even in general position, can fail to have a "chiral" reconstruction. I will describe how the combinatorics and arithmetic information of this minimal case is carried by a cubic surface with 27 real lines. <br> Joint work with Sameer Agarwal, Andrew Pryhuber and Rainer Sinn +
 +All seminars take place on the 2nd Tuesday of every month. <br> Fill out the [https://siam.zoom.us/webinar/register/WN_nMdM3GXHTTuZyjn5fGf4jA SAGA registration] to get a personalized Zoom link for each seminar.
-* Tuesday, December 8, 5pm Central European Time (UTC+1): <br> '''Camilla Hollanti''' (Aalto University) <br> '''''Coding theoretic framework for private information retrieval''''' <br> Private information retrieval (PIR) addresses the question of how to retrieve data items from a database or cloud without disclosing information about the identity of the data items retrieved. The area has received renewed attention in the context of PIR from coded storage systems. Here, the files are distributed over the servers according to a storage code instead of mere replication of data. Alongside with the basic principles of linear codes and PIR, we will review recent PIR capacity results and retrieval schemes. Then, we will introduce our own general framework allowing one to adjust the scheme according to the desired storage overhead and suspected collections of colluding servers. This is achieved by a carefully designed interplay between the algebraic-geometric storage and retrieval codes, coined as the star product scheme. <br> The talk is based on a collection of joint works with Salim El Rouayheb (Rutgers), Ragnar Freij-Hollanti (Aalto), Oliver Gnilke (Aalborg), Lukas Holzbaur (TU Munich), David Karpuk (F-Secure), Jie Li (Aalto), and Razan Tajeddine (Helsinki). +* Tuesday, November 16, '''(Special week! Third Tuesday of the month!)''' 5pm Central European Time (UTC+1): <br> '''Jonathan Hauenstein''' (University of Notre Dame) [https://www.timeanddate.com/worldclock/converter.html?iso=20211116T160000&p1=25&p2=892&p3=270&p4=3999 Time Zones]<br> '''Some applications of homotopy continuation in science and engineering'''<br> Homotopy continuation is a foundational computational approach in numerical algebraic geometry which permits the tracking of solutions to parameterized systems of nonlinear equations. In science and engineering applications, parameters such as temperature, pressure, and leg lengths naturally arise and changing such parameters can impact both the qualitative and quantitative behavior of the corresponding solutions. This talk will provide an overview of homotopy continuation followed by several applications of homotopy continuation including equilibria in chemistry, kinematic synthesis in mechanical engineering, and variational inference for parameter estimation in biological models.
 +* Tuesday, December 7 '''(Special week! The first Tuesday of the month)''', 5pm Central European Time (UTC+1): <br> '''Alicia Dickenstein''' (University of Buenos Aires) [https://www.timeanddate.com/worldclock/converter.html?iso=20211207T160000&p1=25&p2=51&p3=270&p4=3999 Time Zones]
-* Tuesday, January 12, 5pm Central European Time (UTC+1): <br> '''Sonja Petrović''' (Illinois Institute of Technology) <br> '''''The Spark Randomizer'''''+* Tuesday, January 11, 5pm Central European Time (UTC+1): <br> '''Cynthia Vinzant''' (University of Washington) [https://www.timeanddate.com/worldclock/converter.html?iso=20220111T160000&p1=234&p2=25&p3=270&p4=3999 Time Zones]
 +* Tuesday, February 8, 5pm Central European Time (UTC+1): <br> '''Heather Harrington''' (TBA) [https://www.timeanddate.com/worldclock/converter.html?iso=20220208T160000&p1=25&p2=270&p3=3999 Time Zones]
-* Tuesday, February 9, 5pm Central European Time (UTC+1): <br> '''Bernd Sturmfels''' (MPI MiS Leipzig, UC Berkeley)<!-- <br> '''''Title''''' <br> Abstract -->+* Tuesday, March 8, 5pm Central European Time (UTC+1): <br> '''TBD''' (TBA) [https://www.timeanddate.com/worldclock/converter.html?iso=20220308T160000&p1=25&p2=270&p3=3999 Time Zones]
 +* Tuesday, April 12, 5pm Central European Summer Time (UTC+2): <br> '''Jesús A. De Loera''' (U.C. Davis) [https://www.timeanddate.com/worldclock/converter.html?iso=20220412T150000&p1=3736&p2=25&p3=270&p4=3999 Time Zones]<br> '''The geometry of the space of ALL pivot rules of a Linear Optimization problem'''
 +* Tuesday, May 10, 5pm Central European Summer Time (UTC+2): <br> '''TBD''' (TBA) [https://www.timeanddate.com/worldclock/converter.html?iso=20220510T150000&p1=25&p2=270&p3=3999 Time Zones]
 +* Tuesday, June 13, 5pm Central European Summer Time (UTC+2): <br> '''TBD''' (TBA) [https://www.timeanddate.com/worldclock/converter.html?iso=20220614T150000&p1=25&p2=270&p3=3999 Time Zones]
-'''Format'''+==Past Talks==
-The seminars are held on Zoom:+These seminars already happened. But you can fill out the [https://siam.zoom.us/webinar/register/WN_nMdM3GXHTTuZyjn5fGf4jA SAGA registration] to get a personalized Zoom link for future seminars.
-* 45 minutes of presentation, incl. questions+* Tuesday, November 10, 5pm Central European Time (UTC+1): [https://www.timeanddate.com/worldclock/converter.html?iso=20201110T160000&p1=234&p2=25&p3=270&p4=3999 Time zones] <br> '''Rekha R. Thomas''' (University of Washington) <br> '''''When Two Cameras Meet a Cubic Surface''''' <br> The set of images captured by an arrangement of pinhole cameras is usually modeled by the multiview variety. The true set is in fact a semialgebraic subset of this variety, arising from the physical restriction that cameras can only image points in front of them. For a pair of cameras, the minimal problem in this semialgebraic setting is given by 5 point pairs, which even in general position, can fail to have a "chiral" reconstruction. I will describe how the combinatorics and arithmetic information of this minimal case is carried by a cubic surface with 27 real lines. <br> Joint work with Sameer Agarwal, Andrew Pryhuber and Rainer Sinn.
-* informal discussion+
-Participants can ask questions in the chat or use the raise-hand tool. +* Tuesday, December 8, 5pm (Central European Time) (UTC+1): [https://www.timeanddate.com/worldclock/converter.html?iso=20201208T160000&p1=25&p2=270&p3=1392&p4=3999 Other time zones] <br> '''Camilla Hollanti''' (Aalto University) <br> '''''Coding theoretic framework for private information retrieval''''' <br> Private information retrieval (PIR) addresses the question of how to retrieve data items from a database or cloud without disclosing information about the identity of the data items retrieved. The area has received renewed attention in the context of PIR from coded storage systems. Here, the files are distributed over the servers according to a storage code instead of mere replication of data. Alongside with the basic principles of linear codes and PIR, we will review recent PIR capacity results and retrieval schemes. Then, we will introduce our own general framework allowing one to adjust the scheme according to the desired storage overhead and suspected collections of colluding servers. This is achieved by a carefully designed interplay between the algebraic-geometric storage and retrieval codes, coined as the star product scheme. The talk is based on a collection of joint works with Salim El Rouayheb (Rutgers), Ragnar Freij-Hollanti (Aalto), Oliver Gnilke (Aalborg), Lukas Holzbaur (TU Munich), David Karpuk (F-Secure), Jie Li (Aalto), and Razan Tajeddine (Helsinki).
-The chair will bring forward these questions during and after the talk,+
-and may ask you to unmute yourself to participate in the discussion. Please note that you will be recorded if you activate your audio or video during the seminar.+
-Each Zoom meeting is provided by SIAM.+* Tuesday, January 12, 5pm Central European Time (UTC+1): [https://www.timeanddate.com/worldclock/converter.html?iso=20210112T160000&p1=64&p2=25&p3=270&p4=3999 Other time zones] <br> '''Sonja Petrović''' (Illinois Institute of Technology) <br> '''''Random Monomial Ideals''''' <br> Joint work with Jesus A. De Loera, Lily Silverstein, Despina Stasi, Dane Wilburne. <br> Inspired by the study of random graphs and simplicial complexes, and motivated by the need to understand average behavior of ideals, we propose and study probabilistic models of random monomial ideals. We prove theorems about the probability distributions, expectations and thresholds for events involving monomial ideals with given Hilbert function, Krull dimension, first graded Betti numbers, and present several experimentally-backed conjectures about regularity, projective dimension, strong genericity, and Cohen-Macaulayness of random monomial ideals. <br> The models for monomial ideals can be used as a basis for generating other types of algebraic objects, and proving existence of desired properties. The talk will feature a tasting of ongoing work in both of these directions.
-The webinars will be recorded and posted in a SI(AG)^2 playlist on SIAM’s YouTube account.+
 +* Tuesday, February 9, 5pm Central European Time (UTC+1): [https://www.timeanddate.com/worldclock/converter.html?iso=20210112T160000&p1=791&p2=25&p3=313&p4=270&p5=3999 Other time zones] <br> '''Bernd Sturmfels''' (MPI MiS Leipzig, UC Berkeley) <br> '''''Linear Spaces of Symmetric Matrices''''' <br> Real symmetric matrices appear ubiquitously across the mathematical sciences, and so do linear spaces of such matrices. We discuss recent developments concerning their algebraic geometry, with a view towards applications in statistics and optimization.
 +* Tuesday, March 9, 5pm Central European Time (UTC+1): <br> '''Timo de Wolff''' (Technische Universität Braunschweig) <br> '''''Certificates of Nonnegativity and Their Applications in Theoretical Computer Science''''' <br> Certifying nonnegativity of real, multivariate polynomials is a key problem in real algebraic geometry since the 19th century. In the 21st century, the problem (re-)gained significant momentum due to its relevance in polynomial optimization and its applications. The classical standard certificates of nonnegativity are sums of squares (SOS). But other, independent certificates of nonnegativity exist: e.g., sums of nonnegative circuit polynomials (SONC), which I have developed joint with Iliman in 2014. <br> In the first part of this talk, I give an overview about certificates and hierarchies of nonnegativity. In the second part, I discuss highlights of recent work joint with Dressler and Kurpisz about theoretical bounds for hierarchies (of nonnegativity) applied to polynomial optimization problems on the Boolean Hypercube. This class includes in particular standard problems in theoretical computer science such as Maxcut or Knapsack, which motivated our work.
-'''Organizers'''+* Tuesday, April 13, 5pm Central European Summer Time (UTC+2): <br> '''Jan Draisma''' (Universität Bern) <br> '''''Infinite-dimensional geometry with symmetry''''' <br> Most theorems in finite-dimensional algebraic geometry break down in infinite dimensions---for instance, the polynomial ring C[x_1,x_2,...] is not Noetherian. However, it turns out that some results do survive when a sufficiently large symmetry group is imposed; e.g., ideals in C[x_1,x_2,...] that are preserved under all variable permutations do satisfy the ascending chain condition. <br> This phenomenon is relevant for applications, since many algebraic models come in infinite families with highly symmetric infinite-dimensional limits. Here the symmetry is typically captured by either the infinite symmetric group or the infinite general linear group. Theorems about the limit imply uniform behaviour of the members of the family. <br> I will present older and new results in this area, along with applications to algebraic statistics, tensor decomposition, and algebraic combinatorics.
-* [https://www.kth.se/profile/kathlen Kathlén Kohn] (KTH Stockholm)+ 
-* [https://www.math.wisc.edu/~jose/ Jose Rodriguez] (University of Wisconsin - Madison)+* Tuesday, May 11, 5pm Central European Summer Time (UTC+2): <br> '''Elisenda Feliu''' (University of Copenhagen) <br> '''''Parametric polynomial systems and biochemical reaction networks ''''' <br> In the context of (bio)chemical reaction networks, the dynamics of the concentrations of the chemical species over time are often modelled by a system of parameter-dependent ordinary differential equations, which are typically polynomial or described by rational functions. The study of the steady states of the system translates then into the study of the positive solutions to a parametric polynomial system. <br> In this talk I will start by shortly presenting the formalism of the theory of reaction networks. Afterwards I will focus on the study of the parameter region where the relevant parametric system admits at least two positive solutions (a property termed multistationarity). I will show recent results on how to determine the region and whether it is connected. A ubiquitous and challenging network from cell signaling (the dual futile cycle) will be used as a case example. For this network, which is relatively small, several basic questions remain unresolved. <br> The results I present arise from several joint works involving Conradi, Kaihnsa, Mincheva, Sadeghimanesh, Telek, Yürük, Wiuf and de Wolff.
-* [http://user.math.uzh.ch/rosenthal/ Joachim Rosenthal] (University of Zurich)+ 
 +* Tuesday, July 13, 5pm Central European Summer Time (UTC+2): [https://www.timeanddate.com/worldclock/converter.html?iso=20210713T150000&p1=25&p2=270&p3=43&p4=3999 Time zones]<br> '''Caroline Uhler''' (MIT, Broad Institute) <br> '''''Mathematics of Genome Packing and Regulation''''' <br> Recent evidence suggests that the spatial organization of the genome represents an important regulator of expression, and alterations thereof are associated with various diseases. In this talk, I will analyze the link between the 3D genome organization and gene expression using geometric packing models and autoencoders/deep learning. In particular, I will first discuss the Euclidean distance geometry problem arising when studying the 3D genome organization and show that higher-order contacts are needed for its reconstruction. I will then discuss how autoencoders can be used to translate between DNA packing images and gene expression at the single-cell level as well as between different cell types. Given the empirical benefits of over-parameterization in autoencoders for these applications, I will end with a theoretical analysis of autoencoders linking over-parameterization to attractor properties. Understanding the geometry of these basins of attraction remains an important open problem.
 + 
 +* Tuesday, August 10, 5pm Central European Summer Time (UTC+2): [https://www.timeanddate.com/worldclock/converter.html?iso=20210810T150000&p1=2284&p2=25&p3=270&p4=3999 Time zones]<br> '''Frank Sottile''' (Texas A&M) <br> '''''Applications of Bernstein's Other Theorem''''' <br> Many of us are familiar with Bernstein's Theorem giving the number of solutions in the torus to a general system of sparse polynomial equations. The linchpin of his proof is what I like to call Bernstein's Other Theorem, which describes exactly when a system fails to be general in the above sense (Bernstein-general). His bound is a simple consequence of this using, for example, the characterization of mixed volume. <br><br> Polynomial systems in nature are rarely general given their supports, and thus Bernstein's Theorem is only a priori a bound for their number of solutions. Nevertheless, a surprising number of polynomial systems from applications do achieve Bernstein's bound. For such a system, the polyhedral homotopy give an optimal algorithm for computing its solutions. My talk will discuss this background and give some polynomial systems from applications which are not general given their support, but are Bernstein-general.
 + 
 +* Tuesday, September 14, 5pm Central European Summer Time (UTC+2): [https://www.timeanddate.com/worldclock/converter.html?iso=20210914T150000&p1=25&p2=270&p3=2076&p4=3999 Time zones]<br> '''Elisa Gorla''' (University of Neuchatel) <br> '''''Multivariate cryptography and the complexity of polynomial system solving''''' <br> The security of multivariate cryptographic primitives relies on the hardness of computing the solutions of multivariate polynomial systems over finite fields. Since we can compute the solutions of a polynomial system from its Groebner basis, bounds on the complexity of Groebner bases computations provide bounds on the security of the corresponding multivariate cryptographic primitives. After introducing multivariate cryptography, I will discuss linear-algebra-based methods for computing Groebner bases, which are currently considered the most efficient algorithms available. I will introduce some invariants which control this complexity and try to answer the question of how hard it is to solve a "random" polynomial system.
 + 
 +* Tuesday, October 12, 5pm Central European Summer Time (UTC+2): [https://www.timeanddate.com/worldclock/converter.html?iso=20211012T150000&p1=25&p2=861&p3=270&p4=3999 Time zones]<br> '''Avi Wigderson''' (Institute for Advanced Study)<br> '''''Optimization, Complexity and Math (or, can we prove P!=NP by gradient descent?)'''''<br> This talk aims to summarize a project I was involved in during the past 6 years, with the hope of explaining our most complete understanding so far, as well as challenges and open problems. The main messages of this project are summarized below; I plan to describe, through examples, many of the concepts they refer to, and the evolution of ideas leading to them. No special background is assumed.<br> (1) The most basic tools of convex optimization in Euclidean space extend to a far more general setting of Riemannian manifolds that arise from the symmetries of non-commutative groups. We develop first-order and second-order algorithms, and analyze their performance in general. While proving convergence bounds requires heavy algebraic and analytic tools, convergence itself depends in an elegant way on natural ``smoothness’’ parameters, in analogy with the Euclidean (commutative) case. <br>(2) These algorithms give exponential (or better) improvements in run-time for solving algorithmic many problems across CS, Math and Physics. In particular, these include problems in algebra (e.g. testing rational identities in non-commutative variables), in analysis (testing the feasibility and tightness of Brascamp-Lieb inequalities), in quantum information theory (to the quantum marginals problem), in algebraic geometry (to computing Kronecker coefficients), in computational complexity (to derandomizing new special cases of the PoIynomial Identity Testing problem) and in optimization (to testing membership in large, implicitly described polytopes). <br> (3) The focus on symmetries exposes old and reveals new relations between the problems above, and between analysis, algebra and algorithms. Essentially, they are all membership problems in null cones and moment polytopes of natural group actions on natural spaces. Invariant theory, which studies such group actions, plays an essential role in this development. In particular, a beautiful non-commutative duality theory (expending linear programming duality in the commutative case), and notions of geodesic convexity (extending the Euclidean one) and moment maps (extending the Euclidean gradient) are central to the algorithms and their analysis. Interestingly, most algorithms in invariant theory are symbolic/algebraic, and these new numeric/analytic algorithms proposed here often significantly improve on them.
 +Based on joint works with Zeyuan Allen-Zhu, Peter Burgisser, Cole Franks, Ankit Garg, Leonid Gurvits, Pavel Hrubes, Yuanzhi Li, Visu Makam, Rafael Oliveira and Michael Walter.

Current revision

[edit] SAGA - Seminar on Applied Geometry and Algebra

About. Over the last years there has been an immense growth of nonlinear models across the mathematical sciences and its applications to other disciplines. This is fueled by recent theoretical advances in understanding systems of multivariate polynomial equations and inequalities, development of efficient software solving such systems, and an increased awareness of these tools. SIAM SAGA features talks on algebraic geometry and its links to other mathematical branches -- such as combinatorics, algebraic topology, commutative algebra, convex and discrete geometry, tensors and multilinear algebra, number theory, representation theory, and symbolic and numerical computation --, focusing on a variety of applications -- including robotics, optimization, statistics, machine learning, complexity theory, cryptography, coding theory, computer vision, biology, economics, among many others.

Registration. Fill out the SAGA registration form (takes 10 seconds) to get a personalized Zoom link for each seminar.

Recordings. The webinars are recorded and posted in the SAGA playlist on SIAM’s YouTube account.

Mailing List. To stay up-to-date about upcoming talks and receive Zoom invitations please join our mailing list by sending an email to siam_saga+join@g-groups.wisc.edu.

  • Afterwards you will receive an email which asks you to confirm your wish for subscription by replying to that email.
  • Finally, you will receive a confirmation email that you became a member.
  • If you have questions about the mailing list, then email jRodriguez43@wisc.edu (Jose Rodriguez).

Format. The seminars are held on a Zoom Webinar provided by SIAM:

  • 45 minutes of presentation, incl. questions
  • informal discussion
  • Participants can ask questions in the Q&A. The chair will bring forward these questions during and after the talk, and may ask you to unmute yourself to participate in the discussion. Please note that you will be recorded if you activate your audio or video during the seminar.

Organizers.

[edit] Upcoming Talks

All seminars take place on the 2nd Tuesday of every month.
Fill out the SAGA registration to get a personalized Zoom link for each seminar.

  • Tuesday, November 16, (Special week! Third Tuesday of the month!) 5pm Central European Time (UTC+1):
    Jonathan Hauenstein (University of Notre Dame) Time Zones
    Some applications of homotopy continuation in science and engineering
    Homotopy continuation is a foundational computational approach in numerical algebraic geometry which permits the tracking of solutions to parameterized systems of nonlinear equations. In science and engineering applications, parameters such as temperature, pressure, and leg lengths naturally arise and changing such parameters can impact both the qualitative and quantitative behavior of the corresponding solutions. This talk will provide an overview of homotopy continuation followed by several applications of homotopy continuation including equilibria in chemistry, kinematic synthesis in mechanical engineering, and variational inference for parameter estimation in biological models.
  • Tuesday, December 7 (Special week! The first Tuesday of the month), 5pm Central European Time (UTC+1):
    Alicia Dickenstein (University of Buenos Aires) Time Zones
  • Tuesday, January 11, 5pm Central European Time (UTC+1):
    Cynthia Vinzant (University of Washington) Time Zones
  • Tuesday, February 8, 5pm Central European Time (UTC+1):
    Heather Harrington (TBA) Time Zones
  • Tuesday, March 8, 5pm Central European Time (UTC+1):
    TBD (TBA) Time Zones
  • Tuesday, April 12, 5pm Central European Summer Time (UTC+2):
    Jesús A. De Loera (U.C. Davis) Time Zones
    The geometry of the space of ALL pivot rules of a Linear Optimization problem
  • Tuesday, May 10, 5pm Central European Summer Time (UTC+2):
    TBD (TBA) Time Zones
  • Tuesday, June 13, 5pm Central European Summer Time (UTC+2):
    TBD (TBA) Time Zones

[edit] Past Talks

These seminars already happened. But you can fill out the SAGA registration to get a personalized Zoom link for future seminars.

  • Tuesday, November 10, 5pm Central European Time (UTC+1): Time zones
    Rekha R. Thomas (University of Washington)
    When Two Cameras Meet a Cubic Surface
    The set of images captured by an arrangement of pinhole cameras is usually modeled by the multiview variety. The true set is in fact a semialgebraic subset of this variety, arising from the physical restriction that cameras can only image points in front of them. For a pair of cameras, the minimal problem in this semialgebraic setting is given by 5 point pairs, which even in general position, can fail to have a "chiral" reconstruction. I will describe how the combinatorics and arithmetic information of this minimal case is carried by a cubic surface with 27 real lines.
    Joint work with Sameer Agarwal, Andrew Pryhuber and Rainer Sinn.
  • Tuesday, December 8, 5pm (Central European Time) (UTC+1): Other time zones
    Camilla Hollanti (Aalto University)
    Coding theoretic framework for private information retrieval
    Private information retrieval (PIR) addresses the question of how to retrieve data items from a database or cloud without disclosing information about the identity of the data items retrieved. The area has received renewed attention in the context of PIR from coded storage systems. Here, the files are distributed over the servers according to a storage code instead of mere replication of data. Alongside with the basic principles of linear codes and PIR, we will review recent PIR capacity results and retrieval schemes. Then, we will introduce our own general framework allowing one to adjust the scheme according to the desired storage overhead and suspected collections of colluding servers. This is achieved by a carefully designed interplay between the algebraic-geometric storage and retrieval codes, coined as the star product scheme. The talk is based on a collection of joint works with Salim El Rouayheb (Rutgers), Ragnar Freij-Hollanti (Aalto), Oliver Gnilke (Aalborg), Lukas Holzbaur (TU Munich), David Karpuk (F-Secure), Jie Li (Aalto), and Razan Tajeddine (Helsinki).
  • Tuesday, January 12, 5pm Central European Time (UTC+1): Other time zones
    Sonja Petrović (Illinois Institute of Technology)
    Random Monomial Ideals
    Joint work with Jesus A. De Loera, Lily Silverstein, Despina Stasi, Dane Wilburne.
    Inspired by the study of random graphs and simplicial complexes, and motivated by the need to understand average behavior of ideals, we propose and study probabilistic models of random monomial ideals. We prove theorems about the probability distributions, expectations and thresholds for events involving monomial ideals with given Hilbert function, Krull dimension, first graded Betti numbers, and present several experimentally-backed conjectures about regularity, projective dimension, strong genericity, and Cohen-Macaulayness of random monomial ideals.
    The models for monomial ideals can be used as a basis for generating other types of algebraic objects, and proving existence of desired properties. The talk will feature a tasting of ongoing work in both of these directions.
  • Tuesday, February 9, 5pm Central European Time (UTC+1): Other time zones
    Bernd Sturmfels (MPI MiS Leipzig, UC Berkeley)
    Linear Spaces of Symmetric Matrices
    Real symmetric matrices appear ubiquitously across the mathematical sciences, and so do linear spaces of such matrices. We discuss recent developments concerning their algebraic geometry, with a view towards applications in statistics and optimization.
  • Tuesday, March 9, 5pm Central European Time (UTC+1):
    Timo de Wolff (Technische Universität Braunschweig)
    Certificates of Nonnegativity and Their Applications in Theoretical Computer Science
    Certifying nonnegativity of real, multivariate polynomials is a key problem in real algebraic geometry since the 19th century. In the 21st century, the problem (re-)gained significant momentum due to its relevance in polynomial optimization and its applications. The classical standard certificates of nonnegativity are sums of squares (SOS). But other, independent certificates of nonnegativity exist: e.g., sums of nonnegative circuit polynomials (SONC), which I have developed joint with Iliman in 2014.
    In the first part of this talk, I give an overview about certificates and hierarchies of nonnegativity. In the second part, I discuss highlights of recent work joint with Dressler and Kurpisz about theoretical bounds for hierarchies (of nonnegativity) applied to polynomial optimization problems on the Boolean Hypercube. This class includes in particular standard problems in theoretical computer science such as Maxcut or Knapsack, which motivated our work.
  • Tuesday, April 13, 5pm Central European Summer Time (UTC+2):
    Jan Draisma (Universität Bern)
    Infinite-dimensional geometry with symmetry
    Most theorems in finite-dimensional algebraic geometry break down in infinite dimensions---for instance, the polynomial ring C[x_1,x_2,...] is not Noetherian. However, it turns out that some results do survive when a sufficiently large symmetry group is imposed; e.g., ideals in C[x_1,x_2,...] that are preserved under all variable permutations do satisfy the ascending chain condition.
    This phenomenon is relevant for applications, since many algebraic models come in infinite families with highly symmetric infinite-dimensional limits. Here the symmetry is typically captured by either the infinite symmetric group or the infinite general linear group. Theorems about the limit imply uniform behaviour of the members of the family.
    I will present older and new results in this area, along with applications to algebraic statistics, tensor decomposition, and algebraic combinatorics.
  • Tuesday, May 11, 5pm Central European Summer Time (UTC+2):
    Elisenda Feliu (University of Copenhagen)
    Parametric polynomial systems and biochemical reaction networks
    In the context of (bio)chemical reaction networks, the dynamics of the concentrations of the chemical species over time are often modelled by a system of parameter-dependent ordinary differential equations, which are typically polynomial or described by rational functions. The study of the steady states of the system translates then into the study of the positive solutions to a parametric polynomial system.
    In this talk I will start by shortly presenting the formalism of the theory of reaction networks. Afterwards I will focus on the study of the parameter region where the relevant parametric system admits at least two positive solutions (a property termed multistationarity). I will show recent results on how to determine the region and whether it is connected. A ubiquitous and challenging network from cell signaling (the dual futile cycle) will be used as a case example. For this network, which is relatively small, several basic questions remain unresolved.
    The results I present arise from several joint works involving Conradi, Kaihnsa, Mincheva, Sadeghimanesh, Telek, Yürük, Wiuf and de Wolff.
  • Tuesday, July 13, 5pm Central European Summer Time (UTC+2): Time zones
    Caroline Uhler (MIT, Broad Institute)
    Mathematics of Genome Packing and Regulation
    Recent evidence suggests that the spatial organization of the genome represents an important regulator of expression, and alterations thereof are associated with various diseases. In this talk, I will analyze the link between the 3D genome organization and gene expression using geometric packing models and autoencoders/deep learning. In particular, I will first discuss the Euclidean distance geometry problem arising when studying the 3D genome organization and show that higher-order contacts are needed for its reconstruction. I will then discuss how autoencoders can be used to translate between DNA packing images and gene expression at the single-cell level as well as between different cell types. Given the empirical benefits of over-parameterization in autoencoders for these applications, I will end with a theoretical analysis of autoencoders linking over-parameterization to attractor properties. Understanding the geometry of these basins of attraction remains an important open problem.
  • Tuesday, August 10, 5pm Central European Summer Time (UTC+2): Time zones
    Frank Sottile (Texas A&M)
    Applications of Bernstein's Other Theorem
    Many of us are familiar with Bernstein's Theorem giving the number of solutions in the torus to a general system of sparse polynomial equations. The linchpin of his proof is what I like to call Bernstein's Other Theorem, which describes exactly when a system fails to be general in the above sense (Bernstein-general). His bound is a simple consequence of this using, for example, the characterization of mixed volume.

    Polynomial systems in nature are rarely general given their supports, and thus Bernstein's Theorem is only a priori a bound for their number of solutions. Nevertheless, a surprising number of polynomial systems from applications do achieve Bernstein's bound. For such a system, the polyhedral homotopy give an optimal algorithm for computing its solutions. My talk will discuss this background and give some polynomial systems from applications which are not general given their support, but are Bernstein-general.
  • Tuesday, September 14, 5pm Central European Summer Time (UTC+2): Time zones
    Elisa Gorla (University of Neuchatel)
    Multivariate cryptography and the complexity of polynomial system solving
    The security of multivariate cryptographic primitives relies on the hardness of computing the solutions of multivariate polynomial systems over finite fields. Since we can compute the solutions of a polynomial system from its Groebner basis, bounds on the complexity of Groebner bases computations provide bounds on the security of the corresponding multivariate cryptographic primitives. After introducing multivariate cryptography, I will discuss linear-algebra-based methods for computing Groebner bases, which are currently considered the most efficient algorithms available. I will introduce some invariants which control this complexity and try to answer the question of how hard it is to solve a "random" polynomial system.
  • Tuesday, October 12, 5pm Central European Summer Time (UTC+2): Time zones
    Avi Wigderson (Institute for Advanced Study)
    Optimization, Complexity and Math (or, can we prove P!=NP by gradient descent?)
    This talk aims to summarize a project I was involved in during the past 6 years, with the hope of explaining our most complete understanding so far, as well as challenges and open problems. The main messages of this project are summarized below; I plan to describe, through examples, many of the concepts they refer to, and the evolution of ideas leading to them. No special background is assumed.
    (1) The most basic tools of convex optimization in Euclidean space extend to a far more general setting of Riemannian manifolds that arise from the symmetries of non-commutative groups. We develop first-order and second-order algorithms, and analyze their performance in general. While proving convergence bounds requires heavy algebraic and analytic tools, convergence itself depends in an elegant way on natural ``smoothness’’ parameters, in analogy with the Euclidean (commutative) case.
    (2) These algorithms give exponential (or better) improvements in run-time for solving algorithmic many problems across CS, Math and Physics. In particular, these include problems in algebra (e.g. testing rational identities in non-commutative variables), in analysis (testing the feasibility and tightness of Brascamp-Lieb inequalities), in quantum information theory (to the quantum marginals problem), in algebraic geometry (to computing Kronecker coefficients), in computational complexity (to derandomizing new special cases of the PoIynomial Identity Testing problem) and in optimization (to testing membership in large, implicitly described polytopes).
    (3) The focus on symmetries exposes old and reveals new relations between the problems above, and between analysis, algebra and algorithms. Essentially, they are all membership problems in null cones and moment polytopes of natural group actions on natural spaces. Invariant theory, which studies such group actions, plays an essential role in this development. In particular, a beautiful non-commutative duality theory (expending linear programming duality in the commutative case), and notions of geodesic convexity (extending the Euclidean one) and moment maps (extending the Euclidean gradient) are central to the algorithms and their analysis. Interestingly, most algorithms in invariant theory are symbolic/algebraic, and these new numeric/analytic algorithms proposed here often significantly improve on them.

Based on joint works with Zeyuan Allen-Zhu, Peter Burgisser, Cole Franks, Ankit Garg, Leonid Gurvits, Pavel Hrubes, Yuanzhi Li, Visu Makam, Rafael Oliveira and Michael Walter.

Views
Personal tools