Showing 1–49 of 49 results for author: Miszczak, J A

YAQQ: Yet Another Quantum Quantizer -- Design Space Exploration of Quantum Gate Sets using Novelty Search

Authors: Aritra Sarkar, Akash Kundu, Matthew Steinberg, Sibasish Mishra, Sebastiaan Fauquenot, Tamal Acharya, Jarosław A. Miszczak, Sebastian Feld

Abstract: In the standard circuit model of quantum computation, the number and quality of the quantum gates composing the circuit influence the runtime and fidelity of the computation. The fidelity of the decomposition of quantum algorithms, represented as unitary matrices, to bounded depth quantum circuits depends strongly on the set of gates available for the decomposition routine. To investigate this dep… ▽ More In the standard circuit model of quantum computation, the number and quality of the quantum gates composing the circuit influence the runtime and fidelity of the computation. The fidelity of the decomposition of quantum algorithms, represented as unitary matrices, to bounded depth quantum circuits depends strongly on the set of gates available for the decomposition routine. To investigate this dependence, we explore the design space of discrete quantum gate sets and present a software tool for comparative analysis of quantum processing units and control protocols based on their native gates. The evaluation is conditioned on a set of unitary transformations representing target use cases on the quantum processors. The cost function considers three key factors: (i) the statistical distribution of the decomposed circuits' depth, (ii) the statistical distribution of process fidelities for the approximate decomposition, and (iii) the relative novelty of a gate set compared to other gate sets in terms of the aforementioned properties. The developed software, YAQQ (Yet Another Quantum Quantizer), enables the discovery of an optimized set of quantum gates through this tunable joint cost function. To identify these gate sets, we use the novelty search algorithm, circuit decomposition techniques, and stochastic optimization to implement YAQQ within the Qiskit quantum simulator environment. YAQQ exploits reachability tradeoffs conceptually derived from quantum algorithmic information theory. Our results demonstrate the pragmatic application of identifying gate sets that are advantageous to popularly used quantum gate sets in representing quantum algorithms. Consequently, we demonstrate pragmatic use cases of YAQQ in comparing transversal logical gate sets in quantum error correction codes, designing optimal quantum instruction sets, and compiling to specific quantum processors. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Enhancing variational quantum state diagonalization using reinforcement learning techniques

Authors: Akash Kundu, Przemysław Bedełek, Mateusz Ostaszewski, Onur Danaci, Yash J. Patel, Vedran Dunjko, Jarosław A. Miszczak

Abstract: The variational quantum algorithms are crucial for the application of NISQ computers. Such algorithms require short quantum circuits, which are more amenable to implementation on near-term hardware, and many such methods have been developed. One of particular interest is the so-called variational quantum state diagonalization method, which constitutes an important algorithmic subroutine and can be… ▽ More The variational quantum algorithms are crucial for the application of NISQ computers. Such algorithms require short quantum circuits, which are more amenable to implementation on near-term hardware, and many such methods have been developed. One of particular interest is the so-called variational quantum state diagonalization method, which constitutes an important algorithmic subroutine and can be used directly to work with data encoded in quantum states. In particular, it can be applied to discern the features of quantum states, such as entanglement properties of a system, or in quantum machine learning algorithms. In this work, we tackle the problem of designing a very shallow quantum circuit, required in the quantum state diagonalization task, by utilizing reinforcement learning (RL). We use a novel encoding method for the RL-state, a dense reward function, and an $ε$-greedy policy to achieve this. We demonstrate that the circuits proposed by the reinforcement learning methods are shallower than the standard variational quantum state diagonalization algorithm and thus can be used in situations where hardware capabilities limit the depth of quantum circuits. The methods we propose in the paper can be readily adapted to address a wide range of variational quantum algorithms. △ Less

Submitted 11 January, 2024; v1 submitted 19 June, 2023; originally announced June 2023.

Comments: 24 pages with 13 figures, accepted in the New Journal of Physics, code available at https://github.com/iitis/RL_for_VQSD_ansatz_optimization

Journal ref: New Journal of Physics, 26, 013034 (2024)

Symbolic quantum programming for supporting applications of quantum computing technologies

Authors: Jarosław Adam Miszczak

Abstract: The goal of this paper is to deliver the overview of the current state of the art, to provide experience report on develo** quantum software tools, and to outline the perspective for develo** quantum programming tools supporting symbolic programming for the needs of quantum computing technologies. The main focus of this paper is on quantum computing technologies, as they can in the most direct… ▽ More The goal of this paper is to deliver the overview of the current state of the art, to provide experience report on develo** quantum software tools, and to outline the perspective for develo** quantum programming tools supporting symbolic programming for the needs of quantum computing technologies. The main focus of this paper is on quantum computing technologies, as they can in the most direct way benefit from develo** tools enabling the symbolic manipulation of quantum circuits and providing software tools for creating, optimizing, and testing quantum programs. We deliver a short survey of the most popular approaches in the field of quantum software development and we aim at pointing their strengths and weaknesses. This helps to formulate a list of desirable characteristics which should be included in quantum computing frameworks. Next, we describe a software architecture and its preliminary implementation supporting the development of quantum programs using symbolic approach, encouraging the functional programming paradigm, and, at the same, time enabling the integration with high-performance and cloud computing. The described software consists of several packages developed to address different needs, but nevertheless sharing common design concepts. We also outline how the presented approach could be used in tasks in quantum software engineering, namely quantum software testing and quantum circuit construction. △ Less

Submitted 18 February, 2023; originally announced February 2023.

Comments: 14 pages, contribution to QP2023 Workshop, Programming'23, Tokyo, JP, March 13-17, 2023

ACM Class: D.2.1; I.1.4

Journal ref: Programming '23 Companion: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, pp. 101-108 (2023)

Transparency and enhancement in fast and slow light in $q$-deformed optomechanical system

Authors: Akash Kundu, Jarosław A. Miszczak

Abstract: Nonclassical phenomena can be enhanced by introducing $q$-deformation in optomechanical systems. This motivates investigation of the optical response in a $q$-deformed linearly coupled optomechanical system. The system consists of two deformed cavities that are linearly coupled to the motion of mechanical mirrors, and the cavities are coupled to each other by transmission strength parameter. This… ▽ More Nonclassical phenomena can be enhanced by introducing $q$-deformation in optomechanical systems. This motivates investigation of the optical response in a $q$-deformed linearly coupled optomechanical system. The system consists of two deformed cavities that are linearly coupled to the motion of mechanical mirrors, and the cavities are coupled to each other by transmission strength parameter. This study shows that compared to non-deformed cases, the deformed system exhibits more rapid phase transition at the positions of transparency windows, causing stronger and enhanced fast and slow light phenomena. Moreover, in the region $0<q<0.5$, the optomechanical system results in gain. Additionally, for a fixed deformation of cavities, by tuning the tunneling strength and optomechanical coupling, one can observe a delay and advancement in probe field in the order of milliseconds and even above milliseconds for fine-tuning of the coupling parameters. Finally, the bridge between mathematical and physical models is built by assuming the deformation to be a primitive root of unity, which indicates a class of anyon models. These results demonstrate that $q$-deformation provides a novel method for manipulating and significantly enhancing optical phenomena not only in arbitrarily deformed optomechanical systems but also in anyon models. △ Less

Submitted 19 September, 2022; v1 submitted 31 May, 2022; originally announced May 2022.

Comments: 26 pages, 15 figures, https://doi.org/10.1002/andp.202200026

