Jump to content

How is a vector addition system (VAS) called in which each addition vector has zero sum?


MdAyq0l

Recommended Posts

For the purpose of this question, a vector addition system (VAS) is a pair (v,A) such that such that A is a finite subset of ℤᵈ for some dimension d∈ℕ₊. (Sometimes an initial vector is considered a part of the definition; saying that a VAS is a pair (v,A) of finite set A⊆ℤᵈ and v∈ℤᵈ for some d∈ℕ₊ would be a valid alternative.)

Consider the set of all such vector addition systems A (or (v,A) in the alternative formulation) such that for the dimension d of the VAS and all vectors a∈A we have ∑_{i ∈ dom a} aᵢ = 0 (here, dom a is the set of indexes of a, usually between 0 and d−1 or between 1 and d; the choice of the convention is not important). Does this set have an established name? I failed to find any myself.

Unrelated, FYI: The semantics of such a VAS A (respectively, (v,A) for the alternative formulation) is as usual: the set of walks (wⁱ)_{0≤i≤n} through componentwise nonnegative vectors (starting in w⁰ = v for the alternative formulation) such that wⁱ⁺¹ − wⁱ ∈ A for all i∈ℕ₀ satisfying i<n.

Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.