비부드러운 Hörmander 벡터장과 제어 구의 볼‑박스 정리

** 논문은 Hörmander 조건을 만족하는 비부드러운 벡터장들의 제어 거리와 볼‑박스 정리를 다룬다. 먼저 저자들은 벡터장 집합 \(\{X_{1},\dots ,X_{m}\}\) 가 단계 \(s\) (즉, 길이 \(s\) 이하의 모든 커뮤테이터가 \(\mathbb{R}^{n}\) 를 생성) 를 만족한다고 가정한다. 기존 연구에서는 이러한 벡터장이 충분히 매끄러워야 (\(C^{M}\) 정규성, \(M\ge 2s\) 등) 했지만, 본 논문은 정규성을 크게 낮춘 클래스 \(A_{s}\) 를 도입한다. 클래스 \(A_{s}\) 에 속하는 벡터장은 \(C^{s-2,1}_{\text{loc}}\)이며, 길이 \(s-1\) 커뮤테이터의 두 번째 미분이 로컬 \(L^{\infty}\) 에 존재한다는 추가 조건을 갖는다. 이 가정은 커뮤테이터 자체가 Lipschitz 연속임을 보장한다. 핵심 기술은 ‘근사 지수 지도’ \(\exp^{*}\) 를 이용해 비가환 미분 공식을 전개하는 것이다. 섹션 3에서 저자들은 \(\frac{d}{dt}\exp^{*}(tY)(x)\) 를 원래 커뮤테이터 \(Y\) 와 그보다 높은 차수의 커뮤테이터들의 유한합, 그리고 적분 형태의 잔여항으로 정확히 분해한다. 이 과정에서 Campbell‑Hausdorff 공식이 필요 없으며, 모든 항의 크기가 제어 가능함을 보인다. 다음으로, η‑maximal 삼중조건을 도입한다. \(\lambda_{I}(x)=\det(Y_{i_{1}},\dots ,Y_{i_{n}})(x)\) 로 정의된 행렬식과 \(\Lambda(x,r)=\max_{K}|\lambda_{K}(x)|\,r^{\ell(K)}\) 를 이용해, 특정 인덱스 \(I\) 가 \(|\lambda_{I}(x)|\,r^{\ell(I)}>\eta\Lambda(x,r)\) 를 만족하면 그 \(I\) 가 ‘η‑maximal’이라 정의한다. 섹션 4에서는 이 조건이 반지름 \(r\) 가 변해도 유지되는 안정성을 증명한다. 이는 볼‑박스 포함식에서 동일한 \(I\) 를 사용할 수 있게 하여 상수 \(C\) 를 균일하게 잡을 수 있게 한다. 섹션 5에서는 위에서 정의한 \(\exp^{*}\) 를 연속적으로 합성해 지도 \