arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Daniel Reitzner

26 papers · 2007–2025

2007: 12008: 42009: 22010: 22011: 02012: 32013: 32014: 22015: 32016: 12017: 12018: 02019: 02020: 12021: 02022: 12023: 12024: 02025: 1
2007peak 4 in 20082025

Frequent co-authors

Papers

showing 1–25 of 26 RSS

Quantum Walks

Daniel Reitzner, Daniel Nagaj, Vladimir Buzek

quant-ph · · cited 291× · arXiv ↗ · more like this ·

This tutorial article showcases the many varieties and uses of quantum walks. Discrete time quantum walks are introduced as counterparts of classical random walks. The emphasis is on the connections and differences between the two types of processes (with rather different underlying dynamics) for producing random distributions. We discuss algorithmic applications for graph-searching and compare the two approaches. Next, we look at quantization of Markov chains and show how it can lead to speedups for sampling schemes. Finally, we turn to continuous time quantum walks and their applications, which provide interesting (even exponential) speedups over classical approaches.

Incompatibility breaking quantum channels

Teiko Heinosaari, Jukka Kiukas, Daniel Reitzner +1 more

quant-ph · · cited 62× · arXiv ↗ · more like this ·

A typical bipartite quantum protocol, such as EPR-steering, relies on two quantum features, entanglement of states and incompatibility of measurements. Noise can delete both of these quantum features. In this work we study the behavior of incompatibility under noisy quantum channels. The starting point for our investigation is the observation that compatible measurements cannot become incompatible by the action of any channel. We focus our attention to channels which completely destroy the incompatibility of various relevant sets of measurements. We call such channels incompatibility breaking, in analogy to the concept of entanglement breaking channels. This notion is relevant especially for the understanding of noise-robustness of the local measurement resources for steering.

Quantum searches on highly symmetric graphs

Daniel Reitzner, Mark Hillery, Edgar Feldman +1 more

quant-ph · · cited 55× · arXiv ↗ · more like this ·

We study scattering quantum walks on highly symmetric graphs and use the walks to solve search problems on these graphs. The particle making the walk resides on the edges of the graph, and at each time step scatters at the vertices. All of the vertices have the same scattering properties except for a subset of special vertices. The object of the search is to find a special vertex. A quantum circuit implementation of these walks is presented in which the set of special vertices is specified by a quantum oracle. We consider the complete graph, a complete bipartite graph, and an $M$-partite graph. In all cases, the dimension of the Hilbert space in which the time evolution of the walk takes place is small (between three and six), so the walks can be completely analyzed analytically. Such dimensional reduction is due to the fact that these graphs have large automorphism groups. We find the…

Searching via walking: How to find a marked subgraph of a graph using quantum walks

Mark Hillery, Daniel Reitzner, Vladimir Buzek

quant-ph · · cited 25× · arXiv ↗ · more like this ·

We show how a quantum walk can be used to find a marked edge or a marked complete subgraph of a complete graph. We employ a version of a quantum walk, the scattering walk, which lends itself to experimental implementation. The edges are marked by adding elements to them that impart a specific phase shift to the particle as it enters or leaves the edge. If the complete graph has N vertices and the subgraph has K vertices, the particle becomes localized on the subgraph in O(N/K) steps. This leads to a quantum search that is quadratically faster than a corresponding classical search. We show how to implement the quantum walk using a quantum circuit and a quantum oracle, which allows us to specify the resource needed for a quantitative comparison of the efficiency of classical and quantum searches -- the number of oracle calls.

Finding structural anomalies in graphs by means of quantum walks

Edgar Feldman, Mark Hillery, Hai-Woong Lee +3 more

quant-ph · · cited 24× · arXiv ↗ · more like this ·

We explore the possibility of using quantum walks on graphs to find structural anomalies, such as extra edges or loops, on a graph. We focus our attention on star graphs, whose edges are like spokes coming out of a central hub. If there are $N$ spokes, we show that a quantum walk can find an extra edge connecting two of the spokes or a spoke with a loop on it in $O(\sqrt{N})$ steps. We initially find that if all of the spokes have loops except one, the walk will not find the spoke without a loop, but this can be fixed if we choose the phase with which the particle is reflected from the vertex without the loop. Consequently, quantum walks can, under some circumstances, be used to find structural anomalies in graphs.

Quantum walks as a probe of structural anomalies in graphs

Mark Hillery, Hongjun Zheng, Edgar Feldman +2 more

quant-ph · · cited 20× · arXiv ↗ · more like this ·

