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

Barbara Kraus

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

ResearcherUnclaimed source record
quant-phcond-mat.quant-gascond-mat.stat-mechcond-mat.str-elhep-latmath-phmath.MP

Catalog footprint

What is connected

17works
7topics
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

17 published item(s)

preprint2023arXiv

Hardware efficient quantum simulation of non-abelian gauge theories with qudits on Rydberg platforms

Non-abelian gauge theories underlie our understanding of fundamental forces in nature, and developing tailored quantum hardware and algorithms to simulate them is an outstanding challenge in the rapidly evolving field of quantum simulation. Here we take an approach where gauge fields, discretized in spacetime, are represented by qudits and are time-evolved in Trotter steps with multiqudit quantum gates. This maps naturally and hardware-efficiently to an architecture based on Rydberg tweezer arrays, where long-lived internal atomic states represent qudits, and the required quantum gates are performed as holonomic operations supported by a Rydberg blockade mechanism. We illustrate our proposal for a minimal digitization of SU(2) gauge fields, demonstrating a significant reduction in circuit depth and gate errors in comparison to a traditional qubit-based approach, which puts simulations of non-abelian gauge theories within reach of NISQ devices.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Symmetry-resolved dynamical purification in synthetic quantum matter

When a quantum system initialized in a product state is subjected to either coherent or incoherent dynamics, the entropy of any of its connected partitions generically increases as a function of time, signalling the inevitable spreading of (quantum) information throughout the system. Here, we show that, in the presence of continuous symmetries and under ubiquitous experimental conditions, symmetry-resolved information spreading is inhibited due to the competition of coherent and incoherent dynamics: in given quantum number sectors, entropy decreases as a function of time, signalling dynamical purification. Such dynamical purification bridges between two distinct short and intermediate time regimes, characterized by a log-volume and log-area entropy law, respectively. It is generic to symmetric quantum evolution, and as such occurs for different partition geometry and topology, and classes of (local) Liouville dynamics. We then develop a protocol to measure symmetry-resolved entropies and negativities in synthetic quantum systems based on the random unitary toolbox, and demonstrate the generality of dynamical purification using experimental data from trapped ion experiments [Brydges et al., Science 364, 260 (2019)]. Our work shows that symmetry plays a key role as a magnifying glass to characterize many-body dynamics in open quantum systems, and, in particular, in noisy-intermediate scale quantum devices.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Towards experimental classical verification of quantum computation

With today's quantum processors venturing into regimes beyond the capabilities of classical devices [1-3], we face the challenge to verify that these devices perform as intended, even when we cannot check their results on classical computers [4,5]. In a recent breakthrough in computer science [6-8], a protocol was developed that allows the verification of the output of a computation performed by an untrusted quantum device based only on classical resources. Here, we follow these ideas, and demonstrate in a first, proof-of-principle experiment a verification protocol using only classical means on a small trapped-ion quantum processor. We contrast this to verification protocols, which require trust and detailed hardware knowledge, as in gate-level benchmarking [9], or additional quantum resources in case we do not have access to or trust in the device to be tested [5]. While our experimental demonstration uses a simplified version [10] of Mahadev's protocol [6] we demonstrate the necessary steps for verifying fully untrusted devices. A scaled-up version of our protocol will allow for classical verification, requiring no hardware access or detailed knowledge of the tested device. Its security relies on post-quantum secure trapdoor functions within an interactive proof [11]. The conceptually straightforward, but technologically challenging scaled-up version of the interactive proofs, considered here, can be used for a variety of additional tasks such as verifying quantum advantage [8], generating [12] and certifying quantum randomness [7], or composable remote state preparation [13].

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Symmetries and local transformations of translationally invariant Matrix Product States

We determine the local symmetries and local transformation properties of translationally invariant matrix product states (MPS). We focus on physical dimension $d=2$ and bond dimension $D=3$ and use the procedure introduced in D. Sauerwein et al., Phys. Rev. Lett. 123, 170504 (2019) to determine all (including non--global) symmetries of those states. We identify and classify the stochastic local transformations (SLOCC) that are allowed among MPS. We scrutinize two very distinct sets of MPS and show the big diversity (also compared to the case $D=2$) occurring in both, their symmetries and the possible SLOCC transformations. These results reflect the variety of local properties of MPS, even if restricted to translationally invariant states with low bond dimension. Finally, we show that states with non-trivial local symmetries are of measure zero for $d = 2$ and $D > 3$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Symmetry-resolved entanglement detection using partial transpose moments

