Inhalt des Dokuments
Forschungsseminar
Name  Datum  Uhrzeit  Ort  Titel 

MA 403  08.04.2019  16  30  Alina Stancu 
Abstract: TBA 

Jörg Rambau  13.05.2020  16:30  MA 621  TBA 
Abstract: TBA 

Oğuzhan Yürük  11.03.2020  16:30  MA 621  TBA 
Abstract: TBA 

Antonio Macchia (FU Berlin)  12.02.2020  16:30  MA 621  Binomial edge ideals of bipartite graphs 
Abstract: Binomial edge ideals are ideals generated by binomials corresponding to the
edges of a graph, naturally generalizing the ideals of 2minors of a generic
matrix with two rows. They also arise naturally in the context of
conditional independence ideals in Algebraic Statistics. 

Amy Wiebe (FU Berlin)  05.02.2020  16:30  MA 621  Combining Realization Space Models of Polytopes 
Abstract: In this talk I will present a model for the realization space of a polytope which represents a polytope by its slack matrix. This model provides a natural algebraic relaxation for the realization space, and comes with a defining ideal which can be used as a computational engine to answer questions about the realization space. We will see how this model is related to more classical realization space models (representing realizations by Gale diagrams or points of the Grassmannian). In particular, we will see these relationships can be used to improve computational efficiency of the slack model. 

Matias Villagra (Pontifical Catholic University of Chile)  29.01.2020  16:30  MA 621  On a canonical symmetry breaking technique for polytopes 
Abstract: Given a group of symmetries of a polytope, a Fundamental Domain is a set of R^n that aims to select a unique representative of symmetric vectors, i.e. such that each point in the set is a unique representative under its Gorbit, effectively eliminating all isomorphic points of the polytope. The canonical Fundamental Domain found in the literature, which can be constructed for any permutation group, is NPhard to separate even for structurally simple groups whose elements are disjoint involutions (Babai & Luks 1983). 

Andrés R. Vindas Meléndez (University of Kentucky)  22.01.2020  16:30  MA 621  The Equivariant Ehrhart Theory of the Permutahedron 
Abstract: In 2010, Stapledon described a generalization of Ehrhart theory with group actions. In 2018, Ardila, Schindler, and I made progress towards answering one of Stapledon’s open problems that asked to determine the equivariant Ehrhart theory of the permutahedron. We proved some general results about the fixed polytopes of the permutahedron, which are the polytopes that are fixed by acting on the permutahedron by a permutation. In particular, we computed their dimension, showed that they are combinatorially equivalent to permutahedra, provided hyperplane and vertex descriptions, and proved that they are zonotopes. Lastly, we obtained a formula for the volume of these fixed polytopes, which is a generalization of Richard Stanley?s result of the volume for the standard permutahedron. Building off of the work of the aforementioned, we determine the equivariant Ehrhart theory of the permutahedron, thereby resolving the open problem. This project presents combinatorial formulas for the Ehrhart quasipolynomials and Ehrhart Series of the fixed polytopes of the permutahedron, along with other results regarding interpretations of the equivariant analogue of the Ehrhart series. This is joint work with Federico Ardila (San Francisco State University) and Mariel Supina (UC Berkeley). 

Simon Telen (KU Leuven)  15.01.2020  16:30  MA 621  Numerical Root Finding via Cox Rings 
Abstract: In this talk, we consider the problem of solving a system of (sparse) Laurent polynomial equations defining finitely many nonsingular points on a compact toric variety. The Cox ring of this toric variety is a generalization of the homogeneous coordinate ring of projective space. We work with multiplication maps in graded pieces of this ring to generalize the eigenvalue, eigenvector theorem for root finding in affine space. We use numerical linear algebra to compute the corresponding matrices, and from these matrices a set of homogeneous coordinates of the solutions. Several numerical experiments show the effectiveness of the resulting method, especially for solving (nearly) degenerate, high degree systems in small numbers of variables. 

María Angélica Cueto (Ohio State University)  11.12.2019  16:30  MA 621  Anticanonical tropical del Pezzo cubic surfaces contain exactly 27 lines. 
Abstract: Since the beginning of tropical geometry, a persistent
challenge has been to emulate tropical versions of classical results
in algebraic geometry. The wellknown statement "any smooth surface of
degree three in P^3 contains exactly 27 lines'' is known to be false
tropically. Work of Vigeland from 2007 provides examples of tropical
cubic surfaces with infinitely many lines and gives a classification
of tropical lines on general smooth tropical surfaces in TP^3. 

Roser Homs Pons (TU Berlin)  20.11.2019  16:30  MA 621  HilbertBurch matrices of ideals in k[x,y] and k[[x,y]] 
Abstract: In this talk we will discuss HilbertBurch matrices of ideals of codimension two and compare global monomial orders in k[x,y] with local orders in k[[x,y]]. We will see how these tools can be used to give a parametrization of zerodimensional ideals in the ring of polynomials and the ring of formal power series in two variables. 

Sascha Timme (TU Berlin)  13.11.2019  16:30  MA 621  3264 Conics in a Second 
Abstract: Enumerative algebraic geometry counts the solutions to certain geometric constraints. Numerical nonlinear algebra determines these solutions for any given instance. This talk illustrates how these two fields complement each other, especially in the light of emerging new applications. We start with a wonderful piece of 19th century geometry, namely the 3264 conics that are tangent to five given conics in the plane. Thereafter we turn to current problems in statistics and data science, with focus on the maximum likelihood estimation for linear Gaussian covariance models. 

Jesus Yepes Nicolas (University of Murcia)  30.10.2019  16:30  MA 406  TBA 
Abstract: TBA 

Laura Brustenga i Moncusi (TU Berlin, UAB)  23.10.2019  16:30  MA 621  Numerically computing the local dimension of an algebraic set. 
Abstract: Symbolic computations based on Gröbner basis are widely used, with great success, to compute several algebraic invariants. Nevertheless, such symbolic computations are expensive in time. Numerical Algebraic Geometry, an emerging field, specialises algorithms form Numerical Analysis to work on polynomial systems defined over the complex numbers, improving its performance by means of Algebraic Geometry. In this talk, we will outline an algorithm to compute the local dimension of an algebraic set. 

Scott Kemp (Queen Mary University of London)  16.10.2019  16:30  MA 621  An Alternative Characterisation of Valuated Matroids 
Abstract: We give an alternative way of defining a valuated matroid in terms of a rank function. The characterisation we give comes from looking at the valuated matroid basis polytope in an analogous way to the matroid basis polytope and how we obtain the rank function for a matroid from it. 

Robert Loewe (TU Berlin)  02.10.19  16:30  MA 621  On the discriminant of a cubic quaternary form 
Abstract: We determine the 166104 extremal monomials of the discriminant of a quaternary cubic form. These are in bijection with Dequivalence classes of regular triangulations of the 3dilated tetrahedron. We describe how to compute these triangulations and their Dequivalence classes in order to arrive at our main result. The computation poses several challenges, such as dealing with the sheer amount of triangulations effectively, as well as devising a suitably fast algorithm for computation of a Dequivalence class. 

Daniel Galicer (University of Buenos Aires)  11.09.19  16:30  MA 406  TBA 
Abstract: TBA 

Dominic Bunnett  04.09.19  16:30  MA 621  Stability of hypersurfaces and Newton Polytopes 
Abstract: Constructing moduli spaces is a fundamental problem in algebraic geometry. In this context, the stability of an object determines whether or not it fits into a moduli space and often becomes an important notion in its own right (for example stable sheaves and stable curves). The moduli of hypersurfaces in toric varieties is constructed using geometric invariant theory and an analysis of stability using the Newton polytope uncovers discrete geometry as a powerful tool to study the moduli of such hypersurfaces. In this talk we show how one relates stability of hypersurfaces and certain discrete geometric conditions on their Newton Polytopes. 

Victor Magron (CNRS Grenoble)  31.07.19  16:30  MA 621  Certified Semidefinite Approximations of Reachable Sets 
Abstract: We consider the problem of approximating the reachable set of
a continuous or discretetime polynomial system from a semialgebraic set
of initial conditions under general semialgebraic set constraints.
Assuming inclusion in a given simple set like a box or an ellipsoid, we
provide a method to compute certified outer approximations of the
reachable set. 

Andrew Newman, Francisco Criado (TU Berlin)  24.07.19  16:30  MA 621  Randomness in Algebra and Topology / Minkowski decompositions of polytopes via geometric graphs: followup 
Abstract: I will give a short talk about the recent Summer School at MPI Leipzig on Randomness and Learning in NonLinear Algebra. I will focus particularly on models of random monomial ideals and their connections with random graphs and simplicial complexes. Abstract:This talk is a followup on Guillermo Pineda's previous DMG talk: "Minkowski decompositions of polytopes via geometric graphs". In his work (PinedaVillacicencio et al (2018)), there is an example of a 3dimensional polytope that admits both a decomposable (i.e.: Minkowski sum of nonhomothetic polytopes) realisation and a indecomposable realisation. This shows that decomposability of polytopes cannot be decided by the combinatorics alone. In this talk, we will show why his example does not extend to higher dimensions. 

