Class Of Quantum States Research Articles

Device-independent lower bounds on the conditional von Neumann entropy

The rates of several device-independent (DI) protocols, including quantum key-distribution (QKD) and randomness expansion (RE), can be computed via an optimization of the conditional von Neumann entropy over a particular class of quantum states. In this work we introduce a numerical method to compute lower bounds on such rates. We derive a sequence of optimization problems that converge to the conditional von Neumann entropy of systems defined on general separable Hilbert spaces. Using the Navascués-Pironio-Acín hierarchy we can then relax these problems to semidefinite programs, giving a computationally tractable method to compute lower bounds on the rates of DI protocols. Applying our method to compute the rates of DI-RE and DI-QKD protocols we find substantial improvements over all previous numerical techniques, demonstrating significantly higher rates for both DI-RE and DI-QKD. In particular, for DI-QKD we show a minimal detection efficiency threshold which is within the realm of current capabilities. Moreover, we demonstrate that our method is capable of converging rapidly by recovering all known tight analytical bounds up to several decimal places. Finally, we note that our method is compatible with the entropy accumulation theorem and can thus be used to compute rates of finite round protocols and subsequently prove their security.

Learning energy-based representations of quantum many-body states

Efficient representation of quantum many-body states on classical computers is a problem of practical importance. An ideal representation of a quantum state combines a succinct characterization informed by the structure and symmetries of the system along with the ability to predict the physical observables of interest. Several machine-learning approaches have been recently used to construct such classical representations, which enable predictions of observables and account for physical symmetries. However, the structure of a quantum state typically gets lost unless a specialized is employed based on prior knowledge of the system. Moreover, most such approaches give no information about what states are easier to learn in comparison with others. Here, we propose a generative energy-based representation of quantum many-body states derived from Gibbs distributions used for modeling the thermal states of classical spin systems. Based on the prior information on a family of quantum states, the energy function can be specified by a small number of parameters using an explicit low-degree polynomial or a generic parametric family such as neural nets and can naturally include the known symmetries of the system. Our results show that such a representation can be efficiently learned from data using exact algorithms in a form that enables the prediction of expectation values of physical observables. Importantly, the structure of the learned energy function provides a natural explanation for the difficulty of learning an energy-based representation of a given class of quantum states when measured in a certain basis. Published by the American Physical Society 2024

Characterizing nonclassical correlation via local channels

Local operation is an important tool to characterize the nonlocal aspects of multipartite quantum system. Exploiting the notion of resource theory of coherence, in this article, we establish a quantum correlation measure as the difference between the bipartite coherence and marginal state coherence. We study the Tsallis α-entropy (TαE) coherence based quantum correlation of bipartite state relative to different channels such as unitary channel, the twirling (unitary-induced) channel, projective measurements and weak measurements. It is shown that the quantum channel helps us to discriminate the product and classical-quantum states. We provide the operational interpretation of the correlation measure relative to the measurement in terms of classical uncertainty of channel. A closer connection between the correlation relative to the projective measurements and weak measurements is obtained in terms of measurement strength. As an illustration, we have studied the quantum correlations of well-known two-qubit states.

Cone-restricted information theory

The max-relative entropy and the conditional min-entropy of a quantum state plays a central role in one-shot and zero-error quantum information theory. One attractive feature of this quantity is that it can be expressed as an optimization over the cone of positive semidefinite operators. Recently, it was shown that when replacing this cone with the cone of separable operators, a new type of conditional min-entropy emerges that admits an operational interpretation in terms of communicating classical information over a quantum channel. In this work, we explore more deeply the idea of building information-theoretic quantities from different base cones and determine which results in quantum information theory rely upon the positive semidefinite cone and which can be generalized. In terms of asymptotic information processing, we find that the standard equipartition properties break down if a given cone fails to approximate the positive semidefinite cone sufficiently well. We also show that the near-equivalence of the smooth max and Hartley entropies breaks down in this setting. We present parallel results for the extended conditional min-entropy, which requires extending the notion of k-superpositive channels to superchannels. On the other hand, we show that for classical-quantum states the separable cone is sufficient to re-cover the asymptotic theory, thereby drawing a strong distinction between the fully and partial quantum settings. We also present operational uses of this framework. We show that the cone restricted min-entropy of a Choi operator captures a measure of entanglement-assisted noiseless classical communication using restricted measurements. We also introduce a novel min-entropy-like quantity that captures the conditions for when one quantum channel can be transformed into another using bistochastic pre-processing. Lastly, we relate this framework to general conic norms and their non-additivity. Throughout this work, we concretely study generalized entropies in resource theories that capture locality and resource theories of coherence/Abelian symmetries.