Journal ref: Annalen der Physik 2022, 534, 2200026

Error mitigation for variational quantum algorithms through mid-circuit measurements

Authors: Ludmila Botelho, Adam Glos, Akash Kundu, Jarosław Adam Miszczak, Özlem Salehi, Zoltán Zimborás

Abstract: Noisy Intermediate-Scale Quantum (NISQ) algorithms require novel paradigms of error mitigation. To obtain noise-robust quantum computers, each logical qubit is equipped with hundreds or thousands of physical qubits. However, it is not possible to use memory-consuming techniques for current quantum devices having at most hundreds or at best thousands of physical qubits on their own. For specific pr… ▽ More Noisy Intermediate-Scale Quantum (NISQ) algorithms require novel paradigms of error mitigation. To obtain noise-robust quantum computers, each logical qubit is equipped with hundreds or thousands of physical qubits. However, it is not possible to use memory-consuming techniques for current quantum devices having at most hundreds or at best thousands of physical qubits on their own. For specific problems, valid quantum states have a unique structure as in the case of Fock states and W-states where the Hamming weight is fixed, and the evolution takes place in a smaller subspace of the full Hilbert space. With this pre-knowledge, some errors can be detected in the course of the evolution of the circuit, by filtering the states not obeying the pattern through post-selection. In this paper, we present mid-circuit post-selection schemes for frequently used encodings such as one-hot, binary, gray, and domain-wall encoding. For the particular subspace of one-hot states, we propose a method that works by compressing the full Hilbert space to a smaller subspace, allowing projecting to the desired subspace without using any ancilla qubits. We demonstrate the effectiveness of the approach for the Quantum Alternating Operator Ansatz algorithm. Our method is particularly suitable for the currently available hardware, where measuring and resetting is possible, but classical control conditional operators are not. △ Less

Submitted 7 September, 2021; v1 submitted 24 August, 2021; originally announced August 2021.

Comments: 22 pages, 12 figures, typos fixed

Journal ref: Phys. Rev. A 105, 022441 (2022)

Unconstrained Binary Models of the Travelling Salesman Problem Variants for Quantum Optimization

Authors: Özlem Salehi, Adam Glos, Jarosław Adam Miszczak

