On the Multiary Algebraic Formulation of an Idempotent Symmetric Limit Convex Structure (2509.14843v1)

Abstract: In [14], B-convexity was defined as an appropriate Painlev\'e-Kuratowski limit of linear convexities. More recently, an alternative algebraic formulation over the entire Euclidean vector space was proposed in [9] and [10]. The issue with the definition presented in [14] is that it was not developed from an algebraic perspective, but rather as the upper limit of a sequence of generalized convex polytopes whose form was not explicitly given. In this paper, we build on recent work and provide an algebraic formulation for these limiting polytopes. Consequently, we deduce a multiary algebraic form of B-convexity that involves an idempotent, non-associative algebraic structure, extending the formalism proposed in [9] to an arbitrary number of points. Among other things, we demonstrate that these limiting polytopes do not satisfy the idempotent symmetrical convex structure defined in [9]. In the context of this formalism, we derive a general separation result in Rn by approximating convex sets by polytopes. We conclude by clarifying some points regarding the external representation of polytopes proposed in [11] and analyze the structure of the polytopes that arise in this context.