What hide the Hermite coherent states?

For the single mode the Hermite coherent states are wave packets analogous to the standard harmonic oscillator coherent states but constructed with complex Hermite polynomials substituting traditionally used complex monomials zn . Hermite coherent states unify the standard coherent and squeezed states within one class of quantum states whose representatives share all properties customarily required from the standard coherent states, in particular (over)completeness. Generalization of the Hermite coherent/squeezed states to the multimode case, illustrated on the bipartite states, shows that such states exhibit entanglement which presence or absence depends on the nature of squeezing but also on the choice of description method being used.

The weak field limit of quantum matter back-reacting on classical spacetime

Consistent coupling of quantum and classical degrees of freedom exists so long as there is both diffusion of the classical degrees of freedom and decoherence of the quantum system. In this paper, we derive the Newtonian limit of such classical-quantum (CQ) theories of gravity. Our results are obtained both via the gauge fixing of the recently proposed path integral theory of CQ general relativity and via the CQ master equation approach. In each case, we find the same weak field dynamics. We find that the New-tonian potential diffuses by an amount lower bounded by the decoherence rate into mass eigenstates. We also present our results as an unraveled system of stochastic differential equations for the trajectory of the hybrid classical-quantum state and provide a series of kernels for constructing figures of merit, which can be used to rule out part of the parameter space of classical-quantum theories of gravity by experimentally testing it via the decoherence-diffusion trade-off. We compare and contrast the weak field limit to previous models of classical Newtonian gravity coupled to quantum systems. Here, we find that the Newtonian potential and quantum state change in lock-step, with the flow of time being stochastic.

Concentration bounds for quantum states and limitations on the QAOA from polynomial approximations

We prove concentration bounds for the following classes of quantum states: (i) output states of shallow quantum circuits, answering an open question from \cite{DMRF22}; (ii) injective matrix product states; (iii) output states of dense Hamiltonian evolution, i.e. states of the form eιH(p)⋯eιH(1)|ψ0⟩ for any n-qubit product state |ψ0⟩, where each H(i) can be any local commuting Hamiltonian satisfying a norm constraint, including dense Hamiltonians with interactions between any qubits. Our proofs use polynomial approximations to show that these states are close to local operators. This implies that the distribution of the Hamming weight of a computational basis measurement (and of other related observables) concentrates.An example of (iii) are the states produced by the quantum approximate optimisation algorithm (QAOA). Using our concentration results for these states, we show that for a random spin model, the QAOA can only succeed with negligible probability even at super-constant level p=o(log⁡log⁡n), assuming a strengthened version of the so-called overlap gap property. This gives the first limitations on the QAOA on dense instances at super-constant level, improving upon the recent result [BGMZ22].

Magnetic field effects and excitonic selection rules in monolayer palladium diselenide as a large-gap quantum spin Hall insulator

Quantum spin hall (QSH) effect, a class of quantum state, is promising for dissipationless transport with topologically protected helical edge state. Based on first-principles calculations, we theoretically demonstrate the topological physics of $1\mathrm{H}\text{\ensuremath{-}}\mathrm{Pd}{\mathrm{Se}}_{2}$ with a large gap up to 0.24 eV. The band inversion takes place either among the ${p}_{z}$ and ${p}_{x,y}$ orbitals of Se atom or due to spin-orbital coupling under compressive strains. The edge modes exist in the energy gap and can be characterized by an effective edge state Hamiltonian. Based on the derived two-band $\mathbf{k}\ifmmode\cdot\else\textperiodcentered\fi{}\mathbf{p}$ model, we demonstrate the profound phenomena induced by the applied magnetic field effects and optical transitions for chiral fermions, which lead to complicated excitonic selection rules in this topologically nontrivial two-dimensional material. Our results will pave the way for future theoretical and experimental studies on $\mathrm{Pd}{X}_{2}$ $(X=\mathrm{S},\mathrm{Se},\mathrm{Te})$ monolayers.

