Related papers: Kochen-Specker Theorem: Two Geometric Proofs

This note is purely expository. The statement of the Gauss theorem on the constructibility of regular polygons by means of compass and ruler is simple and well-known. However, its proofs given in most textbooks rely upon much unmotivated…

We prove an optimal version of Wigner's unitary-antiunitary theorem. The main tool in our proof is Gleason's theorem.

We give two simple Kochen-Specker arguments for complementary between the position and momentum components of spinless particles, arguments that are identical in structure to those given by Peres and Mermin for spin-1/2 particles.

It is shown here that a strengthening of Wallach's Unentangled Gleason Theorem can be obtained by applying results of the present authors on generalised Gleason theorems for quantum multi-measures arising from investigations of quantum…

An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…

Kent's conclusion that ``non-contextual hidden variable theories cannot be excluded by theoretical arguments of the Kochen-Specker type once the imprecision in real world experiments is taken into account'' [Phys. Rev. Lett. 83, 3755…

We extend two celebrated theorems on closed geodesics of Riemannian 2-spheres to the larger class of reversible Finsler 2-spheres: Lusternik-Schnirelmann's theorem asserting the existence of three simple closed geodesics, and…

In this paper, we present the Baumkuchen Theorem related to the combination of divided Baumkuchen pieces. It can be proved using the basic properties of elementary geometry. We also apply some lemmas to prove the Pizza Theorem.

We show in section 1 that the Ax-Kochen isomorphism theorem requires the continuum hypothesis. Most of the applications of this theorem are insensitive to set theoretic considerations. (A probable exception is the work of Moloney.) In…

We prove a Berger-type theorem which asserts that if the orthogonal subgroup generated by the torsion tensor (pulled back to a point by parallel transport) of a metric connection with skew-symmetric torsion is not transitive on the sphere,…

We prove the Lukacs characterization of the Wishart distribution on non-octonion symmetric cones of rank greater than 2. We weaken the smoothness assumptions in the version of the Lukacs theorem of [Bobecka-Weso{\l}owski, Studia Math. 152…

We use Grothendieck theorem to prove a structure theorem for multicorrelation sequences of length two, associated with two (not necessarily commuting) measure preserving actions on a probability space. We use this to deduce a multiple…

We prove that the propositional translations of the Kneser-Lov\'asz theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs. We present a new counting-based combinatorial proof of the Kneser-Lov\'asz…

The set of 60 real rays in four dimensions derived from the vertices of a 600-cell is shown to possess numerous subsets of rays and bases that provide basis-critical parity proofs of the Bell-Kochen-Specker (BKS) theorem (a basis-critical…

We prove De Giorgi-Nash-Moser Theory using a geometric approach.

Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer…

The leading idea of the paper is to treat the theorem of Wigner with methods inspired by geometry. The exercise mentionned in the title has two functions: On the one hand it can serve as a pedagogical text in order to make the reader…

Within the framework of quantum contextuality, we discuss the ideas of extracontextuality and extravalence, that allow one to relate Kochen-Specker's and Gleason's theorems. We emphasize that whereas Kochen-Specker's is essentially a no-go…

We present here a simple and direct proof of the classic geometric version of Hahn-Banach Theorem from its analitic version, in the real case. The reciprocal implication, and the direct proofs of both versions, are already well kown, but…

Gleason-type theorems derive the density operator and the Born rule formalism of quantum theory from the measurement postulate, by considering additive functions which assign probabilities to measurement outcomes. Additivity is also the…