Showing 1–35 of 35 results for author: Sedlak, M

Storage and retrieval of two unknown unitary channels

Authors: Michal Sedlák, Robert Stárek, Nikola Horová, Michal Mičuda, Jaromir Fiurášek, Alessandro Bisio

Abstract: We address the fundamental task of converting $n$ uses of an unknown unitary transformation into a quantum state (i.e., storage) and later retrieval of the transformation. Specifically, we consider the case where the unknown unitary is selected with equal prior probability from two options. First, we prove that the optimal storage strategy involves the sequential application of the $n$ uses of the… ▽ More We address the fundamental task of converting $n$ uses of an unknown unitary transformation into a quantum state (i.e., storage) and later retrieval of the transformation. Specifically, we consider the case where the unknown unitary is selected with equal prior probability from two options. First, we prove that the optimal storage strategy involves the sequential application of the $n$ uses of the unknown unitary, and it produces the optimal state for discrimination between the two possible unitaries. Next, we show that incoherent "measure-and-prepare" retrieval achieves the maximum fidelity between the retrieved operation and the original (qubit) unitary. We then identify the retrieval strategy that maximizes the probability of successfully and perfectly retrieving the unknown transformation. In the regime in which the fidelity between the two possible unitaries is large the probability of success scales as $ P_{succ} = 1 - \mathcal{O}(n^{-2} ) $, which is a quadratic improvement with respect to the case in which the unitaries are drawn from the entire unitary group $U(d)$ with uniform prior probability. Finally, we present an optical experiment for this approach and assess the storage and retrieval quality using quantum tomography of states and processes. The results are discussed in relation to non-optimal measure-and-prepare strategy, highlighting the advantages of our protocol. △ Less

Submitted 30 October, 2024; originally announced October 2024.

Comments: 18 pages, 10 figures

AGATA: Advancements in Software Developments

Authors: O. Stézowski, J. Dudouet, A. Goasduff, A. Korichi, Y. Aubert, M. Balogh, G. Baulieu, D. Bazzacco, S. Brambilla, D. Brugnara, N. Dosme, S. Elloumi, P. Gauron, X. Grave, J. Jacob, V. Lafage, A. Lemasson, E. Legay, P. Le Jeannic, J. Ljungvall, A. Matta, R. Molina, G. Philippon, M. Sedlak, M. Taurigna-Quere , et al. (1 additional authors not shown)

Abstract: Presently, gamma-ray tracking in germanium segmented detectors is realised by applying two advanced, complex algorithms. While they have already triggered an intensive R&D, they are still subject to further improvements. Making such algorithms effective, online in real time conditions and/or offline for deeper analysis, in data pipelines do require many additional software developments. This revie… ▽ More Presently, gamma-ray tracking in germanium segmented detectors is realised by applying two advanced, complex algorithms. While they have already triggered an intensive R&D, they are still subject to further improvements. Making such algorithms effective, online in real time conditions and/or offline for deeper analysis, in data pipelines do require many additional software developments. This review paper gives an overview of the various bricks of software produced so far by the AGATA collaboration. It provides hints of what is foreseen for the next phases of the project up to its full configuration namely with 180 capsules in the array. △ Less

Submitted 2 March, 2023; originally announced March 2023.

Incompatibility of quantum instruments

Authors: Leevi Leppäjärvi, Michal Sedlák

Abstract: Quantum instruments describe outcome probability as well as state change induced by measurement of a quantum system. Incompatibility of two instruments, i. e. the impossibility to realize them simultaneously on a given quantum system, generalizes incompatibility of channels and incompatibility of positive operator-valued measures (POVMs). We derive implications of instrument compatibility for the… ▽ More Quantum instruments describe outcome probability as well as state change induced by measurement of a quantum system. Incompatibility of two instruments, i. e. the impossibility to realize them simultaneously on a given quantum system, generalizes incompatibility of channels and incompatibility of positive operator-valued measures (POVMs). We derive implications of instrument compatibility for the induced POVMs and channels. We also study relation of instrument compatibility to the concept of non-disturbance. Finally, we prove equivalence between instrument compatibility and postprocessing of certain instruments, which we term complementary instruments. We illustrate our findings on examples of various classes of instruments. △ Less

Submitted 2 February, 2024; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: accepted version

Journal ref: Quantum 8, 1246 (2024)

Post-processing of quantum instruments

Authors: Leevi Leppäjärvi, Michal Sedlák

Abstract: Studying sequential measurements is of the utmost importance to both the foundational aspects of quantum theory and the practical implementations of quantum technologies, with both of these applications being abstractly described by the concatenation of quantum instruments into a sequence of certain length. In general, the choice of instrument at any given step in the sequence can be conditionally… ▽ More Studying sequential measurements is of the utmost importance to both the foundational aspects of quantum theory and the practical implementations of quantum technologies, with both of these applications being abstractly described by the concatenation of quantum instruments into a sequence of certain length. In general, the choice of instrument at any given step in the sequence can be conditionally chosen based on the classical results of all preceding instruments. For two instruments in a sequence we consider the conditional second instrument as an effective way of post-processing the first instrument into a new one. This is similar to how a measurement described by a positive operator-valued measure (POVM) can be post-processed into another by way of classical randomization of its outcomes using a stochastic matrix. In this work we study the post-processing relation of instruments and the partial order it induces on their equivalence classes. We characterize the greatest and the least element of this order, give examples of post-processings between different types of instruments and draw connections between post-processings of some of these instruments and their induced POVMs. △ Less

Submitted 29 October, 2020; originally announced October 2020.

Journal ref: Phys. Rev. A 103, 022615 (2021)

Private quantum channels for multi-photon pulses and unitary k-designs

Authors: Jan Bouda, Michal Sedlák, Mario Ziman

