[논문 리뷰] On some counting problems for semi-linear sets

Flavio D’Alessandro, Benedetto Intrigila외 1명|ArXiv.org|2009. 07. 17.

Mathematical Dynamics and Fractals참고 문헌 13인용 수 4

한 줄 요약

이 논문은 N^t 또는 Z^t 위의 모든 반선형 집합의 성장 함수가 상자 스퍼인(박테리아 스퍼인)임을 증명한다. 상자 스퍼인은 유리 초평면으로 정의된 다면체 원추 영역 위에서 정의된 조각별 준다항식 함수이다. 조합 기법과 반선형 집합의 구조적 결과를 활용하여, 다멘과 미크렐리의 디오판틴 선형 방정식 시스템의 수함수에 관한 정리를 새로운 구성적 방법으로 재증명한다. 이 정리에 따르면, 수함수 역시 상자 스퍼인임을 보이며, 기저 대수적 구조를 통해 함수의 효과적 계산이 가능하다.

ABSTRACT

Let $X$ be a subset of $\N^t$ or $\Z^t$. We can associate with $X$ a function ${\cal G}_X:\N^t\longrightarrow\N$ which returns, for every $(n_1, ..., n_t)\in \N^t$, the number ${\cal G}_X(n_1, ..., n_t)$ of all vectors $x\in X$ such that, for every $i=1,..., t, |x_{i}| \leq n_{i}$. This function is called the {\em growth function} of $X$. The main result of this paper is that the growth function of a semi-linear set of $\N^t$ or $\Z^t$ is a box spline. By using this result and some theorems on semi-linear sets, we give a new proof of combinatorial flavour of a well-known theorem by Dahmen and Micchelli on the counting function of a system of Diophantine linear equations.

연구 동기 및 목표

• 반선형 집합 X ⊆ N^t 또는 Z^t의 성장 함수를 정의하고 분석하며, 원점 중심의 확장되는 초평행육면체 내 원소 수를 세는 것.
• 이 성장 함수가 항상 상자 스퍼인임을 입증한다. 즉, 유리 초평면으로 정의된 다면체 원추 영역으로 분할된 영역 위에서 정의된 조각별 준다항식 함수임을 보여준다.
• 디오판틴 선형 방정식 시스템의 수함수에 관한 다멘과 미크렐리 정리를 새로운 조합적 방법으로 재증명하며, 이 수함수가 상자 스퍼인임을 보여준다.
• 반선형 집합의 구조에서 직접적인 구성 방법을 통해 성장 함수의 효과적 계산 가능성을 입증한다.
• 형식 언어 이론, 정수 프로그래밍, 조합론의 결과를 통합하고 확장하며, 반선형 집합과 상자 스퍼인 표현 간의 연결 고리를 설정한다.

제안 방법

• 반선형 집합 X ⊆ N^t 또는 Z^t에 대해 성장 함수 f_X(n_1, ..., n_t)를 정의한다. 이는 모든 i에 대해 |x_i| ≤ n_i 를 만족하는 X의 원소 수이다.
• 반선형 집합이 선형 집합의 유한한 합집합임을 이용하여 세는 문제를 분해한다. 선형 집합은 선형 디오판틴 방정식의 정수 해로 매개변수화된다.
• 참고문헌 [4]의 기법을 적용하여, 단일 선형 디오판틴 방정식계의 수함수가 상자 스퍼인임을 보이며, 이를 고차원 공간의 반선형 집합 위에서 정의된 일반화된 성장 함수로 표현한다.
• 선형 형식의 부호 및 크기 제약 조건에 의해 결정되는 매개변수 공간의 각 영역에서 성장 함수가 준다항식임을 증명하고, 따라서 전역적으로 상자 스퍼인임을 도출한다.
• 원점을 통과하는 유리 초평면으로 정의된 부호 영역의 구조를 활용하여 도메인을 분할하고, 각 영역에 고유한 준다항식을 할당한다.
• 반선형 집합 이론과 유리 원추 분해 이론을 활용하여, 결과 함수가 전역적으로 상자 스퍼인임을 입증하며, 원래 집합의 생성자로부터 효과적인 구성이 가능하다.

실험 결과

연구 질문

• RQ1 N^t 또는 Z^t 위의 반선형 집합의 성장 함수는 항상 상자 스퍼인으로 표현될 수 있는가?
• RQ2 조합적 기법과 반선형 집합 이론을 활용하여, 디오판틴 선형 방정식 시스템의 수함수를 상자 스퍼인으로 특성화할 수 있는가?
• RQ3 반선형 집합의 성장 함수는 그 매개변수 표현으로부터 어떻게 효과적으로 계산할 수 있는가?
• RQ4 선형 형식의 부호 및 크기의 구조와 수함수의 조각별 다항식 행동 사이의 관계는 무엇인가?
• RQ5 다멘과 미크렐리의 디오판틴 시스템에 관한 정리는 반선형 집합과 상자 스퍼인의 프레임워크를 통해 재증명할 수 있는가?

주요 결과

• 모든 N^t 또는 Z^t 위의 반선형 집합의 성장 함수는 상자 스퍼인이다. 즉, 다면체 원추 영역으로 유한하게 분할된 N^t 위에서 정의된 조각별 준다항식 함수이다.
• 디오판틴 선형 방정식 시스템의 수함수는 상자 스퍼인이다. 이는 고차원 공간의 반선형 집합 위에서 일반화된 성장 함수를 구성함으로써 입증된다.
• 절댓값 선형 방정식계의 해 수를 세는 함수 CA(b)는 Z^t 위의 상자 스퍼인이며, 계수 행렬의 부호 및 크기 영역에 의해 결정된다.
• 부호 및 크기 제약 조건으로 정의된 매개변수 공간의 임의의 영역 R에 대해, 성장 함수는 입력 변수의 나머지가 고정된 주기 d에 따라 달라지는 준다항식이다.
• Z^{t+n}에 있는 반선형 집합과 관련된 일반화된 성장 함수 G는 투영을 통해 Z^t 위의 상자 스퍼인으로 표현되며, 원래 디오판틴 시스템의 해 수와 일치한다.
• 증명 과정은 효과적 계산 가능성을 입증한다. 주어진 반선형 집합으로부터 성장 함수의 상자 스퍼인 표현을 알고리즘적으로 구성할 수 있다.