위상 검색

Phase retrieval

위상 검색알고리즘적으로 위상 문제에 대한 해결책을 찾는 과정이다. 진폭 )}, 진폭k , 위상 의 복잡한 신호 F()가 주어질 경우

여기서 x는 M차원 공간좌표, k는 M차원 공간주파수좌표다. 위상 검색은 측정된 진폭에 대해 일련의 제약 조건을 만족하는 위상 찾기로 구성된다. 단계 검색의 중요한 응용 프로그램 X-ray결정학, 투과 전자 현미경과 일관성 있는 회절성의 영상이 단계 검색 문제의 단계가 없는 예비군 역원 산란 문제를 포함한 둘 다 예비군과 2D사례들이 M=2{M=2\displaystyle}.[1]Uniqueness 정리 Klibanov에 의해 그리고 그 동안 입증된 등이 포함됐다.h공동작업자(참조자 참조).

문제 제식

여기서는 1-D 이산 푸리에 변환(DFT) 위상 검색 문제를 고려한다. 복합 신호 [ 의 DFT는 다음을 통해 제공된다.

,

x 의 과표본 DFT는

,

서 M> N

DFT 연산자는 비주사적이기 때문에 [ 단계를 회복하는 것과 같다 푸리에 크기 대신 자기 상관 시퀀스에서 신호를 복구하는 것이 일반적이다. , - 를) 0으로 채운 후 f (를) . 다음 f 의 자기 상관 시퀀스를 다음과 같이 정의한다.

m

그리고 [ 로 표시된 g[의 DFT는[ = X [ 을 만족한다

방법들

오류 감소 알고리즘

위상 검색을 위한 오류 감소 알고리즘의 개략도 보기

오류 감소는 게르흐베르크-색스턴 알고리즘의 일반화다. ) {\의 측정에서 ( x) f에 대해 4단계 프로세스를 반복하여 해결한다. k 반복의 경우 단계는 다음과 같다.

Step (1): , , and are estimates of, respectively, , and . In the first step we calculate the Fourier transform ( ) 의 경우

단계(2): 신호 방정식을[clarification needed] 통해 회절 패턴에서 계산된 ( ) 의 실험 값을 G ( ) 로 대체하여푸리에 변환의 추정치를 제시한다.

여기서 는 나중에 폐기될 중간 결과를 나타낸다.

단계 (3): 푸리에 변환 ( )의 추정치는 그 후 푸리에 역변환된다.

단계 (4): g ( ) 그러면 객체의 새 k+ ( ) 객체 제약조건을[clarification needed] 만족하도록 변경해야 한다. g + ( x) {\1}(는 다음과 같이 정의된다.

여기서 }은는) g ′ (x) 이(가) 개체 제약 조건을 충족하지 않는 도메인이다. 새로운 견적 g + ( ) g_{을 얻고 4단계 프로세스를 반복한다.

이 과정은 푸리에 구속조건과 객체 구속조건이 모두 충족될 때까지 계속된다. 이론적으로는 그 과정이 항상 정합화로 이어지겠지만,[1] 만족스러운 영상(일반적으로 >2000)을 제작하는 데 필요한 반복 횟수가 많으면 그 자체로 오류 감소 알고리즘이 실제 적용에 적합하지 않게 된다.

하이브리드 입출력 알고리즘

하이브리드 입력-출력 알고리즘은 오류 감소 알고리즘의 수정이다 - 처음 3단계는 동일하다. 하지만요 k({\displaystyle g_{k}())}더 이상 행동한다로 견적의 f()){\displaystyle f())}, 입력 기능에 해당하는 출력 기능 g km그리고 4.9초 만 ′({\displaystyle g'_{k}())}, 추정의 f()){\displaystyle f())}.[1]에서 4번째 단계는 기능 gk( ) 이(가) 개체 제약 조건을 위반하고, g + 1( ){\ 값이 0을 향해 강제되지만 최적으로 0은 아니다. 하이브리드 입출력 알고리즘의 주요 장점은 함수 (x 가 이전 반복에 관한 피드백 정보를 포함하고 있어 정체 확률을 낮춘다는 것이다. 하이브리드 입출력 알고리즘이 오류 감소 알고리즘보다 훨씬 빠른 속도로 솔루션으로 수렴되는 것으로 나타났다. 단계적 크기 최적화 알고리즘을 통해 융합 속도를 더욱 높일 수 있다.[2]

여기서 은(는) 0과 1 사이의 값을 취할 수 있는 피드백 매개 변수다. 대부분의 애플리케이션의 경우 ββ \이(가) 최적의 결과를 제공한다.{Scientific Reports volume 8, 기사 번호: 6436(2018)}

수축포장

2차원 위상 검색 문제의 경우, (x ) f() 같은 용액의 퇴화가 있으며, 그 결합 (- x) f는 동일한 푸리에 계수를 가지고 있다. 이것은 "이미지 트윈닝"으로 이어지며, 위상 검색 알고리즘은 물체와 그것의 결합 둘 다의 특징을 가진 이미지를 생성하는 것을 정체시킨다.[3] 수축랩 기법은 (가우스와 경합을 통해) 개체 진폭의 현재 추정치를 저역 통과로 필터링하고 임계값을 적용하여 영상 모호성을 감소시킴으로써 지원의 추정치를 주기적으로 업데이트한다.[4]

짧은 시간 푸리에 변환을 위한 세미데피나이트 이완 기반 알고리즘

단계적 회복은 잘못된 문제다. 기본 신호를 고유하게 식별하기 위해 게르흐베르크-색스턴 알고리즘과 같은 추가 사전 정보를 추가하는 방법 외에, 다른 방법은 단시간 푸리에 변환(STFT)과 같은 크기 전용 측정을 추가하는 것이다.

아래에 소개된 방법은 주로 자가나단 외 연구소의 작업을 바탕으로 한다.[5]

단시간 푸리에 변환

이산 신호 =( [ , f[ ,.. , [ N- ) T ], 가 주어진다. f( 에서 샘플링된^{T}. : w=( [ 0 , [ 1 ,.. [ - 1 T {w= Y {에 표시된F 의 STFT 계산

for and , where the parameter denotes the separation in time between adjacent short-time sections and the parameter d고려된 단시간 섹션의 수를 나타낸다.

STFT의 다른 해석(슬라이딩 윈도우 해석이라고 함)은 이산 푸리에 변환(DFT)의 도움을 받아 사용할 수 있다. let [ = w[ - n 은(는) 이동 및 플립 에서 얻은 창 요소를 나타내며, 으)는 다음과 같다

, where .

문제 정의

Let be the measurements corresponding to the magnitude-square of the STFT of , be the } 대각 행렬 r [ 0] , r [1], [N -). STFT 위상 검색은 다음과 같이 명시할 수 있다.


Find such that for and 여기서 -point 역DFT 행렬의 m}-th 열이다.


직관적으로 과(와) 함께 증가하는 계산 복잡성은 이 방법을 비실용적으로 만든다. 그러나 실제로 대부분의 경우에 우리는 2 { M m M을(를) 만족하는 파라미터 M {\에 대해 m M ≤ leq M\

To be more specifically, if both the signal and the window are not vanishing, that is, for all and for all , signal 다음과 같은 요구 사항이 충족될 경우 STFT 규모에서 을(를) 고유하게 식별할 수 있다.

  1. < /
  2. N

그 증거는 STFT 위상 검색을 다음과 같은 최소 제곱 문제로 재구성하는 Jaganathan의 연구에서 찾을 수 있다.[5]

.

알고리즘은 이론적 회복 보장이 없더라도 인접한 짧은 시간 섹션 사이에 상당한 중첩이 있을 때 경험적으로 글로벌 최소값으로 수렴할 수 있다.

세미데피니트 이완 기반 알고리즘

복구 보증을 확립하기 위해서는 X= { 변환 = x x ∗ {\displaysty}을(를) 사용하여 문제를 보다 차원 공간에 내장함으로써 문제를 세미데핀 프로그램(SDP)으로 공식화하고 순위 제한을 완화하는 것이 한 방법이다. 변경된 문제는 다음과 같다.


을 해결하여 X \을(를) 얻으십시오.

0 - r의 경우


가) 발견되면 신호 를) 최상의 1등급 근사치로 복구할 수 있다.


적용들

위상 검색은 일관성 있는 회절 영상촬영(CDI)의 핵심 구성요소다. CDI에서는 대상으로부터 산란된 회절 패턴의 강도를 측정한다. 그런 다음 위상 검색 알고리즘을 사용하여 회절 패턴의 위상을 얻고 대상의 이미지를 생성한다. 이러한 방식으로 위상 검색은 회절 패턴을 광학 렌즈가 없는 이미지로 변환할 수 있게 한다.

위상 검색 알고리즘을 사용하면 복잡한 광학 시스템과 그 이상 특성을 파악할 수 있다.[6] 위상 회복의 다른 응용으로는 X선 결정법과 전송 전자 현미경 검사가 있다.

참고 항목

참조

  1. ^ a b c Fienup, J. R. (1982-08-01). "Phase retrieval algorithms: a comparison". Applied Optics. 21 (15): 2758–69. doi:10.1364/AO.21.002758. ISSN 0003-6935. PMID 20396114.
  2. ^ Marchesini, S. (25 January 2007). "Invited Article: A unified evaluation of iterative projection algorithms for phase retrieval". Review of Scientific Instruments. 78 (1): 011301. arXiv:physics/0603201. doi:10.1063/1.2403783. ISSN 0034-6748. PMID 17503899.
  3. ^ Fienup, J. R.; Wackerman, C. C. (1986-11-01). "Phase-retrieval stagnation problems and solutions". Journal of the Optical Society of America A. 3 (11): 1897. doi:10.1364/JOSAA.3.001897. ISSN 1084-7529.
  4. ^ Marchesini, S.; He, H.; Chapman, H. N.; Hau-Riege, S. P.; Noy, A.; Howells, M. R.; Weierstall, U.; Spence, J. C. H. (2003-10-28). "X-ray image reconstruction from a diffraction pattern alone". Physical Review B. 68 (14): 140101. arXiv:physics/0306174. doi:10.1103/PhysRevB.68.140101. ISSN 0163-1829.
  5. ^ a b Jaganathan, Kishore; Eldar, Yonina C.; Hassibi, Babak (June 2016). "STFT Phase Retrieval: Uniqueness Guarantees and Recovery Algorithms". IEEE Journal of Selected Topics in Signal Processing. 10 (4): 770–781. doi:10.1109/JSTSP.2016.2549507. ISSN 1941-0484.
  6. ^ Fienup, J. R. (1993-04-01). "Phase-retrieval algorithms for a complicated optical system". Applied Optics. 32 (10): 1737–1746. doi:10.1364/AO.32.001737. ISSN 2155-3165. PMID 20820307.
  • Klibanov, M. V. (1985). "On uniqueness of the determination of a compactly supported function from the modulus of its Fourier transform". Soviet Mathematics - Doklady. 32: 668–670.
  • Klibanov, M.V. (1987). "Determination of a function with compact support from the absolute value of its Fourier transform and an inverse scattering problem". Differential Equations. 22: 1232–1240.
  • Klibanov, M.V. (1987). "Inverse scattering problems and restoration of a function from the modulus of its Fourier transform". Siberian Math J. 27 (5): 708–719. doi:10.1007/bf00969199.
  • Klibanov, M. V. (1989). "Uniqueness of the determination of distortions of a crystal lattice by the X-ray diffraction in a continuous dynamical model". Differential Equations. 25: 520–527.
  • Klibanov, M.V. & Sacks, P.E. (1992). "Phaseless inverse scattering and the phase problem in optics". J. Math. Phys. 33 (11): 2813–3821. Bibcode:1992JMP....33.3813K. doi:10.1063/1.529990.
  • Klibanov, M. V.; Sacks, P.E. (1994). "Use of partial knowledge of the potential in the phase problem of inverse scattering". J. Comput. Phys. 112 (2): 273–281. Bibcode:1994JCoPh.112..273K. doi:10.1006/jcph.1994.1099.
  • Klibanov, M. V.; Sacks, P.E.; Tikhonravov, A.V. (1995). "The phase retrieval problem". Inverse Problems. 11 (1): 1–28. Bibcode:1995InvPr..11....1K. doi:10.1088/0266-5611/11/1/001.
  • Klibanov, M. V. (2006). "On the recovery of a 2-D function from the modulus of its Fourier transform". J. Math. Anal. Appl. 323 (2): 818–843. doi:10.1016/j.jmaa.2005.10.079.