Qubit vitrification and entanglement criticality on a quantum simulator

Many elusive quantum phenomena emerge from a quantum system interacting with its classical environment. Quantum simulators enable us to program this interaction by using measurement operations. Measurements generally remove part of the entanglement built between the qubits in a simulator. While in simple cases entanglement may disappear at a constant rate as we measure qubits one by one, the evolution of entanglement under measurements for a given class of quantum states is generally unknown. We show that consecutive measurements of qubits in a simulator can lead to criticality, separating two phases of entanglement. Using up to 48 qubits, we prepare an entangled superposition of ground states to a classical spin model. Progressively measuring the qubits drives the simulator through an observable vitrification point and into a spin glass phase of entanglement. Our findings suggest coupling to a classical environment may drive critical phenomena in more general quantum states.

QuGIT: A numerical toolbox for Gaussian quantum states

Simulating quantum states on a classical computer is hard, typically requiring prohibitive resources in terms of memory and computational power. Efficient simulation, however, can be achieved for certain classes of quantum states, in particular the so-called Gaussian quantum states of continuous variable systems. In this work we introduce QuGIT - a python numerical toolbox based on symplectic methods specialized in efficiently simulating multimode Gaussian states and operations. QuGIT is exact, requiring no truncation of Hilbert space, and provides a wide range of Gaussian operations on arbitrary Gaussian states, including unitaries, partial traces, tensor products, general-dyne measurements, conditional and unconditional dynamics. To illustrate the toolbox, several examples of usage relevant to quantum optics and optomechanics are described. Program summaryProgram Title: QuGIT: Quantum Gaussian Information ToolboxCPC Library link to program files:https://doi.org/10.17632/tp4s84yc5d.1Developer's repository link:https://github.com/IgorBrandao42/Quantum-Gaussian-Information-ToolboxLicensing provisions: CC By 4.0Programming language: PythonExternal routines/libraries: NumPy, SciPyNature of problem: Conditional and unconditional dynamics of Gaussian quantum systems.Solution method: Numerical simulation of symplectic representation of Gaussian states.Additional comments including restrictions and unusual features: Problems must deal with Gaussian states following Gaussian preserving dynamics.

Computational self-testing for entangled magic states

