Related papers: Files for Gabriel-Zisman localization
This paper describes an interdisciplinary approach which brings together the fields of corpus linguistics and translation studies. It presents ongoing work on the creation of a corpus resource in which translation shifts are explicitly…
Initial Semantics aims at characterizing the syntax associated to a signature as the initial object of some category. We present an initial semantics result for typed higher-order syntax together with its formalization in the Coq proof…
We reply to comments by P.Marko$\breve{s}$, L.Schweitzer and M.Weyrauch [preceding paper] on our recent paper [J. Phys.: Condens. Matter 63, 13777 (2002)]. We demonstrate that our quite different viewpoints stem for the different physical…
We present a first step towards the Coq implementation of the Theory of Tagged Objects formalism. The concept of tagged types is encoded, and the soundness proofs are discussed with some future work suggestions.
Beilinson--Bernstein localisation relates representations of a Lie algebra $\mathfrak{g}$ to certain $\mathcal{D}$-modules on the flag variety of $\mathfrak{g}$. In [arXiv:2002.01540], examples of $\mathfrak{sl}_2$-representations which…
In this article, we prove the existence of common fixed points for a pair of maps on a $q$-spherically complete $T_0$-ultra-quasi-metric space. The present article is a generalization, in the assymmetric setting of the paper of Rao et…
We present an approach to Berezin quantization (a variant of quantization in the spirit of Berezin) on para-Hermitian symmetric spaces using the notion of an "overgroup". This approach gives covariant and contravariant symbols and the…
We investigate fingerprints in pretraining datasets for large language models (LLMs) through dataset classification experiments. Building on prior work demonstrating the existence of fingerprints or biases in popular computer vision…
This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for…
Computer Algebra systems are widely spread because of some of their remarkable features such as their ease of use and performance. Nonetheless, this focus on performance sometimes leads to unwanted consequences: algorithms and computations…
We develop the theory of nilpotent $G$-spaces and their localisations, for $G$ a compact Lie group, via reduction to the non-equivariant case using Bousfield localisation. One point of interest in the equivariant setting is that we can…
This is a revised version of the preprint which has been available electronically for a while. The paper will now appear in J. Ramanujan Math. Soc.
Extensions of the $Stirling$ numbers of the second kind and $Dobinski$ -like formulas are proposed in a series of exercises for graduates. Some of these new formulas recently discovered by me are to be found in the source paper $ [1]$.…
We compare two notions of $G$-fiber bundles and $G$-principal bundles in the literature, with an aim to clarify early results in equivariant bundle theory that are needed in current work of equivariant algebraic topology. We also give…
We show that the Gaussian primes $P[i] \subseteq \Z[i]$ contain infinitely constellations of any prescribed shape and orientation. More precisely, given any distinct Gaussian integers $v_0,...,v_{k-1}$, we show that there are infinitely…
Viewing comodule algebras as the noncommutative analogues of affine varieties with affine group actions, we propose rudiments of a localization approach to nonaffine Hopf algebraic quotients of noncommutative affine varieties corresponding…
Quantum Information Processing, which is an exciting area of research at the intersection of physics and computer science, has great potential for influencing the future development of information processing systems. The building of…
The goal of the article is to better understand cosupport in triangulated categories since it is still quite mysterious. We study boundedness of local cohomology and local homology functors using Koszul objects, give some characterizations…
This paper introduces a new method for performing computational inference on log-Gaussian Cox processes. The likelihood is approximated directly by making novel use of a continuously specified Gaussian random field. We show that for…
We review definitions and properties of reproducing kernel Hilbert spaces attached to Gaussian variables and processes, with a view to applications in nonparametric Bayesian statistics using Gaussian priors. The rate of contraction of…