5 papers
Feynman Meets Turing: The Curse of Quantum Universality
Yannik N. Böck, Holger Boche, Frank H. P. Fitzek
We consider a formal model of quantum circuit description languages (QCDLs) in which semantically meaningful programs correspond to computable unitary matrices. We show that any se…
Arithmetic Complexity of Solutions of the Dirichlet Problem
Holger Boche, Volker Pohl, H. Vincent Poor
The classical Dirichlet problem on the unit disk can be solved by different numerical approaches. The two most common and popular approaches are the integration of the associated P…
Continuously Ordered Hierarchies of Algorithmic Information in Digital Twinning and Signal Processing
Yannik N. Böck, Holger Boche, Frank H. P. Fitzek
We consider a fractional-calculus example of a continuous hierarchy of algorithmic information in the context of its potential applications in digital twinning. Digital twinning re…
Iterative Optimization of Multidimensional Functions on Turing Machines under Performance Guarantees
Holger Boche, Volker Pohl, H. Vincent Poor
This paper studies the effective convergence of iterative methods for solving convex minimization problems using block Gauss--Seidel algorithms. It investigates whether it is alway…
Characterization of the Arithmetic Complexity of the Secrecy Capacity of Fast-Fading Gaussian Channels
Holger Boche, Andrea Grigorescu, Rafael F. Schaefer +1
This paper studies the computability of the secrecy capacity of fast-fading wiretap channels from an algorithmic perspective, examining whether it can be computed algorithmically o…