BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Nathaniel Johnston

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

ResearcherUnclaimed source record
quant-phmath.OAmath-phmath.MPcond-mat.othermath.FAphysics.comp-phComputational Complexitymath.COnlin.CG

Catalog footprint

What is connected

30works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

30 published item(s)

preprint2022arXiv

A Complete Hierarchy of Linear Systems for Certifying Quantum Entanglement of Subspaces

We introduce a hierarchy of linear systems for showing that a given subspace of pure quantum states is entangled (i.e., contains no product states). This hierarchy outperforms known methods already at the first level, and it is complete in the sense that every entangled subspace is shown to be so at some finite level of the hierarchy. It generalizes straightforwardly to the case of higher Schmidt rank, as well as the multipartite cases of completely and genuinely entangled subspaces. These hierarchies work extremely well in practice even in very large quantum systems, as they can be implemented via elementary linear algebra techniques rather than the semidefinite programming techniques that are required by previously-known hierarchies.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Completely positive completely positive maps (and a resource theory for non-negativity of quantum amplitudes)

In this work we examine quantum states which have non-negative amplitudes (in a fixed basis) and the channels which preserve them. These states include the ground states of stoquastic Hamiltonians and they are of interest since they avoid the Sign Problem and can thus be efficiently simulated. In optimization theory, the convex cone generated by such states is called the set of completely positive (CP) matrices (not be confused with completely positive superoperators). We introduce quantum channels which preserve these states and call them completely positive completely positive. To study these states and channels, we use the framework of resource theories and investigate how to measure and quantify this resource.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Entangled subspaces and generic local state discrimination with pre-shared entanglement

Walgate and Scott have determined the maximum number of generic pure quantum states that can be unambiguously discriminated by an LOCC measurement [Journal of Physics A: Mathematical and Theoretical, 41:375305, 08 2008]. In this work, we determine this number in a more general setting in which the local parties have access to pre-shared entanglement in the form of a resource state. We find that, for an arbitrary pure resource state, this number is equal to the Krull dimension of (the closure of) the set of pure states obtainable from the resource state by SLOCC. Surprisingly, a generic resource state maximizes this number. Local state discrimination is closely related to the topic of entangled subspaces, which we study in its own right. We introduce $r$-entangled subspaces, which naturally generalize previously studied spaces to higher multipartite entanglement. We use algebraic-geometric methods to determine the maximum dimension of an $r$-entangled subspace, and present novel explicit constructions of such spaces. We obtain similar results for symmetric and antisymmetric $r$-entangled subspaces, which correspond to entangled subspaces of bosonic and fermionic systems, respectively.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Limitations on separable measurements by convex optimization

We prove limitations on LOCC and separable measurements in bipartite state discrimination problems using techniques from convex optimization. Specific results that we prove include: an exact formula for the optimal probability of correctly discriminating any set of either three or four Bell states via LOCC or separable measurements when the parties are given an ancillary partially entangled pair of qubits; an easily checkable characterization of when an unextendable product set is perfectly discriminated by separable measurements, along with the first known example of an unextendable product set that cannot be perfectly discriminated by separable measurements; and an optimal bound on the success probability for any LOCC or separable measurement for the recently proposed state discrimination problem of Yu, Duan, and Ying.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Spectral Properties of Symmetric Quantum States and Symmetric Entanglement Witnesses

We introduce and explore two questions concerning spectra of operators that are of interest in the theory of entanglement in symmetric (i.e., bosonic) quantum systems. First, we investigate the inverse eigenvalue problem for symmetric entanglement witnesses -- that is, we investigate what their possible spectra are. Second, we investigate the problem of characterizing which separable symmetric quantum states remain separable after conjugation by an arbitrary unitary acting on symmetric space -- that is, which states are separable in every orthonormal symmetric basis. Both of these questions have been investigated thoroughly in the non-symmetric setting, and we contrast the answers that we find with their non-symmetric counterparts.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Quantifying the coherence of pure quantum states