We propose an ordered set of experimentally accessible conditions for detecting entanglement in mixed states. The $k$-th condition involves comparing moments of the partially transposed density operator up to order $k$. Remarkably, the union of all moment inequalities reproduces the Peres-Horodecki criterion for detecting entanglement. Our empirical studies highlight that the first four conditions already detect mixed state entanglement reliably in a variety of quantum architectures. Exploiting symmetries can help to further improve their detection capabilities. We also show how to estimate moment inequalities based on local random measurements of single state copies (classical shadows) and derive statistically sound confidence intervals as a function of the number of performed measurements. Our analysis includes the experimentally relevant situation of drifting sources, i.e. non-identical, but independent, state copies.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A link between symmetries of critical states and the structure of SLOCC classes in multipartite systems

Central in entanglement theory is the characterization of local transformations among pure multipartite states. As a first step towards such a characterization, one needs to identify those states which can be transformed into each other via local operations with a non-vanishing probability. The classes obtained in this way are called SLOCC classes. They can be categorized into three disjoint types: the null-cone, the polystable states and strictly semistable states. Whereas the former two are well characterized, not much is known about strictly semistable states. We derive a criterion for the existence of the latter. In particular, we show that there exists a strictly semistable state if and only if there exist two polystable states whose orbits have different dimensions. We illustrate the usefulness of this criterion by applying it to tripartite states where one of the systems is a qubit. Moreover, we scrutinize all SLOCC classes of these systems and derive a complete characterization of the corresponding orbit types. We present representatives of strictly semistable classes and show to which polystable state they converge via local regular operators.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Symmetries and entanglement of stabilizer states

Stabilizer states constitute a set of pure states which plays a dominant role in quantum error correction, measurement--based quantum computation, and quantum communication. Central in these applications are the local symmetries of these states. We characterize all local symmetries of arbitrary stabilizer states and provide an algorithm which determines them. We demonstrate the usefulness of these results by showing that the additional local symmetries find applications in entanglement theory and quantum error correction.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Algebraic metrology: Pretty good states and bounds

We investigate quantum metrology using a Lie algebraic approach for a class of Hamiltonians, including local and nearest-neighbor interaction Hamiltonians. Using this Lie algebraic formulation, we identify and construct highly symmetric states that admit Heisenberg scaling in precision in the absence of noise, and investigate their performance in the presence of noise. To this aim we perform a numerical scaling analysis, and derive upper bounds on the quantum Fisher information.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Compressed simulation of thermal and excited states of the 1-D XY-model

Since several years the preparation and manipulation of a small number of quantum systems in a controlled and coherent way is feasible in many experiments. In fact, these experiments are nowadays commonly used for quantum simulation and quantum computation. As recently shown, such a system can, however, also be utilized to simulate specific behaviors of exponentially larger systems. That is, certain quantum computations can be performed by an exponentially smaller quantum computer. This compressed quantum computation can be employed to observe for instance the quantum phase transition of the 1D XY-model using very few qubits. We extend here this notion to simulate the behavior of thermal as well as excited states of the 1D XY-model. In particular, we consider the 1D XY-model of a spin chain of n qubits and derive a quantum circuit processing only $\mathrm{log}(n)$ qubits which simulates the original system. We demonstrate how the behavior of thermal as well as any eigenstate of the system can be efficiently simulated in this compressed fashion and present a quantum circuit on $\mathrm{log}(n)$ qubits to measure the magnetization, the number of kinks, and correlations occurring in the thermal as well as any excited state of the original systems. Moreover we derive compressed circuits to study time evolutions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Gaussian local unitary equivalence of $n$-mode Gaussian states and Gaussian transformations by local operations with classical communication

We derive necessary and sufficient conditions for arbitrary multi--mode (pure or mixed) Gaussian states to be equivalent under Gaussian local unitary operations. To do so, we introduce a standard form for Gaussian states, which has the properties that (i) every state can be transformed into its standard form via Gaussian local unitaries and (ii) it is unique and (iii) it can be easily computed. Thus, two states are equivalent under Gaussian local unitaries iff their standard form coincides. We explicitly derive the standard form for two-- and three--mode Gaussian pure states. We then investigate transformations between these classes by means of Gaussian local operations assisted by classical communication. For three-mode pure states, we identify a global property that cannot be created but only destroyed by local operations. This implies that the highly entangled family of symmetric three--mode Gaussian states is not sufficient to generated all three-mode Gaussian states by local Gaussian operations.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Compressed Simulation of evolutions of the XY-model

We extend the notion of compressed quantum simulation to the XY-model. We derive a quantum circuit processing log(n) qubits which simulates the 1D XY-model describing n qubits. In particular, we demonstrate how the adiabatic evolution can be realized on this exponentially smaller system and how the magnetization, which witnesses a quantum phase transition can be observed. Furthermore, we analyze several dynamical processes, like quantum quenching and finite time evolution and derive the corresponding compressed quantum circuit.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Efficient quantum communication under collective noise

