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

Michael M. Wolf

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

ResearcherUnclaimed source record
quant-phmath-phmath.MPcond-mat.othercond-mat.str-elcond-mat.stat-mechInformation Theorymath.DSmath.ITmath.SPComputational ComplexityDistributed, Parallel, and Cluster Computinghep-thmath.GNmath.OANumerical AnalysisPerformancephysics.soc-phSocial and Information Networks

Catalog footprint

What is connected

40works
19topics
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

40 published item(s)

preprint2022arXiv

Undecidability of the Spectral Gap (full version)

We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the strongest sense: it is promised to either have continuous spectrum above the ground state in the thermodynamic limit, or its spectral gap is lower-bounded by a constant in the thermodynamic limit. Moreover, this constant can be taken equal to the local interaction strength of the Hamiltonian.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

An operational measure for squeezing

We propose and analyse a mathematical measure for the amount of squeezing contained in a continuous variable quantum state. We show that the proposed measure operationally quantifies the minimal amount of squeezing needed to prepare a given quantum state and that it can be regarded as a squeezing analogue of the "entanglement of formation". We prove that the measure is convex and superadditive and we provide analytic bounds as well as a numerical convex optimisation algorithm for its computation. By example, we then show that the amount of squeezing needed for the preparation of certain multi-mode quantum states can be significantly lower than naive approaches suggest.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Comment on "On the uncomputability of the spectral gap"

The aim of this short note is to clarify some of the claims made in the comparison made in [S. Lloyd, On the uncomputability of the spectral gap, arXiv:1602.05924] between our recent result [T.S. Cubitt, D. Perez-Garcia, M.M. Wolf, Undecidability of the spectral gap, Nature 528, 207-211 (2015), arXiv:1502.04573] and his 1994 paper [S. Lloyd, Necessary and sufficient conditions for quantum computation, J. Mod. Opt. 41(12), 2503-2520 (1994)].

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Perturbation Bounds for Williamson's Symplectic Normal Form

Given a real-valued positive semidefinite matrix, Williamson proved that it can be diagonalised using symplectic matrices. The corresponding diagonal values are known as the symplectic spectrum. This paper is concerned with the stability of Williamson's decomposition under perturbations. We provide norm bounds for the stability of the symplectic eigenvalues and prove that if $S$ diagonalises a given matrix $M$ to Williamson form, then $S$ is stable if the symplectic spectrum is nondegenerate and $S^TS$ is always stable. Finally, we sketch a few applications of the results in quantum information theory.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Connected components of irreducible maps and 1D quantum phases

We investigate elementary topological properties of sets of completely positive (CP) maps that arise in quantum Perron-Frobenius theory. We prove that the set of primitive CP maps of fixed Kraus rank is path-connected and we provide a complete classification of the connected components of irreducible CP maps at given Kraus rank and fixed peripheral spectrum in terms of a multiplicity index. These findings are then applied to analyse 1D quantum phases by studying equivalence classes of translational invariant Matrix Product States that correspond to the connected components of the respective CP maps. Our results extend the previously obtained picture in that they do not require blocking of physical sites, they lead to analytic paths and they allow to decompose into ergodic components and to study the breaking of translational symmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Positivity of linear maps under tensor powers

We investigate linear maps between matrix algebras that remain positive under tensor powers, i.e., under tensoring with $n$ copies of themselves. Completely positive and completely co-positive maps are trivial examples of this kind. We show that for every $n\in\mathbb{N}$ there exist non-trivial maps with this property and that for two-dimensional Hilbert spaces there is no non-trivial map for which this holds for all $n$. For higher dimensions we reduce the existence question of such non-trivial "tensor-stable positive maps" to a one-parameter family of maps and show that an affirmative answer would imply the existence of NPPT bound entanglement. As an application we show that any tensor-stable positive map that is not completely positive yields an upper bound on the quantum channel capacity, which for the transposition map gives the well-known cb-norm bound. We furthermore show that the latter is an upper bound even for the LOCC-assisted quantum capacity, and that moreover it is a strong converse rate for this task.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quantum Subdivision Capacities and Continuous-time Quantum Coding

