Showing 1–7 of 7 results for author: Leahy, J

Spatial Search via Memoryless Walk with Selfloop

Authors: Peter Høyer, Janet Leahy

Abstract: The defining feature of memoryless quantum walks is that they operate on the vertex space of a graph, and therefore can be used to produce search algorithms with minimal memory. We present a memoryless walk that can find a unique marked vertex on a two-dimensional grid. Our walk is based on the construction proposed by Falk, which tessellates the grid with squares of size $2 \times 2$. Our walk us… ▽ More The defining feature of memoryless quantum walks is that they operate on the vertex space of a graph, and therefore can be used to produce search algorithms with minimal memory. We present a memoryless walk that can find a unique marked vertex on a two-dimensional grid. Our walk is based on the construction proposed by Falk, which tessellates the grid with squares of size $2 \times 2$. Our walk uses minimal memory, $O(\sqrt{N \log N})$ applications of the walk operator, and outputs the marked vertex with vanishing error probability. To accomplish this, we apply a selfloop to the marked vertex - a technique we adapt from interpolated walks. We prove that with our explicit choice of selfloop weight, this forces the action of the walk asymptotically into a single rotational space. We characterize this space and as a result, show that our memoryless walk produces the marked vertex with a success probability asymptotically approaching one. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Comments: 35 pages, 1 figure

Quantum Insertion-Deletion Channels

Authors: Janet Leahy, Dave Touchette, Penghui Yao

Abstract: We introduce a model of quantum insertion-deletion (insdel) channels. Insdel channels are meant to represent, for example, synchronization errors arising in data transmission. In the classical setting, they represent a strict generalization of the better-understood corruption error channels, and until recently, had mostly resisted effort toward a similar understanding as their corruption counterpa… ▽ More We introduce a model of quantum insertion-deletion (insdel) channels. Insdel channels are meant to represent, for example, synchronization errors arising in data transmission. In the classical setting, they represent a strict generalization of the better-understood corruption error channels, and until recently, had mostly resisted effort toward a similar understanding as their corruption counterparts. They have received considerable attention in recent years. Very recently, Haeupler and Shahrasbi developed a framework, using what they call synchronisation strings, that allows one to turn insdel-type errors into corruption-type errors. These can then be handled by the use of standard error-correcting codes. We show that their framework can be extended to the quantum setting, providing a way to turn quantum insdel errors into quantum corruption errors, which can be handled with standard quantum error-correcting codes. △ Less

Submitted 4 January, 2019; originally announced January 2019.

Orbits of quantum states and geometry of Bloch vectors for $N$-level systems

Authors: S. G. Schirmer, T. Zhang, J. V. Leahy

Abstract: Physical constraints such as positivity endow the set of quantum states with a rich geometry if the system dimension is greater than two. To shed some light on the complicated structure of the set of quantum states, we consider a stratification with strata given by unitary orbit manifolds, which can be identified with flag manifolds. The results are applied to study the geometry of the coherence… ▽ More Physical constraints such as positivity endow the set of quantum states with a rich geometry if the system dimension is greater than two. To shed some light on the complicated structure of the set of quantum states, we consider a stratification with strata given by unitary orbit manifolds, which can be identified with flag manifolds. The results are applied to study the geometry of the coherence vector for n-level quantum systems. It is shown that the unitary orbits can be naturally identified with spheres in R^{n^2-1} only for n=2. In higher dimensions the coherence vector only defines a non-surjective embedding into a closed ball. A detailed analysis of the three-level case is presented. Finally, a refined stratification in terms of symplectic orbits is considered. △ Less

Submitted 26 November, 2003; v1 submitted 31 July, 2003; originally announced August 2003.

Comments: 15 pages LaTeX, 3 figures, reformatted, slightly modified version, corrected eq.(3), to appear in J. Physics A

Journal ref: J. Phys. A 37(4), 1389-1402 (2004)

Criteria for reachability of quantum states

Authors: S. G. Schirmer, A. I. Solomon, J. V. Leahy

