In this work we show that the Bruhat rank of a symmetric (0,1)-matrix of order n with a staircase pattern, total support, and containing In, is at most 2. Several other related questions are also discussed. Some illustrative examples are presented.
C. Berger claimed to have constructed an -operad-structure on the permutohedras, whose associated monad is exactly the Milgram model for the free loop spaces. In this paper I will show that this statement is not correct.
By a commutative term we mean an element of the free commutative groupoid of infinite rank. For two commutative terms , write if contains a subterm that is a substitution instance of . With respect to this relation, is a quasiordered set which becomes an ordered set after the appropriate factorization. We study definability in this ordered set. Among other things, we prove that every commutative term (or its block in the factor) is a definable element. Consequently, the ordered set has...
In this paper we find a one-to-one correspondence between transitive relations and partial orders. On the basis of this correspondence we deduce the recurrence formula for enumeration of their numbers. We also determine the number of all transitive relations on an arbitrary -element set up to .
In the first part of the paper we are concerned about finite sequences (over arbitrary symbols) for which . The function measures the maximum length of finite sequences over symbols which contain no subsequence of the type . It follows from the result of Hart and Sharir that the containment is a (minimal) obstacle to . We show by means of a construction due to Sharir and Wiernik that there is another obstacle to the linear growth. In the second part of the paper we investigate whether...
Cette étude s'inscrit dans un prolongement algorithmique d'un travail de Bruno Leclerc, publié dans cette revue, qui discute de la taille maximum d'une antichaîne dans un produit direct P d'ordres totaux. On y présente un algorithme de partitionnement de P en un nombre minimum de chaînes. Enfin, on décrit brièvement une application à l'extraction de connaissance.
We define new combinatorial objects, called shrubs, such that forests of rooted trees are shrubs. We then introduce a structure of operad on shrubs. We show that this operad is contained in the Zinbiel operad, by using the inclusion of Zinbiel in the operad of moulds. We also prove that this inclusion is compatible with the richer structure of anticyclic operad that exists on Zinbiel and on moulds.
A separoid is a symmetric relation defined on disjoint pairs of subsets of a given set such that it is closed as a filter in the canonical partial order induced by the inclusion (i.e., and ). We introduce the notion of homomorphism as a map which preserve the so-called “minimal Radon partitions” and show that separoids, endowed with these maps, admits an embedding from the category of all finite graphs. This proves that separoids constitute a countable universal partial order. Furthermore,...