2025-11-10T03:13:56.100421

The Turán and Delsarte problems and their duals

Kolountzakis, Lev, Matolcsi
We study two optimization problems for positive definite functions on Euclidean space with restrictions on their support and sign: the Turan problem and the Delsarte problem. These problems have been studied also for their connections to geometric problems of tiling and packing. In the finite group setting the weak and strong linear duality for these problems are automatic. We prove these properties in the continuous setting. We also show the existence of extremizers for these problems and their duals, and establish tiling-type relations between the extremal functions for each problem and the extremal measures or distributions for the dual problem. We then apply the results to convex bodies, and prove that the Delsarte packing bound is strictly better than the trivial volume packing bound for every convex body that does not tile the space.
academic

Turán 및 Delsarte 문제와 그들의 쌍대 문제

기본 정보

  • 논문 ID: 2510.10172
  • 제목: The Turán and Delsarte problems and their duals
  • 저자: Mihail N. Kolountzakis, Nir Lev, Máté Matolcsi
  • 분류: math.CA (고전 해석학), math.MG (거리 기하학)
  • 발표 시간: 2025년 10월 11일
  • 논문 링크: https://arxiv.org/abs/2510.10172v1

초록

본 논문은 유클리드 공간 위의 정정치 함수에 대한 두 가지 최적화 문제인 Turán 문제와 Delsarte 문제를 연구한다. 이러한 함수들은 지지집합과 부호에 제약이 있다. 이 문제들은 기하학의 타일링(tiling)과 패킹(packing) 문제와의 연관성으로 인해 광범위하게 연구되어 왔다. 유한 군 설정에서는 이 문제들의 약한 선형 쌍대성과 강한 선형 쌍대성이 자동으로 성립한다. 저자들은 연속 설정에서 이러한 성질을 증명하고, 이 문제들 및 그들의 쌍대 문제의 극값 함수의 존재성을 보여주며, 각 문제의 극값 함수와 쌍대 문제의 극값 측도 또는 분포 사이의 타일링형 관계를 확립한다. 이후 결과를 볼록체에 적용하여, 공간을 타일링할 수 없는 볼록체에 대해 Delsarte 패킹 경계가 자명한 부피 패킹 경계보다 엄격히 우수함을 증명한다.

연구 배경 및 동기

문제의 중요성

  1. Turán 극값 문제: 지지집합이 제한된 정정치 함수의 적분 최댓값 문제를 연구하며, 이는 조화 해석의 고전적 문제이다
  2. Delsarte 문제: 구 패킹 밀도 추정, 키싱 수 문제 등 기하학적 문제에서 중요한 응용을 가진다
  3. 쌍대 이론: 유한 군 설정에서는 쌍대성이 자동으로 성립하지만, 연속 설정에서는 심층적 이론 분석이 필요하다

기존 방법의 한계

  • 무한 차원 선형 계획법에서 쌍대성이 성립하지 않을 수 있다
  • 연속 설정에서 극값 함수의 존재성이 명확하지 않다
  • Turán 및 Delsarte 문제를 다루기 위한 통일된 이론 체계가 부족하다

연구 동기

연속 설정에서 Turán 및 Delsarte 문제의 완전한 이론 체계를 확립하고, 약한 강한 쌍대성, 극값 함수 존재성을 포함하며, 기하학적 타일링 문제와의 심층적 연관성을 탐구한다.

핵심 기여

  1. 연속 설정에서의 강한 선형 쌍대성 증명: 적절한 기하학적 조건 하에서 Turán 및 Delsarte 문제가 모두 T(U)T′(U)=1T(U)T'(U) = 1과 D(U)D′(U)=1D(U)D'(U) = 1을 만족함을 증명
  2. 극값 함수의 존재성 확립: 원래 문제와 쌍대 문제 모두 극값 함수가 존재함을 증명
  3. 극값 함수 간의 타일링형 관계 규명: f⋅α=δ0f \cdot \alpha = \delta_0과 f^⋅α^=δ0\hat{f} \cdot \hat{\alpha} = \delta_0과 같은 관계식 도출
  4. 볼록체 이론에 응용: 공간을 타일링할 수 없는 볼록체의 Delsarte 경계가 부피 경계보다 엄격히 우수함을 증명
  5. 스펙트럼성, 타일링성과 최적화 문제의 연결: 이러한 개념들 간의 심층적 연관성 확립

