Finitely generated dyadic convex sets

K. Matczak,A. Mućka,A. B. Romanowska
DOI: https://doi.org/10.1142/S0218196723500273
2024-03-24
Abstract:Dyadic rationals are rationals whose denominator is a power of $2$. We define dyadic $n$-dimensional convex sets as the intersections with $n$-dimensional dyadic space of an $n$-dimensional real convex set. Such a dyadic convex set is said to be a dyadic $n$-dimensional polytope if the real convex set is a polytope whose vertices lie in the dyadic space. Dyadic convex sets are described as subreducts (subalgebras of reducts) of certain faithful affine spaces over the ring of dyadic numbers, or equivalently as commutative, entropic and idempotent groupoids under the binary operation of arithmetic mean.
Combinatorics
What problem does this paper attempt to address?