35 citations · 57 across the 7 of their papers we have counts for
7 papers
Efficient classical simulation of quantum computation beyond Wigner positivity
Michael Zurel, Arne Heimendahl
We present the generalization of the CNC formalism, based on closed and noncontextual sets of Pauli observables, to the setting of odd-prime-dimensional qudits. By introducing new…
Wigner's Theorem for stabilizer states and quantum designs
Valentin Obst, Arne Heimendahl, Tanmay Singal +1
We describe the symmetry group of the stabilizer polytope for any number of systems and any prime local dimension . In the qubit case, the symmetry group coincides with the…
A semidefinite program for least distortion embeddings of flat tori into Hilbert spaces
Arne Heimendahl, Moritz Lücke, Frank Vallentin +1
We derive and analyze an infinite-dimensional semidefinite program which computes least distortion embeddings of flat tori , where is an -dimensional lattice…
Hidden variable model for quantum computation with magic states on qudits of any dimension
Michael Zurel, Cihan Okay, Robert Raussendorf +1
It was recently shown that a hidden variable model can be constructed for universal quantum computation with magic states on qubits. Here we show that this result can be extended,…
Critical even unimodular lattices in the Gaussian core model
Arne Heimendahl, Aurelio Marafioti, Antonia Thiemeyer +2
We consider even unimodular lattices which are critical for potential energy with respect to Gaussian potential functions in the manifold of lattices having point density 1. All ev…
The axiomatic and the operational approaches to resource theories of magic do not coincide
Arne Heimendahl, Markus Heinrich, David Gross
Stabiliser operations occupy a prominent role in fault-tolerant quantum computing. They are defined operationally: by the use of Clifford gates, Pauli measurements and classical co…
Stabilizer extent is not multiplicative
Arne Heimendahl, Felipe Montealegre-Mora, Frank Vallentin +1
The Gottesman-Knill theorem states that a Clifford circuit acting on stabilizer states can be simulated efficiently on a classical computer. Recently, this result has been generali…