Abstract: We address the question of existence of private quantum channel for qubits encoded in polarization degrees of freedom of a photon, that remains secure even if multi-photon (instead of single-photon) pulse is emitted. We show that random unitary channel distributed according to SU(2) Haar measure has this property. Further we analyze the qubit unitary k-designs. We show they ensure security if the… ▽ More We address the question of existence of private quantum channel for qubits encoded in polarization degrees of freedom of a photon, that remains secure even if multi-photon (instead of single-photon) pulse is emitted. We show that random unitary channel distributed according to SU(2) Haar measure has this property. Further we analyze the qubit unitary k-designs. We show they ensure security if the photons' parity of the source is guaranteed. Otherwise, the qubit unitary k-designs do not guarantee perfect security. △ Less

Submitted 13 September, 2020; originally announced September 2020.

Comments: 8 pages

Probabilistic storage and retrieval of qubit phase gates

Authors: Michal Sedlák, Mário Ziman

Abstract: Probabilistic storage and retrieval (PSR) of unitary quantum dynamics is possible with exponentially small failure probability with respect to the number of systems used as a quantum memory [PRL 122, 170502 (2019)]. Here we study improvements due to a priori knowledge about the unitary transformation to be stored. In particular, we study $N \rightarrow 1$ PSR of qubit phase gates, i.e. qubit rotat… ▽ More Probabilistic storage and retrieval (PSR) of unitary quantum dynamics is possible with exponentially small failure probability with respect to the number of systems used as a quantum memory [PRL 122, 170502 (2019)]. Here we study improvements due to a priori knowledge about the unitary transformation to be stored. In particular, we study $N \rightarrow 1$ PSR of qubit phase gates, i.e. qubit rotations a round $Z$ axis with an unknown angle, and show that if we access the gate only $N$-times, the optimal probability of perfect retrieving of its single use is $N/(N+1)$. We propose a quantum circuit realization for the optimal protocol and show that programmable phase gate [PRL 88, 047905 (2002)] can be turned into $(2^k-1)\rightarrow 1$ optimal PSR of phase gates and requires only $k$ CNOT gates, while having exponentially small failure probability in $k$. △ Less

Submitted 21 August, 2020; originally announced August 2020.

Comments: 9 pages, 7 figures

Journal ref: Phys. Rev. A 102, 032618 (2020)

Classical Communications with Indefinite Causal Order for $N$ completely depolarizing channels

Authors: Sk Sazim, Michal Sedlak, Kratveer Singh, Arun Kumar Pati

Abstract: If two identical copies of a completely depolarizing channel are put into a superposition of their possible causal orders, they can transmit non-zero classical information. Here, we study how well we can transmit classical information with $N$ depolarizing channels put in superposition of $M$ causal orders via quantum SWITCH. We calculate Holevo quantity if the superposition uses only cyclic permu… ▽ More If two identical copies of a completely depolarizing channel are put into a superposition of their possible causal orders, they can transmit non-zero classical information. Here, we study how well we can transmit classical information with $N$ depolarizing channels put in superposition of $M$ causal orders via quantum SWITCH. We calculate Holevo quantity if the superposition uses only cyclic permutations of channels and find that it increases with $M$ and it is independent of $N$. For a qubit it never reaches $1$ if we are increasing $M$. On the other hand, the classical capacity decreases with the dimension $d$ of the message system. Further, for $N=3$ and $N=4$ we studied superposition of all causal orders and uniformly superposed causal orders belonging to different cosets created by cyclic permutation subgroup. △ Less

Submitted 28 April, 2021; v1 submitted 29 April, 2020; originally announced April 2020.

Comments: 16pages, 8figures, and 2tables. Thoroughly revised with a major revision in Section.IV. A new Author has been added. Comments are welcome

Journal ref: Phys. Rev. A 103, 062610 (2021)

Quantum Information Processing and Composite Quantum Fields

Authors: Sanjaye Ramgoolam, Michal Sedlák

Abstract: Some beautiful identities involving hook contents of Young diagrams have been found in the field of quantum information processing, along with a combinatorial proof. We here give a representation theoretic proof of these identities and a number of generalizations. Our proof is based on trace identities for elements belonging to a class of permutation centralizer algebras. These algebras have been… ▽ More Some beautiful identities involving hook contents of Young diagrams have been found in the field of quantum information processing, along with a combinatorial proof. We here give a representation theoretic proof of these identities and a number of generalizations. Our proof is based on trace identities for elements belonging to a class of permutation centralizer algebras. These algebras have been found to underlie the combinatorics of composite gauge invariant operators in quantum field theory, with applications in the AdS/CFT correspondence. Based on these algebras, we discuss some analogies between quantum information processing tasks and the combinatorics of composite quantum fields and argue that this can be fruitful interface between quantum information and quantum field theory, with implications for AdS/CFT. △ Less

Submitted 30 April, 2019; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: 11 pages plus 4-page Appendix. Version 2 - minor typo corrected

Report number: QMUL-PH-18-16

Optimal probabilistic storage and retrieval of unitary channels

Authors: Michal Sedlák, Alessandro Bisio, Mário Ziman

Abstract: We address the question of a quantum memory storage of quantum dynamics. In particular, we design an optimal protocol for $N\to 1$ probabilistic storage-and-retrieval of unitary channels on $d$-dimensional quantum systems. If we may access the unknown unitary gate only $N$-times, the optimal success probability of perfect retrieval of its single use is $N/(N-1+d^2)$. The derived size of the memory… ▽ More We address the question of a quantum memory storage of quantum dynamics. In particular, we design an optimal protocol for $N\to 1$ probabilistic storage-and-retrieval of unitary channels on $d$-dimensional quantum systems. If we may access the unknown unitary gate only $N$-times, the optimal success probability of perfect retrieval of its single use is $N/(N-1+d^2)$. The derived size of the memory system exponentially improves the known upper bound on the size of the program register needed for probabilistic programmable quantum processors. Our results are closely related to probabilistic perfect alignment of reference frames and probabilistic port-based teleportation. △ Less

