An official website of the United States government
Abstract We compare the algebras of the quantum automorphism group of finite-dimensional C$$^\ast $$-algebra $$B$$, which includes the quantum permutation group $$S_N^+$$, where $$N = \dim B$$. We show that matrix amplification and crossed products by trace-preserving actions by a finite Abelian group $$\Gamma $$ lead to isomorphic $$\ast $$-algebras. This allows us to transfer various properties such as inner unitarity, Connes embeddability, and strong $$1$$-boundedness between the various algebras associated with these quantum groups.
more »
« less
Uncertainties in quantum measurements: a quantum tomography
Abstract The observables associated with a quantum system S form a non-commutative algebra A S . It is assumed that a density matrix ρ can be determined from the expectation values of observables. But A S admits inner automorphisms a ↦ u a u − 1 , a , u ∈ A S , u * u = u u * = 1 , so that its individual elements can be identified only up to unitary transformations. So since Tr ρ ( uau *) = Tr( u * ρu ) a , only the spectrum of ρ , or its characteristic polynomial, can be determined in quantum mechanics. In local quantum field theory, ρ cannot be determined at all, as we shall explain. However, abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables in abelian algebras A M ⊂ A S ( M for measurement, S for system). We study the uncertainties in extending ρ | A M to ρ | A S (the determination of which means measurement of A S ) and devise a protocol to determine ρ | A S ≡ ρ by determining ρ | A M for different choices of A M . The problem we formulate and study is a generalization of the Kadison–Singer theorem. We give an example where the system S is a particle on a circle and the experiment measures the abelian algebra of a magnetic field B coupled to S . The measurement of B gives information about the state ρ of the system S due to operator mixing. Associated uncertainty principles for von Neumann entropy are discussed in the appendix, adapting the earlier work by Białynicki-Birula and Mycielski (1975 Commun. Math. Phys. 44 129) to the present case.
more »
« less
- Award ID(s):
- 2112729
- PAR ID:
- 10348502
- Date Published:
- Journal Name:
- Journal of Physics A: Mathematical and Theoretical
- Volume:
- 55
- Issue:
- 22
- ISSN:
- 1751-8113
- Page Range / eLocation ID:
- 225309
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)This work provides quantitative tests of the extent of violation of two inequalities applicable to qubits coupled into Bell states, using IBM's publicly accessible quantum computers. Violations of the inequalities are well established. Our purpose is not to test the inequalities, but rather to determine how well quantum mechanical predictions can be reproduced on quantum computers, given their current fault rates. We present results for the spin projections of two entangled qubits, along three axes A , B , and C , with a fixed angle θ between A and B and a range of angles θ ′ between B and C . For any classical object that can be characterized by three observables with two possible values, inequalities govern relationships among the probabilities of outcomes for the observables, taken pairwise. From set theory, these inequalities must be satisfied by all such classical objects; but quantum systems may violate the inequalities. We have detected clear-cut violations of one inequality in runs on IBM's publicly accessible quantum computers. The Clauser–Horne–Shimony–Holt (CHSH) inequality governs a linear combination S of expectation values of products of spin projections, taken pairwise. Finding S > 2 rules out local, hidden variable theories for entangled quantum systems. We obtained values of S greater than 2 in our runs prior to error mitigation. To reduce the quantitative errors, we used a modification of the error-mitigation procedure in the IBM documentation. We prepared a pair of qubits in the state |00〉, found the probabilities to observe the states |00〉, |01〉, |10〉, and |11〉 in multiple runs, and used that information to construct the first column of an error matrix M . We repeated this procedure for states prepared as |01〉, |10〉, and |11〉 to construct the full matrix M , whose inverse is the filtering matrix. After applying filtering matrices to our averaged outcomes, we have found good quantitative agreement between the quantum computer output and the quantum mechanical predictions for the extent of violation of both inequalities as functions of θ ′.more » « less
-
Recent work shows that quantum signal processing (QSP) and its multi-qubit lifted version, quantum singular value transformation (QSVT), unify and improve the presentation of most quantum algorithms. QSP/QSVT characterize the ability, by alternating ansätze, to obliviously transform the singular values of subsystems of unitary matrices by polynomial functions; these algorithms are numerically stable and analytically well-understood. That said, QSP/QSVT require consistent access to a oracle, saying nothing about computing of two or more oracles; these can be far cheaper to determine given an ability to pit oracles against one another coherently. This work introduces a corresponding theory of QSP over multiple variables: M-QSP. Surprisingly, despite the non-existence of the fundamental theorem of algebra for multivariable polynomials, there exist necessary and sufficient conditions under which a desired multivariable polynomial transformation is possible. Moreover, the classical subroutines used by QSP protocols survive in the multivariable setting for non-obvious reasons, and remain numerically stable and efficient. Up to a well-defined conjecture, we give proof that the family of achievable multivariable transforms is as loosely constrained as could be expected. The unique ability of M-QSP to approximate of multiple variables coherently leads to novel speedups incommensurate with those of other quantum algorithms, and provides a bridge from quantum algorithms to algebraic geometry.more » « less
-
A gr e at d e al of i nt er e st s urr o u n d s t h e u s e of tr a n s cr a ni al dir e ct c urr e nt sti m ul ati o n (t D C S) t o a u g m e nt c o g niti v e tr ai ni n g. H o w e v er, eff e ct s ar e i n c o n si st e nt a cr o s s st u di e s, a n d m et aa n al yti c e vi d e n c e i s mi x e d, e s p e ci all y f o r h e alt h y, y o u n g a d ult s. O n e m aj or s o ur c e of t hi s i n c o n si st e n c y i s i n di vi d u al diff er e n c e s a m o n g t h e p arti ci p a nt s, b ut t h e s e diff er e n c e s ar e r ar el y e x a mi n e d i n t h e c o nt e xt of c o m bi n e d tr ai ni n g/ sti m ul ati o n st u di e s. I n a d diti o n, it i s u n cl e ar h o w l o n g t h e eff e ct s of sti m ul ati o n l a st, e v e n i n s u c c e s sf ul i nt er v e nti o n s. S o m e st u di e s m a k e u s e of f oll o w- u p a s s e s s m e nt s, b ut v er y f e w h a v e m e a s ur e d p erf or m a n c e m or e t h a n a f e w m o nt hs aft er a n i nt er v e nti o n. H er e, w e utili z e d d at a fr o m a pr e vi o u s st u d y of t D C S a n d c o g niti v e tr ai ni n g [ A u, J., K at z, B., B u s c h k u e hl, M., B u n arj o, K., S e n g er, T., Z a b el, C., et al. E n h a n ci n g w or ki n g m e m or y tr ai ni n g wit h tr a n scr a ni al dir e ct c urr e nt sti m ul ati o n. J o u r n al of C o g niti v e N e u r os ci e n c e, 2 8, 1 4 1 9 – 1 4 3 2, 2 0 1 6] i n w hi c h p arti ci p a nts tr ai n e d o n a w or ki n g m e m or y t as k o v er 7 d a y s w hil e r e c ei vi n g a cti v e or s h a m t D C S. A n e w, l o n g er-t er m f oll o w- u p t o a ss es s l at er p erf or m a n c e w a s c o n d u ct e d, a n d a d diti o n al p arti ci p a nt s w er e a d d e d s o t h at t h e s h a m c o n diti o n w a s b ett er p o w er e d. W e a s s e s s e d b a s eli n e c o g niti v e a bilit y, g e n d er, tr ai ni n g sit e, a n d m oti v ati o n l e v el a n d f o u n d si g nifi c a nt i nt er a cti o ns b et w e e n b ot h b as eli n e a bilit y a n d m oti v ati o n wit h c o n diti o n ( a cti v e or s h a m) i n m o d els pr e di cti n g tr ai ni n g g ai n. I n a d diti o n, t h e i m pr o v e m e nt s i n t h e a cti v e c o nditi o n v er s u s s h a m c o n diti o n a p p e ar t o b e st a bl e e v e n a s l o n g a s a y e ar aft er t h e ori gi n al i nt er v e nti o n. ■more » « less
-
Bambi, Cosimo; Modesto, Leonardo; Shapiro, Ilya (Ed.)We summarize our work on spherically symmetric midi-superspaces in loop quantum gravity. Our approach is based on using inhomogeneous slicings that may penetrate the horizon in case there is one and on a redefinition of the constraints so the Hamiltonian has an Abelian algebra with itself. We discuss basic and improved quantizations as is done in loop quantum cosmology. We discuss the use of parameterized Dirac observables to define operators associated with kinematical variables in the physical space of states, as a first step to introduce an operator associated with the space-time metric. We analyze the elimination of singularities and how they are replaced by extensions of the space-times. We discuss the charged case and potential observational consequences in quasinormal modes. We also analyze the covariance of the approach. Finally, we comment on other recent approaches of quantum black holes, including mini-superspaces motivated by loop quantum gravity.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1088/1751-8121/ac6a2c