Abstract: Quantum computing is offering a novel perspective for solving combinatorial optimization problems. To fully explore the possibilities offered by quantum computers, the problems need to be formulated as unconstrained binary models, taking into account limitation and advantages of quantum devices. In this work, we provide a detailed analysis of the Travelling Salesman Problem with Time Windows (TSPT… ▽ More Quantum computing is offering a novel perspective for solving combinatorial optimization problems. To fully explore the possibilities offered by quantum computers, the problems need to be formulated as unconstrained binary models, taking into account limitation and advantages of quantum devices. In this work, we provide a detailed analysis of the Travelling Salesman Problem with Time Windows (TSPTW) in the context of solving it on a quantum computer. We introduce quadratic unconstrained binary optimization and higher order binary optimization formulations of this problem. We demonstrate the advantages of edge-based and node-based formulations of the TSPTW problem. Additionally, we investigate the experimental realization of the presented methods on a quantum annealing device. The provided results pave the path for utilizing quantum computer for a variety of real-world task which can be cast in the form of Travelling Salesman Problem with Time Windows problem. △ Less

Submitted 28 December, 2021; v1 submitted 16 June, 2021; originally announced June 2021.

Comments: 26 pages

Journal ref: Quantum Information Processing, Vol. 21, 67 (2022)

Variational certification of quantum devices

Authors: Akash Kundu, Jarosław Adam Miszczak

Abstract: One of the requirements imposed on the realistic quantum computers is to provide computation results which can be repeated and reproduced. In the situation when one needs to repeat the quantum computation procedure several times, it is crucial that the copies of the quantum devices are similar in the sense of the produced results. In this work, we describe a simple procedure based on variational q… ▽ More One of the requirements imposed on the realistic quantum computers is to provide computation results which can be repeated and reproduced. In the situation when one needs to repeat the quantum computation procedure several times, it is crucial that the copies of the quantum devices are similar in the sense of the produced results. In this work, we describe a simple procedure based on variational quantum eigensolver which can be utilized to compare quantum devices. The procedure is developed by combining Choi-Jamiołkowski isomorphism with the variational hybrid quantum-classical procedure for matrix diagonalization. We compare the introduced procedure with the scheme based on the standard bounds for the similarity between quantum operations by analysing its action on random quantum channels. We also discuss the sensitivity of the described procedure to the noise, and we provide numerical results demonstrating its feasibility in realistic scenarios by running the procedure on IBM quantum computer. △ Less

Submitted 25 August, 2022; v1 submitted 3 November, 2020; originally announced November 2020.

Comments: accepted version, 11 pages, 9 figures, revtex4-2, accompanying code available at 10.5281/zenodo.5804364

Journal ref: Quantum Science and Technology, 7, 045017 (2022)

Approximation of quantum control correction scheme using deep neural networks

Authors: M. Ostaszewski, J. A. Miszczak, P. Sadowski, L. Banchi

Abstract: We study the functional relationship between quantum control pulses in the idealized case and the pulses in the presence of an unwanted drift. We show that a class of artificial neural networks called LSTM is able to model this functional relationship with high efficiency, and hence the correction scheme required to counterbalance the effect of the drift. Our solution allows studying the map** f… ▽ More We study the functional relationship between quantum control pulses in the idealized case and the pulses in the presence of an unwanted drift. We show that a class of artificial neural networks called LSTM is able to model this functional relationship with high efficiency, and hence the correction scheme required to counterbalance the effect of the drift. Our solution allows studying the map** from quantum control pulses to system dynamics and then analysing the robustness of the latter against local variations in the control profile. △ Less

Submitted 28 March, 2019; v1 submitted 14 March, 2018; originally announced March 2018.

Comments: 6 pages, 3 figures, Python code available upon request. arXiv admin note: text overlap with arXiv:1803.05169

Journal ref: Quantum Inf Process (2019), 18:126

Geometrical versus time-series representation of data in quantum control learning

Authors: M. Ostaszewski, J. A. Miszczak, P. Sadowski

Abstract: Recently machine learning techniques have become popular for analysing physical systems and solving problems occurring in quantum computing. In this paper we focus on using such techniques for finding the sequence of physical operations implementing the given quantum logical operation. In this context we analyse the flexibility of the data representation and compare the applicability of two machin… ▽ More Recently machine learning techniques have become popular for analysing physical systems and solving problems occurring in quantum computing. In this paper we focus on using such techniques for finding the sequence of physical operations implementing the given quantum logical operation. In this context we analyse the flexibility of the data representation and compare the applicability of two machine learning approaches based on different representations of data. We demonstrate that the utilization of the geometrical structure of control pulses is sufficient for achieving high-fidelity of the implemented evolution. We also demonstrate that artificial neural networks, unlike geometrical methods, posses the generalization abilities enabling them to generate control pulses for the systems with variable strength of the disturbance. The presented results suggest that in some quantum control scenarios, geometrical data representation and processing is competitive to more complex methods. △ Less

Submitted 29 April, 2020; v1 submitted 14 March, 2018; originally announced March 2018.

Comments: 12 pages, 14 figures, Python code available upon the request

Journal ref: Journal of Physics A: Mathematical and Theoretical, Volume 53, Number 19 (2020)

Impact of the malicious input data modification on the efficiency of quantum spatial search

Authors: Adam Glos, Jarosław Adam Miszczak

Abstract: In this paper we demonstrate that the efficiency of quantum algorithms can be significantly altered by malicious manipulation of the input data. We exemplify the possibility of attacks on quantum spatial search based on Szegedy walk. We achieve this by proposing a framework suitable for analysing efficiency of attacks on quantum search algorithms. We provide the analysis of proposed attacks for di… ▽ More In this paper we demonstrate that the efficiency of quantum algorithms can be significantly altered by malicious manipulation of the input data. We exemplify the possibility of attacks on quantum spatial search based on Szegedy walk. We achieve this by proposing a framework suitable for analysing efficiency of attacks on quantum search algorithms. We provide the analysis of proposed attacks for different models of random graphs. △ Less

Submitted 18 September, 2019; v1 submitted 27 February, 2018; originally announced February 2018.

Journal ref: Quantum Inf Process (2019) 18: 343

QSWalk.jl: Julia package for quantum stochastic walks analysis

Authors: Adam Glos, Jarosław Adam Miszczak, Mateusz Ostaszewski

Abstract: The presented paper describes QSWalk.jl package for Julia programming language, developed for the purpose of simulating the evolution of open quantum systems. The package enables the study of quantum procedures developed using stochastic quantum walks on arbitrary directed graphs. We provide a detailed description of the implemented functions, along with a number of usage examples. The package is… ▽ More The presented paper describes QSWalk.jl package for Julia programming language, developed for the purpose of simulating the evolution of open quantum systems. The package enables the study of quantum procedures developed using stochastic quantum walks on arbitrary directed graphs. We provide a detailed description of the implemented functions, along with a number of usage examples. The package is compared with the existing software offering a similar functionality. △ Less

Submitted 19 November, 2018; v1 submitted 4 January, 2018; originally announced January 2018.

Comments: Described software can be found at https://github.com/QuantumWalks/QSWalk.jl

Journal ref: Computer Physics Communications, 235 (2019), pp. 414-421

Limit properties of global interaction stochastic quantum walks on directed graphs

Authors: Adam Glos, Jarosław Adam Miszczak, Mateusz Ostaszewski

Abstract: The main results of our work is determining the differences between limiting properties in various models of quantum stochastic walks. In particular, we prove that in the case of strongly connected and a class of weakly connected directed graphs, local environment interaction evolution is relaxing, and in the case of undirected graphs, global environment interaction evolution is convergent. For ot… ▽ More The main results of our work is determining the differences between limiting properties in various models of quantum stochastic walks. In particular, we prove that in the case of strongly connected and a class of weakly connected directed graphs, local environment interaction evolution is relaxing, and in the case of undirected graphs, global environment interaction evolution is convergent. For other classes of directed graphs we show, that the character of connectivity large influence on the limiting properties. We also study the limiting properties for the non-moralizing global interaction case. We demonstrate that the digraph observance is recovered in this case. △ Less

Submitted 19 December, 2017; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 16 pages and 3 figures

Journal ref: J. Phys. A: Math. Theor. 51 035304 (2018)

The role of quantum correlations in Cop and Robber game

Authors: Adam Glos, Jarosław Adam Miszczak

Abstract: We introduce and study quantized versions of Cop and Robber game. We achieve this by using graph-preserving quantum operations, which are the quantum analogues of stochastic operations preserving the graph. We provide the tight bound for the number of operations required to reach the given state. By extending them to the controlled operations, we define a quantum-controlled Cop and Robber game, wh… ▽ More We introduce and study quantized versions of Cop and Robber game. We achieve this by using graph-preserving quantum operations, which are the quantum analogues of stochastic operations preserving the graph. We provide the tight bound for the number of operations required to reach the given state. By extending them to the controlled operations, we define a quantum-controlled Cop and Robber game, which expands the classical Cop and Robber game, as well as the classically controlled quantum Cop and Robber game. In contrast to the typical scheme for introducing quantum games, we assume that both parties can utilise full information about the opponent's strategy. We show that the utilisation of the full knowledge about the opponent's state does not provide the advantage. Moreover, the chances of catching the Robber decrease for classical cop-win graphs. This result does not depend on the chosen model of evolution. On the other hand, the possibility to execute controlled quantum operations allows catching the Robber on almost all classical cop-win graphs. By this, we demonstrate that it is necessary to enrich the structure of correlations between the players' systems to provide a non-trivial quantized Cop and Robber game. Thus the quantum controlled operations offer a significant advantage over the classically controlled quantum operations. △ Less

Submitted 28 November, 2017; v1 submitted 25 February, 2017; originally announced February 2017.

Comments: 15 pages, 2 tikz figures

MSC Class: 05C57 (Primary); 91A46; 81P40 (Secondary) ACM Class: G.2.2

Journal ref: Quantum Stud.: Math. Found. (2017)

A general scheme for information interception in the ** pong protocol

Authors: Piotr Zawadzki, Jarosław Adam Miszczak

Abstract: The existence of an undetectable eavesdrop** of dense coded information has been already demonstrated by Pavičić for the quantum direct communication based on the **-pong paradigm. However, a) the explicit scheme of the circuit is only given and no design rules are provided, b) the existence of losses is implicitly assumed, c) the attack has been formulated against qubit based protocol only an… ▽ More The existence of an undetectable eavesdrop** of dense coded information has been already demonstrated by Pavičić for the quantum direct communication based on the **-pong paradigm. However, a) the explicit scheme of the circuit is only given and no design rules are provided, b) the existence of losses is implicitly assumed, c) the attack has been formulated against qubit based protocol only and it is not clear whether it can be adapted to higher dimensional systems. These deficiencies are removed in the presented contribution. A new generic eavesdrop** scheme built on a firm theoretical background is proposed. In contrast to the previous approach, it does not refer to the properties of the vacuum state, so it is fully consistent with the absence of losses assumption. Moreover, the scheme applies to the communication paradigm based on signal particles of any dimensionality. It is also shown that some well known attacks are special cases of the proposed scheme. △ Less

Submitted 7 June, 2016; originally announced June 2016.

Comments: 10 pages, 4 figures

Journal ref: Advances in Mathematical Physics, vol. 2016, 3162012 (2016)

States and channels in quantum mechanics without complex numbers

Authors: J. A. Miszczak

Abstract: In the presented note we aim at exploring the possibility of abandoning complex numbers in the representation of quantum states and operations. We demonstrate a simplified version of quantum mechanics in which the states are represented using real numbers only. The main advantage of this approach is that the simulation of the $n$-dimensional quantum system requires $n^2$ real numbers, in contrast… ▽ More In the presented note we aim at exploring the possibility of abandoning complex numbers in the representation of quantum states and operations. We demonstrate a simplified version of quantum mechanics in which the states are represented using real numbers only. The main advantage of this approach is that the simulation of the $n$-dimensional quantum system requires $n^2$ real numbers, in contrast to the standard case where $n^4$ real numbers are required. The main disadvantage is the lack of hermicity in the representation of quantum states. Using Mathematica computer algebra system we develop a set of functions for manipulating real-only quantum states. With the help of this tool we study the properties of the introduced representation and the induced representation of quantum channels. △ Less

Submitted 15 March, 2016; originally announced March 2016.

Comments: 10 pages, 2 figures, presented at ACA2015, July 20-23, 2015, Kalamata, Greece

Journal ref: Springer Proceedings in Mathematics & Statistics, vol 198 (2017)

Pattern recognition on the quantum Bloch sphere

Authors: Giuseppe Sergioli, Enrica Santucci, Luca Didaci, Jaroslaw A. Miszczak, Roberto Giuntini