Elisabeth Werner (Case Western Reserve University)  10.07.19  16:30  MA 406  On the affine surface area 
Abstract: Given a convex body K in R^n, we study the quantity AS(K) = sup_{K'\subseteq K}as(K'), where as(K') denotes the affine surface area of K', and the supremum is taken over all convex�subsets of K.�We study �continuity properties of AS(K) and give asymptotic estimates. Based on joint work with Ohad Giladi, Han Huang and Carsten Schuett. 

Marcel Celaya (Georgia Tech)  05.07.19  12:00  MA 406  A chirotopebased proof of the BohneDress theorem 
Abstract: The celebrated BohneDress theorem characterizes tilings of a given zonotope $\mathcal{Z}$ by zonotopes in terms of singleelement liftings of the oriented matroid associated to $\mathcal{Z}$. In this talk I will show how one might prove this result using a certain reinterpretation of the chirotope of an oriented matroid. I will also discuss several related open questions. 

Stephan Tillmann (University of Sydney)  03.07.19  16:30  MA 621  Minimal triangulations of cusped hyperbolic 3manifolds 
Abstract: Thurston observed that ideal triangulations are a useful tool to
study the geometry and topology of cusped hyperbolic 3?manifolds. Geometric
triangulations are useful to study geometric properties of a manifold. Min
imal triangulations, i.e. topological ideal triangulations using the least
number of ideal 3simplices, are used in census enumeration, and as a
platform to study the topology of the manifold using normal surface theory. 

Sarah Morell  26.06.19  16:30  MA 621  On the singlesource unsplittable flow problem 
Abstract: The singlesource unsplittable flow problem has been introduced by Kleinberg (1996) and generalizes several NPcomplete problems from various areas in combinatorial optimization such as packing, partitioning, scheduling and load balancing. Commodities must be routed simultaneously in a given arccapacitated graph. Each of the commodities has a common source, a destination and a requested flow demand. The problem consists in routing each commodity through a single path without violating the given arc capacities. 

Rekha Thomas (University of Washington)  19.06.19  16:30  MA 621  The Slack Realization Space of a Polytope 
Abstract: We introduce a new model of a realization space of a polytope that arises as the positive part of a real variety. The variety is determined by the slack ideal of the polytope, a saturated determinantal ideal of a sparse generic matrix that encodes the combinatorics of the polytope. The slack ideal offers a uniform computational framework for several classical questions about polytopes such as rational realizability, projectively uniqueness, nonprescribability of faces, and realizability of combinatorial polytopes. The simplest slack ideals are toric. We identify the toric ideals that arise from projectively unique polytopes. New and classical examples illuminate the relationships between projective uniqueness and toric slack ideals. 

Alexander Koldobsky (University of Missouri)  12.06.19  16:30  MA 406  An estimate for the distance from a convex body to subspaces of L_p 
Abstract: TBA 

Guillermo Pineda Villavicencio (Federation University Australia)  29.05.19  16:30  MA 621  Minkowski decompositions of polytopes via geometric graphs 
Abstract: Minkowski decomposition of polytopes is presented via geometric graphs. This is due to Kallay (1982), who reduced the decomposability of a realisation of polytope to that of its geometric graph, and in this way, introduced the decomposability of geometric graphs. One advantage of this approach is its versatility. The decomposability of polytopes reduces to the decomposability of geometric graphs, which are not necessarily polytopal. And statements on decomposability of geometric graphs often revolve around the existence of suitable subgraphs or useful properties in the graphs. 

Giulia Codenotti (FU Berlin)  22.05.19  16:30  MA 406  The covering minima of lattice polytopes 
Abstract: Covering minima of a convex body were introduced by Kannan and Lovasz to give a better bound on the constant in the flatness theorem, which states that the width of hollow convex bodies in a fixed dimension is bounded by a constant. These minima are similar in flavor to Minkowski's successive minima, and on the other hand generalize the covering radius of a convex body. I will speak about recent joint work with Francisco Santos and Matthias Schymura, where we investigate extremal values of these covering minima for nonhollow lattice polytopes. 

Boasz Slomka (Weizmann Institute)  15.05.19  16:30  MA 406  On Hadwiger’s covering conjecture 
Abstract: https://www3.math.tuberlin.de/combi/wp_henk/event/seminartalkbyboaszslomka/ 

Alheydis Geiger (Tuebingen)  08.05.19  16:30  MA 621  Realisability of infinite families of tropical lines on general smooth tropical cubic surfaces 
Abstract: A tropical line on a smooth tropical cubic surface can be realised, if
there exists a line on a smooth cubic surface, such that the
tropicalisation of the surface and the line coincide with the given
tropical cubic surface and tropical line. (This is called relative realisability.)


Andreas Paffenholz  17.04.19  16:30  MA 621  tropical cubic surfaces 
Abstract: The Ehrhart polynomial counts lattice points in multiples of a lattice polytope P. It is a polynomial e(t) of degree d, and we know that its constant coefficient and the coefficients of t^d and t^(d1) are positive, as those coefficients have a geometric interpretation. Much less is known about the other coefficients. 

Erika Roldan  10.04.19  16:30  MA 621  Evolution of the homology and related geometric properties of the Eden Growth Model. 
Abstract: In this talk, we study the persistent homology and related geometric properties of the evolution in time of a discretetime stochastic process defined on the 2dimensional regular square lattice. This process corresponds to a cell growth model called the Eden Growth Model (EGM). It can be described as follows: start with the cell square of the 2dimensional regular square lattice of the plane that contains the origin; then make the cell structure grow by adding one cell at each time uniformly random to the perimeter. We give a characterization of the possible change in the rank of the first homology group of this process (the "number of holes"). Based on this result we have designed and implemented a new algorithm that computes the persistent homology associated to this stochastic process and that also keeps track of geometric features related to the homology. Also, we present obtained results of computational experiments performed with this algorithm, and we establish conjectures about the asymptotic behavior of the homology and other related geometric random variables. The EGM can be seen as a First Passage Percolation model after a proper timescaling. This is the first time that tools and techniques from stochastic topology and topological data analysis are used to measure the evolution of the topology of the EGM and in general in FPP models. 

Andrew Newman, Manuel Radons, and Oğuzhan Yürük (TU Berlin)  03.04.19  16:30  MA 621  Radons: Shellability, Yuruk: Lattice Polytopes and Face Enumeration of Certain Classes of Simplicial Polytopes, Newman: Random polytopes 
Abstract: Radons: Following Tim Roehmer's third lecture at the Bochum spring
school, I will introduce the notion of shellability of a pure polytopal
complex. A simplification of the concept for pure simplicial complexes
and apllications of shellings in inductive proofs will be discussed. 

Holger Eble and Ayush Tewari (TU Berlin)  27.03.19  16:30  MA 621  Eble: Epistatic weights and polyhedral geometry Tewari: Moduli of tropical plane curves of genus 6 
Abstract: Eble:
Epistatic weights and cluster filtrations provide a mathematical
tool for studying biological data sets. In this informal talk I will
present the geometric motivation behind these notions. 

Jonathan Kliem (FU Berlin)  20.03.19  16:30  MA 621  A face iterator for polyhedra 
Abstract: We discuss a new algorithm that iterates over all elements of a meetsemilattice, where every interval is coatomic. 

Jens Forsgaard (Universiteit Utrecht)  13.02.19  16:30  MA 621  Nonegativity and Discriminants 
Abstract: We study the class of nonnegative polynomials obtained from the inequality of arithmetic and geometric means, called \emph{agiforms} or \emph{nonnegative circuit polynomials}. They generate a full dimensional subcone $S$ of the cone of all nonnegative polynomials, which is distinct from the cone of sums of squares. Let $\mathbb{R}^A$ denote the space of all real polynomials with support $A$. We describe the boundary of the cone $S \cap \mathbb{R}^A$ as a space stratified in real semialgebraic varieties. In order to describe the strata, we take a journey through discriminants, polytopes, and triangulations, oriented matroids, and tropical geometry. Based on joint work with Timo de Wolff. 

Christian Krattenthaler  13.02.19  15:30  MA 621  Discrete analogues of MacdonaldMehta integrals 
Abstract: The Mehta integral and its generalisations due to Macdonald originate from random matrix theory, but are as well important objects in the theory of (multivariable) orthogonal polynomials and in combinatorics. These (now) classical integrals are certain multidimensional integrals which  suprisingly?  can be evaluated into closed form product formulae. I shall consider certain discretisations of the MacdonaldMehta integrals. There are ten families of such discretisations which can be evaluated in closed form. I shall sketch the ideas which go into the proofs of these identities, which come from combinatorics of nonintersecting lattice paths, identities for classical group characters, and a transformation formula for elliptic hypergeometric series, respectively. No prior knowledge of any of these is required to follow the talk as everything will be explained during the talk. This is joint work with Richard Brent and Ole Warnaar. 

Deane Yang (NYU Courant)  06.02.19  16:30  MA 406  Information theoretic inequalities and their convex geometric analogues 
Abstract: It will be shown how, using the homogeneous contour integral, information theoretic invariants and inequalities involving entropy, moments, Fisher information can be translated into convex geometric invariants and inequalities. 

Johannes Rau (Tübingen)  23.01.19  16:30  MA 621  Tropical patchworking for nodal curves in the plane (joint with Ilia Itenberg and Grigory Mikhalkin) 
Abstract: Given a real algebraic curve in the plane, probably the most elementary questions you can ask are: What is its number of connected components? How are they arranged in the plane? This leads to the porblem of topological classification of such curves which received ongoing attention ever since being included as Hilbert's 16th problem in his famous list from 1900. While most results deal with the case of smooth curves, I will present a classification for a certain type of singular curves of degree 5 in the plane. To construct such curves, we will use a "tropical" version of Viro's patchworking construction which is better suited for the singular case. 

Timo de Wolff  09.01.19  16:30  MA 621  Nondegenerate Multistationarity in Small Reaction Networks 
Abstract: Much attention has been focused in recent years on the following algebraic problem arising from applications: which chemical reaction networks, when taken with massaction kinetics, admit multiple positive steady states? The interest behind this question is in steady states that are stable. As a step toward this difficult question, here we address the question of multiple nondegenerate positive steady states. Mathematically, this asks whether certain families of parametrized, real, sparse polynomial systems ever admit multiple positive real roots that are simple. Our main results settle this problem for certain types of small networks, and our techniques point the way forward for larger networks. This is joint work with Anne Shiu. 

Tanka Nath Dhamala (Tribhuvan University)  05.12.18  16:30  MA 406  Flow Models and Solution Strategies for Evacuation Planning Problems 
Abstract: Unavoidable human created or natural disasters worldwide highly demand an efficient and reliable evacuation planning strategy to save the people and property in emergency periods. There exist a variant of mathematical modeling approaches and solution techniques covering from wide range of mathematical fields, engineering and management sciences. Although solution techniques with fluid dynamical equations using differential equations or cell based simulation approaches seek to address the problems more accurately and also taking care of the individual behaviors, they could not handle large scale problems because of high computational costs involved. On the other hand, flow models with different optimization techniques that seek to model the real life with time varying or flow dependent attributes also yield nonlinearity and high computational inefficiency. As a compromise, one can model these problems within the framework of evacuation network optimization which can handle relatively larger size instances with compromised solution quality in discrete time settings. We consider the models in latter approach and illustrate some algorithms that are more interesting theoretically and also from practical view points. 

Milena Wrobel (MPI Leipzig)  21.11.18  16:30  MA 621  On the anticanonical complex 
Abstract: Toric Fano varieties are in one to one correspondence to so called Fano polytopes. The lattice points in the Fano polytope determine the singularity type of the corresponding toric Fano variety and thus allows classification with purely combinatorial methods. For varieties with a torus action of complexity one, i.e. the general torus orbit is of dimension one less than the dimension of the variety, the anticanonical complex has been introduced as a natural generalisation of the toric Fano polytope. We give a sufficient condition on Fano varieties with torus action of arbitrary complexity that admit an anticanonical complex, i.e. a polyhedral complex whose lattice points determine their singularity type. We show that the possibility to apply the anticanonical complex to these varieties is connected to certain properties of their quotients and use this fact to construct first example classes. 

Anne FrühbisKrüger (Leibniz Universität Hannover)  14.11.18  16:30  MA 621  Some massively parallel computations in algebraic geometry 
Abstract: While massively parallel computations are ubiquitous in numerics and simulation, they have rarely ever been thought about in computational algebraic geometry. Already the Gröbner Basis Algorithm, which is the workhorse behind numerous computations, does not have a natural parallelization and thus seems a huge obstacle. But there are tasks in algebraic geometry, which are accessible to a very coarse grained, massively parallel approach due to the local nature of the problem itself. In this talk, I will show a few examples, in which such an approach proved fruitful such as e.g. a smoothness test based on the termination criterion of Hironaka’s resolution of singularities. 

Iskander Aliev (Cardiff University)  31.10.18  16:30  MA 406  On the distance to lattice points in knapsack polyhedra 
Abstract: In this talk we will present some recent results on the distance from a vertex of an integer feasible knapsack polyhedron \(P\) to its nearest lattice point in \(P\) (referred to as a vertex distance). We give a sharp upper bound for the vertex distance that only depends on the maximum norm of the vector \(a\). In a randomised setting, we show that the vertex distance for a typical knapsack polyhedron is drastically smaller than the vertex distance that occurs in a worst case scenario. This is a joint work with Martin Henk and Timm Oertel. 

Akiyoshi Tsuchiya  24.10.18  16:30  MA 621  Reflexive polytopes arising from (0,1)polytopes 
Abstract: A (0,1)polytope is a lattice subpolytope of [0,1]^d. Several classes of (0,1)polytopes arise from some combinatorial objects and many properties of the (0,1)polytopes are characterized in terms of the combinatorial objects. In this talk, we introduce construction of reflexive polytopes arising (0,1)polytopes and discuss their properties. A reflexive polytope is one of the keywords belonging to the current trends on the research of lattice polytopes. In fact, many authors have studied reflexive polytopes from viewpoints of combinatorics, commutative algebra and algebraic geometry. We also present a linear algebraic technique to show a lattice polytope is reflexive and we give a family of reflexive polytopes arising from the edge polytopes of finite simple graphs. This talk is based on joint work with Takahiro Nagaoka. 

Marta Panizzut  17.10.18  16:30  MA 621  Introduction to padic geometry 
Abstract: In this survey talk we will introduce padic fields and more generally nonarchimedean valued fields. We will point out that the topology induced by the absolute value is totally disconnected. This make it more difficult to define manifolds and geometric theories over these fields. We will see how Berkovich's approach of analytic spaces deal with these problems. 

Leon Zhang  29.08.18  16:30  MA 621  Constructing an enveloping membrane for a minconvex hull 
Abstract: Joswig, Sturmfels, and Yu (2007) describe a correspondence between a minconvex hull in the affine building of SL_d(K) and a tropical convex hull in tropical projective space TP^{d1}, using a membrane containing the minconvex hull. We describe an algorithm for constructing such a membrane, which gives a bound on the number of points needed to span the tropical convex hull. 

Charles Wang  22.08.18  16:30  MA 621  Cluster Algebras and Grassmannians 
Abstract: We will study the interactions of combinatorics and geometry via cluster algebras. We will begin with the simple case of the Grassmannians Gr(2,n), where this connection is completely determined by the type A_n associahedron, corresponding to triangulations of an n+3gon. Next, we will discuss the case for general Gr(k,n) and the Lagrangian Grassmannians LG(n), where will focus on combinatorial objects called plabic graphs. We will discuss how the cluster structure in these cases gives a method to understand the NewtonOkounkov bodies of these varieties, and give a connection to Khovanskii bases and toric degenerations. Time permitting, we will also the study relation to the tropical Grassmannians and positivity. 

Stephan Tillmann  18.07.18  16:30  MA 621  What is the Thurston norm? 
Abstract: Thurston’s norm on (co)homology of a 3manifold reveals interesting topological properties of the 3manifold. At the centre of its study is its unit ball, which is a finite polytope. Associated to some of its top dimensional faces are special triangulations of the manifold defined by Agol, called veering triangulations. After a general introduction to these topics, I will outline algorithms developed in collaboration with Daryl Cooper and Will Worden to compute the unit ball, and ask the audience for input on interesting properties of the polytopes that one might want to address. 

Marek Kaluba  11.07.18  16:30  MA 621  Noncommutative positivity and property (T) 
Abstract: The underlying theme of the talk is the reduction of the (hard analytic) ques tion of Kazhdan’s property (T) to an (algebraic, computable) problem of non commutative optimisation. In this formulation, property (T) is equivalent to the positivity of the element ∆ 2 − λ ∆ in (full) C ∗ group algebra (where ∆ is the group Laplacian). This problem will serve as a motivation to explore the topic of noncommutative positivity. I will present certain results on positivity for free ∗ algebras and group al gebras. It turns out that, due to much richer representation theory of non commutative objects, the Positivestellensätze in the noncommutative world are much stronger than in the commutative world: the positive cone is in many cases equal to the cone of sums of (hermitian) squares. Moreover one of the characterisations of cones in the “algebraic topology” of ∗ algebra allows turning a numerical approximation of the the sum of squares decomposition (of ∆ 2 − λ ∆ ) into a mathematical proof of the positivity. I will finish by presenting the very concrete case of the application of the theory to S Aut( F n ), the (special) automorphism group of the free group on five generators. Using Gramm method we formulated The successful execution of the described programme was obstructed by the sheer size of the optimisation problem. To overcome these difficulties we exploited the symmetry of ∆ 2 − λ ∆ and used the theory of representations of finite groups to significantly reduce the complexity of the optimisation problem, wich might be of interest of its own. 

Ngoc Tran (UT Austin/Hausdorff Center for Mathematics, Bonn)  04.07.18  16:30  MA 621  A computational approach to tropical semigroups 
Abstract: In many semigroups it is difficult to construct and verify identities. For the semigroups of Tropical uppertriangular matrices, we show that each word has a signature, which is a sequence of polytopes, and two words form an identity if and only if their signatures agree. This leads to fast algorithms for constructing semigroup identities. Our algorithms allow us to disprove conjectures, prove new theorems on the structure of the semigroup, and form new conjectures at the intersection of probability, combinatorics and semigroup theory. In this talk, we will focus on explaining these conjectures from the viewpoint of polyhedral computations. Joint work with Marianne Johnson 

Timur Sadykov  28.06.18  14:15  MA 316  Amoebas of multivariate hypergeometric polynomials 
Abstract: Polynomial instances of hypergeometric functions in one and
several variables are very diverse. They comprise the classical
Chebyshev polynomials of the first and the second kind, the
Gegenbauer, Hermite, Jacobi, Laguerre and Legendre polynomials as
well as their numerous multivariate analogues. 

Christian Stump  20.06.18  16:30  MA 621  Reflection groups and singularity theory 
Abstract: I aim to motivate, as simple as possible and limited by my own understanding, Arnold's problem "Find applications of the complex reflection groups in singularity theory". I start with discussing the connection between the discriminant of a general polynomial in one variable and the realization of the braid group using the braid arrangement. I then intend to give a detailed introduction to reflection groups in rational / real / complex vector spaces, their reflection arrangements, and their discriminants, and in particular discuss the connection to Kleinian singularities associated with symmetry groups of platonic solids and binary polyhedral groups. 

Kalina Mincheva (Yale University)  13.06.18  16:30  MA 621  The Picard group of a tropical toric scheme 
Abstract: Through the process of tropicalization one obtains from an algebraic variety $X$ a combinatorial object called the tropicalization of $X$, $trop(X)$, that retains a lot of information about the original variety. Following the work of J. Giansiracusa and N. Giansiracusa, one can endow $trop(X)$ with more structure, to obtain a tropical scheme. Loosely speaking, we consider more equations than the ones needed to determine the tropical variety. We are interested what information about the original variety $X$ is preserved by the tropical scheme $X_\mathbb{T}$ (but possibly not by the tropical variety). In particular, we study the relation between the Picard group of $X$ and $X_\mathbb{T}$. We solve the problem in the case when $X$ is a toric variety. 

Jonathan Spreer  06.06.2018  16:30  MA 621  Separationtype combinatorial invariants for triangulations of manifolds 
Abstract: In my talk I will propose and discuss a set of combinatorial invariants of simplicial complexes which, in some sense, can be seen as a refinement of the fvector. The invariants are very elementary and defined by counting connected components and/or homological features of induced subcomplexes. 

Alperen Erguer  30.05.18  16:30  MA 406  Multihomogenous Nonnegative Polynomials and Sums of Squares 
Abstract: It is due to Blekherman that we now know there are significantly more nonnegative forms than sums of squares for any fixed degree \(2d\) and large number of variables \(n\). What if we ask the same comparison for polynomials with a prescribed Newton polytope? I will present some general ideas from (modern) convex geometry that handles the case of multihomogeneous polynomials. These results refine the estimates of Blekherman and happens to have some implications in quantum information theory. I will also try to indicate missing ingredient(s) for handling general Newton polytopes, which might be of interest to the lovers of toric geometry and/or Lie algebras. 

Travis Scrimshaw  29.05.18  17:00  MA 621  On the Combinatorics of Crystals 
Abstract: In algebra, a crystal base or canonical base is a base of a representation, such that generators of a quantum group or semisimple Lie algebra have a particularly simple action on it. Crystal bases were introduced by Kashiwara (1990) and Lusztig (1990) (under the name of canonical bases). 

Grigoris Paouris (Texas A&M University)  24.05.18  16:15  MA 313  The "Small ball" property in high dimensional measures 
Abstract: I will discuss some methods/techniques to prove "small ball probabilities" and I will review some connections with other problems in Asymptotic Geometric Analysis. The emphasis will be on how highdimensional geometry and convexity is crucial to understand the concentration behavior in the "small ball regime". 

Grigoris Paouris (Texas A&M University)  23.05.18  16:30  MA 313  Almost Euclidean section of highdimensional convex bodies 
Abstract: The celebrated theorem of Dvoretzky states that for any n and \(\varepsilon \in (0,1)\) there exists a function \(k(n,ε)\) with the property that any ndimensional symmetric convex body has a kdimensional section at a distance at most \((1+\varepsilon)\) from the Euclidean ball and moreover \(k(n,\varepsilon)\) tends to infinity as \(n \to \infty\) for fixed \(\varepsilon\). The asymptotic behavior of this function remains an open problem 64 years after Grothendieck proposed it. I will discuss some recent developments on the problem. In particular I will present how the notion of superconcentration is central in the latest improvements. Based on joint work with P. Valettas. 

Chris O'Neill (UC Davis)  09.05.18  16:30  MA 621  Computing the delta set of an affine semigroup: a status report 
Abstract: An affine semigroup \(S\) is a subset of \(\mathbb Z_{\ge 0}^k\) that is closed under vector addition, and a factorization of \(a \in S\) is an expression of \(a\) as a sum of generators of \(S\). The delta set of \(a\) is a set of positive integers determined by the 'missing factorization lengths' of \(a\), and the delta set of \(S\) is the union of the delta sets of its elements. Although the delta set of any affine semigroup is finite, its definition as an infinite union makes explicit computation difficult. In this talk, we explore algebraic and geometric properties of the delta set, and survey the history of its computation for affine semigroups. The results presented here span the last 20 years, ranging from a first algorithm for a small class of semigroups that is impractical for even basic examples, to recent joint work with GarciaSanchez and Webb expressing the delta set of any affine semigroup in terms of Groebner bases, and include results from numerous undergraduate research projects. 

Vijaylaxmi Trivedi (Tata Institute of Fundamental Research, Mumbai)  02.05.18  16:30  MA 406  HilbertKunz functions and HK density functions 
Abstract: We give a brief survey of HilbertKunz function and its leading coefficient \(e_{HK}\) called HK multiplicity, for a commutative Noetherian ring. 

Victor Magron (CNRS Grenoble)  25.04.18  16:30  MA 621  On exact polynomial optimization 
Abstract: To compute certificates of nonnegativity, an approach based on sums of
squares (SOS) decompositions has been popularized by Lasserre and Parillo. 

Ben Smith (Queen Mary University of London)  18.04.18  16:30  MA 621  Matching fields and lattice points of simplicies 
Abstract: An (n,d)matching field is a collection of matchings such that there is a unique matching for each dsubset of [n]. They naturally arise as minimal matchings of a weighted complete bipartite graph, and can be thought of as the tropical analogue to matroids. They have relationships to multiple combiatorial objects, in particular triangulations of the product of two simplices. In this talk, we will use this relationship to introduce a construction that associates to the matching field a collection of bipartite graphs and a bijection to the lattice points of a scaled simplex. We will then use this construction to prove two outstanding conjectures of Sturmfels and Zelevinsky on matching fields. 

Michael Joswig (TU Berlin)  11.04.18  16:30  MA 621  Coxeter groups, BNpairs, and buildings 
Abstract: Buildings form a fundamental geometric concept which generalize the Coxeter complex of a Coxeter group. The theory was mostly developed by Tits (and Borel) in the 1960s and 1970s. While its origins are in Lie theory one particularly striking application was its contribution to the classification of the finite simple groups (completed around 1980). In this talk (of historical survey type) I will define the three notions in the title and look into one family of examples. In the end I will briefly try to sketch the impact on group theory in general. 

Sascha Timme  04.04.18  16:30  MA 621  Fast Computation of Amoebas in low Dimensions 
Abstract: The concept of an amoeba was introduced by Gelfand, Kapranov and Zelevinsky
in 1994 to study the relationship between the zero locus of a polynomial and
its Newton polytope. Amoebas have a lot of fascinating structural properties.
In particular, there exists for each amoeba a tropical hypersurface, called
the spine, which is a deformation retract of the amoeba. 

Adam Kurpisz  28.03.18  16:30  MA 621  On the hierarchies of relaxations for 0/1 optimization problems 
Abstract: Constructing efficient algorithms for combinatorial optimization problems is a task that requires a lot of knowledge, experience and creativity. The goal of this talk is to present the automatizable hierarchies of algorithms (Lasserre/SumofSquares (SoS), Sherali Adams (SA)) and the recent development in this field, the SumofNonnegativeCircuit (SoNC) algorithm. 

Francisco Criado  07.02.18  16:30  MA 621  Packing algorithms applied to linear programming 
Abstract: The YamnistskyLevin algorithm (1982) is a variation of the ellipsoid method that uses a simplex instead of an ellipsoid. Unlike the ellipsoid method, it does not require square root computations, and it still runs in weakly polynomial time. However, its running time is still not practical. We introduce a variation of this method that examines a subset of cutting planes, and uses the Multiplicative Weights framework developed by Plotkin, Shmoys and Tardos for packing linear programs. We will show how our algorithm improves the original YL algorithm for a simplification of the problem, and what questions remain open to give a complete proof of convergence. 

Romanos Malikiosis  24.01.18  16:30  MA 406  Fuglede's spectral set conjecture on cyclic groups 
Abstract: Fuglede's conjecture (1974) states that a bounded measurable subset in \(\mathbb{R}^d\) accepts an orthogonal basis of exponential functions (i.e. it is spectral) if and only if it tiles the space with a discrete set of translations. This conjecture turned out to be false by Tao's counterexample in 2003. Using Tao's ideas, counterexamples in finite Abelian groups such as \(\mathbb{Z}_N^d\) can be lifted to counterexamples in \(\mathbb{R}^d\), thus shifting the interest on this conjecture to this setting in recent years. This has been successful for \(d\geq3\), but the conjecture is still open for \(d=1,2\). 

Linda Kleist  20.12.17  16:30  MA 621  Rainbow cycles in flip graphs 
Abstract: The vertices of flip graph are combinatorial or geometric objects, and its edges link two of these objects whenever they can be obtained from one another by an elementary operation called a flip. With each edge, we associate the type of a flip (thought of as a color) and seek for rrainbow cycles, i.e., cycles where every flip type occurs exactly r times. 

Franz Schuster (TU Wien)  06.12.17  16:30  MA 406  Affine vs. Euclidean Sobolev inequalities 
Abstract: In this talk we explain how every even, zonal measure on the Euclidean unit sphere gives rise to a sharp Sobolev inequality for functions of bounded variation which directly implies the classical Euclidean Sobolev inequality. The strongest member of this large family of inequalities is shown to be the only affine invariant one among them – the affine ZhangSobolev inequality. We discuss in some detail the geometry behind these analytic inequalities and also relate our new Sobolev inequalities to the sharp GromovGagliardoNirenberg Sobolev inequality for general norms and discuss further improvements of special cases. 

Gennadiy Averkov (OvGU Magdeburg)  29.11.17  16:30  MA 406  Latest news on Hensley's conjecture 
Abstract: The talk is about the maximum volume of ddimensional lattice polytopes with a fixed positive number of interior lattice points. Several researchers conjectured that the maximum is attained on a nice family of polytopes arising from the socalled Sylvester sequence. I will report on the recent progress on Hensley's conjecture. This is joint work with Benjamin Nill and Jan Krümpelmann. 

Didier Henrion (LAASCNRS Univ Toulouse, FR and Czech Tech Univ Prague, CZ)  22.11.17  16:30  MA 621  Convergence rates of momentsumofsquares hierarchies for volume approximation of semialgebraic sets 
Abstract: Momentsumofsquares hierarchies of semidefinite programs can be used to approximate the volume of a given compact basic semialgebraic set K. The idea consists of approximating from above the indicator function of K with a sequence of polynomials of increasing degree d, so that the integrals of these polynomials generate a convergence sequence of upper bounds on the volume of K. In this talk we show how we could derive an asymptotic rate of convergence for this approximation scheme. Joint work with Milan Korda, see arXiv:1609.02762. 

Henning Seidler  15.11.17  16:30  MA621  Circuit Polynomials for Simplex Newton Polytopes 
Abstract: Finding the minimum of a multivariate real polynomial is a wellknown hard problem with various applications. We present an implementation to approximate such lower bounds via sums of nonnegative circuit polynomials (SONCs). We provide a testsuite, where we compare our approach, using different solvers, with several solvers for sums os squares (SOS), including sostools and gloptipoly. It turns out that the circuit polynomials yield bounds competitive to SOS in several cases, but using much less time and memory. 

Samuli Leppänen (Dalle Molle Institute for Artificial Intelligence Research)  08.11.17  16:30  MA621  Some integrality gap results for the 0/1 SoS Hierarchy 
Abstract: In this talk we present the SoS hierarchy in the context of 0/1 optimization along with some of our recent integrality gap/lower bound results. We introduce the relevant concepts and give a brief derivation of the hierarchy. As for our results, we characterize the possible gap instances on the round n1 of the hierarchy. Then we show an unbounded integrality gap after nonconstant number of rounds for a problem that admits a polynomial time algorithm. Finally we present a simplification of the positive semidefiniteness constraints when a high degree of symmetry can be assumed, and some applications to integrality gaps and lower Bounds. 

Daryl Cooper  13.09.17  16:30  MA621  Limits of Algebraic varieties: towards a continuous Nullstellansatz 
Abstract: The map that sends a polynomial ideal to an algebraic variety in complex affine space is not continuous with respect to the obvious topology on the domain. However it is continuous on the closure of the set of ideals generated by polynomials of degree at most d. Moreover the closure of this subspace is compact. This is work in progress, and is joint with Ricky Demer. 

Dr. Iskander Aliev (Cardiff, Wales)  05.09.17  16:30  MA 406  Sparse solutions to the systems of linear Diophantine equations 
Abstract: We present structural results on sparse nonnegative integer solutions to underdetermined systems of linear equations. 

Marta Panizzut  30.08.17  16:30  MA 621  The hunt for K3 polytopes 
Abstract: The connected components of the complement of a tropical hypersurface are called regions, and they are convex polyhedra. A smooth tropical quartic surface of genus one has exaclty one bounded region. We say that a 3 dimensional polytope is a K3 polytope if it arises as the bounded region of a smooth tropical quartic surface. In a joint project with Gabriele Balletti, we are investigating properties of K3 polytopes. In this talk I will report on the progress of this work. 

Timo de Wolff  23.08.17  16:30  MA 621  Intersections of Amoebas 
Abstract: 

Georg Loho  16.08.17  16:30  MA 621  Monomial Tropical Cones for Multicriteria Optimization 
Abstract: We introduce a special class of tropical cones which we call 'monomial tropical cones'. They arise as a crucial tool in the description of discrete multicriteria optimization problems. We employ them to derive an algorithm for computing all nondominated points. Furthermore, monomial tropical cones are intimately related with monomial ideals. We sketch directions for further work. This is based on joint work with Michael Joswig. 

Johannes Hofscheier  19.07.17  16:30  MA 621  A Combinatorial Smoothness Criterion for Spherical Varieties 
Abstract: In this talk we will present algorithms to check smoothness for the class of spherical varieties which contains those of toric varieties, flag varieties and symmetric varieties, and which forms a remarkable class of algebraic varieties with an action by an algebraic group having an open dense orbit. In the toric case there is a wellknown simple combinatorial smoothness criterion whereas in the spherical case Brion, Camus and Gagliardi have shown smoothness criteria for spherical varieties which either are rather involved or rely on certain classification results. We suggest a purely combinatorial smoothness criterion by introducing a rational invariant which only depends on the combinatorics of the spherical variety. We have a conjectural inequality this invariant should satisfy where the equality case would imply that the spherical variety has a toric torus action. Our conjecture would also imply the generalized Mukai conjecture for spherical varieties. We complete our talk by summarizing in which cases the above mentioned approach is known to be true. This is joint work with Giuliano Gagliardi. 

Sinai Robins (University of São Paulo)  06.07.17  16:30  MA 406  The Ehrhart quasipolynomials of polytopes that come from trivalent graphs, and a discrete version of Hilbert's 3rd problem for the unimodular group 
Abstract: A graph all of whose nodes have degree \(1\) or \(3\) is called a \(\{1,3\}\)graph. Liu and Osserman associated to each \(\{1, 3\}\)graph a polytope. They studied these polytopes and their Ehrhart quasipolynomials. We prove a conjecture of Liu and Osserman stating that the associated polytopes of all connected \(\{1,3\}\)graphs with the same number of nodes and edges have the same Ehrhart quasipolynomial. We also present some structural properties of these polytopes and we show a relation between them and the wellknown metric polytopes. This study is related to a question of Hasse and McAllister on a discrete version of Hilbert's 3rd problem for the unimodular group. 

Matthias Lenz  28.06.17  16:30  MA 621  On powers of Plücker coordinates and representability of arithmetic matroids 
Abstract: Given \(k\in \mathbb{R}_{\ge 0}\) and a vector \(v\) of Plücker
coordinates of a point in the real Grassmannian, is the vector obtained by
taking the \(k\)th power of each entry of \(v\) again a vector of
Plücker coordinates? We will show that for \(k\neq 1\), this is true if
and only if the corresponding matroid is regular. Similar results hold over
other fields. We will also describe the subvariety of the Grassmannian that
consists of all the points that define a regular matroid. 

JeanPhilippe Labbé / Michael Joswig  21.06.17  16:30  MA 621  polymake/sage 
Abstract: JeanPhilippe will give an introduction to the new polymake interface in sage. Michael will report basic design principles underlying polymake. This is followed by a common coding session and beer. 

Héctor Andrade Loarca  14.06.17  16:30  MA 621  Fast Multidimensional Signal Processing with Shearlab.jl. 
Abstract: We live in the age of data, huge amount of Data its been generated and acquired everyday in different forms and flavors. One would like to have a technique to store and process optimally this data; this is possible since the relevant information in almost all data found in typical applications is sparse due the high correlation of its elements. The challenge will lie in the search of appropriate dictionary that can represent optimally this information. Along the history very talented scientist have proposed different signal transforms based on certain representation dictionaries, starting with the Fourier Transform and Short Time Fourier Transform; in 1980s the wavelet transform was proposed representing a breakthrough in one dimensional signal representation, with the ability to not just optimally represent the data but also capture certain singularities, regularities and other features; the flaw of the wavelets transforms is its lack of directional sensitivity which does not aloud it to represent optimally multidimensional singularities like curves that are predominant in general multidimensional signals (for instance images and videos). The Shearlet transform is a product of almost 10 years of research on sparsifying transform with directional sensitivity that attains the optimal best Nterm approximation error, it was proposed by G. Kutyniok, D. Labate and K Guo in 2015 and since then it's been known to be the best of its type. 

Hiroshi Hirai  31.05.17  16:30  MA 621  Maximum vanishing subspace problem, CAT(0)space relaxation, and blocktriangularization of partitioned matrix 
Abstract: In this paper, we address the following algebraic generalization of the bipartite stable set problem. We are given a blockstructured matrix (partitioned matrix) \(A=(A_{\alpha\beta})\), where \(A_{\alpha\beta}\) is an \(m_{\alpha}\) by \(n_{\beta}\) matrix over field F for \(\alpha=1,2,\ldots,\mu\) and \(\beta=1,2,\ldots,\nu\). The maximum vanishing subspace problem (MVSP) is to maximize \(\sum_{\alpha}\mbox{dim}X_{\alpha}+\sum_{\beta}\mbox{dim}X_{\beta}\) over vector subspaces \(X_{\alpha} \subseteq F^{m_{\alpha}}\) for \(\alpha=1,2,\ldots,\mu\) and \(Y_{\beta}\subseteq F^{n_{\beta}}\) for \(\beta=1,2,\ldots,\nu\) such that each \(A_{\alpha\beta}\) vanishes on \(X_{\alpha}\times Y_{\beta}\) when \(A_{\alpha\beta}\) is viewed as a bilinear form \(F^{m_{\alpha}}\times F^{n_{\beta}}\rightarrow F\). This problem arises from a study of a canonical blocktriangular form of \(A\) by Ito, Iwata, and Murota (1994). We prove that MVSP can be solved in polynomial time. Our proof is a novel combination of submodular optimization on modular lattice and convex optimization on CAT(0)space. We present implications of this result on blocktriangularization of partitioned matrix. 

Ted Bisztriczky (University of Calgary)  31.05.17  16:30  MA 406  ErdosSzekeres type theorems for planar convex sets 
Abstract: A family \(\mathcal{F}\) of sets is in convex position if none of its members is contained in the convex hull of the union of the others. The members of \(\mathcal{F}\) are ovals (compact convex sets) in the plane that have a certain property. An ErdosSzekeres type theorem concerns the existence, for any integer \(n\geq 3\), of a smallest positive integer \(N(n)\) such that if \(\mathcal{F}≥N(n)\) then there are \(n\) ovals of \(\mathcal{F}\) in convex position. 

Dimitrios Dais (University of Crete)  29.05.17  17:00  MA 406  Toric log del Pezzo surfaces with a unique singularity 
Abstract: The toric log del Pezzo surfaces are constructed by means of the socalled LDPlattice polygons. In the talk it will be explained how one classifies the subclass of surfaces of this kind which have a unique singularity. 

Richard Gardner (Western Washington University)  17.05.17  16:30  MA 406  Open problems in Geometric Tomography 
Abstract: This talk will focus on open problems in Geometric Tomography, which aims to retrieve information about a geometric object (such as a convex body, star body, finite set, etc.) from data concerning its intersections with planes or lines and/or projections (i.e., shadows) on planes or lines. The problems, which span nearly a hundred years of mathematics, are diverse. Many have a common thread, however, since they are linked to various integral transforms: the Xray transform, divergent beam transform, circular Radon transform, cosine transform, or spherical Radon transform. 

Michael Joswig  03.05.17  16:30  MA 621  Computing Invariants of Simplicial Manifolds 
Abstract: This is a brief survey on algorithms for computing basic algebraic invariants such as homology, cup products, and intersection forms. 

Romanos Malikiosis  26.04.17  16:30  MA 406  Formal duality in finite cyclic groups 
Abstract: Numerical computations by Cohn, Kumar, and Schürmann in energy minimizing periodic configurations of density \(\rho\) and \(1/\rho\) revealed an impressive kind of symmetry, the so–called formal duality. Formal dual subsets of \(\mathbb{R}^n\) satisfy a generalized version of Poisson summation formula, and it is conjectured that the only periodic subsets of \(\mathbb{R}\) of density \(1\) possessing a formal dual subset, are \(\mathbb{Z}\) and \(2\mathbb{Z}\cup(2\mathbb{Z}+\frac12)\). 

Manuel Radons  12.04.17  16:30  MA 621  Piecewise linear methods in nonsmooth optimization 
Abstract: Several techniques in numerical analysis, e.g. Newton's methods and ODE solvers, are based on local linear approximations of a smooth function \(f: \mathbb R^n\rightarrow \mathbb R^n\). If \(f\) is piecewise smooth such approximations may be arbitrarily bad near nondifferentiabilites. Piecewise linear approximations  or, briefer, piecewise linearizations  restore the structural correspondence between approximation and underlying function. We give an overview of the generalized numerical methods based on piecewise linearizations and their properties, e.g. convergence results, as well as the techniques used in their investigation, which include degree theory for piecewise affine functions and nonsmooth analysis. 

Philipp Jell  05.04.17  16:30  MA 621  Differential forms on Berkovich spaces and their relation to tropical geometry 
Abstract: 

Takayuki Hibi (Osaka University)  29.03.17  16:30  MA 621  Order Polytopes and Chain Polytopes 
Abstract: Given a finite partially ordered set P, we associate two poset polytopes, viz, the order polytope O(P) and the chain polytope C(P). In my talk, after reviewing fundamental materials on O(P) and C(P), the question when O(P) and C(P) are unimodularly equivalent will be discussed. Then, in the frame of Gröbner bases, various reflexive polytopes arising from O(P) and C(P) will be presented. Finally, some questions and conjectures will be summarized. No special knowledge will be required to understand my talk. 

Lucía López de Medrano (UNAM Cuernavaca)  22.03.17  17:00  MA 621  On the genus of tropical curves 
Abstract: 

Felipe Rincón (University of Oslo)  22.03.17  16:15  MA 621  Tropical Ideals 
Abstract: 

Skip Jordan  22.03.17  15:30  MA 621  Parallel Vertex and Facet Enumeration with mplrs 
Abstract: We introduce mplrs, a new parallel vertex/facet enumeration program based on the reversesearch code lrs. The implementation uses MPI and can be used on single machines, clusters and supercomputers. We describe the budgeted parallel tree search implemented in mplrs and compare performance with other sequential and parallel programs for vertex/facet enumeration. In some instances, mplrs achieves almost linear scaling with more than 1000 cores. The approach used in mplrs can be easily applied to various other problems. This is joint work with David Avis. 

Alex Fink  22.02.17  16:30  MA 621  The characteristic polynomial two ways 
Abstract: The theory of hyperplane arrangements and matroids derives great utility from the application of algebraic and algebrogeometric methods. The characteristic polynomial often appears in familiar guise in these methods, as an enumerator of the no broken circuit sets. The characteristic polynomial also appears, on the face of it unrelatedly, in the recent magisterial resolution of Rota's conjecture by Huh, Katz, and Adiprasito. In joint work with David Speyer and Alex Woo we explain how these two manifestations are related after all. 

Akiyoshi Tsuchiya  08.02.17  16:30  MA 621  Gorenstein simplices and the associated finite abelian groups 
Abstract: A lattice polytope is a convex polytope each of whose vertices has integer coordinates. It is known that a lattice simplex of dimension \(d\) corresponds to a finite abelian subgroup of \((\mathcal{R}/\mathcal{Z})^{d+1}\). Conversely, given a finite abelian subgroup of \((\mathcal{R}/\mathcal{Z})^{d+1}\) such that the sum of all entries of each element is an integer, we can obtain a lattice simplex of dimension \(d\). In this talk, we discuss a characterization of Gorenstein simplices in terms of the associated finite abelian groups. Gorenstein polytopes are of interest in combinatorial commutative algebra, mirror symmetry and tropical geometry. In particular, we present complete characterizations of Gorenstein simplices whose normalized volume equal \(p\), \(p^2\) and \(pq\), where \(p,q\) are prime integers. 

Robert Löwe  25.01.17  16:30  MA 621  Secondary fans of a punctured Riemann surface 
Abstract: The secondary fan of a finite point configuration in \(R^n\) stratifies the space of height functions by the combinatorial types of regular subdivisions. Now given a punctured Riemann surface, similar techniques yield a polyhedral fan whose cones correspond to horocyclic Delaunay tessellation in the sense of Penner's convex hull construction. The purpose of the talk is to give an introduction to this topic and the corresponding problems that arise naturally. 

Eva Maria Feichtner (Universität Bremen)  18.01.17  16:30  MA 406  A Leray model for OrlikSolomon algebras 
Abstract: Although hyperplane arrangement complements are rationally formal,
we note that they have nonminimal rational (CDGA) models which are topologically and combinatorially significant. We construct a family of CDGAs which interpolates between the OrlikSolomon algebra and the cohomology algebras of arrangement compactifications. Our construction is combinatorial and extends to all matroids, regardless of their (complex) realizability. 

Benjamin Schröter  04.01.17  16:30  MA 621  Fundamental Polytopes of Metric Trees via Hyperplane Arrangements 
Abstract: In this talk I will present a summary of the recent paper 'Fundamental Polytopes of Metric Trees via Hyperplane Arrangements' (arXiv:1612.05534) of Emanuele Delucchi and Linard Hossly. In this paper they develop a formula for the fvector of the fundamental polytope of a finite metric space and its dual the Lipschitz polytope. 

Georg Loho  04.01.17  17:15  MA 621  Slicing and Dicing Polytopes 
Abstract: I present the recent work 'Slicing and dicing polytopes' (arXiv:1608.05372) by Patrik Norén on cellular resolutions. I introduce diced and sharp polytopes which are necessary for the construction and give a brief introduction to cellular resolutions. The main result, introducing a new class of polyhedral subdivisions which support cellular resolutions, is illustrated along some examples. 

Marta Panizzut  26.10.16  13:30  MA 621  Linear systems on metric graphs, gonality sequence and lifting problems 
Abstract: A combinatorial theory of linear systems on graphs and metric graphs has been introduced in analogy with the one on algebraic curves. The interplay is given by the Specialization Lemma. Let \(X\) be a smooth curve over the field of fractions of a complete discrete valuation ring and let \(\mathfrak{X}\) be a strongly semistable regular model of \(X\). It is possible to specialize a divisor on the curve to a divisor on the dual graph of the special fiber of \(\mathfrak{X}\); through this process the rank of the divisor can only increase. The complete graph \(K_d\) pops up if we take a model of a smooth plane curve of degree d degenerating to a union of d lines. Moreover omitting edges from \(K_d\) can be interpreted as resolving singularities of a plane curve. In this talk we present some results on linear systems on complete graphs and complete graphs with a small number of omitted edges, and we will compare them with the corresponding results on plane curves. In particular, we compute the gonality sequence of complete graphs and the gonality of graphs obtained by omitting edges. We explain how to lift these graphs to curves with the same gonality using models of plane curves with nodes and harmonic morphisms. This is partially a joint work with Filip Cools. 

Fei Xue (BMS)  19.10.16  16:30  MA 406  On Lattice Coverings by Simplices 
Abstract: By studying the volume of a generalized difference body, this talk presents the first nontrivial lower bound for the lattice covering density by \(n\)dimensional simplices. 

Ngoc Tran  05.10.16  14:45  MA 621  Tropical geometry and mechanism design 
Abstract: How to ensure an outcome based on collective decisions is 'better for all' when a) everyone acts in their personal interest only, and b) we do not know the exact 'motives' of each person? Crudely, this is the central problem in mechanism design, a branch of economics. In this talk, I show how insights from tropical geometry can solve such problems. 

