{"title":"多窗口 STFT 相位检索:晶格唯一性","authors":"Philipp Grohs , Lukas Liehr , Martin Rathmair","doi":"10.1016/j.jfa.2024.110733","DOIUrl":null,"url":null,"abstract":"<div><div>Short-time Fourier transform (STFT) phase retrieval refers to the reconstruction of a function <em>f</em> from its spectrogram, i.e., the magnitudes of its short-time Fourier transform <span><math><msub><mrow><mi>V</mi></mrow><mrow><mi>g</mi></mrow></msub><mi>f</mi></math></span> with window function <em>g</em>. While it is known that for appropriate windows, any function <span><math><mi>f</mi><mo>∈</mo><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>R</mi><mo>)</mo></math></span> can be reconstructed from the full spectrogram <span><math><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>g</mi></mrow></msub><mi>f</mi><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo><mo>|</mo></math></span>, in practical scenarios, the reconstruction must be achieved from discrete samples, typically taken on a lattice. It turns out that the sampled problem becomes much more subtle: recent results have demonstrated that uniqueness via lattice-sampling is unachievable, irrespective of the choice of the window function or the lattice density. In the present paper, we initiate the study of multi-window STFT phase retrieval as a way to effectively bypass the discretization barriers encountered in the single-window case. By establishing a link between multi-window Gabor systems, sampling in Fock space, and phase retrieval for finite frames, we derive conditions under which square-integrable functions can be uniquely recovered from spectrogram samples on a lattice. Specifically, we provide conditions on window functions <span><math><msub><mrow><mi>g</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>g</mi></mrow><mrow><mn>4</mn></mrow></msub><mo>∈</mo><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>R</mi><mo>)</mo></math></span>, such that every <span><math><mi>f</mi><mo>∈</mo><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>R</mi><mo>)</mo></math></span> is determined up to a global phase from<span><span><span><math><mrow><mo>(</mo><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><msub><mrow><mi>g</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msub><mi>f</mi><mo>(</mo><mi>A</mi><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo><mo>|</mo><mo>,</mo><mspace></mspace><mo>…</mo><mo>,</mo><mspace></mspace><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><msub><mrow><mi>g</mi></mrow><mrow><mn>4</mn></mrow></msub></mrow></msub><mi>f</mi><mo>(</mo><mi>A</mi><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo><mo>|</mo><mo>)</mo></mrow></math></span></span></span> whenever <span><math><mi>A</mi><mo>∈</mo><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>R</mi><mo>)</mo></math></span> satisfies the density condition <span><math><mo>|</mo><mi>det</mi><mo></mo><mi>A</mi><msup><mrow><mo>|</mo></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mo>≥</mo><mn>4</mn></math></span>. For real-valued functions, a density of <span><math><mo>|</mo><mi>det</mi><mo></mo><mi>A</mi><msup><mrow><mo>|</mo></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mo>≥</mo><mn>2</mn></math></span> is sufficient. Corresponding results for irregular sampling are also shown.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110733"},"PeriodicalIF":1.7000,"publicationDate":"2024-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Multi-window STFT phase retrieval: Lattice uniqueness\",\"authors\":\"Philipp Grohs , Lukas Liehr , Martin Rathmair\",\"doi\":\"10.1016/j.jfa.2024.110733\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>Short-time Fourier transform (STFT) phase retrieval refers to the reconstruction of a function <em>f</em> from its spectrogram, i.e., the magnitudes of its short-time Fourier transform <span><math><msub><mrow><mi>V</mi></mrow><mrow><mi>g</mi></mrow></msub><mi>f</mi></math></span> with window function <em>g</em>. While it is known that for appropriate windows, any function <span><math><mi>f</mi><mo>∈</mo><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>R</mi><mo>)</mo></math></span> can be reconstructed from the full spectrogram <span><math><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>g</mi></mrow></msub><mi>f</mi><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo><mo>|</mo></math></span>, in practical scenarios, the reconstruction must be achieved from discrete samples, typically taken on a lattice. It turns out that the sampled problem becomes much more subtle: recent results have demonstrated that uniqueness via lattice-sampling is unachievable, irrespective of the choice of the window function or the lattice density. In the present paper, we initiate the study of multi-window STFT phase retrieval as a way to effectively bypass the discretization barriers encountered in the single-window case. By establishing a link between multi-window Gabor systems, sampling in Fock space, and phase retrieval for finite frames, we derive conditions under which square-integrable functions can be uniquely recovered from spectrogram samples on a lattice. Specifically, we provide conditions on window functions <span><math><msub><mrow><mi>g</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>g</mi></mrow><mrow><mn>4</mn></mrow></msub><mo>∈</mo><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>R</mi><mo>)</mo></math></span>, such that every <span><math><mi>f</mi><mo>∈</mo><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>R</mi><mo>)</mo></math></span> is determined up to a global phase from<span><span><span><math><mrow><mo>(</mo><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><msub><mrow><mi>g</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msub><mi>f</mi><mo>(</mo><mi>A</mi><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo><mo>|</mo><mo>,</mo><mspace></mspace><mo>…</mo><mo>,</mo><mspace></mspace><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><msub><mrow><mi>g</mi></mrow><mrow><mn>4</mn></mrow></msub></mrow></msub><mi>f</mi><mo>(</mo><mi>A</mi><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo><mo>|</mo><mo>)</mo></mrow></math></span></span></span> whenever <span><math><mi>A</mi><mo>∈</mo><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>R</mi><mo>)</mo></math></span> satisfies the density condition <span><math><mo>|</mo><mi>det</mi><mo></mo><mi>A</mi><msup><mrow><mo>|</mo></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mo>≥</mo><mn>4</mn></math></span>. For real-valued functions, a density of <span><math><mo>|</mo><mi>det</mi><mo></mo><mi>A</mi><msup><mrow><mo>|</mo></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mo>≥</mo><mn>2</mn></math></span> is sufficient. Corresponding results for irregular sampling are also shown.</div></div>\",\"PeriodicalId\":15750,\"journal\":{\"name\":\"Journal of Functional Analysis\",\"volume\":\"288 3\",\"pages\":\"Article 110733\"},\"PeriodicalIF\":1.7000,\"publicationDate\":\"2024-11-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Functional Analysis\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S002212362400421X\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Functional Analysis","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S002212362400421X","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
Short-time Fourier transform (STFT) phase retrieval refers to the reconstruction of a function f from its spectrogram, i.e., the magnitudes of its short-time Fourier transform with window function g. While it is known that for appropriate windows, any function can be reconstructed from the full spectrogram , in practical scenarios, the reconstruction must be achieved from discrete samples, typically taken on a lattice. It turns out that the sampled problem becomes much more subtle: recent results have demonstrated that uniqueness via lattice-sampling is unachievable, irrespective of the choice of the window function or the lattice density. In the present paper, we initiate the study of multi-window STFT phase retrieval as a way to effectively bypass the discretization barriers encountered in the single-window case. By establishing a link between multi-window Gabor systems, sampling in Fock space, and phase retrieval for finite frames, we derive conditions under which square-integrable functions can be uniquely recovered from spectrogram samples on a lattice. Specifically, we provide conditions on window functions , such that every is determined up to a global phase from whenever satisfies the density condition . For real-valued functions, a density of is sufficient. Corresponding results for irregular sampling are also shown.
期刊介绍:
The Journal of Functional Analysis presents original research papers in all scientific disciplines in which modern functional analysis plays a basic role. Articles by scientists in a variety of interdisciplinary areas are published.
Research Areas Include:
• Significant applications of functional analysis, including those to other areas of mathematics
• New developments in functional analysis
• Contributions to important problems in and challenges to functional analysis