방법론 상세 설명

문제 정의

Turán 문제: 개집합 U⊂RdU \subset \mathbb{R}^d가 주어졌을 때, Turán 상수를 다음과 같이 정의 T(U)=sup⁡{∫f:f(0)=1,f=0 on Uc,f^≥0}T(U) = \sup\left\{\int f : f(0) = 1, f = 0 \text{ on } U^c, \hat{f} \geq 0\right\}

Delsarte 문제: Delsarte 상수를 다음과 같이 정의 D(U)=sup⁡{∫f:f(0)=1,f≤0 on Uc,f^≥0}D(U) = \sup\left\{\int f : f(0) = 1, f \leq 0 \text{ on } U^c, \hat{f} \geq 0\right\}

쌍대 문제의 구성

쌍대 Turán 문제: T′(U)=sup⁡{α^({0}):α=δ0+β,supp(β)⊂Uc,α^≥0}T'(U) = \sup\{\hat{\alpha}(\{0\}) : \alpha = \delta_0 + \beta, \text{supp}(\beta) \subset U^c, \hat{\alpha} \geq 0\}

쌍대 Delsarte 문제: D′(U)=sup⁡{α^({0}):α=δ0+β,β≥0,supp(β)⊂Uc,α^≥0}D'(U) = \sup\{\hat{\alpha}(\{0\}) : \alpha = \delta_0 + \beta, \beta \geq 0, \text{supp}(\beta) \subset U^c, \hat{\alpha} \geq 0\}

기술적 혁신점

  1. 경계 조건의 처리: "연속 경계" 개념을 도입하여 국소적으로 연속 함수의 그래프로 표현 가능하도록 요구
  2. 근사 기법: Schwartz 함수 근사를 사용하여 연속 함수와 완화 분포의 곱을 처리
  3. Hahn-Banach 분리 정리의 응용: 무한 차원 설정에서 쌍대성 확립
  4. 평행이동 유계 측도 이론: 푸리에 변환이 측도인 완화 분포 처리

주요 이론 결과

약한 선형 쌍대성

정리 4.3, 5.3: 적절한 조건을 만족하는 개집합 UU에 대해 T(U)T′(U)≤1,D(U)D′(U)≤1T(U)T'(U) \leq 1, \quad D(U)D'(U) \leq 1

강한 선형 쌍대성

정리 4.7, 5.4: 더 강한 기하학적 조건 하에서 등호가 성립: T(U)T′(U)=1,D(U)D′(U)=1T(U)T'(U) = 1, \quad D(U)D'(U) = 1

극값 함수의 존재성

정리 4.9, 5.6: 원래 문제와 쌍대 문제 모두 극값 함수가 존재한다.

극값 함수 간의 관계

정리 4.10, 5.8: ff와 α\alpha가 각각 원래 문제와 쌍대 문제의 극값 함수이면:

  • f^⋅α^=δ0\hat{f} \cdot \hat{\alpha} = \delta_0
  • f⋅α=δ0f \cdot \alpha = \delta_0 (Delsarte 경우)

기하학적 응용

패킹 밀도 추정

정리 6.1: 임의의 집합 AA의 평행이동 패킹 밀도는 D(Δ(A))−1D(\Delta(A))^{-1}을 초과하지 않는다. 여기서 Δ(A)\Delta(A)는 본질적 차집합이다.

타일링과 스펙트럼성의 특성화