Thomas Kahle  05.10.16  13:30  MA 621  The geometry of rankone tensor completion 
Abstract: tba 

André Wagner  28.09.16  16:30  MA 621  Veronesean almost binomial almost complete intersections 
Abstract: The second Veronese ideal I_n contains a natural complete intersection J_n generated by the principal 2minors of a symmetric (n × n)matrix. In this talk I show, how to determine the subintersections of the primary decomposition of J_n where one intersectand is omitted. These subintersections can be described via combinatorial method and yield interesting insights into binomial ideals. This talk is based on joint work with Thomas Kahle. 

Laura Silverstein (TU Wien)  27.07.16  16:30  MA 406  Tensor Valuations on Lattice Polytopes 
Abstract: A classification of symmetric tensor valuations on lattice polytopes in \(\mathbb{R}^n\) that intertwine the special linear group over the integers is established for the cases in which the rank of the tensor is at most \(n\). The scalarvalued case was classified by Betke and Kneser where it was shown that the only such valuations are the coefficients of the Ehrhart polynomial. Extending this result, the coefficients of the discrete moment tensor form a basis for the symmetric tensor valuations. 

Apostolos Giannopoulos (University of Athens)  20.07.16  16:30  MA 406  Inequalities about sections and projections of convex bodies 
Abstract: We discuss lower dimensional versions of the slicing problem and of the BusemannPetty problem, both in the classical setting and in the generalized setting of arbitrary measures in place of volume. We introduce an alternative approach which is based on the generalized BlaschkePetkantschin formula, on asymptotic estimates for the dual affine quermassintegrals and on some new LoomisWhitney type inequalities in the spirit of the uniform cover inequality of Bollobas and Thomason. 

