지진 해석 가능성 문제

초록

본 논문은 수학적 가용성 개념을 지진 탐사에 적용하여 모델·데이터·연산자 복잡성을 ‘해결 가능(단순)’과 ‘해결 불가능(복합)’으로 구분한다. Cantor 층과 같은 다중 산란 모델, 베티 수를 이용한 데이터 위상, 그리고 반가역 반정체(idempotent) 연산자를 통한 반군집(semigroup) 이론을 중심으로 복잡성의 정량·정성적 분석 방법을 제시한다.

상세 분석

논문은 먼저 고전적인 ‘근본적 가용성’ 개념을 재조명한다. 2차 방정식이 제곱근을 이용해 해를 구할 수 있듯이, 다항식 전체를 근본적인 연산(제곱근·세제곱근·… 등)만으로 풀 수 있는 경우를 ‘단순’이라 정의하고, 갈루아 이론에 의해 근본 연산만으로는 해를 구할 수 없는 다항식을 ‘복합’이라 구분한다. 이러한 수학적 은유를 지진 탐사에 적용하면, 지구 내부 모델, 관측 데이터, 그리고 역산 연산자를 각각 ‘단순’과 ‘복합’으로 분류할 수 있다.

모델 복잡성에서는 Cantor 집합을 층 구조에 적용해 다중 산란 현상을 모사한다. Cantor 층은 무한히 반복되는 구멍과 잔여 물질로 이루어져, 파동이 무한히 많은 경로를 통해 산란한다. 이 경우 전통적인 파동 전파 모델(예: 전파 방정식의 해)로는 정확히 기술하기 어렵다. 저자는 이러한 모델을 ‘복합 모델’이라 명명하고, 파동의 전파를 근본적인 연산(예: 선형 연산)만으로는 완전 복원할 수 없다고 주장한다.

데이터 복잡성은 위상학적 도구, 특히 베티 수(β0, β1 등)를 이용해 정량화한다. 베티 수는 데이터 집합의 연결성(β0)과 구멍(β1)의 수를 나타내며, 복잡한 반사 파형이 생성하는 다중 경로와 잡음 구조를 정량적으로 파악한다. 저자는 실제 지진 데이터에 베티 수를 적용해, 데이터가 ‘단순’(베티 수가 낮고 위상 구조가 단순)인 경우 역문제(예: 속도 모델 복원)가 수학적으로 가용하다고 보고, 반대로 베티 수가 크게 증가하는 구간은 ‘복합 데이터’로 분류해 정성적 해석(예: 구조적 해석, 비정형 잡음 분석)으로 전환한다.

연산자 복잡성은 군 이론과 반군집(semigroup) 이론을 대비한다. 전통적인 역산 연산자는 가역성을 전제로 하는 군(group) 구조를 이루며, 이는 ‘단순 연산자’에 해당한다. 그러나 실제 지진 처리에서는 비가역적인 필터링, 제한된 관측 범위, 비선형 변환 등이 포함된 복합 연산자가 등장한다. 이러한 연산자는 idempotent(멱등) 원소를 포함하는 반군집을 형성한다. 멱등 연산자는 한 번 적용하면 추가 적용이 변화를 일으키지 않으며, 이는 역산이 불가능하거나 불안정한 상황을 의미한다. 저자는 연산자를 ‘단순(가역)’과 ‘복합(비가역)’으로 구분하고, 복합 연산자는 부분적으로 ‘단순 연산자’들의 합성으로 근사할 수 있음을 제시한다.

전체적으로 논문은 ‘해결 가능성’이라는 수학적 프레임워크를 지진 탐사의 세 축(모델·데이터·연산자)에 적용해, 각각을 정량적(베티 수, Cantor 차원)·정성적(위상 구조, 멱등 연산자) 방법으로 구분한다. 이는 기존의 전통적 역산 기법이 적용되지 않는 복합 영역을 명확히 식별하고, 적절한 해석 전략(예: 단순 부분에 대한 정규화 역산, 복합 부분에 대한 위상학적 혹은 반군집 기반 근사)을 제시함으로써 지진 해석의 한계를 체계적으로 확장한다.