-
Extremal simplicial distributions on cycle scenarios with arbitrary outcomes
Authors:
Aziz Kharoof,
Cihan Okay,
Selman Ipek
Abstract:
Cycle scenarios are a significant class of contextuality scenarios, with the Clauser-Horne-Shimony-Holt (CHSH) scenario being a notable example. While binary outcome measurements in these scenarios are well understood, the generalization to arbitrary outcomes remains less explored, except in specific cases. In this work, we employ homotopical methods in the framework of simplicial distributions to…
▽ More
Cycle scenarios are a significant class of contextuality scenarios, with the Clauser-Horne-Shimony-Holt (CHSH) scenario being a notable example. While binary outcome measurements in these scenarios are well understood, the generalization to arbitrary outcomes remains less explored, except in specific cases. In this work, we employ homotopical methods in the framework of simplicial distributions to characterize all contextual vertices of the non-signaling polytope corresponding to cycle scenarios with arbitrary outcomes. Additionally, our techniques utilize the bundle perspective on contextuality and the decomposition of measurement spaces. This enables us to extend beyond scenarios formed by gluing cycle scenarios and describe contextual extremal simplicial distributions in these generalized contexts.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Towards a refinement of the Bloch-Kato conjecture
Authors:
Sunil K. Chebolu,
Ján Mináč,
Cihan Okay,
Andrew Schultz,
Charlotte Ure
Abstract:
Rost and Voevodsky proved the Bloch-Kato conjecture relating Milnor $k$-theory and Galois cohomology. Their result implies that for a field $F$ containing a primitive $p$th root of unity, the Galois cohomology ring of $F$ with $\mathbb{F}_p$ coefficients is generated by elements of degree 1 as an $\mathbb{F}_p$-algebra. Therefore, for a given Galois extension $K/F$ and an element $α$ in…
▽ More
Rost and Voevodsky proved the Bloch-Kato conjecture relating Milnor $k$-theory and Galois cohomology. Their result implies that for a field $F$ containing a primitive $p$th root of unity, the Galois cohomology ring of $F$ with $\mathbb{F}_p$ coefficients is generated by elements of degree 1 as an $\mathbb{F}_p$-algebra. Therefore, for a given Galois extension $K/F$ and an element $α$ in $H^*(\text{Gal}(K/F), \mathbb{F}_p)$ there exits a Galois extension $L/F$ containing $K/F$ such that the inflation of $α$ in $H^*(\text{Gal}(L/F), \mathbb{F}_p)$ belongs to an $\mathbb{F}_p$-subalgebra of $H^*(\text{Gal}(L/F), \mathbb{F}_p)$ generated by $1$-dimensional classes. It is interesting to find relatively small explicit Galois extensions $L/F$ with the above property for a given $α$ in $H^*(\text{Gal}(K/F), \mathbb{F}_p)$ as above. In this paper, we provide some answers to this question for cohomology classes in degree two, thus setting the first step toward refining the Bloch-Kato conjecture. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean and $p$-rigid fields. Additionally, as a byproduct of our work, we characterize elementary abelian $2$-groups as the only finite $p$-groups whose mod-$p$ cohomology ring is generated by degree-one elements. This provides additional motivation for studying refinements of the Bloch-Kato conjecture and exploring the connections between group cohomology and Galois theory.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Twisted simplicial distributions
Authors:
Cihan Okay,
Walker H. Stern
Abstract:
We introduce a theory of twisted simplicial distributions on simplicial principal bundles, which allow us to capture Bell's non-locality, and the more general notion of quantum contextuality. We leverage the classical theory of simplicial principal bundles, as well as structures on categories of such bundles, to provide powerful computational tools for analyzing twisted distributions in terms of b…
▽ More
We introduce a theory of twisted simplicial distributions on simplicial principal bundles, which allow us to capture Bell's non-locality, and the more general notion of quantum contextuality. We leverage the classical theory of simplicial principal bundles, as well as structures on categories of such bundles, to provide powerful computational tools for analyzing twisted distributions in terms of both direct constructions in simplicial sets and techniques from homological algebra. We use these techniques to analyze our key examples: quantum distributions and operator-theoretic polytopes used in the classical simulation of quantum computation.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
The operadic theory of convexity
Authors:
Redi Haderi,
Cihan Okay,
Walker H. Stern
Abstract:
In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using these two structures, and the theory of $\scr{O}$-monoidal categories, we state and prove a Grothendieck construction for lax $\scr{O}$-monoidal functors into convex sets. We apply this construction to the categorical ch…
▽ More
In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using these two structures, and the theory of $\scr{O}$-monoidal categories, we state and prove a Grothendieck construction for lax $\scr{O}$-monoidal functors into convex sets. We apply this construction to the categorical characterization of entropy of Baez, Fritz, and Leinster, and to the study of quantum contextuality in the framework of simplicial distributions.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
On the rank of two-dimensional simplicial distributions
Authors:
Cihan Okay
Abstract:
Simplicial distributions provide a framework for studying quantum contextuality, a generalization of Bell's non-locality. Understanding extremal simplicial distributions is of fundamental importance with applications to quantum computing. We introduce a rank formula for twisted simplicial distributions defined for $2$-dimensional measurement spaces and provide a systematic approach for describing…
▽ More
Simplicial distributions provide a framework for studying quantum contextuality, a generalization of Bell's non-locality. Understanding extremal simplicial distributions is of fundamental importance with applications to quantum computing. We introduce a rank formula for twisted simplicial distributions defined for $2$-dimensional measurement spaces and provide a systematic approach for describing extremal distributions.
△ Less
Submitted 25 December, 2023;
originally announced December 2023.
-
The degenerate vertices of the $2$-qubit $Λ$-polytope and their update rules
Authors:
Selman Ipek,
Cihan Okay
Abstract:
Recently, a class of objects, known as $Λ$-polytopes, were introduced for classically simulating universal quantum computation with magic states. In $Λ$-simulation, the probabilistic update of $Λ$ vertices under Pauli measurement yields dynamics consistent with quantum mechanics. Thus, an important open problem in the study of $Λ$-polytopes is characterizing its vertices and determining their upda…
▽ More
Recently, a class of objects, known as $Λ$-polytopes, were introduced for classically simulating universal quantum computation with magic states. In $Λ$-simulation, the probabilistic update of $Λ$ vertices under Pauli measurement yields dynamics consistent with quantum mechanics. Thus, an important open problem in the study of $Λ$-polytopes is characterizing its vertices and determining their update rules. In this paper, we obtain and describe the update of all degenerate vertices of $Λ_{2}$, the $2$-qubit $Λ$ polytope. Our approach exploits the fact that $Λ_{2}$ projects to a well-understood polytope $\text{MP}$ consisting of distributions on the Mermin square scenario. More precisely, we study the ``classical" polytope $\overline{\text{MP}}$, which is $\text{MP}$ intersected by the polytope defined by a set of Clauser-Horne-Shimony-Holt (CHSH) inequalities. Owing to a duality between CHSH inequalities and vertices of $\text{MP}$ we utilize a streamlined version of the double-description method for vertex enumeration to obtain certain vertices of $\overline{\text{MP}}$.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
Homotopical characterization of strongly contextual simplicial distributions on cone spaces
Authors:
Aziz Kharoof,
Cihan Okay
Abstract:
This paper offers a novel homotopical characterization of strongly contextual simplicial distributions with binary outcomes, specifically those defined on the cone of a 1-dimensional space. In the sheaf-theoretic framework, such distributions correspond to non-signaling distributions on measurement scenarios where each context contains 2 measurements with binary outcomes. To establish our results,…
▽ More
This paper offers a novel homotopical characterization of strongly contextual simplicial distributions with binary outcomes, specifically those defined on the cone of a 1-dimensional space. In the sheaf-theoretic framework, such distributions correspond to non-signaling distributions on measurement scenarios where each context contains 2 measurements with binary outcomes. To establish our results, we employ a homotopical approach that includes collapsing measurement spaces and introduce categories associated with simplicial distributions that can detect strong contextuality.
△ Less
Submitted 23 November, 2023;
originally announced November 2023.
-
Equivariant simplicial distributions and quantum contextuality
Authors:
Cihan Okay,
Igor Sikora
Abstract:
We introduce an equivariant version of contextuality with respect to a symmetry group, which comes with natural applications to quantum theory. In the equivariant setting, we construct cohomology classes that can detect contextuality. This framework is motivated by the earlier topological approach to contextuality producing cohomology classes that serve as computational primitives in measurement-b…
▽ More
We introduce an equivariant version of contextuality with respect to a symmetry group, which comes with natural applications to quantum theory. In the equivariant setting, we construct cohomology classes that can detect contextuality. This framework is motivated by the earlier topological approach to contextuality producing cohomology classes that serve as computational primitives in measurement-based quantum computing.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
A bundle perspective on contextuality: Empirical models and simplicial distributions on bundle scenarios
Authors:
Rui Soares Barbosa,
Aziz Kharoof,
Cihan Okay
Abstract:
This paper provides a bundle perspective to contextuality by introducing new categories of contextuality scenarios based on bundles of simplicial complexes and simplicial sets. The former approach generalizes earlier work on the sheaf-theoretic perspective on contextuality, and the latter extends simplicial distributions, a more recent approach to contextuality formulated in the language of simpli…
▽ More
This paper provides a bundle perspective to contextuality by introducing new categories of contextuality scenarios based on bundles of simplicial complexes and simplicial sets. The former approach generalizes earlier work on the sheaf-theoretic perspective on contextuality, and the latter extends simplicial distributions, a more recent approach to contextuality formulated in the language of simplicial sets. After constructing our bundle categories, we also construct functors that relate them and natural isomorphisms that allow us to compare the notions of contextuality formulated in two languages. We are motivated by applications to the resource theory of contextuality, captured by the morphisms in these categories. In this paper, we develop the main formalism and leave applications to future work.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Topological methods for studying contextuality: $N$-cycle scenarios and beyond
Authors:
Aziz Kharoof,
Selman Ipek,
Cihan Okay
Abstract:
Simplicial distributions are combinatorial models describing distributions on spaces of measurements and outcomes that generalize non-signaling distributions on contextuality scenarios. This paper studies simplicial distributions on $2$-dimensional measurement spaces by introducing new topological methods. Two key ingredients are a geometric interpretation of Fourier--Motzkin elimination and a tec…
▽ More
Simplicial distributions are combinatorial models describing distributions on spaces of measurements and outcomes that generalize non-signaling distributions on contextuality scenarios. This paper studies simplicial distributions on $2$-dimensional measurement spaces by introducing new topological methods. Two key ingredients are a geometric interpretation of Fourier--Motzkin elimination and a technique based on collapsing of measurement spaces. Using the first one, we provide a new proof of Fine's theorem characterizing non-contextual distributions on $N$-cycle scenarios. Our approach goes beyond these scenarios and can describe non-contextual distributions on scenarios obtained by gluing cycle scenarios of various sizes. The second technique is used for detecting contextual vertices and deriving new Bell inequalities. Combined with these methods, we explore a monoid structure on simplicial distributions.
△ Less
Submitted 2 June, 2023;
originally announced June 2023.
-
Simulating quantum computation: how many "bits" for "it"?
Authors:
Michael Zurel,
Cihan Okay,
Robert Raussendorf
Abstract:
A recently introduced classical simulation method for universal quantum computation with magic states operates by repeated sampling from probability functions [M. Zurel et al. PRL 260404 (2020)]. This method is closely related to sampling algorithms based on Wigner functions, with the important distinction that Wigner functions can take negative values obstructing the sampling. Indeed, negativity…
▽ More
A recently introduced classical simulation method for universal quantum computation with magic states operates by repeated sampling from probability functions [M. Zurel et al. PRL 260404 (2020)]. This method is closely related to sampling algorithms based on Wigner functions, with the important distinction that Wigner functions can take negative values obstructing the sampling. Indeed, negativity in Wigner functions has been identified as a precondition for a quantum speed-up. However, in the present method of classical simulation, negativity of quasiprobability functions never arises. This model remains probabilistic for all quantum computations. In this paper, we analyze the amount of classical data that the simulation procedure must track. We find that this amount is small. Specifically, for any number $n$ of magic states, the number of bits that describe the quantum system at any given time is $2n^2+O(n)$.
△ Less
Submitted 5 January, 2024; v1 submitted 26 May, 2023;
originally announced May 2023.
-
Simplicial techniques for operator solutions of linear constraint systems
Authors:
Ho Yiu Chung,
Cihan Okay,
Igor Sikora
Abstract:
A linear constraint system is specified by linear equations over the group $\ZZ_d$ of integers modulo $d$. Their operator solutions play an important role in the study of quantum contextuality and non-local games. In this paper, we use the theory of simplicial sets to develop a framework for studying operator solutions of linear systems. Our approach refines the well-known group-theoretical approa…
▽ More
A linear constraint system is specified by linear equations over the group $\ZZ_d$ of integers modulo $d$. Their operator solutions play an important role in the study of quantum contextuality and non-local games. In this paper, we use the theory of simplicial sets to develop a framework for studying operator solutions of linear systems. Our approach refines the well-known group-theoretical approach based on solution groups by identifying these groups as algebraic invariants closely related to the fundamental group of a space. In this respect, our approach also makes a connection to the earlier homotopical approach based on cell complexes. Within our framework, we introduce a new class of linear systems that come from simplicial sets and show that any linear system can be reduced to one of that form. Then we specialize in linear systems that are associated with groups. We provide significant evidence for a conjecture stating that for odd $d$ every linear system admitting a solution in a group admits a solution in $\ZZ_d$.
△ Less
Submitted 13 May, 2023;
originally announced May 2023.
-
Simplicial distributions, convex categories and contextuality
Authors:
Aziz Kharoof,
Cihan Okay
Abstract:
The data of a physical experiment can be represented as a presheaf of probability distributions. A striking feature of quantum theory is that those probability distributions obtained in quantum mechanical experiments do not always admit a joint probability distribution, a celebrated observation due to Bell. Such distributions are called contextual. Simplicial distributions are combinatorial models…
▽ More
The data of a physical experiment can be represented as a presheaf of probability distributions. A striking feature of quantum theory is that those probability distributions obtained in quantum mechanical experiments do not always admit a joint probability distribution, a celebrated observation due to Bell. Such distributions are called contextual. Simplicial distributions are combinatorial models that extend presheaves of probability distributions by elevating sets of measurements and outcomes to spaces. Contextuality can be defined in this generalized setting. This paper introduces the notion of convex categories to study simplicial distributions from a categorical perspective. Simplicial distributions can be given the structure of a convex monoid, a convex category with a single object, when the outcome space has the structure of a group. We describe contextuality as a monoid-theoretic notion by introducing a weak version of invertibility for monoids. Our main result is that a simplicial distribution is noncontextual if and only if it is weakly invertible. Similarly, strong contextuality and contextual fraction can be characterized in terms of invertibility in monoids. Finally, we show that simplicial homotopy can be used to detect extremal simplicial distributions refining the earlier methods based on Cech cohomology and the cohomology of groups.
△ Less
Submitted 1 November, 2022;
originally announced November 2022.
-
Mermin polytopes in quantum computation and foundations
Authors:
Cihan Okay,
Ho Yiu Chung,
Selman Ipek
Abstract:
Mermin square scenario provides a simple proof for state-independent contextuality. In this paper, we study polytopes $\text{MP}_β$ obtained from the Mermin scenario, parametrized by a function $β$ on the set of contexts. Up to combinatorial isomorphism, there are two types of polytopes $\text{MP}_0$ and $\text{MP}_1$ depending on the parity of $β$. Our main result is the classification of the ver…
▽ More
Mermin square scenario provides a simple proof for state-independent contextuality. In this paper, we study polytopes $\text{MP}_β$ obtained from the Mermin scenario, parametrized by a function $β$ on the set of contexts. Up to combinatorial isomorphism, there are two types of polytopes $\text{MP}_0$ and $\text{MP}_1$ depending on the parity of $β$. Our main result is the classification of the vertices of these two polytopes. In addition, we describe the graph associated with the polytopes. All the vertices of $\text{MP}_0$ turn out to be deterministic. This result provides a new topological proof of a celebrated result of Fine characterizing noncontextual distributions on the CHSH scenario. $\text{MP}_1$ can be seen as a nonlocal toy version of $Λ$-polytopes, a class of polytopes introduced for the simulation of universal quantum computation. In the $2$-qubit case, we provide a decomposition of the $Λ$-polytope using $\text{MP}_1$, whose vertices are classified, and the nonsignaling polytope of the $(2,3,2)$ Bell scenario, whose vertices are well-known.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
No state-independent contextuality can be extracted from contextual measurement-based quantum computation with qudits of odd prime dimension
Authors:
Markus Frembs,
Cihan Okay,
Ho Yiu Chung
Abstract:
Linear constraint systems (LCS) have proven to be a surprisingly prolific tool in the study of non-classical correlations and various related issues in quantum foundations. Many results are known for the Boolean case, yet the generalisation to systems of odd dimension is largely open. In particular, it is not known whether there exist LCS in odd dimension, which admit finite-dimensional quantum, b…
▽ More
Linear constraint systems (LCS) have proven to be a surprisingly prolific tool in the study of non-classical correlations and various related issues in quantum foundations. Many results are known for the Boolean case, yet the generalisation to systems of odd dimension is largely open. In particular, it is not known whether there exist LCS in odd dimension, which admit finite-dimensional quantum, but no classical solutions.
Here, we approach this question from a computational perspective. We observe that every deterministic, non-adaptive measurement-based quantum computation (MBQC) with linear side-processing defines a LCS. Moreover, the measurement operators of such a MBQC almost define a quantum solution to the respective LCS: the only difference is that measurement operators generally only commute with respect to the resource state of the MBQC. This raises the question whether this state-dependence can be lifted in certain cases, thus providing examples of quantum solutions to LCS in odd dimension. Our main result asserts that no such examples arise within a large extension of the Pauli group for p odd prime, which naturally arises from and is universal for computation in deterministic, non-adaptive MBQC with linear side-processing.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Simplicial quantum contextuality
Authors:
Cihan Okay,
Aziz Kharoof,
Selman Ipek
Abstract:
We introduce a new framework for contextuality based on simplicial sets, combinatorial models of topological spaces that play a prominent role in modern homotopy theory. Our approach extends measurement scenarios to consist of spaces (rather than sets) of measurements and outcomes, and thereby generalizes nonsignaling distributions to simplicial distributions, which are distributions on spaces mod…
▽ More
We introduce a new framework for contextuality based on simplicial sets, combinatorial models of topological spaces that play a prominent role in modern homotopy theory. Our approach extends measurement scenarios to consist of spaces (rather than sets) of measurements and outcomes, and thereby generalizes nonsignaling distributions to simplicial distributions, which are distributions on spaces modeled by simplicial sets. Using this formalism we present a topologically inspired new proof of Fine's theorem for characterizing noncontextuality in Bell scenarios. Strong contextuality is generalized suitably for simplicial distributions, allowing us to define cohomological witnesses that extend the earlier topological constructions restricted to algebraic relations among quantum observables to the level of probability distributions. Foundational theorems of quantum theory such as the Gleason's theorem and Kochen-Specker theorem can be expressed naturally within this new language.
△ Less
Submitted 16 May, 2023; v1 submitted 13 April, 2022;
originally announced April 2022.
-
Hidden variable model for quantum computation with magic states on qudits of any dimension
Authors:
Michael Zurel,
Cihan Okay,
Robert Raussendorf,
Arne Heimendahl
Abstract:
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, and a hidden variable model can be defined for quantum computation with magic states on qudits with any Hilbert space dimension. This model leads to a classical simulation algorithm for universal quantum computation.
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, and a hidden variable model can be defined for quantum computation with magic states on qudits with any Hilbert space dimension. This model leads to a classical simulation algorithm for universal quantum computation.
△ Less
Submitted 17 April, 2024; v1 submitted 23 October, 2021;
originally announced October 2021.
-
The role of cohomology in quantum computation with magic states
Authors:
Robert Raussendorf,
Cihan Okay,
Michael Zurel,
Polina Feldmann
Abstract:
A web of cohomological facts relates quantum error correction, measurement-based quantum computation, symmetry protected topological order and contextuality. Here we extend this web to quantum computation with magic states. In this computational scheme, the negativity of certain quasiprobability functions is an indicator for quantumness. However, when constructing quasiprobability functions to whi…
▽ More
A web of cohomological facts relates quantum error correction, measurement-based quantum computation, symmetry protected topological order and contextuality. Here we extend this web to quantum computation with magic states. In this computational scheme, the negativity of certain quasiprobability functions is an indicator for quantumness. However, when constructing quasiprobability functions to which this statement applies, a marked difference arises between the cases of even and odd local Hilbert space dimension. At a technical level, establishing negativity as an indicator of quantumness in quantum computation with magic states relies on two properties of the Wigner function: their covariance with respect to the Clifford group and positive representation of Pauli measurements. In odd dimension, Gross' Wigner function -- an adaptation of the original Wigner function to odd-finite-dimensional Hilbert spaces -- possesses these properties. In even dimension, Gross' Wigner function doesn't exist. Here we discuss the broader class of Wigner functions that, like Gross', are obtained from operator bases. We find that such Clifford-covariant Wigner functions do not exist in any even dimension, and furthermore, Pauli measurements cannot be positively represented by them in any even dimension whenever the number of qudits is n>=2. We establish that the obstructions to the existence of such Wigner functions are cohomological.
△ Less
Submitted 8 April, 2023; v1 submitted 22 October, 2021;
originally announced October 2021.
-
On the extremal points of the $Λ$-polytopes and classical simulation of quantum computation with magic states
Authors:
Cihan Okay,
Michael Zurel,
Robert Raussendorf
Abstract:
We investigate the $Λ$-polytopes, a convex-linear structure recently defined and applied to the classical simulation of quantum computation with magic states by sampling. There is one such polytope, $Λ_n$, for every number $n$ of qubits. We establish two properties of the family $\{Λ_n, n\in \mathbb{N}\}$, namely (i) Any extremal point (vertex) $A_α\in Λ_m$ can be used to construct vertices in…
▽ More
We investigate the $Λ$-polytopes, a convex-linear structure recently defined and applied to the classical simulation of quantum computation with magic states by sampling. There is one such polytope, $Λ_n$, for every number $n$ of qubits. We establish two properties of the family $\{Λ_n, n\in \mathbb{N}\}$, namely (i) Any extremal point (vertex) $A_α\in Λ_m$ can be used to construct vertices in $Λ_n$, for all $n>m$. (ii) For vertices obtained through this map**, the classical simulation of quantum computation with magic states can be efficiently reduced to the classical simulation based on the preimage $A_α$. In addition, we describe a new class of vertices in $Λ_2$ which is outside the known classification. While the hardness of classical simulation remains an open problem for most extremal points of $Λ_n$, the above results extend efficient classical simulation of quantum computations beyond the presently known range.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Commutative d-Torsion K-Theory and Its Applications
Authors:
Cihan Okay
Abstract:
Commutative $d$-torsion $K$-theory is a variant of topological $K$-theory constructed from commuting unitary matrices of order dividing $d$. Such matrices appear as solutions of linear constraint systems that play a role in the study of quantum contextuality and in applications to operator-theoretic problems motivated by quantum information theory. Using methods from stable homotopy theory we modi…
▽ More
Commutative $d$-torsion $K$-theory is a variant of topological $K$-theory constructed from commuting unitary matrices of order dividing $d$. Such matrices appear as solutions of linear constraint systems that play a role in the study of quantum contextuality and in applications to operator-theoretic problems motivated by quantum information theory. Using methods from stable homotopy theory we modify commutative $d$-torsion $K$-theory into a cohomology theory which can be used for studying operator solutions of linear constraint systems. This provides an interesting connection between stable homotopy theory and quantum information theory.
△ Less
Submitted 10 October, 2021; v1 submitted 12 June, 2020;
originally announced June 2020.
-
A hidden variable model for universal quantum computation with magic states on qubits
Authors:
Michael Zurel,
Cihan Okay,
Robert Raussendorf
Abstract:
We show that every quantum computation can be described by Bayesian update of a probability distribution on a finite state space. When applied to the model of quantum computation with magic states, the size of this state space only depends on the number of magic states used in the quantum computation, and not on the length of the gate and measurement sequence.
We show that every quantum computation can be described by Bayesian update of a probability distribution on a finite state space. When applied to the model of quantum computation with magic states, the size of this state space only depends on the number of magic states used in the quantum computation, and not on the length of the gate and measurement sequence.
△ Less
Submitted 30 January, 2021; v1 submitted 4 April, 2020;
originally announced April 2020.
-
Commutative simplicial bundles
Authors:
Cihan Okay,
Pál Zsámboki
Abstract:
In this paper we introduce a simplicial analogue of principal bundles with commutativity structure and their classifying spaces defined for topological groups. Our construction $\overline W(τ,K)$ is a variation of the $\overline W$-construction for simplicial groups. We show that the geometric realization of our $\overline W(τ,K)$ is homotopy equivalent to the topological classifying space…
▽ More
In this paper we introduce a simplicial analogue of principal bundles with commutativity structure and their classifying spaces defined for topological groups. Our construction $\overline W(τ,K)$ is a variation of the $\overline W$-construction for simplicial groups. We show that the geometric realization of our $\overline W(τ,K)$ is homotopy equivalent to the topological classifying space $B(τ,|K|)$ and we study what objects does the simplicial set $\overline W(τ,K)$ classify.
△ Less
Submitted 2 August, 2021; v1 submitted 12 January, 2020;
originally announced January 2020.
-
Quasi-exact quantum computation
Authors:
Dong-Sheng Wang,
Guanyu Zhu,
Cihan Okay,
Raymond Laflamme
Abstract:
We study quasi-exact quantum error correcting codes and quantum computation with them. A quasi-exact code is an approximate code such that it contains a finite number of scaling parameters, the tuning of which can flow it to corresponding exact codes, serving as its fixed points. The computation with a quasi-exact code cannot realize any logical gate to arbitrary accuracy. To overcome this, the no…
▽ More
We study quasi-exact quantum error correcting codes and quantum computation with them. A quasi-exact code is an approximate code such that it contains a finite number of scaling parameters, the tuning of which can flow it to corresponding exact codes, serving as its fixed points. The computation with a quasi-exact code cannot realize any logical gate to arbitrary accuracy. To overcome this, the notion of quasi-exact universality is proposed, which makes quasi-exact quantum computation a feasible model especially for executing moderate-size algorithms. We find that the incompatibility between universality and transversality of the set of logical gates does not persist in the quasi-exact scenario. A class of covariant quasi-exact codes is defined which proves to support transversal and quasi-exact universal set of logical gates for $SU(d)$. This work opens the possibility of quantum computation with quasi-exact universality, transversality, and fault tolerance.
△ Less
Submitted 23 July, 2020; v1 submitted 30 September, 2019;
originally announced October 2019.
-
Classifying space for quantum contextuality
Authors:
Cihan Okay,
Daniel Sheinbaum
Abstract:
We construct a topological space to study contextuality in quantum mechanics. The resulting space is a classifying space in the sense of algebraic topology. Cohomological invariants of our space correspond to physical quantities relevant to the study of contextuality. Within this framework the Wigner function of a quantum state can be interpreted as a class in the twisted $K$-theory of the classif…
▽ More
We construct a topological space to study contextuality in quantum mechanics. The resulting space is a classifying space in the sense of algebraic topology. Cohomological invariants of our space correspond to physical quantities relevant to the study of contextuality. Within this framework the Wigner function of a quantum state can be interpreted as a class in the twisted $K$-theory of the classifying space.
△ Less
Submitted 1 March, 2021; v1 submitted 19 May, 2019;
originally announced May 2019.
-
Phase space simulation method for quantum computation with magic states on qubits
Authors:
Robert Raussendorf,
Juani Bermejo-Vega,
Emily Tyhurst,
Cihan Okay,
Michael Zurel
Abstract:
We propose a method for classical simulation of finite-dimensional quantum systems, based on sampling from a quasiprobability distribution, i.e., a generalized Wigner function. Our construction applies to all finite dimensions, with the most interesting case being that of qubits. For multiple qubits, we find that quantum computation by Clifford gates and Pauli measurements on magic states can be e…
▽ More
We propose a method for classical simulation of finite-dimensional quantum systems, based on sampling from a quasiprobability distribution, i.e., a generalized Wigner function. Our construction applies to all finite dimensions, with the most interesting case being that of qubits. For multiple qubits, we find that quantum computation by Clifford gates and Pauli measurements on magic states can be efficiently classically simulated if the quasiprobability distribution of the magic states is non-negative. This provides the so far missing qubit counterpart of the corresponding result [V. Veitch et al., New J. Phys. 14, 113011 (2012)] applying only to odd dimension. Our approach is more general than previous ones based on mixtures of stabilizer states. Namely, all mixtures of stabilizer states can be efficiently simulated, but for any number of qubits there also exist efficiently simulable states outside the stabilizer polytope. Further, our simulation method extends to negative quasiprobability distributions, where it provides amplitude estimation. The simulation cost is then proportional to a robustness measure squared. For all quantum states, this robustness is smaller than or equal to robustness of magic.
△ Less
Submitted 8 March, 2020; v1 submitted 13 May, 2019;
originally announced May 2019.
-
Homotopical approach to quantum contextuality
Authors:
Cihan Okay,
Robert Raussendorf
Abstract:
We consider the phenomenon of quantum mechanical contextuality, and specifically parity-based proofs thereof. Mermin's square and star are representative examples. Part of the information invoked in such contextuality proofs is the commutativity structure among the pertaining observables. We investigate to which extent this commutativity structure alone determines the viability of a parity-based c…
▽ More
We consider the phenomenon of quantum mechanical contextuality, and specifically parity-based proofs thereof. Mermin's square and star are representative examples. Part of the information invoked in such contextuality proofs is the commutativity structure among the pertaining observables. We investigate to which extent this commutativity structure alone determines the viability of a parity-based contextuality proof. We establish a topological criterion for this, generalizing an earlier result by Arkhipov.
△ Less
Submitted 18 December, 2019; v1 submitted 9 May, 2019;
originally announced May 2019.
-
On the mod-$\ell$ homology of the classifying space for commutativity
Authors:
Cihan Okay,
Ben Williams
Abstract:
We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod-$\ell$ homology isomorphism $BG \to BH$ for such groups induces a mod-$\ell$ homology isomorphism…
▽ More
We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod-$\ell$ homology isomorphism $BG \to BH$ for such groups induces a mod-$\ell$ homology isomorphism $B(\mathbb{Z}, G) \to B(\mathbb{Z}, H)$. In order to prove this result, we study a presentation of $B(\mathbb{Z}, G)$ as a homotopy colimit over a topological poset of closed abelian subgroups, expanding on an idea of Adem and Gómez. We also study the relationship between the mod-$\ell$ type of a Lie group $G(\mathbb{C})$ and the locally finite group $G(\bar{\mathbb{F}}_p)$ where $G$ is a Chevalley group. We see that the naïve analogue for $B(\mathbb{Z}, G)$ of the celebrated Friedlander--Mislin result cannot hold, but we show that it does hold after taking the homotopy quotient of a $G$ action on $B(\mathbb{Z}, G)$.
△ Less
Submitted 1 March, 2021; v1 submitted 30 November, 2018;
originally announced December 2018.
-
The cohomological and the resource-theoretic perspective on quantum contextuality: common ground through the contextual fraction
Authors:
Cihan Okay,
Emily Tyhurst,
Robert Raussendorf
Abstract:
We unify the resource-theoretic and the cohomological perspective on quantum contextuality. At the center of this unification stands the notion of the contextual fraction. For both symmetry and parity based contextuality proofs, we establish cohomological invariants which are witnesses of state-dependent contextuality. We provide two results invoking the contextual fraction, namely (i) refinements…
▽ More
We unify the resource-theoretic and the cohomological perspective on quantum contextuality. At the center of this unification stands the notion of the contextual fraction. For both symmetry and parity based contextuality proofs, we establish cohomological invariants which are witnesses of state-dependent contextuality. We provide two results invoking the contextual fraction, namely (i) refinements of logical contextuality inequalities, and (ii) upper bounds on the classical cost of Boolean function evaluation, given the contextual fraction of the corresponding measurement-based quantum computation.
△ Less
Submitted 12 June, 2018;
originally announced June 2018.
-
A computationally universal phase of quantum matter
Authors:
Robert Raussendorf,
Cihan Okay,
Dong-Sheng Wang,
David T. Stephen,
Hendrik Poulsen Nautrup
Abstract:
We provide the first example of a symmetry protected quantum phase that has universal computational power. Throughout this phase, which lives in spatial dimension two, the ground state is a universal resource for measurement based quantum computation.
We provide the first example of a symmetry protected quantum phase that has universal computational power. Throughout this phase, which lives in spatial dimension two, the ground state is a universal resource for measurement based quantum computation.
△ Less
Submitted 4 March, 2019; v1 submitted 28 February, 2018;
originally announced March 2018.
-
Dimension functions for spherical fibrations
Authors:
Cihan Okay,
Ergun Yalcin
Abstract:
Given a spherical fibration $ξ$ over the classifying space $BG$ of a finite group we define a dimension function for the $m-$fold fiber join of $ξ$ where $m$ is some large positive integer. We show that the dimension functions satisfy the Borel-Smith conditions when $m$ is large enough. As an application we prove that there exists no spherical fibration over the classifying space of…
▽ More
Given a spherical fibration $ξ$ over the classifying space $BG$ of a finite group we define a dimension function for the $m-$fold fiber join of $ξ$ where $m$ is some large positive integer. We show that the dimension functions satisfy the Borel-Smith conditions when $m$ is large enough. As an application we prove that there exists no spherical fibration over the classifying space of $\text{Qd}(p)= (\mathbb{Z}/p)^2\rtimes\text{SL}_2(\mathbb{Z}/p)$ with $p-$effective Euler class, generalizing the result of Özgün Ünlü about group actions on finite complexes homotopy equivalent to a sphere. We have been informed that this result will also appear in a future paper as a corollary of a previously announced program on homotopy group actions due to Jesper Grodal.
△ Less
Submitted 29 June, 2018; v1 submitted 19 October, 2017;
originally announced October 2017.
-
Topological proofs of contextuality in quantum mechanics
Authors:
Cihan Okay,
Sam Roberts,
Stephen D. Bartlett,
Robert Raussendorf
Abstract:
We provide a cohomological framework for contextuality of quantum mechanics that is suited to describing contextuality as a resource in measurement-based quantum computation. This framework applies to the parity proofs first discussed by Mermin, as well as a different type of contextuality proofs based on symmetry transformations. The topological arguments presented can be used in the state-depend…
▽ More
We provide a cohomological framework for contextuality of quantum mechanics that is suited to describing contextuality as a resource in measurement-based quantum computation. This framework applies to the parity proofs first discussed by Mermin, as well as a different type of contextuality proofs based on symmetry transformations. The topological arguments presented can be used in the state-dependent and the state-independent case.
△ Less
Submitted 16 October, 2017; v1 submitted 7 January, 2017;
originally announced January 2017.
-
Contextuality as a resource for models of quantum computation on qubits
Authors:
Juan Bermejo-Vega,
Nicolas Delfosse,
Dan E. Browne,
Cihan Okay,
Robert Raussendorf
Abstract:
A central question in quantum computation is to identify the resources that are responsible for quantum speed-up. Quantum contextuality has been recently shown to be a resource for quantum computation with magic states for odd-prime dimensional qudits and two-dimensional systems with real wavefunctions. The phenomenon of state-independent contextuality poses a priori an obstruction to characterizi…
▽ More
A central question in quantum computation is to identify the resources that are responsible for quantum speed-up. Quantum contextuality has been recently shown to be a resource for quantum computation with magic states for odd-prime dimensional qudits and two-dimensional systems with real wavefunctions. The phenomenon of state-independent contextuality poses a priori an obstruction to characterizing the case of regular qubits, the fundamental building block of quantum computation. Here, we establish contextuality of magic states as a necessary resource for a large class of quantum computation schemes on qubits. We illustrate our result with a concrete scheme related to measurement-based quantum computation.
△ Less
Submitted 25 September, 2017; v1 submitted 26 October, 2016;
originally announced October 2016.
-
Equivalence between contextuality and negativity of the Wigner function for qudits
Authors:
Nicolas Delfosse,
Cihan Okay,
Juan Bermejo-Vega,
Dan E. Browne,
Robert Raussendorf
Abstract:
Contextuality and negativity of the Wigner function are two notions of non-classicality for quantum systems. Howard, Wallman, Veitch and Emerson proved recently that these two notions coincide for qudits in odd prime dimension. This equivalence is particularly important since it promotes contextuality as a ressource that magic states must possess in order to allow for a quantum speed-up. We propos…
▽ More
Contextuality and negativity of the Wigner function are two notions of non-classicality for quantum systems. Howard, Wallman, Veitch and Emerson proved recently that these two notions coincide for qudits in odd prime dimension. This equivalence is particularly important since it promotes contextuality as a ressource that magic states must possess in order to allow for a quantum speed-up. We propose a simple proof of the equivalence between contextuality and negativity of the Wigner function based on character theory. This simplified approach allows us to generalize this equivalence to multiple qudits and to any qudit system of odd local dimension.
△ Less
Submitted 22 October, 2016;
originally announced October 2016.
-
Spherical posets from commuting elements
Authors:
Cihan Okay
Abstract:
In this paper we study the homotopy type of the partially ordered set of left cosets of abelian subgroups in an extraspecial $p$-group. We prove that the universal cover of its nerve is homotopy equivalent to a wedge of $r$-spheres where $2r \geq 4$ is the rank of its Frattini quotient. This determines the homotopy type of the universal cover of the classifying space of transitionally commutative…
▽ More
In this paper we study the homotopy type of the partially ordered set of left cosets of abelian subgroups in an extraspecial $p$-group. We prove that the universal cover of its nerve is homotopy equivalent to a wedge of $r$-spheres where $2r \geq 4$ is the rank of its Frattini quotient. This determines the homotopy type of the universal cover of the classifying space of transitionally commutative bundles.
△ Less
Submitted 30 March, 2018; v1 submitted 4 August, 2016;
originally announced August 2016.
-
Contextuality and Wigner function negativity in qubit quantum computation
Authors:
Robert Raussendorf,
Dan E. Browne,
Nicolas Delfosse,
Cihan Okay,
Juan Bermejo-Vega
Abstract:
We describe a scheme of quantum computation with magic states on qubits for which contextuality is a necessary resource possessed by the magic states. More generally, we establish contextuality as a necessary resource for all schemes of quantum computation with magic states on qubits that satisfy three simple postulates. Furthermore, we identify stringent consistency conditions on such computation…
▽ More
We describe a scheme of quantum computation with magic states on qubits for which contextuality is a necessary resource possessed by the magic states. More generally, we establish contextuality as a necessary resource for all schemes of quantum computation with magic states on qubits that satisfy three simple postulates. Furthermore, we identify stringent consistency conditions on such computational schemes, revealing the general structure by which negativity of Wigner functions, hardness of classical simulation of the computation, and contextuality are connected.
△ Less
Submitted 25 June, 2017; v1 submitted 26 November, 2015;
originally announced November 2015.
-
Colimits of abelian groups
Authors:
Cihan Okay
Abstract:
In this paper we study the colimit N_2(G) of abelian subgroups of a discrete group G. This group is the fundamental group of a subspace B(2,G) of the classifying space BG. We describe N_2(G) for certain groups, and apply our results to study the homotopy type of the space B(2,G). We give a list of classes of groups for which B(2,G) is not an Eilenberg--Maclane space of type K(π,1).
In this paper we study the colimit N_2(G) of abelian subgroups of a discrete group G. This group is the fundamental group of a subspace B(2,G) of the classifying space BG. We describe N_2(G) for certain groups, and apply our results to study the homotopy type of the space B(2,G). We give a list of classes of groups for which B(2,G) is not an Eilenberg--Maclane space of type K(π,1).
△ Less
Submitted 6 August, 2015; v1 submitted 14 April, 2014;
originally announced April 2014.
-
Homotopy colimits of classifying spaces of abelian subgroups of a finite group
Authors:
Cihan Okay
Abstract:
The classifying space BG of a topological group $G$ can be filtered by a sequence of subspaces $B(q,G)$, using the descending central series of free groups. If $G$ is finite, describing them as homotopy colimits is convenient when applying homotopy theoretic methods. In this paper we introduce natural subspaces $B(q,G)_p$ of $B(q,G)$ defined for a fixed prime $p$. We show that $B(q,G)$ is stably h…
▽ More
The classifying space BG of a topological group $G$ can be filtered by a sequence of subspaces $B(q,G)$, using the descending central series of free groups. If $G$ is finite, describing them as homotopy colimits is convenient when applying homotopy theoretic methods. In this paper we introduce natural subspaces $B(q,G)_p$ of $B(q,G)$ defined for a fixed prime $p$. We show that $B(q,G)$ is stably homotopy equivalent to a wedge of $B(q,G)_p$ as $p$ runs over the primes dividing the order of $G$. Colimits of abelian groups play an important role in understanding the homotopy type of these spaces. Extraspecial $2$-groups are key examples, for which these colimits turn out to be finite. We prove that for extraspecial 2-groups, $B(2,G)$ does not have the homotopy type of a $K(π,1)$ space. For a finite group $G$, we compute the complex K-theory of $B(2,G)$ modulo torsion.
△ Less
Submitted 14 December, 2014; v1 submitted 10 July, 2013;
originally announced July 2013.