Related papers: Quantization formula for singular reductions
We show that the holomorphic Morse inequalities proved by Tian and the author [TZ1, 2] are in effect equalities by refining the analytic arguments in [TZ1, 2].
In this paper, we give a new discovery of conversion of generalized singular values. New formulation is proposed.
We prove some new results related to Tanaka's formula.
We prove a new linear relation for multiple zeta values. This is a natural generalization of the restricted sum formula proved by Eie, Liaw and Ong. We also present an analogous result for finite multiple zeta values.
We present a generalization of a formula of higher order derivatives and give a short proof.
Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…
In this paper we give a generalization of Iseki's formula and use it to prove the transformation law of $\theta_1(z, \tau)$.
This article provides a simple proof of the quadratic formula, which also produces an efficient and natural method for solving general quadratic equations. The derivation is computationally light and conceptually natural, and has the…
Using Singular Rescaling We Prove Some Bifurcation Results. This note Presents short proofs for some Bifurcation results which had been appeared with other authors.
We present a general simplification of quantified SMT formulas using variable elimination. The simplification is based on an analysis of the ground terms occurring as arguments in function applications. We use this information to generate a…
Let $Q$ be an affine quiver of type $A_2^{(1)}$. We explicitly construct the cluster multiplication formulas for the quantum cluster algebra of $Q$ with principal coefficients. As applications, we obtain: (1)\ an exact expression for every…
In this note, we derive a finite summation formula and an infinite summation formula involving Harmonic numbers of order up to some order by means of several definite integrals
A method for obtaining discretization formulas for the derivatives of a function is presented, which relies on a generalization of divided differences. These modified divided differences essentially correspond to a change of the dependent…
We give a short proof -- not relying on ideal classes or the geometry of numbers -- of a known criterion for quadratic orders to possess unique factorization.
Two classes of relations for multiple zeta values are handled algebraically. A restricted sum formula is proved by Eie, Liaw and Ong. The derivation relation is proved by Ihara, Kaneko and Zagier. In this paper we show the latter implies…
A new simple proof of Stirling's formula via the partial fraction expansion for the tangent function is presented.
We describe a method for inverting Gentzen's cut-elimination in classical first-order logic. Our algorithm is based on first computign a compressed representation of the terms present in the cut-free proof and then cut-formulas that realize…
We use the method of homological quantum reduction to construct a deformation quantization on singular symplectic quotients in the situation, where the coefficients of the moment map define a complete intersection. Several examples are…
The algebraic method of singular reduction is applied for non regular group action on manifolds which provides singular symplectic spaces. The problem of deformation quantization of the singular surfaces is the focus. For some examples of…
A counter-example to lower bounds for the singular values of the sum of two matrices in [1] and [2] is given. Correct forms of the bounds are pointed out.