Home Registration Programme Logistics Organisation

Monday

8:00 - 8:45 Registration
8:45 - 9:00 Opening Remarks
Organizing Committee
9:00-10:00 Plenary 1: Tropical Graph Embeddings
Josef Schicho (Johannes Kepler University Linz, Austria)
Abstract Let \(G=(V,E)\) be a simple, undirected graph without self-loops and let \(\lambda\in\mathbb R^{E}\) be a labeling of edges by real numbers. A planar framework of \((G,\lambda)\) is a function \(\rho\) mapping \(V\) into the plane such that the squared Euclidean distance between vertices connected by an edge is equal to the label of that edge. If we say the plane is \(\mathbb R^2\), and the squared distance is given by a nondegenerate quadratic form, then the set of planar frameworks is an algebraic variety. For generic labeling, its dimension is \(2|V|-|E|\), if not empty.
The group \(\mathrm{SE}_2\) of Euclidean displacements acts on the variety of frameworks. To choose representatives, we pass to "pinned frameworks", which have one edge fixed. The dimension drops then by \(3\) to \(2|V|-|E|-3\). In this talk, we will ask several questions about the algebraic variety of pinned frameworks, in dimension 0 and 1, and try to answer them by tropical geometry.
With tropical geometry, one can take an algebraic variety and "tropicalise" it, obtaining a piecewise linear object that reflects some properties of the algebraic variety. Instead of costly algebraic computations, we will answer our questions by faster combinatoric algorithms.
10:00-10:30 Coffee Break
10:30-12:00 Parallel Session 1
Computational and Effective Commutative Algebra Real Projective Geometry and Grassmannian
  • Barbara Betti, Viktoriia Borovik:
    The SagbiHomotopy.jl package for solving polynomial systems
  • Viktoriia Borovik, Hannah Friedman, Serkan Hosten, Max Pfeffer:
    Numerical Algebraic Geometry for Energy Computations on Tensor Train Varieties
  • Kisun Lee:
    A priori bounds for certified Krawczyk homotopy tracking
  • Josué Tonelli-Cueto:
    Condition-based Low-Degree Approximation of Real Polynomial Systems. II.W: The Positive Dimensional Case in the Elliptic Regime
  • Benjamin Hollering, Elia Mazzucchelli, Matteo Parisi, Bernd Sturmfels:
    Varieties of Lines in 3-Space
  • Alheydis Geiger, Francesca Zaffalon:
    The Self-Projecting Grassmannian
    		•
    12:00-14:00 Lunch
    14:00-15:00 Plenary 2 (title tba)
    Alexandra Seceleanu (University of Nebraska-Lincoln. USA)
    15:00-15:30 Coffee Break
    15:30-17:00 Parallel Session 2
    Computational and Effective Commutative Algebra Real Projective Geometry and Grassmannia
  • Johannes Schmitt:
    Homogeneous Khovanskii bases and MUVAK bases
  • Filip Jonsson Kling, Samuel Lundqvist, Fatemeh Mohammadi, Matthias Orth:
    The Gröbner basis for powers of a general linear form in a monomial complete intersection
  • Joshua Grochow, Abhiram Natarajan:
    Gröbner bases native to term-ordered commutative algebras, with application to the Hodge algebra of minors
  • Cordian Riener, Ettore Teixeira Turatti:
    Quadrature rules with few nodes supported on algebraic curves
  • Julian Weigert, Clemens Brüser:
    Geometry of Adjoint Hypersurfaces for Polytopes
  • Teresa Cortadellas, Carlos D'Andrea, Ana Belen de Felipe, Joel Hurtado Moreno, M. Eulalia Montoro:
    On the effective Pourchet's Theorem
    		•

    Tuesday

    9:00-10:00 Plenary 3 (title tba)
    Dimitra Kosta (University of Edinburgh, UK)
    10:00-10:30 Coffee Break
    10:30-12:00 Parallel Session 3
    Algebraic Statistics, Models, Identifiability Positivity, Real Algebraic Geometry, Polynomial Optimization
  • Roser Homs, Danai Deligeorgaki, Bryson Kagy, Aida Maraj, Joseph Johnson:
    Maximum likelihood thresholds vs generic completion rank in colored gaussian graphical models
  • Jane Ivy Coons, Nataliia Kushnerchuk, Jiayi Li, Sarah Lumpp, Janike Oldekop, Cecilie Olesen Recke, Elina Robeva:
    Identifiability in Non-Gaussian Discrete Lyapunov Models
  • Eliana Duarte, Bernhard Reinke, Federico Lazzeri, Ludovico Piazza, Bowen Li, Nico Wolf:
    MLdegrees of 3D polytopes with MLdegree one faces
    		•
  • Lorenzo Baldi, Rainer Sinn, Máté L. Telek, Julian Weigert:
     Toric Extensions of Pólya's Theorem
  • Elisenda Feliu, Joan Ferrer, Máté L. Telek:
    Copositivity, discriminants and nonseparable signed supports
  • Matías Bender, Khazhgali Kozhasov, Elias Tsigaridas, Chaoping Zhu:
    Certificates for nonnegativity of multivariate integer polynomials under perturbations
    		•
    12:00-14:00 Lunch
    14:00-15:00 Plenary 4: On the distance to singular hypersurfaces
    Khazhgali Kozhasov (Université Côte d'Azur, France)
    15:00-15:30 Coffee Break
    15:30-17:10 Software presentations
  • Anne Fruehbis-Krueger, Michael Joswig, Lars Kastner
    Drawing real plane algebraic curves in OSCAR
  • Gabriel Riffo, Leonard Schmitz
    Signature Tensors in OSCAR
  • Zoltán Kovács, Alvaro Nolla, Tomás Recio, M. Pilar Vélez
    The ShowProof command in GeoGebra: automated ranking and derivation of geometric statements
  • Paul Breiding, John Cobb, Aviva Englander, Nayda Farnsworth, Jonathan Hauenstein, Oskar Henriksson, David Johnson, Jordy Lopez Garcia, Deepak Mundayur
    ProjectedHypersurfaceRegions.jl: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets
  • Timothy Duff, Viktor Korotynskiy, Anton Leykin, Tomas Pajdla
    Computer-Assisted Discovery and Proofs of Compatibility Conditions for Three Projective Cameras
    • 17:10-20:00 Poster Session

    Wednesday

    9:00-10:00 Plenary 5 (title tba)
    Anna Seigal (Harvard University, USA)
    10:00-10:30 Coffee Break
    10:30-12:00 Parallel Session 4
    Tensor Decompositions and Ranks Applied Algebraic Geometry, Dynamical Systems Signatures
  • Alessandra Bernardi, Oriol Reig Fité:
    A refinement on the local cactus rank algorithm
  • Enrica Barrilli, Bernard Mourrain, Daniele Taufer:
    Generalized Additive Decompositions of Symmetric Tensors
  • Tim Seynnaeve, Daniele Taufer, Nick Vannieuwenhoven:
    Chisel-based tensor decomposition
    		•
  • Francesco Maria Mascarin, Simon Telen:
    Lissajous Varieties
  • Francesco Galuppi, Giovanni Moreno, Pierpaola Santarsiero:
    Path signatures of ODE solutions
  • Flavio Salizzoni, Luca Sodomaco, Julian Weigert:
    Nonlinear Kalman varieties
    		•
    12:00- Free Afternoon

    Thursday

    9:00-10:00 Plenary 6 (title tba)
    Elisenda Feliu (University of Copenhagen, Denmark)
    10:00-10:30 Coffee Break
    10:30-12:00 Parallel Session 5
    Statistics, Models, Applications Combinatoric and Toric Algebra
  • Mathias Drton, Elizabeth Gross, Dimitra Kosta, Anton Leykin, Seth Sullivant, Daniel Windisch:
    Singular Learning Theory for Factor Analysis
  • Benjamin Biaggi, Jan Draisma, Fulvio Gesmundo, Aida Maraj, Magdaléna Misinová:
    Computing The Continuous Symmetries of a Parametrized Variety
  • Rodica-Andreea Dinu, Martin Vodicka:
    Proof of a Conjecture of Drton, Sturmfels and Sullivant on the maximum likelihood degree of the Gaussian graphical model of a cycle
    		•
  • Dario Antolini, Sean Dewar, Shin-Ichi Tanigawa:
    Dilworth truncations and Hadamard products of linear spaces
  • Andreas Gross, Kevin Kühn, Dante Luber:
    Minuscule Coxeter Dressians
  • Stefano Canino, Alex Casarotti, Pierpaola Santarsiero:
    A new bound on the rank of tensor product of W-states
    		•
    12:00-14:00 Lunch
    14:00-15:00 Plenary 7 (title tba)
    Liam Solus (KTH Royal Institute of Technology, Sweden)
    15:00-15:30 Coffee Break
    15:30-17:00 Parallel Session 6
    Statistics, Models, Applications Combinatoric and Toric Algebra
  • Elizabeth Pratt, Kexin Wang:
    Avoidance Loci of Real Projective Varieties
  • Cosimo Flavi, Fulvio Gesmundo, Alessandro Oneto, Emanuele Ventura:
    Polynomials of small slice rank and strength
  • Niels Lubbes:
    Webs on pointwise sums of two rational curves
    		•
  • Alexander Taveira Blomenhofer, Benjamin Lovitz:
    A linear-time algorithm for Chow decompositions
  • Henri Breloer, Cordian Riener:
    The Symmetric Hilbert Series
  • Ignacio García Marco, Philippe Gimenez, Mario González-Sánchez:
    Castelnuovo-Mumford regularity of toric varieties with at most one singular point
    		•
    17:30-19:00 Board Meeting
    The board meeting is private. Only members of the executive committee and explicitely invited partipants may participate.
    19:00- Evening social @ Gray College Bar

    Friday

    9:00-10:00 Plenary 8 (title tba)
    Tommy Hofmann (University of Siegen, Germany)
    10:00-10:30 Coffee Break
    10:30-12:00 Parallel Session 7
    Effective Computation, Algorithms, Software Tensors, Complexity, Quantum-type Applications
  • Daniel Holmes, Giosuè Muratore:
    Effective computation of Gromov-Witten invariants for GKM spaces
  • Christiane Ott:
    Algorithms to Calculate Invariant Rings of Finite Group Schemes
  • Hirotachi Abo, Kristian Ranestad, Frank-Olaf Schreyer:
    Nongeneral-type surfaces in projective four-space: a package for Macaulay2
    		•
  • Maxim van den Berg, Matthias Christandl, Vladimir Lysikov, Harold Nieuwboer, Michael Walter, Jeroen Zuiddam:
    Computing moment polytopes of tensors and polynomials
  • Paolo Andreini, Alessandra Bernardi, Barbara Toniella Corradini, Sara Marziali, Franco Scarselli:
    Neural Learning of Fast Matrix Multiplication Algorithms: A StrassenNet Approach
  • Elke Neuhaus, Irem Portakal, Vincenzo Galgano, Fabian Faulstich:
    The Coupled Cluster Doubles Truncation Variety of Four Electrons
    		•
    12:00-14:00 Lunch
    14:00-15:00 Plenary 9 (title tba)
    Michael Walter (LMU Munich, Germany)