정리 6.2, 6.3:

  • AA가 공간을 타일링할 수 있으면 D(Δ(A))=m(A)D(\Delta(A)) = m(A)
  • AA가 스펙트럼 집합이면 D(Δ(A))=m(A)D(\Delta(A)) = m(A)

볼록체의 완전한 특성화

정리 6.4: 볼록체 AA에 대해 등식 D(Δ(A))=m(A)D(\Delta(A)) = m(A)가 성립할 필요충분조건은 AA가 공간을 타일링할 수 있다는 것이다.

따름정리 6.5: 공간을 타일링할 수 없는 볼록체의 Delsarte 경계는 부피 경계보다 엄격히 우수하다.

기술적 세부사항

핵심 보조정리

  1. 보조정리 4.4: 연속 경계 조건 하에서의 Schwartz 함수 근사
  2. 보조정리 4.5: 평행이동 유계성의 확립
  3. 보조정리 4.6: 합성곱 관계 f^∗α^=1\hat{f} * \hat{\alpha} = 1 a.e.

증명 전략

  1. 분리 정리를 사용하여 쌍대성의 필요조건 확립
  2. 근사와 컴팩성 논증을 통해 존재성 확립
  3. 극값 조건의 분석을 이용하여 함수 간의 정확한 관계 확립

관련 연구

역사적 발전

  • Turán 문제는 삼각급수 이론에서 기원
  • Delsarte 문제는 부호 이론과 구 패킹에서의 응용
  • 유한 군 경우의 완전한 이론 (Matolcsi-Ruzsa 2014)

본 논문과의 관계

본 논문은 유한 군의 이론을 연속 설정으로 성공적으로 확장하여 오랫동안 존재해온 기술적 난제를 해결한다.

결론 및 논의

주요 결론

  1. 연속 설정에서 Turán 및 Delsarte 문제의 완전한 쌍대 이론 확립
  2. 극값 함수의 존재성과 그들 간의 타일링형 관계 증명
  3. 볼록체 이론에서 심층적 기하학적 응용 획득

한계

  1. 비교적 강한 기하학적 조건 필요 (연속 경계 등)
  2. 일반적 개집합에 대해 일부 결과가 성립하지 않을 수 있음
  3. 구체적인 상수값 계산은 여전히 어려움

향후 방향

  1. 비-Turán 영역의 예시 탐색
  2. 더 일반적인 국소 컴팩 아벨 군으로의 확장
  3. 다른 기하학적 최적화 문제와의 연관성 탐구

심층 평가

장점

  1. 이론의 완전성: 연속 설정에서의 완전한 쌍대 이론 체계 확립
  2. 기술적 혁신: 무한 차원 선형 계획법의 기술적 난제를 교묘하게 해결
  3. 기하학적 통찰: 최적화 문제와 기하학적 성질 간의 심층적 연관성 규명
  4. 응용 가치: 패킹 이론에서 새로운 도구 제공

부족한 점

  1. 기하학적 조건: 개집합에 대한 기하학적 조건 요구가 강하여 적용 범위 제한
  2. 계산 복잡성: 이론 체계는 확립되었으나 구체적 계산은 여전히 어려움
  3. 미해결 문제: 비-Turán 영역의 존재성 등 일부 중요 문제 미해결

영향력

이는 조화 해석, 볼록 기하학, 최적화 이론의 교차 분야에서의 중요한 진전으로, 관련 연구에 강력한 이론적 도구를 제공한다.

적용 분야

  1. 구 패킹 밀도의 이론적 분석
  2. 볼록체의 기하학적 성질 연구
  3. 조화 해석의 극값 문제
  4. 부호 이론과 이산 기하학

참고문헌

논문은 해당 분야의 중요 문헌을 인용하고 있으며, 다음을 포함한다:

  • Delsarte의 원저 Del72, DGS77
  • Cohn-Elkies의 구 패킹 응용 CE03
  • Viazovska의 8차원 및 24차원 획기적 결과 Via17, CKMRV17
  • 저자들의 Fuglede 추측 관련 선행 연구 LM22