Abstract:Given a set S endowed with a convexity structure, a hemispace is a convex subset of S which has convex complement. We recall that R^n_{max} is a semimodule over the max-plus semifield. A convexity structure of current interest is provided by R^n_{max} naturally endowed with the max-plus (or tropical) convexity. In this paper we provide a geometric description of a max-plus hemispace. We show that a max-plus hemispace has a conical decomposition as a finite union of disjoint max-plus cones. These cones can be interpreted as faces of several max-plus hyperplanes. Briec-Horvath proved that the closure of a max-plus hemispace is bounded by a max-plus hyperplane. Given a hyperplane, we give a simple condition for the assignment of the faces between a pair of complementary max-plus hemispaces. Our result allows for counting and enumeration of the associated max-plus hemispaces. We recall that an n-dimensional max-plus hyperplane is called strictly affine and nondegenerate if it has a linear equation that contains all variables x_1,x_2,...,x_n and a free term. We prove that the number of max-plus hemispaces in R^n_max, supported by strictly affine nondegenerate hyperplanes centered in the origin, is twice the n-th ordered Bell number. Our work can be viewed as a complement to the recent results of Katz-Nitica-Sergeev, who described generating sets for max-plus hemispaces, and the results of Briec-Horvath, who proved that closed/open max-plus hemispaces are max-plus closed/open halfspaces.

Maximal integral simplices with no interior integer points

Lower bounds and integrality gaps in simplicial decomposition

On Covering Simplices by Dilations in Dimensions 3 and 4

A Mattila-Sjölin theorem for simplices in low dimensions

Empty simplices of large width

On Lattice Coverings by Simplices

An Upper Estimate of Integral Points in Real Simplices with an Application to Singularity Theory

Lower Bounds on Lattice Covering Densities of Simplices

The cyclicity rank of empty lattice simplices

A new invariant of lattice polytopes

Generalized max-flows and min-cuts in simplicial complexes

Maximal representations in lattices of the symplectic group

Higher-dimensional book-spaces

Minimal resolutions of lattice ideals

Counting vertices of integral polytopes defined by facets

The Geometric Structure of Max-Plus Hemispaces

Integer Area Dissections of Lattice Polygons via a Non-Abelian Sperner's Lemma

Integral zeros of quadratic polynomials avoiding sublattices

On the Number of Neighborly Simplices in

Maximal Sets of Equiangular Lines

Lonely Points in Simplices