막의 서명 행렬: 다항 및 조각 이중선형 경우의 대수적 특성

초록

본 논문은 두 매개변수(iterated‑integral) 서명인 id‑signature의 두 번째 레벨, 즉 서명 행렬을 연구한다. 다항식과 조각 이중선형(membranes) 두 종류의 막에 대해 서명 행렬이 동일한 대수적 다양체를 형성함을 보이고, 차원 (d) 에 대해 차수 (m,n) 가 충분히 크면 이 다양체가 전 공간 (\mathbb C^{d\times d}) 와 동형임을 증명한다. 또한, 조각 이중선형 막의 서명 행렬을 (O(d^{2}mn)) 시간에 계산할 수 있는 선형‑시간 알고리즘을 제시한다.

상세 분석

논문은 먼저 경로 서명의 두 번째 레벨인 서명 행렬 (S(X))의 정의와, 경로 경우에 알려진 대칭 부분이 계수 1인 랭크‑1 행렬이라는 성질을 복습한다. 이를 두 매개변수로 확장한 id‑signature는 (\partial_{12}X)의 이중 편미분을 적분해 얻으며, 두 번째 레벨이 바로 논문의 핵심 대상인 서명 행렬이다. 저자들은 “모멘트 막” ( \text{Mom}{m,n}(s,t) = (s,\dots,s^{m})\otimes(t,\dots,t^{n})) 를 사전(dictionary)으로 삼아, 차수 ((m,n))인 모든 다항식 막을 선형 변환 (A) 로 표현할 수 있음을 보인다. 이때 서명 행렬은 (S(AX)=A,S(\text{Mom}{m,n}),A^{\top}) 로, 행렬 동치(congruence) 궤도에 해당한다. 따라서 다항식 막과 조각 이중선형 막이 같은 동치 궤도를 공유함을 증명하고, 두 경우의 서명 행렬이 동일한 대수적 다양체 (M_{d,m,n}) 를 정의한다.

다음으로 저자들은 (M_{d,m,n}) 의 차원과 포함 관계를 정밀히 분석한다. (m+n>d)이면 (M_{d,m,n}=\mathbb C^{d\times d}) 가 되어 어떠한 대수적 관계도 존재하지 않으며, 이는 경로 서명에서 나타나는 “스퀘어‑루트”와 같은 제약이 사라짐을 의미한다. 반면 (m,n) 가 (d) 에 비해 작을 때는 대칭·반대칭 부분의 랭크 제한을 통해 (S(a,b)) 라는 부분다양체에 포함되는 구체적 경계가 제시된다. 저자들은 기존 행렬 동치 궤도 이론(