Related papers: Cover Schemes, Frame-Valued Sets and Their Potenti…
We study a generalization of the Set Cover problem called the \emph{Partial Set Cover} in the context of geometric set systems. The input to this problem is a set system $(X, \mathcal{S})$, where $X$ is a set of elements and $\mathcal{S}$…
This article is meant as a gentle introduction to the "topological terms" that often play a decisive role in effective theories describing topological quantum effects in condensed matter systems. We first take up several prominent examples,…
A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…
The collection of $d \times N$ complex matrices with prescribed column norms and prescribed (nonzero) singular values forms a compact algebraic variety, which we refer to as a frame space. Elements of frame spaces -- i.e., frames -- are…
Using the idea of the degree of a smooth mapping between two manifolds of the same dimension we present here the topological (homotopical) classification of the mappings between spheres of the same dimension, vector fields, monopole and…
The purpose of this paper is to study local cohomology in the noncommutative algebraic geometry framework of Artin and Zhang. The noncommutative spaces are obtained by base change of a Grothendieck category that is locally noetherian or…
Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz and Moerdijk showed that every topos with enough points can be represented as the topos of sheaves on an open topological groupoid.…
General relativity does not allow one to specify the topology of space, leaving the possibility that space is multiply rather than simply connected. We review the main mathematical properties of multiply connected spaces, and the different…
We fully generalize a previously-developed computational geometry tool [1] to perform large-scale simulations of arbitrary two-dimensional faceted surfaces $z = h(x,y)$. Our method uses a three-component facet/edge/junction storage model,…
Packing problems have been a source of fascination for millenia and their study has produced a rich literature that spans numerous disciplines. Investigations of hard-particle packing models have provided basic insights into the structure…
An observable effects a schematization of the Quantum event structure by correlating Boolean algebras picked by measurements with the Borel algebra of the real line. In a well-defined sense Boolean observables play the role of…
Hilbert space frames generalize orthonormal bases to allow redundancy in representations of vectors while keeping good reconstruction properties. A frame comes with an associated frame operator encoding essential properties of the frame. We…
Spacetime dualities arise whenever two theories -- despite being structurally equivalent in some sense -- seemingly provide us with two radically different spatiotemporal descriptions of the world. This often involves radical differences in…
In the topos approach to quantum theory of Doering and Isham the Kochen-Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand…
This thesis concerns the split of Einstein's field equations (EFE's) with respect to nowhere null hypersurfaces. Areas covered include A) the foundations of relativity, deriving geometrodynamics from relational first principles and showing…
We associate to each covering map of simple Lie groups a sequence of integers, called the multi-degree of the covering; extend Schubert calculus to evaluate the invariant; and apply the results to solve two outstanding topological problems…
Warped time-frequency systems have recently been introduced as a class of structured continuous frames for functions on the real line. Herein, we generalize this framework to the setting of functions of arbitrary dimensionality. After…
A recently proposed algebraic representation of the causal set model of the small-scale structure of space-time of Sorkin et al. is briefly reviewed and expanded. The algebraic model suggested, called quantum causal set, is physically…
The purpose of this paper is to present the mathematical techniques of a new quantum scheme using a dual pair of reflexive topological vector spaces in terms of the non-Hermitian form. The scheme is shown to be a generalization of the…
Church's simple type theory is often deemed too simple for elaborate mathematical constructions. In particular, doubts were raised whether schemes could be formalized in this setting and a challenge was issued. Schemes are sophisticated…