David Mumford는 1980년대부터 신호처리, 영상처리 같은 응용수학에 관심을 두기 시작했고,



그 중 가장 유명한 결과 중 하나가 딥러닝 이전 영상분할에 쓰이던 David Mumford 와 Jayant Shah가 1989년 발표한 Mumford-Shah functional



일단 아래처럼 terminology 정의하고


svg.latex?%5COmega%20%5Csubset%20%20%5Cmathbb%7BR%7D%5E2%20%20%5Ctext%7B%20be%20a%20rectangular%20domain%7D%20%20

svg.latex?f%20%5Ctext%7B%20be%20a%20given%20(possibly%20noisy)%20image%7D%20%20

svg.latex?u%20%5Ctext%7B%20be%20a%20piecewise%20smooth%20function%7D%20%20

svg.latex?%5CGamma%20%5Ctext%7B%20be%20an%20edge%20set%20to%20be%20a%20relatively%20closed%20subset%20of%20%7D%20%5COmega%20%20%5Ctext%7B%20with%20a%20finite%20one-dimensional%20Hausdorff%20measure%7D%20%20

svg.latex?%5Calpha%20,%20%5Cbeta%20%20%5Ctext%7B%20are%20non-negative%20constants%20%20

svg.latex?%5Cmathcal%7BH%7D%5E1%20(%5CGamma)%20%5Ctext%7B%20%20is%20the%20one-dimensional%20Hausdorff%20measure%20of%20%7D%20%5CGamma


Mumford-Shah functional은 아래식을 최소화하는 svg.latex?(u,%20%5CGamma) 를 찾는 것임.


svg.latex?%5Cmathcal%7BE%7D(u,%20%5CGamma)%20=%20%20%5Cfrac%7B1%7D%7B2%7D%5Cint_%5COmega%20%5Cvert%20u%20-%20f%20%5Cvert%5E2%20dx%20%20+%20%5Cmathcal%7BJ%7D(u,%20%5CGamma)%20%20%20

where,

svg.latex?%5Cmathcal%7BJ%7D(u,%20%5CGamma)%20=%20%5Cfrac%7B%5Calpha%7D%7B2%7D%20%20%5Cint_%7B%5COmega%20%5Csetminus%20%5CGamma%7D%20%20%5Cvert%20%5Cnabla%20u%20%5Cvert%5E2%20dx%20+%20%5Cbeta%20%5Cmathcal%7BH%7D%5E1%20(%5CGamma)%20%20



Munford-Shah functional을 각 항을 풀어서 설명하면


일단 svg.latex?%5Cmathcal%7BE%7D(u,%20%5CGamma) 의 첫번째 항은 data fidelity term 이라고 부르는 주어진 이미지 f와 우리가 원하는 piecewise-smooth함수 u의 차이를 알려주고, 두번째 항은 소위 regualrization/penalty term이라고 부르는 우리가 원하는 조건을 넣어서 functional을 well-posed 하게 만듬.


Munford-Shah functional의 regularization term 안에는 두개의 term이 있는데 첫번째는 경계선을 제외한 모든 면에서 u는 piecewise-smooth 해야한다는 조건, 두번째 term은 영상을 분할하는 경계, 즉 경계선의 길이를 최소화 해야한다는 조건을 나타냄 (영상을 분할하는데 경계선이 뱀처럼 구불구불하면 이상하니까...).



이 문제는 지난 30년간 수학적 영상처리 (예를들어서 UCLA의 Tony Chan, Andrea Bertozzi 혹은 Ecole Polytechnique의 Antonin Chambolle ) 유명한 응용수학자들이 30년간 여러가지 연구를 했고, 여전히 연구는 진행중인 주제임. (다만 딥러닝 덕분에 완전히 ... 응용수학을 제외한 다른 분야에선 이제 외면받지만).


여튼 Mumford-Shah functional을 이해하기 어렵게 만드는 원인은 regularization의 첫번째 piecewise-smooth term 때문임.


그래서 초기의 연구는 svg.latex?%5Calpha%20%5Cto%20%5Cinfty%20로 보내서, 첫번째 regularization 항을 날려버리고, 간단하게 만들었는데


svg.latex?E(u,%20%5CGamma)%20=%20%20%5Cfrac%7B1%7D%7B2%7D%5Cint_%5COmega%20%5Cvert%20u%20-%20f%20%5Cvert%5E2%20dx%20%20+%20%20%5Cbeta%20%5Cmathcal%7BH%7D%5E1%20(%5CGamma)%20%20%20


이런 special case를 piecewise constant Mumford-Shah 라고 부름.

이 경우는 문제를 풀기 더 쉬워지고 level set method, convex relaxation (Chambolle-Pock), Chan-Vese 등 더 쉽게 풀수 있는 영상분할방법을 유도할 수 있음.



viewimage.php?id=20bcc42e&no=24b0d769e1d32ca73ced8efa11d02831dd2ecabb386674d2cf3d2b24d0c3634bccccee7e54ede226b43bed5dc2b37298e5e006909d4836a88674b1531a34f073

Chan-Vese 영상분할의 예시



예전 기억으로는 딱히 여기에 관심 있는 사람들은 많이 없는듯해서, 여기까지.


여튼 이 문제는 geometric measure theory, variational analysis 관점에서 꽤나 재미있게 다뤄지는 분야 중 하나임.