In recent years, several measures have been proposed for characterizing the coherence of a given quantum state. We derive several results that illuminate how these measures behave when restricted to pure states. Notably, we present an explicit characterization of the closest incoherent state to a given pure state under the trace distance measure of coherence. We then use this result to show that the states maximizing the trace distance of coherence are exactly the maximally coherent states. We define the trace distance of entanglement and show that it coincides with the trace distance of coherence for pure states. Finally, we give an alternate proof to a recent result that the $\ell_1$ measure of coherence of a pure state is never smaller than its relative entropy of coherence.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Robustness of asymmetry and coherence of quantum states

Quantum states may exhibit asymmetry with respect to the action of a given group. Such an asymmetry of states can be considered as a resource in applications such as quantum metrology, and it is a concept that encompasses quantum coherence as a special case. We introduce explicitly and study the robustness of asymmetry, a quantifier of asymmetry of states that we prove to have many attractive properties, including efficient numerical computability via semidefinite programming, and an operational interpretation in a channel discrimination context. We also introduce the notion of asymmetry witnesses, whose measurement in a laboratory detects the presence of asymmetry. We prove that properly constrained asymmetry witnesses provide lower bounds to the robustness of asymmetry, which is shown to be a directly measurable quantity itself. We then focus our attention on coherence witnesses and the robustness of coherence, for which we prove a number of additional results; these include an analysis of its specific relevance in phase discrimination and quantum metrology, an analytical calculation of its value for a relevant class of quantum states, and tight bounds that relate it to another previously defined coherence monotone.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Robustness of coherence: An operational and observable measure of quantum coherence

Quantifying coherence is an essential endeavour for both quantum foundations and quantum technologies. Here the robustness of coherence is defined and proven a full monotone in the context of the recently introduced resource theories of quantum coherence. The measure is shown to be observable, as it can be recast as the expectation value of a coherence witness operator for any quantum state. The robustness of coherence is evaluated analytically on relevant classes of states, and an efficient semidefinite program that computes it on general states is given. An operational interpretation is finally provided: the robustness of coherence quantifies the advantage enabled by a quantum state in a phase-discrimination task.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Extended nonlocal games and monogamy-of-entanglement games

We study a generalization of nonlocal games---which we call extended nonlocal games---in which the players, Alice and Bob, initially share a tripartite quantum state with the referee. In such games, the winning conditions for Alice and Bob may depend on outcomes of measurements made by the referee, on its part of the shared quantum state, in addition to Alice and Bob's answers to randomly selected questions. Our study of this class of games was inspired by the monogamy-of-entanglement games introduced by Tomamichel, Fehr, Kaniewski, and Wehner, which they also generalize. We prove that a natural extension of the Navascues--Pironio--Acin hierarchy of semidefinite programs converges to the optimal commuting operator value of extended nonlocal games, and we prove two extensions of results of Tomamichel et al. concerning monogamy-of-entanglement games.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Is absolute separability determined by the partial transpose?

The absolute separability problem asks for a characterization of the quantum states $ρ\in M_m\otimes M_n$ with the property that $UρU^\dagger$ is separable for all unitary matrices $U$. We investigate whether or not it is the case that $ρ$ is absolutely separable if and only if $UρU^\dagger$ has positive partial transpose for all unitary matrices $U$. In particular, we develop an easy-to-use method for showing that an entanglement witness or positive map is unable to detect entanglement in any such state, and we apply our method to many well-known separability criteria, including the range criterion, the realignment criterion, the Choi map and its generalizations, and the Breuer-Hall map. We also show that these two properties coincide for the family of isotropic states, and several eigenvalue results for entanglement witnesses are proved along the way that are of independent interest.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Process tomography for unitary quantum channels

We study the number of measurements required for quantum process tomography under prior information, such as a promise that the unknown channel is unitary. We introduce the notion of an interactive observable and we show that any unitary channel acting on a $d$-level quantum system can be uniquely identified among all other channels (unitary or otherwise) with only $O(d^2)$ interactive observables, as opposed to the $O(d^4)$ required for tomography of arbitrary channels. This result generalizes, so that channels with at most $q$ Kraus operators can be identified with only $O(qd^2)$ interactive observables. Slight improvements can be obtained if we wish to identify such a channel only among unital channels or among other channels with $q$ Kraus operators. These results are proven via explicit construction of large subspaces of Hermitian matrices with various conditions on rank, eigenvalues, and partial trace. Our constructions are built upon various forms of totally nonsingular matrices.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Structure of Qubit Unextendible Product Bases

