평가 사상을 이용한 회피 함수 구성

초록

본 논문은 대수적 기하와 환론을 활용해 회피 함수(elusive function)를 체계적으로 만드는 새로운 방법을 제시한다. 핵심 개념은 회피 부분집합과 평가 사상이며, 이를 통해 다항 사상의 이미지 밖에 존재하는 구체적인 점을 효과적으로 찾는다. 특히 복소수체와 실수체 위에서 대수적 수를 계수로 갖는 $(s,r)$‑회피 함수를 구성하고, 이 함수들의 회로 복잡도가 크게 성장함을 증명한다.

상세 분석

논문은 먼저 “회피 부분집합(elusive subset)”이라는 개념을 정의한다. 이는 어떤 다항 사상 $F:\mathbb{F}^n\to\mathbb{F}^m$에 대해, 이미지 $F(\mathbb{F}^n)$와 교집합이 비어 있는 $\mathbb{F}$‑점들의 집합을 의미한다. 저자들은 이 부분집합을 찾기 위해 “평가 사상(evaluation mapping)” $E_{k,d}:\mathbb{F}