Gerassimos Barbatis (University of Athens)  13.07.16  16:30  MA 406  On the Hardy constant of some nonconvex planar domains 
Abstract: The Hardy constant of a simply connected domain \(\Omega\subset\mathbb{R}^2\) is the best constant for the inequality \[ \int_\Omega \nabla u^2 dx \geq c\int_\Omega \frac{u^2}{\operatorname{dist}(x,\partial\Omega)^2} dx, \quad u\in C_c^\infty(\Omega). \] After the work of Ancona where the universal lower bound 1/16 was obtained, there has been a substantial interest on computing or estimating the Hardy constant of planar domains. In this talk we determine the Hardy constant of an arbitrary quadrilateral as well as of some other planar domains (joint work with Achilles Tertikas). 

Matthew Trager  15.06.16  16:30  MA 621  Geometric models for computer vision 
Abstract: The goal of computer vision is to recover realworld information, either semantic (e.g., object recognition) or geometric (3D reconstruction), from sets of photographs or videos. In a broad sense, my research aims at investigating the fundamental geometric models, both synthetic and analytic, that can be used to describe shapes, cameras, and image contours, in processes of visual inference. In this talk, I will present some properties of 'silhouettes' that are obtained as projections of objects in space. I will also discuss some ongoing work that recasts traditional multiview vision in terms of the Grassmannian of lines in P^3. This is joint work with JeanCharles Faugere, Xavier Goaoc, Martial Hebert, Jean Ponce, Mohab Safey El Din and Bernd Sturmfels. 

