Related papers: Quantization formula for singular reductions

We obtain an equivariant class formula for z-deformation of t-modules. Under mild conditions, it allows us to get an equivariant class formula for t-modules.

In Theorem 3.1 of [12], we proved a rigidity result for self-shrinkers under the integral condition on the norm of the second fundamental form. In this paper, we relax the such bound to any finite constant (see Theorem 4.4 for details).

In this paper, using the similarity method, we construct particular solutions with singularities for degenerate high-order equations. The considered equations have singularities of the first and second kind. Particular solutions are…

We give a new proof of the Semistable Reduction Theorem for curves. The main idea is to present a curve $Y$ over a local field $K$ as a finite cover of the projective line $X=\PP^1_K$. By successive blowups (and after replacing $K$ by a…

This note deals with the computation of the factorization number $F_2(G)$ of a finite group $G$. By using the M\"{o}bius inversion formula, explicit expressions of $F_2(G)$ are obtained for two classes of finite abelian groups, improving…

We prove that small deformations of canonical singularities are canonical.

We will give a simple proof of the ambiguous class number formula.

A strong confluence result for Q*, a quantum lambda-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. The technique used in the confluence proof is syntactical but…

We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.

In [8], P. Lecomte conjectured the existence of a natural and projectively equivariant quantization. In [1], M. Bordemann proved this existence using the framework of Thomas-Whitehead connections. In [9], we gave a new proof of the same…

In this note we consider a question related to the high-dimensional generalization of the classical Severi's finiteness theorem for curves. We will introduce some background and then state the main result. The proof of the main result is…

In this paper, a new approximate syllogistic reasoning schema is described that expands some of the approaches expounded in the literature into two ways: (i) a number of different types of quantifiers (logical, absolute, proportional,…

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the…

We derive an analytic class number formula valid for an order in a product of $S$-integers in global fields, or equivalently for reduced finite-type affine schemes of pure dimension $1$ over $\mathbb{Z}$.

We study a singular parabolic equation of the total variation type in one dimension. The problem is a simplification of the singular curvature flow. We show existence and uniqueness of weak solutions. We also prove existence of weak…

In the paper we present some new inversion formulas and two new formulas for Stirling numbers.

We present an algorithm to compute the number of solutions of the (constrained) number partitioning problem. A concrete implementation of the algorithm on an Ising-type quantum computer is given.

We prove local unique solvability of the wave equation for a large class of weakly singular, locally bounded space-time metrics in a suitable space of generalised functions.

We prove an explicit formula for the Fourier transform of $f(u(t))$, given the Fourier transform of $f(t)$, assuming $f\in L^2(-\infty,\infty)$ and $u$ sufficiently well behaved. We illustrate its usefulness by calculating the Fourier…

We prove the precise inversion of adjunction formula for quotient singularities. As an application, we prove the semi-continuity of minimal log discrepancies for hyperquotient singularities. This paper is a continuation of arXiv:2011.07300,…