We study how quantum walks can be used to find structural anomalies in graphs via several examples. Two of our examples are based on star graphs, graphs with a single central vertex to which the other vertices, which we call external vertices, are connected by edges. In the basic star graph, these are the only edges. If we now connect a subset of the external vertices to form a complete subgraph, a quantum walk can be used to find these vertices with a quantum speedup. Thus, under some circumstances, a quantum walk can be used to locate where the connectivity of a network changes. We also look at the case of two stars connected at one of their external vertices. A quantum walk can find the vertex shared by both graphs, again with a quantum speedup. This provides an example of using a quantum walk in order to find where two networks are connected. Finally, we use a quantum walk on a…

Incompatible measurements on quantum causal networks

Michal Sedlak, Daniel Reitzner, Giulio Chiribella +1 more

quant-ph · · cited 17× · arXiv ↗ · more like this ·

The existence of incompatible measurements, epitomized by Heisenberg's uncertainty principle, is one of the distinctive features of quantum theory. So far, quantum incompatibility has been studied for measurements that test the preparation of physical systems. Here we extend the notion to measurements that test dynamical processes, possibly consisting of multiple time steps. Such measurements are known as testers and are implemented by interacting with the tested process through a sequence of state preparations, interactions, and measurements. Our first result is a characterization of the incompatibility of quantum testers, for which we provide necessary and sufficient conditions. Then, we propose a quantitative measure of incompatibility. We call this measure the robustness of incompatibility and define it as the minimum amount of noise that has to be added to a set of testers in order…

Finding paths with quantum walks or quantum walking through a maze

Daniel Reitzner, Mark Hillery, Daniel Koch

quant-ph · · cited 13× · arXiv ↗ · more like this ·

We show that it is possible to use a quantum walk to find a path from one marked vertex to another. In the specific case of $M$ stars connected in a chain, one can find the path from the first star to the last one in $O(M\sqrt{N})$ steps, where $N$ is the number of spokes of each star. First we provide an analytical result showing that by starting in a phase-modulated highly superposed initial state we can find the path in $O(M\sqrt{N}\log M)$ steps. Next, we improve this efficiency by showing that the recovery of the path can also be performed by a series of successive searches when we start at the last known position and search for the next connection in $O(\sqrt{N})$ steps leading to the overall efficiency of $O(M\sqrt{N})$. For this result we use the analytical solution that can be obtained for a ring of stars of double the length of the chain.

Coexistence of quantum operations

Teiko Heinosaari, Daniel Reitzner, Peter Stano +1 more

quant-ph · · cited 7× · arXiv ↗ · more like this ·

Quantum operations are used to describe the observed probability distributions and conditional states of the measured system. In this paper, we address the problem of their joint measurability (coexistence). We derive two equivalent coexistence criteria. The two most common classes of operations - Luders operations and conditional state preparators - are analyzed. It is shown that Luders operations are coexistent only under very restrictive conditions, when the associated effects are either proportional to each other, or disjoint.

Anticipative measurements in hybrid quantum-classical computation

Teiko Heinosaari, Daniel Reitzner, Alessandro Toigo

quant-ph · · cited 3× · arXiv ↗ · more like this ·

Before the availability of large scale fault-tolerant quantum devices, one has to find ways to make the most of current noisy intermediate-scale quantum devices. One possibility is to seek smaller repetitive hybrid quantum-classical tasks with higher fidelity, rather than directly pursuing large complex tasks. We present an approach in this direction where the quantum computation is supplemented by a classical result. While the presence of the supplementary classical information helps alone, taking advantage of its anticipation also leads to a new type of quantum measurements, which we call anticipative. Anticipative quantum measurements lead to improved success rate over cases where we would use quantum measurements optimized without assuming the later arriving supplementing information. Importantly, in an anticipative quantum measurement the combination of the results from classical…

Comment on Afshar's expriments

Daniel Reitzner

quant-ph · · cited 3× · arXiv ↗ · more like this ·

Results of the experiments carried out in [Shahriar S. Afshar, Proc. SPIE bf 5866 (2005) 229-244] and [Shahriar S. Afshar, AIP Cof. Proc. 810, (2006) 294-299] are reviewed and their interpretation by the authors is questioned. Arguments are supported by numerical simulations.

Systematic benchmarking of quantum computers: status and recommendations

Jeanette Miriam Lorenz, Thomas Monz, Jens Eisert +11 more

quant-ph · · cited 2× · arXiv ↗ · more like this ·

Architectures for quantum computing can only be scaled up when they are accompanied by suitable benchmarking techniques. The document provides a comprehensive overview of the state and recommendations for systematic benchmarking of quantum computers. Benchmarking is crucial for assessing the performance of quantum computers, including the hardware, software, as well as algorithms and applications. The document highlights key aspects such as component-level, system-level, software-level, HPC-level, and application-level benchmarks. Component-level benchmarks focus on the performance of individual qubits and gates, while system-level benchmarks evaluate the entire quantum processor. Software-level benchmarks consider the compiler's efficiency and error mitigation techniques. HPC-level and cloud benchmarks address integration with classical systems and cloud platforms, respectively.…