Axel Flinth  18.05.16  16:30  MA 406  High Dimensional Geometry in Compressed Sensing 
Abstract: The main aim of compressed sensing is to recover a lowdimensional object (e.g. a sparse vector, a lowrank matrix, ...) from few linear measurements. Many algorithms for this task (e.g. Basis Pursuit, nuclear normminimization) consists of minimizing a structurepromoting function \(f\) over the set of possible solutions. 

Amanda Cameron  04.05.16  16:30  MA 621  A lattice point counting generalisation of the Tutte polynomial 
Abstract: The Tutte polynomial for matroids is not directly applicable to polymatroids. For instance, deletioncontraction properties do not hold. We construct a polynomial for polymatroids which behaves similarly to the Tutte polynomial of a matroid, and in fact contains the same information as the Tutte polynomial when we restrict to matroids. This polynomial is constructed using lattice point counts in the Minkowski sum of the base polytope of a polymatroid and scaled copies of the standard simplex. We also show that, in the matroid case, our polynomial has coefficients of alternating sign, with a combinatorial interpretation closely tied to the Dawson partition. 

Paul Breiding  27.04.16  16:30  MA 621  The spectral Atheory of tensors 
Abstract: The spectral theory of tensors aims at generalizing the concept of eigenvalues and eigenvectors of matrices to higher dimensional arrays. In this talk I will focus on the definition of Eeigenvalues and Zeigenvalues given by Qi. After giving the definition itself I will explain various applications, give the higher dimensional equivalent of the characteristic polynomial and talk about the number of eigenvalues of both real and complex tensors. The last part of the talk will be about an algorithm to compute eigenvalues of tensors using homotopy methods and the complexity of this algorithm. 

