Combining Semilattices and Semimodules

We describe the canonical weak distributive law $$\delta :\mathcal S\mathcal P\rightarrow \mathcal P\mathcal S$$ δ : S P → P S of the powerset monad $$\mathcal P$$ P over the S-left-semimodule monad $$\mathcal S$$ S , for a class of semirings S. We show that the composition of $$\mathcal P$$ P with $$\mathcal S$$ S by means of such $$\delta $$ δ yields almost the monad of convex subsets previously introduced by Jacobs: the only difference consists in the absence in Jacobs’s monad of the empty convex set. We provide a handy characterisation of the canonical weak lifting of $$\mathcal P$$ P to $$\mathbb {EM}(\mathcal S)$$ EM ( S ) as well as an algebraic theory for the resulting composed monad. Finally, we restrict the composed monad to finitely generated convex subsets and we show that it is presented by an algebraic theory combining semimodules and semilattices with bottom, which are the algebras for the finite powerset monad $$\mathcal P_f$$ P f .

On the space of Laplace transformable distributions

We show that the space $${\mathcal {S}}'(\Gamma )$$ S ′ ( Γ ) of Laplace transformable distributions, where $$\Gamma \subseteq {\mathbb {R}}^d$$ Γ ⊆ R d is a non-empty convex open set, is an ultrabornological (PLS)-space. Moreover, we determine an explicit topological predual of $${\mathcal {S}}'(\Gamma )$$ S ′ ( Γ ) .

A Note on the Minimum Size of a Point Set Containing Three Nonintersecting Empty Convex Polygons

Let P be a planar point set with no three points collinear, k points of P be a k-hole of P if the k points are the vertices of a convex polygon without points of P. This article proves 13 is the smallest integer such that any planar points set containing at least 13 points with no three points collinear, contains a 3-hole, a 4-hole and a 5-hole which are pairwise disjoint.

Empty non-convex and convex four-gons in random point sets

Let S be a set of n points distributed uniformly and independently in a convex, bounded set in the plane. A four-gon is called empty if it contains no points of S in its interior. We show that the expected number of empty non-convex four-gons with vertices from S is 12n2logn + o(n2logn) and the expected number of empty convex four-gons with vertices from S is Θ(n2).

Two player game variant of the Erd\H os-Szekeres problem

Combinatorics International audience The classical Erd˝os-Szekeres theorem states that a convex k-gon exists in every sufficiently large point set. This problem has been well studied and finding tight asymptotic bounds is considered a challenging open problem. Several variants of the Erd˝os-Szekeres problem have been posed and studied in the last two decades. The well studied variants include the empty convex k-gon problem, convex k-gon with specified number of interior points and the chromatic variant. In this paper, we introduce the following two player game variant of the Erdös-Szekeres problem: Consider a two player game where each player playing in alternate turns, place points in the plane. The objective of the game is to avoid the formation of the convex k-gon among the placed points. The game ends when a convex k-gon is formed and the player who placed the last point loses the game. In our paper we show a winning strategy for the player who plays second in the convex 5-gon game and the empty convex 5-gon game by considering convex layer configurations at each step. We prove that the game always ends in the 9th step by showing that the game reaches a specific set of configurations

On the minimum size of a point set containing a 5-hole and a disjoint 4-hole

Let H(k; l), k ≦ l denote the smallest integer such that any set of H(k; l) points in the plane, no three on a line, contains an empty convex k-gon and an empty convex l-gon, which are disjoint, that is, their convex hulls do not intersect. Hosono and Urabe [JCDCG, LNCS 3742, 117–122, 2004] proved that 12 ≦ H(4, 5) ≦ 14. Very recently, using a Ramseytype result for disjoint empty convex polygons proved by Aichholzer et al. [Graphs and Combinatorics, Vol. 23, 481–507, 2007], Hosono and Urabe [Kyoto CGGT, LNCS 4535, 90–100, 2008] improve the upper bound to 13. In this paper, with the help of the same Ramsey-type result, we prove that H(4; 5) = 12.