[논문 리뷰] A special class of scattered subspaces

Bence Csajbók, Giuseppe Marino외 2명|arXiv (Cornell University)|2019. 06. 25.

Coding theory and cryptography참고 문헌 17인용 수 9

한 줄 요약

이 논문은 $r$차원의 $\rF_{q^n}$-벡터 공간에서 $h$-산산각진 부분공간을 도입하고 연구하며, $h > 1$일 때 그들의 $\rF_q$-차원에 대해 상한 $rn/(h+1)$을 증명하고, 이 상한에 도달하는 예시를 구성한다. 이는 쌍대성, 초평면과의 교차 분석, 관련된 선형 집합의 동치성 문제를 다룬다.

ABSTRACT

Let $V$ be an $r$-dimensional $\mathbb{F}_{q^n}$-vector space. We call an $\mathbb{F}_q$-subspace $U$ of $V$ $h$-scattered if $U$ meets the $h$-dimensional $\mathbb{F}_{q^n}$-subspaces of $V$ in $\mathbb{F}_q$-subspaces of dimension at most $h$. For $h=1$ and $\dim_q U=rn/2$ these subspaces were first studied by Blokhuis and Lavrauw in 2000 and are called maximum scattered. They have been investigated intensively because of their relations with two-weight codes and strongly regular graphs. In the recent years maximum scattered and $n$-dimensional $(r-1)$-scattered $\mathbb{F}_q$-subspaces have been linked also to MRD-codes with a maximum idealiser. In this paper we prove the upper bound $rn/(h+1)$ for the dimension of $h$-scattered subspaces, $h>1$, and construct examples with this dimension. We study their intersection numbers with hyperplanes, introduce a duality relation among them, and study the equivalence problem of the corresponding linear sets.

연구 동기 및 목표

• $h=1$일 때 이전에 연구된 최대 산산각진 부분공간의 개념을 $h > 1$인 $h$-산산각진 부분공간으로 일반화하기.
• $r$차원의 $\rF_{q^n}$-벡터 공간 내에서 $h$-산산각진 부분공간의 최대 가능한 $\rF_q$-차원을 결정하기.
• 이론적 상한에 도달하는 $h$-산산각진 부분공간을 구성하기.
• 이들 부분공간이 초평면과 어떻게 교차하는지 분석하기.
• $h$-산산각진 부분공간 간의 쌍대성 관계를 수립하고, 관련된 선형 집합의 동치 문제를 조사하기.

제안 방법

• $h$-차원의 $\rF_{q^n}$-부분공간과의 교차가 $\rF_q$-부분공간으로서의 차원이 최대 $h$ 이하가 되는 $\rF_q$-부분공간으로서 $h$-산산각진 부분공간을 정의하기.
• 유한체 위에서의 조합론적 및 기하학적 추론을 사용하여 이러한 부분공간의 $\rF_q$-차원에 대한 상한 $rn/(h+1)$을 증명하기.
• 대수적 및 선형대수적 기법을 활용하여 상한 $rn/(h+1)$에 도달하는 $h$-산산각진 부분공간의 명시적 예시를 구성하기.
• 기하학적 분포를 이해하기 위해 이러한 부분공간과 초평면의 교차 수를 분석하기.
• $h$-산산각진 부분공간 간의 구조적 성질을 유지하는 쌍대성 관계를 도입하기.
• $일반선형군의 작용 하에서 $h$-산산각진 부분공간과 관련된 선형 집합의 동치성 문제를 연구하기.

실험 결과

연구 질문

• RQ1 $h > 1$일 때, $r$차원의 $\rF_{q^n}$-벡터 공간 내에서 $h$-산산각진 부분공간의 최대 가능한 $\rF_q$-차원은 무엇인가?
• RQ2 이론적 차원 상한에 도달하는 $h$-산산각진 부분공간을 명시적으로 구성할 수 있는가?
• RQ3 $h$-산산각진 부분공간은 초평면과 어떻게 교차하며, 가능한 교차 크기는 무엇인가?
• RQ4 $h$-산산각진 부분공간 간에 그 구조적 및 기하학적 성질을 유지하는 쌍대성 관계가 존재하는가?
• RQ5 $h$-산산각진 부분공간과 관련된 선형 집합이 일반선형군의 작용 하에서 동치가 되는 조건은 무엇인가?

주요 결과

• 논문은 $h > 1$일 때 $h$-산산각진 부분공간의 $\rF_q$-차원에 대한 상한 $rn/(h+1)$을 확립하며, 이는 $h=1$일 때 알려진 상한을 일반화한 것이다.
• 상한 $rn/(h+1)$에 도달하는 $h$-산산각진 부분공간의 명시적 구성이 제공되어 상한의 날카로움이 확인된다.
• $h$-산산각진 부분공간과 초평면의 교차 수가 분석되어 그 분포에 대한 구조적 제약 조건이 드러난다.
• $h$-산산각진 부분공간 간에 쌍대성 관계가 도입되어 핵심 불변량을 유지하고 이중 가족의 구성이 가능해진다.
• $h$-산산각진 부분공간과 관련된 선형 집합의 동치 문제를 조사하여, 동치성은 기저가 되는 군 작용과 부분공간의 구조에 따라 달라진다는 것이 밝혀졌다.