Seal (discrete mathematics)
Seal is a neologism for a mathematical object, that is essentially a subgroup of nimber addition.
The addition of nimbers is the bitwise XOR of non-negative integers. For a finite set it forms the Boolean group Z2n.
A seal shall be defined as a Boolean function whose family matrix is also the matrix of an equivalence relation.
This implies, that the Boolean function is odd (i.e. that the first entry of it's truth table is true), and that it is the unique odd function in its family.
seal 1001 0000 0110 0000 | ||
---|---|---|
The 16×16 matrix on the left is the family matrix of the Boolean function shown in red. | ||
The weight of a Boolean function is be the quotient of the sum and the length of its truth table.
The weight of a seal is , where is its depth.
The unique seal with depth 0 is the tautology. The seals with depth 1 are the negated variadic XORs with one or more arguments.
negated binary Walsh matrix |
---|
The seals with depth 1 are the positive rows of a negated binary Walsh matrix. (The tautology with depth 0 is in the top row.) |
triangles by arity and depth | ||||
---|---|---|---|---|
The following triangle (left) shows the number of seals by arity (rows) and depth (columns). The triangle on the right shows the corresponding numbers of clans.
E.g. there are A022166(4, 2) = 35 4-ary seals of depth 2, and they fall into A076831(4, 2) = 6 different clans. One may be interested in all Boolean functions in the seal families. Their number for arity n is A182176(n). |