Unextendible product bases have been shown to have many important uses in quantum information theory, particularly in the qubit case. However, very little is known about their mathematical structure beyond three qubits. We present several new results about qubit unextendible product bases, including a complete characterization of all four-qubit unextendible product bases, which we show there are exactly 1446 of. We also show that there exist p-qubit UPBs of almost all sizes less than $2^p$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Non-Positive Partial Transpose Subspaces Can be as Large as Any Entangled Subspace

It is known that, in an $(m \otimes n)$-dimensional quantum system, the maximum dimension of a subspace that contains only entangled states is (m-1)(n-1). We show that the exact same bound is tight if we require the stronger condition that every state with range in the subspace has non-positive partial transpose. As an immediate corollary of our result, we solve an open question that asks for the maximum number of negative eigenvalues of the partial transpose of a quantum state. In particular, we give an explicit method of construction of a bipartite state whose partial transpose has (m-1)(n-1) negative eigenvalues, which is necessarily maximal, despite recent numerical evidence that suggested such states may not exist for large m and n.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Non-Uniqueness of Minimal Superpermutations

We examine the open problem of finding the shortest string that contains each of the n! permutations of n symbols as contiguous substrings (i.e., the shortest superpermutation on n symbols). It has been conjectured that the shortest superpermutation has length $\sum_{k=1}^n k!$ and that this string is unique up to relabelling of the symbols. We provide a construction of short superpermutations that shows that, if the conjectured minimal length is true, then uniqueness fails for all n >= 5. Furthermore, uniqueness fails spectacularly; we construct more than doubly-exponentially many distinct superpermutations of the conjectured minimal length.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Separability from Spectrum for Qubit-Qudit States

The separability from spectrum problem asks for a characterization of the eigenvalues of the bipartite mixed states ρ with the property that U^*ρU is separable for all unitary matrices U. This problem has been solved when the local dimensions m and n satisfy m = 2 and n <= 3. We solve all remaining qubit-qudit cases (i.e., when m = 2 and n >= 4 is arbitrary). In all of these cases we show that a state is separable from spectrum if and only if U^*ρU has positive partial transpose for all unitary matrices U. This equivalence is in stark contrast with the usual separability problem, where a state having positive partial transpose is a strictly weaker property than it being separable.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Minimum Size of Qubit Unextendible Product Bases

We investigate the problem of constructing unextendible product bases in the qubit case - that is, when each local dimension equals 2. The cardinality of the smallest unextendible product basis is known in all qubit cases except when the number of parties is a multiple of 4 greater than 4 itself. We construct small unextendible product bases in all of the remaining open cases, and we use graph theory techniques to produce a computer-assisted proof that our constructions are indeed the smallest possible.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Minimum Size of Unextendible Product Bases in the Bipartite Case (and Some Multipartite Cases)

A long-standing open question asks for the minimum number of vectors needed to form an unextendible product basis in a given bipartite or multipartite Hilbert space. A partial solution was found by Alon and Lovasz in 2001, but since then only a few other cases have been solved. We solve all remaining bipartite cases, as well as a large family of multipartite cases.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Uniqueness of Quantum States Compatible with Given Measurement Results

We discuss the uniqueness of quantum states compatible with given results for measuring a set of observables. For a given pure state, we consider two different types of uniqueness: (1) no other pure state is compatible with the same measurement results and (2) no other state, pure or mixed, is compatible with the same measurement results. For case (1), it is known that for a d-dimensional Hilbert space, there exists a set of 4d-5 observables that uniquely determines any pure state. We show that for case (2), 5d-7 observables suffice to uniquely determine any pure state. Thus there is a gap between the results for (1) and (2), and we give some examples to illustrate this. The case of observables corresponding to reduced density matrices (RDMs) of a multipartite system is also discussed, where we improve known bounds on local dimensions for case (2) in which almost all pure states are uniquely determined by their RDMs. We further discuss circumstances where (1) can imply (2). We use convexity of the numerical range of operators to show that when only two observables are measured, (1) always implies (2). More generally, if there is a compact group of symmetries of the state space which has the span of the observables measured as the set of fixed points, then (1) implies (2). We analyze the possible dimensions for the span of such observables. Our results extend naturally to the case of low rank quantum states.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Generation of Mapping Cones from Small Sets