Abstract: We introduce a framework suitable for describing pattern recognition task using the mathematical language of density matrices. In particular, we provide a one-to-one correspondence between patterns and pure density operators. This correspondence enables us to: i) represent the Nearest Mean Classifier (NMC) in terms of quantum objects, ii) introduce a Quantum Classifier (QC). By comparing the QC wi… ▽ More We introduce a framework suitable for describing pattern recognition task using the mathematical language of density matrices. In particular, we provide a one-to-one correspondence between patterns and pure density operators. This correspondence enables us to: i) represent the Nearest Mean Classifier (NMC) in terms of quantum objects, ii) introduce a Quantum Classifier (QC). By comparing the QC with the NMC on different 2D datasets, we show the first classifier can provide additional information that are particularly beneficial on a classical computer with respect to the second classifier. △ Less

Submitted 7 June, 2016; v1 submitted 1 March, 2016; originally announced March 2016.

Journal ref: Soft Comput (2017)

Lively quantum walks on cycles

Authors: Przemysław Sadowski, Jarosław Adam Miszczak, Mateusz Ostaszewski

Abstract: We introduce a family of quantum walks on cycles parametrized by their liveliness, defined by the ability to execute a long-range move. We investigate the behaviour of the probability distribution and time-averaged probability distribution. We show that the liveliness parameter, controlling the magnitude of the additional long-range move, has a direct impact on the periodicity of the limiting dist… ▽ More We introduce a family of quantum walks on cycles parametrized by their liveliness, defined by the ability to execute a long-range move. We investigate the behaviour of the probability distribution and time-averaged probability distribution. We show that the liveliness parameter, controlling the magnitude of the additional long-range move, has a direct impact on the periodicity of the limiting distribution. We also show that the introduced model provides a method for network exploration which is robust against trap**. △ Less

Submitted 8 February, 2017; v1 submitted 9 December, 2015; originally announced December 2015.

Comments: 13 pages

MSC Class: 81P45; 94A05; 05C81 ACM Class: C.2.1; I.6.5

Journal ref: J. Phys. A: Math. Theor. 49 375302 (2016)

Separable and non-separable data representation for pattern discrimination

Authors: Jarosław Adam Miszczak

Abstract: We provide a complete work-flow, based on the language of quantum information theory, suitable for processing data for the purpose of pattern recognition. The main advantage of the introduced scheme is that it can be easily implemented and applied to process real-world data using modest computation resources. At the same time it can be used to investigate the difference in the pattern recognition… ▽ More We provide a complete work-flow, based on the language of quantum information theory, suitable for processing data for the purpose of pattern recognition. The main advantage of the introduced scheme is that it can be easily implemented and applied to process real-world data using modest computation resources. At the same time it can be used to investigate the difference in the pattern recognition resulting from the utilization of the tensor product structure of the space of quantum states. We illustrate this difference by providing a simple example based on the classification of 2D data. △ Less

Submitted 15 March, 2015; originally announced March 2015.

Comments: 11 pages, 2 figures

ACM Class: I.5.2; I.4.1

Generalized open quantum walks on Apollonian networks

Authors: Ł. Pawela, P. Gawron, J. A. Miszczak, P. Sadowski

Abstract: We introduce the model of generalized open quantum walks on networks using the Transition Operation Matrices formalism. We focus our analysis on the mean first passage time and the average return time in Apollonian networks. These results differ significantly from a classical walk on these networks. We show a comparison of the classical and quantum behaviour of walks on these networks. We introduce the model of generalized open quantum walks on networks using the Transition Operation Matrices formalism. We focus our analysis on the mean first passage time and the average return time in Apollonian networks. These results differ significantly from a classical walk on these networks. We show a comparison of the classical and quantum behaviour of walks on these networks. △ Less

Submitted 24 March, 2015; v1 submitted 4 July, 2014; originally announced July 2014.

Comments: 23 pages, 8 figures

Journal ref: PLoS ONE 10(7): e0130967 (2015)

Quantum network exploration with a faulty sense of direction

Authors: Jarosław Adam Miszczak, Przemysław Sadowski

Abstract: We develop a model which can be used to analyse the scenario of exploring quantum network with a distracted sense of direction. Using this model we analyse the behaviour of quantum mobile agents operating with non-adaptive and adaptive strategies which can be employed in this scenario. We introduce the notion of node visiting suitable for analysing quantum superpositions of states by distinguishin… ▽ More We develop a model which can be used to analyse the scenario of exploring quantum network with a distracted sense of direction. Using this model we analyse the behaviour of quantum mobile agents operating with non-adaptive and adaptive strategies which can be employed in this scenario. We introduce the notion of node visiting suitable for analysing quantum superpositions of states by distinguishing between visiting and attaining a position. We show that without a proper model of adaptiveness, it is not possible for the party representing the distraction in the sense of direction, to obtain the results analogous to the classical case. Moreover, with additional control resources the total number of attained positions is maintained if the number of visited positions is strictly limited. △ Less

Submitted 25 March, 2014; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: 12 pages, 5 figures, accepted to QIC

Journal ref: Quantum Information & Computation, Vol.14, No.13&14 (2014)

Functional framework for representing and transforming quantum channels

Authors: Jarosław Adam Miszczak

Abstract: We develop a framework which aims to simplify the analysis of quantum states and quantum operations by harnessing the potential of function programming paradigm. We show that the introduced framework allows a seamless manipulation of quantum channels, in particular to convert between different representations of quantum channels, and thus that the use of functional programming concepts facilitates… ▽ More We develop a framework which aims to simplify the analysis of quantum states and quantum operations by harnessing the potential of function programming paradigm. We show that the introduced framework allows a seamless manipulation of quantum channels, in particular to convert between different representations of quantum channels, and thus that the use of functional programming concepts facilitates the manipulation of abstract objects used in the language of quantum theory. For the purpose of our presentation we will use Mathematica computer algebra system. This choice is motivated twofold. First, it offers a rich programming language based on the functional paradigm. Second, this programming language is combined with powerful symbolic and numeric manipulation capabilities. △ Less

Submitted 18 July, 2013; originally announced July 2013.

Comments: 5 pages, no figures, presented at ACA2013, should have 'towards' in the title

ACM Class: D.1.1; J.2

Journal ref: J.L. Galan Garcia, G. Aguilera Venegas, P. Rodriguez Cielos (eds.), Proc. Applications of Computer Algebra (ACA2013), Malaga, July 2013, pp. 276-280

General model for a entanglement-enhanced composed quantum game on a two-dimensional lattice

Authors: Jarosław Adam Miszczak, Łukasz Pawela, Jan Sładkowski

Abstract: We introduce a method of analyzing entanglement enhanced quantum games on regular lattices of agents. Our method is valid for setups with periodic and non-periodic boundary conditions. To demonstrate our approach we study two different types games, namely the prisoner's dilemma game and a cooperative Parrondo's game. In both cases we obtain results showing, that entanglement is a crucial resource… ▽ More We introduce a method of analyzing entanglement enhanced quantum games on regular lattices of agents. Our method is valid for setups with periodic and non-periodic boundary conditions. To demonstrate our approach we study two different types games, namely the prisoner's dilemma game and a cooperative Parrondo's game. In both cases we obtain results showing, that entanglement is a crucial resource necessary for the agents to achieve positive capital gain. △ Less

Submitted 28 February, 2014; v1 submitted 19 June, 2013; originally announced June 2013.