Submitted 12 September, 2018; originally announced September 2018.

Comments: 5+8 pages, 4 figures

Journal ref: Phys. Rev. Lett. 122, 170502 (2019)

On some new hook-content identities

Authors: Michal Sedlák, Alessandro Bisio

Abstract: Based on the work of A. Vershik, we introduce two new combinatorial identities. We show how these identities can be used to prove a new hook-content identity. The main motivation for deriving this identity was a particular optimization problem in the field of quantum information processing. Based on the work of A. Vershik, we introduce two new combinatorial identities. We show how these identities can be used to prove a new hook-content identity. The main motivation for deriving this identity was a particular optimization problem in the field of quantum information processing. △ Less

Submitted 6 September, 2018; originally announced September 2018.

Comments: 10 pages, 1 figure

Experimental replication of single-qubit quantum phase gates

Authors: M. Mičuda, R. Stárek, I. Straka, M. Miková, M. Sedlák, M. Ježek, J. Fiurášek

Abstract: We experimentally demonstrate the underlying physical mechanism of the recently proposed protocol for superreplication of quantum phase gates [W. Dür, P. Sekatski, and M. Skotiniotis, Phys. Rev. Lett. 114, 120503 (2015)], which allows to produce up to $N^2$ high-fidelity replicas from N input copies in the limit of large N. Our implementation of 1->2 replication of the single-qubit phase gates is… ▽ More We experimentally demonstrate the underlying physical mechanism of the recently proposed protocol for superreplication of quantum phase gates [W. Dür, P. Sekatski, and M. Skotiniotis, Phys. Rev. Lett. 114, 120503 (2015)], which allows to produce up to $N^2$ high-fidelity replicas from N input copies in the limit of large N. Our implementation of 1->2 replication of the single-qubit phase gates is based on linear optics and qubits encoded into states of single photons. We employ the quantum Toffoli gate to imprint information about the structure of an input two-qubit state onto an auxiliary qubit, apply the replicated operation to the auxiliary qubit, and then disentangle the auxiliary qubit from the other qubits by a suitable quantum measurement. We characterize the replication protocol by full quantum process tomography and observe good agreement of the experimental results with theory. △ Less

Submitted 15 January, 2017; originally announced January 2017.

Comments: 8 pages, 7 figures, REVTeX 4

Journal ref: Phys. Rev. A 93, 052318 (2016)

A new technique for elucidating $β$-decay schemes which involve daughter nuclei with very low energy excited states

Authors: M. Venhart, J. L. Wood, A. J. Boston, T. E. Cocolios, L. J. Harkness-Brennan, R. -D. Herzberg, D. T. Joss, D. S. Judson, J. Kliman, V. Matousek, S. Motycak, R. D. Page, A. Patel, K. Petrik, M. Sedlak, M. Veselsky

Abstract: A new technique of elucidating $β$-decay schemes of isotopes with large density of states at low excitation energies has been developed, in which a Broad Energy Germanium (BEGe) detector is used in conjunction with coaxial hyper-pure germanium detectors. The power of this technique has been demonstrated on the example of 183Hg decay. Mass-separated samples of 183Hg were produced by a deposition of… ▽ More A new technique of elucidating $β$-decay schemes of isotopes with large density of states at low excitation energies has been developed, in which a Broad Energy Germanium (BEGe) detector is used in conjunction with coaxial hyper-pure germanium detectors. The power of this technique has been demonstrated on the example of 183Hg decay. Mass-separated samples of 183Hg were produced by a deposition of the low-energy radioactive-ion beam delivered by the ISOLDE facility at CERN. The excellent energy resolution of the BEGe detector allowed $γ$ rays energies to be determined with a precision of a few tens of electronvolts, which was sufficient for the analysis of the Rydberg-Ritz combinations in the level scheme. The timestamped structure of the data was used for unambiguous separation of $γ$ rays arising from the decay of 183Hg from those due to the daughter decays. △ Less

Submitted 9 June, 2016; originally announced June 2016.

Incompatible measurements on quantum causal networks

Authors: Michal Sedlak, Daniel Reitzner, Giulio Chiribella, Mario Ziman

Abstract: 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… ▽ More 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 to make them compatible. We show that (i) the robustness is lower bounded by the distinguishability of the sequence of interactions used by the tester and (ii) maximum robustness is attained when the interactions are perfectly distinguishable. The general results are illustrated in the concrete example of binary testers probing the time-evolution of a single-photon polarization. △ Less

Submitted 15 March, 2017; v1 submitted 3 November, 2015; originally announced November 2015.

Comments: 26 pages, 10 figures, published version

Journal ref: Phys. Rev. A 93, 052323 (2016)

Generalized Hofmann quantum process fidelity bounds for quantum filters

Authors: Michal Sedlak, Jaromír Fiurášek

