The dimension of the finite subsets κ

We answer a question of M. Pouzet by showing that the Dushnik-Miller dimension of the finite subsets of the infinite cardinal ordered by inclusion is ().This paper was written when the first author was visiting the University of Calgary, June, 1995. Research partially supported by Office of Naval Research grant NOOO14-90-1206.Research supported by NSERC grant #69-0982.     

Chain partitions of ordered sets

For natural numbers s and r and a finite poset P of height h, there exists a finite poset P of height H(s, r, h) such that for an arbitrary r-colouring of the s-chains of P, a monochromatically embedded copy of P can be found in P. A best possible upper bound for H(s, r, h) in terms of the well-known Ramsey numbers is given.     

Extremal problems for linear orders on [n] p

Let be a product order on [n] ^p i.e. for A, B [n] ^p , 1a ₁<a ₂<...<a _p º-n and 1<-b ₁<b ₂<...<b _p <-n we have AB iff a _i<-b _i for all i=1, 2,..., p. For a linear extension < of (ordering [n] ^p as ) let F _< ^[n],p (m) count the number of A _i 's, i<-m such that 1A _i. Clearly, for every m and <, where <l denotes the lexicographic order on [n] ^p . In this note we prove that the colexicographical order, <c, provides a corresponding lower bound i.e. that holds for any linear extension < of .This project together with [2] was initiated by the first author and continued in colaboration with the second author. After the death of the first author the work was continued and finalized by the second and the third author.Research supported by NSF grant DMS 9011850.     

Two combinatorial problems on posets

Bialostocki proposed the following problem: Let nk2 be integers such that k|n. Let p(n, k) denote the least positive integer having the property that for every poset P, |P|p(n, k) and every Z _k -coloring f: P Z _k there exists either a chain or an antichain A, |A|=n and _aA f(a) 0 (modk). Estimate p(n, k). We prove that there exists a constant c(k), depends only on k, such that (n+k–2)²–c(k) p(n, k) (n+k–2)²+1. Another problem considered here is a 2-dimensional form of the monotone sequence theorem of Erdös and Szekeres. We prove that there exists a least positive integer f(n) such that every integral square matrix A of order f(n) contains a square submatrix B of order n, with all rows monotone sequences in the same direction and all columns monotone sequences in the same direction (direction means increasing or decreasing).     

A note on “small representations of finite distributive lattices as congruence lattices”

G. Grätzer, H. Lakser, and E. T. Schmidt proved that every distributive lattice with n join-irreducible elements can be represented as the congruence lattice of a small lattice L, that is, a lattice L with O(n ² ) elements. G. Grätzer, I. Rival, and N. Zaguia proved that, for any <2, O(n ² ) can not be improved to O(n ). In this note we show that the theorem about small representation can be improved further to get a more delicate result.     

Free differential algebras: Their use in field theory and dual formulation

The gauging of free differential algebras (FDA's) produces gauge field theories containing antisymmetric tensors. The FDA's extend the Cartan-Maurer equations of ordinary Lie algebras by incorporating p-form potentials (p>1). We study here the algebra of FDA transformations. To every p-form in the FDA, we associate an extended Lie derivative l generating a corresponding gauge transformation. The field theory based on the FDA is invariant under these new transformations. This gives geometrical meaning to the antisymmetric tensors. The algebra of Lie derivatives is shown to close and provides the dual formulation of FDA's.     

On an alternative supermatrix reduction

We consider a nonstandard odd reduction of supermatrices (as compared with the standard even reduction) which arises in connection with the possible extension of manifold structure group reductions. The study was initiated by consideration of generalized noninvertible superconformal-like transformations. The features of even- and odd-reduced supermatrices are investigated together. They can be unified into some kind of sandwich semigroups. We also define a special module over even- and odd-reduced supermatrix sets, and the generalized Cayley-Hamilton theorem is proved for them. It is shown that the odd-reduced supermatrices represent semigroup bands and Rees matrix semigroups over a unit group.Alexander von Humboldt Fellow. On leave of absence from Theory Division, Nuclear Physics Laboratory, Kharkov State University, Kharkov 310077, Ukraine     

Existence theorems for π/n vortex scattering

The analysis of 90° vortex-vortex scattering is extended to /n scattering in all head-on collisions ofn vortices in the Abelian Higgs model. A Cauchy problem with initial data that describe the scattering ofn vortices is formulated. It is shown that this Cauchy problem has a unique global finite-energy solution. The symmetry of the solution and the form of the local analytic solution then show that /n scattering is realized.     

On a bosonic-parafermionic realization ofU_q (\widehat{sl(2)})

We realize the current algebra at an arbitrary level in terms of one deformed free bosonic field and a pair of deformed parafermionic fields. It is shown that the operator product expansions of these parafermionic fields involve an infinite number of simple poles and simple zeros, which then condensate to form a branch cut in the classical limitq1. Our realization coincides with those of Frenkel-Jing and Bernard when the levelk takes the values 1 and 2, respectively.     

On the extremality of the disordered state for the Ising model on the Bethe lattice

We give a simple proof that the limit Ising Gibbs measure with free boundary conditions on the Bethe lattice with the forward branching ratio k2 is extremal if and only if is less or equal to the spin glass transition value, given by tanh( _c ^SG = 1/k.The work was partially supported by the NSF grant DMS 9504513.