Comments: 7 pages, 6 figures

Journal ref: Fluctuation and Noise Letters, Vol. 13, No. 2 (2014)

0-th quantization or quantum (information) theory in 42 minutes

Authors: J. A. Miszczak

Abstract: We present a concise introduction of basic concepts in quantum information theory and quantum mechanics prepared as an introduction for a general audience. In our approach the rules of quantum mechanics are presented in a simple form of rules describing the method of constructing quantum objects corresponding to classical objects. As a byproduct of the introduced approach, we present some alternat… ▽ More We present a concise introduction of basic concepts in quantum information theory and quantum mechanics prepared as an introduction for a general audience. In our approach the rules of quantum mechanics are presented in a simple form of rules describing the method of constructing quantum objects corresponding to classical objects. As a byproduct of the introduced approach, we present some alternative rules and use them to describe basic ingredients of quantum information theory using different types of objects. △ Less

Submitted 10 March, 2013; originally announced March 2013.

Comments: introductory material presented as a part of the talk given at IITiS PAN in January 2012

Report number: IITiS-ZKSI-2013-1

RandFile package for Mathematica for accessing file-based sources of randomness

Authors: J. A. Miszczak, M. Wahl

Abstract: We present a package for Mathematica computer algebra system which allows the exploitation of local files as sources of random data. We provide the description of the package and illustrate its usage by showing some examples. We also compare the provided functionality with alternative sources of randomness, namely a built-in pseudo-random generator and the package for accessing hardware true rando… ▽ More We present a package for Mathematica computer algebra system which allows the exploitation of local files as sources of random data. We provide the description of the package and illustrate its usage by showing some examples. We also compare the provided functionality with alternative sources of randomness, namely a built-in pseudo-random generator and the package for accessing hardware true random number generators. △ Less

Submitted 15 March, 2015; v1 submitted 12 February, 2013; originally announced February 2013.

Comments: 16 pages, 4 figures, 3 tables, improved version of the software available from http://www.iitis.pl/~miszczak/rand_file/

ACM Class: G.3; G.4

General method for the security analysis in a quantum direct communication protocol

Authors: Jarosław Adam Miszczak, Piotr Zawadzki

Abstract: We introduce a general approach for the analysis of a quantum direct communication protocol. The method is based on the investigation of the superoperator acting on a joint system of the communicating parties and the eavesdropper. The introduced method is more versatile than the approaches used so far as it permits to incorporate different noise models in a unified way. Moreover, it make use of a… ▽ More We introduce a general approach for the analysis of a quantum direct communication protocol. The method is based on the investigation of the superoperator acting on a joint system of the communicating parties and the eavesdropper. The introduced method is more versatile than the approaches used so far as it permits to incorporate different noise models in a unified way. Moreover, it make use of a well grounded theory of quantum discrimination for the purpose of estimating the eavesdropper's information gain. △ Less

Submitted 22 January, 2013; originally announced January 2013.

Comments: 8 pages, 1 plot

MSC Class: 81P45 ACM Class: D.4.6; H.2.0

Quantum walks with memory on cycles

Authors: Michael Mc Gettrick, Jarosław Adam Miszczak

Abstract: We study the model of quantum walks on cycles enriched by the addition of 1-step memory. We provide a formula for the probability distribution and the time-averaged limiting probability distribution of the introduced quantum walk. Using the obtained results, we discuss the properties of the introduced model and the difference in comparison to the memoryless model. We study the model of quantum walks on cycles enriched by the addition of 1-step memory. We provide a formula for the probability distribution and the time-averaged limiting probability distribution of the introduced quantum walk. Using the obtained results, we discuss the properties of the introduced model and the difference in comparison to the memoryless model. △ Less

Submitted 6 February, 2014; v1 submitted 14 January, 2013; originally announced January 2013.

Comments: 6 pages, 2 figures, published version

MSC Class: 81P45; 05C81

Journal ref: Physica A, Vol. 399, pp. 163-170 (2014)

Analysis of patent activity in the field of quantum information processing

Authors: Ryszard Winiarczyk, Piotr Gawron, Jarosław Adam Miszczak, Łukasz Pawela, Zbigniew Puchała

Abstract: This paper provides an analysis of patent activity in the field of quantum information processing. Data from the PatentScope database from the years 1993-2011 was used. In order to predict the future trends in the number of filed patents time series models were used. This paper provides an analysis of patent activity in the field of quantum information processing. Data from the PatentScope database from the years 1993-2011 was used. In order to predict the future trends in the number of filed patents time series models were used. △ Less

Submitted 11 December, 2012; originally announced December 2012.

Comments: 15 pages, 4 figures, 6 tables

Journal ref: Int. J. Quantum Inform. 11, 1350007 (2013)

Employing online quantum random number generators for generating truly random quantum states in Mathematica

Authors: J. A. Miszczak

Abstract: We present a new version of TRQS package for Mathematica computing system. The package allows harnessing quantum random number generators (QRNG) for investigating the statistical properties of quantum states. It implements a number of functions for generating random states. The new version of the package adds the ability to use the on-line quantum random number generator service and implements new… ▽ More We present a new version of TRQS package for Mathematica computing system. The package allows harnessing quantum random number generators (QRNG) for investigating the statistical properties of quantum states. It implements a number of functions for generating random states. The new version of the package adds the ability to use the on-line quantum random number generator service and implements new functions for retrieving lists of random numbers. Thanks to the introduced improvements, the new version provides faster access to high-quality sources of random numbers and can be used in simulations requiring large amount of random data. △ Less

Submitted 20 August, 2012; originally announced August 2012.

Comments: New version of the package described in arXiv:1102.4598. Software available at http://www.iitis.pl/~miszczak/trqs

ACM Class: G.3; G.4

Journal ref: Comput. Phys. Commun., Vol. 184 (2013), pp. 257-258

Increasing the security of the **-pong protocol by using many mutually unbiased bases

Authors: Piotr Zawadzki, Zbigniew Puchała, Jarosław Adam Miszczak

Abstract: In this paper we propose an extended version of the **-pong protocol and study its security. The proposed protocol incorporates the usage of mutually unbiased bases in the control mode. We show that, by increasing the number of bases, it is possible to improve the security of this protocol. We also provide the upper bounds on eavesdrop** average non-detection probability and propose a control… ▽ More In this paper we propose an extended version of the **-pong protocol and study its security. The proposed protocol incorporates the usage of mutually unbiased bases in the control mode. We show that, by increasing the number of bases, it is possible to improve the security of this protocol. We also provide the upper bounds on eavesdrop** average non-detection probability and propose a control mode modification that increases the attack detection probability. △ Less

Submitted 11 April, 2012; v1 submitted 16 January, 2012; originally announced January 2012.

Comments: 5 pages, 1 figure

Journal ref: Quantum Inf. Process., Vol. 12, No. 1 (2013), pp. 569-576

Restricted numerical shadow and geometry of quantum entanglement

Authors: Zbigniew Puchała, Jarosław Adam Miszczak, Piotr Gawron, Charles F. Dunkl, John A. Holbrook, Karol Życzkowski

