4와 3 이차형식 SOS 순위의 새로운 하한

본 논문은 4×3 차원의 바이쿼드라틱 폼(이차형식)의 SOS(합의 제곱) 순위에 관한 최신 연구 결과를 제시한다. 서론에서는 BSR(m,n)이라는 개념을 소개하고, 현재 알려진 결과들—예를 들어 BSR(4,2)=5, BSR(3,3)=6, 그리고 BSR(4,3)의 현재 추정 구간 7≤BSR(4,3)≤11—을 정리한다. 논문의 핵심은 두 가지 구조적 부분군을 분석함으로써 이 구간을 크게 축소하는 데 있다. 첫 번째 부분은 “단순 바이쿼드라틱 형식”이다. 정의에 따라 단순 형식은 서로 다른 인덱스 쌍 (i,j)만을 포함하는 x_i^2 y_j^2 형태의 항만을 가진다. 이러한 형식은 4×3 이분 그래프와 일대일 대응되며, 그래프의 에지 수가 바로 SOS 순위와 동일함을 Zarankiewicz 수 z(4,3)=7과 연결한다. 저자들은 C₄‑free(사각형 사이클이 없는) 그래프 중 최대 에지 수가 7임을 보이고, 해당 그래프에 대응하는 형식 P₄,₃,₇이 정확히 7개의 제곱으로 표현될 수 있음을 증명한다. 8개 이상의 항을 포함하면 반드시 C₄ 사이클이 발생한다는 조합론적 사실을 이용한다. C₄ 사이클에 포함된 네 항은 항등식 P_{ijkl}=(x_i y_j + x_k y_l)^2 + (x_i y_l - x_k y_j)^2 로 두 제곱으로 압축 가능하다. 따라서 8항 형식은 최대 6개의 제곱, 9항 형식은 최대 7개의 제곱, 10·11항 형식은 최대 6개의 제곱으로 제한된다. 이러한 일련의 상한을 종합해 단순 형식의 최대 SOS 순위가 정확히 7임을 확정한다(정리 2.6). 두 번째 부분은 “y‑결핍 형식”이다. 정의에 따르면 하나의 y 변수(y₃)는 다른 y와 교차항을 만들지 못하고 순수 제곱 x_i^2 y₃^2만을 포함한다. 이러한 형식은 P(x,y)=P₁(x,y₁,y₂)+y₃^2·T(x) 로 분해 가능하며, 여기서 P₁은 4×2 형식, T(x) 는 양의 계수를 갖는 대각형 4차식이다. Calderón 정리(모든 m×2 PSD 형식은 SOS)와 BSR(4,2)=5를 이용하면 P₁은 최대 5개의 제곱, T(x) 는 4개의 제곱으로 표현될 수 있다. 따라서 y‑결핍 형식 전체의 SOS 순위는 ≤9가 된다(정리 3.2). 저자들은 대각형 예시를 들어 이 경계가 실제로 달성될 가능성을 논의한다. 특히 대각형 형식은 y‑결핍 형식의 특수 경우이며, BSR(3,3)=6을 이용해 전체를 9개의 제곱으로 표현한다(명제 3.6). 핵심 기여는 8개의 제곱만으로 표현되는 새로운 비단순, 비결핍 형식 Q(x,y)를 명시적으로 구성한 것이다. Q는 기존의 최대 순위 7을 갖는 P₄,₃,₇에 (x₄y₂ + x₁y₃)^2 를 더해 만든 형태이며, 전개하면 9개의 순수 제곱 항과 하나의 교차항 2x₁x₄y₂y₃을 포함한다. 저자들은 다음과 같은 8개의 제곱식으로 Q를 정확히 재구성한다: 1) (x₁y₁)², 2) (x₄y₁)², 3) (x₁y₂)², 4) (x₁y₃ + x₄y₂)², 5) (x₂y₂)², 6) (x₂y₃)², 7) (x₃y₁)², 8) (x₃y₃)². 이 전개를 직접 확인하면 모든 원래 항이 정확히 재현됨을 알 수 있다. 따라서 sos(Q) ≤ 8이다. 반대로 7개의 제곱으로 Q를 표현하려면 각 순수 제곱 항의 계수를 만족시키는 선형 시스템이 불가능함을 증명함으로써 sos(Q) ≥ 8을 보인다. 결과적으로 BSR(4,3) ≥ 8을 확립한다(정리 4.1). 논문의 마지막 섹션에서는 전체 결과를 요약하고, 현재 남아 있는 열린 문제들을 제시한다. 구체적으로 BSR(4,3)의 정확한 값이 8인지, 혹은 9 혹은 10, 11인지 여부와, y‑결핍 형식에서 실제로 순위 9를 달성하는 예가 존재하는지, 그리고 더 복잡한 비단순 형식(다중 C₄ 사이클, 고차 교차항 포함)에서 순위가 어떻게 증가하는지에 대한 연구 방향을 제시한다. 또한 Zarankiewicz 수와 이분 그래프 이론, Hurwitz‑type 항등식 등 고전적인 수학적 도구와의 연계성을 강조한다. 이 논문은 4×3 바이쿼드라틱 형식의 SOS 순위 문제에 대한 이해를 크게 진전시키며, 향후 정확한 BSR(4,3) 값을 찾기 위한 중요한 기준점을 제공한다.