Quantum memories can be regarded as quantum channels that transmit information through time without moving it through space. Aiming at a reliable storage of information we may thus not only encode at the beginning and decode at the end, but also intervene during the transmission - a possibility not captured by the ordinary capacities in Quantum Shannon Theory. In this work we introduce capacities that take this possibility into account and study them in particular for the transmission of quantum information via dynamical semigroups of Lindblad form. When the evolution is subdivided and supplemented by additional continuous semigroups acting on arbitrary block sizes, we show that the capacity of the ideal channel can be obtained in all cases. If the supplementary evolution is reversible, however, this is no longer the case. Upper and lower bounds for this scenario are proven. Finally, we provide a continuous coding scheme and simple examples showing that adding a purely dissipative term to a Liouvillian can sometimes increase the quantum capacity.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Sinkhorn normal form for unitary matrices

Sinkhorn proved that every entry-wise positive matrix can be made doubly stochastic by multiplying with two diagonal matrices. In this note we prove a recently conjectured analogue for unitary matrices: every unitary can be decomposed into two diagonal unitaries and one whose row- and column sums are equal to one. The proof is non-constructive and based on a reformulation in terms of symplectic topology. As a corollary, we obtain a decomposition of unitary matrices into an interlaced product of unitary diagonal matrices and discrete Fourier transformations. This provides a new decomposition of linear optics arrays into phase shifters and canonical multiports described by Fourier transformations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Tight bound on relative entropy by entropy difference

We prove a lower bound on the relative entropy between two finite-dimensional states in terms of their entropy difference and the dimension of the underlying space. The inequality is tight in the sense that equality can be attained for any prescribed value of the entropy difference, both for quantum and classical systems. We outline implications for information theory and thermodynamics, such as a necessary condition for a process to be close to thermodynamic reversibility, or an easily computable lower bound on the classical channel capacity. Furthermore, we derive a tight upper bound, uniform for all states of a given dimension, on the variance of the surprisal, whose thermodynamic meaning is that of heat capacity.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

An improved Landauer Principle with finite-size corrections

Landauer's Principle relates entropy decrease and heat dissipation during logically irreversible processes. Most theoretical justifications of Landauer's Principle either use thermodynamic reasoning or rely on specific models based on arguable assumptions. Here, we aim at a general and minimal setup to formulate Landauer's Principle in precise terms. We provide a simple and rigorous proof of an improved version of the Principle, which is formulated in terms of an equality rather than an inequality. The proof is based on quantum statistical mechanics concepts rather than on thermodynamic argumentation. From this equality version, we obtain explicit improvements of Landauer's bound that depend on the effective size of the thermal reservoir and reduce to Landauer's bound only for infinite-sized reservoirs.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Fault-ignorant Quantum Search