General measurements with limited resources and their application to quantum unambiguous state discrimination

Daniel Reitzner, Jan Bouda

quant-ph · · cited 2× · arXiv ↗ · more like this ·

In this report, we present a framework for implementing an arbitrary $n$-outcome generalized quantum measurement (POVM) on an $m$-qubit register as a sequence of two-outcome measurements requiring only single ancillary qubit. Our procedure offers a particular construction for the two-outcome partial measurements which can be composed into a full implementation of the measurement on any gate architecture. This implementation in general requires classical feedback; we present specific cases when this is not the case. We apply this framework on the unambiguous state discrimination and analyze possible strategies. In the simplest case, it gives the same construction as is known, if we opt for performing conclusiveness measurement first. However, it also offers possibility of performing measurement for one of the state outcomes first, leaving conclusiveness measurement for later. This shows…

Single Qubit State Estimation on NISQ Devices with Limited Resources and SIC-POVMs

Cristian A. Galvis-Florez, Daniel Reitzner, Simo Särkkä

quant-ph · · cited 1× · arXiv ↗ · more like this ·

Current quantum computers have the potential to overcome classical computational methods, however, the capability of the algorithms that can be executed on noisy intermediate-scale quantum devices is limited due to hardware imperfections. Estimating the state of a qubit is often needed in different quantum protocols, due to the lack of direct measurements. In this paper, we consider the problem of estimating the quantum state of a qubit in a quantum processing unit without conducting direct measurements of it. We consider a parameterized measurement model to estimate the quantum state, represented as a quantum circuit, which is optimized using the quantum tomographic transfer function. We implement and test the circuit using the quantum computer of the Technical Research Centre of Finland as well as an IBM quantum computer. We demonstrate that the set of positive operator-valued…

PHYSICAL JOURNAL PLUS Two notes on Grover’s search: Programming and discriminating

Daniel Reitzner

Artificial Intelligence · · cited 0× · OpenAlex ↗ · more like this ·

Abstract. In this work we address two questions concerning Grover’s algorithm. In the first part we give an answer to the question on how to employ Grover’s algorithm for actual search over database. We introduce a quantum model of an unordered phone book (quantum database) with programmable queries to search in the phone book either for a number or for a name. In the second part we investigate how successful the algorithm can be if the number of elements of the database is not known precisely. This question reduces to analysis of the distinguishability of states occurring during Grover’s algorithm. We found that using an unambiguous discrimination scheme even a seemingly good guess that is close to the optimal one, can result in a rather small success rate. 1

Fault-ignorant Quantum Search

Peter Vrana, David Reeb, Daniel Reitzner +1 more

quant-ph · · cited 0× · arXiv ↗ · more like this ·

