Webinar

From SIAG-AG

Revision as of 23:40, 16 March 2021 (edit) Kohn (Talk | contribs) (→SAGA - Seminar on Applied Geometry and Algebra) ← Previous diff		Revision as of 23:41, 16 March 2021 (edit) (undo) Kohn (Talk | contribs) m (→SAGA - Seminar on Applied Geometry and Algebra) Next diff →
Line 20:		Line 20:
-	* 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''''' <be> 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.	+	* 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.

---

Revision as of 23:41, 16 March 2021

SAGA - Seminar on Applied Geometry and Algebra

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.

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).

Upcoming Talks All seminars take place on the 2nd Tuesday of every month at 5pm CET (UTC+1).
Fill out the SAGA registration to get a personalized Zoom link for each seminar.

• 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 Time (UTC+1):
  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.

Format The seminars are held on Zoom:

• 45 minutes of presentation, incl. questions
• informal discussion
• Fill out the SAGA registration to get a personalized Zoom link for each seminar.

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.

Each Zoom meeting is provided by SIAM. The webinars will be recorded and posted in the SAGA playlist on SIAM’s YouTube account.

Organizers

• Kathlén Kohn (KTH Stockholm)
• Jose Rodriguez (University of Wisconsin - Madison)
• Joachim Rosenthal (University of Zurich)

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.