Related papers: Computably Based Locally Compact Spaces
There are important indications that nature may be locally finite-dimensional, i.e., that any spatially bounded subsystem can be described by a finite-dimensional local observable algebra. Motivated by these ideas, we show that operational…
We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive…
$\Delta$-spaces have been defined by a natural generalization of a classical notion of $\Delta$-sets of reals to Tychonoff topological spaces; moreover, the class $\Delta$ of all $\Delta$-spaces consists precisely of those $X$ for which the…
Previous work on applications of Abstract Differential Geometry (ADG) to discrete Lorentzian quantum gravity is brought to its categorical climax by organizing the curved finitary spacetime sheaves of quantum causal sets involved therein,…
We study Abelian $S$-duality of Maxwell theory on $A$-type asymptotically locally Euclidean (ALE) spaces. Unlike on closed four-manifolds, the Maxwell path integral on an ALE space is not naturally a scalar partition function. Rather, it…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
Dynamical locality is a condition on a locally covariant physical theory, asserting that kinematic and dynamical notions of local physics agree. This condition was introduced in [arXiv:1106.4785], where it was shown to be closely related to…
The composite particle duality extends the notions of both flux attachment and statistical transmutation in spacetime dimensions beyond 2+1D. It constitutes an exact correspondence that can be understood either as a theoretical framework or…
In this paper we study various convolution-type algebras associated with a locally compact quantum group from cohomological and geometrical points of view. The quantum group duality endows the space of trace class operators over a locally…
Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and…
We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic…
We recast basic topological concepts underlying differential geometry using the language and tools of noncommutative geometry. This way we characterize principal (free and proper) actions by a density condition in (multiplier) C*-algebras.…
A `discrete differential manifold' we call a countable set together with an algebraic differential calculus on it. This structure has already been explored in previous work and provides us with a convenient framework for the formulation of…
Let $K$ be a commutative ring with unit and $S$ an inverse semigroup. We show that the semigroup algebra $KS$ can be described as a convolution algebra of functions on the universal \'etale groupoid associated to $S$ by Paterson. This…
We initiate the study of the duality theory of locally recoverable codes, with a focus on the applications. We characterize the locality of a code in terms of the dual code, and introduce a class of invariants that refine the classical…
Duality groups of Abelian gauge theories on four manifolds and their reduction to two dimensions are considered. The duality groups include elements that relate different space-times in addition to relating different gauge-coupling…
A framework conceptually based on the conformal techniques employed to study the structure of the gravitational field at infinity is set up in the context of loop quantum gravity to describe asymptotically anti-de Sitter quantum spacetimes.…
This article fits in the area of research that investigates the application of topological duality methods to problems that appear in theoretical computer science. One of the eventual goals of this approach is to derive results in…
The absolute sets of local systems on a smooth complex algebraic variety are the subject of a conjecture of N. Budur and B. Wang based on an analogy with special subvarieties of Shimura varieties. An absolute set should be the…
We demonstrate that a complete class of flat-band lattices with underlying commutative local symmetries exhibit a locally fragmented Hilbert space. The equitable partition theorem ensures distinct parities for the compact localized states…