[논문 리뷰] On Holder-Brascamp-Lieb inequalities for torsion-free discrete Abelian groups

Michael Christ, James Demmel외 3명|arXiv (Cornell University)|2015. 10. 14.

Limits and Structures in Graph Theory참고 문헌 7인용 수 8

한 줄 요약

이 논문은 비틀림이 없는 이산 아벨 군에 대한 허더-브라스앰프-라이블 부등식에서 최적 상수가 부등식이 성립할 경우 정확히 1임을 증명한다. 이는 적합한 지수 다면체를 계산하는 알고리즘을 제공하며, 이 다면체를 정의하는 모든 부등식의 목록을 계산하는 것은 유리수 위에서 힐베르트의 제10문제를 해결하는 것과 동치임을 증명한다 — 여전히 열려 있는 문제이다.

ABSTRACT

Hölder-Brascamp-Lieb inequalities provide upper bounds for a class of multilinear expressions, in terms of $L^p$ norms of the functions involved. They have been extensively studied for functions defined on Euclidean spaces. Bennett-Carbery-Christ-Tao have initiated the study of these inequalities for discrete Abelian groups and, in terms of suitable data, have characterized the set of all tuples of exponents for which such an inequality holds for specified data, as the convex polyhedron defined by a particular finite set of affine inequalities. In this paper we advance the theory of such inequalities for torsion-free discrete Abelian groups in three respects. The optimal constant in any such inequality is shown to equal $1$ whenever it is finite. An algorithm that computes the admissible polyhedron of exponents is developed. It is shown that nonetheless, existence of an algorithm that computes the full list of inequalities in the Bennett-Carbery-Christ-Tao description of the admissible polyhedron for all data, is equivalent to an affirmative solution of Hilbert's Tenth Problem over the rationals. That problem remains open. Applications to computer science will be explored in a forthcoming companion paper.

연구 동기 및 목표

• 비틀림이 없는 이산 아벨 군의 설정에서 허더-브라스앰프-라이블 부등식이 성립하는 지수의 집합을 특성화하는 것.
• 그러한 부등식에서 최적 상수를 결정하여, 그것이 유한할 경우 항상 1임을 보이는 것.
• 주어진 군 데이터에 대해 허용 가능한 지수 다면체를 계산하는 알고리즘을 개발하는 것.
• 다면체를 정의하는 모든 부등식의 목록을 계산하는 데 필요한 논리적 복잡도를 조사하고, 이를 유리수 위에서 힐베르트의 제10문제와 연결하는 것.

제안 방법

• 유한 생성되고 비틀림이 없는 아벨 군 사이의 군 준동형사상 $\phi_j: G \to G_j$ 를 사용하여 다중선형 표현을 정의한다.
• 부분군 $H \leq G$ 에서의 질량 불등식을 통해 $\mathcal{P}(\mathfrak{G})$ 라는 허용 가능한 지수 집합을 정의한다.
• 부분군의 질량 조건에서 유도된 유한한 수의 애핀 불등식을 사용하여 볼록 다면체 $\mathcal{P}(\mathfrak{G})$ 를 묘사한다.
• 대수기하학과 모델 이론을 활용하여 $\mathbb{Q}$ 위에서 다항방정식계의 해 구조를 분석한다.
• 벤넷-카라비-크리스트-타오 묘사에서 모든 부등식을 계산하는 문제를 다항방정식계의 해 존재성 문제로 환원한다.
• 유리수 벡터 공간에서의 행 기반 변환과 기저 구성 기법을 사용하여 군 준동형사상 자료로 정의된 대수다양체에 속하는지 확인한다.

실험 결과

연구 질문

• RQ1 비틀림이 없는 이산 아벨 군에 대한 허더-브라스앰프-라이블 부등식에서 최적 상수는 무엇인가?
• RQ2 비틀림이 없는 이산 아벨 군에 대해 허용 가능한 지수 다면체를 정의하는 모든 부등식의 목록을 계산하는 알고리즘이 존재하는가?
• RQ3 허용 가능한 지수 다면체를 정의하는 모든 부등식의 목록을 계산하는 문제는 수론의 열린 문제와 동치인가?
• RQ4 부분군의 질량 조건은 허용 가능한 지수 집합의 구조를 어떻게 결정하는가?
• RQ5 주어진 지수 튜플이 허용 가능한 다면체에 속해 있는지 판단하는 데 필요한 논리적 복잡도는 무엇인가?

주요 결과

• 비틀림이 없는 이산 아벨 군에 대한 허더-브라스앰프-라이블 부등식에서 최적 상수 $C$ 는 부등식이 성립할 경우 정확히 1이다.
• 허용 가능한 지수 집합 $\mathcal{P}(\mathfrak{G})$ 는 부분군 질량 조건에서 유도된 유한한 수의 애핀 불등식으로 정의되는 볼록 다면체이다.
• 주어진 아벨 군 HBL 데이터에 대해 다면체 $\mathcal{P}(\mathfrak{G})$ 를 계산하는 알고리즘이 존재한다.
• 벤넷-카라비-크리스트-타오 묘사에서 $\mathcal{P}(\mathfrak{G})$ 를 정의하는 모든 부등식의 목록을 계산하는 알고리즘의 존재성은 유리수 위에서 힐베르트의 제10문제에 대한 양의 해답과 동치이다.
• 이 동치성은 $\mathbb{Q}$ 위에서 다항방정식계의 해 존재성 문제로 환원되며, 그 해는 대수다양체 위의 유리점에 대응한다.
• 논문은 부등식이 상수 1로 성립함과 동시에 관련된 유한한 부등식 집합 (1.5)가 상수 1로 성립함이 서로 동치임을 확인한다. 이는 해석적 및 조합적 묘사 간의 연결을 제공한다.