poset ↗ reference
2264 papers tagged with this keyword
On the elementary symmetric functions of a sum of matrices
Published in Journal of Algebra, Number Theory: Advances and Applications Volume 1, Number 2, 2009, Pages 99-112
• Search Publication
Often in mathematics it is useful to summarize a multivariate phenomenon with a single number and in fact, the determinant -- which is represented by det -- is one of the simplest cases. In fact, this number it is defined only for square matrices and a lot of its properties are very well-known. For instance, the determinant is a multiplicative function, i.e. det(AB)=detA detB, but it is not, in general, an additive function. Another interesting function in the matrix analysis is the characteristic polynomial -- in fact, given a matrix A, this function is defined by $p_A(t)=det(tI-A)$ where I is the identity matrix -- which elements are, up a sign, the elementary symmetric functions associated to the eigenvalues of the matrix A. In the present paper new expressions related with the determinant of sum of matrices and the elementary symmetric functions are given. Moreover, the connection with the Mobius function and the partial ordered sets (poset) is presented. Finally, a problem related with the determinant of sum of matrices is solved.
Retracts of Posets: The Chain_gap Property and the Selection Property are Independant
Published
• View Publication
• BIB
Posets which are retract of products of chains are characterized by means of two properties: \emph{the chain-gap property} and \emph{the selection property} (Rival and Wille, 1981 \cite {R-W}). Examples of posets with the selection property and not the chain-gap property are easy to find. To date, the Boolean lattice $\Power (ω_1)/Fin$ was the sole example of lattice without the selection property \cite {R-W}. We prove that it does not have the chain-gap property. We provide an example of a lattice which has the chain-gap property but not the selection property. This answer questions raised in \cite {R-W}.
Combinatorial remarks on a classical theorem of Deligne
We examine Deligne's classical proof of the asphericity of simplicial arrangements from the viewpoint of the combinatorics of the poset of regions of the arrangement. This turns out to be very natural. In particular, we show that an arrangement is simplicial only if it satisfies Deligne's property on positive paths, thus answering a question posed by Luis Paris.
Decomposition theorem for the cd-index of Gorenstein* posets
Published
• View Publication
• BIB
We prove a decomposition theorem for the cd-index of a Gorenstein* poset analogous to the decomposition theorem for the intersection cohomology of a toric variety. From this we settle a conjecture of Stanley that the cd-index of Gorenstein* lattices is minimized on Boolean algebras.
Signed differential posets and sign-imbalance
Published
• View Publication
• BIB
We study signed differential posets, a signed version of differential posets. These posets satisfy enumerative identities which are signed analogues of those satisfied by differential posets. Our main motivations are the sign-imbalance identities for partition shapes originally conjectured by Stanley, now proven by Lam, Reifergerste and Sjostrand. We show that these identities result from a signed differential poset structure on Young's lattice, and explain similar identities for Fibonacci shapes.
On the periodicity of Coxeter transformations and the non-negativity of their Euler forms
Published in Linear Algebra and its Applications 428 (2008), 742-753
• View Publication
• BIB
We show that for piecewise hereditary algebras, the periodicity of the Coxeter transformation implies the non-negativity of the Euler form. Contrary to previous assumptions, the condition of piecewise heredity cannot be omitted, even for triangular algebras, as demonstrated by incidence algebras of posets.
We also give a simple, direct proof, that certain products of reflections, defined for any square matrix A with 2 on its main diagonal, and in particular the Coxeter transformation corresponding to a generalized Cartan matrix, can be expressed as $-A_{+}^{-1} A_{-}^t$, where A_{+}, A_{-} are closely associated with the upper and lower triangular parts of A.
Generalized Noncrossing Partitions and Combinatorics of Coxeter Groups
Published
• View Publication
• BIB
This memoir constitutes the author's PhD thesis at Cornell University. It serves both as an expository work and as a description of new research. At the heart of the memoir, we introduce and study a poset $NC^{(k)}(W)$ for each finite Coxeter group $W$ and for each positive integer $k$. When $k=1$, our definition coincides with the generalized noncrossing partitions introduced by Brady-Watt and Bessis. When $W$ is the symmetric group, we obtain the poset of classical $k$-divisible noncrossing partitions, first studied by Edelman.
Along the way, we include a comprehensive introduction to related background material. Before defining our generalization $NC^{(k)}(W)$, we develop from scratch the theory of algebraic noncrossing partitions $NC(W)$. This involves studying a finite Coxeter group $W$ with respect to its generating set $T$ of {\em all} reflections, instead of the usual Coxeter generating set $S$. This is the first time that this material has appeared in one place.
Finally, it turns out that our poset $NC^{(k)}(W)$ shares many enumerative features in common with the ``generalized nonnesting partitions'' of Athanasiadis and the ``generalized cluster complexes'' of Fomin and Reading. In particular, there is a generalized ``Fuss-Catalan number'', with a nice closed formula in terms of the invariant degrees of $W$, that plays an important role in each case. We give a basic introduction to these topics, and we describe several conjectures relating these three families of ``Fuss-Catalan objects''.
Colored posets and colored quasisymmetric functions
Published
• View Publication
• BIB
The colored quasisymmetric functions, like the classic quasisymmetric functions, are known to form a Hopf algebra with a natural peak subalgebra. We show how these algebras arise as the image of the algebra of colored posets. To effect this approach we introduce colored analogs of $P$-partitions and enriched $P$-partitions. We also frame our results in terms of Aguiar, Bergeron, and Sottile's theory of combinatorial Hopf algebras and its colored analog.
Interpreting the two variable Distance enumerator of the Shi hyperplane arrangement
Published
• View Publication
• BIB
We give an interpretation of the coefficients of the two variable refinement $D_{\Sh_n}(q,t)$ of the distance enumerator of the Shi hyperplane arrangement $\Sh_n$ in $n$ dimensions. This two variable refinement was defined by Stanley \cite{stan-rota} for the general $r$-extended Shi hyperplane arrangements. We give an interpretation when $r=1$.
We define three natural three-dimensional partitions of the number $(n+1)^{n-1}$. The first arises from parking functions of length $n$, the second from special posets on $n$ vertices defined by Athanasiadis and the third from spanning trees on $n+1$ vertices. We call the three partitions as the parking partition, the tree-poset partition and the spanning-tree partition respectively. We show that one of the parts of the parking partition is identical to the number of edge-labelled trees with label set $\{1,2,...,n\}$ on $n+1$ unlabelled vertices. We prove that the parking partition majorises the tree-poset partition and conjecture that the spanning-tree partition also majorises the tree-poset partition.
On Derived Equivalences of Categories of Sheaves Over Finite Posets
Published in Journal of Pure and Applied Algebra 212 (2008), 435-451.
• View Publication
• BIB
A finite poset X carries a natural structure of a topological space. Fix a field k, and denote by D(X) the bounded derived category of sheaves of finite dimensional k-vector spaces over X. Two posets X and Y are said to be derived equivalent if D(X) and D(Y) are equivalent as triangulated categories.
We give explicit combinatorial properties of a poset which are invariant under derived equivalence, among them are the number of points, the Z-congruency class of the incidence matrix, and the Betti numbers.
Then we construct, for any closed subset Y of X, a strongly exceptional collection in D(X) and use it to show an equivalence between D(X) and the bounded derived category of a finite dimensional algebra A (depending on Y). We give conditions on X and Y under which A becomes an incidence algebra of a poset.
We deduce that a lexicographic sum of a collection of posets along a bipartite graph is derived equivalent to the lexicographic sum of the same collection along the opposite graph. This construction produces many new derived equivalences of posets and generalizes other well known ones.
As a corollary we show that the derived equivalence class of an ordinal sum of two posets does not depend on the order of summands. We give an example that this is not true for three summands.
The Euler characteristic of a category
Published in Documenta Mathematica 13 (2008), 21-49
• View Publication
• BIB
The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved, generalizing the classical inclusion-exclusion formula. Both rest on a generalization of Mobius-Rota inversion from posets to categories.
Actions on permutations and unimodality of descent polynomials
Published in European J. Combin. 29 (2008), no. 2, 514-531
• View Publication
• BIB
We study a group action on permutations due to Foata and Strehl and use it to prove that the descent generating polynomial of certain sets of permutations has a nonnegative expansion in the basis $\{t^i(1+t)^{n-1-2i}\}_{i=0}^m$, $m=\lfloor (n-1)/2 \rfloor$. This property implies symmetry and unimodality. We prove that the action is invariant under stack-sorting which strengthens recent unimodality results of Bóna. We prove that the generalized permutation patterns $(13-2)$ and $(2-31)$ are invariant under the action and use this to prove unimodality properties for a $q$-analog of the Eulerian numbers recently studied by Corteel, Postnikov, Steingrímsson and Williams.
We also extend the action to linear extensions of sign-graded posets to give a new proof of the unimodality of the $(P,ω)$-Eulerian polynomials of sign-graded posets and a combinatorial interpretations (in terms of Stembridge's peak polynomials) of the corresponding coefficients when expanded in the above basis.
Finally, we prove that the statistic defined as the number of vertices of even height in the unordered decreasing tree of a permutation has the same distribution as the number of descents on any set of permutations invariant under the action. When restricted to the set of stack-sortable permutations we recover a result of Kreweras.
Subgraph posets and graph reconstruction
We consider 3 (weighted) posets associated with a graph G - the poset P(G) of distinct induced unlabelled subgraphs, the lattice Omega(G) of distinct unlabelled graphs induced by connected partitions, and the poset Q(G) of distinct unlabelled edge-subgraphs. We study these posets given up to isomorphism, and their relation to the reconstruction conjectures. We show that when G is not a star or a disjoint union of edges, P(G) and Omega(G) can be constructed from each other. The result implies that trees are reconstructible from their abstract bond lattice. We present many results on the reconstruction questions about the chromatic symmetric function and the symmetric Tutte polynomial. In particular, we show that the symmetric Tutte polynomial of a tree can be constructed from its chromatic symmetric function.
We classify graphs that are not reconstructible from their abstract edge-subgraph posets, and further show that the families presented here are the only graphs not Q-reconstructible if and only if the edge reconstruction conjecture is true.
Let f be a bijection from the set of all unlabelled graphs to itself such that for all unlabelled graphs G and H, hom(G,H) = hom(f(G), f(H)). We conjecture that f is an identity map. We show that this conjecture is weaker than the edge reconstruction conjecture. Our conjecture is motivated by homomorphism cancellation results due to Lovász.
An example of generalized Schur operators involving planar binary trees
Published in Combinatorial representation theory and related topics, 85-97, RIMS Kôkyûroku Bessatsu, B8, 2008
• Search Publication
Young's lattice is a prototypical example of differential posets. Differential posets have the Robinson correspondence, the correspondence between permutations and pairs of standard tableaux with the same shape, as in the case of Young's lattice. Fomin introduced generalized Schur operators to generalize the method of Robinson correspondence in differential posets to the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard tableaux with the same shape. In this paper, we introduce operators on the vector space whose basis is the set of planar binary trees. To prove that the operators are generalized Schur operators, we construct a correspondence, which is an extension of Fomin's r-correspondence for them.
SPM Bulletin 18
CONTENTS: A surprising covering of the real line Unions of chains in dyadic compact spaces and topological groups On the Pytkeev property in spaces of continuous functions Selection principles related to alpha_i-properties On the Kocinac alpha_i properties A new selection principle First Countable Continua and Proper Forcing The convergence space of minimal usco mappings D-forced spaces: a new approach to resolvability Resolvability of spaces having small spread or extent Resolvability and monotone normality Isomorphism of Borel full groups A Poset Hierarchy Infinite asymptotic games Elementary submodels and separable monotonically normal compacta An application of CAT A general Stone representation theorem Measure Recognition Problem Cardinal invariants for C-cross topologies Problem of the Issue.
P-partition products and fundamental quasi-symmetric function positivity
Published
• View Publication
• BIB
We show that certain differences of products of $P$-partition generating functions are positive in the basis of fundamental quasi-symmetric functions L_α. This result interpolates between recent Schur positivity and monomial positivity results of the same flavor. We study the case of chains in detail, introducing certain ``cell transfer'' operations on compositions and an interesting related ``L-positivity'' poset. We introduce and study quasi-symmetric functions called ``wave Schur functions'' and use them to establish, in the case of chains, that the difference of products we study is itself equal to a single generating function K_{P,θ} for a labeled poset (P,θ). In the course of our investigations we establish some factorization properties of the ring of quasisymmetric functions.
A combinatorial rule for (co)minuscule Schubert calculus
Published in Adv. Math. 222 (2009), no. 2, 596--620.
• View Publication
• BIB
We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset combinatorics of [Proctor '04], thereby giving a generalization of the [Schützenberger `77]_jeu de taquin_ formulation of the Littlewood-Richardson rule that computes the intersection numbers of Grassmannian Schubert varieties. Our proof introduces_cominuscule recursions_, a general technique to relate the numbers for different Lie types. A discussion about connections of our rule to (geometric) representation theory is also briefly entertained.
q-Eulerian Polynomials: Excedance Number and Major index
Published
• View Publication
• BIB
In this research announcement we present a new q-analog of a classical formula for the exponential generating function of the Eulerian polynomials. The Eulerian polynomials enumerate permutations according to their number of descents or their number of excedances. Our q-Eulerian polynomials are the enumerators for the joint distribution of the excedance statistic and the major index. There is a vast literature on q-Eulerian polynomials which involve other combinations of Mahonian and Eulerian permutation statistics, but the combination of major index and excedance number seems to have been completely overlooked until now. We use symmetric function theory to prove our formula. In particular, we prove a symmetric function version of our formula, which involves an intriguing new class of symmetric functions. We also present connections with representations of the symmetric group on the homology of a poset recently introduced by Björner and Welker and on the cohomology of the toric variety associated with the Coxeter complex of the symmetric group, studied by Procesi, Stanley, Stembridge, Dolgachev and Lunts.
Representation of ideals of relational structures
The \textit{age} of a relational structure $\mathfrak A$ of signature $μ$ is the set $age(\mathfrak A)$ of its finite induced substructures, considered up to isomorphism. This is an ideal in the poset $Ω_μ$ consisting of finite structures of signature $μ$ and ordered by embeddability. If the structures are made of infinitely many relations and if, among those, infinitely many are at least binary then there are ideals which do not come from an age. We provide many examples. We particularly look at metric spaces and offer several problems. We also provide an example of an ideal $I$ of isomorphism types of at most countable structures whose signature consists of a single ternary relation symbol. This ideal does not come from the set $\age_{\mathfrak I}(\mathfrak A)$ of isomorphism types of substructures of $\mathfrak A$ induced on the members of an ideal $\mathfrak I$ of sets. This answers a question due to R. Cusin and J.F. Pabion (1970).
Pattern Recognition on Oriented Matroids: The Existence of a Tope Committee
Oriented matroids can serve as a tool of modeling of collective decision-making processes in contradictory problems of pattern recognition. We present a generalization of the committee techniques of pattern recognition to oriented matroids. A tope committee for an oriented matroid is a subset of its maximal covectors such that every positive halfspace contains more than half of the maximal covectors from this subset. For a large subfamily of oriented matroids their committee structure is quite rich; for example, any maximal chains in their tope posets provide one with information sufficient to construct a committee.