Showing 1–50 of 95 results for author: Hillery, M

Can a qudit carry more information than a dit?

Authors: Teiko Heinosaari, Mark Hillery

Abstract: Conventional wisdom suggests that within a fixed preparation-measurement setup, a qubit system offers no advantage over a bit. This indeed holds true when considering the standard communication and the famous Holevo bound then formalizes the statement that one qubit can encode at most one bit of information. However, there exist subtle differences between these two physical systems that, when prop… ▽ More Conventional wisdom suggests that within a fixed preparation-measurement setup, a qubit system offers no advantage over a bit. This indeed holds true when considering the standard communication and the famous Holevo bound then formalizes the statement that one qubit can encode at most one bit of information. However, there exist subtle differences between these two physical systems that, when properly exploited, can be converted into practical applications. We begin by discussing the similarities between qudits and dits as information carriers. Then we recall a general framework for communication tasks and review some differences that qudits and dits have. In the end, we present a simple communication application that utilizes the quantum character of the qubit. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Two entanglement conditions and their connection to negativity

Authors: Mark Hillery, Camilla Polvara, Vadim Oganesyan, Nada Ali

Abstract: We examine two conditions that can be used to detect bipartite entanglement, and show that they can be used to provide lower bounds on the negativity of states. We begin with two-qubit states, and then show how what was done there can be extended to more general states. The resulting bounds are then studied by means of a number of examples. We also show that if one has some knowledge of the Schmid… ▽ More We examine two conditions that can be used to detect bipartite entanglement, and show that they can be used to provide lower bounds on the negativity of states. We begin with two-qubit states, and then show how what was done there can be extended to more general states. The resulting bounds are then studied by means of a number of examples. We also show that if one has some knowledge of the Schmidt vectors of a state, better bounds can be found. △ Less

Submitted 13 February, 2024; v1 submitted 31 October, 2023; originally announced November 2023.

Comments: replaced with published version

Journal ref: Physical Review A 109, 022417 (2024)

Lower bound on phase noise of classical states

Authors: Mark Hillery

Abstract: An uncertainty relation for the number and phase of a single-mode field state is derived. It is then used to find a lower bound on the phase noise of a classical state. Any state that violates this condition is nonclassical. An example of such a nonclassical state is presented. Because a nonclassical state can have less phase noise than a classical state with the same average photon number, noncla… ▽ More An uncertainty relation for the number and phase of a single-mode field state is derived. It is then used to find a lower bound on the phase noise of a classical state. Any state that violates this condition is nonclassical. An example of such a nonclassical state is presented. Because a nonclassical state can have less phase noise than a classical state with the same average photon number, nonclassical states can play a role in the measurement of small phase shifts. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Journal ref: Laser Physics 4, 779 (1994)

Optimizing Initial State of Detector Sensors in Quantum Sensor Networks

Authors: Caitao Zhan, Himanshu Gupta, Mark Hillery

Abstract: In this paper, we consider a network of quantum sensors, where each sensor is a qubit detector that "fires," i.e., its state changes when an event occurs close by. The change in state due to the firing of a detector is given by a unitary operator which is the same for all sensors in the network. Such a network of detectors can be used to localize an event, using a protocol to determine the firing… ▽ More In this paper, we consider a network of quantum sensors, where each sensor is a qubit detector that "fires," i.e., its state changes when an event occurs close by. The change in state due to the firing of a detector is given by a unitary operator which is the same for all sensors in the network. Such a network of detectors can be used to localize an event, using a protocol to determine the firing sensor which is presumably the one closest to the event. The determination of the firing sensor can be posed as a Quantum State Discrimination problem which incurs a probability of error depending on the initial state and the measurement operator used. In this paper, we address the problem of determining the optimal initial global state of a network of detectors that incur a minimum probability of error in determining the firing sensor. For this problem, we derive necessary and sufficient conditions for the existence of an initial state that allows for perfect discrimination, i.e., zero probability of error. Using insights from this result, we derive a conjectured optimal solution for the initial state, provide a pathway to prove the conjecture, and validate the conjecture empirically using multiple search heuristics that seem to perform near-optimally. △ Less

Submitted 7 March, 2024; v1 submitted 30 June, 2023; originally announced June 2023.

Comments: 25 pages (single column), 9 figures. Paper accepted at ACM Transactions on Quantum Computing

Broadcasting single-qubit and multi-qubit-entangled states: authentication, cryptography, and distributed quantum computation

Authors: Hiroki Sukeno, Tzu-Chieh Wei, Mark Hillery, Janos A. Bergou, Dov Fields, Vladimir S. Malinovsky

Abstract: Quantum entanglement assisted with measurements provides various pathways to communicate information to parties within a network. In this work, we generalize a previous broadcasting protocol and present schemes to broadcast product and multi-partite entangled quantum states, where in the latter case the sender can remotely add phase gates or abort distributing the states. We first focus on the bro… ▽ More Quantum entanglement assisted with measurements provides various pathways to communicate information to parties within a network. In this work, we generalize a previous broadcasting protocol and present schemes to broadcast product and multi-partite entangled quantum states, where in the latter case the sender can remotely add phase gates or abort distributing the states. We first focus on the broadcasting of product quantum states in a network, and generalize the basic protocol to include an arbitrary basis rotation and allow for multiple receivers and senders. We show how to add and delete senders from the network. The generalization also includes the case where a phase to be applied to the broadcast states is not known in advance but is provided to a sender encoded in another quantum state. Applications of broadcasting product states include authentication and three-state quantum cryptography. In the second part, we study the distribution of a single multi-qubit state shared among several receivers entangled with multi-qubit phase gates, which includes the graph states as an example. We show that by coordinating with the sender, the receivers can assist in performing remote, distributed measurement-based quantum computation with the Pauli X basis measurement alone. As another application of this, we discuss the distribution of the multi-qubit Greenberger-Horne-Zeilinger state. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 15 pages, 6 figures

Journal ref: Phys. Rev. A 107, 062605 (2023)

Discrete outcome quantum sensor networks

Authors: Mark Hillery, Himanshu Gupta, Caitao Zhan