Abstract: The restricted numerical range $W_R(A)$ of an operator $A$ acting on a $D$-dimensional Hilbert space is defined as a set of all possible expectation values of this operator among pure states which belong to a certain subset $R$ of the of set of pure quantum states of dimension $D$. One considers for instance the set of real states, or in the case of composite spaces, the set of product states and… ▽ More The restricted numerical range $W_R(A)$ of an operator $A$ acting on a $D$-dimensional Hilbert space is defined as a set of all possible expectation values of this operator among pure states which belong to a certain subset $R$ of the of set of pure quantum states of dimension $D$. One considers for instance the set of real states, or in the case of composite spaces, the set of product states and the set of maximally entangled states. Combining the operator theory with a probabilistic approach we introduce the restricted numerical shadow of $A$ -- a normalized probability distribution on the complex plane supported in $W_R(A)$. Its value at point $z \in {\mathbbm C}$ is equal to the probability that the expectation value $< ψ|A|ψ>$ is equal to $z$, where $|ψ>$ represents a random quantum state in subset $R$ distributed according to the natural measure on this set, induced by the unitarily invariant Fubini--Study measure. Studying restricted shadows of operators of a fixed size $D=N_A N_B$ we analyse the geometry of sets of separable and maximally entangled states of the $N_A \times N_B$ composite quantum system. Investigating trajectories formed by evolving quantum states projected into the plane of the shadow we study the dynamics of quantum entanglement. A similar analysis extended for operators on $D=2^3$ dimensional Hilbert space allows us to investigate the structure of the orbits of $GHZ$ and $W$ quantum states of a three--qubit system. △ Less

Submitted 4 October, 2012; v1 submitted 12 January, 2012; originally announced January 2012.

Comments: 33 pages, 8 figures, IOP style

Journal ref: J. Phys. A-Math. Theor., Vol. 45 (2012), pp. 415309

Symbolic integration with respect to the Haar measure on the unitary group

Authors: Zbigniew Puchała, Jarosław Adam Miszczak

Abstract: We present IntU package for Mathematica computer algebra system. The presented package performs a symbolic integration of polynomial functions over the unitary group with respect to unique normalized Haar measure. We describe a number of special cases which can be used to optimize the calculation speed for some classes of integrals. We also provide some examples of usage of the presented package. We present IntU package for Mathematica computer algebra system. The presented package performs a symbolic integration of polynomial functions over the unitary group with respect to unique normalized Haar measure. We describe a number of special cases which can be used to optimize the calculation speed for some classes of integrals. We also provide some examples of usage of the presented package. △ Less

Submitted 22 February, 2017; v1 submitted 20 September, 2011; originally announced September 2011.

Comments: 7 pages, two columns, published version, software available at: https://github.com/iitis/IntU

MSC Class: 68W30 (Primary); 28C10; 97N80 (Secondary) ACM Class: I.1.1

Journal ref: Bull. Pol. Acad. Sci.-Tech. Sci. Vol. 65, No. 1 (2017)

Qubit flip game on a Heisenberg spin chain

Authors: Jarosław A. Miszczak, Piotr Gawron, Zbigniew Puchała

Abstract: We study a quantum version of a penny flip game played using control parameters of the Hamiltonian in the Heisenberg model. Moreover, we extend this game by introducing auxiliary spins which can be used to alter the behaviour of the system. We show that a player aware of the complex structure of the system used to implement the game can use this knowledge to gain higher mean payoff. We study a quantum version of a penny flip game played using control parameters of the Hamiltonian in the Heisenberg model. Moreover, we extend this game by introducing auxiliary spins which can be used to alter the behaviour of the system. We show that a player aware of the complex structure of the system used to implement the game can use this knowledge to gain higher mean payoff. △ Less

Submitted 2 August, 2011; originally announced August 2011.

Comments: 13 pages, 3 figures, 3 tables

Journal ref: Quantum Inf. Process., Vol. 11, No. 6 (2012), pp. 1571-1583

Probability measure generated by the superfidelity

Authors: Zbigniew Puchała, Jarosław Adam Miszczak

Abstract: We study the probability measure on the space of density matrices induced by the metric defined by using superfidelity. We give the formula for the probability density of eigenvalues. We also study some statistical properties of the set of density matrices equipped with the introduced measure and provide a method for generating density matrices according to the introduced measure. We study the probability measure on the space of density matrices induced by the metric defined by using superfidelity. We give the formula for the probability density of eigenvalues. We also study some statistical properties of the set of density matrices equipped with the introduced measure and provide a method for generating density matrices according to the introduced measure. △ Less

Submitted 14 July, 2011; originally announced July 2011.

Comments: 5 pages, 1 figure

Journal ref: J. Phys. A: Math. Theor. 44 (2011) 405301

Numerical shadow and geometry of quantum states

Authors: Charles F. Dunkl, Piotr Gawron, John A. Holbrook, Jarosław A. Miszczak, Zbigniew Puchała, Karol Życzkowski

Abstract: The totality of normalised density matrices of order N forms a convex set Q_N in R^(N^2-1). Working with the flat geometry induced by the Hilbert-Schmidt distance we consider images of orthogonal projections of Q_N onto a two-plane and show that they are similar to the numerical ranges of matrices of order N. For a matrix A of a order N one defines its numerical shadow as a probability distributio… ▽ More The totality of normalised density matrices of order N forms a convex set Q_N in R^(N^2-1). Working with the flat geometry induced by the Hilbert-Schmidt distance we consider images of orthogonal projections of Q_N onto a two-plane and show that they are similar to the numerical ranges of matrices of order N. For a matrix A of a order N one defines its numerical shadow as a probability distribution supported on its numerical range W(A), induced by the unitarily invariant Fubini-Study measure on the complex projective manifold CP^(N-1). We define generalized, mixed-states shadows of A and demonstrate their usefulness to analyse the structure of the set of quantum states and unitary dynamics therein. △ Less

Submitted 14 April, 2011; originally announced April 2011.

Comments: 19 pages, 5 figures

Journal ref: J. Phys. A: Math. Theor. 44, 335301 (2011)

Generating and using truly random quantum states in Mathematica

Authors: J. A. Miszczak

Abstract: The problem of generating random quantum states is of a great interest from the quantum information theory point of view. In this paper we present a package for Mathematica computing system harnessing a specific piece of hardware, namely Quantis quantum random number generator (QRNG), for investigating statistical properties of quantum states. The described package implements a number of functions… ▽ More The problem of generating random quantum states is of a great interest from the quantum information theory point of view. In this paper we present a package for Mathematica computing system harnessing a specific piece of hardware, namely Quantis quantum random number generator (QRNG), for investigating statistical properties of quantum states. The described package implements a number of functions for generating random states, which use Quantis QRNG as a source of randomness. It also provides procedures which can be used in simulations not related directly to quantum information processing. △ Less

Submitted 19 October, 2011; v1 submitted 22 February, 2011; originally announced February 2011.

Comments: 12 pages, 3 figures, see http://www.iitis.pl/~miszczak/trqs.html for related software

Journal ref: Comput. Phys. Commun., Vol. 183, No. 1 (2012), pp. 118-124

Models of quantum computation and quantum programming languages

Authors: J. A. Miszczak

Abstract: The goal of the presented paper is to provide an introduction to the basic computational models used in quantum information theory. We review various models of quantum Turing machine, quantum circuits and quantum random access machine (QRAM) along with their classical counterparts. We also provide an introduction to quantum programming languages, which are developed using the QRAM model. We review… ▽ More The goal of the presented paper is to provide an introduction to the basic computational models used in quantum information theory. We review various models of quantum Turing machine, quantum circuits and quantum random access machine (QRAM) along with their classical counterparts. We also provide an introduction to quantum programming languages, which are developed using the QRAM model. We review the syntax of several existing quantum programming languages and discuss their features and limitations. △ Less

