유한 트리와 초월 수열의 최대 순서형

초록

본 논문은 리프에 라벨이 붙은 유한 트리들을 라벨 순서를 보존하는 트리 동형사상으로 정렬한 wqo Tf(Q)의 최대 순서형을 라벨 wqo Q의 최대 순서형 o(Q)에 대한 정확한 함수로 계산한다. 또한, 유한 범위의 초월 수열 sF ω^ω(Q)와 그 안의 분해불가능 수열 iF ω^ω(Q)를 정의하고, Tf(Q)와 iF ω^ω(Q)가 동형임을 보임으로써 sF ω^ω(Q)의 최대 순서형을 구한다. 결과는 Friedman‑Weiermann의 기존 상·하한을 날카롭게 다듬고, Nash‑Williams의 비구성적 증명에서 얻을 수 없던 구체적 순서형 추정치를 제공한다.

상세 분석

논문은 먼저 wqo의 기본 개념과 최대 순서형(o(Q))을 복습하고, 이를 선형화(linearization)의 최댓값으로 정의한다. 기존에 알려진 Higman‑정리(Q*)와 Kruskal‑정리(T(Q))를 확장해, 리프 라벨만을 갖는 유한 트리들의 집합 Tf(Q)를 정의한다. 여기서 트리 동형사상은 조상‑자손 관계를 보존하고, 리프 라벨에 대해 Q의 순서를 그대로 유지한다. 이 동형사상은 Kruskal‑정리에서 요구되는 infima 보존을 포기했기 때문에 보다 약한 순서이며, Mon​talbán이 ‘signed trees’로 처음 다뤘다. Friedman‑Weiermann은 Tf(Q)의 최대 순서형에 대해 비좁은 상·하한을 제시했지만, 정확한 식을 제시하지 못했다. 저자들은 Tf(Q)의 구조를 세밀히 분석해, 라벨 wqo Q의 최대 순서형 α=o(Q)라 할 때
 o(Tf(Q)) = φ_{α}(0)
와 같은 형태의 닫힌 형식(여기서 φ는 Veblen 함수)을 얻는다. 핵심은 트리를 ‘분해가능’과 ‘분해불가능’ 수열로 변환하는 백앤포어(back‑and‑forth) 대응을 구축하는 것이다. 이를 위해 sF_β(Q)라는 ‘범위가 유한한 초월 수열’ 집합을 정의하고, 특히 β<ω^ω인 경우에 대해 Nash‑Williams의 비구성적 증명을 보강한다. iF_β(Q)라는 분해불가능 수열의 부분집합을 도입하고, Tf(Q)와 iF_ω^ω(Q) 사이에 순서동형을 증명함으로써 두 구조가 동일한 최대 순서형을 공유함을 보인다. 마지막으로, iF_ω^ω(Q)와 sF_ω^ω(Q) 사이의 관계를 이용해 sF_ω^ω(Q)의 최대 순서형을 o(Tf(Q))에 자연곱·합 연산을 적용한 형태로 정확히 구한다. 이 과정에서 Schmidt의 자연합·자연곱 연산과 Veblen 계층을 활용해, 기존 결과보다 훨씬 강력한 상한을 얻으며, 특히 o(Q)≥ε₀인 경우에도 명시적인 닫힌 식을 제공한다. 논문은 또한 이러한 결과가 ‘높이’와 ‘폭’(height, width) 불변량과 어떻게 맞물리는지 논의하고, 대부분의 경우 폭이 최대 순서형과 일치함을 확인한다.