Baxter algebras and combinatorial identities. II
Baxter algebras and combinatorial identities. II
复制标题
DOI:
10.1090/s0002-9904-1969-12156-7
复制
发表时间:
1969-03
影响因子:
1.3
通讯作者:
G. Rota
中科院分区:
文献类型:
--
作者:
G. Rota
1. Introduction. The spectacular results in the fluctuation theory of sums of independent random variables, obtained in the last 15 years by Andersen, Baxter, Bohnenblust, Foata, Kemperman, Spitzer, Takacs and others, have gradually led to the realization that the nature of the problem, as well as that of the methods of solution, is algebraic and combinatorial. After Baxter showed that the crux of the problem lay in simplifying a certain operator identity, several algebraic proofs (Atkinson, Kingman, Wendel) followed. It is the present purpose to carry this algebraization to the limit: the result we present amounts to a solution of the word problem for Baxter algebras. The solution is not presented as an algorithm, but by showing that every identity in a Baxter algebra is effectively equivalent to an identity of symmetric functions independent of the number of variables. Remarkably, the identities used so far in the combinatorics of fluctuation theory" translate" by the present method into classical symmetric function identities of easy verification. The present method is nevertheless also useful for guessing and proving new combinatorial identities: by way of example, it will be shown in the second part of this note how it leads to a generalization of the Bohnenblust-Spitzer formula for the action of arbitrary groups of permutations. A parallel theory of inequalities will be presented elsewhere.