We investigate the problem of quantum searching on a noisy quantum computer. Taking a 'fault-ignorant' approach, we analyze quantum algorithms that solve the task for various different noise strengths, which are possibly unknown beforehand. We prove lower bounds on the runtime of such algorithms and thereby find that the quadratic speedup is necessarily lost (in our noise models). However, for low but constant noise levels the algorithms we provide (based on Grover's algorithm) still outperform the best noiseless classical search algorithm.

Coexistence of qubit effects

Peter Stano, Daniel Reitzner, Teiko Heinosaari

quant-ph · · cited 0× · arXiv ↗ · more like this ·

We characterize all coexistent pairs of qubit effects. This gives an exhaustive description of all pairs of events allowed, in principle, to occur in a single qubit measurement. The characterization consists of three disjoint conditions which are easy to check for a given pair of effects. Known special cases are shown to follow from our general characterization theorem.

Quantum incompatibility in collective measurements

Claudio Carmeli, Teiko Heinosaari, Daniel Reitzner +2 more

quant-ph · · arXiv ↗ · more like this ·

We study the compatibility (or joint measurability) of quantum observables in a setting where the experimenter has access to multiple copies of a given quantum system, rather than performing the experiments on each individual copy separately. We introduce the index of incompatibility as a quantifier of incompatibility in this multi-copy setting, as well as the notion of compatibility stack representing the various compatibility relations present in a given set of observables. We then prove a general structure theorem for multi-copy joint observables, and use it to prove that all abstract compatibility stacks with three vertices have realizations in terms of quantum observables.

Noise Robustness of the Incompatibility of Quantum Measurements

Teiko Heinosaari, Jukka Kiukas, Daniel Reitzner

quant-ph · · arXiv ↗ · more like this ·

The existence of incompatible measurements is a fundamental phenomenon having no explanation in classical physics. Intuitively, one considers given measurements to be incompatible within a framework of a physical theory, if their simultaneous implementation on a single physical device is prohibited by the theory itself. In the mathematical language of quantum theory, measurements are described by POVMs (positive operator valued measures), and given POVMs are by definition incompatible if they cannot be obtained via coarse-graining from a single common POVM; this notion generalizes noncommutativity of projective measurements. In quantum theory, incompatibility can be regarded as a resource necessary for manifesting phenomena such as Clauser-Horne-Shimony-Holt (CHSH) Bell inequality violations or Einstein-Podolsky-Rosen (EPR) steering which do not have classical explanation. We define…

Two Notes on Grover's Search: Programming and Discriminating

Daniel Reitzner, Mario Ziman

quant-ph · · arXiv ↗ · more like this ·

In this work we address two questions concerning Grover's algorithm. In the first we give an answer to the question how to employ Grover's algorithm for actual search over database. We introduce a quantum model of an unordered phone book (quantum database) with programmable queries to search in the phone book either for a number, or for a name. In the second part we investigate how successful the algorithm can be if the number of elements of the database is not known precisely. This question reduces to analysis of the distinguishability of states occurring during Grover's algorithm. We found that using unambiguous discrimination scheme even a seemingly good guess, that is close to the optimal one can result in a rather small success rate.

Coexistence of effects from an algebra of two projections

Teiko Heinosaari, Jukka Kiukas, Daniel Reitzner

quant-ph · · arXiv ↗ · more like this ·

The coexistence relation of quantum effects is a fundamental structure, describing those pairs of experimental events that can be implemented in a single setup. Only in the simplest case of qubit effects an analytic characterization of coexistent pairs is known. We generalize the qubit coexistence characterization to all pairs of effects in arbitrary dimension that belong to the von Neumann algebra generated by two projections. We demonstrate the presented mathematical machinery by several examples, and show that it covers physically relevant classes of effect pairs.

Coexistence does not imply joint measurability

David Reeb, Daniel Reitzner, Michael M. Wolf

quant-ph · · arXiv ↗ · more like this ·

One of the hallmarks of quantum theory is the realization that distinct measurements cannot in general be performed simultaneously, in stark contrast to classical physics. In this context the notions of coexistence and joint measurability are employed to analyze the possibility of measuring together two general quantum observables, characterizing different degrees of compatibility between measurements. It is known that two jointly measurable observables are always coexistent, and that the converse holds for various classes of observables, including the case of observables with two outcomes. Here we resolve, in the negative, the open question whether this equivalence holds in general. Our resolution strengthens the notions of coexistence and joint measurability by showing that both are robust against small imperfections in the measurement setups.

Strongly Incompatible Quantum Devices

Teiko Heinosaari, Takayuki Miyadera, Daniel Reitzner

quant-ph · · arXiv ↗ · more like this ·

The fact that there are quantum observables without a simultaneous measurement is one of the fundamental characteristics of quantum mechanics. In this work we expand the concept of joint measurability to all kinds of possible measurement devices, and we call this relation compatibility. Two devices are incompatible if they cannot be implemented as parts of a single measurement setup. We introduce also a more stringent notion of incompatibility, strong incompatibility. Both incompatibility and strong incompatibility are rigorously characterized and their difference is demonstrated by examples.

Approximating incompatible von Neumann measurements simultaneously

Teiko Heinosaari, Maria Anastasia Jivulescu, Daniel Reitzner +1 more

quant-ph · · arXiv ↗ · more like this ·

We study the problem of performing orthogonal qubit measurements simultaneously. Since these measurements are incompatible, one has to accept additional imprecision. An optimal joint measurement is the one with the least possible imprecision. All earlier considerations of this problem have concerned only joint measurability of observables, while in this work we also take into account conditional state transformations (i.e., instruments). We characterize the optimal joint instrument for two orthogonal von Neumann instruments as being the Luders instrument of the optimal joint observable.

Notes on Joint Measurability of Quantum Observables

Teiko Heinosaari, Daniel Reitzner, Peter Stano

quant-ph · · arXiv ↗ · more like this ·

For sharp quantum observables the following facts hold: (i) if we have a collection of sharp observables and each pair of them is jointly measurable, then they are jointly measurable all together; (ii) if two sharp observables are jointly measurable, then their joint observable is unique and it gives the greatest lower bound for the effects corresponding to the observables; (iii) if we have two sharp observables and their every possible two outcome partitionings are jointly measurable, then the observables themselves are jointly measurable. We show that, in general, these properties do not hold. Also some possible candidates which would accompany joint measurability and generalize these apparently useful properties are discussed.