Related papers: A calculus for modal compact Hausdorff spaces

Let $E$ be a Banach space such that $E'$ has the Radon-Nikod\'ym property. The aim of this work is to connect relative weak compactness in the $E$-valued martingale Hardy space $H^{1}(\mu,E)$ to a convex compactness criterion in a weaker…

In this paper we systematically explore questions of succinctness in modal logics employed in spatial reasoning. We show that the closure operator, despite being less expressive, is exponentially more succinct than the limit-point operator,…

The relation between the Darboux transformation and the solutions of the full Kostant Toda lattice is analyzed. The discrete Korteweg de Vries equation is used to obtain such solutions and the main result of [1] is extended to the case of…

We present a simple relativistic exact 2-component (X2C) Hamiltonian that models two-electron picture-change effects using Lehtola's superposition of atomic potentials (SAP) [S. Lehtola, J. Chem. Theory Comput. 15, 1593-1604 (2019)]. The…

We study geodesically complete and locally compact Hadamard spaces X whose Tits boundary is a connected irreducible spherical building. We show that X is symmetric iff complete geodesics in X do not branch and a Euclidean building…

This is my diploma thesis in german language. In the context of formal deformation theorie of assoziative observables in classical field theory I consider the symmetric algebra S(V) on an arbitrary-dimensional R- or C-vectorspace V as a…

We investigate dynamical systems consisting of a locally compact Hausdorff space equipped with a partially defined local homeomorphism. Important examples of such systems include self-covering maps, one-sided shifts of finite type and, more…

Gelfand duality between unital commutative C*-algebras and Compact Hausdorff spaces is extended to all unital C*-algebras, where the dual objects are what we call compact Hausdorff quantum spaces. We apply this result to obtain, a…

Symmetric informationally complete measurements (SICs in short) are highly symmetric structures in the Hilbert space. They possess many nice properties which render them an ideal candidate for fiducial measurements. The symmetry of SICs is…

We show a strong factorization theorem of Dixmier-Malliavin type for ultradifferentiable vectors associated with compact Lie group representations on sequentially complete locally convex Hausdorff spaces. In particular, this solves a…

We construct a class of exactly solved (0,2) heterotic compactifications, similar to the (2,2) models constructed by Gepner. We identify these as special points in moduli spaces containing geometric limits described by non-linear sigma…

Let $f$ and $g$ be scalar-valued, continuous functions on some topological space. We say that $g$ dominates $f$ in the compatibility ordering if $g$ coincides with $f$ on the support of $f$. We prove that two compact Hausdorff spaces are…

The `intermediate window quantity' of the hadronic vacuum polarization contribution to the anomalous magnetic moment of the muon allows for a high-precision comparison between the data-driven approach and lattice QCD. The existing lattice…

We prove that for any two continuous minimal (topologically free) actions of the infinite dihedral group on an infinite compact Hausdorff space, they are continuously orbit equivalent only if they are conjugate. We also show the above fails…

We introduce the median uniformity $\mathcal U_{\mathrm m}$, an intrinsic precompact convex uniform structure on a median algebra. It is Hausdorff under natural assumptions, for instance for finite-rank median algebras. In the Hausdorff…

Modern programming frequently requires generalised notions of program equivalence based on a metric or a similar structure. Previous work addressed this challenge by introducing the notion of a V-equation, i.e. an equation labelled by an…

Let $\mathcal{H}$ be a complex, separable Hilbert space, and set $\mathfrak{c}($NIL$_2)=\{ MN - NM : N, M \in \mathcal{B}(\mathcal{H}), M^2 = 0 = N^2 \}$. When $\dim\, \mathcal{H}$ is finite, we characterise the set $\mathfrak{c}($NIL$_2)$…

In this paper we introduce Hausdorff locally convex algebra topologies on subalgebras of the whole algebra of nonlinear generalized functions. These topologies are strong duals of Fr\'echet-Schwartz space topologies and even strong duals of…

In the moduli space $\mathcal{M}_d$ of degree $d$ rational maps, the bifurcation locus is the support of a closed $(1,1)$ positive current $T_\bif$ which is called the bifurcation current. This current gives rise to a measure…

We prove for a morphism $f \colon X \rightarrow S$ locally of $^+$weakly finite type, separated and taut, where $X$ is a weakly square complete adic space and $S$ a square complete and stable adic space, there exists a universal vertical…