제한된 초평면 교차수를 가진 부분공간 집합의 최대 크기와 존재성

본 논문은 “제한된 초평면 교차수를 가진 부분공간 집합”이라는 새로운 기하학적 구조를 정의하고, 그 최대 크기와 존재 조건을 체계적으로 연구한다. 연구 배경은 2차원 프로젝트IVE 평면에서의 maximal arc 개념을 고차원으로 확장한 것으로, (h‑1) 차원 부분공간들의 집합 X가 PG(kh‑1, q)에 존재할 때 모든 초평면이 X와 교차하는 원소 수가 일정 상한 t를 초과하지 않는 상황을 고려한다. 첫 장에서는 maximal arc의 정의와 기존 결과(특히 q가 짝수일 때만 존재하고 t가 q^h 를 나누는 성질)를 소개하고, 이를 고차원으로 일반화하는 동기를 제시한다. 이어서 부분공간 집합 X와 가법코드 사이의 동등성을 설명한다. 구체적으로, F_q‑선형인 F_{q^h}^n 안의 가법코드 C를 선택하고, 각 좌표 i에 대해 G_j의 i번째 열이 생성하는 (h‑1) 차원 부분공간 π_i를 정의하면, C의 비영벡터가 최소 d개의 비영좌표를 갖는다는 조건이 “모든 초평면이 X에 대해 ≤ t개의 원소만 포함한다”는 기하학적 조건과 동치가 된다. 따라서 |X|에 대한 상한은 가법코드의 Griesmer‑형 경계와 동일하다. 주요 결과는 다음과 같다. 1. **Theorem 2 (상한)**: |X| ≤ (t‑k+2)q^h + t 가 성립한다. 등호가 성립하려면 (i) X의 임의의 (k‑1) 원소가 (k‑1)h‑1 차원 평면을 생성하고, (ii) 모든 초평면이 0, 1, …, k‑3 혹은 t개의 원소만을 포함해야 한다. 이러한 집합을 “길이‑최대(length‑maximal)”라 명명한다. 2. **Divisibility Condition (Corollary 5 / Theorem 5)**: t‑k+3 가 q^h 를 나누어야 한다. 이는 특히 k=3인 경우 t가 q^h 를 나누는 기존 결과와 일치한다. 3. **Lemma 3**: q>2, k≥4이면 t≥k. 이는 작은 t값이 불가능함을 보여준다. 4. **k=4 경우 (Lemma 7, Theorem 7)**: q>2이면 반드시 t = q^h + 1이며, 모든 초평면은 t‑섹턴 또는 1‑섹턴만 된다. 여기서 t‑섹턴은 초평면이 정확히 t개의 부분공간을 포함함을 의미한다. 이 결과는 초평면이 0‑섹턴을 가질 수 없음을 의미한다. 5. **k≥5 경우 (Lemma 8, Theorem 8)**: q>2이면 길이‑최대 집합이 존재하지 않는다. 증명은 섹턴 수 N(t,h,k,s) 를 계산하고, 특히 k=5에서 δ = N(q^h+2, h,5,q^h+2)+N(q^h+2, h,5,2)−|PG(5h‑1,q)| ≤0 라는 부등식이 실제로는 δ>0가 되어 모순을 일으키는 것을 이용한다. q=3, h=1인 특수 경우에도 해당 집합이 선형