Source author record

Mark Hillery

Mark Hillery appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

29works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2022arXiv

Broadcast of a restricted set of qubit and qutrit states

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.

preprint2020arXiv

Unambiguous quantum state elimination for qubit sequences

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.

preprint2020arXiv

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

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.

preprint2019arXiv

Extracting unambiguous information from a single qubit by sequential observers

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.

preprint2016arXiv

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

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.

preprint2016arXiv

Retrodiction of a sequence of measurement results in qubit interferometers

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.

preprint2015arXiv

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

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.

preprint2015arXiv

Relations between coherence and path information

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.

preprint2014arXiv

Bell inequalities from group actions of single-generator groups

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.

preprint2014arXiv

Finding structural anomalies in star graphs: A general approach

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.

preprint2013arXiv

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

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 developing a theory of nondestructive sequential quantum measurements, which could be useful in quantum communication schemes.

preprint2012arXiv

Quantum walks as a probe of structural anomalies in graphs

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.

preprint2011arXiv

Decision problems with quantum black boxes

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.

preprint2011arXiv

Quantum tests for the linearity and permutation invariance of Boolean functions

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.

preprint2011arXiv

Searches on star graphs and equivalent oracle problems

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.

preprint2011arXiv

Toward protocols for quantum-ensured privacy and secure voting

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.

preprint2010arXiv

Application of entanglement conditions to spin systems

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.

preprint2010arXiv

Conditions for entanglement in multipartite systems

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.

preprint2010arXiv

Finding structural anomalies in graphs by means of quantum walks

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.

preprint2010arXiv

Quantum algorithms for testing Boolean functions

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.

preprint2009arXiv

An Introduction to the Quantum Theory of Nonlinear Optics

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.

preprint2009arXiv

Detecting entanglement with non-hermitian operators

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.

preprint2009arXiv

Quantum Machines

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.

preprint2009arXiv

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

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.

preprint1998arXiv

Field Oscillations in a Micromaser with Injected Atomic Coherence

The electric field in a lossless, regularly-pumped micromaser with injected atomic coherence can undergo a period 2 oscillations in the steady state. The field changes its value after a single atom passes through the micromaser cavity, but returns to its original value after a second atom travels through. We give a simple explanation for this phenomenon in terms of tangent and cotangent states. We also examine the effect of cavity damping on this steady state.

preprint1996arXiv

Quantized Fields in a Nonlinear Dielectric Medium: A Microscopic Approach

Theories which have been used to describe the quantized electromagnetic field interacting with a nonlinear dielectric medium are either phenomenological or derived by quantizing the macroscopic Maxwell equations. Here we take a different approach and derive a Hamiltonian describing interacting fields from one which contains both field and matter degrees of freedom. The medium is modelled as a collection of two-level atoms, and these interact with the electromagnetic field. The atoms are grouped into effective spins and the Holstein- Primakoff representation of the spin operators is used to expand them in one over the total spin. When the lowest-order term is combined with the free atomic and field Hamiltonians, a theory of noninteracting polaritons results. When higher-order terms are expressed in terms of polariton operators, standard nonlinear optical interactions emerge.