Abstract: We propose and investigate bounds on quantum process fidelity of quantum filters, i.e. probabilistic quantum operations represented by a single Kraus operator K. These bounds generalize the Hofmann bounds on quantum process fidelity of unitary operations [H.F. Hofmann, Phys. Rev. Lett. 94, 160504 (2005)], and are based on probing the quantum filter by pure states forming two mutually unbiased base… ▽ More We propose and investigate bounds on quantum process fidelity of quantum filters, i.e. probabilistic quantum operations represented by a single Kraus operator K. These bounds generalize the Hofmann bounds on quantum process fidelity of unitary operations [H.F. Hofmann, Phys. Rev. Lett. 94, 160504 (2005)], and are based on probing the quantum filter by pure states forming two mutually unbiased bases. Determination of these bounds therefore requires much less measurements than full quantum process tomography. We find that it is particularly suitable to construct one of the probe basis from the right eigenstates of K, because in this case the bounds are tight in the sense that if the actual filter coincides with the ideal one then both the lower and upper bounds are equal to one. We theoretically investigate application of these bounds to a two-qubit optical quantum filter formed by interference of two photons on a partially polarizing beam splitter. For experimentally convenient choice of factorized input states and measurements we study the tightness of the bounds. We show that more stringent bounds can be obtained by more sophisticated processing of the data using convex optimization and we compare our methods for different choice of the input probe states. △ Less

Submitted 11 June, 2015; originally announced June 2015.

Comments: 9 pages, 3 figures

Journal ref: Phys. Rev. A 93, 042316 (2016)

Exploring boundaries of quantum convex structures: special role of unitary processes

Authors: Zbigniew Puchała, Anna Jencova, Michal Sedlak, Mario Ziman

Abstract: We address the question of finding the most effective convex decompositions into boundary elements (so-called boundariness) for sets of quantum states, observables and channels. First we show that in general convex sets the boundariness essentially coincides with the question of the most distinguishable element, thus, providing an operational meaning for this concept. Unexpectedly, we discovered t… ▽ More We address the question of finding the most effective convex decompositions into boundary elements (so-called boundariness) for sets of quantum states, observables and channels. First we show that in general convex sets the boundariness essentially coincides with the question of the most distinguishable element, thus, providing an operational meaning for this concept. Unexpectedly, we discovered that for any interior point of the set of channels the optimal decomposition necessarily contains a unitary channel. In other words, for any given channel the best distinguishable one is some unitary channel. Further, we prove that boundariness is sub-multiplicative under composition of systems and explicitly evaluate its maximal value that is attained only for the most mixed elements of the considered convex structures. △ Less

Submitted 2 April, 2015; originally announced April 2015.

Comments: 8 pages, 1 figure

Journal ref: Phys. Rev. A 92, 012304 (2015)

Optimal entanglement-assisted discrimination of quantum measurements

Authors: M. Mikova, M. Sedlak, I. Straka, M. Micuda, M. Ziman, M. Jezek, M. Dusek, J. Fiurasek

Abstract: We investigate optimal discrimination between two projective single-qubit measurements in a scenario where the measurement can be performed only once. We consider general setting involving a tunable fraction of inconclusive outcomes and we prove that the optimal discrimination strategy requires an entangled probe state for any nonzero rate of inconclusive outcomes. We experimentally implement this… ▽ More We investigate optimal discrimination between two projective single-qubit measurements in a scenario where the measurement can be performed only once. We consider general setting involving a tunable fraction of inconclusive outcomes and we prove that the optimal discrimination strategy requires an entangled probe state for any nonzero rate of inconclusive outcomes. We experimentally implement this optimal discrimination strategy for projective measurements on polarization states of single photons. Our setup involves a real-time electrooptical feed-forward loop which allows us to fully harness the benefits of entanglement in discrimination of quantum measurements. The experimental data clearly demonstrate the advantage of entanglement-based discrimination strategy as compared to unentangled single-qubit probes. △ Less

Submitted 5 August, 2014; originally announced August 2014.

Comments: 7 pages, 6 figures

Journal ref: Phys. Rev. A 90, 022317 (2014)

Optimal single shot strategies for discrimination of quantum measurements

Authors: Michal Sedlak, Mario Ziman

Abstract: We study discrimination of m quantum measurements in the scenario when the unknown measurement with n outcomes can be used only once. We show that ancilla-assisted discrimination procedures provide a nontrivial advantage over simple (ancilla-free) schemes for perfect distinguishability and we prove that inevitably m <= n. We derive necessary and sufficient conditions of perfect distinguishability… ▽ More We study discrimination of m quantum measurements in the scenario when the unknown measurement with n outcomes can be used only once. We show that ancilla-assisted discrimination procedures provide a nontrivial advantage over simple (ancilla-free) schemes for perfect distinguishability and we prove that inevitably m <= n. We derive necessary and sufficient conditions of perfect distinguishability of general binary measurements. We show that the optimization of the discrimination of projective qubit measurements and their mixtures with white noise is equivalent to the discrimination of specific quantum states. In particular, the optimal protocol for discrimination of projective qubit measurements with fixed failure rate (exploiting maximally entangled test state) is described. While minimum error discrimination of two projective qubit measurements can be realized without any need of entanglement, we show that discrimination of three projective qubit measurements requires a bipartite probe state. Moreover, when the measurements are not projective, the non-maximally entangled test states can outperform the maximally entangled ones. △ Less

Submitted 5 August, 2014; originally announced August 2014.

Comments: 13 pages, 3 figures

Journal ref: Phys. Rev. A 90, 052312 (2014)

Process fidelity estimation of linear optical quantum CZ gate: A comparative study

Authors: M. Micuda, M. Sedlak, I. Straka, M. Mikova, M. Dusek, M. Jezek, J. Fiurasek

Abstract: We present a systematic comparison of different methods of fidelity estimation of a linear optical quantum controlled-Z gate implemented by two-photon interference on a partially polarizing beam splitter. We have utilized a linear fidelity estimator based on the Monte Carlo sampling technique as well as a non-linear estimator based on maximum likelihood reconstruction of a full quantum process mat… ▽ More We present a systematic comparison of different methods of fidelity estimation of a linear optical quantum controlled-Z gate implemented by two-photon interference on a partially polarizing beam splitter. We have utilized a linear fidelity estimator based on the Monte Carlo sampling technique as well as a non-linear estimator based on maximum likelihood reconstruction of a full quantum process matrix. In addition, we have also evaluated lower bound on quantum gate fidelity determined by average quantum state fidelities for two mutually unbiased bases. In order to probe various regimes of operation of the gate we have introduced a tunable delay line between the two photons. This allowed us to move from high-fidelity operation to a regime where the photons become distinguishable and the success probability of the scheme significantly depends on input state. We discuss in detail possible systematic effects that could influence the gate fidelity estimation. △ Less

