[논문 리뷰] A computational algebraic geometry approach to classify partial Latin rectangles

Raúl Manuel Falcón Ganfornina|arXiv (Cornell University)|2017. 03. 31.

graph theory and CDMA systems참고 문헌 42인용 수 5

한 줄 요약

이 논문은 $r\times s$ 부분 라틴 직사각형과 그에 관련된 세미넷을 순서 6까지 세고 분류하기 위해 아이디얼의 힐버트 함수와 근의 삼각 시스템을 사용하는 계산 기반 대수기하학적 접근을 제시한다. 크기 6까지의 부분 라틴 직사각형 수에 대한 명시적 공식을 제공하고, 점 순서가 8인 두 가지 새로운 세미넷 구성이 존재함을 증명하여 순서 8까지의 분류를 완성한다.

ABSTRACT

This paper provides an in-depth analysis of how computational algebraic geometry can be used to deal with the problem of counting and classifying $r imes s$ partial Latin rectangles based on $n$ symbols of a given size, shape, type or structure. The computation of Hilbert functions and triangular systems of radical ideals enables us to solve this problem for all $r,s,n\leq 6$. As a by-product, explicit formulas are determined for the number of partial Latin rectangles of size up to six. We focus then on the study of non-compressible regular partial Latin squares and their equivalent incidence structure called seminet, whose distribution into main classes is explicitly determined for point rank up to eight. We prove in particular the existence of two new configurations of point rank eight.

연구 동기 및 목표

• 크기와 동형류를 초월해 형태, 유형, 구조까지 포함한 부분 라틴 직사각형을 세고 분류하기 위한 계산 기반 대수기하학 프레임워크를 개발하는 것.
• 비지압 가능한 정규 부분 라틴 제곱의 분류를 그에 해당하는 세미넷 표현을 통해 순서 8까지 확장하는 것.
• 크기 6까지의 부분 라틴 직사각형 수에 대한 명시적 공식을 도출하는 것.
• 기존로 Lyakh가 수립한 분류를 완성하기 위해 점 순서가 8인 세미넷에 대해 두 가지 새로운 구성이 존재함을 규명하는 것.

제안 방법

• 부분 라틴 직사각형을 다항식 환에서 0차원 근의 아이디얼로 모델링하여, 항목을 변수로 표현하고 라틴 조건에 의해 제약을 둔다.
• 해결 집합의 크기를 계산하기 위해 힐버트 함수를 사용하여 주어진 크기와 구조에 해당하는 부분 라틴 직사각형의 해를 계산한다.
• 근의 아이디얼의 삼각 분해를 적용하여 해 공간을 상호배타적인 구성요소로 분할함으로써 형태, 유형, 동형류에 따라 분류할 수 있도록 한다.
• 비지압 가능한 정규 부분 라틴 제곱을 삼각형 클래스의 선이 세 개 존재하는 삼각형 구조로 변환함으로써 세미넷으로 표현한다.
• 동형류와 준동형류의 등가 관계를 활용하여 해를 주 클래스로 묶어 중복을 줄인다.
• 모든 $r,s,n \leq 6$에 대해 계산적으로 방법을 구현하고, 점 순서가 8까지의 세미넷으로 확장한다.

실험 결과

연구 질문

• RQ1 계산 기반 대수기하학을 어떻게 체계적으로 적용하여 크기, 형태, 구조를 초월해 부분 라틴 직사각형을 분류할 수 있는가?
• RQ2 $r,s,n \leq 6$인 $r\times s$ 부분 라틴 직사각형이 주 클래스로 어떻게 분포되어 있는가?
• RQ3 기존 분류를 완성하기 위해 점 순서가 8인 새로운 세미넷 구성이 존재하는가?
• RQ4 크기 6까지의 부분 라틴 직사각형 수에 대한 명시적 공식을 유도할 수 있는가?
• RQ5 비지압 가능한 정규 부분 라틴 제곱과 점 순서가 8까지의 세미넷 사이의 관계는 무엇인가?

주요 결과

• 논문은 $r,s,n \leq 6$인 모든 경우에 대해 크기 6까지의 부분 라틴 직사각형 수에 대한 명시적 공식을 제공한다.
• 모든 $r,s,n \leq 6$에 대해 $\mathcal{R}_{r,s,n}$의 동형류 및 주 클래스로의 전체 분포를 규명하였으며, 일부 구성에 대해 최대 129만 개까지의 수를 기록하였다.
• 점 순서가 8인 두 가지 새로운 세미넷 구성이 존재함을 증명하였으며, 이는 이전에 Lyakh가 수립한 분류를 완성한다.
• 비지압 가능한 정규 부분 라틴 제곱의 순서 8에 대한 수를 세미넷 등가를 통해 완전히 세었으며, 가장 큰 클래스에서 1,296,000개의 제곱이 발견되었다.
• 삼각형 시스템의 근 아이디얼을 사용하여 형태와 기호 분포에 따라 부분 라틴 직사각형을 성공적으로 분류하였으며, 세밀한 구조 분석이 가능해졌다.
• 최대 6개의 점을 가진 세미넷의 목록을 확립하였고, 각 구성에 대해 주 클래스의 수를 명시적으로 계산하였다.