-
Solving the Product Breakdown Structure Problem with constrained QAOA
Authors:
René Zander,
Raphael Seidel,
Matteo Inajetovic,
Niklas Steinmann,
Matic Petrič
Abstract:
Constrained optimization problems, where not all possible variable assignments are feasible solutions, comprise numerous practically relevant optimization problems such as the Traveling Salesman Problem (TSP), or portfolio optimization. Established methods such as quantum annealing or vanilla QAOA usually transform the problem statement into a QUBO (Quadratic Unconstrained Binary Optimization) for…
▽ More
Constrained optimization problems, where not all possible variable assignments are feasible solutions, comprise numerous practically relevant optimization problems such as the Traveling Salesman Problem (TSP), or portfolio optimization. Established methods such as quantum annealing or vanilla QAOA usually transform the problem statement into a QUBO (Quadratic Unconstrained Binary Optimization) form, where the constraints are enforced by auxiliary terms in the QUBO objective. Consequently, such approaches fail to utilize the additional structure provided by the constraints. In this paper, we present a method for solving the industry relevant Product Breakdown Structure problem. Our solution is based on constrained QAOA, which by construction never explores the part of the Hilbert space that represents solutions forbidden by the problem constraints. The size of the search space is thereby reduced significantly. We experimentally show that this approach has not only a very favorable scaling behavior, but also appears to suppress the negative effects of Barren Plateaus.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
Authors:
Raphael Seidel,
Sebastian Bock,
René Zander,
Matic Petrič,
Niklas Steinmann,
Nikolay Tcholtchev,
Manfred Hauswirth
Abstract:
While significant progress has been made on the hardware side of quantum computing, support for high-level quantum programming abstractions remains underdeveloped compared to classical programming languages. In this article, we introduce Qrisp, a framework designed to bridge several gaps between high-level programming paradigms in state-of-the-art software engineering and the physical reality of t…
▽ More
While significant progress has been made on the hardware side of quantum computing, support for high-level quantum programming abstractions remains underdeveloped compared to classical programming languages. In this article, we introduce Qrisp, a framework designed to bridge several gaps between high-level programming paradigms in state-of-the-art software engineering and the physical reality of today's quantum hardware. The framework aims to provide a systematic approach to quantum algorithm development such that they can be effortlessly implemented, maintained and improved. We propose a number of programming abstractions that are inspired by classical paradigms, yet consistently focus on the particular needs of a quantum developer. Unlike many other high-level language approaches, Qrisp's standout feature is its ability to compile programs to the circuit level, making them executable on most existing physical backends. The introduced abstractions enable the Qrisp compiler to leverage algorithm structure for increased compilation efficiency. Finally, we present a set of code examples, including an implementation of Shor's factoring algorithm. For the latter, the resulting circuit shows significantly reduced quantum resource requirements, strongly supporting the claim that systematic quantum algorithm development can give quantitative benefits.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Eclipse Qrisp QAOA: description and preliminary comparison with Qiskit counterparts
Authors:
Eneko Osaba,
Matic Petrič,
Izaskun Oregi,
Raphael Seidel,
Alejandra Ruiz,
Michail-Alexandros Kourtis
Abstract:
This paper focuses on the presentation and evaluation of the high-level quantum programming language Eclipse Qrisp. The presented framework, used for develo** and compiling quantum algorithms, is measured in terms of efficiency for its implementation of the Quantum Approximation Optimization Algorithm (QAOA) Module. We measure this efficiency and compare it against two alternative QAOA algorithm…
▽ More
This paper focuses on the presentation and evaluation of the high-level quantum programming language Eclipse Qrisp. The presented framework, used for develo** and compiling quantum algorithms, is measured in terms of efficiency for its implementation of the Quantum Approximation Optimization Algorithm (QAOA) Module. We measure this efficiency and compare it against two alternative QAOA algorithm implementations using IBM's Qiskit toolkit. The evaluation process has been carried out over a benchmark composed of 15 instances of the well-known Maximum Cut Problem. Through this preliminary experimentation, Eclipse Qrisp demonstrated promising results, outperforming both versions of its counterparts in terms of results quality and circuit complexity.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
NToP: NeRF-Powered Large-scale Dataset Generation for 2D and 3D Human Pose Estimation in Top-View Fisheye Images
Authors:
**grui Yu,
Dipankar Nandi,
Roman Seidel,
Gangolf Hirtz
Abstract:
Human pose estimation (HPE) in the top-view using fisheye cameras presents a promising and innovative application domain. However, the availability of datasets capturing this viewpoint is extremely limited, especially those with high-quality 2D and 3D keypoint annotations. Addressing this gap, we leverage the capabilities of Neural Radiance Fields (NeRF) technique to establish a comprehensive pipe…
▽ More
Human pose estimation (HPE) in the top-view using fisheye cameras presents a promising and innovative application domain. However, the availability of datasets capturing this viewpoint is extremely limited, especially those with high-quality 2D and 3D keypoint annotations. Addressing this gap, we leverage the capabilities of Neural Radiance Fields (NeRF) technique to establish a comprehensive pipeline for generating human pose datasets from existing 2D and 3D datasets, specifically tailored for the top-view fisheye perspective. Through this pipeline, we create a novel dataset NToP570K (NeRF-powered Top-view human Pose dataset for fisheye cameras with over 570 thousand images), and conduct an extensive evaluation of its efficacy in enhancing neural networks for 2D and 3D top-view human pose estimation. A pretrained ViTPose-B model achieves an improvement in AP of 33.3 % on our validation set for 2D HPE after finetuning on our training set. A similarly finetuned HybrIK-Transformer model gains 53.7 mm reduction in PA-MPJPE for 3D HPE on the validation set.
△ Less
Submitted 24 April, 2024; v1 submitted 28 February, 2024;
originally announced February 2024.
-
Quantum Backtracking in Qrisp Applied to Sudoku Problems
Authors:
Raphael Seidel,
René Zander,
Matic Petrič,
Niklas Steinmann,
David Q. Liu,
Nikolay Tcholtchev,
Manfred Hauswirth
Abstract:
The quantum backtracking algorithm proposed by Ashley Montanaro raised considerable interest, as it provides a quantum speed-up for a large class of classical optimization algorithms. It does not suffer from Barren-Plateaus and transfers well into the fault-tolerant era, as it requires only a limited number of arbitrary angle gates. Despite its potential, the algorithm has seen limited implementat…
▽ More
The quantum backtracking algorithm proposed by Ashley Montanaro raised considerable interest, as it provides a quantum speed-up for a large class of classical optimization algorithms. It does not suffer from Barren-Plateaus and transfers well into the fault-tolerant era, as it requires only a limited number of arbitrary angle gates. Despite its potential, the algorithm has seen limited implementation efforts, presumably due to its abstract formulation. In this work, we provide a detailed instruction on implementing the quantum step operator for arbitrary backtracking instances. For a single controlled diffuser of a binary backtracking tree with depth n, our implementation requires only $6n+14$ CX gates. We detail the process of constructing accept and reject oracles for Sudoku problems using our interface to quantum backtracking. The presented code is written using Qrisp, a high-level quantum programming language, making it executable on most current physical backends and simulators. Subsequently, we perform several simulator based experiments and demonstrate solving 4x4 Sudoku instances with up to 9 empty fields. This is, to the best of our knowledge, the first instance of a compilable implementation of this generality, marking a significant and exciting step forward in quantum software engineering.
△ Less
Submitted 29 February, 2024; v1 submitted 15 February, 2024;
originally announced February 2024.
-
A Note on the 2-Colored Rectilinear Crossing Number of Random Point Sets in the Unit Square
Authors:
Sergio Cabello,
Éva Czabarka,
Ruy Fabila-Monroy,
Yuya Higashikawa,
Raimund Seidel,
László Székely,
Josef Tkadlec,
Alexandra Wesolek
Abstract:
Let $S$ be a set of four points chosen independently, uniformly at random from a square. Join every pair of points of $S$ with a straight line segment. Color these edges red if they have positive slope and blue, otherwise. We show that the probability that $S$ defines a pair of crossing edges of the same color is equal to $1/4$. This is connected to a recent result of Aichholzer et al. [GD 2019] w…
▽ More
Let $S$ be a set of four points chosen independently, uniformly at random from a square. Join every pair of points of $S$ with a straight line segment. Color these edges red if they have positive slope and blue, otherwise. We show that the probability that $S$ defines a pair of crossing edges of the same color is equal to $1/4$. This is connected to a recent result of Aichholzer et al. [GD 2019] who showed that by 2-colouring the edges of a geometric graph and counting monochromatic crossings instead of crossings, the number of crossings can be more than halfed. Our result shows that for the described random drawings, there is a coloring of the edges such that the number of monochromatic crossings is in expectation $\frac{1}{2}-\frac{7}{50}$ of the total number of crossings.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Uncomputation in the Qrisp high-level Quantum Programming Framework
Authors:
Raphael Seidel,
Nikolay Tcholtchev,
Sebastian Bock,
Manfred Hauswirth
Abstract:
Uncomputation is an essential part of reversible computing and plays a vital role in quantum computing. Using this technique, memory resources can be safely deallocated without performing a nonreversible deletion process. For the case of quantum computing, several algorithms depend on this as they require disentangled states in the course of their execution. Thus, uncomputation is not only about r…
▽ More
Uncomputation is an essential part of reversible computing and plays a vital role in quantum computing. Using this technique, memory resources can be safely deallocated without performing a nonreversible deletion process. For the case of quantum computing, several algorithms depend on this as they require disentangled states in the course of their execution. Thus, uncomputation is not only about resource management, but is also required from an algorithmic point of view. However, synthesizing uncomputation circuits is tedious and can be automated. In this paper, we describe the interface for automated generation of uncomputation circuits in our Qrisp framework. Our algorithm for synthesizing uncomputation circuits in Qrisp is based on an improved version of "Unqomp", a solution presented by Paradis et. al. Our paper also presents some improvements to the original algorithm, in order to make it suitable for the needs of a high-level programming framework. Qrisp itself is a fully compilable, high-level programming language/framework for gate-based quantum computers, which abstracts from many of the underlying hardware details. Qrisp's goal is to support a high-level programming paradigm as known from classical software development.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Human Pose Estimation in Monocular Omnidirectional Top-View Images
Authors:
**grui Yu,
Tobias Scheck,
Roman Seidel,
Yukti Adya,
Dipankar Nandi,
Gangolf Hirtz
Abstract:
Human pose estimation (HPE) with convolutional neural networks (CNNs) for indoor monitoring is one of the major challenges in computer vision. In contrast to HPE in perspective views, an indoor monitoring system can consist of an omnidirectional camera with a field of view of 180° to detect the pose of a person with only one sensor per room. To recognize human pose, the detection of keypoints is a…
▽ More
Human pose estimation (HPE) with convolutional neural networks (CNNs) for indoor monitoring is one of the major challenges in computer vision. In contrast to HPE in perspective views, an indoor monitoring system can consist of an omnidirectional camera with a field of view of 180° to detect the pose of a person with only one sensor per room. To recognize human pose, the detection of keypoints is an essential upstream step. In our work we propose a new dataset for training and evaluation of CNNs for the task of keypoint detection in omnidirectional images. The training dataset, THEODORE+, consists of 50,000 images and is created by a 3D rendering engine, where humans are randomly walking through an indoor environment. In a dynamically created 3D scene, persons move randomly with simultaneously moving omnidirectional camera to generate synthetic RGB images and 2D and 3D ground truth. For evaluation purposes, the real-world PoseFES dataset with two scenarios and 701 frames with up to eight persons per scene was captured and annotated. We propose four training paradigms to finetune or re-train two top-down models in MMPose and two bottom-up models in CenterNet on THEODORE+. Beside a qualitative evaluation we report quantitative results. Compared to a COCO pretrained baseline, we achieve significant improvements especially for top-view scenes on the PoseFES dataset. Our datasets can be found at https://www.tu-chemnitz.de/etit/dst/forschung/comp_vision/datasets/index.php.en.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Ångstrom depth resolution with chemical specificity at the liquid-vapor interface
Authors:
R. Dupuy,
J. Filser,
C. Richter,
T. Buttersack,
F. Trinter,
S. Gholami,
R. Seidel,
C. Nicolas,
J. Bozek,
D. Egger,
H. Oberhofer,
S. Thürmer,
U. Hergenhahn,
K. Reuter,
B. Winter,
H. Bluhm
Abstract:
The determination of depth profiles across interfaces is of primary importance in many scientific and technological areas. Photoemission spectroscopy is in principle well suited for this purpose, yet a quantitative implementation for investigations of liquid-vapor interfaces is hindered by the lack of understanding of electron-scattering processes in liquids. Previous studies have shown, however,…
▽ More
The determination of depth profiles across interfaces is of primary importance in many scientific and technological areas. Photoemission spectroscopy is in principle well suited for this purpose, yet a quantitative implementation for investigations of liquid-vapor interfaces is hindered by the lack of understanding of electron-scattering processes in liquids. Previous studies have shown, however, that core-level photoelectron angular distributions (PADs) are altered by depth-dependent elastic electron scattering and can, thus, reveal information on the depth distribution of species across the interface. Here, we explore this concept further and show that the anisotropy parameter characterizing the PAD scales linearly with the average distance of atoms along the surface normal. This behavior can be accounted for in the low-collision-number regime. We also show that results for different atomic species can be compared on the same length scale. We demonstrate that atoms separated by about 1~Å~along the surface normal can be clearly distinguished with this method, achieving excellent depth resolution.
△ Less
Submitted 14 February, 2023; v1 submitted 30 September, 2022;
originally announced September 2022.
-
The Influence of Dimensions on the Complexity of Computing Decision Trees
Authors:
Stephen G. Kobourov,
Maarten Löffler,
Fabrizio Montecchiani,
Marcin Pilipczuk,
Ignaz Rutter,
Raimund Seidel,
Manuel Sorge,
Jules Wulms
Abstract:
A decision tree recursively splits a feature space $\mathbb{R}^{d}$ and then assigns class labels based on the resulting partition. Decision trees have been part of the basic machine-learning toolkit for decades. A large body of work treats heuristic algorithms to compute a decision tree from training data, usually aiming to minimize in particular the size of the resulting tree. In contrast, littl…
▽ More
A decision tree recursively splits a feature space $\mathbb{R}^{d}$ and then assigns class labels based on the resulting partition. Decision trees have been part of the basic machine-learning toolkit for decades. A large body of work treats heuristic algorithms to compute a decision tree from training data, usually aiming to minimize in particular the size of the resulting tree. In contrast, little is known about the complexity of the underlying computational problem of computing a minimum-size tree for the given training data. We study this problem with respect to the number $d$ of dimensions of the feature space. We show that it can be solved in $O(n^{2d + 1}d)$ time, but under reasonable complexity-theoretic assumptions it is not possible to achieve $f(d) \cdot n^{o(d / \log d)}$ running time, where $n$ is the number of training examples. The problem is solvable in $(dR)^{O(dR)} \cdot n^{1+o(1)}$ time, if there are exactly two classes and $R$ is an upper bound on the number of tree leaves labeled with the first~class.
△ Less
Submitted 2 June, 2022; v1 submitted 16 May, 2022;
originally announced May 2022.
-
OmniPD: One-Step Person Detection in Top-View Omnidirectional Indoor Scenes
Authors:
**grui Yu,
Roman Seidel,
Gangolf Hirtz
Abstract:
We propose a one-step person detector for topview omnidirectional indoor scenes based on convolutional neural networks (CNNs). While state of the art person detectors reach competitive results on perspective images, missing CNN architectures as well as training data that follows the distortion of omnidirectional images makes current approaches not applicable to our data. The method predicts boundi…
▽ More
We propose a one-step person detector for topview omnidirectional indoor scenes based on convolutional neural networks (CNNs). While state of the art person detectors reach competitive results on perspective images, missing CNN architectures as well as training data that follows the distortion of omnidirectional images makes current approaches not applicable to our data. The method predicts bounding boxes of multiple persons directly in omnidirectional images without perspective transformation, which reduces overhead of pre- and post-processing and enables real-time performance. The basic idea is to utilize transfer learning to fine-tune CNNs trained on perspective images with data augmentation techniques for detection in omnidirectional images. We fine-tune two variants of Single Shot MultiBox detectors (SSDs). The first one uses Mobilenet v1 FPN as feature extractor (moSSD). The second one uses ResNet50 v1 FPN (resSSD). Both models are pre-trained on Microsoft Common Objects in Context (COCO) dataset. We fine-tune both models on PASCAL VOC07 and VOC12 datasets, specifically on class person. Random 90-degree rotation and random vertical flip** are used for data augmentation in addition to the methods proposed by original SSD. We reach an average precision (AP) of 67.3 % with moSSD and 74.9 % with resSSD onthe evaluation dataset. To enhance the fine-tuning process, we add a subset of HDA Person dataset and a subset of PIROPOdatabase and reduce the number of perspective images to PASCAL VOC07. The AP rises to 83.2 % for moSSD and 86.3 % for resSSD, respectively. The average inference speed is 28 ms per image for moSSD and 38 ms per image for resSSD using Nvidia Quadro P6000. Our method is applicable to other CNN-based object detectors and can potentially generalize for detecting other objects in omnidirectional images.
△ Less
Submitted 14 April, 2022;
originally announced April 2022.
-
Efficient Floating Point Arithmetic for Quantum Computers
Authors:
Raphael Seidel,
Nikolay Tcholtchev,
Sebastian Bock,
Colin Kai-Uwe Becker,
Manfred Hauswirth
Abstract:
One of the major promises of quantum computing is the realization of SIMD (single instruction - multiple data) operations using the phenomenon of superposition. Since the dimension of the state space grows exponentially with the number of qubits, we can easily reach situations where we pay less than a single quantum gate per data point for data-processing instructions which would be rather expensi…
▽ More
One of the major promises of quantum computing is the realization of SIMD (single instruction - multiple data) operations using the phenomenon of superposition. Since the dimension of the state space grows exponentially with the number of qubits, we can easily reach situations where we pay less than a single quantum gate per data point for data-processing instructions which would be rather expensive in classical computing. Formulating such instructions in terms of quantum gates, however, still remains a challenging task. Laying out the foundational functions for more advanced data-processing is therefore a subject of paramount importance for advancing the realm of quantum computing. In this paper, we introduce the formalism of encoding so called-semi-boolean polynomials. As it turns out, arithmetic $\mathbb{Z}/2^n\mathbb{Z}$ ring operations can be formulated as semi-boolean polynomial evaluations, which allows convenient generation of unsigned integer arithmetic quantum circuits. For arithmetic evaluations, the resulting algorithm has been known as Fourier-arithmetic. We extend this type of algorithm with additional features, such as ancilla-free in-place multiplication and integer coefficient polynomial evaluation. Furthermore, we introduce a tailor-made method for encoding signed integers succeeded by an encoding for arbitrary floating-point numbers. This representation of floating-point numbers and their processing can be applied to any quantum algorithm that performs unsigned modular integer arithmetic. We discuss some further performance enhancements of the semi boolean polynomial encoder and finally supply a complexity estimation. The application of our methods to a 32-bit unsigned integer multiplication demonstrated a 90\% circuit depth reduction compared to carry-ripple approaches.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Automatic Generation of Grover Quantum Oracles for Arbitrary Data Structures
Authors:
Raphael Seidel,
Colin Kai-Uwe Becker,
Sebastian Bock,
Nikolay Tcholtchev,
Ilie-Daniel Gheorge-Pop,
Manfred Hauswirth
Abstract:
The steadily growing research interest in quantum computing - together with the accompanying technological advances in the realization of quantum hardware - fuels the development of meaningful real-world applications, as well as implementations for well-known quantum algorithms. One of the most prominent examples till today is Grover's algorithm, which can be used for efficient search in unstructu…
▽ More
The steadily growing research interest in quantum computing - together with the accompanying technological advances in the realization of quantum hardware - fuels the development of meaningful real-world applications, as well as implementations for well-known quantum algorithms. One of the most prominent examples till today is Grover's algorithm, which can be used for efficient search in unstructured databases. Quantum oracles that are frequently masked as black boxes play an important role in Grover's algorithm. Hence, the automatic generation of oracles is of paramount importance. Moreover, the automatic generation of the corresponding circuits for a Grover quantum oracle is deeply linked to the synthesis of reversible quantum logic, which - despite numerous advances in the field - still remains a challenge till today in terms of synthesizing efficient and scalable circuits for complex boolean functions.
In this paper, we present a flexible method for automatically encoding unstructured databases into oracles, which can then be efficiently searched with Grover's algorithm. Furthermore, we develop a tailor-made method for quantum logic synthesis, which vastly improves circuit complexity over other current approaches. Finally, we present another logic synthesis method that considers the requirements of scaling onto real world backends. We compare our method with other approaches through evaluating the oracle generation for random databases and analyzing the resulting circuit complexities using various metrics.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
OmniFlow: Human Omnidirectional Optical Flow
Authors:
Roman Seidel,
André Apitzsch,
Gangolf Hirtz
Abstract:
Optical flow is the motion of a pixel between at least two consecutive video frames and can be estimated through an end-to-end trainable convolutional neural network. To this end, large training datasets are required to improve the accuracy of optical flow estimation. Our paper presents OmniFlow: a new synthetic omnidirectional human optical flow dataset. Based on a rendering engine we create a na…
▽ More
Optical flow is the motion of a pixel between at least two consecutive video frames and can be estimated through an end-to-end trainable convolutional neural network. To this end, large training datasets are required to improve the accuracy of optical flow estimation. Our paper presents OmniFlow: a new synthetic omnidirectional human optical flow dataset. Based on a rendering engine we create a naturalistic 3D indoor environment with textured rooms, characters, actions, objects, illumination and motion blur where all components of the environment are shuffled during the data capturing process. The simulation has as output rendered images of household activities and the corresponding forward and backward optical flow. To verify the data for training volumetric correspondence networks for optical flow estimation we train different subsets of the data and test on OmniFlow with and without Test-Time-Augmentation. As a result we have generated 23,653 image pairs and corresponding forward and backward optical flow. Our dataset can be downloaded from: https://mytuc.org/byfs
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Learning from THEODORE: A Synthetic Omnidirectional Top-View Indoor Dataset for Deep Transfer Learning
Authors:
Tobias Scheck,
Roman Seidel,
Gangolf Hirtz
Abstract:
Recent work about synthetic indoor datasets from perspective views has shown significant improvements of object detection results with Convolutional Neural Networks(CNNs). In this paper, we introduce THEODORE: a novel, large-scale indoor dataset containing 100,000 high-resolution diversified fisheye images with 14 classes. To this end, we create 3D virtual environments of living rooms, different h…
▽ More
Recent work about synthetic indoor datasets from perspective views has shown significant improvements of object detection results with Convolutional Neural Networks(CNNs). In this paper, we introduce THEODORE: a novel, large-scale indoor dataset containing 100,000 high-resolution diversified fisheye images with 14 classes. To this end, we create 3D virtual environments of living rooms, different human characters and interior textures. Beside capturing fisheye images from virtual environments we create annotations for semantic segmentation, instance masks and bounding boxes for object detection tasks. We compare our synthetic dataset to state of the art real-world datasets for omnidirectional images. Based on MS COCO weights, we show that our dataset is well suited for fine-tuning CNNs for object detection. Through a high generalization of our models by means of image synthesis and domain randomization, we reach an AP up to 0.84 for class person on High-Definition Analytics dataset.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Compressed Sensing with 1D Total Variation: Breaking Sample Complexity Barriers via Non-Uniform Recovery (iTWIST'20)
Authors:
Martin Genzel,
Maximilian März,
Robert Seidel
Abstract:
This paper investigates total variation minimization in one spatial dimension for the recovery of gradient-sparse signals from undersampled Gaussian measurements. Recently established bounds for the required sampling rate state that uniform recovery of all $s$-gradient-sparse signals in $\mathbb{R}^n$ is only possible with $m \gtrsim \sqrt{s n} \cdot \text{PolyLog}(n)$ measurements. Such a conditi…
▽ More
This paper investigates total variation minimization in one spatial dimension for the recovery of gradient-sparse signals from undersampled Gaussian measurements. Recently established bounds for the required sampling rate state that uniform recovery of all $s$-gradient-sparse signals in $\mathbb{R}^n$ is only possible with $m \gtrsim \sqrt{s n} \cdot \text{PolyLog}(n)$ measurements. Such a condition is especially prohibitive for high-dimensional problems, where $s$ is much smaller than $n$. However, previous empirical findings seem to indicate that the latter sampling rate does not reflect the typical behavior of total variation minimization. Indeed, this work provides a rigorous analysis that breaks the $\sqrt{s n}$-bottleneck for a large class of natural signals. The main result shows that non-uniform recovery succeeds with high probability for $m \gtrsim s \cdot \text{PolyLog}(n)$ measurements if the jump discontinuities of the signal vector are sufficiently well separated. In particular, this guarantee allows for signals arising from a discretization of piecewise constant functions defined on an interval. The present paper serves as a short summary of the main results in our recent work [arxiv:2001.09952].
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
Compressed Sensing with 1D Total Variation: Breaking Sample Complexity Barriers via Non-Uniform Recovery
Authors:
Martin Genzel,
Maximilian März,
Robert Seidel
Abstract:
This paper investigates total variation minimization in one spatial dimension for the recovery of gradient-sparse signals from undersampled Gaussian measurements. Recently established bounds for the required sampling rate state that uniform recovery of all $s$-gradient-sparse signals in $\mathbb{R}^n$ is only possible with $m \gtrsim \sqrt{s n} \cdot \text{PolyLog}(n)$ measurements. Such a conditi…
▽ More
This paper investigates total variation minimization in one spatial dimension for the recovery of gradient-sparse signals from undersampled Gaussian measurements. Recently established bounds for the required sampling rate state that uniform recovery of all $s$-gradient-sparse signals in $\mathbb{R}^n$ is only possible with $m \gtrsim \sqrt{s n} \cdot \text{PolyLog}(n)$ measurements. Such a condition is especially prohibitive for high-dimensional problems, where $s$ is much smaller than $n$. However, previous empirical findings seem to indicate that this sampling rate does not reflect the typical behavior of total variation minimization. The present work provides a rigorous analysis that breaks the $\sqrt{s n}$-bottleneck for a large class of "natural" signals. The main result shows that non-uniform recovery succeeds with high probability for $m \gtrsim s \cdot \text{PolyLog}(n)$ measurements if the jump discontinuities of the signal vector are sufficiently well separated. In particular, this guarantee allows for signals arising from a discretization of piecewise constant functions defined on an interval. The key ingredient of the proof is a novel upper bound for the associated conic Gaussian mean width, which is based on a signal-dependent, non-dyadic Haar wavelet transform. Furthermore, a natural extension to stable and robust recovery is addressed.
△ Less
Submitted 27 October, 2021; v1 submitted 27 January, 2020;
originally announced January 2020.
-
Inserting one edge into a simple drawing is hard
Authors:
Alan Arroyo,
Fabian Klute,
Irene Parada,
Raimund Seidel,
Birgit Vogtenhuber,
Tilo Wiedera
Abstract:
A {\em simple drawing} $D(G)$ of a graph $G$ is one where each pair of edges share at most one point: either a common endpoint or a proper crossing. An edge $e$ in the complement of $G$ can be {\em inserted} into $D(G)$ if there exists a simple drawing of $G+e$ extending $D(G)$. As a result of Levi's Enlargement Lemma, if a drawing is rectilinear (pseudolinear), that is, the edges can be extended…
▽ More
A {\em simple drawing} $D(G)$ of a graph $G$ is one where each pair of edges share at most one point: either a common endpoint or a proper crossing. An edge $e$ in the complement of $G$ can be {\em inserted} into $D(G)$ if there exists a simple drawing of $G+e$ extending $D(G)$. As a result of Levi's Enlargement Lemma, if a drawing is rectilinear (pseudolinear), that is, the edges can be extended into an arrangement of lines (pseudolines), then any edge in the complement of $G$ can be inserted. In contrast, we show that it is NP -complete to decide whether one edge can be inserted into a simple drawing. This remains true even if we assume that the drawing is pseudocircular, that is, the edges can be extended to an arrangement of pseudocircles. On the positive side, we show that, given an arrangement of pseudocircles $\mathcal{A}$ and a pseudosegment $σ$, it can be decided in polynomial time whether there exists a pseudocircle $Φ_σ$ extending $σ$ for which $\mathcal{A}\cup\{Φ_σ\}$ is again an arrangement of pseudocircles.
△ Less
Submitted 14 January, 2022; v1 submitted 16 September, 2019;
originally announced September 2019.
-
Orthogonal Matching Pursuit with Tikhonov and Landweber Regularization
Authors:
Robert Seidel
Abstract:
The Orthogonal Matching Pursuit (OMP) for compressed sensing iterates over a scheme of support augmentation and signal estimation. We present two novel matching pursuit algorithms with intrinsic regularization of the signal estimation step that do not rely on a priori knowledge of the signal's sparsity. An iterative approach allows for a hardware efficient implementation of our algorithm, and enab…
▽ More
The Orthogonal Matching Pursuit (OMP) for compressed sensing iterates over a scheme of support augmentation and signal estimation. We present two novel matching pursuit algorithms with intrinsic regularization of the signal estimation step that do not rely on a priori knowledge of the signal's sparsity. An iterative approach allows for a hardware efficient implementation of our algorithm, and enables real-world applications of compressed sensing. We provide a series of numerical examples that demonstrate a good performance, especially when the number of measurements is relatively small.
△ Less
Submitted 20 February, 2019;
originally announced February 2019.
-
Improved Person Detection on Omnidirectional Images with Non-maxima Suppression
Authors:
Roman Seidel,
André Apitzsch,
Gangolf Hirtz
Abstract:
We propose a person detector on omnidirectional images, an accurate method to generate minimal enclosing rectangles of persons. The basic idea is to adapt the qualitative detection performance of a convolutional neural network based method, namely YOLOv2 to fish-eye images. The design of our approach picks up the idea of a state-of-the-art object detector and highly overlap** areas of images wit…
▽ More
We propose a person detector on omnidirectional images, an accurate method to generate minimal enclosing rectangles of persons. The basic idea is to adapt the qualitative detection performance of a convolutional neural network based method, namely YOLOv2 to fish-eye images. The design of our approach picks up the idea of a state-of-the-art object detector and highly overlap** areas of images with their regions of interests. This overlap reduces the number of false negatives. Based on the raw bounding boxes of the detector we fine-tuned overlap** bounding boxes by three approaches: non-maximum suppression, soft non-maximum suppression and soft non-maximum suppression with Gaussian smoothing. The evaluation was done on the PIROPO database and an own annotated Flat dataset, supplemented with bounding boxes on omnidirectional images. We achieve an average precision of 64.4 % with YOLOv2 for the class person on PIROPO and 77.6 % on Flat. For this purpose we fine-tuned the soft non-maximum suppression with Gaussian smoothing.
△ Less
Submitted 25 March, 2019; v1 submitted 22 May, 2018;
originally announced May 2018.
-
Cubes3D: Neural Network based Optical Flow in Omnidirectional Image Scenes
Authors:
André Apitzsch,
Roman Seidel,
Gangolf Hirtz
Abstract:
Optical flow estimation with convolutional neural networks (CNNs) has recently solved various tasks of computer vision successfully. In this paper we adapt a state-of-the-art approach for optical flow estimation to omnidirectional images. We investigate CNN architectures to determine high motion variations caused by the geometry of fish-eye images. Further we determine the qualitative influence of…
▽ More
Optical flow estimation with convolutional neural networks (CNNs) has recently solved various tasks of computer vision successfully. In this paper we adapt a state-of-the-art approach for optical flow estimation to omnidirectional images. We investigate CNN architectures to determine high motion variations caused by the geometry of fish-eye images. Further we determine the qualitative influence of texture on the non-rigid object to the motion vectors. For evaluation of the results we create ground truth motion fields synthetically. The ground truth contains cubes with static background. We test variations of pre-trained FlowNet 2.0 architectures by indicating common error metrics. We generate competitive results for the motion of the foreground with inhomogeneous texture on the moving object.
△ Less
Submitted 22 May, 2018; v1 submitted 24 April, 2018;
originally announced April 2018.
-
First Observation of Electron Transfer Mediated Decay in Aqueous Solutions: A Novel Probe of Ion Pairing
Authors:
I. Unger,
R. Seidel,
S. Thürmer,
E. F. Aziz,
L. S. Cederbaum,
E. Muchová,
P. Slavíček,
B. Winter,
N. V. Kryzhevoi
Abstract:
A major goal of many spectroscopic techniques is to provide comprehensive information on the local chemical environment. Electron transfer mediated decay (ETMD) is a sensitive probe of the environment since it is actively involved in this non-local radiationless decay process through electron and energy transfer steps. We report the first experimental observation of ETMD in the liquid phase. Using…
▽ More
A major goal of many spectroscopic techniques is to provide comprehensive information on the local chemical environment. Electron transfer mediated decay (ETMD) is a sensitive probe of the environment since it is actively involved in this non-local radiationless decay process through electron and energy transfer steps. We report the first experimental observation of ETMD in the liquid phase. Using liquid-jet X-ray photoelectron spectroscopy we explore LiCl aqueous solution, and detect low-energy electrons unambiguously emerging from the ETMD processes of core-ionized Li+. We interpret the experimental results with molecular dynamics and high-level ab initio calculations. By considering various solvation-structure models we show that both water molecules and Cl- anions can participate in ETMD, with each process having its characteristic spectral fingerprint. Different ion associations lead to different spectral shapes. The potential application of the unique sensitivity of the ETMD spectroscopy to the local hydration structure and ion pairing is discussed.
△ Less
Submitted 29 April, 2016;
originally announced April 2016.
-
Multi-reference approach to the calculation of photoelectron spectra including spin-orbit coupling
Authors:
Gilbert Grell,
Sergey I. Bokarev,
Bernd Winter,
Robert Seidel,
Emad F. Aziz,
Saadullah G. Aziz,
Oliver Kühn
Abstract:
X-ray photoelectron spectra provide a wealth of information on the electronic structure. The extraction of molecular details requires adequate theoretical methods, which in case of transition metal complexes has to account for effects due to the multi-configurational and spin-mixed nature of the many-electron wave function. Here, the Restricted Active Space Self-Consistent Field method including s…
▽ More
X-ray photoelectron spectra provide a wealth of information on the electronic structure. The extraction of molecular details requires adequate theoretical methods, which in case of transition metal complexes has to account for effects due to the multi-configurational and spin-mixed nature of the many-electron wave function. Here, the Restricted Active Space Self-Consistent Field method including spin-orbit coupling is used to cope with this challenge and to calculate valence and core photoelectron spectra. The intensities are estimated within the frameworks of the Dyson orbital formalism and the sudden approximation. Thereby, we utilize an efficient computational algorithm that is based on a biorthonormal basis transformation. The approach is applied to the valence photoionization of the gas phase water molecule and to the core ionization spectrum of the $\text{[Fe(H}_2\text{O)}_6\text{]}^{2+}$ complex. The results show good agreement with the experimental data obtained in this work, whereas the sudden approximation demonstrates distinct deviations from experiments.
△ Less
Submitted 5 June, 2015;
originally announced June 2015.
-
Counting Triangulations and other Crossing-Free Structures Approximately
Authors:
Victor Alvarez,
Karl Bringmann,
Saurabh Ray,
Raimund Seidel
Abstract:
We consider the problem of counting straight-edge triangulations of a given set $P$ of $n$ points in the plane. Until very recently it was not known whether the exact number of triangulations of $P$ can be computed asymptotically faster than by enumerating all triangulations. We now know that the number of triangulations of $P$ can be computed in $O^{*}(2^{n})$ time, which is less than the lower b…
▽ More
We consider the problem of counting straight-edge triangulations of a given set $P$ of $n$ points in the plane. Until very recently it was not known whether the exact number of triangulations of $P$ can be computed asymptotically faster than by enumerating all triangulations. We now know that the number of triangulations of $P$ can be computed in $O^{*}(2^{n})$ time, which is less than the lower bound of $Ω(2.43^{n})$ on the number of triangulations of any point set. In this paper we address the question of whether one can approximately count triangulations in sub-exponential time. We present an algorithm with sub-exponential running time and sub-exponential approximation ratio, that is, denoting by $Λ$ the output of our algorithm, and by $c^{n}$ the exact number of triangulations of $P$, for some positive constant $c$, we prove that $c^{n}\leqΛ\leq c^{n}\cdot 2^{o(n)}$. This is the first algorithm that in sub-exponential time computes a $(1+o(1))$-approximation of the base of the number of triangulations, more precisely, $c\leqΛ^{\frac{1}{n}}\leq(1 + o(1))c$. Our algorithm can be adapted to approximately count other crossing-free structures on $P$, kee** the quality of approximation and running time intact. In this paper we show how to do this for matchings and spanning trees.
△ Less
Submitted 1 April, 2014;
originally announced April 2014.
-
Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices
Authors:
Khaled Elbassioni,
Zvi Lotker,
Raimund Seidel
Abstract:
In this note we show that the maximum number of vertices in any polyhedron $P=\{x\in \mathbb{R}^d : Ax\leq b\}$ with $0,1$-constraint matrix $A$ and a real vector $b$ is at most $d!$.
In this note we show that the maximum number of vertices in any polyhedron $P=\{x\in \mathbb{R}^d : Ax\leq b\}$ with $0,1$-constraint matrix $A$ and a real vector $b$ is at most $d!$.
△ Less
Submitted 14 July, 2005;
originally announced July 2005.
-
Carbon Nanotubes for Interconnect Applications
Authors:
Franz Kreupl,
Andrew P. Graham,
Maik Liebau,
Georg S. Duesberg,
Robert Seidel,
Eugen Unger
Abstract:
We briefly review the status of the application of carbon nanotubes (CNTs) for future interconnects and present results concerning possible integration schemes. Growth of single nanotubes at lithographically defined locations (vias) has been achieved which is a prerequisite for the use of CNTs as future interconnects. For the 20 nm node, a current density of 5 10^8 A/cm^2 and a resistance of 7.8…
▽ More
We briefly review the status of the application of carbon nanotubes (CNTs) for future interconnects and present results concerning possible integration schemes. Growth of single nanotubes at lithographically defined locations (vias) has been achieved which is a prerequisite for the use of CNTs as future interconnects. For the 20 nm node, a current density of 5 10^8 A/cm^2 and a resistance of 7.8 kOhm could be achieved for a single multi-walled CNT vertical interconnect.
△ Less
Submitted 20 December, 2004;
originally announced December 2004.
-
Sub 20 nm Short Channel Carbon Nanotube Transistors
Authors:
R. V. Seidel,
A. P. Graham,
J. Kretz,
B. Rajasekharan,
G. S. Duesberg,
M. Liebau,
E. Unger,
F. Kreupl,
W. Hoenlein
Abstract:
Carbon nanotube field-effect transistors with sub 20 nm long channels and on/off current ratios of > 1000000 are demonstrated. Individual single-walled carbon nanotubes with diameters ranging from 0.7 nm to 1.1 nm grown from structured catalytic islands using chemical vapor deposition at 700 degree Celsius form the channels. Electron beam lithography and a combination of HSQ, calix[6]arene and P…
▽ More
Carbon nanotube field-effect transistors with sub 20 nm long channels and on/off current ratios of > 1000000 are demonstrated. Individual single-walled carbon nanotubes with diameters ranging from 0.7 nm to 1.1 nm grown from structured catalytic islands using chemical vapor deposition at 700 degree Celsius form the channels. Electron beam lithography and a combination of HSQ, calix[6]arene and PMMA e-beam resists were used to structure the short channels and source and drain regions. The nanotube transistors display on-currents in excess of 15 microA for drain-source biases of only 0.4 Volt.
△ Less
Submitted 7 November, 2004;
originally announced November 2004.
-
Microelectronic interconnects based on carbon nanotubes
Authors:
Franz Kreupl,
Andrew P. Graham,
Maik Liebau,
Georg S. Duesberg,
Robert Seidel,
Eugen Unger
Abstract:
Carbon nanotubes have emerged as a possible new material for electronic applications. They show promising characteristics for transistors as well as for interconnects. Here we review their basic properties and focus on the status of nanotubes with respect to their application as interconnects and discuss the challenges facing their integration.
Carbon nanotubes have emerged as a possible new material for electronic applications. They show promising characteristics for transistors as well as for interconnects. Here we review their basic properties and focus on the status of nanotubes with respect to their application as interconnects and discuss the challenges facing their integration.
△ Less
Submitted 25 October, 2004;
originally announced October 2004.
-
Carbon Nanotubes in Microelectronic Applications
Authors:
F. Kreupl,
G. S. Duesberg,
A. P. Graham,
M. Liebau,
E. Unger,
R. Seidel,
W. Pamler,
W. Hoenlein
Abstract:
Carbon nanotubes with their outstanding electrical and mechanical properties are suggested as interconnect material of the future and as switching devices, which could outperform silicon devices. In this paper we will introduce nanotubes, specify the applications, where nanotubes can contribute to the advancement of Moore's law and show our progress of nanotube process integration in a microelec…
▽ More
Carbon nanotubes with their outstanding electrical and mechanical properties are suggested as interconnect material of the future and as switching devices, which could outperform silicon devices. In this paper we will introduce nanotubes, specify the applications, where nanotubes can contribute to the advancement of Moore's law and show our progress of nanotube process integration in a microelectronic compatible way. The growth of single individual nanotubes at lithographically defined locations on whole wafers as a key requirement for the successful implementation of nanotubes is shown. In terms of nanotube transistors we propose a vertical nanotube transistor concept which outperforms the ITRS requirements for the year 2016. The performance is mainly limited by contact resistances, but by comparison with silicon devices we show that fabricated nanotube transistors already today exceed the values for transconductance, on-resistance and drive current of silicon devices.
△ Less
Submitted 14 October, 2004;
originally announced October 2004.
-
Bias Dependence and Electrical Breakdown of Small Diameter Single-Walled Carbon Nanotubes
Authors:
R. V. Seidel,
A. P. Graham,
B. Rajasekharan,
E. Unger,
M. Liebau,
G. S. Duesberg,
F. Kreupl,
W. Hoenlein
Abstract:
The electronic breakdown and the bias dependence of the conductance have been investigated for a large number of catalytic chemical vapor deposition (CCVD) grown single-walled carbon nanotubes (SWCNTs) with very small diameters. The convenient fabrication of thousands of properly contacted SWCNTs was possible by growth on electrode structures and subsequent electroless palladium deposition. Almo…
▽ More
The electronic breakdown and the bias dependence of the conductance have been investigated for a large number of catalytic chemical vapor deposition (CCVD) grown single-walled carbon nanotubes (SWCNTs) with very small diameters. The convenient fabrication of thousands of properly contacted SWCNTs was possible by growth on electrode structures and subsequent electroless palladium deposition. Almost all of the measured SWCNTs showed at least weak gate dependence at room temperature. Large differences in the conductance and breakdown behavior have been found for "normal" semiconducting SWCNTs and small band-gap semiconducting (SGS) SWCNTs.
△ Less
Submitted 13 October, 2004;
originally announced October 2004.
-
A better upper bound on the number of triangulations of a planar point set
Authors:
Francisco Santos,
Raimund Seidel
Abstract:
We show that a point set of cardinality $n$ in the plane cannot be the vertex set of more than $59^n O(n^{-6})$ straight-edge triangulations of its convex hull. This improves the previous upper bound of $276.75^n$.
We show that a point set of cardinality $n$ in the plane cannot be the vertex set of more than $59^n O(n^{-6})$ straight-edge triangulations of its convex hull. This improves the previous upper bound of $276.75^n$.
△ Less
Submitted 18 April, 2002; v1 submitted 3 April, 2002;
originally announced April 2002.