Dimension Rigidity and Projective Geometry of Trace-Product Switchings of the Gold Cube

기술 요약: Gold Cube의 Trace-Product Switching에 관한 차원 경직성 및 사영 기하학

문제 정의
본 논문은 $n$이 짝수인 유한체 $\mathbb{F}_{2^n}$ 위에서 정의된 Gold 거의 완벽 비선형(APN) 함수 $F(x) = x^3$를 스칼라 trace-product switching 메커니즘을 통해 변형하는 것을 조사한다. 구체적으로, 연구 대상은 다음과 같은 형태의 함수이다:
$$F_{n,\theta}(x) = x^3 + \theta Q_n(x)$$
여기서 $Q_n(x) = \text{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_2}(x) \cdot \text{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_2}(\lambda x)$는 정규화된 이차 불리언 형식(quadratic Boolean form)이며, $\theta \in \mathbb{F}_{2^n}$는 계수이고, $\lambda$는 $\mathbb{F}_4$의 원시 원소이다. 핵심 문제는 어떤 짝수 차원 $n$과 어떤 0이 아닌 계수 $\theta$에 대하여 결과 함수 $F_{n,\theta}$가 APN 성질을 유지하는지를 결정하는 것이다. Arshad의 학위 논문 등 기존 연구에서는 작은 차원($n=6, 8$)에서의 허용 가능한 계수 목록을 나열하는 데 그쳤으나, 통일된 이론적 기술과 더 큰 차원에서의 부존재 증명은 부족한 상태였다.

방법론
저자는 대수 기하학, 캐릭터 합(character sum) 추정, 그리고 계산적 검증의 조합을 사용한다:

1. 저계수 미분 프레임워크(Low-Rank Derivative Framework): 본 논문은 "저계수 고정점 기준(Low-Rank Fixed-Point Criterion)"(정리 3.1)을 확립한다. 이는 기존의 하이퍼플레인 주입성(hyperplane-injectivity) 기준을 임의의 rank-$r$ 업데이트로 일반화한 것이다. 이는 업데이트 $F + U \circ q$의 APN 검증을, 선형 사상 $U$가 기저 함수의 미분 이미지로부터 유도된 "금지된 집합(forbidden sets)"을 피하는지 확인하는 문제로 환원시킨다. 이를 통해 전수 조사 방식의 APN 검증 대신 효율적인 멤버십 테스트($2^r - 1$번의 테스트)가 가능해진다.
2. 섹션-곱 기준(Section-Product Criterion): 특정 스칼라 trace-product 패밀리에 대해, 저자는 기하학적 기준(정리 4.2)을 도출한다. 이들은 $F_{n,\theta}$가 APN일 필요충분조건이 $\theta$가 특정 상대적 trace 조건을 만족하는 $c, d$ ($T(c)=1, T(d)=0$)에 대해 "섹션 곱(section product)" $c^3 + d^3$으로 표현될 수 없는 것임을 보여준다. 이는 문제를 trace 제약 조건 하에서 방정식 $c^3 + d^3 = \theta$의 해의 개수를 세는 문제로 변환한다.
3. 해석적 및 유한 브릿지(Analytic and Finite Bridges):
   • 작은 차원($n=4, 6, 8$)의 경우, 저자는 직접적인 대수적 조작과 Frobenius-orbit 인증을 사용하여 허용 가능한 계수를 분류한다.
   • $n \ge 10$의 경우, 논문은 사영 페르마 큐빅 곡선 $X^3 + Y^3 = \theta Z^3$에 대한 가법 캐릭터 추정치를 활용한다. Weil bound와 Artin–Schreier conductor 분석을 사용하여 아핀 점(affine points)의 수를 제한함으로써, $n \ge 14$일 때 모든 $\theta \neq 0$에 대해 해의 개수 $h_n(\theta)$가 엄격히 양수임을 증명한다.
   • 중간 단계인 $n=10$과 $n=12$의 경우, trace 파이버(fibre)의 XOR-convolution을 수행하는 유한 계산이 부존재를 확인하는 "브릿지" 역할을 한다.
