그림자 숨기기와 부피 역설: 작은 그림자로 큰 물체를 가리다

** 본 논문은 “그림자(정사영) 포함 → 부피 비교”라는 고전적인 기하학적 질문을 다루며, 그에 대한 부정적·긍정적 결과를 체계적으로 제시한다. 1. **문제 설정 및 배경** - 두 볼록체 K, L이 주어졌을 때, 모든 k‑차원 정사영 K_ξ가 적절한 평행이동을 통해 L_ξ 안에 포함되는지 여부와, 이때 Vₙ(K) ≤ Vₙ(L) 가 성립하는지를 탐구한다. - 이 질문은 Rogers의 정사영 정리, Shephard 문제, Busemann‑Petty 문제 등과 연관된다. 기존 결과들은 대칭성(중심 대칭)이나 L이 투영체·교차체와 같은 특수 클래스에 제한될 때만 긍정적 답을 제공한다. 2. **부정적 예시(Section 2, 3)** - n≥3 차원에서, 정규 단순체 Δ와 단위 구 Bₙ을 혼합한 K_ε = εΔ + (1−ε)·(1/√n)Bₙ 를 정의한다. - 스테인하겐 부등식과 최소폭·내접반경 관계를 이용해, 모든 k‑차원 서브스페이스 ξ에 대해 K_ε ξ가 L ξ(=Δ ξ) 안에 평행이동으로 포함됨을 보인다. - 그러나 Steiner 공식에 따라 Vₙ(K_ε) = εⁿ·Vₙ(Δ) + εⁿ⁻¹(1−ε)·S(Δ)/√n + … 로, ε를 충분히 작게 잡으면 Vₙ(K_ε) > Vₙ(Δ)=Vₙ(L) 가 된다. - 이와 같은 구조는 k=1 (선형 정사영)에서도 Reuleaux 삼각형과 원의 예시와 동일하게 작동한다. 3. **k‑실린더 몸체 Cₙ,ₖ 정의(Section 4, 5)** - Cₙ,ₖ는 “(n−k)‑차원 평면에 대해 직교하는 k‑차원 실린더들의 합”으로 표현 가능한 볼록체들의 집합이다. - 구체적으로, L∈Cₙ,ₖ이면 L = Σ_i (A_i ⊕ B_i) 로, 여기서 A_i는 (n−k)‑차원 볼록체, B_i는 k‑차원 원통(또는 그 선형 변형)이며 ⊕는 직교 합을 의미한다. - Cₙ,₁은 정확히 중심 대칭 볼록체, Cₙ,ₙ은 모든 볼록체가 포함되는 전체 집합이다. 포함 관계 Cₙ,₁⊂Cₙ,₂⊂…⊂Cₙ,ₙ 은 실린더 차원이 증가함에 따라 허용되는 형태가 넓어짐을 나타낸다. 4. **그림자 포함 정리(Shadow Containment Theorem 5.3)** - L∈Cₙ,ₖ이고, 모든 k‑차원 서브스페이스 ξ에 대해 K_ξ ⊂ L_ξ (평행이동 허용)라면 Vₙ(K) ≤ Vₙ(L) 가 성립한다. - 증명은 혼합 부피 이론을 활용한다. 정사영 포함 조건은 각 ξ에 대해 V_{n−k,k}(K,L) ≥ V_{n−k,k}(L,L) 로 변환될 수 있다. - Minkowski’s mixed volume inequality와 Cₙ,ₖ의 구조적 특성(특히 표면 측정 S_K 가 L의 표면 측정과 비교 가능함)을 결합하면 최종 부피 부등식이 도출된다. 5. **기하학적 부등식 및 응용(Section 7, 8)** - Cₙ,ₖ에 속하는 몸체들은 여러 새로운 부등식을 만족한다. 예를 들어, 모든 K에 대해 Vₙ(K) ≤ n·Vₙ(L) 가 성립한다는 상한이 도출된다(정사영 포함 조건만 가정). - 또한, Cₙ,ₖ와 기존의 투영체·교차체 사이의 관계를 탐구하고, 실린더 구조가 혼합 부피의 선형성에 어떻게 기여하는지를 분석한다. 6. **열린 질문** - Cₙ,ₖ와 다른 클래스를 연결하는 보다 일반적인 조건은 무엇인가? - 정사영 포함 조건을 평행이동이 아닌 회전·스케일링까지 허용할 경우 부피 비교가 어떻게 변하는가? - Cₙ,ₖ 내부에서 최소 부피 비율을 결정하는 최적 구조는 무엇인가? **결론** 논문은 “그림자(정사영) 포함 → 부피 비교” 문제에 대해, 일반적인 경우 부정적 예시가 존재함을 보여주면서도, 실린더 형태의 특수 클래스 Cₙ,ₖ를 도입함으로써 긍정적 결과를 얻는다. 이는 혼합 부피 이론과 실린더 구조를 연결한 새로운 접근법이며, 기존의 Shephard·Busemann‑Petty 문제와 유사한 “조건 → 부피” 정리의 확장을 제공한다. **