相关论文: An obstruction based approach to the Kochen-Specke…

We develop square zero obstruction theory for modules over $\mathbb{E}_1$-algebras in an arbitrary stable (presentably) monoidal $\infty$-category. We explicitly describe the obstruction element as the homotopy class of a canonically…

In 1960, the mathematician Ernst Specker described a simple example of nonclassical correlations which he dramatized using a parable about a seer who sets an impossible prediction task to his daughter's suitors. We revisit this example…

Algorithms for finding arbitrary sets of Kochen-Specker (KS) qunits (n-level systems) as well as all the remaining vectors in a space of an arbitrary dimension are presented. The algorithms are based on linear MMP diagrams which generate…

The Kochen-Specker (KS) theorem is a corner-stone result in the foundations of quantum mechanics describing the fundamental difference between quantum theory and classical non-contextual theories. Recently specific substructures termed…

Let C be the complex field and K=C((x,y)) or K=C((x))(y). Let G be a connected linear algebraic group over K. Under the assumption that the K-variety G is K-rational, i.e. that the function field is purely transcendant, it was proved that a…

We introduce the theory of div point sets, which aims to provide a framework to study the combinatoric nature of any set of points in general position on an Euclidean plane. We then show that proving the unsatisfiability of some first-order…

This paper gives a uniform, self-contained and direct approach to a variety of obstruction-theoretic problems on manifolds of dimension 7 and 6. We give necessary and sufficient cohomological criteria for the existence of various…

We describe an explicitly non-contextual statistical model of hidden variables for the qutrit, which fully reproduces the predictions of quantum mechanics and, thus, bypasses the constraints imposed by the Kochen-Specker theorem and its…

The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…

In this note, we prove an obstruction theorem for the existence of A infinite-structures over a commutative ring R on an algebra A associative up to homotopy, in terms of the Hochschild cohomology of the associative algebra H(A). The hidden…

Kochen-Specker (KS) vector systems are sets of vectors in R^3 with the property that it is impossible to assign 0s and 1s to the vectors in such a way that no two orthogonal vectors are assigned 0 and no three mutually orthogonal vectors…

An unobstructedness theorem is proved for deformations of compact holomorphic Poisson manifolds and applied to a class of examples. These include certain rational surfaces and Hilbert schemes of points on Poisson surfaces. We study in…

Efforts to construct deeper, realistic, level of physical description, in which individual systems have, like in classical physics, preexisting properties revealed by measurements are known as hidden-variable programs. Demonstrations that a…

We determine the structure of the weak*-closed $G$-invariant ideals in the Fourier-Stieltjes algebra $B(G)$ of certain groups $G$ by means of a $K$-theoretical obstruction. The groups to which this applies are groups whose only irreducible…

Since the enlightening proofs of quantum contextuality first established by Kochen and Specker, and also by Bell, various simplified proofs have been constructed to exclude the non-contextual hidden variable theory of our nature at the…

We present a simple experimental scheme which can be used to demonstrate an all-or-nothing type contradiction between non-contextual hidden variables and quantum mechanics. The scheme, which is inspired by recent ideas by Cabello and…

The definition of a quantum system requires a Hilbert space, a way to define the dynamics, and an algebra of observables. The structure of the observable algebra is related to a tensor product decomposition of the Hilbert space and…

\We consider an inverse scattering problem for Schr\"odinger operators with energy dependent potentials. The inverse problem is formulated as a Riemann-Hilbert problem on a Riemann surface. A vanishing lemma is proved for two distinct…

For a curve over a global field we consider for which integers d the d-primary part of the Brauer group can obstruct the existence of rational points. We give examples showing it is possible that there is a d-primary obstruction for…

For a quasi-projective smooth geometrically integral variety over a number field $k$, we prove that the iterated descent obstruction is equivalent to the descent obstruction. This generalizes a result of Skorobogatov, and this answers an…