Linear and noble Boolean functions

From testwiki
Jump to navigation Jump to search

Template:Boolf header <templatestyles src="Collapsible with classes/style.css" />

arity n 1 2 3 4 5
linear 2n+1 4 8 16 32 64
noble 22n1 2 4 16 256 65536

Among the truth tables for a given arity, the linears and the nobles are important subsets.

Each linear can be assigned a patron, which is noble. Each noble can be assigned a prefect, which is linear.

For arity 3 they form a bijection. For higher arities the nobles outnumber the linears (i.e. the patrons of the linears are a subset of the nobles).


overview

3-ary

Template:Multiple image

Error creating thumbnail:
nobles

Template:Collapsible START Template:Collapsible START

Template:Collapsible END Template:Collapsible START

Template:Collapsible END Template:Collapsible START

Template:Collapsible END Template:Collapsible END

3-ary

quadrants
Error creating thumbnail:
Template:Colorbox   0   (even, evil)
Template:Colorbox   3   (odd, odious)
File:3-ary linear to noble, quadrant 2.svg
Template:Colorbox   2   (even, odious)
File:3-ary linear to noble, quadrant 1.svg
Template:Colorbox   1   (odd, evil)


4-ary

linear to patron (noble)

There are 32 linears, which form 10 factions. (Even and odd faction for each Walsh weight 0...4.) Their patrons are 32 nobles, which also form 10 factions (among the 44 noble factions).

Their juniors are the 3-ary Boolean functions with consul 0.   (This is not the case for arities 2 and 3, but probably for all arities ≥ 4.)

Template:Collapsible START The faction is determined by Walsh weight and parity (or quadrant), and represented by variants of the quadrant colors.
A good sort order is first by quadrant, and then by Walsh weight. Template:Linear to patron 4-ary list Template:Collapsible START Template:Linear to patron 4-ary sequences Template:Collapsible END Template:Collapsible END

Template:Collapsible START The numbers next to the images correspond to the truth tables.
The linears are in the left columns, their patrons in the middle, and their twins on the right.   (So the Zhegalkin indices of the linear functions are in the columns on the right.) Template:Linear to patron 4-ary factions Template:Collapsible END

Template:Collapsible START

The factions are shown in ten different colors, which are variants of the quadrant colors.   (There are three shades of red and green, and two shades of blue and yellow.)

truth tables
Zhegalkin indices

Template:Collapsible END

The following images show that pairs of complementary factions are in the same principality.

Template:Collapsible START

king 0 3808 26752
king index 0 14 104

Template:Colorbox   The patrons of the 8 even Walsh functions (quadrant 0) are the red entries in these 3 principalities.
Template:Colorbox   The patrons of their complements (quadrant 3) are the green entries.

Template:Collapsible END

Template:Collapsible START

king 5760 10920
king index 22 42

Template:Colorbox   The patrons of the 8 odious Walsh functions (quadrant 2) are the yellow entries in these 2 principalities.
Template:Colorbox   The patrons of their complements (quadrant 1) are the blue entries.

Template:Collapsible END

noble to prefect (linear)

There are 256 nobles. A prefect is one of the 32 linears. Every linear is the prefect of 8 nobles.

Template:Collapsible START This table is an extension of the one shown above (from linear to patron). The leftmost noble column is equal to that of patrons.
But here the assignment goes in the other direction. Each of the nobles on the right has the prefect on the left. E.g. the nobles 3870 and 2600 have prefect Ж 17.

The nobles are represented by the integer values of their truth tables, which are also their Zhegalkin indices.
The small numbers to their right are the juniors 0...255.
They correspond to 3-ary Boolean functions, so among them are also linears and nobles. The linears are highlighted in bold, and the nobles with a box.

The background colors of the nobles denote the noble quadrants.
The tiny red numbers are the king indices. Together with the noble quadrants they denote the noble factions.   (The eleven king indices are 0, 2, 6, 8, 14, 22, 26, 42, 44, 104, 110.)

Template:Noble to prefect 4-ary Template:Collapsible END

Template:Collapsible START The right side of the following table shows the same information as the table above.
Entries of one color in one matrix are the eight juniors in a row of the table above.   (Linears are highlighted in bold, and the nobles with a crown.)

The left side of the table shows the prefects of all 3-ary Boolean functions. (And the great prefects as sort keys.)
It can be seen, that the Template:W of the 4-ary prefects are a refinement of the 3-ary prefects. This motivates the term subprefect.

Template:Noble to prefect 4-ary matrices

A more detailed version of this table can be seen here. Template:Collapsible END