Submitted 19 March, 2014; originally announced March 2014.

Comments: 11 pages, 5 figures REVTeX4

Journal ref: Phys. Rev. A 89, 042304 (2014)

Distance to boundary and minimum-error discrimination

Authors: Erkka Haapasalo, Michal Sedlak, Mario Ziman

Abstract: We introduce the concept of boundariness capturing the most efficient way of expressing a given element of a convex set as a probability mixture of its boundary elements. In other words, this number measures (without the need of any explicit topology) how far the given element is from the boundary. It is shown that one of the elements from the boundary can be always chosen to be an extremal elemen… ▽ More We introduce the concept of boundariness capturing the most efficient way of expressing a given element of a convex set as a probability mixture of its boundary elements. In other words, this number measures (without the need of any explicit topology) how far the given element is from the boundary. It is shown that one of the elements from the boundary can be always chosen to be an extremal element. We focus on evaluation of this quantity for quantum sets of states, channels and observables. We show that boundariness is intimately related to (semi)norms that provide an operational interpretation of this quantity. In particular, the minimum error probability for discrimination of a pair of quantum devices is lower bounded by the boundariness of each of them. We proved that for states and observables this bound is saturated and conjectured this feature for channels. The boundariness is zero for infinite-dimensional quantum objects as in this case all the elements are boundary elements. △ Less

Submitted 29 August, 2014; v1 submitted 29 January, 2014; originally announced January 2014.

Comments: 14 pages, 6 figures (final version)

Journal ref: Phys. Rev. A 89, 062303 (2014)

Bounds on quantum process fidelity from minimum required number of quantum state fidelity measurements

Authors: Jaromir Fiurasek, Michal Sedlak

Abstract: To certify that an experimentally implemented quantum transformation is a certain unitary operation U on a d-dimensional Hilbert space, it suffices to determine fidelities of output states for d+1 suitably chosen pure input states [Reich et al., Phys. Rev. A 88, 042309 (2013)]. The set of these d+1 probe states can consist of d orthogonal states that form a basis and one additional state which is… ▽ More To certify that an experimentally implemented quantum transformation is a certain unitary operation U on a d-dimensional Hilbert space, it suffices to determine fidelities of output states for d+1 suitably chosen pure input states [Reich et al., Phys. Rev. A 88, 042309 (2013)]. The set of these d+1 probe states can consist of d orthogonal states that form a basis and one additional state which is a balanced superposition of all d basis states. Here we provide an analytical lower bound on quantum process fidelity for two-qubit quantum gates which results from the knowledge of average state fidelity for the basis states and the fidelity of the superposition state. We compare this bound with the Hofmann bound that is based on knowledge of average state fidelities for two mutually unbiased bases. We also discuss possible extension of our findings to N-qubit operations. △ Less

Submitted 23 January, 2014; originally announced January 2014.

Comments: 7 pages, 2 figures

Journal ref: Phys. Rev. A 89, 012323 (2014)

Optimal processing of reversible quantum channels

Authors: Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti, Michal Sedlak

Abstract: We consider the general problem of the optimal transformation of N uses of (possibly different) unitary channels to a single use of another unitary channel in any finite dimension. We show how the optimal transformation can be fully parallelized, consisting in a preprocessing channel followed by a parallel action of all the N unitaries and a final postprocessing channel. Our techniques allow to ac… ▽ More We consider the general problem of the optimal transformation of N uses of (possibly different) unitary channels to a single use of another unitary channel in any finite dimension. We show how the optimal transformation can be fully parallelized, consisting in a preprocessing channel followed by a parallel action of all the N unitaries and a final postprocessing channel. Our techniques allow to achieve an exponential reduction in the number of the free parameters of the optimization problem making it amenable to an efficient numerical treatment. Finally, we apply our general results to find the analytical solution for special cases of interest like the cloning of qubit phase gates. △ Less

Submitted 14 August, 2013; originally announced August 2013.

Comments: 14 pages, 2 figures

Journal ref: Physics Letters A 378, p. 1797 (2014)

Efficient experimental estimation of fidelity of linear optical quantum Toffoli gate

Authors: Michal Micuda, Michal Sedlak, Ivo Straka, Martina Mikova, Miloslav Dusek, Miroslav Jezek, Jaromir Fiurasek

Abstract: We propose an efficiently measurable lower bound on quantum process fidelity of N-qubit controlled-Z gates. This bound is determined by average output state fidelities for N partially conjugate product bases. A distinct advantage of our approach is that only fidelities with product states need to be measured while keeping the total number of measurements much smaller than what is necessary for ful… ▽ More We propose an efficiently measurable lower bound on quantum process fidelity of N-qubit controlled-Z gates. This bound is determined by average output state fidelities for N partially conjugate product bases. A distinct advantage of our approach is that only fidelities with product states need to be measured while keeping the total number of measurements much smaller than what is necessary for full quantum process tomography. As an application, we use this method to experimentally estimate quantum process fidelity F of a three-qubit linear optical quantum Toffoli gate and we find that F>=0.83. We also demonstrate the entangling capability of the gate by preparing GHZ-type three-qubit entangled states from input product states. △ Less

Submitted 16 October, 2013; v1 submitted 5 June, 2013; originally announced June 2013.

Comments: 9 pages, 4 figures, REVTeX4