We investigate the problem of quantum searching on a noisy quantum computer. Taking a 'fault-ignorant' approach, we analyze quantum algorithms that solve the task for various different noise strengths, which are possibly unknown beforehand. We prove lower bounds on the runtime of such algorithms and thereby find that the quadratic speedup is necessarily lost (in our noise models). However, for low but constant noise levels the algorithms we provide (based on Grover's algorithm) still outperform the best noiseless classical search algorithm.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Frustration free gapless Hamiltonians for Matrix Product States

For every Matrix Product State (MPS) one can always construct a so-called parent Hamiltonian. This is a local, frustration free, Hamiltonian which has the MPS as ground state and is gapped. Whenever that parent Hamiltonian has a degenerate ground state (the so-called non-injective case), we construct another 'uncle' Hamiltonian which is local and frustration free but gapless, and its spectrum is $\R^+$. The construction is obtained by linearly perturbing the matrices building up the state in a random direction, and then taking the limit where the perturbation goes to zero. For MPS where the parent Hamiltonian has a unique ground state (the so-called injective case) we also build such uncle Hamiltonian with the same properties in the thermodynamic limit.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quantifying the Effect of Matrix Structure on Multithreaded Performance of the SpMV Kernel

Sparse matrix-vector multiplication (SpMV) is the core operation in many common network and graph analytics, but poor performance of the SpMV kernel handicaps these applications. This work quantifies the effect of matrix structure on SpMV performance, using Intel's VTune tool for the Sandy Bridge architecture. Two types of sparse matrices are considered: finite difference (FD) matrices, which are structured, and R-MAT matrices, which are unstructured. Analysis of cache behavior and prefetcher activity reveals that the SpMV kernel performs far worse with R-MAT matrices than with FD matrices, due to the difference in matrix structure. To address the problems caused by unstructured matrices, novel architecture improvements are proposed.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quantum channels with polytopic images and image additivity

We study quantum channels with respect to their image, i.e., the image of the set of density operators under the action of the channel. We first characterize the set of quantum channels having polytopic images and show that additivity of the minimal output entropy can be violated in this class. We then provide a complete characterization of quantum channels $T$ that are universally image additive in the sense that for any quantum channel $S$, the image of $T \otimes S$ is the convex hull of the tensor product of the images of $T$ and $S$. These channels turn out to form a strict subset of entanglement breaking channels with polytopic images and a strict superset of classical-quantum channels.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Spectral Anomaly Detection in Very Large Graphs: Models, Noise, and Computational Complexity

Anomaly detection in massive networks has numerous theoretical and computational challenges, especially as the behavior to be detected becomes small in comparison to the larger network. This presentation focuses on recent results in three key technical areas, specifically geared toward spectral methods for detection. We first discuss recent models for network behavior, and how their structure can be exploited for efficient computation of the principal eigenspace of the graph. In addition to the stochasticity of background activity, a graph of interest may be observed through a noisy or imperfect mechanism, which may hinder the detection process. A few simple noise models are discussed, and we demonstrate the ability to fuse multiple corrupted observations and recover detection performance. Finally, we discuss the challenges in scaling the spectral algorithms to large-scale high-performance computing systems, and present preliminary recommendations to achieve good performance with current parallel eigensolvers.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Spectral convergence bounds for classical and quantum Markov processes

We introduce a new framework that yields spectral bounds on norms of functions of transition maps for finite, homogeneous Markov chains. The techniques employed work for bounded semigroups, in particular for classical as well as for quantum Markov chains and they do not require additional assumptions like detailed balance, irreducibility or aperiodicity. We use the method in order to derive convergence bounds that improve significantly upon known spectral bounds. The core technical observation is that power-boundedness of transition maps of Markov chains enables a Wiener algebra functional calculus in order to upper bound any norm of any holomorphic function of the transition map. Finally, we discuss how general detailed balance conditions for quantum Markov processes lead to spectral convergence bounds.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Coexistence does not imply joint measurability

One of the hallmarks of quantum theory is the realization that distinct measurements cannot in general be performed simultaneously, in stark contrast to classical physics. In this context the notions of coexistence and joint measurability are employed to analyze the possibility of measuring together two general quantum observables, characterizing different degrees of compatibility between measurements. It is known that two jointly measurable observables are always coexistent, and that the converse holds for various classes of observables, including the case of observables with two outcomes. Here we resolve, in the negative, the open question whether this equivalence holds in general. Our resolution strengthens the notions of coexistence and joint measurability by showing that both are robust against small imperfections in the measurement setups.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Perturbation Bounds for Quantum Markov Processes and their Fixed Points

We investigate the stability of quantum Markov processes with respect to perturbations of their transition maps. In the first part, we introduce a condition number that measures the sensitivity of fixed points of a quantum channel to perturbations. We establish upper and lower bounds on this condition number in terms of subdominant eigenvalues of the transition map. In the second part, we consider quantum Markov processes that converge to a unique stationary state and we analyze the stability of the evolution at finite times. In this way we obtain a linear relation between the mixing time of a quantum Markov process and the sensitivity of its fixed point with respect to perturbations of the transition map.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Standard super-activation for Gaussian channels requires squeezing

The quantum capacity of bosonic Gaussian quantum channels can be non-additive in a particularly striking way: a pair of such optical-fiber type channels can individually have zero quantum capacity but super-activate each other such that the combined channel has strictly positive capacity. This has been shown in [Nature Photonics 5, 624 (2011)] where it was conjectured that squeezing is a necessary resource for this phenomenon. We provide a proof of this conjecture by showing that for gauge covariant channels a Choi matrix with positive partial transpose implies that the channel is entanglement-breaking. In addition, we construct an example which shows that this implication fails to hold for Gaussian channels which arise from passive interactions with a squeezed environment.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Extending quantum operations

For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on quantum states are trace-preserving completely positive maps, but we also consider variants of these requirements. We generalize the definition of complete positivity to linear maps defined on arbitrary subspaces, then formulate this notion as a semidefinite program, and relate it by duality to approximative extensions of this map. This gives a characterization of the maps which can be approximated arbitrarily well as the restriction of a map that is completely positive on the whole algebra, also yielding the familiar extension theorems on operator spaces. For quantum channel extensions and extensions by probabilistic operations we obtain semidefinite characterizations, and we also elucidate the special case of Abelian in- or outputs. Finally, revisiting a theorem by Alberti and Uhlmann, we provide simpler and more widely applicable conditions for certain extension problems on qubits, and by using a semidefinite programming formulation we exhibit counterexamples to seemingly reasonable but false generalizations of the Alberti-Uhlmann theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Extracting dynamical equations from experimental data is NP-hard

The behavior of any physical system is governed by its underlying dynamical equations. Much of physics is concerned with discovering these dynamical equations and understanding their consequences. In this work, we show that, remarkably, identifying the underlying dynamical equation from any amount of experimental data, however precise, is a provably computationally hard problem (it is NP-hard), both for classical and quantum mechanical systems. As a by-product of this work, we give complexity-theoretic answers to both the quantum and classical embedding problems, two long-standing open problems in mathematics (the classical problem, in particular, dating back over 70 years).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Gaussian Matrix Product States

We introduce Gaussian Matrix Product States (GMPS), a generalization of Matrix Product States (MPS) to lattices of harmonic oscillators. Our definition resembles the interpretation of MPS in terms of projected maximally entangled pairs, starting from which we derive several properties of GMPS, often in close analogy to the finite dimensional case: We show how to approximate arbitrary Gaussian states by MPS, we discuss how the entanglement in the bonds can be bounded, we demonstrate how the correlation functions can be computed from the GMPS representation, and that they decay exponentially in one dimension, and finally relate GMPS and ground states of local Hamiltonians.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quantum states on Harmonic lattices

We investigate bosonic Gaussian quantum states on an infinite cubic lattice in arbitrary spatial dimensions. We derive general properties of such states as ground states of quadratic Hamiltonians for both critical and non-critical cases. Tight analytic relations between the decay of the interaction and the correlation functions are proven and the dependence of the correlation length on band gap and effective mass is derived. We show that properties of critical ground states depend on the gap of the point-symmetrized rather than on that of the original Hamiltonian. For critical systems with polynomially decaying interactions logarithmic deviations from polynomially decaying correlation functions are found. Moreover, we provide a generalization of the matrix product state representation for Gaussian states and show that properties hold analogously to the case of finite dimensional spin systems.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Cutoff Phenomenon for Quantum Markov Chains

We derive upper and lower bounds on the convergence behavior of certain classes of one-parameter quantum dynamical semigroups. The classes we consider consist of tensor product channels and of channels with commuting Liouvillians. We introduce the notion of Cutoff Phenomenon in the setting of quantum information theory, and show how it exemplifies the fact that the convergence of (quantum) stochastic processes is not solely governed by the spectral gap of the transition map. We apply the new methods to show that graph states can be prepared efficiently, albeit not in constant time, by dissipation, and give the exact scaling behavior of the time to stationarity.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Are problems in Quantum Information Theory (un)decidable?

This note is intended to foster a discussion about the extent to which typical problems arising in quantum information theory are algorithmically decidable (in principle rather than in practice). Various problems in the context of entanglement theory and quantum channels turn out to be decidable via quantifier elimination as long as they admit a compact formulation without quantification over integers. For many asymptotically defined properties which have to hold for all or for one integer N, however, effective procedures seem to be difficult if not impossible to find. We review some of the main tools for (dis)proving decidability and apply them to problems in quantum information theory. We find that questions like "can we overcome fidelity 1/2 w.r.t. a two-qubit singlet state?" easily become undecidable. A closer look at such questions might rule out some of the "single-letter" formulas sought in quantum information theory.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Gapless Hamiltonians for the toric code using the PEPS formalism

We study Hamiltonians which have Kitaev's toric code as a ground state, and show how to construct a Hamiltonian which shares the ground space of the toric code, but which has gapless excitations with a continuous spectrum in the thermodynamic limit. Our construction is based on the framework of Projected Entangled Pair States (PEPS), and can be applied to a large class of two-dimensional systems to obtain gapless "uncle Hamiltonians".

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Hilbert's projective metric in quantum information theory

We introduce and apply Hilbert's projective metric in the context of quantum information theory. The metric is induced by convex cones such as the sets of positive, separable or PPT operators. It provides bounds on measures for statistical distinguishability of quantum states and on the decrease of entanglement under LOCC protocols or other cone-preserving operations. The results are formulated in terms of general cones and base norms and lead to contractivity bounds for quantum channels, for instance improving Ruskai's trace-norm contraction inequality. A new duality between distinguishability measures and base norms is provided. For two given pairs of quantum states we show that the contraction of Hilbert's projective metric is necessary and sufficient for the existence of a probabilistic quantum operation that maps one pair onto the other. Inequalities between Hilbert's projective metric and the Chernoff bound, the fidelity and various norms are proven.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The Complexity of Relating Quantum Channels to Master Equations

Completely positive, trace preserving (CPT) maps and Lindblad master equations are both widely used to describe the dynamics of open quantum systems. The connection between these two descriptions is a classic topic in mathematical physics. One direction was solved by the now famous result due to Lindblad, Kossakowski Gorini and Sudarshan, who gave a complete characterisation of the master equations that generate completely positive semi-groups. However, the other direction has remained open: given a CPT map, is there a Lindblad master equation that generates it (and if so, can we find it's form)? This is sometimes known as the Markovianity problem. Physically, it is asking how one can deduce underlying physical processes from experimental observations. We give a complexity theoretic answer to this problem: it is NP-hard. We also give an explicit algorithm that reduces the problem to integer semi-definite programming, a well-known NP problem. Together, these results imply that resolving the question of which CPT maps can be generated by master equations is tantamount to solving P=NP: any efficiently computable criterion for Markovianity would imply P=NP; whereas a proof that P=NP would imply that our algorithm already gives an efficiently computable criterion. Thus, unless P does equal NP, there cannot exist any simple criterion for determining when a CPT map has a master equation description. However, we also show that if the system dimension is fixed (relevant for current quantum process tomography experiments), then our algorithm scales efficiently in the required precision, allowing an underlying Lindblad master equation to be determined efficiently from even a single snapshot in this case. Our work also leads to similar complexity-theoretic answers to a related long-standing open problem in probability theory.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Bell inequalities from multilinear contractions

We provide a framework for Bell inequalities which is based on multilinear contractions. The derivation of the inequalities allows for an intuitive geometric depiction and their violation within quantum mechanics can be seen as a direct consequence of non-vanishing commutators. The approach is motivated by generalizing recent work on non-linear inequalities which was based on the moduli of complex numbers, quaternions and octonions. We extend results on Peres conjecture about the validity of Bell inequalities for quantum states with positive partial transposes. Moreover, we show the possibility of obtaining unbounded quantum violations albeit we also prove that quantum mechanics can only violate the derived inequalities if three or more parties are involved.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Non-disturbing quantum measurements

We consider pairs of quantum observables (POVMs) and analyze the relation between the notions of non-disturbance, joint measurability and commutativity. We specify conditions under which these properties coincide or differ---depending for instance on the interplay between the number of outcomes and the Hilbert space dimension or on algebraic properties of the effect operators. We also show that (non-)disturbance is in general not a symmetric relation and that it can be decided and quantified by means of a semidefinite program.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Stochastic exclusion processes versus coherent transport

Stochastic exclusion processes play an integral role in the physics of non-equilibrium statistical mechanics. These models are Markovian processes, described by a classical master equation. In this paper a quantum mechanical version of a stochastic hopping process in one dimension is formulated in terms of a quantum master equation. This allows the investigation of coherent and stochastic evolution in the same formal framework. The focus lies on the non-equilibrium steady state. Two stochastic model systems are considered, the totally asymmetric exclusion process and the fully symmetric exclusion process. The steady state transport properties of these models is compared to the case with additional coherent evolution, generated by the $XX$-Hamiltonian.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The inverse eigenvalue problem for quantum channels

Given a list of n complex numbers, when can it be the spectrum of a quantum channel, i.e., a completely positive trace preserving map? We provide an explicit solution for the n=4 case and show that in general the characterization of the non-zero part of the spectrum can essentially be given in terms of its classical counterpart - the non-zero spectrum of a stochastic matrix. A detailed comparison between the classical and quantum case is given. We discuss applications of our findings in the analysis of time-series and correlation functions and provide a general characterization of the peripheral spectrum, i.e., the set of eigenvalues of modulus one. We show that while the peripheral eigen-system has the same structure for all Schwarz maps, the constraints imposed on the rest of the spectrum change immediately if one departs from complete positivity.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Assessing dimensions from evolution

Using tools from classical signal processing, we show how to determine the dimensionality of a quantum system as well as the effective size of the environment's memory from observable dynamics in a model-independent way. We discuss the dependence on the number of conserved quantities, the relation to ergodicity and prove a converse showing that a Hilbert space of dimension D+2 is sufficient to describe every bounded sequence of measurements originating from any D-dimensional linear equations of motion. This is in sharp contrast to classical stochastic processes which are subject to more severe restrictions: a simple spectral analysis shows that the gap between the required dimensionality of a quantum and a classical description of an observed evolution can be arbitrary large.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Measurements incompatible in Quantum Theory cannot be measured jointly in any other local theory

It is well known that jointly measurable observables cannot lead to a violation of any Bell inequality - independent of the state and the measurements chosen at the other site. In this letter we prove the converse: every pair of incompatible quantum observables enables the violation of a Bell inequality and therefore must remain incompatible within any other no-signaling theory. While in the case of von Neumann measurements it is sufficient to use the same pair of observables at both sites, general measurements can require different choices. The main result is obtained by showing that for arbitrary dimension the CHSH inequality provides the Lagrangian dual of the characterization of joint measurability. This leads to a simple criterion for joint measurability beyond the known qubit case.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

The semigroup structure of Gaussian channels

We investigate the semigroup structure of bosonic Gaussian quantum channels. Particular focus lies on the sets of channels which are divisible, idempotent or Markovian (in the sense of either belonging to one-parameter semigroups or being infinitesimal divisible). We show that the non-compactness of the set of Gaussian channels allows for remarkable differences when comparing the semigroup structure with that of finite dimensional quantum channels. For instance, every irreversible Gaussian channel is shown to be divisible in spite of the existence of Gaussian channels which are not infinitesimal divisible. A simpler and known consequence of non-compactness is the lack of generators for certain reversible channels. Along the way we provide new representations for classes of Gaussian channels: as matrix semigroup, complex valued positive matrices or in terms of a simple form describing almost all one-parameter semigroups.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Dividing Quantum Channels

We investigate the possibility of dividing quantum channels into concatenations of other channels, thereby studying the semigroup structure of the set of completely-positive trace-preserving maps. We show the existence of 'indivisible' channels which can not be written as non-trivial products of other channels and study the set of 'infinitesimal divisible' channels which are elements of continuous completely positive evolutions. For qubit channels we obtain a complete characterization of the sets of indivisible and infinitesimal divisible channels. Moreover, we identify those channels which are solutions of time-dependent master equations for both positive and completely positive evolutions. For arbitrary finite dimension we prove a representation theorem for elements of continuous completely positive evolutions based on new results on determinants of quantum channels and Markovian approximations.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Unital Quantum Channels - Convex Structure and Revivals of Birkhoff's Theorem

The set of doubly-stochastic quantum channels and its subset of mixtures of unitaries are investigated. We provide a detailed analysis of their structure together with computable criteria for the separation of the two sets. When applied to O(d)-covariant channels this leads to a complete characterization and reveals a remarkable feature: instances of channels which are not in the convex hull of unitaries can return to it when either taking finitely many copies of them or supplementing with a completely depolarizing channel. In these scenarios this implies that a channel whose noise initially resists any environment-assisted attempt of correction can become perfectly correctable.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

The computational complexity of PEPS

We determine the computational power of preparing Projected Entangled Pair States (PEPS), as well as the complexity of classically simulating them, and generally the complexity of contracting tensor networks. While creating PEPS allows to solve PP problems, the latter two tasks are both proven to be #P-complete. We further show how PEPS can be used to approximate ground states of gapped Hamiltonians, and that creating them is easier than creating arbitrary PEPS. The main tool for our proofs is a duality between PEPS and postselection which allows to use existing results from quantum compexity.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Contractivity of positive and trace preserving maps under $L_p$ norms

We provide a complete picture of contractivity of trace preserving positive maps with respect to $p$-norms. We show that for $p>1$ contractivity holds in general if and only if the map is unital. When the domain is restricted to the traceless subspace of Hermitian matrices, then contractivity is shown to hold in the case of qubits for arbitrary $p\geq 1$ and in the case of qutrits if and only if $p=1,\infty$. In all non-contractive cases best possible bounds on the $p$-norms are derived.

0 citations0 reviewsNo code linkedOpen access