相关论文: An obstruction based approach to the Kochen-Specke…
In this paper, we examine the class of cofibrant modules over a group algebra $kG$, that were defined by Benson in [2]. We show that this class is always the left-hand side of a complete hereditary cotorsion pair in the category of…
An arbitrarily dense discretisation of the Bloch sphere of complex Hilbert states is constructed, where points correspond to bit strings of fixed finite length. Number-theoretic properties of trigonometric functions (not part of the…
Let $k$ be a number field. We construct homogeneous spaces of $SL_{n,k}$ with finite nilpotent non-abelian stabilizers for which the Brauer-Manin obstruction does not explain the failure of strong approximation (resp. the failure of the…
This is an extensive survey of the techniques used to formulate generalizations of the Mittag-Leffler Theorem from complex analysis. With the techniques of the theory of differential forms, sheaves and cohomology, we are able to define the…
In polarization optics, various topological constructs, namely Poincar\'e spheres of different orders, are used to represent uniform and structured polarization distributions. Similarly, there are also structured polarization optical…
All quantum random number generators based on measuring value indefinite observables are at least three-dimensional because the Kochen-Specker Theorem and the Located Kochen-Specker Theorem are false in dimension two. In this article, we…
Current continuous generative models (e.g., Diffusion Models, Flow Matching) implicitly assume that locally consistent causal mechanisms naturally yield globally coherent counterfactuals. In this paper, we prove that this assumption fails…
The Kochen--Specker (KS) theorem reveals the nonclassicality of single quantum systems. In contrast, Bell's theorem and entanglement concern the nonclassicality of composite quantum systems. Accordingly, unlike incompatibility, entanglement…
Boundary theories of static bulk topological phases of matter are obstructed in the sense that they cannot be realized on their own as isolated systems. The obstruction can be quantified/characterized by quantum anomalies, in particular…
We fix the lexicographic order $\prec$ on the polynomial ring $S=k[x_{1},...,x_{n}]$ over a ring $k$. We define $\Hi^{\prec\Delta}_{S/k}$, the moduli space of reduced Gr\"obner bases with a given finite standard set $\Delta$, and its open…
In this letter we show that the field of Operator Space Theory provides a general and powerful mathematical framework for arbitrary Bell inequalities, in particular regarding the scaling of their violation within quantum mechanics. We…
The characterization of commutators in associative algebras is a classical problem in ring theory. In this paper, we address this problem for the natural class of generalized block-triangular algebras. To this end, we introduce a new…
We give a proof of openness of versality using coherent functors. As an application, we streamline Artin's criterion for algebraicity of a stack. We also introduce multi-step obstruction theories, employing them to produce obstruction…
The gravitational path integral suggests a striking result: the Hilbert space of closed universes in each superselection sector, a so-called $\alpha$-sector, is one-dimensional. We develop an abstract formalism encapsulating recent…
The derivation of Bell inequalities for beables is well-known to require a "no-conspiracy" assumption. This assumption is widely accepted, the alternative being correlations between instrument settings and hidden beables. Two further…
We develop a formalism of cohomological descent encoding adelic points and obstructions to local-global principle on algebraic stacks. As an application, by constructing new obstructions using the formalism, we obtain some comparison…
We compare the deformation theory and the analytic structure of the Seiberg-Witten moduli spaces of a K\"ahler surface to the corresponding components of the Hilbert scheme, and show that they are isomorphic. Next we show how to compute the…
Pusey, Barrett, and Rudolph introduce a new no-go theorem for hidden-variables models of quantum theory. We make precise the class of models targeted and construct equivalent models that evade the theorem. The theorem requires assumptions…
We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann…
Given an orbifold, we construct an orthogonal spectrum representing its stable global homotopy type. Orthogonal spectra now represent orbifold cohomology theories which automatically satisfy certain properties as additivity and the…