Source author record

Lukas Liehr

Lukas Liehr appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

3works
3topics
2close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2026arXiv

Nonlinear determination and phase retrieval under unimodular constraints

We study nonlinear determination problems in Hilbert spaces in which inner products are observed up to prescribed rotations in the complex plane. Given a Hilbert space $H$ and a subset $Θ$ of the unit circle $\mathbb{T}$, we say that a system $\mathbf{G}\subseteq H$ does $Θ$-phase retrieval ($Θ$-PR) if for all $f,h\in H$ the condition that for every $g\in\mathbf{G}$ there exists $θ_g\inΘ$ with $\langle f,g\rangle=θ_g\langle h,g\rangle$ forces $f=θh$ for some $θ\inΘ$. This framework unifies classical phase retrieval ($Θ=\mathbb{T}$) and sign retrieval ($Θ=\{1,-1\}$). For every countable $Θ$ we give a complete characterization of $Θ$-PR in terms of covers of $\mathbf{G}$ and geometric relations among vectors in the corresponding orthogonal complements, extending the complement-property characterization of Cahill, Casazza, and Daubechies. For cyclic phase sets we show that $Θ$-PR is equivalent to the existence of specific second-order recurrence relations. We apply this to obtain a sharp lattice density criterion for $Θ$-PR of exponential systems. For uncountable $Θ$ we obtain a topological dichotomy in the Fourier determination setting, showing that $Θ$-PR is characterized in terms of connectedness of $Θ$. We further develop a Möbius-invariant framework, proving that $Θ$-PR is preserved under circle automorphisms and is governed by projective invariants such as the cross ratio. Finally, in $\mathbb{C}^d$ we determine sharp impossibility thresholds and prove that for countable $Θ$ the property is generic once one passes the failure regime, yielding the minimal number of vectors required for $Θ$-PR.

preprint2022arXiv

Injectivity of Gabor phase retrieval from lattice measurements

We establish novel uniqueness results for the Gabor phase retrieval problem: if $\mathcal{G} : L^2(\mathbb{R}) \to L^2(\mathbb{R}^2)$ denotes the Gabor transform then every $f \in L^4[-\tfrac{c}{2},\tfrac{c}{2}]$ is determined up to a global phase by the values $|\mathcal{G}f(x,ω)|$ where $(x,ω)$ are points on the lattice $b^{-1}\mathbb{Z} \times (2c)^{-1}\mathbb{Z}$ and $b>0$ is an arbitrary positive constant. This for the first time shows that compactly-supported, complex-valued functions can be uniquely reconstructed from lattice samples of their spectrogram. Moreover, by making use of recent developments related to sampling in shift-invariant spaces by Gröchenig, Romero and Stöckler, we prove analogous uniqueness results for functions in shift-invariant spaces with Gaussian generator. Generalizations to nonuniform sampling are also presented. Finally, we compare our results to the situation where the considered signals are assumed to be real-valued.

preprint2022arXiv

On foundational discretization barriers in STFT phase retrieval

We prove that there exists no window function $g \in L^2(\mathbb{R})$ and no lattice $\mathcal{L} \subset \mathbb{R}^2$ such that every $f \in L^2(\mathbb{R})$ is determined up to a global phase by spectrogram samples $|V_gf(\mathcal{L})|$ where $V_gf$ denotes the short-time Fourier transform of $f$ with respect to $g$. Consequently, the forward operator $f \mapsto |V_gf(\mathcal{L})|$ mapping a square-integrable function to its spectrogram samples on a lattice is never injective on the quotient space $L^2(\mathbb{R}) / {\sim}$ with $f \sim h$ identifying two functions which agree up to a multiplicative constant of modulus one. We will further elaborate this result and point out that under mild conditions on the lattice $\mathcal{L}$, functions which produce identical spectrogram samples but do not agree up to a unimodular constant can be chosen to be real-valued. The derived results highlight that in the discretization of the STFT phase retrieval problem from lattice measurements, a prior restriction of the underlying signal space to a proper subspace of $L^2(\mathbb{R})$ is inevitable.