대칭 행렬과 라이트아웃 문제: F₂에서의 새로운 정리

초록

이 논문은 2진 체 F₂ 위의 대칭 행렬 A에 대해, A의 대각 원소들로 이루어진 벡터 d가 A의 열공간에 포함된다는 정리를 증명한다. 이를 이용해 그래프의 라이트아웃 퍼즐을 일반화한 모델에서, 임의의 초기 조명 상태를 적절한 버튼 누름으로 모두 끌 수 있는 조건을 제시한다.

상세 분석

논문은 먼저 2진 체 F₂ 위에서 정의된 n × n 대칭 행렬 A에 대해, 대각 원소들(d₁,…,dₙ)ᵀ을 원소로 갖는 벡터 d가 A의 열공간에 속한다는 핵심 정리를 제시한다. 증명은 선형대수학적 관점에서 진행되는데, A가 대칭이므로 A와 전치행렬 Aᵀ가 동일하고, 따라서 A의 행공간과 열공간이 동일함을 이용한다. 이어서 d가 A의 행공간에 포함된다는 것을 보이기 위해, 임의의 행벡터 r∈F₂ⁿ에 대해 r·A·rᵀ=∑{i<j}a{ij}(r_i+r_j)²+∑{i}a{ii}r_i² 로 전개한다. 여기서 2진 체에서는 제곱이 항등함수이므로 r·A·rᵀ=∑{i}a{ii}r_i가 된다. 즉, 모든 r에 대해 r·A·rᵀ= r·d 가 성립한다. 이는 d가 A의 행공간에 속한다는 의미이며, 대칭성에 의해 열공간에도 속함을 즉시 얻는다.

이 정리를 라이트아웃 문제에 적용한다. 라이트아웃은 그래프 G의 각 정점에 전구가 달려 있고, 정점을 눌렀을 때 그 정점과 인접한 정점들의 전구 상태가 토글되는 퍼즐이다. 이를 행렬식으로 표현하면, 토글 연산은 (A+I)·x = b 형태가 되며, 여기서 A는 G의 인접 행렬, I는 단위 행렬, x는 눌러야 할 정점들의 선택 벡터, b는 초기 전구 상태를 나타낸다. 기존 라이트아웃에서는 b가 전부 1인 경우만 고려했지만, 본 논문은 b가 임의의 벡터일 때도 해가 존재함을 보인다. 구체적으로, (A+I)는 대칭 행렬이므로 위 정리에 의해 그 대각 원소(즉, 모든 1) 벡터가 열공간에 포함된다. 따라서 b가 1벡터인 경우는 언제든 해결 가능하고, 더 일반적으로 b가 대각 원소들의 선형 결합 형태라면 역시 해가 존재한다.

또한 논문은 그래프가 연결되어 있지 않거나, 자기 루프가 존재하는 경우 등 다양한 변형에도 정리가 그대로 적용됨을 논증한다. 특히, 자기 루프가 있는 정점은 토글 연산에 추가적인 1을 더해주어, 대각 원소가 1인 경우와 동일한 효과를 만든다. 이러한 일반화는 기존 라이트아웃 연구에서 다루지 않았던 복합적인 초기 상태와 복수의 목표 상태를 동시에 만족시키는 전략을 설계할 수 있게 한다.

결과적으로, 대칭 행렬의 대각 벡터가 열공간에 포함된다는 단순하지만 강력한 사실이 라이트아웃과 같은 토글 퍼즐의 해 존재성을 보장하는 핵심 도구가 된다. 이는 퍼즐 해법을 찾는 알고리즘 설계뿐 아니라, 그래프 이론과 코딩 이론에서의 응용 가능성을 넓힌다.