arXiv subjects

Lukas Herrmann

Publications and source records attributed to Lukas Herrmann.

10 recordsLinked to original sources

arXiv2025

A Scalable Hybrid Track-Before-Detect Tracking System: Application to Coastal Maritime Radar Surveillance

Despite their theoretical advantages, track-before-detect (TBD) methods remain largely absent from real-world multi-target tracking applications due to their computational complexity and limited scalability. This paper presents a scalable hybrid tracking framework that combines a TBD multi-target tracking algorithm with a detection-based multi-target tracking algorithm for coastal radar surveillance. In particular, the approach uses an integrated existence Poisson histogram-probabilistic multi-hypothesis tracking (IE-PHPMHT)-based TBD module with a conventional Poisson multi-Bernoulli Mixture (PMBM) point tracker. The system processes raw radar data through land clutter suppression, cell-wise detection, and clustering-based feature extraction. High-threshold detections are used to track strong targets via the point tracker, while low-threshold detections are employed for adaptive birth in the TBD module, enabling early initiation and sustained tracking of weak or ambiguous targets. Validated using real X-band radar data from the Trondheim Fjord, Norway, the approach demonstrates robust multi-target tracking performance in a full-scale application with a large observation area under resource constraints, highlighting its suitability for operational deployment in complex maritime environments needed for coastal surveillance and to support autonomy.

eess.SP↗

arXiv2025

Histogram-Probabilistic Multi-Hypothesis Tracking with Integrated Target Existence

The histogram-probabilistic multi-hypothesis tracker (H-PMHT) is a parametric approach to solving the multi-target track-before-detect (TBD) problem, using expectation maximisation (EM). A key limitation of this method is the assumption of a known and constant number of targets. In this paper, we propose the integrated existence Poisson histogram probabilistic multi-hypothesis tracker (IE-PHPMHT), for TBD of multiple targets. It extends the H-PMHT framework by adding a probability of existence to each potential target. For the derivation, we utilise a Poisson point process (PPP) measurement model and Bernoulli targets, allowing for a multi-Bernoulli birth process and an unknown, time-varying number of targets. Hence, integrated track management is achieved through the discrimination of track quality assessments based on existence probabilities. The algorithm is evaluated in a simulation study of two scenarios and is compared with several other algorithms, demonstrating its performance.

eess.SP↗

arXiv2023

The fast reduced QMC matrix-vector product

We study the approximation of integrals $\int_D f(\boldsymbol{x}^\top A) \mathrm{d} \mu(\boldsymbol{x})$, where $A$ is a matrix, by quasi-Monte Carlo (QMC) rules $N^{-1} \sum_{k=0}^{N-1} f(\boldsymbol{x}_k^\top A)$. We are interested in cases where the main cost arises from calculating the products $\boldsymbol{x}_k^\top A$. We design QMC rules for which the computation of $\boldsymbol{x}_k^\top A$, $k = 0, 1, \ldots, N-1$, can be done fast, and for which the error of the QMC rule is similar to the standard QMC error. We do not require that $A$ has any particular structure. For instance, this approach can be used when approximating the expected value of a function with a multivariate normal random variable with a given covariance matrix, or when approximating the expected value of the solution of a PDE with random coefficients. The speed-up of the computation time is sometimes better and sometimes worse than the fast QMC matrix-vector product from [Dick, Kuo, Le Gia, and Schwab, Fast QMC Matrix-Vector Multiplication, SIAM J. Sci. Comput. 37 (2015)]. As in that paper, our approach applies to (polynomial) lattice point sets, but also to digital nets (we are currently not aware of any approach which allows one to apply the fast method from the aforementioned paper of Dick, Kuo, Le Gia, and Schwab to digital nets). Our method does not use FFT, instead we use repeated values in the quadrature points to derive a reduction in the computation time. This arises from the reduced CBC construction of lattice rules and polynomial lattice rules. The reduced CBC construction has been shown to reduce the computation time for the CBC construction. Here we show that it can also be used to also reduce the computation time of the QMC rule.

math.NA↗

arXiv2023

FakET: Simulating Cryo-Electron Tomograms with Neural Style Transfer

In cryo-electron microscopy, accurate particle localization and classification are imperative. Recent deep learning solutions, though successful, require extensive training data sets. The protracted generation time of physics-based models, often employed to produce these data sets, limits their broad applicability. We introduce FakET, a method based on Neural Style Transfer, capable of simulating the forward operator of any cryo transmission electron microscope. It can be used to adapt a synthetic training data set according to reference data producing high-quality simulated micrographs or tilt-series. To assess the quality of our generated data, we used it to train a state-of-the-art localization and classification architecture and compared its performance with a counterpart trained on benchmark data. Remarkably, our technique matches the performance, boosts data generation speed 750 times, uses 33 times less memory, and scales well to typical transmission electron microscope detector sizes. It leverages GPU acceleration and parallel processing. The source code is available at https://github.com/paloha/faket.

cs.LG↗

arXiv2023

Analysis of RHC for stabilization of nonautonomous parabolic equations under uncertainty

