Inspired by G Frieden’s recent work on the geometric R-matrix for affine type A crystal associated with rectangular shaped Young tableaux, we propose a method to construct a novel family of discrete integrable systems which can be regarded as a geometric lifting of the generalized periodic box–ball systems. By converting the conventional usage of the matrices for defining the Lax representation of the discrete periodic Toda chain, together with a clever use of the Perron–Frobenious theorem, we give a definition of our systems. It is carried out on the space of real positive dependent variables, without regarding them to be written by subtraction-free rational functions of independent variables but nevertheless with the conserved quantities which can be tropicalized. We prove that, in this setup an equation of an analogue of the ‘carrier’ of the box–ball system for assuring its periodic boundary condition always has a unique solution. As a result, any states in our systems admit a commuting family of time evolutions associated with any rectangular shaped tableaux, in contrast to the case of corresponding generalized periodic box–ball systems where some states did not admit some of such time evolutions.

As a counterpart of the well-known generalized Wick theorem by Bais et. al. in 1988 for interacting fields in two dimensional conformal field theory, we present a new contour integral formula for the operator product expansion of a normally ordered operator and a single operator on its right hand. Quite similar to the original Wick theorem for the opposite order operator product, it expresses the contraction i. e. the singular part of the operator product expansion as a contour integral of only two terms, each of which is a product of a contraction and a single operator. We discuss the relation between these formulas and the Borcherds identity satisfied by the quantum fields associated with the theory of vertex algebras. 5/28 local. The following proposition is known as the Dong's lemma. 5) Proposition 3 (Ref. 6, Proposition 2.1.5.) If A(z), B(z) and C(z) are mutually local fields, then A(z) (m) B(z) and C(z) are local. 7/28