[논문 리뷰] MacWilliams-type equivalence relations

Soohak Choi, Jong Yoon Hyun외 2명|arXiv (Cornell University)|2012. 05. 05.

Coding theory and cryptography참고 문헌 17인용 수 5

한 줄 요약

이 논문은 순서 구조 코드에서 쌍대 관계와 무게 분포를 정의하여 매클로우즈 유형의 동치 관계를 도입하고, 이러한 관계가 매클로우즈 유형 항등식을 만족하기 위한 필요 및 충분 조건을 규명한다. 자동형사상에 의해 유도되는, 기수 기반의, 순서 동형사상 기반의 동치 관계가 특정한 순서 구조에서 매클로우즈 유형임을 증명하며, 순서 구조 부호 이론에서 알려진 결과들을 통합한다.

ABSTRACT

Let $\mathcal{P}$ be a poset on $[n]$, $\mathcal{I}(\mathcal{P})$ the set of order ideals of $\mathcal{P}$ and $E$ an equivalence relation on $\mathcal{I}(\mathcal{P})$. The concepts of the dual relation $E^*$ of an equivalence relation $E$, the $E$-weight (resp. $E^*$-weight) distribution of a linear poset code (resp. its dual poset code) and a MacWilliams-type equivalence relation are introduced. We give a characterization for a MacWilliams-type equivalence relation in terms of MacWilliams-type identities for a linear poset code. Three kinds of equivalence relations on $\mathcal{I}(\mathcal{P})$ which are of MacWilliams-type are found, i.e., $(i)$ we show that every equivalence relation defined by the automorphism of $\mathcal{P}$ is a MacWilliams-type; $(ii)$ we provide a new characterization for poset structures when the equivalence relation defined by the same cardinality on $\mathcal{I}(\mathcal{P})$ becomes a MacWilliams-type; $(iii)$ we also give necessary and sufficient conditions for poset structures in which the equivalence relation defined by the order-isomorphism on $\mathcal{I}(\mathcal{P})$ is a MacWilliams-type.

연구 동기 및 목표

• 순서 구조 부호 이론에서 알려진 매클로우즈 유형 항등식을 통합하는 데 열려 있는 질문을 해결하기 위해.
• 매클로우즈 유형 항등식을 만족하는 순서 아이디얼에 대한 일반화된 동치 관계 프레임워크를 정의하기 위해.
• 자동형사상, 기수, 또는 순서 동형사상에 의해 유도된 특정한 동치 관계가 매클로우즈 유형 항등식을 유도할 수 있는 조건을 특성화하기 위해.
• 행렬 표현을 통해 선형 순서 구조 부호의 E-무게 분포와 E*-무게 분포 사이의 이중성 관계를 수립하기 위해.
• 다양한 동치 관계 하에서 매클로우즈 유형 항등식을 허용하는 순서 구조에 대한 필요 및 충분 조건을 제공하기 위해.

제안 방법

• 순서 아이디얼 집합 $\mathcal{I}(\mathcal{P})$ 상의 동치 관계 $E$의 쌍대 관계 $E^*$를 도입한다.
• 선형 순서 구조 부호와 그 이중 부호에 대해 $E$-무게 분포와 $E^*$-무게 분포를 정의한다.
• 모비우스 역행렬과 캐릭터 합을 사용하여 명시적으로 구성된 항목들을 포함한 행렬 형태로 매클로우즈 유형 항등식을 유도한다.
• 모비우스 역행렬을 적용하여 동치 관계 하에서 코드의 무게 분포와 그 이중의 무게 분포 사이의 관계를 규명한다.
• 매클로우즈 유형 행동을 위한 대칭 조건을 확립하기 위해 순서 동형사상과 보완 동형사상 순서 구조를 사용한다.
• 자동형사상 군 $H \leq \text{Aut}(\mathcal{P})$의 군 작용을 활용하여 $E_H$와 $E_H^*$ 사이의 대칭 항등식을 유도한다.

실험 결과

연구 질문

• RQ1 순서 아이디얼 집합 $\mathcal{I}(\mathcal{P})$ 상의 동치 관계 $E$가 매클로우즈 유형 동치 관계가 되기 위한 조건은 무엇인가?
• RQ2 순서 구조 $\mathcal{P}$의 자동형사상에 의해 정의된 동치 관계가 매클로우즈 유형 관계가 되는 조건은 무엇인가?
• RQ3 기수 기반의 동치 관계가 매클로우즈 유형이 되기 위해 필요한 순서 구조는 무엇인가?
• RQ4 순서 동형사상 기반의 동치 관계가 매클로우즈 유형 관계가 되기 위한 조건은 무엇인가?
• RQ5 선형 순서 구조 부호의 $E$-무게 분포와 그 이중의 $E^*$-무게 분포 사이의 정확한 관계는 무엇인가?

주요 결과

• 순서 구조 $\mathcal{P}$의 자동형사상 군 $H$에 의해 유도되는 모든 동치 관계는 매클로우즈 유형 동치 관계이다.
• 기수 기반의 동치 관계는 순서 구조 $\mathcal{P}$가 킴과 오(2012)에 의해 이전에 분류된 조건을 만족할 때에만 매클로우즈 유형이다.
• 순서 동형사상 기반의 동치 관계는 순서 구조 $\mathcal{P}$가 보완 동형사상 순서 구조일 때에만 매클로우즈 유형이다.
• 보완 동형사상 순서 구조 $\mathcal{P}$에 대해, 코드의 $E_S$-무게 분포와 그 이중의 $E_S^*$-무게 분포 사이에 매클로우즈 유형 항등식이 성립한다.
• 모비우스 역행렬을 사용하여 행렬 형태의 매클로우즈 유형 항등식을 명시적으로 구성하였으며, 이는 $M(I)$와 $M(J^c)$의 부분집합에 대한 합을 포함한다.
• 자동형사상에 의해 유도된 동치 관계에 대해 대칭 항등식이 도출되었다: $\frac{|\{\sigma \in H \mid \sigma(J^c) = J^c\}|}{(q-1)^{|M(J^c)|}q^{|(J^c)_M|}} p_{\overline{J^c}, \overline{I}} = \frac{|\{\sigma \in H \mid \sigma(I) = I\}|}{(q-1)^{|M(I)|}q^{|I_M|}} q_{\overline{I}, \overline{J^c}}$.