Abstract: We address the question of which quantum states can be inter-converted under the action of a time-dependent Hamiltonian. In particular, we consider the problem applied to mixed states, and investigate the difference between pure and mixed-state controllability introduced in previous work. We provide a complete characterization of the eigenvalue spectrum for which the state is controllable under… ▽ More We address the question of which quantum states can be inter-converted under the action of a time-dependent Hamiltonian. In particular, we consider the problem applied to mixed states, and investigate the difference between pure and mixed-state controllability introduced in previous work. We provide a complete characterization of the eigenvalue spectrum for which the state is controllable under the action of the symplectic group. We also address the problem of which states can be prepared if the dynamical Lie group is not sufficiently large to allow the system to be controllable. △ Less

Submitted 15 November, 2002; v1 submitted 30 October, 2001; originally announced October 2001.

Comments: 14 pages, IoP LaTeX, first author has moved to Cambridge university ([email protected])

Report number: 2001SSL

Journal ref: J. Phys. A 35, 8551-8562 (2002)

Degrees of controllability for quantum systems and applications to atomic systems

Authors: S. G. Schirmer, J. V. Leahy, A. I. Solomon

Abstract: Precise definitions for different degrees of controllability for quantum systems are given, and necessary and sufficient conditions are discussed. The results are applied to determine the degree of controllability for various atomic systems with degenerate energy levels and transition frequencies. Precise definitions for different degrees of controllability for quantum systems are given, and necessary and sufficient conditions are discussed. The results are applied to determine the degree of controllability for various atomic systems with degenerate energy levels and transition frequencies. △ Less

Submitted 20 March, 2002; v1 submitted 24 August, 2001; originally announced August 2001.

Comments: 20 pages, IoP LaTeX, revised and expanded version

Report number: 2001SLS

Journal ref: J. Phys. A 35, 4125-4141 (2002)

Limits of control for quantum systems: kinematical bounds on the optimization of observables and the question of dynamical realizability

Authors: S. G. Schirmer, J. V. Leahy

Abstract: In this paper we investigate the limits of control for mixed-state quantum systems. The constraint of unitary evolution for non-dissipative quantum systems imposes kinematical bounds on the optimization of arbitrary observables. We summarize our previous results on kinematical bounds and show that these bounds are dynamically realizable for completely controllable systems. Moreover, we establish… ▽ More In this paper we investigate the limits of control for mixed-state quantum systems. The constraint of unitary evolution for non-dissipative quantum systems imposes kinematical bounds on the optimization of arbitrary observables. We summarize our previous results on kinematical bounds and show that these bounds are dynamically realizable for completely controllable systems. Moreover, we establish improved bounds for certain partially controllable systems. Finally, the question of dynamical realizability of the bounds for arbitary partially controllable systems is shown to depend on the accessible sets of the associated control system on the unitary group U(N) and the results of a few control computations are discussed briefly. △ Less

Submitted 6 October, 2000; originally announced October 2000.

Comments: 5 pages, orginal June 30, 2000, revised September 28, 2000

Report number: 2000SL

Journal ref: Phys.Rev.A63:025403,2001

Efficient Algorithm for Optimal Control of Mixed-State Quantum Systems

Authors: S. G. Schirmer, M. D. Girardeau, J. V. Leahy

Abstract: In [1] Zhu and Rabitz presented a rapidly convergent iterative algorithm for optimal control of the expectation value of a positive definite observable in a pure-state quantum system. In this paper we generalize this algorithm to a quantum statistical mechanics setting and show that it is both efficient in the mixed-state case and effective in achieving the control objective of maximizing the en… ▽ More In [1] Zhu and Rabitz presented a rapidly convergent iterative algorithm for optimal control of the expectation value of a positive definite observable in a pure-state quantum system. In this paper we generalize this algorithm to a quantum statistical mechanics setting and show that it is both efficient in the mixed-state case and effective in achieving the control objective of maximizing the ensemble average of arbitrary observables in the cases studied. △ Less

Submitted 16 September, 1999; v1 submitted 23 June, 1999; originally announced June 1999.

Comments: 8 pages, revised edition, improved content and figures

Journal ref: Phys.Rev. A61 (2000) 012101