[논문 리뷰] On Higher-Order Fourier Analysis over Non-Prime Fields

Arnab Bhattacharyya, Abhishek Bhowmick|arXiv (Cornell University)|2015. 05. 04.

Coding theory and cryptography참고 문헌 42인용 수 3

한 줄 요약

이 논문은 소수체가 아닌 유한체로 고차 푸리에 분석을 확장하여 코딩 이론과 복잡도 이론에서 새로운 알고리즘적 및 구조적 결과를 이끌어낸다. 이는 임의의 유한체에서 일반화된 리드-멀러 코드의 리스트 디코딩 반경이 그 최소 거리와 일치함을 증명하고, 임의의 유한체에서 다항식 분해를 다항시간 알고리즘으로 제공하며, 국소적으로 특징지어진 애파인 불변 성질의 검증 가능성을 확립한다.

ABSTRACT

Higher-order Fourier analysis, developed over prime fields, has been recently used in different areas of computer science, including list decoding, algorithmic decomposition and testing. We extend the tools of higher-order Fourier analysis to analyze functions over general fields. Using these new tools, we revisit the results in the above areas. * For any fixed finite field $\mathbb{K}$, we show that the list decoding radius of the generalized Reed Muller code over $\mathbb{K}$ equals the minimum distance of the code. Previously, this had been proved over prime fields [BL14] and for the case when $|\mathbb{K}|-1$ divides the order of the code [GKZ08]. * For any fixed finite field $\mathbb{K}$, we give a polynomial time algorithm to decide whether a given polynomial $P: \mathbb{K}^n o \mathbb{K}$ can be decomposed as a particular composition of lesser degree polynomials. This had been previously established over prime fields [Bha14, BHT15]. * For any fixed finite field $\mathbb{K}$, we prove that all locally characterized affine-invariant properties of functions $f: \mathbb{K}^n o \mathbb{K}$ are testable with one-sided error. The same result was known when $\mathbb{K}$ is prime [BFHHL13] and when the property is linear [KS08]. Moreover, we show that for any fixed finite field $\mathbb{F}$, an affine-invariant property of functions $f: \mathbb{K}^n o \mathbb{F}$, where $\mathbb{K}$ is a growing field extension over $\mathbb{F}$, is testable if it is locally characterized by constraints of bounded weight.

연구 동기 및 목표

• 소수체뿐 아니라 일반적인 유한체로도 고차 푸리에 분석 도구를 확장하는 것.
• 임의의 유한체에서 일반화된 리드-멀러 코드의 리스트 디코딩 반경에 대한 추측 1.1을 해결하는 것.
• 임의의 유한체에서 다항식을 더 낮은 차수의 다항식의 합성으로 분해할 수 있는지를 다항시간 알고리즘으로 결정하는 것.
• 임의의 고정된 유한체 K에 대해 함수 f: K^n → K의 국소적으로 특징지어진 애파인 불변 성질이 항상 한쪽 오류를 가진 검증 가능함을 증명하는 것.
• 고정된 기초체 F에 대한 점차 증가하는 체 확장 K에서, 유한 무게의 국소 제약 조건을 만족할 때 애파인 불변 성질의 검증 가능성을 확장하는 것.

제안 방법

• 소수체뿐 아니라 일반적인 유한체에 대해서도 고차 푸리에 분석 도구—특히 고우어스 유일도 노름과 정규화 보조정리—를 적용한다.
• 초평면 제약과 제약 하에서 랭크 유지 전략을 기반으로 하는 재귀적 분해 전략을 사용하며, 초평면으로 제약할 경우 랭크가 최대 q 만큼만 감소함을 증명한다.
• 알고리즘적 리스트 디코딩을 조합론적 리스트 디코딩으로의 블랙박스 감소를 적용하여, 다항식 표현에 대한 새로운 구조적 결과를 활용한다.
• Bhowmick, Lovett, 및 Tulsiani의 알고리즘을 활용하여 비소수체에서 함수를 구조적 요소로 정규화하는 문법적 정규화 보조정리를 적용한다.
• 저차수 요소에 등장하지 않는 변수를 고정하여 변수 수를 줄이는 재귀적 알고리즘을 도입하고, 추적 사상과 체의 포함을 통해 해를 복원한다.
• 다변수 다항식에 대한 스웨츠-지펠 유사 보조정리를 사용하여, 함수가 큰 집합에서 구조적 형태와 일치하면 특정 변수에 대해 독립적이어야 하므로, 구조적 복원이 가능하다는 것을 보인다.

실험 결과

연구 질문

• RQ1 임의의 유한체 K에서 일반화된 리드-멀러 코드 RM_K(n,d)의 리스트 디코딩 반경이 이전에 소수체에서만 증명된 바와 같이 최소 거리 δ_K(d)와 일치하는가?
• RQ2 소수체뿐 아니라 임의의 유한체에서 다항식을 더 낮은 차수의 다항식의 합성으로 분해할 수 있는지를 다항시간에 결정할 수 있는가?
• RQ3 K가 소수체가 아닐 경우에도 함수 f: K^n → K의 국소적으로 특징지어진 애파인 불변 성질이 항상 한쪽 오류를 가진 검증 가능한가?
• RQ4 기본 체 F에 대한 점차 증가하는 체 확장 K에서, 유한 무게의 국소 제약 조건을 만족할 경우 애파인 불변 성질의 검증 가능성이 확장될 수 있는가?
• RQ5 비소수체에서 다항식의 랭크는 초평면으로 제약할 경우 어떻게 변화하는가? 이는 고차 푸리에 분해에서 정규화를 유지하는 데 사용될 수 있는가?

주요 결과

• 임의의 유한체 K에서 일반화된 리드-멀러 코드 RM_K(n,d)의 리스트 디코딩 반경은 그 최소 거리 δ_K(d)와 일치하며, 이는 추측 1.1을 해결한다.
• 임의의 고정된 유한체 K에 대해, 주어진 다항식 P: K^n → K가 (k,Δ,Γ)-분해를 더 낮은 차수의 다항식으로 가질 수 있는지를 다항시간 알고리즘으로 결정할 수 있다.
• 임의의 고정된 유한체 K에 대해 함수 f: K^n → K의 국소적으로 특징지어진 애파인 불변 성질은 항상 한쪽 오류를 가진 검증 가능하다.
• 임의의 고정된 유한체 F에 대해, K가 F에 대한 점차 증가하는 체 확장일 경우, 함수 f: K^n → F의 애파인 불변 성질이 유한 무게의 국소 제약 조건으로 특징지어지면 검증 가능하다.
• 비소수체에서 다항식의 랭크는 초평면으로 제약할 경우 최대 q 만큼만 감소하므로, 고차 푸리에 분해에서 재귀적 분석이 가능하다.