Journal ref: Phys. Rev. Lett. 111, 160407 (2013)

Memory cost of quantum protocols

Authors: Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti, Michal Sedlak

Abstract: In this paper we consider the problem of minimizing the ancillary systems required to realize an arbitrary strategy of a quantum protocol, with the assistance of classical memory. For this purpose we introduce the notion of memory cost of a strategy, which measures the resources required in terms of ancillary dimension. We provide a condition for the cost to be equal to a given value, and we use t… ▽ More In this paper we consider the problem of minimizing the ancillary systems required to realize an arbitrary strategy of a quantum protocol, with the assistance of classical memory. For this purpose we introduce the notion of memory cost of a strategy, which measures the resources required in terms of ancillary dimension. We provide a condition for the cost to be equal to a given value, and we use this result to evaluate the cost in some special cases. As an example we show that any covariant protocol for the cloning of a unitary transformation requires at most one ancillary qubit. We also prove that the memory cost has to be determined globally, and cannot be calculated by optimizing the resources independently at each step of the strategy. △ Less

Submitted 16 December, 2011; originally announced December 2011.

Comments: 9 pages

Journal ref: Phys. Rev. A 85, 032333 (2012)

Cloning of a quantum measurement

Authors: Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti, Michal Sedlak

Abstract: We analyze quantum algorithms for cloning of a quantum measurement. Our aim is to mimic two uses of a device performing an unknown von Neumann measurement with a single use of the device. When the unknown device has to be used before the bipartite state to be measured is available we talk about 1 -> 2 learning of the measurement, otherwise the task is called 1 -> 2 cloning of a measurement. We per… ▽ More We analyze quantum algorithms for cloning of a quantum measurement. Our aim is to mimic two uses of a device performing an unknown von Neumann measurement with a single use of the device. When the unknown device has to be used before the bipartite state to be measured is available we talk about 1 -> 2 learning of the measurement, otherwise the task is called 1 -> 2 cloning of a measurement. We perform the optimization for both learning and cloning for arbitrary dimension of the Hilbert space. For 1 -> 2 cloning we also propose a simple quantum network that realizes the optimal strategy. △ Less

Submitted 30 March, 2011; v1 submitted 29 March, 2011; originally announced March 2011.

Comments: 10 pages, 1 figure

Journal ref: Phys. Rev. A 84, 042330 (2011)

Quantum learning algorithms for quantum measurements

Authors: Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti, Michal Sedlak

Abstract: We study quantum learning algorithms for quantum measurements. The optimal learning algorithm is derived for arbitrary von Neumann measurements in the case of training with one or two examples. The analysis of the case of three examples reveals that, differently from the learning of unitary gates, the optimal algorithm for learning of quantum measurements cannot be parallelized, and requires quant… ▽ More We study quantum learning algorithms for quantum measurements. The optimal learning algorithm is derived for arbitrary von Neumann measurements in the case of training with one or two examples. The analysis of the case of three examples reveals that, differently from the learning of unitary gates, the optimal algorithm for learning of quantum measurements cannot be parallelized, and requires quantum memories for the storage of information. △ Less

Submitted 30 August, 2011; v1 submitted 2 March, 2011; originally announced March 2011.

Comments: 13 pages, 2 figures

Journal ref: Physics Letters A 375 (2011), pp. 3425-3434

Extremal quantum protocols

Authors: Giacomo Mauro D'Ariano, Paolo Perinotti, Michal Sedlak

Abstract: Generalized quantum instruments correspond to measurements where the input and output are either states or more generally quantum circuits. These measurements describe any quantum protocol including games, communications, and algorithms. The set of generalized quantum instruments with a given input and output structure is a convex set. Here we investigate the extremal points of this set for the ca… ▽ More Generalized quantum instruments correspond to measurements where the input and output are either states or more generally quantum circuits. These measurements describe any quantum protocol including games, communications, and algorithms. The set of generalized quantum instruments with a given input and output structure is a convex set. Here we investigate the extremal points of this set for the case of finite dimensional quantum systems and generalized instruments with finitely many outcomes. We derive algebraic necessary and sufficient conditions for extremality. △ Less

Submitted 30 August, 2011; v1 submitted 25 January, 2011; originally announced January 2011.

Comments: 26 pages (JMP style), 1 figures

Journal ref: J. Math. Phys. 52, 082202 (2011)

Optimal unambiguous comparison of two unknown squeezed vacua

Authors: Stefano Olivares, Michal Sedlak, Peter Rapcan, Matteo G. A. Paris, Vladimir Buzek

Abstract: We propose a scheme for unambiguous state comparison (USC) of two unknown squeezed vacuum states of an electromagnetic field. Our setup is based on linear optical elements and photon-number detectors, and achieves optimal USC in an ideal case of unit quantum efficiency. In realistic conditions, i.e., for non-unit quantum efficiency of photodetectors, we evaluate the probability of getting an ambig… ▽ More We propose a scheme for unambiguous state comparison (USC) of two unknown squeezed vacuum states of an electromagnetic field. Our setup is based on linear optical elements and photon-number detectors, and achieves optimal USC in an ideal case of unit quantum efficiency. In realistic conditions, i.e., for non-unit quantum efficiency of photodetectors, we evaluate the probability of getting an ambiguous result as well as the reliability of the scheme, thus showing its robustness in comparison to previous proposals. △ Less

Submitted 21 December, 2010; v1 submitted 14 October, 2010; originally announced October 2010.

Comments: 7 pages, 4 figures (revised version)

Journal ref: Phys. Rev. A 83, 012313 (2011)

Quantum theory of unambiguous measurements

Authors: Michal Sedlák