Stabilization of a class of time-varying parabolic equations with uncertain input data using Receding Horizon Control (RHC) is investigated. The diffusion coefficient and the initial function are prescribed as random fields. We consider both cases, uniform and log-normal distributions of the diffusion coefficient. The controls are chosen to be finite-dimensional and enter into the system as a linear combination of finitely many indicator functions (actuators) supported in open subsets of the spatial domain. Under suitable regularity assumptions, we study the expected (averaged) stabilizability of the RHC-controlled system with respect to the number of actuators. An upper bound is also obtained for the failure probability of RHC in relation to the choice of the number of actuators and parameters in the equation.

math.OC↗

arXiv2022

Neural and spectral operator surrogates: unified construction and expression rate bounds

Approximation rates are analyzed for deep surrogates of maps between infinite-dimensional function spaces, arising e.g. as data-to-solution maps of linear and nonlinear partial differential equations. Specifically, we study approximation rates for Deep Neural Operator and Generalized Polynomial Chaos (gpc) Operator surrogates for nonlinear, holomorphic maps between infinite-dimensional, separable Hilbert spaces. Operator in- and outputs from function spaces are assumed to be parametrized by stable, affine representation systems. Admissible representation systems comprise orthonormal bases, Riesz bases or suitable tight frames of the spaces under consideration. Algebraic expression rate bounds are established for both, deep neural and spectral operator surrogates acting in scales of separable Hilbert spaces containing domain and range of the map to be expressed, with finite Sobolev or Besov regularity. We illustrate the abstract concepts by expression rate bounds for the coefficient-to-solution map for a linear elliptic PDE on the torus.

math.NA↗

arXiv2021

Deep neural network approximation for high-dimensional parabolic Hamilton-Jacobi-Bellman equations

The approximation of solutions to second order Hamilton--Jacobi--Bellman (HJB) equations by deep neural networks is investigated. It is shown that for HJB equations that arise in the context of the optimal control of certain Markov processes the solution can be approximated by deep neural networks without incurring the curse of dimension. The dynamics is assumed to depend affinely on the controls and the cost depends quadratically on the controls. The admissible controls take values in a bounded set.

math.NA↗

arXiv2021

Multilevel approximation of Gaussian random fields: Covariance compression, estimation and spatial prediction

Centered Gaussian random fields (GRFs) indexed by compacta such as smooth, bounded Euclidean domains or smooth, compact and orientable manifolds are determined by their covariance operators. We consider centered GRFs given as variational solutions to coloring operator equations driven by spatial white noise, with an elliptic self-adjoint pseudodifferential coloring operator from the H\"ormander class. This includes the Mat\'ern class of GRFs as a special case. Using biorthogonal multiresolution analyses on the manifold, we prove that the precision and covariance operators, respectively, may be identified with bi-infinite matrices and finite sections may be diagonally preconditioned rendering the condition number independent of the dimension $p$ of this section. We prove that a tapering strategy by thresholding applied on finite sections of the bi-infinite precision and covariance matrices results in optimally numerically sparse approximations. That is, asymptotically only linearly many nonzero matrix entries are sufficient to approximate the original section of the bi-infinite covariance or precision matrix using this tapering strategy to arbitrary precision. The locations of these nonzero matrix entries are known a priori. The tapered covariance or precision matrices may also be optimally diagonally preconditioned. Analysis of the relative size of the entries of the tapered covariance matrices motivates novel, multilevel Monte Carlo (MLMC) oracles for covariance estimation, in sample complexity that scales log-linearly with respect to the number $p$ of parameters. In addition, we propose and analyze a novel compressive algorithm for simulating and kriging of GRFs. The complexity (work and memory vs. accuracy) of these three algorithms scales near-optimally in terms of the number of parameters $p$ of the sample-wise approximation of the GRF in Sobolev scales.

math.ST↗

arXiv2020

Deep neural network approximation for high-dimensional elliptic PDEs with boundary conditions

In recent work it has been established that deep neural networks are capable of approximating solutions to a large class of parabolic partial differential equations without incurring the curse of dimension. However, all this work has been restricted to problems formulated on the whole Euclidean domain. On the other hand, most problems in engineering and the sciences are formulated on finite domains and subjected to boundary conditions. The present paper considers an important such model problem, namely the Poisson equation on a domain $D\subset \mathbb{R}^d$ subject to Dirichlet boundary conditions. It is shown that deep neural networks are capable of representing solutions of that problem without incurring the curse of dimension. The proofs are based on a probabilistic representation of the solution to the Poisson equation as well as a suitable sampling method.

math.NA↗

arXiv2016

Numerical analysis of lognormal diffusions on the sphere

Numerical solutions of stationary diffusion equations on the unit sphere with isotropic lognormal diffusion coefficients are considered. H\"older regularity in $L^p$ sense for isotropic Gaussian random fields is obtained and related to the regularity of the driving lognormal coefficients. This yields regularity in $L^p$ sense of the solution to the diffusion problem in Sobolev spaces. Convergence rate estimates of multilevel Monte Carlo Finite and Spectral Element discretizations of these problems are then deduced. Specifically, a convergence analysis is provided with convergence rate estimates in terms of the number of Monte Carlo samples of the solution to the considered diffusion equation and in terms of the total number of degrees of freedom of the spatial discretization, and with bounds for the total work required by the algorithm in the case of Finite Element discretizations. The obtained convergence rates are solely in terms of the decay of the angular power spectrum of the (logarithm) of the diffusion coefficient. Numerical examples confirm the presented theory.

math.PR↗