명시적 노터 정규화와 동시 공액 행렬의 다항식 항등성 테스트

초록

**
이 논문은 Mulmuley가 제시한 행렬 동시 공액에 대한 노터 정규화의 명시적 버전을 개선한다. 기존에 필요하다고 가정한 강력한 PIT(다항식 항등성 테스트) 가정을 약화시켜, 최근 저자들이 만든 ROABP(읽기‑한번 무작위 대수적 분기 프로그램)용 준다항식 크기의 히팅셋을 이용해 무조건적인 명시적 정규화를 제공한다. 또한 궤도 폐쇄 교차 판정을 위한 병렬 다항식 시간 알고리즘을 제시하고, Mulmuley의 가정이 ABP 모델과 동등함을 보이며, 깊이‑3 대각 회로에 대한 간단한 히팅셋 구성을 제시한다.

**

상세 분석

**
본 연구는 Mulmuley(2012)가 제시한 “명시적 Noether Normalization” 문제를 재검토한다. Mulmuley는 동시 공액에 대한 불변량 링 (F