arXiv subjects

Florian Oberender

Publications and source records attributed to Florian Oberender.

5 recordsLinked to original sources

arXiv2026

Well-posedness and instability of free electron quantum tomography

Recent advancements in photon induced near-field electron microscopy (PINEM) enable the preparation, coherent manipulation and characterization of free-electron quantum states. The available measurement consists of electron energy spectrograms and the goal is the reconstruction of a density matrix representing the quantum state. This requires the solution of a constrained linear inverse problem, where a positive semi-definite trace-class operator is reconstructed given its diagonal in different bases. We show the well-posedness of this problem by exploiting the regularizing effect of the positive semi-definiteness constraint. Unusually, well-posedness in this case does not imply any stability estimates. We show that no global stability estimates exist and any estimator converges arbitrarily slowly. We also provide further bounds on the instability generally complementing the analysis done in [arXiv:1907.03438]. Furthermore, we derive a decomposition of the discretized operator which allows us to study its injectivity and stability properties. It also leads to a faster implementation which we exploit in numerical experiments validating the instability estimates and the stability of the constrained problem.

math.NA↗

arXiv2026

Quantum relative entropy regularization for quantum state tomography

The density matrix is a positive semidefinite operator of trace 1 characterizing the state of a quantum system. We consider the inverse problem to reconstruct such density matrices from indirect measurements, also known as quantum state tomography. To solve such inverse problems in high or infinite dimensional settings, we study variational regularization using the quantum relative entropy as penalty functional. Quantum relative entropy is an analog of the well-known maximum entropy functional with compositions of functions replaced by the spectral functional calculus. The main aim of this paper is to establish the regularizing property of this scheme. As a crucial intermediate step, we establish lower semi-compactness of the penalty functional with respect to the weak-$*$-topology. Moreover, we compute the subgradient, proximal operator, and conjugate functional of the quantum relative entropy on finite dimensional spaces. This enables us to apply iterative algorithms from convex optimization to solve the regularized problems numerically. To show the validity and practical value of our results, we apply our theory to the examples of Photon-Induced Near-field Electron Microscopy (PINEM) and to optical homodyne tomography.

math.NA↗

arXiv2025

On spurious fixed points in iterative maximum likelihood reconstruction for quantum tomography

Maximum likelihood iteration is one of the most commonly used reconstruction algorithms in quantum tomography. The main appeal of the method is that it is easy to implement and that it converges reliably to a physically meaningful density matrix in practice. Contradicting these practical observations, we will show that convergence to a true solution is not guaranteed in general by constructing examples for spurious fixed points. To deal with this newly found problem, we then provide a criterion based on first order optimality conditions to check if the result of the algorithm is indeed the desired solution. Furthermore, we generalize the algorithm and show that it is equivalent to factorized gradient descent.

quant-ph↗

arXiv2025

On the instabilities of naive FEM discretizations for PDEs with sign-changing coefficients

We consider a scalar diffusion equation with a sign-changing coefficient in its principle part. The well-posedness of such problems has already been studied extensively provided that the contrast of the coefficient is non-critical. Furthermore, many different approaches have been proposed to construct stable discretizations thereof, because naive finite element discretizations are expected to be non-reliable in general. However, no explicit example proving the actual instability is known and numerical experiments often do not manifest instabilities in a conclusive manner. To this end we construct an explicit example with a broad family of meshes for which we prove that the corresponding naive finite element discretizations are unstable. On the other hand, we also provide a broad family of (non-symmetric) meshes for which we prove that the discretizations are stable. Together, these two findings explain the results observed in numerical experiments.

math.NA↗

arXiv2024

A new numerical method for scalar eigenvalue problems in heterogeneous, dispersive, sign-changing materials

We consider time-harmonic scalar transmission problems between dielectric and dispersive materials with generalized Lorentz frequency laws. For certain frequency ranges such equations involve a sign-change in their principle part. Due to the resulting loss of coercivity properties, the numerical simulation of such problems is demanding. Furthermore, the related eigenvalue problems are nonlinear and give rise to additional challenges. We present a new finite element method for both of these types of problems, which is based on a weakly coercive reformulation of the PDE. The new scheme can handle $C^{1,1}$-interfaces consisting piecewise of elementary geometries. Neglecting quadrature errors, the method allows for a straightforward convergence analysis. In our implementation we apply a simple, but nonstandard quadrature rule to achieve negligible quadrature errors. We present computational experiments in 2D and 3D for both source and eigenvalue problems which confirm the stability and convergence of the new scheme.

math.NA↗