Abstract: We model a quantum sensor network using techniques from quantum state discrimination. The interaction between a qubit detector and the environment is described by a unitary operator, and we will assume that at most one detector does interact. The task is to determine which one does or if none do. This involves choosing an initial state of the detectors and a measurement. We consider global measure… ▽ More We model a quantum sensor network using techniques from quantum state discrimination. The interaction between a qubit detector and the environment is described by a unitary operator, and we will assume that at most one detector does interact. The task is to determine which one does or if none do. This involves choosing an initial state of the detectors and a measurement. We consider global measurements in which all detectors are measured simultaneously. We find that an entangled initial state can improve the detection probability, but this advantage decreases as the number of detectors increases. △ Less

Submitted 30 May, 2023; v1 submitted 31 October, 2022; originally announced October 2022.

Comments: Replaced with published version

Journal ref: Physical Review A 107, 012435 (2023)

Broadcast of a restricted set of qubit and qutrit states

Authors: Mark Hillery, János A. Bergou, Tzu-Chieh Wei, Siddhartha Santa, Vladimir Malinovsky

Abstract: The no-cloning theorem forbids the distribution of an unknown state to more than one receiver. However, if the sender knows the state, and the state is chosen from a restricted set of possibilities, a procedure known as remote state preparation can be used to broadcast a state. Here we examine a remote state preparation protocol that can be used to send the state of a qubit, confined to the equato… ▽ More The no-cloning theorem forbids the distribution of an unknown state to more than one receiver. However, if the sender knows the state, and the state is chosen from a restricted set of possibilities, a procedure known as remote state preparation can be used to broadcast a state. Here we examine a remote state preparation protocol that can be used to send the state of a qubit, confined to the equator of the Bloch sphere, to an arbitrary number of receivers. The entanglement cost is less than that of using teleportation to accomplish the same task. We present a number of variations on this task, probabilistically sending an unknown qubit state to two receivers, sending different qubit states to two receivers, and sending qutrit states to two receivers. Finally, we discuss some applications of these protocols. △ Less

Submitted 21 April, 2022; originally announced April 2022.

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

Optimal linear optical discrimination of Bell-like states

Authors: Dov Fields, Janos A. Bergou, Mark Hillery, Siddhartha Santra, Vladimir Malinovsky

Abstract: Quantum information processing using linear optics is challenging due to the limited set of deterministic operations achievable without using complicated resource-intensive methods. While techniques such as the use of ancillary photons can enhance the information processing capabilities of linear optical systems they are technologically demanding. Therefore, determining the constraints posed by li… ▽ More Quantum information processing using linear optics is challenging due to the limited set of deterministic operations achievable without using complicated resource-intensive methods. While techniques such as the use of ancillary photons can enhance the information processing capabilities of linear optical systems they are technologically demanding. Therefore, determining the constraints posed by linear optics and optimizing linear optical operations for specific tasks under those constraints, without the use of ancillas, can facilitate their potential implementation. Here, we consider the task of unambiguously discriminating between Bell-like states without the use of ancillary photons. This is a basic problem relevant in diverse settings, for example, in the measurement of the output of an entangling quantum circuit or for entanglement swap** at a quantum repeater station. While it is known that exact Bell states of two qubits can be discriminated with an optimal success probability of 50% we find, surprisingly, that for Bell-like states the optimal probability can be only 25%. We analyze a set of Bell-like states in terms of their distinguishability, entanglement as measured by concurrence, and parameters of the beam-splitter network used for unambiguous discrimination. Further, we provide the linear optical configuration comprised of single photon detectors and beam splitters with input state-dependent parameters that achieves optimal discrimination in the Bell-like case. △ Less

Submitted 2 December, 2021; originally announced December 2021.

Partial particle and wave information and weak duality games

Authors: Mark Hillery

Abstract: Duality games are a way of looking at wave-particle duality. In these games. Alice and Bob together are playing against the House. The House specifies, at random, which of two sub-games Alice and Bob will play. One game, Ways, requires that they obtain path information about a particle going through an $N$-path interferometer and the other, Phases, requires that they obtain phase information. In g… ▽ More Duality games are a way of looking at wave-particle duality. In these games. Alice and Bob together are playing against the House. The House specifies, at random, which of two sub-games Alice and Bob will play. One game, Ways, requires that they obtain path information about a particle going through an $N$-path interferometer and the other, Phases, requires that they obtain phase information. In general, because of wave-particle duality, Alice and Bob cannot always win the overall game. However, if the required amount of path and phase information is not too great, for example specifying a set of paths or phases, one of which is the right one, then they can always win. Here we study examples of duality games that can always be won, and develop a wave-particle duality relation expressed only in terms of mutual information to help analyze these games. △ Less

Submitted 2 June, 2021; originally announced June 2021.

Journal ref: J. Phys. A 54, 495301 (2021)

Average concurrence and entanglement swap**

Authors: János A. Bergou, Dov Fields, Mark Hillery, Siddhartha Santra, Vladimir S. Malinovsky

Abstract: We study the role of average concurrence in entanglement swap** in quantum networks. We begin with qubit pure states, and there is a very simple rule governing the propagation of average concurrence in multiple swaps. We look at examples of mixed qubit states, and find the relation for pure states gives an upper bound on what is possible with mixed states. We then move on to qudits, where we mak… ▽ More We study the role of average concurrence in entanglement swap** in quantum networks. We begin with qubit pure states, and there is a very simple rule governing the propagation of average concurrence in multiple swaps. We look at examples of mixed qubit states, and find the relation for pure states gives an upper bound on what is possible with mixed states. We then move on to qudits, where we make use of the I-concurrence. Here the situation is not as simple as for qubits, but in some cases relatively straightforward results can be obtained. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Comments: Comments welcome

Journal ref: Phys. Rev. A 104, 022425 (2021)

Constructing a qubit POVM from quantum data

Authors: Mark Hillery

Abstract: Given an ensemble of qubits, which we are told consists of a mixture of two pure states, one with probability $η_{0}$ and one with probability $η_{1}$, we want to find a POVM that will discriminate between the two states by measuring the qubits. We do not know the states, and for any given qubit, we do not know which of the two states it is in. This can be viewed as learning a POVM from quantum da… ▽ More Given an ensemble of qubits, which we are told consists of a mixture of two pure states, one with probability $η_{0}$ and one with probability $η_{1}$, we want to find a POVM that will discriminate between the two states by measuring the qubits. We do not know the states, and for any given qubit, we do not know which of the two states it is in. This can be viewed as learning a POVM from quantum data. Once found, the POVM can be used to separate the remaining qubits in the ensemble into two groups, corresponding to the two states present in the ensemble. In order to find the POVM, we need more information about the possible states. We examine several cases. First, we suppose that we know that the Bloch vectors of the states lie in the x-z plane and their \emph{a priori} probabilities are equal. We next keep the restriction to the x-z plane, but allow the \emph{a priori} probabilities to be different. Finally, we consider the case in which the Bloch vectors of the states have the same z component. △ Less

