Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Riemann Zeta函数的六阶和

利用概率论与组合数学的方法,研究了与Riemann-zeta函数ξ(k)的部分和ξ_n(k)有关的一些级数,计算出了一些重要的和式．特别的,Euler的著名结果5ξ(4)= 2ξ~2(2)能够从四阶和式直接推出．因此,通过计算全部的11个六阶和式,研究它们之间的非平凡关系,就有可能得到ξ(3)的数值．     

Gauge Dependence of the Effective Gravitational Field

We analyze the gauge ambiguity problem for the effective gravitational field from the standpoint of the measurement process. The motion of a test point particle playing the role of a measuring device is investigated in the field of a point gravitating mass in the one-loop approximation. We show that the gravitational field value determined from the effective equations of motion of the device explicitly depends on the Feynman gauge parameter. This dependence is essential in the sense that a gauge variation cannot be interpreted as a deformation of the reference frame, which leads to a gauge ambiguity in the values of observed quantities. In particular, this result disproves the hypothesis that gauge dependence is canceled in the effective equations of motion of a classical point particle.     

一些包含Lucas数的恒等式

利用第一类Chebyshev多项式的性质以及其与Lucas数的关系得到了关于Lucas数立方的一些恒等式.     

Lattice gas generalization of the hard hexagon model. II. The local densities as elliptic functions

In a previous paper we considered an extension of the hard hexagon model to a solvable two-dimensional lattice gas with at most two particles per pair of adjacent sites. Here we use various mathematical identities (in particular Gordon's generalization of the Rogers-Ramanujan relations) to express the local densities in terms of elliptic functions. The critical behavior is then readily obtained.Supported in part by the National Science Foundation Grant MCS 8201733.     

Fermionic solution of the Andrews-Baxter-Forrester model. II. Proof of Melzer's polynomial identities

We compute the one-dimensional configuration sums of the ABF model using the fermionic technique introduced in part I of this paper. Combined with the results of Andrews, Baxter, and Forrester, we prove polynomial identities for finitizations of the Virasoro characters as conjectured by Melzer. In the thermodynamic limit these identities reproduce Rogers-Ramanujan-type identities for the unitary minimal Virasoro characters conjectured by the Stony Brook group. We also present a list of additional Virasoro character identities which follow from our proof of Melzer's identities and application of Bailey's lemma.Dedicated to the memory of Piet Kasteleyn.     

Aurifeuillian factorizations and the period of the Bell numbers modulo a prime

We show that the minimum period modulo of the Bell exponential integers is for all primes and several larger . Our proof of this result requires the prime factorization of these periods. For some primes the factoring is aided by an algebraic formula called an Aurifeuillian factorization. We explain how the coefficients of the factors in these formulas may be computed.

     

一种分解指数算符的简洁方法

提出一种新的分解指数算符的方法,这种方法不仅简单易懂,而且有助于找到更多的算符恒等式.     

Commuting traces of multilinear maps on invertible elements

Let R be a unital simple ring. Under some technical restrictions, we characterize m-linear mappings G:R^m→R satisfying [G(u,…,u),u]?=?0 for all unit u∈R.