Shiri ArtsteinAvidan (Tel Aviv University)  27.04.16  11:00  MA 406  On Godbersen’s conjecture and related inequalities 
Abstract:  

Stefan Weltge (OttovonGuericke Universität Magdeburg)  20.04.16  16:30  MA 406  Tight bounds on discrete quantitative Helly numbers 
Abstract: Given a subset S of R^n, let c(S,k) be the smallest number t such that whenever finitely many convex sets have exactly k common points in S, there exist at most t of these sets that already have exactly k common points in S. For S = Z^n, this number was introduced by Aliev et al. [2014] who gave an explicit bound showing that c(Z^n,k) = O(k) holds for every fixed n. Recently, Chestnut et al. [2015] improved this to c(Z^n,k) = O(k (log log k)(log k)^{1/3} ) and provided the lower bound c(Z^n,k) = Omega(k^{(n1)/(n+1)}). We provide a combinatorial description of c(S,k) in terms of polytopes with vertices in S and use it to improve the previously known bounds as follows: We strengthen the bound of Aliev et al. [2014] by a constant factor and extend it to general discrete sets S. We close the gap for Z^n by showing that c(Z^n,k) = Theta(k^{(n1)/(n+1)}) holds for every fixed n. Finally, we determine the exact values of c(Z^n,k) for all k <= 4. 