4. 사영 분류 (차원 8): 차원 8에서, 저자는 rank-two 조합의 사영 trace form으로 분석을 확장한다. 이들은 $\mathbb{F}_4$ 상의 사영 직선 $\mathbb{P}^1(\mathbb{F}_4)$를 사용하여 확장을 매개변수화하고, 이진 trace selector를 사용하여 유효한 계수 쌍을 식별한다.

주요 기여 및 결과

• 차원 경직성 정리(Dimension Rigidity Theorem): 본 논문은 이 switching 메커니즘에 대한 엄격한 "차원 사다리(dimension ladder)"를 증명한다:
  • $n=4$: 허용 가능한 계수는 trace-zero 하이퍼플레인의 0이 아닌 원소들($\text{Tr}(\theta)=0$)이다. 이 맵들은 원래의 Gold 함수와 EA 동치(Equivalent)이다.
  • $n=6$: 허용 가능한 계수는 정확히 $\mathbb{F}_{64}$에서 곱셈 차수가 9인 6개의 원소들이다.
  • $n=8$: 허용 가능한 계수는 부분체 $\mathbb{F}_4^*$의 0이 아닌 원소들이다.
  • $n \ge 10$ (짝수): 0이 아닌 어떤 계수 $\theta$도 APN 함수를 생성하지 않는다. 허용 가능한 계수 집합은 공집합이다.
• 내재적 특성 기술: 본 논문은 Arshad의 학위 논문에서 발견된 계수 목록에 대해, 생(raw) 필드 좌표 대신 대수적 성질(차수 9 및 부분체 멤버십)을 사용하여 최초의 내재적이고 기저 독립적인 기술을 제공한다.
• 사영 rank-two 확장 ($n=8$): 저자는 차원 8에서의 정규화된 rank-two 확장을 분류한다. 이들은 매개변수 공간이 $\mathbb{P}^1(\mathbb{F}_4)$임을 입증하며, 네 개의 비-기저 점(non-base points) 각각이 정확히 두 개의 수용 가능한 계수 쌍을 지원함을 보여준다. 이 8개의 표식된 switching들은 두 개의 Frobenius cycle으로 조직된 정확히 두 개의 EA 클래스(결과적으로 두 개의 CCZ 클래스)를 형성한다.
• 계산 도구: rank-$r$ 업데이트에 대한 APN 테스트를 사전 계산된 금지된 집합에 대한 $2^r - 1$번의 incidence 테스트로 줄여주는 재사용 가능한 중심 독립적(center-independent) 고정점 기준을 제공한다.

의의 및 주장
본 논문은 주요 기여가 $n \ge 10$에 대한 균등한 부존재 결과와 낮은 차원에서의 허용 가능한 집합에 대한 내재적 기하학적 기술이라고 주장한다.

• 방법론적 가치: "차원 경직성" 결과는 더 큰 짝수 차원에서 새로운 APN 함수를 찾기 위한 탐색 공간에서 이 계열의 switching 메커니즘 전체를 제거함으로써, 향후 암호학 연구를 간소화한다.
• 구조적 통찰: 결과들은 알려진 글로벌 APN 클래스들이 Gold 중심 주변에서 어떻게 국소적으로 조직되어 있는지를 설명한다. 본 논문은 결과적인 글로벌 클래스들은 알려져 있지만, 특정 trace-product switching 메커니즘은 매우 제한적이며, 오직 차원 4, 6, 8에서만 기능한다는 점을 명확히 한다.
• 재현성: 본 연구는 모든 유한 계산(12행 및 33행 orbit certificate 및 $n=10, 12$ 브릿지 포함)에 대해 정확한 JSON certificate, Python 스크립트, SHA-256 체크섬을 제공하여 엄격한 재현성을 강조한다. 저자는 $n \ge 14$에 대한 해석적 증명과 $n < 10$에 대한 대수적 유도를 위한 보조 도구로서 컴퓨터 보조 단계(computer-assisted steps)를 사용했음을 명시적으로 밝힌다.

본 논문은 새로운 글로벌 APN 클래스를 발견한다고 주장하는 것이 아니라, trace-product switching을 통해 Gold 함수를 국소적으로 수정할 수 있는 정밀한 경계와 구조적 속성을 매핑하는 것을 목적으로 한다.