피벗과 루프 보완의 군 구조: 그래프와 집합 시스템의 통합적 연구

1. 서론에서는 피벗 변환(PPT)이 행렬의 부분 역전으로 정의되고, 그래프 이론·컴퓨터 과학·양자 정보·유전학 등 다양한 분야에서 활용되는 배경을 제시한다. 특히 루프가 허용된 그래프(대칭 F₂ 행렬)에서 피벗은 로컬 컴플리멘테이션과 에지 컴플리멘테이션이라는 두 가지 기본 연산으로 분해될 수 있음을 언급한다. 기존 연구에서는 이 두 연산이 별도로 다루어졌으나, 본 논문은 이를 하나의 군 구조 안에서 통합한다. 2. ‘표기와 용어’ 섹션에서는 집합 시스템(M=(V,D))과 그 최소·최대 원소, 그래프와 인접 행렬, 루프 보완 연산 G+X 등을 정의한다. 특히 그래프와 집합 시스템 사이의 일대일 대응(M(·))을 통해 그래프 연산을 집합 시스템 연산으로 옮길 수 있음을 보인다. 3. ‘피벗’ 섹션에서는 행렬 차원에서의 정의(A∗X)와 집합 시스템 차원에서의 정의(M∗X)를 상세히 설명한다. 정리 1(튜커) 을 이용해 피벗 연산이 부분 행렬식의 비특이성을 보존함을 증명하고, ‘엘리멘터리 피벗’이 루프에 대한 피벗(로컬 컴플리멘테이션)과 두 비루프 정점 사이의 피벗(에지 컴플리멘테이션)으로 구분됨을 제시한다. 예제 3을 통해 피벗의 궤적과 집합 시스템 D의 변화를 시각화한다. 4. ‘피벗과 루프 보완의 통합’에서는 새로운 연산인 ‘정점 플립’ α를 도입한다. α는 2×2 행렬이며, 정점 j에 대해 Mαj는 Z∈D와 Z⊕{j}∈D의 존재 여부를 α에 따라 새로운 집합 시스템 D′에 매핑한다. α∗는 피벗, α⁺는 루프 보완에 각각 대응한다. Lemma 5는 서로 다른 정점에 대한 플립이 교환 가능함을 증명하고, 이는 연산 순서가 무관함을 의미한다. 5. ‘군 구조와 정규형’에서는 GL₂(F₂)≅S₃임을 이용해 모든 정점 플립이 S₃의 원소들로 표현될 수 있음을 보인다. 특히 α⁺와 α∗는 S₃의 두 개의 차수 2 원소이며, 이들의 곱은 차수 3 원소가 된다. 정리 13은 임의의 연산열을 (α⁺)^{p}·(α∗)^{q}·(α⁺)^{r} 형태로 변환하는 정규형을 제시한다. 이 정규형은 피벗·루프 보완 연산의 조합을 간단히 파악할 수 있게 해준다. 6. ‘단순 그래프에의 적용’에서는 루프가 없는 그래프에 대해 로컬 컴플리멘테이션과 에지 컴플리멘테이션을 기존 정의와 동일하게 해석한다. Proposition 23은 로컬·에지 컴플리멘테이션 사이의 고전적 관계를 새로운 군론적 증명으로 재현한다. 또한 Theorem 27은 연속적인 로컬 컴플리멘테이션이 결국 루프 플립(α⁺)들의 조합으로 표현될 수 있음을 보여, 복잡한 변환을 단순히 ‘루프 토글’ 연산들의 집합으로 축소한다. 7. 마지막으로 논문은 이러한 군적 시각이 그래프 변환의 구조적 이해를 심화시키며, delta‑matroid 이론·interlace polynomial·양자 오류 정정 코드 등 다양한 응용 분야에 새로운 도구를 제공할 수 있음을 강조한다. 향후 연구로는 비대칭 행렬, 다중 루프, 그리고 고차원 매트로이드에 대한 확장이 제시된다.