[논문 리뷰] Tiling sets and spectral sets over finite fields

Charlotte Aten, B. Ayachi외 15명|arXiv (Cornell University)|2015. 09. 03.

Mathematical Analysis and Transform Methods참고 문헌 8인용 수 5

한 줄 요약

이 논문은 유한체 위의 벡터 공간에서의 Fuglede 추측을 조사하며, 모든 홀수 소수 $p$에 대해 $ℤ_p^5$에서 스펙트럴 세트가 반드시 타일링을 이루지 않는다고 증명하고, $p \equiv 3 \pmod{4}$일 때 $ℤ_p^4$에서도 마찬가지로 증명한다. 로그-헤이미트 행렬과 삼중항 규칙과 같은 조합적 제약 조건을 사용하여 명시적인 반례를 구성함으로써, 이전에 알려진 결과를 소수나 특수한 소수에 국한되지 않고 확장한다.

ABSTRACT

We study tiling and spectral sets in vector spaces over prime fields. The classical Fuglede conjecture in locally compact abelian groups says that a set is spectral if and only if it tiles by translation. This conjecture was disproved by T. Tao in Euclidean spaces of dimensions 5 and higher, using constructions over prime fields (in vector spaces over finite fields of prime order) and lifting them to the Euclidean setting. Over prime fields, when the dimension of the vector space is less than or equal to $2$ it has recently been proven that the Fuglede conjecture holds (see \cite{IMP15}). In this paper we study this question in higher dimensions over prime fields and provide some results and counterexamples. In particular we prove the existence of spectral sets which do not tile in $\mathbb{Z}_p^5$ for all odd primes $p$ and $\mathbb{Z}_p^4$ for all odd primes $p$ such that $p \equiv 3 ext{ mod } 4$. Although counterexamples in low dimensional groups over cyclic rings $\mathbb{Z}_n$ were previously known they were usually for non prime $n$ or a small, sporadic set of primes $p$ rather than general constructions. This paper is a result of a Research Experience for Undergraduates program ran at the University of Rochester during the summer of 2015 by A. Iosevich, J. Pakianathan and G. Petridis.

연구 동기 및 목표

• 유한체에서의 Fuglede 추측의 타당성을 조사하며, 특히 이전에 증명되지 않은 고차원에서의 성립 여부를 탐구한다.
• 특히 소수 체 위에서 차원 4와 5에서 $ℤ_p^d$의 스펙트럴 세트가 공간을 반드시 타일링하는지 여부를 규명한다.
• 소수나 특수한 소수에 국한되지 않고, 일반적인 홀수 소수에 대해 타일링을 하지 않는 스펙트럴 세트의 일반적 구성 방법을 제공한다.
• 특히 Fuglede 추측의 맥락에서 아벨 군의 타일링 및 스펙트럴 성질에 대한 이해를 확장한다.
• 특히 $ℤ_3^3$에서의 경우에서, 디브리 모노이드와 삼중항 규칙과 같은 조합적 도구를 사용하여 저차원에서 추측을 검증한다.

제안 방법

• 스펙트럴 성질과 타일링 성질을 분석하기 위해 $ℤ_p$ 위에서 $2p \times 2p$ 로그-헤이미트 행렬을 구성한다.
• 로그-헤이미트 행렬 내에서 균형 잡힌 벡터 제약 조건을 확보하기 위해 삼중항 규칙을 적용하여 행렬 구성의 일관성을 확보한다.
• 구성된 로그-헤이미트 행렬의 질량을 계산하기 위해 가우스-조르당 소거법을 사용하여 랭크를 결정함으로써, 스펙트럴 세트를 지원하는지 여부를 판단한다.
• 소수 차원에서 가능한 행렬 구조를 체계적으로 열거하고 검증하기 위해 디브리 모노이드와 디페이즈드 행렬 형태를 활용한다.
• 로그-헤이미트 행렬과 그 랭크의 등가성을 활용하여, 스펙트럴이지만 타일링이 아닌 집합이 존재하는지 탐지한다.
• 그래프 이론적 및 투영 기반 방법을 사용하여 $ℤ_p$ 위의 벡터 공간에서 방향 원뿔과 스펙트럴 쌍을 분석한다.

실험 결과

연구 질문

• RQ1 홀수 소수 $p$와 $d = 4$ 또는 $d = 5$일 때, $ℤ_p^d$의 스펙트럴 세트가 반드시 공간을 타일링하는가?
• RQ2 소수나 특수한 소수에 국한되지 않고, 모든 홀수 소수 $p$에 대해 타일링을 하지 않는 스펙트럴 세트의 일반적 구성이 가능한가?
• RQ3 합성수 $n$에 대해 $ℤ_n^3$에서 실패하는 것으로 알려졌음에도 불구하고, 모든 홀수 소수 $p$에 대해 $ℤ_p^3$에서 Fuglede 추측이 참인가?
• RQ4 로그-헤이미트 행렬과 그 랭크는 유한체 위에서 스펙트럴 성질과 타일링 성질을 결정하는 데 어떤 역할을 하는가?
• RQ5 삼중항 규칙과 디브리 모노이드 구조와 같은 조합적 제약 조건을 사용하여, 저차원에서 Fuglede 추측을 체계적으로 검증하거나 반증할 수 있는가?

주요 결과

• 논문은 모든 홀수 소수 $p$에 대해 $ℤ_p^5$에서 타일링을 하지 않는 스펙트럴 세트의 존재를 증명하며, 일반적인 반례 구성 방법을 제시한다.
• 모든 홀수 소수 $p \equiv 3 \pmod{4}$에 대해 $ℤ_p^4$에서 타일링을 하지 않는 스펙트럴 세트가 존재하며, 이는 고차원으로의 반례 확장을 가능하게 한다.
• $ℤ_3$ 위에서 $6 \times 6$ 로그-헤이미트 행렬을 구성하고, 그 랭크가 4임을 증명함으로써, 랭크 3인 유사한 행렬이 존재하지 않음을 입증하였으며, 이는 $ℤ_3^3$에서 Fuglede 추측의 성립을 확인한다.
• 삼중항 규칙과 균형 잡힌 벡터 제약 조건을 사용하여 $ℤ_3$ 위의 $6 \times 6$ 로그-헤이미트 행렬의 구조를 유일하게 결정함으로써, 랭크 검증이 가능해졌다.
• 저자들은 $ℤ_p^3$에서 $p$가 소수일 경우 항상 스펙트럴 세트임을 입증하였으며, 합성수 $n$에 대해 $ℤ_n^3$에서 반례가 존재하더라도 이를 고려하지 않는다.
• 연구는 소수 $p$에 대해 $ℤ_p^3$에서 타일링 세트는 항상 스펙트럴임을 보여주며, 이는 유한체 설정에서 중요한 열린 문제를 해결한다.