Extremal Splittings of Point Processes

The sequence with nth term defined by [(n + 1)p] − [np] is an extremal zero-one valued sequence of asymptotic mean p in the following sense (for example): if a fraction p of customers from a point process with iid interarrival times is sent to an exponential server queue according to a prespecified splitting sequence, then the long-term average queue size is minimized when the above sequence is used. The proof involves consideration of the lower convex envelope J (which is a function on Rm) of a function J on Zm. An explicit representation is given for J in terms of J, for J in a broad class of functions, which we call “multimodular.” The expected queue size just before an arrival, considered as a function of the zero-one splitting sequence, is shown to belong to this class.