Submitted 3 November, 2020; originally announced November 2020.

Journal ref: J. Phys. A 53, 425302 (2020)

Finding more than one path through a simple maze with a quantum walk

Authors: Mark Hillery

Abstract: We study quantum walks through chains consisting of two and three star graphs. The first star has a distinguished vertex labelled START and the last has one labelled END. There are multiple paths between these two vertices, and the object is to find these paths. We show that a quantum walk can do this with a quantum speedup. We study quantum walks through chains consisting of two and three star graphs. The first star has a distinguished vertex labelled START and the last has one labelled END. There are multiple paths between these two vertices, and the object is to find these paths. We show that a quantum walk can do this with a quantum speedup. △ Less

Submitted 14 July, 2020; originally announced July 2020.

Journal ref: J. Phys. A 54, 095301 (2021)

Wave-particle duality relations based on entropic bounds for which-way information

Authors: Emilio Bagan, Janos A. Bergou, Mark Hillery

Abstract: We present wave-particle duality relations involving the relative entropy coherence measure, which plays a prominent role in the resource theory of coherence. The main input in these relations is an entropic bound for the which-way information, which we derive in this letter. We show that this latter crucially depends on the choice of the measurement strategy to obtain the path information. In par… ▽ More We present wave-particle duality relations involving the relative entropy coherence measure, which plays a prominent role in the resource theory of coherence. The main input in these relations is an entropic bound for the which-way information, which we derive in this letter. We show that this latter crucially depends on the choice of the measurement strategy to obtain the path information. In particular, we present results for two strategies: zero-error identification of the path-detector states, which never produces an error but sometimes fails to return a conclusive answer, and a mixed strategy where both errors and failure are allowed. △ Less

Submitted 28 April, 2020; originally announced April 2020.

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

Unambiguous quantum state elimination for qubit sequences

Authors: Jonathan Crickmore, Ittoop Vergheese Puthoor, Berke Ricketti, Sarah Croke, Mark Hillery, Erika Andersson

Abstract: Quantum state elimination measurements tell us what states a quantum system does not have. This is different from state discrimination, where one tries to determine what the state of a quantum system is, rather than what it is not. Apart from being of fundamental interest, quantum state elimination may find uses in quantum communication and quantum cryptography. We consider unambiguous quantum sta… ▽ More Quantum state elimination measurements tell us what states a quantum system does not have. This is different from state discrimination, where one tries to determine what the state of a quantum system is, rather than what it is not. Apart from being of fundamental interest, quantum state elimination may find uses in quantum communication and quantum cryptography. We consider unambiguous quantum state elimination for two or more qubits, where each qubit can be in one of two possible states. Optimal measurements for eliminating one and two states out of four two-qubit states are given. We also prove that if we want to maximise the average number of eliminated overall N-qubit states, then individual measurements on each qubit are optimal. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Journal ref: Phys. Rev. Research 2, 013256, 2020

A group-theoretic approach to elimination measurements of qubit sequences

Authors: Mark Hillery, Erika Andersson, Ittoop Vergheese

Abstract: Most measurements are designed to tell you which of several alternatives have occurred, but it is also possible to make measurements that eliminate possibilities and tell you an alternative that did not occur. Measurements of this type have proven useful in quantum foundations and in quantum cryptography. Here we show how group theory can be used to design such measurements. After some general con… ▽ More Most measurements are designed to tell you which of several alternatives have occurred, but it is also possible to make measurements that eliminate possibilities and tell you an alternative that did not occur. Measurements of this type have proven useful in quantum foundations and in quantum cryptography. Here we show how group theory can be used to design such measurements. After some general considerations, we focus on the case of measurements on two-qubit states that eliminate one state. We then move on to construct measurements that eliminate two three-qubit states and four four-qubit states. A condition that constrains the construction of elimination measurements is then presented. Finally, in an appendix, we briefly consider the case of elimination measurements with failure probabilities and an elimination measurement on $n$-qubit states. △ Less

Submitted 14 June, 2020; v1 submitted 5 February, 2020; originally announced February 2020.

Comments: Title changed, author added, and new material included

Extracting unambiguous information from a single qubit by sequential observers

Authors: Dov Fields, Rui Han, Mark Hillery, János A. Bergou

Abstract: In a recent paper [Phys. Rev. Lett. 111, 100501 (2013)], a scheme was proposed where subsequent observers can extract unambiguous information about the initial state of a qubit, with finite joint probability of success. Here, we generalize the problem for arbitrary preparation probabilities (arbitrary priors). We discuss two different schemes: one where only the joint probability of success is max… ▽ More In a recent paper [Phys. Rev. Lett. 111, 100501 (2013)], a scheme was proposed where subsequent observers can extract unambiguous information about the initial state of a qubit, with finite joint probability of success. Here, we generalize the problem for arbitrary preparation probabilities (arbitrary priors). We discuss two different schemes: one where only the joint probability of success is maximized and another where, in addition, the joint probability of failure is also minimized. We also derive the mutual information for these schemes and show that there are some parameter regions for the scheme without minimizing the joint failure probability where, even though the joint success probability is maximum, no information is actually transmitted by Alice. △ Less

Submitted 8 November, 2019; originally announced November 2019.

Comments: 11 pages, 10 figures

Journal ref: Phys. Rev. A 101, 012118 (2020)

A quantum controlled quantum eraser

Authors: Janos A. Bergou, Mark Hillery

Abstract: We show that the protocol known as quantum state separation can be used to transfer information between the phase and path of a particle in an interferometer. When applied to a quantum eraser, this allows us to erase some, but not all, of the path information. We can control how much path information we wish to erase. We show that the protocol known as quantum state separation can be used to transfer information between the phase and path of a particle in an interferometer. When applied to a quantum eraser, this allows us to erase some, but not all, of the path information. We can control how much path information we wish to erase. △ Less

Submitted 6 August, 2018; originally announced August 2018.

