BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Florian Kohl

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.COmath.ACmath.NT

Catalog footprint

Research overview

5works
3topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

5 publications

preprint2022arXiv

Perfectly Matchable Set Polynomials and h∗h^*-polynomials for Stable Set Polytopes of Complements of Graphs

A subset SS of vertices of a graph GG is called a perfectly matchable set of GG if the subgraph induced by SS contains a perfect matching. The perfectly matchable set polynomial of GG, first made explicit by Ohsugi and Tsuchiya, is the (ordinary) generating function p(G;z)p(G; z) for the number of perfectly matchable sets of GG. In this work, we provide explicit recurrences for computing p(G;z)p(G; z) for an arbitrary (simple) graph and use these to compute the Ehrhart h∗h^*-polynomials for certain lattice polytopes. Namely, we show that p(G;z)p(G; z) is the h∗h^*-polynomial for certain classes of stable set polytopes, whose vertices correspond to stable sets of GG.

Open access
preprint2020arXiv

Level algebras and s\boldsymbol{s}-lecture hall polytopes

Given a family of lattice polytopes, a common endeavor in Ehrhart theory is the classification of those polytopes in the family that are Gorenstein, or more generally level. In this article, we consider these questions for s\boldsymbol{s}-lecture hall polytopes, which are a family of simplices arising from s\boldsymbol{s}-lecture hall partitions. In particular, we provide concrete classifications for both of these properties purely in terms of s\boldsymbol{s}-inversion sequences. Moreover, for a large subfamily of s\boldsymbol{s}-lecture hall polytopes, we provide a more geometric classification of the Gorenstein property in terms of its tangent cones. We then show how one can use the classification of level s\boldsymbol{s}-lecture hall polytopes to construct infinite families of level s\boldsymbol{s}-lecture hall polytopes, and to describe level s\boldsymbol{s}-lecture hall polytopes in small dimensions.

Open access
preprint2020arXiv

Unconditional reflexive polytopes

A convex body is unconditional if it is symmetric with respect to reflections in all coordinate hyperplanes. In this paper, we investigate unconditional lattice polytopes with respect to geometric, combinatorial, and algebraic properties. In particular, we characterize unconditional reflexive polytopes in terms of perfect graphs. As a prime example, we study the signed Birkhoff polytope. Moreover, we derive constructions for Gale-dual pairs of polytopes and we explicitly describe Gröbner bases for unconditional reflexive polytopes coming from partially ordered sets

Open access
preprint2018arXiv

Levelness of Order Polytopes

Since their introduction by Stanley~\cite{StanleyOrderPoly} order polytopes have been intriguing mathematicians as their geometry can be used to examine (algebraic) properties of finite posets. In this paper, we follow this route to examine the levelness property of order polytopes. The levelness property was also introduced by Stanley~\cite{Stanley-CM-complexes} and it generalizes the Gorenstein property. This property has been recently characterized by Miyazaki~\cite{Miyazaki} for the case of order polytopes. We provide an alternative characterization using weighted digraphs. Using this characterization, we give a new infinite family of level posets and show that determining levelness is in co-NP⁡\operatorname{co-NP}. This family can be used to create infinitely many examples illustrating that the levelness property can not be characterized by the h∗h^{\ast}-vector. We then turn to the more general family of alcoved polytopes. We give a characterization for levelness of alcoved polytopes using the Minkowski sum. Then we study several cases when the product of two polytopes is level. In particular, we provide an example where the product of two level polytopes is not level.

Open access
preprint2013arXiv

Rademacher-Carlitz Polynomials

We introduce and study the \emph{Rademacher-Carlitz polynomial} \[ \RC(u, v, s, t, a, b) := \sum_{k = \lceil s \rceil}^{\lceil s \rceil + b - 1} u^{\fl{\frac{ka + t}{b}}} v^k \] where a,b∈Z>0a, b \in \Z_{>0}, s,t∈Rs, t \in \R, and uu and vv are variables. These polynomials generalize and unify various Dedekind-like sums and polynomials; most naturally, one may view $\RC(u, v, s, t, a, b)$ as a polynomial analogue (in the sense of Carlitz) of the \emph{Dedekind-Rademacher sum} \[ \r_t(a,b) := \sum_{k=0}^{b-1}\left(\left(\frac{ka+t}{b} \right)\right) \left(\left(\frac{k}{b} \right)\right), \] which appears in various number-theoretic, combinatorial, geometric, and computational contexts. Our results come in three flavors: we prove a reciprocity theorem for Rademacher-Carlitz polynomials, we show how they are the only nontrivial ingredients of integer-point transforms σ(x,y):=∑(j,k)∈P∩Z2xjyk σ(x,y):=\sum_{(j,k) \in \mathcal{P}\cap \Z^2} x^j y^k of any rational polyhedron P\mathcal{P}, and we derive a novel reciprocity theorem for Dedekind-Rademacher sums, which follows naturally from our setup.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.