Abstract: In the present paper I formulate a framework that accommodates many unambiguous discrimination problems. I show that the prior information about any type of constituent (state, channel, or observable) allows us to reformulate the discrimination among finite number of alternatives as the discrimination among finite number of average constituents. Using this framework I solve several unambiguous ta… ▽ More In the present paper I formulate a framework that accommodates many unambiguous discrimination problems. I show that the prior information about any type of constituent (state, channel, or observable) allows us to reformulate the discrimination among finite number of alternatives as the discrimination among finite number of average constituents. Using this framework I solve several unambiguous tasks. I present a solution to optimal unambiguous comparison of two ensembles of unknown quantum states. I consider two cases: 1) The two unknown states are arbitrary pure states of qudits. 2) Alternatively, they are coherent states of single-mode optical fields. For this case I propose simple and optimal experimental setup composed of beam-splitters and a photodetector. As a second tasks I consider an unambiguous identification (UI) of coherent states. In this task identical quantum systems are prepared in coherent states and labeled as unknown and reference states, respectively. The promise is that one reference state is the same as the unknown state and the task is to find out unambiguously which one it is. The particular choice of the reference states is unknown to us, and only the probability distribution describing this choice is known. In a general case when multiple copies of unknown and reference states are available I propose a scheme consisting of beamsplitters and photodetectors that is optimal within linear optics. UI can be considered as a search in a quantum database, whose elements are the reference states and the query is represented by the unknown state. This perspective motivated me to show that reference states can be recovered after the measurement and might be used (with reduced success rate) in subsequent UI. Moreover, I analyze the influence of noise in preparation of coherent states on the performance of the proposed setup. Another problem I address is the unambiguous comparison of a pair of unknown qudit unitary channels. I characterize all solutions and identify the optimal ones. I prove that in optimal experiments for comparison of unitary channels the entanglement is necessary. The last task I studied is the unambiguous comparison of unknown non-degenerate projective measurements. I distinguish between measurement devices with apriori labeled and unlabeled outcomes. In both cases only the difference of the measurements can be concluded unambiguously. For the labeled case I derive the optimal strategy if each unknown measurement is used only once. However, if the apparatuses are not labeled, then each measurement device must be used (at least) twice. In particular, for qubit measurement apparatuses with unlabeled outcomes I derive the optimal test state in the two-shots scenario. △ Less

Submitted 11 March, 2010; originally announced March 2010.

Comments: 141 pages, based on PhD thesis

Journal ref: Acta Physica Slovaca 59, No.6, 653-792 (2009)

Single-shot discrimination of quantum unitary processes

Authors: Mario Ziman, Michal Sedlák

Abstract: We formulate minimum-error and unambiguous discrimination problems for quantum processes in the language of process positive operator valued measures (PPOVM). In this framework we present the known solution for minimum-error discrimination of unitary channels. We derive a "fidelity-like" lower bound on the failure probability of the unambiguous discrimination of arbitrary quantum processes. This… ▽ More We formulate minimum-error and unambiguous discrimination problems for quantum processes in the language of process positive operator valued measures (PPOVM). In this framework we present the known solution for minimum-error discrimination of unitary channels. We derive a "fidelity-like" lower bound on the failure probability of the unambiguous discrimination of arbitrary quantum processes. This bound is saturated (in a certain range of apriori probabilities) in the case of unambiguous discrimination of unitary channels. Surprisingly, the optimal solution for both tasks is based on the optimization of the same quantity called completely bounded process fidelity. △ Less

Submitted 7 March, 2010; originally announced March 2010.

Comments: 11 pages, 1 figure

Journal ref: Journal of Modern Optics, 1362-3044, Volume 57, Issue 3, Pages 253-259, 2010

Unambiguous comparison of quantum measurements

Authors: Mario Ziman, Teiko Heinosaari, Michal Sedlak

Abstract: The goal of comparison is to reveal the difference of compared objects as fast and reliably as possible. In this paper we formulate and investigate the unambiguous comparison of unknown quantum measurements represented by non-degenerate sharp POVMs. We distinguish between measurement devices with apriori labeled and unlabeled outcomes. In both cases we can unambiguously conclude only that the me… ▽ More The goal of comparison is to reveal the difference of compared objects as fast and reliably as possible. In this paper we formulate and investigate the unambiguous comparison of unknown quantum measurements represented by non-degenerate sharp POVMs. We distinguish between measurement devices with apriori labeled and unlabeled outcomes. In both cases we can unambiguously conclude only that the measurements are different. For the labeled case it is sufficient to use each unknown measurement only once and the average conditional success probability decreases with the Hilbert space dimension as 1/d. If the outcomes of the apparatuses are not labeled, then the problem is more complicated. We analyze the case of two-dimensional Hilbert space. In this case single shot comparison is impossible and each measurement device must be used (at least) twice. The optimal test state in the two-shots scenario gives the average conditional success probability 3/4. Interestingly, the optimal experiment detects unambiguously the difference with nonvanishing probability for any pair of observables. △ Less

Submitted 27 May, 2009; originally announced May 2009.

Comments: 10 pages, 1 figure

Journal ref: Phys. Rev. A 80, 052102 (2009)

Unambiguous identification of coherent states II: Multiple resources

Authors: Michal Sedlak, Mario Ziman, Vladimir Buzek, Mark Hillery

Abstract: We consider unambiguous identification of coherent states of electromagnetic field. In particular, we study possible generalizations of an optical setup proposed in M. Sedlák {\it et al.}, Phys. Rev. A {\bf 76}, 022326 (2007). We show how the unambiguous identification of coherent states can be performed in a general case when multiple copies of unknown and the reference states are available. We… ▽ More We consider unambiguous identification of coherent states of electromagnetic field. In particular, we study possible generalizations of an optical setup proposed in M. Sedlák {\it et al.}, Phys. Rev. A {\bf 76}, 022326 (2007). We show how the unambiguous identification of coherent states can be performed in a general case when multiple copies of unknown and the reference states are available. We also investigate whether reference states after the measurement can be "recovered" and further used for subsequent unambiguous identification tasks. We show that in spite of the fact that the recovered reference states are disturbed by measurements they can be repeatedly used for unambiguous identifications. We analyze the role of various imperfections in preparation of the unknown and the reference coherent states on the performance of our unambiguous identification setup. △ Less