Comments: Submitted to the issue of Physica Scripta to be published in honor of the 60th birthday of Wolfgang Schleich

A generalized wave-particle duality relation for finite groups

Authors: Emilio Bagan, John Calsamiglia, Janos A. Bergou, Mark Hillery

Abstract: Wave-particle duality relations express the fact that knowledge about the path a particle took suppresses information about its wave-like properties, in particular, its ability to generate an interference pattern. Recently, duality relations in which the wave-like properties are quantified by using measures of quantum coherence have been proposed. Quantum coherence can be generalized to a property… ▽ More Wave-particle duality relations express the fact that knowledge about the path a particle took suppresses information about its wave-like properties, in particular, its ability to generate an interference pattern. Recently, duality relations in which the wave-like properties are quantified by using measures of quantum coherence have been proposed. Quantum coherence can be generalized to a property called group asymmetry. Here we derive a generalized duality relation involving group asymmetry, which is closely related to the success probability of discriminating between the actions of the elements of a group. The second quantity in the duality relation, the one generalizing which-path information, is related to information about the irreducible representations that make up the group representation. △ Less

Submitted 11 March, 2018; originally announced March 2018.

Comments: submitted to the special issue of Journal of Physics A on coherence

Grover search under localized dephasing

Authors: D. Reitzner, M. Hillery

Abstract: Decoherence in quantum searches, and in the Grover search in particular, has already been extensively studied, leading very quickly to the loss of the quadratic speedup over the classical case, when searching for some target (marked) element within a set of size $N$. The noise models used were, however, global. In this paper we study Grover search under the influence of localized partially dephasi… ▽ More Decoherence in quantum searches, and in the Grover search in particular, has already been extensively studied, leading very quickly to the loss of the quadratic speedup over the classical case, when searching for some target (marked) element within a set of size $N$. The noise models used were, however, global. In this paper we study Grover search under the influence of localized partially dephasing noise of rate $p$. We find, that in the case when the size $k$ of the affected subspace is much smaller than $N$, and the target is unaffected by the noise, namely when $kp\ll\sqrt{N}$, the quadratic speedup is retained. Once these restrictions are not met, the quadratic speedup is lost. In particular, if the target is affected by the noise, the noise rate needs to scale as $1/\sqrt{N}$ in order to keep the speedup. We observe also an intermediate region, where if $k\sim N^μ$ and the target is unaffected, the speedup seems to obey $N^μ$, which for $μ>0.5$ is worse than the quantum, but better than the classical case. We put obtained results for quantum searches also into perspective of quantum walks and searches on graphs. △ Less

Submitted 28 January, 2019; v1 submitted 18 December, 2017; originally announced December 2017.

Comments: 14 pages, 5 figures; version contains clarified and expanded texts and updated references

Journal ref: Phys. Rev. A 99, 012339 (2019)

Finding paths in tree graphs with a quantum walk

Authors: Daniel Koch, Mark Hillery

Abstract: In this paper, we analyze the potential for new types of searches using the formalism of scattering random walks on Quantum Computers. Given a particular type of graph consisting of nodes and connections, a "Tree Maze", we would like to find a selected final node as quickly as possible, faster than any classical search algorithm. We show that this can be done using a quantum random walk, both exac… ▽ More In this paper, we analyze the potential for new types of searches using the formalism of scattering random walks on Quantum Computers. Given a particular type of graph consisting of nodes and connections, a "Tree Maze", we would like to find a selected final node as quickly as possible, faster than any classical search algorithm. We show that this can be done using a quantum random walk, both exactly through numerical calculations as well as analytically using eigenvectors and eigenvalues of the quantum system. △ Less

Submitted 13 October, 2017; originally announced October 2017.

Journal ref: Phys. Rev. A 97, 012308 (2018)

Duality games and operational duality relations

Authors: Emilio Bagan, John Calsamiglia, Janos A. Bergou, Mark Hillery

Abstract: We give operational meaning to wave-particle duality in terms of discrimination games. Duality arises as a constraint on the probability of winning these games. The games are played with the aid of an n-port interferometer, and involve 3 parties, Alice and Bob, who cooperate, and the House, who supervises the game. In one game called ways they attempt to determine the path of a particle in the int… ▽ More We give operational meaning to wave-particle duality in terms of discrimination games. Duality arises as a constraint on the probability of winning these games. The games are played with the aid of an n-port interferometer, and involve 3 parties, Alice and Bob, who cooperate, and the House, who supervises the game. In one game called ways they attempt to determine the path of a particle in the interferometer. In another, called phases, they attempt to determine which set of known phases have been applied to the different paths. The House determines which game is to be played by flip** a coin. We find a tight wave-particle duality relation that allows us to relate the probabilities of winning these games, and use it to find an upper bound on the probability of winning the combined game. This procedure allows us to describe wave-particle duality in terms of discrimination probabilities. △ Less

Submitted 13 August, 2017; originally announced August 2017.

Comments: 8 pages, 2 figures

Journal ref: Phys. Rev. Lett. 120, 050402 (2018)

Finding paths with quantum walks or quantum walking through a maze

Authors: Daniel Reitzner, Mark Hillery, Daniel Koch

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

Submitted 16 September, 2017; v1 submitted 5 July, 2017; originally announced July 2017.

Comments: 10 pages, 3 figures, this version contains updated parts and added Appendices

Journal ref: Phys. Rev. A 96, 032323 (2017)

Sequential discrimination of qudits by multiple observers

Authors: Mark Hillery, Jihane Mimih

Abstract: We discuss a scheme in which sequential state-discrimination measurements are performed on qudits to determine the quantum state in which they were initially prepared. The qudits belong to a set of nonorthogonal quantum states and hence cannot be distinguished with certainty. Unambiguous state discrimination allows error-free measurements at the expense of occasionally failing to give a conclusive… ▽ More We discuss a scheme in which sequential state-discrimination measurements are performed on qudits to determine the quantum state in which they were initially prepared. The qudits belong to a set of nonorthogonal quantum states and hence cannot be distinguished with certainty. Unambiguous state discrimination allows error-free measurements at the expense of occasionally failing to give a conclusive answer about the state of the qudit. Qudits have the potential to carry more information per transmission than qubits. We considered the situation in which Alice sends one of N qudits, where the dimension of the qudits is also N. We look at two cases, one in which the states all have the same overlap and one in which the qudits are divided into two sets, with qudits in different sets having different overlaps. We also study the robustness of our scheme against a simple eavesdrop** attack and found that by using qudits rather than qubits, there is a greater probability that an eavesdropper will introduce errors and be detected. △ Less

