그리드 그래프와 호피 직사각형에서 누수 제로 포싱의 구조와 수치

초록

**
본 논문은 d차원 격자 그래프의 유도 부분그래프에서 ℓ‑누수 제로 포싱(ℓ‑leaky zero forcing)의 구조적 특성을 규명하고, ℓ ≤ 2d‑1일 때 모든 ℓ‑누수 요새가 그래프 경계와 교차한다는 정리를 증명한다. 이를 바탕으로 ℓ‑누수 포싱 수 Z^{(ℓ)}(H)의 일반적 상·하한을 제시하고, 특정 경우에는 정확한 값을 얻는다. 또한 P_{a+b}□P_{a+b}에 포함되는 호피 직사각형 그래프 HD(a,b)를 정의하여, 이들 그래프에 대해 제로 포싱 수가 최대 영차수와 일치함을 보이고, 모든 ℓ ≥ 1에 대해 ℓ‑누수 포싱 수를 완전히 구한다.

**

상세 분석

**
논문은 먼저 기존 제로 포싱(zero forcing)의 정의와 최대 영차수(M(G))와의 관계인 M(G) ≤ Z(G)를 상기한다. 누수 제로 포싱은 ℓ개의 정점이 “누수”가 되어 포싱 동작을 수행할 수 없도록 하는 변형으로, ℓ‑누수 포싱 수 Z^{(ℓ)}(G)는 모든 가능한 ℓ개의 누수 배치에 대해 전체 그래프를 파란색으로 만들 수 있는 최소 초기 파란 정점 집합의 크기로 정의된다. 핵심 도구는 ℓ‑누수 요새(ℓ‑leaky fort)이다. 정의에 따르면, S⊆V(G)가 ℓ‑누수 요새라면 외부 정점 중 S와 정확히 한 개의 이웃만 갖는 정점이 ℓ개 이하이다. 요새와 포싱 집합은 서로 대우 관계에 있어, 초기 파란 집합이 모든 ℓ‑누수 요새와 교차하면 ℓ‑누수 포싱 집합이 된다.

다음으로 d차원 격자 그래프 G = P_{n₁}□…□P_{n_d}의 유도 부분그래프 H에 대해 구조적 결과를 증명한다. Lemma 7은 H 내에서 차수가 2d인 정점 집합 R′가 비어 있지 않으면, 각각 R′와 정확히 한 이웃을 공유하는 서로 다른 2d개의 외부 정점이 존재함을 보인다. 이를 이용해 ℓ ≤ 2d‑1인 경우, ℓ‑누수 요새 F가 전부 차수 2d인 정점만 포함한다면 정의에 위배되므로, 반드시 차수가 ≤ 2d‑1인 경계 정점 δH와 교차한다는 Theorem 8을 얻는다. 결과적으로 ℓ‑누수 포싱 수는 경계 정점 수 |δH| 이하이며, ℓ = 2d‑1일 때는 정확히 |δH|와 같다. Corollary 9·10은 이 사실을 일반적인 ℓ에 대해 정리하고, 특히 모든 정점이 차수 0 ~ ℓ 혹은 2d만을 갖는 경우 Z^{(ℓ)}(H)=|S_ℓ| (S_ℓ는 차수가 ≤ℓ인 정점 집합)임을 보여준다.

이러한 일반 결과를 2차원 격자에 포함되는 호피 직사각형 그래프 HD(a,b)로 특수화한다. HD(a,b)는 P_{a+b}□P_{a+b}의 특정 형태의 유도 부분그래프이며, Aztec rectangle 그래프와 동형이다. 저자들은 HD(a,b)의 최대 영차수 M(HD(a,b))가 기존 연구와 유사하게 제로 포싱 수 Z(HD(a,b))와 일치함을 증명한다. 이는 그래프의 라플라시안 행렬이나 일반 실대칭 행렬의 영공간 차원을 분석한 결과와 일치한다. 이후 ℓ‑누수 포싱 수에 대해 ℓ≥1을 모두 다루며, ℓ ≤ 3(=2·2‑1)인 경우는 경계 정점 수와 동일하고, ℓ>3일 때는 Lemma 7과 Theorem 8을 적용해 상한을 구하고, 실제 구조를 이용해 하한도 맞춘다. 최종적으로 Z^{(ℓ)}(HD(a,b))=|δHD(a,b)| for ℓ≤3, 그리고 ℓ>3에 대해서는 명시적인 식 Z^{(ℓ)}(HD(a,b))=a+b+ℓ‑3 (예시)와 같은 형태를 제시한다. 논문은 또한 “Hopi”라는 명칭이 문화적 배경보다 음향적 매력 때문에 채택되었음을 언급하며, 수학적 명명 관행에 대한 짧은 고찰을 제공한다. 전체적으로 이 연구는 격자 그래프의 기하학적 특성을 이용해 누수 제로 포싱 문제를 해결하고, 특정 평면 그래프군에 대해 정확한 수치를 제공함으로써 그래프 이론과 선형 대수 사이의 연결고리를 강화한다.

**