Related papers: Quasirationality and aspherical (pro-$p$)presentat…
Our aim is to bring the theory of analogous polytopes to bear on the study of quasitoric manifolds, in the context of stably complex manifolds with compatible torus action. By way of application, we give an explicit construction of a…
We show that, under suitable hypotheses, the coned-off spaces associated to $C(9)$ cubical small-cancellation presentations are aspherical, and use this to provide classifying spaces, or classifying spaces for proper actions, for their…
The paper presents mathematical models of quasicrystals with particular attention given to cut-and-project sets. We summarize the properties of higher-dimensional quasicrystal models and then focus on the one-dimensional ones. For the…
We provide, explicitly, equivalences and dual equivalences between categories of abstract quadratic forms theories and subcategories of multifields and multirings, that will bring new perspectives and methods to the abstract theories of…
Presentations for unbraided, braided and symmetric pseudomonoids are defined. Biequivalences characterising the semistrict bicategories generated by these presentations are proven. It is shown that these biequivalences categorify results in…
We apply a framework for the description of random tilings without height representation, which was proposed recently, to the special case of quasicrystalline random tilings. Several important examples are discussed, thereby demonstrating…
I defend algebraicism, according to which physical fields can be understood in terms of their structural relations without reference to a spacetime manifold, as a genuine relationalist view against the conventional wisdom that it is…
Following Arthur's study of the representations of the orthogonal and symplectic groups, we prove many cases of both the local and global Arthur conjectures for tempered representations of the unitary group. This completes the proof of…
Explainable Artificial Intelligence and Formal Argumentation have received significant attention in recent years. Argumentation-based systems often lack explainability while supporting decision-making processes. Counterfactual and…
We construct orbifolds with quasitoric boundary and show that they have stable almost complex structure. We show that a quasitoric orbifold is complex cobordant to finite disjoint copies of complex orbifold projective spaces. Finally some…
The purpose of this informal article is to introduce the reader to some of the objects and methods of the theory of p-adic representations. My hope is that students and mathematicians who are new to the subject will find it useful as a…
A p-adic analogue of the pseudonorm version of the birational Torelli type theorem is obtained via a comparison theorem of image closures. Among other results obtained, we have a criterion for existence of rational points of canonically…
Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to…
In this paper, theory and construction of spinor representations of real Clifford algebras $\cl_{p,q}$ in minimal left ideals are reviewed. Connection with a general theory of semisimple rings is shown. The actual computations can be found…
A pseudoclassical model is proposed to describe massive Dirac (spin one-half) particles in arbitrary odd dimensions. The quantization of the model reproduces the minimal quantum theory of spinning particles in such dimensions. A dimensional…
We study a longstanding question of Aaronson and Kuperberg on whether there exists a classical oracle separating $\mathsf{QMA}$ from $\mathsf{QCMA}$. Settling this question in either direction would yield insight into the power of quantum…
In this paper we define and study quasipolar general rings (with or without identity) and extend many of the basic results to the wider class. We obtain some new characterizations of quasipolar and strongly $\pi$-regular elements by using…
Counterfactual explanations are widely used to communicate how inputs must change for a model to alter its prediction. For a single instance, many valid counterfactuals can exist, which leaves open the possibility for an explanation…
We investigate quasivarieties of (distributive) p-algebras. We sharpen some previous results, give a better picture of the subquasivariety lattice, and prove that quasivarieties generated by free p-algebras belong to a rather small…
Qualitative and quantitative approaches to reasoning about uncertainty can lead to different logical systems for formalizing such reasoning, even when the language for expressing uncertainty is the same. In the case of reasoning about…