Source author record

Martin Ringbauer

Martin Ringbauer 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

13works
2topics
4close 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

13 published item(s)

preprint2023arXiv

Compilation of Entangling Gates for High-Dimensional Quantum Systems

Most quantum computing architectures to date natively support multi-valued logic, albeit being typically operated in a binary fashion. Multi-valued, or qudit, quantum processors have access to much richer forms of quantum entanglement, which promise to significantly boost the performance and usefulness of quantum devices. However, much of the theory as well as corresponding design methods required for exploiting such hardware remain insufficient and generalizations from qubits are not straightforward. A particular challenge is the compilation of quantum circuits into sets of native qudit gates supported by state-of-the-art quantum hardware. In this work, we address this challenge by introducing a complete workflow for compiling any two-qudit unitary into an arbitrary native gate set. Case studies demonstrate the feasibility of both, the proposed approach as well as the corresponding implementation (which is freely available at https://github.com/cda-tum/qudit-entanglement-compilation).

preprint2022arXiv

Adaptive Compilation of Multi-Level Quantum Operations

Quantum computers have the potential to solve some important industrial and scientific problems with greater efficiency than classical computers. While most current realizations focus on two-level qubits, the underlying physics used in most hardware is capable of extending the concepts to a multi-level logic - enabling the use of qudits, which promise higher computational power and lower error rates. Based on a strong theoretical backing and motivated by recent physical accomplishments, this also calls for methods and tools for compiling quantum circuits to those devices. To enable efficient qudit compilation, we introduce the concept of an energy coupling graph for single-qudit systems and provide an adaptive algorithm that leverages this representation for compiling arbitrary unitaries. This leads to significant improvements over the state-of-the-art compilation scheme and, additionally, provides an option to trade-off worst-case costs and run-time. The developed compiler is available via github.com/cda-tum/qudit-compilation under an open-source license.

preprint2022arXiv

Probing phases of quantum matter with an ion-trap tensor-network quantum eigensolver

Tensor-Network (TN) states are efficient parametric representations of ground states of local quantum Hamiltonians extensively used in numerical simulations. Here we encode a TN ansatz state directly into a quantum simulator, which can potentially offer an exponential advantage over purely numerical simulation. In particular, we demonstrate the optimization of a quantum-encoded TN ansatz state using a variational quantum eigensolver on an ion-trap quantum computer by preparing the ground states of the extended Su-Schrieffer-Heeger model. The generated states are characterized by estimating the topological invariants, verifying their topological order. Our TN encoding as a trapped ion circuit employs only single-site addressing optical pulses - the native operations naturally available on the platform. We reduce nearest-neighbor crosstalk by selecting different magnetic sublevels with well-separated transition frequencies to encode even and odd qubits.

preprint2022arXiv

Towards experimental classical verification of quantum computation

With today's quantum processors venturing into regimes beyond the capabilities of classical devices [1-3], we face the challenge to verify that these devices perform as intended, even when we cannot check their results on classical computers [4,5]. In a recent breakthrough in computer science [6-8], a protocol was developed that allows the verification of the output of a computation performed by an untrusted quantum device based only on classical resources. Here, we follow these ideas, and demonstrate in a first, proof-of-principle experiment a verification protocol using only classical means on a small trapped-ion quantum processor. We contrast this to verification protocols, which require trust and detailed hardware knowledge, as in gate-level benchmarking [9], or additional quantum resources in case we do not have access to or trust in the device to be tested [5]. While our experimental demonstration uses a simplified version [10] of Mahadev's protocol [6] we demonstrate the necessary steps for verifying fully untrusted devices. A scaled-up version of our protocol will allow for classical verification, requiring no hardware access or detailed knowledge of the tested device. Its security relies on post-quantum secure trapdoor functions within an interactive proof [11]. The conceptually straightforward, but technologically challenging scaled-up version of the interactive proofs, considered here, can be used for a variety of additional tasks such as verifying quantum advantage [8], generating [12] and certifying quantum randomness [7], or composable remote state preparation [13].

preprint2020arXiv

Entangling logical qubits with lattice surgery

Future quantum computers will require quantum error correction for faithful operation. The correction capabilities come with an overhead for performing fault-tolerant logical operations on the encoded qubits. One of the most resource efficient ways to implement logical operations is lattice surgery, where groups of physical qubits, arranged on lattices, can be merged and split to realize entangling gates and teleport logical information. Here, we report on the experimental realization of lattice surgery between two topologically encoded qubits in a 10-qubit ion trap quantum information processor. In particular, we demonstrate entanglement between two logical qubits and we implement logical state teleportation.

preprint2019arXiv

Measurement Device Independent Verification of Quantum Channels

The capability to reliably transmit and store quantum information is an essential building block for future quantum networks and processors. Gauging the ability of a communication link or quantum memory to preserve quantum correlations is therefore vital for their technological application. Here, we experimentally demonstrate a measurement-device-independent protocol for certifying that an unknown channel acts as an entanglement-preserving channel. Our results show that, even under realistic experimental conditions, including imperfect single-photon sources and the various kinds of noise---in the channel or in detection---where other verification means would fail or become inefficient, the present verification protocol is still capable of affirming the quantum behaviour in a faithful manner without requiring any trust on the measurement device.

preprint2015arXiv

Experimental Simulation of Closed Timelike Curves

Closed timelike curves are among the most controversial features of modern physics. As legitimate solutions to Einstein's field equations, they allow for time travel, which instinctively seems paradoxical. However, in the quantum regime these paradoxes can be resolved leaving closed timelike curves consistent with relativity. The study of these systems therefore provides valuable insight into non-linearities and the emergence of causal structures in quantum mechanics-essential for any formulation of a quantum theory of gravity. Here we experimentally simulate the non-linear behaviour of a qubit interacting unitarily with an older version of itself, addressing some of the fascinating effects that arise in systems traversing a closed timelike curve. These include perfect discrimination of non-orthogonal states and, most intriguingly, the ability to distinguish nominally equivalent ways of preparing pure quantum states. Finally, we examine the dependence of these effects on the initial qubit state, the form of the unitary interaction, and the influence of decoherence.

preprint2015arXiv

Measurements on the reality of the wavefunction

Quantum mechanics is an outstandingly successful description of nature, underpinning fields from biology through chemistry to physics. At its heart is the quantum wavefunction, the central tool for describing quantum systems. Yet it is still unclear what the wavefunction actually is: does it merely represent our limited knowledge of a system, or is it an element of reality? Recent no-go theorems argued that if there was any underlying reality to start with, the wavefunction must be real. However, that conclusion relied on debatable assumptions, without which a partial knowledge interpretation can be maintained to some extent. A different approach is to impose bounds on the degree to which knowledge interpretations can explain quantum phenomena, such as why we cannot perfectly distinguish non-orthogonal quantum states. Here we experimentally test this approach with single photons. We find that no knowledge interpretation can fully explain the indistinguishability of non-orthogonal quantum states in three and four dimensions. Assuming that some underlying reality exists, our results strengthen the view that the entire wavefunction should be real. The only alternative is to adopt more unorthodox concepts such as backwards-in-time causation, or to completely abandon any notion of objective reality.

preprint2014arXiv

Characterizing quantum dynamics with initial system-environment correlations

We fully characterize the reduced dynamics of an open quantum system initially correlated with its environment. Using a photonic qubit coupled to a simulated environment we tomographically reconstruct a superchannel---a generalised channel that treats preparation procedures as inputs---from measurement of the system alone, despite its coupling to the environment. We introduce novel quantitative measures for determining the strength of initial correlations, and to allow an experiment to be optimised in regards to its environment.

preprint2014arXiv

Information Causality in the Quantum and Post-Quantum Regime

Quantum correlations can be stronger than anything achieved by classical systems, yet they are not reaching the limit imposed by relativity. The principle of information causality offers a possible explanation for why the world is quantum and why there appear to be no even stronger correlations. Generalizing the no-signaling condition it suggests that the amount of accessible information must not be larger than the amount of transmitted information. Here we study this principle experimentally in the classical, quantum and post-quantum regimes. We simulate correlations that are stronger than allowed by quantum mechanics by exploiting the effect of polarization-dependent loss in a photonic Bell-test experiment. Our method also applies to other fundamental principles and our results highlight the special importance of anisotropic regions of the no-signalling polytope in the study of fundamental principles.

preprint2013arXiv

Joint quantum measurements with minimum uncertainty

Quantum physics constrains the accuracy of joint measurements of incompatible observables. Here we test tight measurement-uncertainty relations using single photons. We implement two independent, idealized uncertainty-estimation methods, the 3-state method and the weak-measurement method, and adapt them to realistic experimental conditions. Exceptional quantum state fidelities of up to 0.99998(6) allow us to verge upon the fundamental limits of measurement uncertainty.

preprint2013arXiv

Quantum discord as resource for remote state preparation

Quantum entanglement is widely recognized as one of the key resources for the advantages of quantum information processing, including universal quantum computation, reduction of communication complexity or secret key distribution. However, computational models have been discovered, which consume very little or no entanglement and still can efficiently solve certain problems thought to be classically intractable. The existence of these models suggests that separable or weakly entangled states could be extremely useful tools for quantum information processing as they are much easier to prepare and control even in dissipative environments. It has been proposed that a requirement for useful quantum states is the generation of so-called quantum discord, a measure of non-classical correlations that includes entanglement as a subset. Although a link between quantum discord and few quantum information tasks has been studied, its role in computation speed-up is still open and its operational interpretation remains restricted to only few somewhat contrived situations. Here we show that quantum discord is the optimal resource for the remote quantum state preparation, a variant of the quantum teleportation protocol. Using photonic quantum systems, we explicitly show that the geometric measure of quantum discord is related to the fidelity of this task, which provides an operational meaning. Moreover, we demonstrate that separable states with non-zero quantum discord can outperform entangled states. Therefore, the role of quantum discord might provide fundamental insights for resource-efficient quantum information processing.

preprint2013arXiv

Solving systems of linear equations on a quantum computer

Systems of linear equations are used to model a wide array of problems in all fields of science and engineering. Recently, it has been shown that quantum computers could solve linear systems exponentially faster than classical computers, making for one of the most promising applications of quantum computation. Here, we demonstrate this quantum algorithm by implementing various instances on a photonic quantum computing architecture. Our implementation involves the application of two consecutive entangling gates on the same pair of polarisation-encoded qubits. We realize two separate controlled-NOT gates where the successful operation of the first gate is heralded by a measurement of two ancillary photons. Our work thus demonstrates the implementation of a quantum algorithm with high practical significance as well as an important technological advance which brings us closer to a comprehensive control of photonic quantum information.