Submitted 21 January, 2009; originally announced January 2009.

Comments: 9 figures

Journal ref: Phys. Rev. A 79, 062305 (2009)

Unambiguous comparison of unitary channels

Authors: Michal Sedlak, Mario Ziman

Abstract: We address the problem of unambiguous comparison of a pair of unknown qudit unitary channels. Using the framework of process positive operator valued measures (PPOVM) we characterize all solutions and identify the optimal ones. We prove that the entanglement is the key ingredient in designing the optimal experiment for comparison of unitary channels. Without entanglement the optimality can not b… ▽ More We address the problem of unambiguous comparison of a pair of unknown qudit unitary channels. Using the framework of process positive operator valued measures (PPOVM) we characterize all solutions and identify the optimal ones. We prove that the entanglement is the key ingredient in designing the optimal experiment for comparison of unitary channels. Without entanglement the optimality can not be achieved. The proposed scheme is also experimentally feasible. △ Less

Submitted 9 January, 2009; v1 submitted 25 September, 2008; originally announced September 2008.

Comments: Version published in PRA, 7 pages, 1 figure

Journal ref: Phys. Rev. A 79, 012303 (2009)

Unambiguous comparison of ensembles of quantum states

Authors: Michal Sedlak, Mario Ziman, Vladimir Buzek, Mark Hillery

Abstract: We present a solution of the problem of the optimal unambiguous comparison of two ensembles of unknown quantum states (psi_1)^k and (psi_2)^l. We consider two cases: 1) The two unknown states psi_1 and psi_2 are arbitrary states of qudits. 2) Alternatively, they are coherent states of a harmonic oscillator. For the case of coherent states we propose a simple experimental realization of the optim… ▽ More We present a solution of the problem of the optimal unambiguous comparison of two ensembles of unknown quantum states (psi_1)^k and (psi_2)^l. We consider two cases: 1) The two unknown states psi_1 and psi_2 are arbitrary states of qudits. 2) Alternatively, they are coherent states of a harmonic oscillator. For the case of coherent states we propose a simple experimental realization of the optimal "comparison" machine composed of a finite number of beam-splitters and a single photodetector. △ Less

Submitted 11 December, 2007; originally announced December 2007.

Comments: 7 pages, 3 figures

Journal ref: Phys. Rev. A 77, 042304 (2008)

Unambiguous coherent state identification: Searching a quantum database

Authors: Michal Sedlak, Mario Ziman, Ondrej Pribyla, Vladimir Buzek, Mark Hillery

Abstract: We consider an unambiguous identification of an unknown coherent state with one of two unknown coherent reference states. Specifically, we consider two modes of an electromagnetic field prepared in unknown coherent states alpha_1 and alpha_2, respectively. The third mode is prepared either in the state alpha_1 or in the state alpha_2. The task is to identify (unambiguously) which of the two mode… ▽ More We consider an unambiguous identification of an unknown coherent state with one of two unknown coherent reference states. Specifically, we consider two modes of an electromagnetic field prepared in unknown coherent states alpha_1 and alpha_2, respectively. The third mode is prepared either in the state alpha_1 or in the state alpha_2. The task is to identify (unambiguously) which of the two modes are in the same state. We present a scheme consisting of three beamsplitters capable to perform this task. Although we don't prove the optimality, we show that the performance of the proposed setup is better than the generalization of the optimal measurement known for a finite-dimensional case. We show that a single beamsplitter is capable to perform an unambiguous quantum state comparison for coherent states optimally. Finally we propose an experimental setup consisting of 2N-1 beamsplitters for unambiguous identification among N unknown coherent states. This setup can be considered as a search in a quantum database. The elements of the database are unknown coherent states encoded in different modes of an electromagnetic field. The task is to specify the two modes that are excited in the same, though unknown, coherent state. △ Less

Submitted 23 July, 2007; v1 submitted 13 June, 2007; originally announced June 2007.

Comments: version accepted for publication, 12 pages, 3 figures

Journal ref: Phys. Rev. A 76, 022326 (2007)

Towards optimization of quantum circuits

Authors: Michal Sedlak, Martin Plesch

Abstract: Any unitary operation in quantum information processing can be implemented via a sequence of simpler steps - quantum gates. However, actual implementation of a quantum gate is always imperfect and takes a finite time. Therefore, seeking for a short sequence of gates - efficient quantum circuit for a given operation, is an important task. We contribute to this issue by proposing optimization of t… ▽ More Any unitary operation in quantum information processing can be implemented via a sequence of simpler steps - quantum gates. However, actual implementation of a quantum gate is always imperfect and takes a finite time. Therefore, seeking for a short sequence of gates - efficient quantum circuit for a given operation, is an important task. We contribute to this issue by proposing optimization of the well-known universal procedure proposed by Barenco et.al [1]. We also created a computer program which realizes both Barenco's decomposition and the proposed optimization. Furthermore, our optimization can be applied to any quantum circuit containing generalized Toffoli gates, including basic quantum gate circuits. △ Less

Submitted 8 November, 2006; v1 submitted 18 July, 2006; originally announced July 2006.

Comments: 10 pages, 11 figures, minor changes+typos

Journal ref: Cent. Eur. J. Phys. vol. 6 no.1 p. 128-134 (2008)