Anna Lena Birkmeyer  16.03.16  16:30  MA 621  Realizability of Tropical Hypersurfaces in Matroid Fans 
Abstract: In tropical geometry, an important aim is to understand which tropical varieties arise as tropicalizations of algebraic varieties. We investigate this question in a relative setting: Given a matroid fan F coming from a linear space W, we ask if a tropical hypersurface in F is the tropicalization of an algebraic subvariety of W. We present an algorithm able to decide for any tropical hypersurface in F if it is realizable in W. Moreover, we use this algorithmic approach to describe the structure of the realization space of a tropical hypersurface H in F, i.e. the space of algebraic subvarieties of W tropicalizing to H, and show that the space of all realizable tropical hypersurfaces in F is an abstract polyhedral set. 

Martin Genzel  02.03.16  16:30  MA 406  Convex Recovery of Structured Signals from NonLinear Observations 
Abstract: In this talk, we study the problem of estimating a structured signal \(x_0\in\mathbb{R}\) linear Gaussian observations. Supposing that \(x_0\) belongs to a certain convex subset \(K\subset\mathbb{R}\) we will see that an accurate recovery is possible as long as the number of observations exceeds the effective dimension of \(K\), which is a common measure for the complexity of signal classes. Interestingly, it will turn out that the (possibly unknown) nonlinearity of our model affects the error rate only by a multiplicative constant. This achievement is based on recent works by Yaniv Plan and Roman Vershynin, who have suggested to treat the nonlinearity rather as noise which perturbs a linear measurement process. Using the concept of restricted strong convexity, we show that their results for the generalized Lasso can be extended to a fairly large class of convex loss functions. This is especially appealing for practical applications, since in many realworld scenarios, adapted loss functions empirically perform better than the classical square loss. To this end, the presented results provide a unified and general framework for signal reconstruction in high dimensions, covering various challenges from the fields of compressed sensing, signal processing, and statistical learning. 

