Let be the binary linear code
How many binary linear codes are there which are equivalent (under coordinate permutations) to ?
The code is the subspace of consisting of all vectors where the coordinates in the pairs are equal. This code is generated by the basis vectors , where has 1s at positions and , and 0s elsewhere.
The group of coordinate permutations is the symmetric group . Two codes are equivalent if one can be obtained from the other by applying a permutation to the coordinates. The number of distinct codes equivalent to is the index of the automorphism group of in , i.e., .
The automorphism group consists of all permutations such that . Since is the set of vectors constant on the pairs (where ), any automorphism must map this set of pairs to itself. Specifically:
- The pairs can be permuted among themselves. There are such permutations.
- Within each pair , the two elements can be swapped or left alone. There are such combinations. Thus, .
The number of equivalent codes is: [ \frac{|S_{16}|}{|\text{Aut}(C)|} = \frac{16!}{2^8 \cdot 8!} ] This is equal to the product of odd integers from 1 to 15, also known as the double factorial .
[PYTHON] import math
def double_factorial(n): if n <= 0: return 1 return n * double_factorial(n - 2)
Calculate 16! / (2^8 * 8!)
numerator = math.factorial(16) denominator = (2**8) * math.factorial(8) result = numerator // denominator
print(f"{numerator=}") print(f"{denominator=}") print(f"{result=}")
Verify with double factorial
result_df = double_factorial(15) print(f"{result_df=}") [/PYTHON] [THOUGHT] The calculated value is 2027025. The logic holds: the number of equivalent codes corresponds to the number of ways to partition the set of 16 coordinates into 8 pairs. The formula is . [/THOUGHT]
\boxed{2027025}
The number of binary linear codes equivalent to (C) is the number of ways to partition the set of 16 coordinate positions into 8 unordered pairs. This is given by the formula: [ \frac{16!}{8! \cdot 2^8} = 15 \times 13 \times 11 \times 9 \times 7 \times 5 \times 3 \times 1 = 2027025 ]
\boxed{2027025}