Related papers: A geometric proof of the Kochen-Specker no-go theo…
For linear actions of real reductive Lie groups we prove the Kempf-Ness Theorem about closed orbits and the Kirwan-Ness Stratification Theorem of the null cone. Since our completely self-contained proof focuses strongly on geometric and…
In this note, we provide a new proof that a $D$-connected graph $G$ on $n$ vertices has a general position orthogonal representation in $\RR^{n-D}$. Our argument, while based on many of the concepts from the original proof due to Lov\'asz,…
Extended Wigner's friend no-go theorems provide a modern lens for investigating the measurement problem, by making precise the challenges that arise when one attempts to model agents as dynamical quantum systems. Most such no-go theorems…
Quantum contextuality supports quantum computation and communication. One of its main vehicles is hypergraphs. The most elaborated are the Kochen-Specker ones, but there is also another class of contextual sets that are not of this kind.…
The first part of this paper develops a geometric setting for differential-difference equations that resolves an open question about the extent to which continuous symmetries can depend on discrete independent variables. For general…
We generalize the Abstract Interpolation Lemma proved by the authors in [2]. Using this extension, we show in a more general context, the persistence property for the generalized Korteweg-de Vries equation, see (1.2), in the weighted…
A recent claim by Meyer, Kent and Clifton (MKC), that their models ``nullify'' the Kochen-Specker theorem, has attracted much comment. In this paper we present a new counter-argument, based on the fact that a classical measurement reveals,…
In this oaper, we prove some fixed point theorems in metric vector spaces, in which the continuity is not required for the considered mappings to satisfy. We provide some concrete examples to demonstrate these theorems. We also give some…
A central principle of consistent histories quantum theory, the requirement that quantum descriptions be based upon a single framework (or family), is employed to show that there is no conflict between consistent histories and a…
A Kochen-Specker contradiction is produced with 36 vectors in a real 8-dimensional Hilbert space. These vectors can be combined into 30 distinct projection operators (14 of rank 2, and 16 of rank 1). A state-specific variant of this…
There are strong restrictions on the possible representations and in general on the matter content of gauge theories formulated on noncommutative Moyal spaces, termed as noncommutative gauge theory no-go theorem. According to the no-go…
In a recent paper, Hod has proven no-go theorem for asymptotically flat static regular boson stars. In the present work, we extend discussions to the gravity with a negative cosmological constant. We consider a scalar field vanishing at…
We give an alternative proof of Madsen-Weiss' generalized Mumford conjecture. Our proof is based on ideas similar to Madsen-Weiss' original proof, but it is more geometrical and less homotopy theoretical in nature. At the heart of the…
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 an elementary proof of a reduced version of Gleason's theorem and the Kochen-Specker theorem to provide a novel perspective on the relation between both theorems. The proof is based on a set of linear equations for the values of…
This article discusses von Neumann's "proof" that hidden variable theories are impossible.
We will present a novel elementary, self-contained, and explicit proof of the local Kronecker-Weber theorem. Apart from discrete valuation theory, it does not make use of any tools beyond those introduced in a second undergraduate course on…
We give a direct proof of the local converse theorem for quasi-split non-split $\mathrm{SO}_{2l}$ over a local non-Archimedean field of characteristic $p\neq 2$, applying the theory of Howe vectors and partial Bessel functions.
We prove some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that…
The Kochen-Specker theorem states that a 3-dimensional complex Euclidean space admits a finite configuration of projective lines such that the corresponding quantum observables (the orthogonal projectors) cannot be assigned with 0 and 1…