相关论文: Files for Gabriel-Zisman localization
In this note, we will give a short proof of an identity for cubic partitions.
We prove a localisation theorem for the K-theory of filtering subcategories of exact $\infty$-categories which subsumes the localisation theorem for stable $\infty$-categories, Quillen's localisation theorem for abelian categories, and…
We lay the ground for an Isabelle/ZF formalization of Cohen's technique of forcing. We formalize the definition of forcing notions as preorders with top, dense subsets, and generic filters. We formalize the definition of forcing notions as…
Gauged WZW and coset models are known to be useful to prove holomorphic factorization of the partition function of WZW and coset models. In this note we show that these gauged models can be also important to quantize the theory in the…
We derive expressions required in generalizing the Gutzwiller approximation to models comprising arbitrarily degenerate localized orbitals.
Two methods for extracting detailed formal dependencies from the Coq and Mizar system are presented and compared. The methods are used for dependency extraction from two large mathematical repositories: the Coq Repository at Nijmegen and…
We study secure source-coding with causal disclosure, under the Gaussian distribution. The optimality of Gaussian auxiliary random variables is shown in various scenarios. We explicitly characterize the tradeoff between the rates of…
This is a survey article on Hilbert-Kunz multiplicity and the F-signature.
As an application of Stein's method for Poisson approximation, we prove rates of convergence for the tail probabilities of two scan statistics that have been suggested for detecting local signals in sequences of independent random variables…
We give a proof of Pixton's generalized Faber-Zagier relations in the tautological Chow ring of $\overline M_{g,n}$. The strategy is very similar to the work of Pandharipande-Pixton-Zvonkine, who have given a proof of the same result in…
We provide a new approach to approximate emulation of large computer experiments. By focusing expressly on desirable properties of the predictive equations, we derive a family of local sequential design schemes that dynamically define the…
In a recent publication, J. Phys.: Condens. Matt. 14 13777 (2002), Kuzovkov et. al. announced an analytical solution of the two-dimensional Anderson localisation problem via the calculation of a generalised Lyapunov exponent using signal…
In this review the foundations of Geometric Quantization are explained and discussed. In particular, we want to clarify the mathematical aspects related to the geometrical structures involved in this theory: complex line bundles, hermitian…
Gouv\^ea-Mazur [GM] made a conjecture on the local constancy of slopes of modular forms when the weight varies $p$-adically. Since one may decompose the space of modular forms according to associated residual Galois representations, the…
Inspired by a recent preprint of N. Curien, we provided what may be a new and elementary proof of the Law of Large Numbers.
Let F be a non-archimedean local field of characteristic zero with residual characteristic p. In this paper, we present a simple proof and construction of the local Langlands correspondence for simple supercuspidal representations of…
We present Zar: a formally verified compiler pipeline from discrete probabilistic programs with unbounded loops in the conditional probabilistic guarded command language (cpGCL) to proved-correct executable samplers in the random bit model.…
In eliminating the fair sampling assumption, the Greenberger, Horne, Zeilinger (GHZ) theorem is believed to confirm Bell's historic conclusion that local hidden variables are inconsistent with the results of quantum mechanics. The GHZ…
This first part of the paper describes the support of top graded local cohomology modules. As a corrolary one obtains a simple criteria for the vanishing of these modules and also the fact that they have finitely many minimal primes. The…
This note, in a rather expository manner, serves as a conceptional introduction to the certain underlying mathematical structures encoding the geometric quantization formalism and the construction of Witten's quantum invariants, which is in…