Submitted 20 March, 2017; originally announced March 2017.

Comments: 10 pages, 3 figures

Journal ref: J. Phys. A 50, 435301 (2017)

Retrodiction of a sequence of measurement results in qubit interferometers

Authors: Mark Hillery, Daniel Koch

Abstract: We study how well we can retrodict results of measurements made on a quantum system if we can make measurements on its final state. We know what measurements were made, but not their results. An initial examination shows that we can gain anywhere from no information to perfect information about the results of previous measurements, depending on the measurements and the initial state of the system.… ▽ More We study how well we can retrodict results of measurements made on a quantum system if we can make measurements on its final state. We know what measurements were made, but not their results. An initial examination shows that we can gain anywhere from no information to perfect information about the results of previous measurements, depending on the measurements and the initial state of the system. The case of two two-outcome measurements, the second of which is a projective measurement, is examined in some detail. We then look at a model of a qubit interferometer in which measurements are made in order to determine the path the qubit followed. The measurement made on the final state of the qubit depends on the information about previous measurement results that we are trying to determine. One can attempt to find the result of just one of the measurements, all of them, or find a measurement sequence that was not realized. We study all three possibilities. △ Less

Submitted 20 September, 2016; originally announced September 2016.

Journal ref: Physical Review A 94, 032118 (2016)

Coherence as a resource in decision problems: The Deutsch-Jozsa algorithm and a variation

Authors: Mark Hillery

Abstract: That superpositions of states can be useful for performing tasks in quantum systems has been known since the early days of quantum information, but only recently has quantitative theory of quantum coherence been proposed. Here we apply that theory to an analysis of the Deutsch-Jozsa algorithm, which depends on quantum coherence for its operation. The Deutsch-Jozsa algorithm solves a decision probl… ▽ More That superpositions of states can be useful for performing tasks in quantum systems has been known since the early days of quantum information, but only recently has quantitative theory of quantum coherence been proposed. Here we apply that theory to an analysis of the Deutsch-Jozsa algorithm, which depends on quantum coherence for its operation. The Deutsch-Jozsa algorithm solves a decision problem, and we focus on a probabilistic version of that problem, comparing probability of being correct for both classical and quantum procedures. In addition, we study a related decision problem in which the quantum procedure has one-sided error while the classical procedure has two-sided error. The role of coherence on the quantum success probabilities in both of these problems is examined. △ Less

Submitted 14 February, 2016; v1 submitted 6 December, 2015; originally announced December 2015.

Comments: replaced with published version

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

Relations between coherence and path information

Authors: Emilio Bagan, Janos A. Bergou, Seth S. Cottrell, Mark Hillery

Abstract: We find two relations between coherence and path-information in a multi-path interferometer. The first builds on earlier results for the two-path interferometer, which used minimum-error state discrimination between detector states to provide the path information. For visibility, which was used in the two-path case, we substitute a recently defined $l_{1}$ measure of quantum coherence. The second… ▽ More We find two relations between coherence and path-information in a multi-path interferometer. The first builds on earlier results for the two-path interferometer, which used minimum-error state discrimination between detector states to provide the path information. For visibility, which was used in the two-path case, we substitute a recently defined $l_{1}$ measure of quantum coherence. The second is an entropic relation in which the path information is characterized by the mutual information between the detector states and the outcome of the measurement performed on them, and the coherence measure is one based on relative entropy. △ Less

Submitted 10 December, 2015; v1 submitted 15 September, 2015; originally announced September 2015.

Comments: The original result has been strengthened, an entropic duality relation has been added, and an author has been added. The title has also been modified

Journal ref: Phys. Rev. Lett. 116, 160406 (2016)

Bell inequalities from group actions: Three parties and non-Abelian groups

Authors: V. Ugur Guney, Mark Hillery

Abstract: In a previous publication, we showed how group actions can be used to generate Bell inequalities. The group action yields a set of measurement probabilities whose sum is the basic element in the inequality. The sum has an upper bound if the probabilities are a result of a local, realistic theory, but this bound can be violated if the probabilities come from quantum mechanics. In our first paper, w… ▽ More In a previous publication, we showed how group actions can be used to generate Bell inequalities. The group action yields a set of measurement probabilities whose sum is the basic element in the inequality. The sum has an upper bound if the probabilities are a result of a local, realistic theory, but this bound can be violated if the probabilities come from quantum mechanics. In our first paper, we considered the case of only two parties making the measurements and single-generator groups. Here we show that the method can be extended to three parties, and it can also be extended to non-Abelian groups. We discuss the resulting inequalities in terms of nonlocal games. △ Less

Submitted 23 May, 2015; originally announced May 2015.

Journal ref: Phys. Rev. A 91, 052110 (2015)

Bell inequalities from group actions of single-generator groups

Authors: V. Ugur Guney, Mark Hillery

