This project aims at systematically analyzing and studying the combinatorial statistics database FindStat with machine learning techniques. The two guiding open problems are longstanding questions in enumerative, bijective and algebraic combinatorics. They concern the famous q,t-Catalan numbers. The first is to find a combinatorial proof of their symmetry and the second is to find a combinatorial definition for general reflection groups. These two longstanding open problems are perfect candidates to be approached using machine learning techniques. A lot of research has been devoted to solutions and we expect machine learning combinatorial statistics and maps to provide genuinely new combinatorial insight.
Projects
An arrangement of finitely many linear hyperplanes is simplicial if all its regions are simplicial cones. From the geometric perspective, simpliciality imposes strong restrictions and it is widely believed that simplicial arrangements are rare. In contrast to the geometric side, computer experiments suggest an abundance of simplicial matroids! This project initiates a coherent study of simpliciality in arrangements and matroids with an emphasis on algebra, combinatorics, and geometry. The three main directions of research, Generation and Realization, Algebra and Convexity, and Matroidal and Simplicial Combinatorics are pursued in parallel.
The project concerns studying sums of nonnegative circuit polynomials (SONC) and their use for sparse polynomial optimization. These concepts regard key ideas in the rapidly growing interplay of combinatorics, convexity and and non-linear optimization. The goal is to develop new combinatorial methods for the construction of certificates of nonnegativity in sparse contexts and the interaction of the SONC cone with a variety of combinatorial concepts, including convex cones, matroids, and lattice points. Specific working directions concern exactness results, convex-algebraic questions, generalized combinatorial models for the optimization and nonnegativity of sparse polynomials as well as selected applications.
We study a probabilistic real intersection theory in compact homogeneous spaces M. The examples of prime interest are the real Grassmannians. The intersection of randomly moved submanifolds of M is captured by a notion of multiplication of certain convex bodies, that we call Grassmann zonoids. They live in the exterior power of a Euclidean vector space V, chosen as the cotangent space V of M. Alternatively, these zonoids can be viewed as positive measures on the Grassmannians of V. (They should be invariant under the action of the isotropy group.) There are close connections to integral theory and the theory of valuations.
One goal of the project is to prove a generalization of the Alexandrov-Fenchel inequality for higher order Grassmann zonoids. This would imply that certain expected intersection numbers arise as coefficients of Lorentzian polynomials and are therefore define logconcave sequences. In the same direction, we want to show that the Grassmann zonoid algebra has a homomorphic image that satisfies the properties of a Kähler package.
Another goal is to investigate the Grassmann zonoid algebra with the tools of harmonic analysis and represention theory. In particular, we would like to compute the volume of the Schubert zonoids and to understand their multiplication.
A lattice polytope is the convex hull of finitely many lattice points. One possibility to investigate the generic behaviour of lattice polytopes is to study random lattice polytopes, more precisely the randomized lattice convex hull which is the convex hull of the lattice points inside a random convex set.
We consider the integer lattice and choose a random convex set whose shape is given but its position is chosen at random. We are interested in the limiting structure of the random lattice polytope as the size of the convex set tends to infinity. In particular, we would like to analyse the combinatorial behaviour (expected f-vector) and metric behaviour (expected intrinsic volume) of the random lattice polytopes and how these depend on the shape of the underlying convex set.
Further investigations will deal with higher moments and questions concerning distributional properties of functionals of the random lattice polytopes.
This proposal aims at a deeper understanding of several recently discovered mechanisms from the theory of Lorentzian polynomials that preserve log-concavity. Beyond the intrinsic interest, our main motivation for this investigation is to obtain precise information about the equality cases in log-concave inequalities. Primary objectives of this project are the characterization of the equality cases in the generalized Alexandrov-Fenchel inequality and Kahn-Saks inequality for convex polytopes and applications to combinatorial poset inequalities. A key feature of our proposed research is the utilization of connections and synergies between combinatorics, convexity, and algebraic geometry.
This project concerns the number of terms of polynomials as a complexity measure. This is an area of commutative algebra that is much less explored than degree-based complexity measures like Castelnuovo--Mumford regularity. As the finiteness results that drive the Gröbner machinery are based on induction on the degree, they often need to be replaced by more synergetic tools to make progress here. We envision that combinatorial data structures like Newton polyhedra and matroids will help us to solve the fundamental problem of this project:
-- Is it algorithmically decidable if an ideal in a polynomial ring contains a short polynomial? --
The context of this project are recent applications of combinatorics in particle physics motivating new research questions and directions in mathematics that the project is going to explore. The area is Positive Geometry and the focus in this project is mainly on questions in discrete geometry inspired by physics. In terms of the themes of the Schwerpunktprogramm, the project is mainly an the intersection of Convexity and Mathematical Physics. There are possible connections to Matroids as well as Commutative Algebra.
This project has two intertwined goals: Compute the graded parts of Orlik-Solomon algebras of geometric lattices together with its algebra structure and generalise the Lehrer-Solomon conjecture, possibly altering its statement, to other classes of arrangements and nonrepresentable matroids.
For the first goal, a major strategy will be the exploitation of equivariant structures under (subgroups of) the automorphism group G of the underlying lattice of the Orlik-Solomon algebra.
For the second goal, reasonable classes of arrangements that allow both for an inductive process and have nontrivial automorphism groups are the class of inductively free arrangements and the larger class of free arrangements. Among these classes are the class of Coxeter arrangements and the larger classes of ideal subarrangements of Weyl arrangements and of crystallographic arrangements, all of which include arrangements with relatively large automorphism groups.
The need to combine both strategies naturally leads us to the use of the category-theoretic language, both as a theoretical framework and as an algorithmic machinery.
The results will be made accessible via an online database.
Tropical geometry is a dequantized version of classical algebraic geometry, which studies a combinatorial piecewise linear shadow associated to compactifications and degenerations of algebraic varieties.
One of its most successful and active parts is tropical linear algebra, a term that stands for the many different incarnations of linearity in tropical geometry. This area ranges from the study of matrices over the min-plus algebra coming to us from optimization to the geometric study of (valuated) matroids. It includes the recent breakthrough results in the Hodge theory of matroids, but also the study of the tropical Grassmannians and Dressians with its numerous applications, e.g. to phylogenetics.
The central objectives of this project are:
(1) to develop new foundations for tropical linear algebra using techniques from the geometry of affine buildings, the combinatorics of (valuated) bimatroids, and the algebra of hyperstructures;
(2) to expand tropical linear algebra beyond the A_n case, integrating valuated Coxeter matroids and affine buildings; and
(3) to explore applications of tropical linear algebra, focussing on the combinatorial Hodge theory of bimatroids and Coxeter matroids, the yet-to-be-fully-developed geometry of tropical vector bundles, and the dequantization process in categorical quantum theory.
Wachspress coordinates were initially conceived as a particular generalization of barycentric coordinates for general polytopes, but have since re-emerged in a wide variety of seemingly unrelated contexts in mathematics (adjoint hypersurfaces, cone volumes), statistics (Wachspress models) and physics (positive geometries). They and their related "Wachspress objects" have now been linked to a number of phenomena in algebraic geometry, polyhedral combinatorics, convex geometry, spectral graph theory and rigidity theory.
This project aims to explore, explain and exploit the ubiquity of the Wachspress objects, also including the Wachspress variety, the adjoint polynomial and the Izmestiev matrix. Particular focus will be on a study of the Wachspress variety, which is expected to inform problems in polytope rigidity, geometric modelling and polyhedral combinatorics; as well as generalizations of the Wachspress objects to non-convex and non-polytopal contexts.
In algebra, geometry, combinatorics and areas of applications of these disciplines there exist in many interesting situations the phenomena that objects of interest occur in ascending chains A(n) and there are suitable and compatible group actions on these objects. Example are generic determinantal ideals in polynomial rings with an increasing number of variables or symmetric polytopes as well as cones in real vector spaces of increasing dimensions. Often there exist a limit object B of the chain, which can be useful to study properties of the elements of the chain and vice versa. In the two examples, the union of the elements of the chain is such a limit object (defined in a suitable way).
Three questions are then of importance: (1) Determine the asymptotic behavior of properties of interest of the A(n); (2) Study corresponding properties of B; (3) Show a connection between the properties of A(n) and the ones of B.
An answer to (1) can be seen as interesting local information and one to (2) as some kind of global information. (3) can then be considered as a local-global principle which one would like to understand. In the recent years, this approach was extremely successfully applied to various situation in the areas mentioned above with applications, for example, also in machine learning, optimization, and representation theory. The overall goal beyond the project is to develop foundations of commutative algebra up to symmetry and polyhedral geometry up to symmetry in a systematic way.
The key objectives of this project are to:
- Develop algorithms and algebraic structures to efficiently count permutation and higher-dimensional chirotope patterns. Identify subclasses of patterns that can be counted efficiently.
- Develop a notion of entropy based on chirotope patterns to analyze the complexity of multidimensional time series.
- Introduce cumulants of permutation and chirotope patterns and study their properties and applications in statistics.
- Establish connections between counting patterns, dynamic programming, multiparameter integrals and (crossed modules of) Hopf algebras.
The main focus of classical Ehrhart theory is the h*-polynomial of a lattice polytope: a linear transformation of the Ehrhart polynomial, the fundamental invariant that counts lattice points in dilates of lattice polytopes. The h*-polynomial can be further decomposed into nonnegative local contributions of faces using toric g-polynomials. The main local contribution from the polytope itself is called its local h*-polynomial.
We advertize local Ehrhart theory as the rich field of study of local h*-polynomials of lattice polytopes. We plan to probe the space of local h*-vectors, to investigate interesting classes and polytopal constructions using machine-learning algorithms, and to explore new and existing synergies such as those with dual defective varieties, hypergeometric motives and mirror symmetry.
The project is devoted to the study of the flatness constant and other geometric constants associated to lattices and defined as extremal problems along with the respective extremal bodies. Such studies are relevant in a number of contexts, including algebraic geometry and integer optimization. In our studies we will combine structural methods of polyhedral combinatorics, the theory of lattice with computational computer-assisted approaches.
Directed acyclic graphical models, sometimes called Bayesian networks, are of critical importance in modern data science and statistics through their applications to causality and probabilistic inference. These statistical models use directed acyclic graphs (DAGs) to represent causal relationships between random variables and are often specified by a system of structural equations which is defined using the associated DAG. This project studies a relatively new family of directed graphical models which are called max-linear Bayesian networks. Unlike many other classical families of graphical models, they are not faithful to the well-known d-separation criterion and thus they exhibit very different conditional independence structures. This means that many standard algorithms for learning graphical models from data can not be applied to data which is generated by a max-linear Bayesian network. A main goal of this project is to develop new combinatorial algorithms which are able to reconstruct a graph that best represents given data based on which conditional independencies are observed.
The classes of free arrangements and free multiarrangments play pivotal roles in the theories of hyperplane arrangements and multiarrangements, respectively. Ziegler showed in his seminal work that a free arrangement A gives rise to a canonical free multiarrangement on any restiction of A with exponents only depending on the exponents of A. We refer to this construction as a Ziegler restriction. In 2010, Yoshinaga asked for a reverse procedure, which he coins as extension: given a free multiarrangement is this the Ziegler restriction of a free arrangement A? In general this is not the case. We call this a Ziegler extension.
The ultimate goal of Yoshinaga's work in this context is a complete description of all free intermediate arrangements between the extended Shi and extended Catalan arrangements for simply laced underlying root systems. There is a long history and continued interest in the literature regarding questions of freeness of the families of extended Shi and extended Catalan arrangements. Among other aspects, this proposal is a contribution to this theory.
The goal of this project is to continue Yoshinaga's investigation about extensions of free multiarrangements. Firstly, we aim to answer some of the questions and conjectures raised in Yoshinaga's paper. Secondly, we intend to extend the classification from this work to all intermediate free arrangements between extended Shi and extended Catalan arrangements for arbitrary Coxeter types, i.e. to also include non-simply laced ones. Thirdly, we plan to investigate extensions of free multiarrangements over finite fields, a topic which has not been studied in the literature as of yet. Finally, in a fourth research stand we aim at studying free extensions of various natural free complex multireflection arrangements.
In a recent paper, Cuntz and Kühne introduce a special class of hyperplane arrangements stemming from a given (connected) graph G, so called connected subgraph arrangements A(G). They include such prominent classes such as the braid arrangements, Shi arrangements, and resonance arrangements among countless many others.
The aims of this project are fourfold. Firstly, we intend to answer some of the questions raised in the work of Cuntz and Kühne. Secondly we aim to strengthen several of the results from their paper. Thirdly we hope to prove some new results for this class of arrangements, e.g. over finite fields. In their work, Cuntz and Kühne classified all connected subgraph arrangements over the rationals which are free, factored, simplicial or supersolvable.
In this project we aim to extend and strengthen these results as follows. We aim to show that a connected subgraph arrangement A(G) over the rationals is free if and only if it is inductively free; that it is factored if and only if it is inductively factored.
Cuntz and Kühne specifically raise the question of classifying members among the arrangements A(G) over the rationals that are aspherical. This is probably a hopeless task, as determining asphericity for a given set of arrangements is a notoriously difficult undertaking. However, our further aim is to compile a comprehensive list of graphs G for which A(G) is not aspherical. As asphericity is a local property, this then allows us to conclude that large classes of connected subgraph arrangements are not aspherical. These in particular encompass the aforementioned resonance arrangements of rank at least 5.
Undoubtedly, polytopes do not only belong to the central objects studied in contemporary research in geometry and combinatorics, but they are also important for applications in a multitude of areas, including optimization, theoretical physics, mathematical statistics, computational geometry, and machine learning, among others. Two prominent classes of lattice polytopes that are interesting not only for their intrinsic combinatorial and geometric properties but also due to their multiple applications to e.g., metric space theory and in particular physics, are symmetric edge polytopes and cosmological polytopes that are associated to graphs.
In the proposed research program we study these two classes of polytopes (and further generalizations) from a deterministic and a probabilistic perspective. The objectives can be summarized as follows:
(a) We propose several ways to extend the definition of classical symmetric edge polytopes by replacing the underlying graph by a higher-dimensional simplicial complex. We investigate fundamental geometric and combinatorial properties of the resulting lattice polytopes, such as the dimension, the f-, h-, h^*- and the gamma-vector. To achieve this we are interested in triangulations of these polytopes and ask for the existence of a regular unimodular triangulation (equivalently a squarefree Gröbner basis of the toric ideals).
(b) We investigate combinatorial, geometric and probabilistic properties of randomly generated lattice polytopes such as random symmetric edge polytopes, as well as random cosmological polytopes. We study expectation and variance asymptotics of the f-vector as the size of the underlying graph or the simplicial complex tends to infinity. The considered models of random graphs encompass the classical Erdös-Rényi model, but also r-regular random graphs and random geometric graphs.
(c) We study asymptotic distributional properties of randomly generated lattice polytopes in high dimensions. In particular, we establish quantitative central limit theorems for the number of facets and the logarithmic volume for random symmetric edge and cosmological polytopes using variants of Stein's method for normal approximation such as the discrete Malliavin-Stein method.
(d) We contribute to a deeper understanding about the typical or expected behaviour of lattice polytopes by studying such polytopes from a probabilistic angle. This complements the more traditional approach in which properties of specific classes of lattice polytopes are usually investigated.
This project also opens up several new directions for future research, including the study of generalized symmetric edge polytopes for random simplicial complexes and matroids as well as the quest for more refined central limit theorems, such as moderate or large deviation principles and concentration bounds.
Combinatorial intersection theory is by now established and active area of research which connects algebraic geometry with combinatorics. On one hand, developing combinatorial tools to study algebraic varieties is extremely important as disproportionately large share of the spaces arising in algebraic geometry (as well as in commutative algebra, representation theory and mathematical physics) have an explicit combinatorial structure. On the other hand, since Stanley’s proof of McMullen’s g-conjecture, it was evident that algebro-geometric tools have enormous impact on combinatorics. Recently this was further supported by the groundbraking resolution of Heron-Rota-Welsh log-concavity conjecture by Adiprasito-Huh-Katz. The main breakthrough of their work was to translate techniques of intersection theory to the combinatorial setting of matroids. K-ring of algebraic variety is a refined version of intersection theory. Similar to the intersection theory, it is actively applied to combinatorial problems. However, the situation with K-theory is at present similar to the situation with intersection theory before Adiprasito-Huh-Katz - the scope of application is bounded to the combinatorial problems which admit tools are bounded to the combinatorial problems admitting an algebro-geometric model. We propose to complete the picture and to generalize K-theory construction from algebraic varieties to combinatorial setting. Two starting points of our proposal are the theory of Pukhlikov-Khovanskii algebras which model intersection theory and K-rings for a large class of algebraic varieties and the theory of normal complexes, which generalizes the theory of convex polytopes in setting of intersection theory for matroids. We anticipate that we will be able to achieve our goal by combining these two approaches.
The principal aim of this project is to advance the understanding of invariants from Hodge theory that one can associate to hyperplane arrangements on the one hand, and to torus actions on the other hand. In both cases, we will be specifically interested in systems of differential equations defined by these Hodge structures. More precisely, for a complex hyperplane arrangement, we shall study the Hodge ideals which determine the Hodge filtration on the module of meromorphic functions along the arrangement. We seek for a combinatorial description of these ideals, and we will study to which extend they are determined by the matroid associated to the arrangement. We shall study the generating level of the Hodge filtration for certain classes of arrangements, and work towards compatibility properties of filtrations on certain cyclic D-modules that govern the Hodge module structure on the sheaf of meromorphic functions along a divisor. We will also develop and implement algorithms to calculate Hodge ideals of arrangements. A second research direction that will be pursued during this project consists in studying combinatorial aspects of the Hodge theory of certain hypergeometric system of differential equations. These include the so-called better behaved GKZ-systems, for which we shall study the duality theory and certain applications to toric mirror symmetry. We will further exploit the relation between arrangements and toric geometry by studying the Hodge structures (e.g. GKZ-systems) defined by the Bergman fan of a matroid, thus linking the two parts of the project. This tight relation should also be exploited when studying the weight filtrations on both meromorphic functions along an arrangement, and on certain GKZ-systems.
Future progress in statistics and data science will in many cases depend on combinatorial, algebraic and geometric insights. While the ambient spaces for data representations tend to be high-dimensional, data actually encountered in applications is sampled from low-dimensional structures. These are often given by differentiable manifolds, algebraic varieties, or shape constraints. Fruitful mathematical approaches to such structures include topological data analysis, information geometry, and algebraic statistics. These fields are foundational for novel algorithms in statistics and data science, in contexts as diverse as manifold learning, non-parametric statistics, and maximum likelihood estimation. The goal of this project is to advance our understanding of statistical models that involve a significant combinatorial and geometric component. We investigate uniform distributions on polytopes and convex bodies, covariance matrices contained in certain linear spaces of symmetric matrices, and discrete statistical models described by Grassmannians. We adopt an exact and non-asymptotic point of view, with small to moderate numbers of observations. This allows us to combine methods from statistics and computer algebra, in order to achieve mathematically optimal and precise solutions.
Mathematical Data becomes more important in particular within combinatorics. One aim of this project is to work with the data around the (tropical) Grassmannian and its subvarieties, as well as analogues like the moduli space of point configurations or the moduli space of del Pezzo surfaces of degree 3, and to further investigate this data with a focus on the connection of tropical geometry and combinatorics. The main feature are matroids. The first step is collecting available data and computing new data around the tropical, chirotopal, positive or self-dual Grassmannian and making them available according to the FAIR data principles. In the following investigation a special focus will be given to self-dual positroids and the self-dual Grassmannian for rank 4 matroids. This latter object also plays a main role in the investigation of Mustafin degenerations of 3-dimensional projective space with respect to fixed points, as it provides a smaller space of possible point configurations than the full moduli space. For the moduli space of cubic del Pezzo surfaces, we want to focus particularly on the tropical positive aspects, i.e. which of the tropical cubic surfaces are positive. For the tropical Grassmannian Gr(2,n) positivity corresponds to planarity of a circularly labeled tree. We want to extend this identification to the tropical cubic surfaces, which can be identified by an arrangement of 27 trees. In order to understand a parameter or moduli space it is important to understand its compactification and boundary. A numerical method using tropical geometry seems to capture the stratification of the boundary of the moduli spaces of point configurations and of the moduli space of degrees 2 and 3 del Pezzo surfaces. The aim is to understand this correspondence better and to extend the technique to other compactifications to gain combinatorial insights. Finally we investigate (self-dual) matroids from graph curves. Graph curves are combinatorial objects: curves that are up to projective transformation uniquely determined by their dual graphs, which are simple, 3-connected and trivalent. By means of generic hyperplane sections one can gain a self-dual matroid from such a graph curve. This matroid is not the graphical matroid of the associated graph nor its dual.
The project is concerned with the interplay of algebraic, geometric, combinatorial and topological structures associated to hyperplane arrangements and (oriented) matroids. We aim to develop new tools for the study of main open problems in the field such as the K(pi,1)-problem for the complement manifold of a complex hyperplane arrangement, the relation of topological invariants of Milnor fibers to the combinatorics of (oriented) matroids, and Terao's freeness conjecture on the combinatorial nature of the commutative-algebraic properties of logarithmic derivations. At the center of our project lies a new approaches via combinatorial models of topological fibrations and sheaves on partially ordered sets. An important part will be the implementation of these new structures lying at the intersection of algebra, topology and combinatorics in established computer algebra systems such as SageMath, GAP and OSCAR.