We introduce a new quantum communication protocol for the transmission of quantum information under collective noise. Our protocol utilizes a decoherence-free subspace in such a way that an optimal asymptotic transmission rate is achieved, while at the same time encoding and decoding operations can be efficiently implemented. The encoding and decoding circuit requires a number of elementary gates that scale linearly with the number of transmitted qudits, m. The logical depth of our encoding and decoding operations is constant and depends only on the channel in question. For channels described by an arbitrary discrete group G, i.e. with a discrete number, |G|, of possible noise operators, perfect transmission at a rate m/(m+r) is achieved with an overhead that scales at most as $\mathcal{O}(d^r)$ where the number of auxiliary qudits, r, depends solely on the group in question. Moreover, this overhead is independent of the number of transmitted qudits, m. For certain groups, e.g. cyclic groups, we find that the overhead scales only linearly with the number of group elements |G|.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Graph-state formalism for mutually unbiased bases

A pair of orthonormal bases is called mutually unbiased if all mutual overlaps between any element of one basis with an arbitrary element of the other basis coincide. In case the dimension, $d$, of the considered Hilbert space is a power of a prime number, complete sets of $d+1$ mutually unbiased bases (MUBs) exist. Here, we present a novel method based on the graph-state formalism to construct such sets of MUBs. We show that for $n$ $p$-level systems, with $p$ being prime, one particular graph suffices to easily construct a set of $p^n+1$ MUBs. In fact, we show that a single $n$-dimensional vector, which is associated with this graph, can be used to generate a complete set of MUBs and demonstrate that this vector can be easily determined. Finally, we discuss some advantages of our formalism regarding the analysis of entanglement structures in MUBs, as well as experimental realizations.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The maximally entangled set of multipartite quantum states

Entanglement is a resource in quantum information theory when state manipulation is restricted to Local Operations assisted by Classical Communication (LOCC). It is therefore of paramount importance to decide which LOCC transformations are possible and, particularly, which states are maximally useful under this restriction. While the bipartite maximally entangled state is well known (it is the only state that cannot be obtained from any other and, at the same time, it can be transformed to any other by LOCC), no such state exists in the multipartite case. In order to cope with this fact, we introduce here the notion of the Maximally Entangled Set (MES) of n-partite states. This is the set of states which are maximally useful under LOCC manipulation, i.e. any state outside of this set can be obtained via LOCC from one of the states within the set and no state in the set can be obtained from any other state via LOCC. We determine the MES for states of three and four qubits and provide a simple characterization for them. In both cases, infinitely many states are required. However, while the MES is of measure zero for 3-qubit states, almost all 4-qubit states are in the MES. This is because, in contrast to the 3-qubit case, deterministic LOCC transformations are almost never possible among fully entangled four-partite states. We determine the measure-zero subset of the MES of LOCC convertible states. This is the only relevant class of states for entanglement manipulation.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Purification to Locally Maximally Entangleable States

Locally maximally entangleable states (LMESs) constitute a large set of multipartite states, containing for instance all stabilizer states. LMESs are uniquely characterized by (2n-1) phases, where n denotes the number of qubits. We consider here those LMES whose phases are either 0 or π and present a multipartite entanglement purification protocol for arbitrary such states. In contrast to all previously known recurrence protocols this protocol uses a novel ingredient, which is required due to the quantum correlations contained in the various LMESs. We compare this scheme to previously known entanglement purification protocols and show that the direct purification performs better than previously known protocols.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Matchgate and space-bounded quantum computations are equivalent

Matchgates are an especially multiflorous class of two-qubit nearest neighbour quantum gates, defined by a set of algebraic constraints. They occur for example in the theory of perfect matchings of graphs, non-interacting fermions, and one-dimensional spin chains. We show that the computational power of circuits of matchgates is equivalent to that of space-bounded quantum computation with unitary gates, with space restricted to being logarithmic in the width of the matchgate circuit. In particular, for the conventional setting of polynomial-sized (logarithmic-space generated) families of matchgate circuits, known to be classically simulatable, we characterise their power as coinciding with polynomial-time and logarithmic-space bounded universal unitary quantum computation.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Security of quantum key distribution protocols using two-way classical communication or weak coherent pulses

We apply the techniques introduced in [Kraus et. al., Phys. Rev. Lett. 95, 080501, 2005] to prove security of quantum key distribution (QKD) schemes using two-way classical post-processing as well as QKD schemes based on weak coherent pulses instead of single-photon pulses. As a result, we obtain improved bounds on the secret-key rate of these schemes.

0 citations0 reviewsNo code linkedOpen access