One-membrane symport with few extra symbols

Membrane systems (with symbol objects) are formal models of distributed parallel multiset processing. Symport rules move multiple objects to a neighbouring region. It is known that for P systems with symport rules of weight at most 3 and a single membrane, seven superfluous symbols are enough for computational completeness, and one is necessary. We present the improvements of the lower bounds on the generative power of P systems with symport of weight bounded by 3 and 4, in particular, establishing that six and two extra symbols suffice, respectively. Besides maximally parallel P systems, we also consider sequential ones. In fact, all presented non-universality lower bound results, together with all upper bound results, hold also in this case, yielding the current state of the art.