We answer in the affirmative a recently-posed question that asked if there exists an "untypical" convex mapping cone -- i.e., one that does not arise from the transpose map and the cones of k-positive and k-superpositive maps. We explicitly construct such a cone based on atomic positive maps. Our general technique is to consider the smallest convex mapping cone generated by a single map, and we derive several results on such mapping cones. We use this technique to also present several other examples of untypical mapping cones, including a family of cones generated by spin factors. We also provide a full characterization of mapping cones generated by single elements in the qubit case in terms of their typicality.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Norms and Cones in the Theory of Quantum Entanglement

There are various notions of positivity for matrices and linear matrix-valued maps that play important roles in quantum information theory. The cones of positive semidefinite matrices and completely positive linear maps, which represent quantum states and quantum channels respectively, are the most ubiquitous positive cones. There are also many natural cones that can been regarded as "more" or "less" positive than these standard examples. In particular, entanglement theory deals with the cones of separable operators and entanglement witnesses, which satisfy very strong and weak positivity properties respectively. Rather complementary to the various cones that arise in entanglement theory are norms. The trace and operator norms for operators and the diamond and completely bounded norms for superoperators are the typical norms that are seen throughout quantum information theory. In this work our main goal is to develop a family of norms that play a role analogous to the cone of entanglement witnesses. We investigate the basic mathematical properties of these norms, including their relationships with other well-known norms, their isometry groups, and their dual norms. We also make the place of these norms in entanglement theory rigorous by showing that entanglement witnesses arise from minimal operator systems, and analogously our norms arise from minimal operator spaces. Finally, we connect the various cones and norms considered here to several seemingly unrelated problems from other areas. We characterize the problem of whether or not non-positive partial transpose bound entangled states exist in terms of one of our norms, and provide evidence in favour of their existence. We also characterize the minimum gate fidelity of a quantum channel, the maximum output purity and its completely bounded counterpart, and the geometric measure of entanglement in terms of these norms.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The B36/S125 "2x2" Life-Like Cellular Automaton

The B36/S125 (or "2x2") cellular automaton is one that takes place on a 2D square lattice much like Conway's Game of Life. Although it exhibits high-level behaviour that is similar to Life, such as chaotic but eventually stable evolution and the existence of a natural diagonal glider, the individual objects that the rule contains generally look very different from their Life counterparts. In this article, a history of notable discoveries in the 2x2 rule is provided, and the fundamental patterns of the automaton are described. Some theoretical results are derived along the way, including a proof that the speed limits for diagonal and orthogonal spaceships in this rule are c/3 and c/2, respectively. A Margolus block cellular automaton that 2x2 emulates is investigated, and in particular a family of oscillators made up entirely of 2 x 2 blocks are analyzed and used to show that there exist oscillators with period 2^m(2^k - 1) for any integers m,k \geq 1.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Characterizing Operations Preserving Separability Measures via Linear Preserver Problems

We use classical results from the theory of linear preserver problems to characterize operators that send the set of pure states with Schmidt rank no greater than k back into itself, extending known results characterizing operators that send separable pure states to separable pure states. We also provide a new proof of an analogous statement in the multipartite setting. We use these results to develop a bipartite version of a classical result about the structure of maps that preserve rank-1 operators and then characterize the isometries for two families of norms that have recently been studied in quantum information theory. We see in particular that for k at least 2 the operator norms induced by states with Schmidt rank k are invariant only under local unitaries, the swap operator and the transpose map. However, in the k = 1 case there is an additional isometry: the partial transpose map.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Mapping Cones are Operator Systems

We investigate the relationship between mapping cones and matrix ordered *-vector spaces (i.e., abstract operator systems). We show that to every mapping cone there is an associated operator system on the space of n-by-n complex matrices, and furthermore we show that the associated operator system is unique and has a certain homogeneity property. Conversely, we show that the cone of completely positive maps on any operator system with that homogeneity property is a mapping cone. We also consider several related problems, such as characterizing cones that are closed under composition on the right by completely positive maps, and cones that are also semigroups, in terms of operator systems.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quantum Gate Fidelity in Terms of Choi Matrices

