MacWilliams Extension Property with Respect to Weighted Poset Metric
Yang Xu,Haibin Kan,Guangyue Han
DOI: https://doi.org/10.1109/tit.2023.3328262
IF: 2.5
2024-01-01
IEEE Transactions on Information Theory
Abstract:—Let H be the cartesian product of a family of left modules over a ring S , indexed by a finite set Ω. We are concerned with the ( P , ω )-weight on H , where P = (Ω , 4 P ) is a poset and ω : Ω −→ R + is a weight function. We characterize the group of ( P , ω )-weight isometries of H , and give a canonical decomposition for semi-simple subcodes of H when P is hierarchical. We then study the MacWilliams extension property (MEP) for ( P , ω )-weight. We show that the MEP implies the unique decomposition property (UDP) of ( P , ω ), which further implies that P is hierarchical if ω is identically 1. For the case that either P is hierarchical or ω is identically 1, we show that the MEP for ( P , ω )-weight can be characterized in terms of the MEP for Hamming weight, and give necessary and sufficient conditions for H to satisfy the MEP for ( P , ω )-weight when S is an Artinian simple ring (either finite or infinite). When S is a finite field, in the context of ( P , ω )-weight, we compare the MEP with other coding theoretic properties including the MacWilliams identity, Fourier-reflexivity of partitions and the UDP, and show that the MEP is strictly stronger than all the rest among them.