Abstract: We study a method of generating Bell inequalities by using group actions of single-generator abelian groups. Two parties, Alice and Bob, each make one of M possible measurements on a system, with each measurement having K possible outcomes. The probabilities for the outcomes of these measurements are P(a_j = k, b_{j'}=k'), where j,j' are in the set {1,2,... M} and k,k' are in the set {0,1,... K-1}… ▽ More We study a method of generating Bell inequalities by using group actions of single-generator abelian groups. Two parties, Alice and Bob, each make one of M possible measurements on a system, with each measurement having K possible outcomes. The probabilities for the outcomes of these measurements are P(a_j = k, b_{j'}=k'), where j,j' are in the set {1,2,... M} and k,k' are in the set {0,1,... K-1}. The sums of some subsets of these probabilities have upper bounds when the probabilities result from a local, realistic theory that can be violated if the probabilities come from quantum mechanics. In our case the subsets of probabilities are generated by a group action, in particular, a representation of a single-generator group acting on product states in a tensor-product Hilbert space. We show how this works for several cases, including M=2, K=3, and general M, K=2. We also discuss the resulting inequalities in terms of nonlocal games. △ Less

Submitted 26 December, 2014; originally announced December 2014.

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

Finding structural anomalies in star graphs: A general approach

Authors: Seth Cottrell, Mark Hillery

Abstract: We develop a general theory for a quantum-walk search on a star graph. A star graph has N edges each of which is attached to a central vertex. A graph G is attached to one of these edges, and we would like to find out to which edge it is attached. This is done by means of a quantum walk, a quantum version of a random walk. This walk contains O(\sqrt{N}) steps, which represents a speedup over a cla… ▽ More We develop a general theory for a quantum-walk search on a star graph. A star graph has N edges each of which is attached to a central vertex. A graph G is attached to one of these edges, and we would like to find out to which edge it is attached. This is done by means of a quantum walk, a quantum version of a random walk. This walk contains O(\sqrt{N}) steps, which represents a speedup over a classical search, which would require O(N) steps. The overall graph, star plus G, is divided into two parts, and we find that for a quantum speedup to occur, the eigenvalues associated with these two parts in the N goes to infinity limit must be the same. Our theory tells us how the initial state of the walk should be chosen, and how many steps the walk must make in order to find G. △ Less

Submitted 24 January, 2014; v1 submitted 11 October, 2013; originally announced October 2013.

Comments: Replaced with published version

Journal ref: Phys. Rev. Lett. 112, 030501 (2014)

Maximum quantum violations of a class of Bell inequalities

Authors: V. Ugur Guney, Mark Hillery

Abstract: We study a class of Bell inequalities and find their maximum quantum violation. These inequalities involve n parties, two measurements per party, with each measurement having two outcomes. The n=2 case corresponds to the CH inequality. We use the method of Jordan bases to find the maximum quantum violations. Results are found for the cases n=2 through n=7. We study a class of Bell inequalities and find their maximum quantum violation. These inequalities involve n parties, two measurements per party, with each measurement having two outcomes. The n=2 case corresponds to the CH inequality. We use the method of Jordan bases to find the maximum quantum violations. Results are found for the cases n=2 through n=7. △ Less

Submitted 28 May, 2013; originally announced May 2013.

Journal ref: Phys. Rev. A 87, 052126 (2013)

Extracting information from a qubit by multiple observers: Toward a theory of sequential state discrimination

Authors: Janos Bergou, Edgar Feldman, Mark Hillery

Abstract: We discuss sequential unambiguous state-discrimination measurements performed on the same qubit. Alice prepares a qubit in one of two possible states. The qubit is first sent to Bob, who measures it, and then on to Charlie, who also measures it. The object in both cases is to determine which state Alice sent. In an unambiguous state discrimination measurement, we never make a mistake, i.e. misiden… ▽ More We discuss sequential unambiguous state-discrimination measurements performed on the same qubit. Alice prepares a qubit in one of two possible states. The qubit is first sent to Bob, who measures it, and then on to Charlie, who also measures it. The object in both cases is to determine which state Alice sent. In an unambiguous state discrimination measurement, we never make a mistake, i.e. misidentify the state, but the measurement may fail, in which case we gain no information about which state was sent. We find that there is a nonzero probability for both Bob and Charlie to identify the state, and we maximize this probability. The probability that Charlie's measurement succeeds depends on how much information about the state Alice sent is left in the qubit after Bob's measurement, and this information can be quantified by the overlap between the two possible states in which Bob's measurement leaves the qubit. This paper is a first step toward develo** a theory of nondestructive sequential quantum measurements, which could be useful in quantum communication schemes. △ Less

Submitted 4 September, 2013; v1 submitted 18 May, 2013; originally announced May 2013.

Comments: Replaced with published version

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

Quantum walks as a probe of structural anomalies in graphs

Authors: Mark Hillery, Hongjun Zheng, Edgar Feldman, Daniel Reitzner, Vladimir Buzek

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

Submitted 27 June, 2012; originally announced June 2012.

Comments: 10 pages, 2 figures

Journal ref: Physical Review A 85, 062325 (2012)

Decision problems with quantum black boxes

Authors: Mark Hillery, Erika Andersson, Stephen M. Barnett, Daniel Oi

Abstract: We examine how to distinguish between unitary operators, when the exact form of the possible operators is not known. Instead we are supplied with "programs" in the form of unitary transforms, which can be used as references for identifying the unknown unitary transform. All unitary transforms should be used as few times as possible. This situation is analoguous to programmable state discrimination… ▽ More We examine how to distinguish between unitary operators, when the exact form of the possible operators is not known. Instead we are supplied with "programs" in the form of unitary transforms, which can be used as references for identifying the unknown unitary transform. All unitary transforms should be used as few times as possible. This situation is analoguous to programmable state discrimination. One difference, however, is that the quantum state to which we apply the unitary transforms may be entangled, leading to a richer variety of possible strategies. By suitable selection of an input state and generalized measurement of the output state, both unambiguous and minimum-error discrimination can be achieved. Pairwise comparison of operators, comparing each transform to be identified with a program transform, is often a useful strategy. There are, however, situations in which more complicated strategies perform better. This is the case especially when the number of allowed applications of program operations is different from the number of the transforms to be identified. △ Less

Submitted 22 September, 2011; originally announced September 2011.

Journal ref: J. Mod. Opt. 57, 244-252 (2010)

Toward protocols for quantum-ensured privacy and secure voting

Authors: Marianna Bonanome, Vladimir Buzek, Mark Hillery, Mario Ziman

Abstract: We present a number of schemes that use quantum mechanics to preserve privacy, in particular, we show that entangled quantum states can be useful in maintaining privacy. We further develop our original proposal [see Phys. Lett. A 349, 75 (2006)] for protecting privacy in voting, and examine its security under certain types of attacks, in particular dishonest voters and external eavesdroppers. A va… ▽ More We present a number of schemes that use quantum mechanics to preserve privacy, in particular, we show that entangled quantum states can be useful in maintaining privacy. We further develop our original proposal [see Phys. Lett. A 349, 75 (2006)] for protecting privacy in voting, and examine its security under certain types of attacks, in particular dishonest voters and external eavesdroppers. A variation of these quantum-based schemes can be used for multi-party function evaluation. We consider functions corresponding to group multiplication of $N$ group elements, with each element chosen by a different party. We show how quantum mechanics can be useful in maintaining the privacy of the choices group elements. △ Less

Submitted 25 August, 2011; originally announced August 2011.

Comments: 11 pages, no figures

Journal ref: Physical Review A 84, 022331 (2011)

Quantum tests for the linearity and permutation invariance of Boolean functions

Authors: Mark Hillery, Erika Andersson

Abstract: The goal in function property testing is to determine whether a black-box Boolean function has a certain property or is epsilon-far from having that property. The performance of the algorithm is judged by how many calls need to be made to the black box in order to determine, with high probability, which of the two alternatives is the case. Here we present two quantum algorithms, the first to deter… ▽ More The goal in function property testing is to determine whether a black-box Boolean function has a certain property or is epsilon-far from having that property. The performance of the algorithm is judged by how many calls need to be made to the black box in order to determine, with high probability, which of the two alternatives is the case. Here we present two quantum algorithms, the first to determine whether the function is linear and the second to determine whether it is symmetric (invariant under permutations of the arguments). Both require O(epsilon^{-2/3}) calls to the oracle, which is better than known classical algorithms. In addition, in the case of linearity testing, if the function is linear, the quantum algorithm identifies which linear function it is. The linearity test combines the Bernstein-Vazirani algorithm and amplitude amplification, while the test to determine whether a function is symmetric uses projective measurements and amplitude amplification. △ Less

Submitted 29 December, 2011; v1 submitted 23 June, 2011; originally announced June 2011.

Comments: Replaced with published version

Journal ref: Physical Review A 84, 062329 (2011)

Searches on star graphs and equivalent oracle problems

Authors: Jaehak Lee, Hai-Woong Lee, Mark Hillery

Abstract: We examine a search on a graph among a number of different kinds of objects (vertices), one of which we want to find. In a standard graph search, all of the vertices are the same, except for one, the marked vertex, and that is the one we wish to find. We examine the case in which the unmarked vertices can be of different types, so the background against which the search is done is not uniform. We… ▽ More We examine a search on a graph among a number of different kinds of objects (vertices), one of which we want to find. In a standard graph search, all of the vertices are the same, except for one, the marked vertex, and that is the one we wish to find. We examine the case in which the unmarked vertices can be of different types, so the background against which the search is done is not uniform. We find that the search can still be successful, but the probability of success is lower than in the uniform background case, and that probability decreases with the number of types of unmarked vertices. We also show how the graph searches can be rephrased as equivalent oracle problems. △ Less

Submitted 27 February, 2011; originally announced February 2011.

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

Finding structural anomalies in graphs by means of quantum walks

Authors: Edgar Feldman, Mark Hillery, Hai-Woong Lee, Daniel Reitzner, Hongjun Zheng, Vladimir Buzek

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

Submitted 2 September, 2010; originally announced September 2010.

Quantum algorithms for testing Boolean functions

Authors: Dominik F. Floess, Erika Andersson, Mark Hillery

Abstract: We discuss quantum algorithms, based on the Bernstein-Vazirani algorithm, for finding which variables a Boolean function depends on. There are 2^n possible linear Boolean functions of n variables; given a linear Boolean function, the Bernstein-Vazirani quantum algorithm can deterministically identify which one of these Boolean functions we are given using just one single function query. The same q… ▽ More We discuss quantum algorithms, based on the Bernstein-Vazirani algorithm, for finding which variables a Boolean function depends on. There are 2^n possible linear Boolean functions of n variables; given a linear Boolean function, the Bernstein-Vazirani quantum algorithm can deterministically identify which one of these Boolean functions we are given using just one single function query. The same quantum algorithm can also be used to learn which input variables other types of Boolean functions depend on, with a success probability that depends on the form of the Boolean function that is tested, but does not depend on the total number of input variables. We also outline a procedure to futher amplify the success probability, based on another quantum algorithm, the Grover search. △ Less

Submitted 7 June, 2010; originally announced June 2010.

Journal ref: EPTCS 26, 2010, pp. 101-108

Conditions for entanglement in multipartite systems

Authors: Mark Hillery, Ho Trung Dung, Hongjun Zheng

Abstract: We introduce two entanglement conditions that take the form of inequalities involving expectation values of operators. These conditions are sufficient conditions for entanglement, that is if they are satisfied the state is entangled, but if they are not, one can say nothing about the entanglement of the state. These conditions are quite flexible, because the operators in them are not specified, an… ▽ More We introduce two entanglement conditions that take the form of inequalities involving expectation values of operators. These conditions are sufficient conditions for entanglement, that is if they are satisfied the state is entangled, but if they are not, one can say nothing about the entanglement of the state. These conditions are quite flexible, because the operators in them are not specified, and they are particularly useful in detecting multipartite entanglement. We explore the range of utility of these conditions by considering a number of examples of entangled states, and seeing under what conditions entanglement in them can be detected by the inequalities presented here. △ Less

Submitted 24 May, 2010; originally announced May 2010.

Comments: accepted for publication in Physical Review A

Journal ref: Phys. Rev. A 81, 062322 (2010)

Application of entanglement conditions to spin systems

Authors: Hongjun Zheng, Ho Trung Dung, Mark Hillery

Abstract: There have been numerous studies of entanglement in spin systems. These have usually focussed on examining the entanglement between individual spins or determining whether the state of the system is completely separable. Here we present conditions that allow us to determine whether blocks of spins are entangled. We show that sometimes these conditions can detect entanglement better than conditions… ▽ More There have been numerous studies of entanglement in spin systems. These have usually focussed on examining the entanglement between individual spins or determining whether the state of the system is completely separable. Here we present conditions that allow us to determine whether blocks of spins are entangled. We show that sometimes these conditions can detect entanglement better than conditions involving individual spins. We apply these conditions to study entanglement in spin wave states, both when there are only a few magnons present and also at finite temperature. △ Less

Submitted 24 May, 2010; originally announced May 2010.

Comments: accepted for publication in Physical Review A

Journal ref: Phys. Rev. A 81, 062311 (2010)

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

Authors: Mark Hillery, Daniel Reitzner, Vladimir Buzek

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

Submitted 5 November, 2009; originally announced November 2009.

Comments: 4 pages, 2 figures

Detecting entanglement with non-hermitian operators

Authors: Mark Hillery, Ho Trung Dung, Julien Niset

Abstract: We derive several entanglement conditions employing non-hermitian operators. We start with two conditions that were derived previously for field mode operators, and use them to derive conditions that can be used to show the existence of field-atom entanglement and entanglement between groups of atoms. The original conditions can be strengthened by making them invariant under certain sets of loca… ▽ More We derive several entanglement conditions employing non-hermitian operators. We start with two conditions that were derived previously for field mode operators, and use them to derive conditions that can be used to show the existence of field-atom entanglement and entanglement between groups of atoms. The original conditions can be strengthened by making them invariant under certain sets of local unitary transformations, such as Gaussian operations. We then apply these conditions to several examples, such as the Dicke model. We conclude with a short discussion of how local uncertainty relations with non-hermitian operators can be used to derive entanglement conditions. △ Less

Submitted 1 December, 2009; v1 submitted 23 October, 2009; originally announced October 2009.

Comments: Typos corrected

Journal ref: Phys. Rev. A 80 052335 (2009)

Quantum Machines

Authors: Mark Hillery, Vladimir Buzek

Abstract: We discuss quantum information processing machines. We start with single purpose machines that either redistribute quantum information or identify quantum states. We then move on to machines that can perform a number of functions, with the function they perform being determined by a program, which is itself a quantum state. Examples of both deterministic and probabilistic programmable machines a… ▽ More We discuss quantum information processing machines. We start with single purpose machines that either redistribute quantum information or identify quantum states. We then move on to machines that can perform a number of functions, with the function they perform being determined by a program, which is itself a quantum state. Examples of both deterministic and probabilistic programmable machines are given, and we conclude with a discussion of the utility of quantum programs. △ Less

Submitted 24 March, 2009; originally announced March 2009.

Comments: To appear in Contemporary Physics

An Introduction to the Quantum Theory of Nonlinear Optics

Authors: Mark Hillery

Abstract: This article is provides an introduction to the quantum theory of optics in nonlinear dielectric media. We begin with a short summary of the classical theory of nonlinear optics, that is nonlinear optics done with classical fields. We then discuss the canonical formalism for fields and its quantization. This is applied to quantizing the electromagnetic field in free space. The definition of a no… ▽ More This article is provides an introduction to the quantum theory of optics in nonlinear dielectric media. We begin with a short summary of the classical theory of nonlinear optics, that is nonlinear optics done with classical fields. We then discuss the canonical formalism for fields and its quantization. This is applied to quantizing the electromagnetic field in free space. The definition of a nonclassical state of the electromagnetic field is presented, and several examples are examined. This is followed by a brief introduction to entanglement in the context of field modes. The next task is the quantization of the electromagnetic field in an inhomogeneous, linear dielectric medium. Before going on to field quantization in nonlinear media, we discuss a number of commonly employed phenomenological models for quantum nonlinear optical processes. We then quantize the field in both nondispersive and dispersive nonlinear media. Flaws in the most commonly used methods of accomplishing this task are pointed out and discussed. Once the quantization has been completed, it is used to study a multimode theory of parametric down conversion and the propagation of quantum solitons. △ Less

Submitted 22 January, 2009; originally announced January 2009.

Comments: 80 pages,

Journal ref: Acta Physica Slovaca 59, No.1, 1-80 (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)

Quantum searches on highly symmetric graphs

Authors: Daniel Reitzner, Mark Hillery, Edgar Feldman, Vladimir Buzek

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

Submitted 27 January, 2009; v1 submitted 8 May, 2008; originally announced May 2008.

Comments: 11 pages, 6 figures; major revisions

Journal ref: Phys. Rev. A 79, 012323 (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)

Application of quantum algorithms to the study of permutations and group automorphisms

Authors: Marianna Bonanome, Mark Hillery, Vladimir Buzek

Abstract: We discuss three applications of efficient quantum algorithms to determining properties of permutations and group automorphisms. The first uses the Bernstein-Vazirani algorithm to determine an unknown homomorphism from $Z_{p-1}^{m}$ to $Aut(Z_{p})$ where $p$ is prime. The remaining two make use of modifications of the Grover search algorithm. The first finds the fixed point of a permutation or a… ▽ More We discuss three applications of efficient quantum algorithms to determining properties of permutations and group automorphisms. The first uses the Bernstein-Vazirani algorithm to determine an unknown homomorphism from $Z_{p-1}^{m}$ to $Aut(Z_{p})$ where $p$ is prime. The remaining two make use of modifications of the Grover search algorithm. The first finds the fixed point of a permutation or an automorphism (assuming it has only one besides the identity). It can be generalized to find cycles of a specified size for permutations or orbits of a specified size for automorphisms. The second finds which of a set of permutations or automorphisms maps one particular element of a set or group onto another. This has relevance to the conjugacy problem for groups. We show how two of these algorithms can be implemented via programmable quantum processors. This approach opens new perspectives in quantum information processing, wherein both the data and the programs are represented by states of quantum registers. In particular, quantum programs that specify control over data can be treated using methods of quantum information theory. △ Less

Submitted 19 August, 2007; originally announced August 2007.

Comments: 7 pages, 1 figure

Journal ref: Physical Review A 76, 012324 (2007)

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)

Modifying quantum walks: A scattering theory approach

Authors: Edgar Feldman, Mark Hillery

Abstract: We show how to construct discrete-time quantum walks on directed, Eulerian graphs. These graphs have tails on which the particle making the walk propagates freely, and this makes it possible to analyze the walks in terms of scattering theory. The probability of entering a graph from one tail and leaving from another can be found from the scattering matrix of the graph. We show how the scattering… ▽ More We show how to construct discrete-time quantum walks on directed, Eulerian graphs. These graphs have tails on which the particle making the walk propagates freely, and this makes it possible to analyze the walks in terms of scattering theory. The probability of entering a graph from one tail and leaving from another can be found from the scattering matrix of the graph. We show how the scattering matrix of a graph that is an automorphic image of the original is related to the scattering matrix of the original graph, and we show how the scattering matrix of the reverse graph is related to that of the original graph. Modifications of graphs and the effects of these modifications are then considered. In particular we show how the scattering matrix of a graph is changed if we remove two tails and replace them with an edge or cut an edge and add two tails. This allows us to combine graphs, that is if we connect two graphs we can construct the scattering matrix of the combined graph from those of its parts. Finally, using these techniques, we show how two graphs can be compared by constructing a larger larger graph in which the two original graphs are in parallel, and performing a quantum walk on the larger graph. This is a kind of quantum walk interferometry. △ Less

Submitted 31 May, 2007; originally announced May 2007.

Comments: 22 pages and 1 figure