Discrete Mathematics and Foundations

mathemathical subject image: 

How big is my slice of cheese?

In this snapshot, we introduce the study of slices of polytopes – geometric shapes with flat sides – and examine the area of these slices. This is connected to combinatorics and polynomials and is surprisingly complex, even in three dimensions. Since we are greedy humans, we conclude by finding the largest possible slice of cheese.

The 4-Sample Theorem on planar graphs

The famous 4-Color Theorem from graph theory states that the vertices of any planar graph can be colored with four colors, so that no neighboring vertices have the same color. The 4-Sample Theorem from algebraic statistics says that the maximum likelihood estimator for a Gaussian graphical model of a planar graph exists with probability 1 if one has at least four samples.

Alternating sign matrix bijections: marvelous, mysterious, missing

A bijection transforms one type of mathematical object into another. Such transformations provide new perspectives on these objects, revealing surprising properties and uncovering new mysteries. We discuss bijections from alternating sign matrices to other objects in mathematics and physics and recent progress in the search for a missing bijection.

Is there a smooth lattice polytope which does not have the integer decomposition property?

We introduce Tadao Oda’s famous question on lattice polytopes which was originally posed at Oberwolfach in 1997 and, although simple to state, has remained unanswered. The question is motivated by a discussion of the two-dimensional case – including a proof of Pick’s Theorem, which elegantly relates the area of a lattice polygon to the number of lattice points it contains in its interior and on its boundary.

Convex polytopes and linear programs

Convex polytopes are geometric objects that look deceptively simple. They occur everywhere in mathematics and have practical applications in everyday life – like organizing your grocery shopping list. In this snapshot, you get into contact with a long-standing, unsolved question in mathematics, which you can explore interactively.

The geometry of fair division

How can we fairly divide a necklace with various types of beads? We use this problem as a motivating example to explain how geometry naturally appears in solutions of non-geometric problems. The strategy we develop to solve this problem has been used in several other contexts.

Finite geometries: pure mathematics close to applications

The research field of finite geometries investigates structures with a finite number of objects. Classical examples include vector spaces, projective spaces, and affine spaces over finite fields. Although many of these structures are studied for their geometrical importance, they are also of great interest in other, more applied domains of mathematics. In this snapshot, finite vector spaces are introduced. We discuss the geometrical concept of partial t-spreads together with its implications for the “packing problem” and a recent application in the existence of “cooling codes”.

Tropical geometry

What kind of strange spaces hide behind the enigmatic name of tropical geometry? In the tropics, just as in other geometries, one of the simplest objects is a line. Therefore, we begin our exploration by considering tropical lines. Afterwards, we take a look at tropical arithmetic and algebra, and describe how to define tropical curves using tropical polynomials.

What is Pattern?

Pattern is ubiquitous and seems totally familiar. Yet if we ask what it is, we find a bewildering collection of answers. Here we suggest that there is a common thread, and it revolves around dynamics.

Páginas