Submitted 3 December, 2011; v1 submitted 29 December, 2010; originally announced December 2010.

Comments: 23 pages, 10 figures, 9 listings

Journal ref: Bull. Pol. Acad. Sci.-Tech. Sci., Vol. 59, No. 3 (2011), pp. 305-324

Singular value decomposition and matrix reorderings in quantum information theory

Authors: J. A. Miszczak

Abstract: We review Schmidt and Kraus decompositions in the form of singular value decomposition using operations of resha**, vectorization and reshuffling. We use the introduced notation to analyse the correspondence between quantum states and operations with the help of Jamiolkowski isomorphism. The presented matrix reorderings allow us to obtain simple formulae for the composition of quantum channels a… ▽ More We review Schmidt and Kraus decompositions in the form of singular value decomposition using operations of resha**, vectorization and reshuffling. We use the introduced notation to analyse the correspondence between quantum states and operations with the help of Jamiolkowski isomorphism. The presented matrix reorderings allow us to obtain simple formulae for the composition of quantum channels and partial operations used in quantum information theory. To provide examples of the discussed operations we utilize a package for the Mathematica computing system implementing basic functions used in the calculations related to quantum information theory. △ Less

Submitted 8 April, 2011; v1 submitted 6 November, 2010; originally announced November 2010.

Comments: 11 pages, no figures, see http://zksi.iitis.pl/wiki/projects:mathematica-qi for related software

Report number: IITiS-ZKSI-2010-1

Journal ref: Int. J. Mod. Phys. C, Vol. 22, No. 9 (2011), pp. 897-918

Product numerical range in a space with tensor product structure

Authors: Zbigniew Puchała, Piotr Gawron, Jarosław Adam Miszczak, Łukasz Skowronek, Man-Duen Choi, Karol Życzkowski

Abstract: We study operators acting on a tensor product Hilbert space and investigate their product numerical range, product numerical radius and separable numerical range. Concrete bounds for the product numerical range for Hermitian operators are derived. Product numerical range of a non-Hermitian operator forms a subset of the standard numerical range containing the barycenter of the spectrum. While the… ▽ More We study operators acting on a tensor product Hilbert space and investigate their product numerical range, product numerical radius and separable numerical range. Concrete bounds for the product numerical range for Hermitian operators are derived. Product numerical range of a non-Hermitian operator forms a subset of the standard numerical range containing the barycenter of the spectrum. While the latter set is convex, the product range needs not to be convex nor simply connected. The product numerical range of a tensor product is equal to the Minkowski product of numerical ranges of individual factors. △ Less

Submitted 20 August, 2010; originally announced August 2010.

Comments: 17 pages, 4 figures. Original preprint "Local numerical range: a versatile tool in the theory of quantum information" [arXiv:0905.3646v1] was broadened and split into two papers: "Restricted numerical range: a versatile tool in the theory of quantum information", and "Product numerical range in a space with tensor product structure"

Journal ref: Linear Algebra Appl., 434 (2011) 327-342

Extending scientific computing system with structural quantum programming capabilities

Authors: P. Gawron, J. Klamka, J. A. Miszczak, R. Winiarczyk

Abstract: We present a basic high-level structures used for develo** quantum programming languages. The presented structures are commonly used in many existing quantum programming languages and we use quantum pseudo-code based on QCL quantum programming language to describe them. We also present the implementation of introduced structures in GNU Octave language for scientific computing. Procedures used in… ▽ More We present a basic high-level structures used for develo** quantum programming languages. The presented structures are commonly used in many existing quantum programming languages and we use quantum pseudo-code based on QCL quantum programming language to describe them. We also present the implementation of introduced structures in GNU Octave language for scientific computing. Procedures used in the implementation are available as a package quantum-octave, providing a library of functions, which facilitates the simulation of quantum computing. This package allows also to incorporate high-level programming concepts into the simulation in GNU Octave and Matlab. As such it connects features unique for high-level quantum programming languages, with the full palette of efficient computational routines commonly available in modern scientific computing systems. To present the major features of the described package we provide the implementation of selected quantum algorithms. We also show how quantum errors can be taken into account during the simulation of quantum algorithms using quantum-octave package. This is possible thanks to the ability to operate on density matrices. △ Less

Submitted 8 June, 2010; originally announced June 2010.

ACM Class: J.2; D.3.3

Journal ref: Bull. Pol. Acad. Sci., Technical Sciences, Vol. 58, No. 1 (2010)

Experimentally feasible measures of distance between quantum operations

Authors: Zbigniew Puchała, Jarosław Adam Miszczak, Piotr Gawron, Bartłomiej Gardas

Abstract: We present two measures of distance between quantum processes based on the superfidelity, introduced recently to provide an upper bound for quantum fidelity. We show that the introduced measures partially fulfill the requirements for distance measure between quantum processes. We also argue that they can be especially useful as diagnostic measures to get preliminary knowledge about imperfections… ▽ More We present two measures of distance between quantum processes based on the superfidelity, introduced recently to provide an upper bound for quantum fidelity. We show that the introduced measures partially fulfill the requirements for distance measure between quantum processes. We also argue that they can be especially useful as diagnostic measures to get preliminary knowledge about imperfections in an experimental setup. In particular we provide quantum circuit which can be used to measure the superfidelity between quantum processes. As the behavior of the superfidelity between quantum processes is crucial for the properties of the introduced measures, we study its behavior for several families of quantum channels. We calculate superfidelity between arbitrary one-qubit channels using affine parametrization and superfidelity between generalized Pauli channels in arbitrary dimensions. Statistical behavior of the proposed quantities for the ensembles of quantum operations in low dimensions indicates that the proposed measures can be indeed used to distinguish quantum processes. △ Less

Submitted 3 November, 2009; originally announced November 2009.

Comments: 9 pages, 4 figures

Journal ref: Quant. Inf. Proc. Vol. 10, Issue 1 (2011), pp. 1-12

Restricted numerical range: a versatile tool in the theory of quantum information

Authors: Piotr Gawron, Zbigniew Puchała, Jarosław Adam Miszczak, Łukasz Skowronek, Karol Życzkowski

Abstract: Numerical range of a Hermitian operator X is defined as the set of all possible expectation values of this observable among a normalized quantum state. We analyze a modification of this definition in which the expectation value is taken among a certain subset of the set of all quantum states. One considers for instance the set of real states, the set of product states, separable states, or the set… ▽ More Numerical range of a Hermitian operator X is defined as the set of all possible expectation values of this observable among a normalized quantum state. We analyze a modification of this definition in which the expectation value is taken among a certain subset of the set of all quantum states. One considers for instance the set of real states, the set of product states, separable states, or the set of maximally entangled states. We show exemplary applications of these algebraic tools in the theory of quantum information: analysis of k-positive maps and entanglement witnesses, as well as study of the minimal output entropy of a quantum channel. Product numerical range of a unitary operator is used to solve the problem of local distinguishability of a family of two unitary gates. △ Less

Submitted 20 August, 2010; v1 submitted 22 May, 2009; originally announced May 2009.

Comments: 39 pages, 7 figures, Original preprint "Local numerical range: a versatile tool in the theory of quantum information" was broadened and split into two papers: "Restricted numerical range: a versatile tool in the theory of quantum information", and "Product numerical range in a space with tensor product structure"

Journal ref: J. Math. Phys. 51, 102204 (2010)

Bound on trace distance based on superfidelity

Authors: Zbigniew Puchała, Jarosław Adam Miszczak

