Source author record

Jason M. Dominy

Jason M. Dominy 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

5works
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

5 published item(s)

preprint2020arXiv

$XY$-mixers: analytical and numerical results for QAOA

The Quantum Alternating Operator Ansatz (QAOA) is a promising gate-model meta-heuristic for combinatorial optimization. Applying the algorithm to problems with constraints presents an implementation challenge for near-term quantum resources. This work explores strategies for enforcing hard constraints by using $XY$-Hamiltonians as mixing operators (mixers). Despite the complexity of simulating the $XY$ model, we demonstrate that for problems represented through one-hot-encoding, certain classes of the mixer Hamiltonian can be implemented without Trotter error in depth $O(κ)$ where $κ$ is the number of assignable colors. We also specify general strategies for implementing QAOA circuits on all-to-all connected hardware graphs and linearly connected hardware graphs inspired by fermionic simulation techniques. Performance is validated on graph coloring problems that are known to be challenging for a given classical algorithm. The general strategy of using $XY$-mixers is borne out numerically, demonstrating a significant improvement over the general $X$-mixer, and moreover the generalized $W$-state yields better performance than easier-to-generate classical initial states when $XY$ mixers are used.

preprint2015arXiv

A general framework for complete positivity

Complete positivity of quantum dynamics is often viewed as a litmus test for physicality, yet it is well known that correlated initial states need not give rise to completely positive evolutions. This observation spurred numerous investigations over the past two decades attempting to identify necessary and sufficient conditions for complete positivity. Here we describe a complete and consistent mathematical framework for the discussion and analysis of complete positivity for correlated initial states of open quantum systems. This formalism is built upon a few simple axioms and is sufficiently general to contain all prior methodologies going back to Pechakas, PRL (1994). The key observation is that initial system-bath states with the same reduced state on the system must evolve under all admissible unitary operators to system-bath states with the same reduced state on the system, in order to ensure that the induced dynamical maps on the system are well-defined. Once this consistency condition is imposed, related concepts like the assignment map and the dynamical maps are uniquely defined. In general, the dynamical maps may not be applied to arbitrary system states, but only to those in an appropriately defined physical domain. We show that the constrained nature of the problem gives rise to not one but three inequivalent types of complete positivity. Using this framework we elucidate the limitations of recent attempts to provide conditions for complete positivity using quantum discord and the quantum data-processing inequality. The problem remains open, and may require fresh perspectives and new mathematical tools. The formalism presented herein may be one step in that direction.

preprint2015arXiv

Beyond Complete Positivity

We provide a general and consistent formulation for linear subsystem quantum dynamical maps, developed from a minimal set of postulates, primary among which is a relaxation of the usual, restrictive assumption of uncorrelated initial system-bath states. We describe the space of possibilities admitted by this formulation, namely that, far from being limited to only completely positive (CP) maps, essentially any $\mathbb{C}$-linear, Hermiticity-preserving, trace-preserving subsystem map can arise as a legitimate subsystem dynamical map from a joint unitary evolution of a system coupled to a bath. The price paid for this added generality is a trade-off between the set of admissible initial states and the allowed set of joint system-bath unitary evolutions. As an application we present a simple example of a non-CP map constructed as a subsystem dynamical map that violates some fundamental inequalities in quantum information theory, such as the quantum data processing inequality.

preprint2013arXiv

Analysis of the quantum Zeno effect for quantum control and computation

Within quantum information, many methods have been proposed to avoid or correct the deleterious effects of the environment on a system of interest. In this work, expanding on our earlier paper [G. A. Paz-Silva et al., Phys. Rev. Lett. 108, 080501 (2012), arXiv:1104.5507], we evaluate the applicability of the quantum Zeno effect as one such method. Using the algebraic structure of stabilizer quantum error correction codes as a unifying framework, two open-loop protocols are described which involve frequent non-projective (i.e., weak) measurement of either the full stabilizer group or a minimal generating set thereof. The effectiveness of the protocols is measured by the distance between the final state under the protocol and the final state of an idealized evolution in which system and environment do not interact. Rigorous bounds on this metric are derived which demonstrate that, under certain assumptions, a Zeno effect may be realized with arbitrarily weak measurements, and that this effect can protect an arbitrary, unknown encoded state against the environment arbitrarily well.

preprint2013arXiv

Evolution prediction from tomography

Quantum process tomography provides a means of measuring the evolution operator for a system at a fixed measurement time $t$. The problem of using that tomographic snapshot to predict the evolution operator at other times is generally ill-posed since there are, in general, infinitely many distinct and compatible solutions. We describe the prediction, in some ``maximal ignorance'' sense, of the evolution of a quantum system based on knowledge only of the evolution operator for finitely many times $0<τ_{1}<\dots<τ_{M}$ with $M\geq 1$. To resolve the ill-posedness problem, we construct this prediction as the result of an average over some unknown (and unknowable) variables. The resulting prediction provides a description of the observer's state of knowledge of the system's evolution at times away from the measurement times. Even if the original evolution is unitary, the predicted evolution is described by a non-unitary, completely positive map.