We provide new results for computing and comparing the quantum gate fidelity of quantum channels via their Choi matrices. We extend recent work that showed there exist non-dual pairs of quantum channels with equal gate fidelity by providing an explicit characterization of all such channels. We use our characterization to show that when the dimension is 2 (or 3, under slightly stronger hypotheses), the gate fidelity of two channels is equal if and only if their difference equals the difference of some unital map and its dual -- a fact that has been shown to be false when the dimension is 4 or larger. We also present a formula for the minimum gate fidelity of a channel in terms of a well-studied norm on a compression of its Choi matrix. As a consequence, several new ways of bounding and approximating the minimum gate fidelity follow, including a simple semidefinite program to compute it for qubit channels.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A Family of Norms With Applications In Quantum Information Theory

We consider a family of vector and operator norms defined by the Schmidt decomposition theorem for quantum states. We use these norms to tackle two fundamental problems in quantum information theory: the classification problem for k-positive linear maps and entanglement witnesses, and the existence problem for non-positive partial transpose bound entangled states. We begin with an analysis of the norms, showing that the vector norms can be explicitly calculated, and we derive several inequalities in order to bound the operator norms and compute them in special cases. We then use the norms to establish what appears to be the most general spectral test for k-positivity currently available, showing how it implies several other known tests as well as some new ones. Building on this work, we frame the NPPT bound entangled problem as a concrete problem on a specific limit, specifically that a particular entangled Werner state is bound entangled if and only if a certain norm inequality holds on a given family of projections.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A Family of Norms With Applications In Quantum Information Theory II

We consider the problem of computing the family of operator norms recently introduced in arXiv:0909.3907. We develop a family of semidefinite programs that can be used to exactly compute them in small dimensions and bound them in general. Some theoretical consequences follow from the duality theory of semidefinite programming, including a new constructive proof that there are non-positive partial transpose Werner states that are r-undistillable for arbitrary r. Several examples are considered via a MATLAB implementation of the semidefinite program, including the case of Werner states and randomly generated states via the Bures measure, and approximate distributions of the norms are provided. We extend these norms to arbitrary convex mapping cones and explore their implications with positive partial transpose states.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Generalized Multiplicative Domains and Quantum Error Correction

Given a completely positive map, we introduce a set of algebras that we refer to as its generalized multiplicative domains. These algebras are generalizations of the traditional multiplicative domain of a completely positive map and we derive a characterization of them in the unital, trace-preserving case, in other words the case of unital quantum channels, that extends Choi's characterization of the multiplicative domains of unital maps. We also derive a characterization that is in the same flavour as a well-known characterization of bimodules, and we use these algebras to provide a new representation-theoretic description of quantum error-correcting codes that extends previous results for unitarily-correctable codes, noiseless subsystems and decoherence-free subspaces.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Minimal and Maximal Operator Spaces and Operator Systems in Entanglement Theory

We examine k-minimal and k-maximal operator spaces and operator systems, and investigate their relationships with the separability problem in quantum information theory. We show that the matrix norms that define the k-minimal operator spaces are equal to a family of norms that have been studied independently as a tool for detecting k-positive linear maps and bound entanglement. Similarly, we investigate the k-super minimal and k-super maximal operator systems that were recently introduced and show that their cones of positive elements are exactly the cones of k-block positive operators and (unnormalized) states with Schmidt number no greater than k, respectively. We characterize a class of norms on the k-super minimal operator systems and show that the completely bounded versions of these norms provide a criterion for testing the Schmidt number of a quantum state that generalizes the recently-developed separability criterion based on trace-contractive maps.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

The multiplicative domain in quantum error correction

We show that the multiplicative domain of a completely positive map yields a new class of quantum error correcting codes. In the case of a unital quantum channel, these are precisely the codes that do not require a measurement as part of the recovery process, the so-called unitarily correctable codes. Whereas in the arbitrary, not necessarily unital case they form a proper subset of unitarily correctable codes that can be computed from properties of the channel. As part of the analysis we derive a representation theoretic characterization of subsystem codes. We also present a number of illustrative examples.

0 citations0 reviewsNo code linkedOpen access