Abstract: We provide a bound for the trace distance between two quantum states. The lower bound is based on the superfidelity, which provides the upper bound on quantum fidelity. One of the advantages of the presented bound is that it can be estimated using a simple measurement procedure. We also compare this bound with the one provided in terms of fidelity. We provide a bound for the trace distance between two quantum states. The lower bound is based on the superfidelity, which provides the upper bound on quantum fidelity. One of the advantages of the presented bound is that it can be estimated using a simple measurement procedure. We also compare this bound with the one provided in terms of fidelity. △ Less

Submitted 11 February, 2009; v1 submitted 14 November, 2008; originally announced November 2008.

Comments: 4 pages, 3 figures

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

Sub-- and super--fidelity as bounds for quantum fidelity

Authors: J. A. Miszczak, Z. Puchała, P. Horodecki, A. Uhlmann, K. Życzkowski

Abstract: We derive several bounds on fidelity between quantum states. In particular we show that fidelity is bounded from above by a simple to compute quantity we call super--fidelity. It is analogous to another quantity called sub--fidelity. For any two states of a two--dimensional quantum system (N=2) all three quantities coincide. We demonstrate that sub-- and super--fidelity are concave functions. We… ▽ More We derive several bounds on fidelity between quantum states. In particular we show that fidelity is bounded from above by a simple to compute quantity we call super--fidelity. It is analogous to another quantity called sub--fidelity. For any two states of a two--dimensional quantum system (N=2) all three quantities coincide. We demonstrate that sub-- and super--fidelity are concave functions. We also show that super--fidelity is super--multiplicative while sub--fidelity is sub--multiplicative and design feasible schemes to measure these quantities in an experiment. Super--fidelity can be used to define a distance between quantum states. With respect to this metric the set of quantum states forms a part of a $N^2-1$ dimensional hypersphere. △ Less

Submitted 19 November, 2008; v1 submitted 14 May, 2008; originally announced May 2008.

Comments: 22 pages, 4 figures

Journal ref: Quantum Information & Computation, Vol.9 No.1&2 (2009)

Noise Effects in Quantum Magic Squares Game

Authors: P. Gawron, J. A. Miszczak, J. Sladkowski

Abstract: In the article we analyse how noisiness of quantum channels can influence the magic squares quantum pseudo-telepathy game. We show that the probability of success can be used to determine characteristics of quantum channels. Therefore the game deserves more careful study aiming at its implementation. In the article we analyse how noisiness of quantum channels can influence the magic squares quantum pseudo-telepathy game. We show that the probability of success can be used to determine characteristics of quantum channels. Therefore the game deserves more careful study aiming at its implementation. △ Less

Submitted 31 January, 2008; originally announced January 2008.

Comments: 5 figures

Journal ref: Int. J. Quant. Inf, Vol. 6, No. 1 (2008), pp. 667 - 673

Quantum state discrimination: a geometric approach

Authors: D. Markham, J. A. Miszczak, Z. Puchala, K. Zyczkowski

Abstract: We analyse the problem of finding sets of quantum states that can be deterministically discriminated. From a geometric point of view this problem is equivalent to that of embedding a simplex of points whose distances are maximal with respect to the Bures distance (or trace distance). We derive upper and lower bounds for the trace distance and for the fidelity between two quantum states, which im… ▽ More We analyse the problem of finding sets of quantum states that can be deterministically discriminated. From a geometric point of view this problem is equivalent to that of embedding a simplex of points whose distances are maximal with respect to the Bures distance (or trace distance). We derive upper and lower bounds for the trace distance and for the fidelity between two quantum states, which imply bounds for the Bures distance between the unitary orbits of both states. We thus show that when analysing minimal and maximal distances between states of fixed spectra it is sufficient to consider diagonal states only. Hence considering optimal discrimination, given freedom up to unitary orbits, it is sufficient to consider diagonal states. This is illustrated geometrically in terms of Weyl chambers. △ Less

Submitted 27 November, 2007; originally announced November 2007.

Comments: 12 pages, 2 figures

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

Quantum Parrondo's game with random strategies

Authors: J. Kosik, J. A. Miszczak, V. Buzek

Abstract: We present a quantum implementation of Parrondo's game with randomly switched strategies using 1) a quantum walk as a source of ``randomness'' and 2) a completely positive (CP) map as a randomized evolution. The game exhibits the same paradox as in the classical setting where a combination of two losing strategies might result in a winning strategy. We show that the CP-map scheme leads to signif… ▽ More We present a quantum implementation of Parrondo's game with randomly switched strategies using 1) a quantum walk as a source of ``randomness'' and 2) a completely positive (CP) map as a randomized evolution. The game exhibits the same paradox as in the classical setting where a combination of two losing strategies might result in a winning strategy. We show that the CP-map scheme leads to significantly lower net gain than the quantum walk scheme. △ Less

Submitted 23 April, 2007; originally announced April 2007.

Journal ref: J. Mod. Optics, Vol. 54, 13 (2007), pp. 2275 - 2287

Quantum Implementation of Parrondo's Paradox

Authors: J. A. Miszczak, P. Gawron

Abstract: We propose a quantum implementation of a capital-dependent Parrondo's paradox that uses $O(\log_2(n))$ qubits, where $n$ is the number of Parrondo games. We present its implementation in the quantum computer language (QCL) and show simulation results. We propose a quantum implementation of a capital-dependent Parrondo's paradox that uses $O(\log_2(n))$ qubits, where $n$ is the number of Parrondo games. We present its implementation in the quantum computer language (QCL) and show simulation results. △ Less

Submitted 7 December, 2005; v1 submitted 28 February, 2005; originally announced February 2005.

Comments: 6 figures, revtex4

Journal ref: Fluctuation and Noise Letters, Vol. 5, No. 4 (2005)

Numerical simulations of mixed states quantum computation

Authors: P. Gawron, J. A. Miszczak

Abstract: We describe quantum-octave package of functions useful for simulations of quantum algorithms and protocols. Presented package allows to perform simulations with mixed states. We present numerical implementation of important quantum mechanical operations - partial trace and partial transpose. Those operations are used as building blocks of algorithms for analysis of entanglement and quantum error… ▽ More We describe quantum-octave package of functions useful for simulations of quantum algorithms and protocols. Presented package allows to perform simulations with mixed states. We present numerical implementation of important quantum mechanical operations - partial trace and partial transpose. Those operations are used as building blocks of algorithms for analysis of entanglement and quantum error correction codes. Simulation of Shor's algorithm is presented as an example of package capabilities. △ Less

Submitted 29 June, 2004; originally announced June 2004.

Comments: 6 pages, 4 figures, presented at Foundations of Quantum Information, 16th-19th April 2004, Camerino, Italy

Journal ref: Int. J. Quant. Inf, Vol. 3, No. 1 (March 2005)

On entanglement at tripartite states

Authors: S. Bugajski, J. A. Miszczak

Abstract: Article presents general formulation of entanglement measures problem in terms of correlation function. Description of entanglement in probabilistic framework allow us to introduce new quantity which describes quantum and classical correlations. This formalism is applied to calculate bipartite and tripartite correlations in two special cases of entangled states of tripartite systems. Article presents general formulation of entanglement measures problem in terms of correlation function. Description of entanglement in probabilistic framework allow us to introduce new quantity which describes quantum and classical correlations. This formalism is applied to calculate bipartite and tripartite correlations in two special cases of entangled states of tripartite systems. △ Less

Submitted 28 April, 2003; originally announced April 2003.

Comments: 8 pages, twocolumn, revtex4