인터레이스 다항식의 전면 탐구: 열거, 비단조성 반증, 그리고 코드·양자 상태와의 연계

본 논문은 인터레이스 다항식 q와 Q에 대한 전면적인 연구를 수행한다. 먼저, 그래프 G=(V,E)의 LC(지역 보완)와 ELC(가장자리 지역 보완) 연산을 정의하고, 각각의 궤도(orbit)를 소개한다. LC는 정점 v의 이웃 서브그래프를 보완하는 연산이며, ELC는 두 정점 u, v에 대해 네 개의 정점 집합(A, B, C, D)을 구분한 뒤, 서로 다른 집합에 속하는 정점 쌍을 토글하고 u, v의 라벨을 교환하는 방식이다. 이러한 연산은 그래프의 구조를 크게 변형시키지만, 특정 다항식은 불변성을 가진다. q는 Arratia, Bollobás, Sorkin이 정의한 인터레이스 다항식으로, 재귀식 q(G)=q(G\ u)+q(G(uv)\ u) 을 사용한다. 여기서 G\ u는 정점 u와 그에 인접한 모든 간선을 삭제한 그래프이며, G(uv) 는 ELC 연산을 적용한 그래프이다. q는 ELC‑불변이며, q(E_n)=x^n(무간선 그래프)이다. Q는 Aigner와 van der Holst가 정의한 또 다른 인터레이스 다항식으로, Q(G)=Q(G\ u)+Q(G(uv)\ u)+Q(G∗u\ u) 의 재귀식으로 계산한다. 여기서 G∗u는 LC 연산을 적용한 그래프이다. Q는 LC‑불변이며, Q(E_n)=x^n이다. 저자들은 이전 연구에서 12정점까지의 모든 그래프에 대해 LC·ELC 궤도를 완전 분류한 데이터를 보유하고 있다. 이를 바탕으로 각 궤도 대표 그래프에 대해 q와 Q를 계산하고, 중복을 제거해 서로 다른 다항식의 개수를 표 2에 정리하였다. 결과적으로, n=1~12에 대해 q와 Q의 서로 다른 다항식 수가 급격히 증가함을 확인한다. 특히, q의 경우 n=10에서 처음으로 비단조 계수열을 갖는 다항식이 등장한다. 해당 다항식은 q(x)=2x+7x^2+6x^3+7x^4+4x^5+3x^6+2x^7+x^8 이며, 그림 6에 제시된 두 그래프가 이를 공유한다. 비단조성을 보존하는 그래프 변형으로는 (1) 정점 하나를 고립된 정점으로 추가해 q(G′)=x·q(G) 로 만드는 방법, (2) 정점 v를 크기 m인 클리크로 대체해 q(G′)=2^m·q(G) 로 만드는 방법, (3) 정점 복제(duplicating) 방법이 있다. 복제는 q(G′)=(1+x)q(G)−x·q(G\ v) 로 표현되며, 특정 조건을 만족하면 계수 c가 두 번 반복되어 비단조성이 유지된다. 따라서 n>10에 대해서도 비단조 q가 무한히 존재함을 증명한다. 반면, Q에 대해서는 n≤12까지 모든 그래프가 단조 계수열을 가진다. 또한 x·q(x+1) 형태의 변형도 단조성을 유지한다는 실험적 증거를 제시한다. 다음으로, 인터레이스 다항식과 오류 정정 코드·양자 코드 사이의 연계를 논한다. LC 궤도는 자기‑대칭 양자 코드와 일대일 대응하고, ELC 궤도는 이진 선형 코드와 대응한다. 코드의 최소 거리 d는 그래프의 최소 차수 δ와 d=δ+1 관계에 있다. Q의 차수 deg(Q) 는 LC 궤도 내 최대 독립집합 크기와 동일하며, 이는 양자 상태의 얽힘 정도를 나타내는 peak‑to‑average power ratio와 직접 연관된다. 또한 Q(4)=2^n·(Eulerian subgraph count) 로부터 클리포드 메리트 팩터(CMF) 를 계산할 수 있다. 저자들은 n≤12에 대해 δ, deg(Q), Q(4) 값들의 가능한 범위를 제시하고, n≤25까지의 상한을 알려진 최적 양자 코드 결과와 비교한다. 마지막으로, 원형 그래프(circle graph) 열거에도 주목한다. 원형 그래프는 LC 연산에 의해 보존되며, Bouchet의 원형 그래프 방해조건을 이용해 LC 궤도 내에 원형 그래프가 존재하는지를 판단한다. 저자들은 기존에 9정점까지만 알려진 원형 그래프 열거를 12정점까지 확장하고, 그 수를 표 3에 정리한다. 전체적으로, 이 논문은 (1) 인터레이스 다항식 q와 Q의 완전 열거와 비단조·단조 성질 분석, (2) 비단조 q의 존재를 통한 기존 conjecture 반증, (3) 그래프‑코드‑양자 상태 간의 구조적 연계 제시, (4) 원형 그래프에 대한 새로운 데이터 제공이라는 네 가지 주요 기여를 한다. 이러한 결과는 그래프 이론, 코딩 이론, 양자 정보 과학 사이의 교차 연구에 중요한 기반을 제공한다.