Mihalis Kolountzakis (University of Crete)  03.02.16  16:30  MA 406  Periodicity for tilings and spectra 
Abstract: We will talk about periodicity (and structure, more generally) in the study of tilings by translation, where the tile is a set or a function in an Abelian group, and also in the study of spectra of sets (sets of characters which form an orthogonal basis for L^2 of the set). There are connections to harmonic analysis, number theory, combinatorics and computation, and these make this subject so fascinating. Starting from the Fuglede conjecture, now disproved in dimension at least 3, which would connect tilings with spectra, we will go over cases where periodicity always holds, cases where it is optional and cases where it's never true, in one dimension (most positive results) and higher dimension (most interesting questions). 

Simon Hampe  20.01.16  16:30  MA 621  Matroids over hyperfields 
Abstract: This talk is a summary of the very recent paper by Matthew Baker of the same title (http://arxiv.org/pdf/1601.01204.pdf). Various flavours of ''matroids with additional structure'', such as valuated and oriented matroids have been around for quite a while, with often very little connection between the different matroid species. Matroids over hyperfields are a generalization of all those concepts  thus allowing a unified treatment. In this talk I will first give a short introduction to hyperfields. I will then define what matroids over hyperfields are, give examples and discuss generalizations of familiar matroid operations such as duality and minors. 

Silouanos Brazitikos (University of Athens)  13.01.16  16:30  MA 406  Quantitative versions of Helly's theorem 
Abstract: We provide a new quantitative version of Helly's theorem: there exists an absolute constant\(\alpha >1\)with the following property: if\(\{P_i: i\in I\}\)is a finite family of convex bodies in\({\mathbb R}^n\)with\({\rm int}\left (\bigcap_{i\in I}P_i\right)\neq\emptyset\), then there exist\(z\in {\mathbb R}^n\),\(s\ls \alpha n\)and\(i_1,\ldots i_s\in I\)such that \begin{equation*} z+P_{i_1}\cap\cdots\cap P_{i_s}\subseteq cn^{3/2}\left(z+\bigcap_{i\in I}P_i\right), \end{equation*} where\(c>0\)is an absolute constant. This directly gives a version of the 'quantitative' volume and diameter theorem of > B\'{a}r\'{a}ny, Katchalski and Pach, with a polynomial dependence on the dimension. 

Kristin Shaw  06.01.16  16:30  MA 621  What is Étale cohomology? 
Abstract: Wished for by Weil and defined by Grothendieck, Étale cohomology is to varieties over fields of finite characteristic what usual cohomology is to complex or real algebraic varieties when they are equipped with the analytic, respectively Euclidean topology. This very short introduction will motivate and try to explain the basic ingredients of Étale cohomology. Throughout I will make analogies to the complex and real situations and stick to simple examples in hopes to provide some intuition into this deep theory. 

Benjamin Schröter  02.12.15  16:30  MA 621  The degree of a tropical basis 
Abstract: In this talk I will present my work with Michael Joswig. I will give an explicit bound on the degree of a tropical basis. Our result is derived from the algorithm of Bogart, Jensen, Speyer, Sturmfels and Thomas that computes a tropical variety via Groebner bases and saturation. Furthermore I will give examples that illustrate the difference between tropical and Groebner bases. 

Bernardo González Merino (TU München)  18.11.15  16:30  MA 406  On the Minkowski measure of symmetry 
Abstract: The Minkowski measure of symmetry s(K) of a convex body K, is the smallest positive dilatation of K containing a translate of K. In this talk we will explain some of its basic properties in detail. 

André Wagner  04.11.15  16:30  MA 621  Introduction to singular value decomposition 
Abstract: In this short talk I will give a brief introduction to singular value decomposition, some of it's applications and efficient ways to compute it. 

Jonathan Spreer  28.10.15  16:30  MA 621  Algorithms and complexity for TuraevViro invariants 
Abstract: The TuraevViro invariants are a powerful family of topological invariants for distinguishing between different 3manifolds. They are invaluable for mathematical software, but current algorithms to compute them require exponential time. I will discuss this family of invariants, and present an explicit fixedparameter tractable algorithm for arbitrary r which is practical  and indeed preferable  to the prior state of the art for real computation. 

Alexander Gamkrelidze  11.08.15  15:00  MA 621  Algorithms for Convex Topology: Computation of HomComplexes 
Abstract: After a brief introduction to the field of polytopal complexes and affine maps between them, we define the set Hom(P,Q) of all possible affine mappings between two polytopal complexes P and Q that builds a polytopal complex in a higher dimensional space. There are efficient software packages like Polymake that deal (among other things) with the computation of Homcomplexes between two polytopes, but no complexes. In this talk, we introduce algorithms that compute the above mentioned structures and their homotopies. At the end of the talk we introduce a conjectured geometric analog to a well known formula Hom(P,ker(f))=kerHom(P,f): Hom(P,\(\Sigma\)(f))=\(\Sigma\) Hom(P,f) and discuss some ideas to compute the Sigma operator and the possible ways to prove the equation. In case the above conjecture holds, the wide area of the algebraic theory of polytopes can be established. 
Vorträge
Name  Datum  Uhrzeit  Ort  Titel 

Michael Joswig  19.10.15  14:15  MA 041  Smooth Fano Polytopes With Many Vertices 
Konferenzen/Workshops
Titel  Datum  Ort  Homepage 

8th polymake workshop  February 24, 2017  TU Berlin  8th polymake workshop 
7th polymake workshop  January 2830, 2016  TU Berlin  7th polymake workshop 
Meeting on Algebraic Vision 2015  October 89, 2015  TU Berlin  MAV 
Tropical geometry in Europe  March 3031, 2015  Berlin  TGE 
6th polymake workshop  December 5,2014  TU Berlin  6th polymake workshop 
5th polymake workshop  March 28, 2014  TU Berlin  5th polymake workshop 
4th polymake conference and developer meeting at TU Berlin  November 12, 2013  TU Berlin  4th polymake conference and developer meeting 
Delaunay Geometrie: Polytopes, Triangulations and Spheres  October 79,2013  FU Berlin  Second ERC "SDModels" Workshop 