Related papers: Explaining Gabriel-Zisman localization to the comp…
In this article we discuss Bousfield localization, beginning with definitions in terms of mapping spaces and working up to a discussion of how they can be constructed when we have access to the small object argument. We also discuss…
We redefine the Baum-Connes assembly map using simplicial approximation in the equivariant Kasparov category. This new interpretation is ideal for studying functorial properties and gives analogues of the assembly maps for all equivariant…
This article is a sequel to hep-th/9411050, q-alg/9412017, q-alg/9503013. Given a collection of $m$ finite factorizable sheaves $\{\CX_k\}$, we construct here some perverse sheaves over configuration spaces of points on a projective line…
In this short note, we give a localized version of the basic triangle theorem, first published in 2011 (see [4]) in order to prove the independence of hyperlogarithms over various function fields. This version provides direct access to…
This work is devoted to incorporating into QFT the notion that particles and hence the particle states should be localizable in space. It focuses on the case of the Dirac field in 1+1 dimensional flat spacetime, generalizing a recently…
In this paper we formulate combinatorial identities that give representation of positive integers as linear combination of even powers of 2 with binomial coefficients. We present side by side combinatorial as well as computer generated…
Localization is a critical aspect of mobile robotics, enabling robots to navigate their environment efficiently and avoid obstacles. Current probabilistic localization methods, such as the Adaptive-Monte Carlo localization (AMCL) algorithm,…
In equivariant geometry, a localization (a.k.a., concentration) theorem is typically interpreted as a relationship between the equivariant geometry of a space with a group action and the geometry of its fixed locus. We take a different…
Our research is part of a wider project that aims to investigate and reason about the correctness of scheme-based source code transformations of Erlang programs. In order to formally reason about the definition of a programming language and…
We propose the categorification of the algebraic analysis as the Leibniz 3-category given by generators and relations, including the Leibniz 3-cell relation. The Leibniz category offers the `most general' `(co-)derivation' 3-cell. We…
For an $S^{1}$-manifold with boundary, we prove a localization formula applying to any equivariant cohomology theory satisfying a certain algebraic condition. We show how the localization result of Kalkman and a case of the quantization…
What is the origin of quantum computational advantage? Providing answers to this far-reaching question amounts to identifying the key properties, or quantum resources, that distinguish quantum computers from their classical counterparts,…
We derive expressions required in generalizing the Gutzwiller approximation to models comprising arbitrarily degenerate localized orbitals.
Context-free language theory is a well-established area of mathematics, relevant to computer science foundations and technology. This paper presents the preliminary results of an ongoing formalization project using context-free grammars and…
We prove a localization formula for group-valued equivariant de Rham cohomology of a compact G-manifold. This formula is a non-trivial generalization of the localization formula of Berline-Vergne and Atiyah-Bott for the usual equivariant de…
We use the periodicity properties of generalized Gauss sums to factor numbers. Moreover, we derive rules for finding the factors and illustrate this factorization scheme for various examples. This algorithm relies solely on interference and…
Interactive proof assistants make it possible for ordinary mathematicians to write definitions and theorems in a formal proof language, like a programming language, so that a computer can parse them and check them against the rules of a…
We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several…
In \cite{JKS} we gave an (additive) categorification of Grassmannian cluster algebras, using the category $\CM(A)$ of Cohen-Macaulay modules for a certain Gorenstein order $A$. In this paper, using a cluster tilting object in the same…
We address the task of verifying whether a quantum computer, designed to be protected by a specific stabilizer code, correctly encodes the corresponding logical qubits. To achieve this, we develop a general framework for subspace…