Irreducible magic sets for $n$-qubit systems
- URL: http://arxiv.org/abs/2202.13141v2
- Date: Tue, 20 Dec 2022 20:05:50 GMT
- Title: Irreducible magic sets for $n$-qubit systems
- Authors: Stefan Trandafir, Petr Lison\v{e}k, Ad\'an Cabello
- Abstract summary: Magic sets of observables capture quantum state-independent advantage for systems of $nge 2$ qubits.
An open question is whether there are magic sets that cannot be reduced to the square or the pentagram.
We identify magic sets which cannot be reduced to the square or the pentagram and require $n=3,4,5$, or $6$ qubits.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Magic sets of observables are minimal structures that capture quantum
state-independent advantage for systems of $n\ge 2$ qubits and are, therefore,
fundamental tools for investigating the interface between classical and quantum
physics. A theorem by Arkhipov (arXiv:1209.3819) states that $n$-qubit magic
sets in which each observable is in exactly two subsets of compatible
observables can be reduced either to the two-qubit magic square or the
three-qubit magic pentagram [N. D. Mermin, Phys. Rev. Lett. 65, 3373 (1990)].
An open question is whether there are magic sets that cannot be reduced to the
square or the pentagram. If they exist, a second key question is whether they
require $n >3$ qubits, since, if this is the case, these magic sets would
capture minimal state independent quantum advantage that is specific for
$n$-qubit systems with specific values of $n$. Here, we answer both questions
affirmatively. We identify magic sets which cannot be reduced to the square or
the pentagram and require $n=3,4,5$, or $6$ qubits. In addition, we prove a
generalized version of Arkhipov's theorem providing an efficient algorithm for,
given a hypergraph, deciding whether or not it can accommodate a magic set, and
solve another open problem, namely, given a magic set, obtaining the tight
bound of its associated noncontextuality inequality.
Related papers
- Noise robustness and threshold of many-body quantum magic [0.5524804393257919]
We investigate how noise affects magic properties in entangled many-body quantum states.
We show that interactions facilitated by high-degree gates are fragile to noise.
We also discuss the qudit case based on the discrete Wigner formalism.
arXiv Detail & Related papers (2024-10-28T17:01:47Z) - Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
We show how to reduce the geometry of degenerate states to the non-abelian connection $A$.
We find independent invariants associated with each triple of subspaces.
Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
arXiv Detail & Related papers (2024-04-04T06:39:28Z) - Unconditional quantum MAGIC advantage in shallow circuit computation [2.8289044717329905]
We show that the magic advantage can be unconditionally established, at least in a shallow circuit with a constant depth.
We construct a specific nonlocal game inspired by the linear binary constraint system.
We also provide an efficient algorithm to aid the search for potential magic-requiring nonlocal games.
arXiv Detail & Related papers (2024-02-19T15:59:48Z) - Pseudorandom and Pseudoentangled States from Subset States [49.74460522523316]
A subset state with respect to $S$, a subset of the computational basis, is [ frac1sqrt|S|sum_iin S |irangle.
We show that for any fixed subset size $|S|=s$ such that $s = 2n/omega(mathrmpoly(n))$ and $s=omega(mathrmpoly(n))$, a random subset state is information-theoretically indistinguishable from a Haar random state even provided
arXiv Detail & Related papers (2023-12-23T15:52:46Z) - Quantum Depth in the Random Oracle Model [57.663890114335736]
We give a comprehensive characterization of the computational power of shallow quantum circuits combined with classical computation.
For some problems, the ability to perform adaptive measurements in a single shallow quantum circuit is more useful than the ability to perform many shallow quantum circuits without adaptive measurements.
arXiv Detail & Related papers (2022-10-12T17:54:02Z) - Quantum advantage through the magic pentagram problem [3.1161346038764526]
We show that the problem can be solved with certainty by a $mathbfQNC0$ circuit but not by any $mathbfNC0$ circuits.
arXiv Detail & Related papers (2022-09-30T02:29:28Z) - Exponential Separation between Quantum and Classical Ordered Binary
Decision Diagrams, Reordering Method and Hierarchies [68.93512627479197]
We study quantum Ordered Binary Decision Diagrams($OBDD$) model.
We prove lower bounds and upper bounds for OBDD with arbitrary order of input variables.
We extend hierarchy for read$k$-times Ordered Binary Decision Diagrams ($k$-OBDD$) of width.
arXiv Detail & Related papers (2022-04-22T12:37:56Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$.
It is assumed that a density matrix $rho$ can be determined from the expectation values of observables.
Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
arXiv Detail & Related papers (2021-12-14T16:29:53Z) - Straddling-gates problem in multipartite quantum systems [20.428960719376164]
We study a variant of quantum circuit complexity, the binding complexity.
We show that any $m$partite Schmidt decomposable state has binding complexity linear in $m$, which hints its multi-separable property.
arXiv Detail & Related papers (2021-10-13T16:28:12Z) - Quantum double aspects of surface code models [77.34726150561087]
We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry.
We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
arXiv Detail & Related papers (2021-06-25T17:03:38Z) - Many-body quantum magic [0.609170287691728]
We show that the maximum magic of an $n$-qubit state is essentially $n$, simultaneously for a range of "good" magic measures.
In the quest for explicit, scalable cases of highly entangled states whose magic can be understood, we connect the magic of hypergraph states with the second-order nonlinearity of their underlying Boolean functions.
We show that $n$-qubit states with nearly $n$ magic, or indeed almost all states, cannot supply nontrivial speedups over classical computers.
arXiv Detail & Related papers (2020-10-26T18:06:45Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.