In the seminal paper [Metger and Vidick, Quantum '21], they proposed a computational self-testing protocol for Bell states in a single quantum device. Their protocol relies on the fact that the target states are stabilizer states, and hence it is highly non-trivial to reveal whether the other class of quantum states, non-stabilizer states, can be self-tested within their framework. Among non-stabilizer states, magic states are indispensable resources for universal quantum computation. In this letter, we show that a magic state for the CCZ gate can be self-tested while that for the T gate cannot. Our result is applicable to a proof of quantumness, where we can classically verify whether a quantum device generates a quantum state having non-zero magic.

Learning entanglement breakdown as a phase transition by confusion

Quantum technologies require methods for preparing and manipulating entangled multiparticle states. However, the problem of determining whether a given quantum state is entangled or separable is known to be an NP-hard problem in general, and even the task of detecting entanglement breakdown for a given class of quantum states is difficult. In this work, we develop an approach for revealing entanglement breakdown using a machine learning technique, which is known as ‘learning by confusion’. We consider a family of quantum states, which is parameterized such that there is a single critical value dividing states within this family into separate and entangled. We demonstrate the ‘learning by confusion’ scheme allows us to determine the critical value. Specifically, we study the performance of the method for the two-qubit, two-qutrit, and two-ququart entangled state. In addition, we investigate the properties of the local depolarization and the generalized amplitude damping channel in the framework of the confusion scheme. Within our approach and setting the parameterization of special trajectories, we obtain an entanglement-breakdown ‘phase diagram’ of a quantum channel, which indicates regions of entangled (separable) states and the entanglement-breakdown region. Then we extend the way of using the ‘learning by confusion’ scheme for recognizing whether an arbitrary given state is entangled or separable. We show that the developed method provides correct answers for a variety of states, including entangled states with positive partial transpose. We also present a more practical version of the method, which is suitable for studying entanglement breakdown in noisy intermediate-scale quantum devices. We demonstrate its performance using an available cloud-based IBM quantum processor.

How to Simulate Quantum Measurement without Computing Marginals

We describe and analyze algorithms for classically simulating measurement of an n-qubit quantum state in the standard basis, that is, sampling a bit string from the probability distribution determined by the Born rule. Our algorithms reduce the sampling task to computing poly(n) amplitudes of n-qubit states; unlike previously known techniques they do not require computation of marginal probabilities. Two classes of quantum states are considered: output states of polynomial-size quantum circuits, and ground states of local Hamiltonians with an inverse polynomial spectral gap. We show that our algorithms can significantly accelerate quantum circuit simulations based on tensor network contraction or low-rank stabilizer decompositions. As another striking consequence we obtain the first efficient classical simulation algorithm for measurement-based quantum computation with the surface code resource state on any planar graph and any schedule of measurements.

Amplification, Inference, and the Manifestation of Objective Classical Information.

Our everyday reality is characterized by objective information—information that is selected and amplified by the environment that interacts with quantum systems. Many observers can accurately infer that information indirectly by making measurements on fragments of the environment. The correlations between the system, , and a fragment, , of the environment, , is often quantified by the quantum mutual information, or the Holevo quantity, which bounds the classical information about transmittable by a quantum channel . The latter is a quantum mutual information but of a classical-quantum state where measurement has selected outcomes on . The measurement generically reflects the influence of the remaining environment, , but can also reflect hypothetical questions to deduce the structure of correlations. Recently, Touil et al. examined a different Holevo quantity, one from a quantum-classical state (a quantum to a measured ). As shown here, this quantity upper bounds any accessible classical information about in and can yield a tighter bound than the typical Holevo quantity. When good decoherence is present—when the remaining environment, , has effectively measured the pointer states of —this accessibility bound is the accessible information. For the specific model of Touil et al., the accessible information is related to the error probability for optimal detection and, thus, has the same behavior as the quantum Chernoff bound. The latter reflects amplification and provides a universal approach, as well as a single-shot framework, to quantify records of the missing, classical information about .

A Tight Uniform Continuity Bound for the Arimoto-Rényi Conditional Entropy and its Extension to Classical-Quantum States

We prove a tight uniform continuity bound for Arimoto's version of the conditional $\alpha$-R\'enyi entropy, for the range $\alpha \in [0, 1)$. This definition of the conditional R\'enyi entropy is the most natural one among the multiple forms which exist in the literature, since it satisfies two desirable properties of a conditional entropy, namely, the fact that conditioning reduces entropy, and that the associated reduction in uncertainty cannot exceed the information gained by conditioning. Furthermore, it has found interesting applications in various information theoretic tasks such as guessing with side information and sequential decoding. This conditional entropy reduces to the conditional Shannon entropy in the limit $\alpha \to 1$, and this in turn allows us to recover the recently obtained tight uniform continuity bound for the latter from our result. Finally, we apply our result to obtain a tight uniform continuity bound for the conditional $\alpha$-R\'enyi entropy of a classical-quantum state, for $\alpha$ in the same range as above. This again yields the corresponding known bound for the conditional entropy of the state in the limit $\alpha \to 1$.

Quantifying correlations via local channels

Quantum channels, in general, will disturb quantum states and will lead to decoherence (i.e., information leakage to the environment). For bipartite systems, local channels often cause more decoherence for global states than for local states due to correlations. Intuitively, the difference between these two kinds of decoherence (i.e., global and local ones) may be regarded as a quantifier characterizing certain aspects of correlations in the global bipartite states. Based on this idea, we introduce a quantifier of correlations (relative to a local channel) as the coherence difference and investigate its basic properties. We probe and quantify correlations relative to various channels including the unitary channels, the twirling channels, the projective measurements, and the weak measurements. In particular, we show that both product states and some natural classical-quantum states can be operationally characterized in terms of local channels: The product states are just those states with vanishing coherence difference relative to the twirling channel induced by the unitary group, whereas these natural classical-quantum states are just those states with vanishing coherence difference relative to the twirling channel induced by the subgroup of the unitary group that does not disturb the local states. We further illustrate the results by various examples.

Quantum Hoare Logic with Classical Variables

Hoare logic provides a syntax-oriented method to reason about program correctness and has been proven effective in the verification of classical and probabilistic programs. Existing proposals for quantum Hoare logic either lack completeness or support only quantum variables, thus limiting their capability in practical use. In this article, we propose a quantum Hoare logic for a simple while language that involves both classical and quantum variables. Its soundness and relative completeness are proven for both partial and total correctness of quantum programs written in the language. Remarkably, with novel definitions of classical-quantum states and corresponding assertions, the logic system is quite simple and similar to the traditional Hoare logic for classical programs. Furthermore, to simplify reasoning in real applications, auxiliary proof rules are provided that support standard logical operation in the classical part of assertions and super-operator application in the quantum part. Finally, a series of practical quantum algorithms, in particular the whole algorithm of Shor’s factorisation, are formally verified to show the effectiveness of the logic.

Agnostic Dolinar receiver for coherent-state classification

We consider the problem of discriminating quantum states, where the task is to distinguish two different quantum states with a complete classical knowledge about them, and the problem of classifying quantum states, where the task is to distinguish two classes of quantum states where no prior classical information is available but a finite number of physical copies of each class is given. In the case the quantum states are represented by coherent states of light, we identify intermediate scenarios where partial prior information is available. We evaluate an analytical expression for the minimum error when the quantum states are opposite and a prior on the amplitudes is known. Such a threshold is attained by complex positive operator-valued measurements that involve a highly nonlinear optical procedure. A suboptimal procedure that can be implemented with current technology is presented that is based on a modification of the conventional Dolinar receiver. We study and compare the performance of the scheme under different assumptions on the prior information available.

Symmetric distinguishability as a quantum resource

We develop a resource theory of symmetric distinguishability, the fundamental objects of which are elementary quantum information sources, i.e. sources that emit one of two possible quantum states with given prior probabilities. Such a source can be represented by a classical-quantum state of a composite system XA, corresponding to an ensemble of two quantum states, with X being classical and A being quantum. We study the resource theory for two different classes of free operations: (i) CPTP A , which consists of quantum channels acting only on A, and (ii) conditional doubly stochastic maps acting on XA. We introduce the notion of symmetric distinguishability of an elementary source and prove that it is a monotone under both these classes of free operations. We study the tasks of distillation and dilution of symmetric distinguishability, both in the one-shot and asymptotic regimes. We prove that in the asymptotic regime, the optimal rate of converting one elementary source to another is equal to the ratio of their quantum Chernoff divergences, under both these classes of free operations. This imparts a new operational interpretation to the quantum Chernoff divergence. We also obtain interesting operational interpretations of the Thompson metric, in the context of the dilution of symmetric distinguishability.

Coherence of assistance and assisted maximally coherent states

Coherence and entanglement are fundamental concepts in resource theory. The coherence (entanglement) of assistance is the coherence (entanglement) that can be extracted assisted by another party with local measurement and classical communication. We introduce and study the general coherence of assistance. First, in terms of real symmetric concave functions on the probability simplex, the coherence of assistance and the entanglement of assistance are shown to be in one-to-one correspondence. We then introduce two classes of quantum states: the assisted maximally coherent states and the assisted maximally entangled states. They can be transformed into maximally coherent or entangled pure states with the help of another party using local measurement and classical communication. We give necessary conditions for states to be assisted maximally coherent or assisted maximally entangled. Based on these, a unified framework between coherence and entanglement including coherence (entanglement) measures, coherence (entanglement) of assistance, coherence (entanglement) resources is proposed. Then we show that the coherence of assistance as well as entanglement of assistance are strictly larger than the coherence of convex roof and entanglement of convex roof for all full rank density matrices. So all full rank quantum states are distillable in the assisted coherence distillation.