-
Poset topology, moves, and Bruhat interval polytope lattices
Authors:
Christian Gaetz,
Patricia Hersh
Abstract:
We study the poset topology of lattices arising from orientations of 1-skeleta of directionally simple polytopes, with Bruhat interval polytopes $Q_{e,w}$ as our main example. We show that the order complex $Δ((u,v)_w)$ of an interval therein is homotopy equivalent to a sphere if $Q_{u,v}$ is a face of $Q_{e,w}$ and is otherwise contractible. This significantly generalizes the known case of the pe…
▽ More
We study the poset topology of lattices arising from orientations of 1-skeleta of directionally simple polytopes, with Bruhat interval polytopes $Q_{e,w}$ as our main example. We show that the order complex $Δ((u,v)_w)$ of an interval therein is homotopy equivalent to a sphere if $Q_{u,v}$ is a face of $Q_{e,w}$ and is otherwise contractible. This significantly generalizes the known case of the permutahedron. We also show that saturated chains from $u$ to $v$ in such lattices are connected, and in fact highly connected, under moves corresponding to flipping across a 2-face. When $w$ is a Grassmannian permutation, this implies a strengthening of the restriction of Postnikov's move-equivalence theorem to the class of BCFW bridge decomposable plabic graphs.
△ Less
Submitted 10 October, 2024;
originally announced October 2024.
-
Diameter bound for facet-ridge incidence graphs of geometric lattices
Authors:
Patricia Hersh,
John Machacek
Abstract:
This paper proves that the facet-ridge incidence graph of the order complex of any finite geometric lattice of rank $r$ has diameter at most ${r \choose 2}$. A key ingredient is the well-known fact that every ordering of the atoms of any finite geometric lattice gives rise to a lexicographic shelling of its order complex. The paper also gives results that provide some evidence that this bound ough…
▽ More
This paper proves that the facet-ridge incidence graph of the order complex of any finite geometric lattice of rank $r$ has diameter at most ${r \choose 2}$. A key ingredient is the well-known fact that every ordering of the atoms of any finite geometric lattice gives rise to a lexicographic shelling of its order complex. The paper also gives results that provide some evidence that this bound ought to be sharp as well as examples indicating that the question of sharpness is quite subtle.
△ Less
Submitted 17 August, 2024;
originally announced August 2024.
-
Extensions of Heterogeneity in Integration and Prediction (HIP) with R Shiny Application
Authors:
J. Butts,
C. Wendt,
R. Bowler,
C. P. Hersh,
Q. Long,
L. Eberly,
S. E. Safo
Abstract:
Multiple data views measured on the same set of participants is becoming more common and has the potential to deepen our understanding of many complex diseases by analyzing these different views simultaneously. Equally important, many of these complex diseases show evidence of subgroup heterogeneity (e.g., by sex or race). HIP (Heterogeneity in Integration and Prediction) is among the first method…
▽ More
Multiple data views measured on the same set of participants is becoming more common and has the potential to deepen our understanding of many complex diseases by analyzing these different views simultaneously. Equally important, many of these complex diseases show evidence of subgroup heterogeneity (e.g., by sex or race). HIP (Heterogeneity in Integration and Prediction) is among the first methods proposed to integrate multiple data views while also accounting for subgroup heterogeneity to identify common and subgroup-specific markers of a particular disease. However, HIP is applicable to continuous outcomes and requires programming expertise by the user. Here we propose extensions to HIP that accommodate multi-class, Poisson, and Zero-Inflated Poisson outcomes while retaining the benefits of HIP. Additionally, we introduce an R Shiny application, accessible on shinyapps.io at https://multi-viewlearn.shinyapps.io/HIP_ShinyApp/, that provides an interface with the Python implementation of HIP to allow more researchers to use the method anywhere and on any device. We applied HIP to identify genes and proteins common and specific to males and females that are associated with exacerbation frequency. Although some of the identified genes and proteins show evidence of a relationship with chronic obstructive pulmonary disease (COPD) in existing literature, others may be candidates for future research investigating their relationship with COPD. We demonstrate the use of the Shiny application with a publicly available data. An R-package for HIP would be made available at https://github.com/lasandrall/HIP.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Explanations of Black-Box Models based on Directional Feature Interactions
Authors:
Aria Masoomi,
Davin Hill,
Zhonghui Xu,
Craig P Hersh,
Edwin K. Silverman,
Peter J. Castaldi,
Stratis Ioannidis,
Jennifer Dy
Abstract:
As machine learning algorithms are deployed ubiquitously to a variety of domains, it is imperative to make these often black-box models transparent. Several recent works explain black-box models by capturing the most influential features for prediction per instance; such explanation methods are univariate, as they characterize importance per feature. We extend univariate explanation to a higher-or…
▽ More
As machine learning algorithms are deployed ubiquitously to a variety of domains, it is imperative to make these often black-box models transparent. Several recent works explain black-box models by capturing the most influential features for prediction per instance; such explanation methods are univariate, as they characterize importance per feature. We extend univariate explanation to a higher-order; this enhances explainability, as bivariate methods can capture feature interactions in black-box models, represented as a directed graph. Analyzing this graph enables us to discover groups of features that are equally important (i.e., interchangeable), while the notion of directionality allows us to identify the most influential features. We apply our bivariate method on Shapley value explanations, and experimentally demonstrate the ability of directional explanations to discover feature interactions. We show the superiority of our method against state-of-the-art on CIFAR10, IMDB, Census, Divorce, Drug, and gene data.
△ Less
Submitted 15 April, 2023;
originally announced April 2023.
-
Generalized recursive atom ordering and equivalence to CL-shellability
Authors:
Patricia Hersh,
Grace Stadnyk
Abstract:
Björner and Wachs introduced CL-shellability as a technique for studying the topological structure of order complexes of partially ordered sets (posets). They also introduced the notion of recursive atom ordering, and they proved that a finite bounded poset is CL-shellable if and only if it admits a recursive atom ordering.
In this paper, a generalization of the notion of recursive atom ordering…
▽ More
Björner and Wachs introduced CL-shellability as a technique for studying the topological structure of order complexes of partially ordered sets (posets). They also introduced the notion of recursive atom ordering, and they proved that a finite bounded poset is CL-shellable if and only if it admits a recursive atom ordering.
In this paper, a generalization of the notion of recursive atom ordering is introduced. A finite bounded poset is proven to admit such a generalized recursive atom ordering if and only if it admits a traditional recursive atom ordering. This is also proven equivalent to admitting a CC-shelling (a type of shelling introduced by Kozlov) with a further property called self-consistency. Thus, CL-shellability is proven equivalent to self-consistent CC-shellability. As an application, the uncrossing posets, namely the face posets for stratified spaces of planar electrical networks, are proven to be dual CL-shellable.
△ Less
Submitted 21 August, 2024; v1 submitted 7 December, 2022;
originally announced December 2022.
-
Accounting for data heterogeneity in integrative analysis and prediction methods: An application to Chronic Obstructive Pulmonary Disease
Authors:
J. Butts,
C. Wendt,
R. Bowler,
C. P. Hersh,
Q. Long,
L. Eberly,
S. E. Safo
Abstract:
Epidemiologic and genetic studies in chronic obstructive pulmonary disease (COPD) and many complex diseases suggest subgroup disparities (e.g., by sex). We consider this problem from the standpoint of integrative analysis where we combine information from different views (e.g., genomics, proteomics, clinical data). Existing integrative analysis methods ignore the heterogeneity in subgroups, and st…
▽ More
Epidemiologic and genetic studies in chronic obstructive pulmonary disease (COPD) and many complex diseases suggest subgroup disparities (e.g., by sex). We consider this problem from the standpoint of integrative analysis where we combine information from different views (e.g., genomics, proteomics, clinical data). Existing integrative analysis methods ignore the heterogeneity in subgroups, and stacking the views and accounting for subgroup heterogeneity does not model the association among the views. To address analytical challenges in the problem of our interest, we propose a statistical approach for joint association and prediction that leverages the strengths in each view to identify molecular signatures that are shared by and specific to males and females and that contribute to the variation in COPD, measured by airway wall thickness. HIP (Heterogeneity in Integration and Prediction) accounts for subgroup heterogeneity, allows for sparsity in variable selection, is applicable to multi-class and to univariate or multivariate continuous outcomes, and incorporates covariate adjustment. We develop efficient algorithms in PyTorch. Our COPD findings have identified several proteins, genes, and pathways that are common and specific to males and females, some of which have been implicated in COPD, while others could lead to new insights into sex differences in COPD mechanisms.
△ Less
Submitted 24 September, 2023; v1 submitted 12 November, 2021;
originally announced November 2021.
-
Robust Integrative Biclustering for Multi-view Data
Authors:
W. Zhang,
C. Wendt,
R. Bowler,
C. P. Hersh,
S. E. Safo
Abstract:
In many biomedical research, multiple views of data (e.g., genomics, proteomics) are available, and a particular interest might be the detection of sample subgroups characterized by specific groups of variables. Biclustering methods are well-suited for this problem as they assume that specific groups of variables might be relevant only to specific groups of samples. Many biclustering methods exist…
▽ More
In many biomedical research, multiple views of data (e.g., genomics, proteomics) are available, and a particular interest might be the detection of sample subgroups characterized by specific groups of variables. Biclustering methods are well-suited for this problem as they assume that specific groups of variables might be relevant only to specific groups of samples. Many biclustering methods exist for identifying row-column clusters in a view but few methods exist for data from multiple views. The few existing algorithms are heavily dependent on regularization parameters for getting row-column clusters, and they impose unnecessary burden on users thus limiting their use in practice. We extend an existing biclustering method based on sparse singular value decomposition for single-view data to data from multiple views. Our method, integrative sparse singular value decomposition (iSSVD), incorporates stability selection to control Type I error rates, estimates the probability of samples and variables to belong to a bicluster, finds stable biclusters, and results in interpretable row-column associations. Simulations and real data analyses show that iSSVD outperforms several other single- and multi-view biclustering methods and is able to detect meaningful biclusters. iSSVD is a user-friendly, computationally efficient algorithm that will be useful in many disease subtyping applications.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
sJIVE: Supervised Joint and Individual Variation Explained
Authors:
Elise F. Palzer,
Christine Wendt,
Russell Bowler,
Craig P. Hersh,
Sandra E. Safo,
Eric F. Lock
Abstract:
Analyzing multi-source data, which are multiple views of data on the same subjects, has become increasingly common in molecular biomedical research. Recent methods have sought to uncover underlying structure and relationships within and/or between the data sources, and other methods have sought to build a predictive model for an outcome using all sources. However, existing methods that do both are…
▽ More
Analyzing multi-source data, which are multiple views of data on the same subjects, has become increasingly common in molecular biomedical research. Recent methods have sought to uncover underlying structure and relationships within and/or between the data sources, and other methods have sought to build a predictive model for an outcome using all sources. However, existing methods that do both are presently limited because they either (1) only consider data structure shared by all datasets while ignoring structures unique to each source, or (2) they extract underlying structures first without consideration to the outcome. We propose a method called supervised joint and individual variation explained (sJIVE) that can simultaneously (1) identify shared (joint) and source-specific (individual) underlying structure and (2) build a linear prediction model for an outcome using these structures. These two components are weighted to compromise between explaining variation in the multi-source data and in the outcome. Simulations show sJIVE to outperform existing methods when large amounts of noise are present in the multi-source data. An application to data from the COPDGene study reveals gene expression and proteomic patterns that are predictive of lung function. Functions to perform sJIVE are included in the R.JIVE package, available online at http://github.com/lockEF/r.jive .
△ Less
Submitted 25 February, 2021;
originally announced February 2021.
-
Fibers of maps to totally nonnegative spaces
Authors:
James F. Davis,
Patricia Hersh,
Ezra Miller
Abstract:
This paper undertakes a study of the structure of the fibers of the Chevalley exponentiation maps $f_{(i_1,\dots ,i_d)}$. The fibers of these maps $f_{(i_1,\dots ,i_d)}$ encode the nonnegative real relations amongst exponentiated Chevalley generators. Our main theorems show that the fibers admit cell stratifications, that these cell stratifications have the same face posets as interior dual block…
▽ More
This paper undertakes a study of the structure of the fibers of the Chevalley exponentiation maps $f_{(i_1,\dots ,i_d)}$. The fibers of these maps $f_{(i_1,\dots ,i_d)}$ encode the nonnegative real relations amongst exponentiated Chevalley generators. Our main theorems show that the fibers admit cell stratifications, that these cell stratifications have the same face posets as interior dual block complexes of subword complexes, and that these posets are contractible.
We conjecture that each such fiber is a regular CW complex homeomorphic to the interior dual block complex of a subword complex. This conjecture is shown to have as a corollary a new proof of the Fomin-Shapiro Conjecture by way of general topological results regarding approximating maps by homeomorphisms.
△ Less
Submitted 1 December, 2024; v1 submitted 4 March, 2019;
originally announced March 2019.
-
Shellability of face posets of electrical networks and the CW poset property
Authors:
Patricia Hersh,
Richard Kenyon
Abstract:
We prove a conjecture of Thomas Lam that the face posets of stratified spaces of planar resistor networks are shellable. These posets are called uncrossing partial orders. This shellability result combines with Lam's previous result that these same posets are Eulerian to imply that they are CW posets, namely that they are face posets of regular CW complexes. Certain subsets of uncrossing partial o…
▽ More
We prove a conjecture of Thomas Lam that the face posets of stratified spaces of planar resistor networks are shellable. These posets are called uncrossing partial orders. This shellability result combines with Lam's previous result that these same posets are Eulerian to imply that they are CW posets, namely that they are face posets of regular CW complexes. Certain subsets of uncrossing partial orders are shown to be isomorphic to type A Bruhat order intervals; our shelling is shown to coincide on these intervals with a Bruhat order shelling which was constructed by Matthew Dyer using a reflection order.
Our shelling for uncrossing posets also yields an explicit shelling for each interval in the face posets of the edge product spaces of phylogenetic trees, namely in the Tuffley posets, by virtue of each interval in a Tuffley poset being isomorphic to an interval in an uncrossing poset. This yields a more explicit proof of the result of Gill, Linusson, Moulton and Steel that the CW decomposition of Moulton and Steel for the edge product space of phylogenetic trees is a regular CW decomposition.
△ Less
Submitted 24 August, 2024; v1 submitted 16 March, 2018;
originally announced March 2018.
-
Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology
Authors:
Patricia Hersh
Abstract:
Given any polytope $P$ and any generic linear functional ${\bf c} $, one obtains a directed graph $G(P,{\bf c})$ from the 1-skeleton of $P$ by orienting each edge $e(u,v)$ from $u$ to $v$ for ${\bf c} (u) < {\bf c} ( v)$. For $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice $L$, the join of any collection $S$ of elements which all cover a common element $u$ in $L$ is proven…
▽ More
Given any polytope $P$ and any generic linear functional ${\bf c} $, one obtains a directed graph $G(P,{\bf c})$ from the 1-skeleton of $P$ by orienting each edge $e(u,v)$ from $u$ to $v$ for ${\bf c} (u) < {\bf c} ( v)$. For $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice $L$, the join of any collection $S$ of elements which all cover a common element $u$ in $L$ is proven to equal the sink of the smallest face of $P$ containing $u$ and all of the elements of $S$. The author conjectures for such $G(P,{\bf c})$ that no directed path in $G(P,{\bf c})$ ever revisits any facet of $P$. This would imply for such $P$ and ${\bf c}$ that the simplex method for linear programming is efficient under all possible pivot rules. This conjecture is proven for 3-polytopes and for spindles.
For simple polytopes in which $G(P,{\bf c})$ is the Hasse diagram of a lattice $L$, the order complex of each open interval in $L$ is proven homotopy equivalent to a ball or a sphere. Applications are given to the weak Bruhat order, the Tamari lattice, and the Cambrian lattices.
This paper concludes with an appendix by Dominik Preußproving the monotone Hirsch conjecture for $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice. This confirms one of the main consequences that the author's conjecture would have.
△ Less
Submitted 8 August, 2023; v1 submitted 12 February, 2018;
originally announced February 2018.
-
From the weak Bruhat order to crystal posets
Authors:
Patricia Hersh,
Cristian Lenart
Abstract:
We investigate the ways in which fundamental properties of the weak Bruhat order on a Weyl group can be lifted (or not) to a corresponding highest weight crystal graph, viewed as a partially ordered set; the latter projects to the weak order via the key map. First, a crystal theoretic analogue of the statement that any two reduced expressions for the same Coxeter group element are related by Coxet…
▽ More
We investigate the ways in which fundamental properties of the weak Bruhat order on a Weyl group can be lifted (or not) to a corresponding highest weight crystal graph, viewed as a partially ordered set; the latter projects to the weak order via the key map. First, a crystal theoretic analogue of the statement that any two reduced expressions for the same Coxeter group element are related by Coxeter moves is proven for all lower intervals in a simply or doubly laced crystal. On the other hand, it is shown that no finite set of moves exists, even in type A, for arbitrary crystal graph intervals. In fact, it is shown that there are relations of arbitrarily high degree amongst crystal operators that are not implied by lower degree relations. Second, for crystals associated to Kac-Moody algebras it is shown for lower intervals that the Mobius function is always 0, 1, or -1, and in finite type this is also proven for upper intervals, with a precise formula given in each case. Moreover, the order complex for each of these intervals is proven to be homotopy equivalent to a ball or to a sphere of some dimension, despite often not being shellable. For general intervals, examples are constructed with arbitrarily large Mobius function, again even in type A. Any interval having Mobius function other than 0, 1, or -1 is shown to contain within it a relation amongst crystal operators that is not implied by the relations giving rise to the local structure of the crystal, making precise a tight relationship between the Mobius function and these somewhat unexpected relations appearing in crystals.
New properties of the key map are also derived. The key is shown to be determined entirely by the edge-colored poset-theoretic structure of the crystal, and a recursive algorithm is given for calculating it.
△ Less
Submitted 18 October, 2016; v1 submitted 19 October, 2015;
originally announced October 2015.
-
Representation stability for cohomology of configuration spaces in $\mathbf{R}^d$
Authors:
Patricia Hersh,
Victor Reiner
Abstract:
This paper studies representation stability in the sense of Church and Farb for representations of the symmetric group $S_n$ on the cohomology of the configuration space of $n$ ordered points in $\mathbf{R}^d$. This cohomology is known to vanish outside of dimensions divisible by $d-1$; it is shown here that the $S_n$-representation on the $i(d-1)^{st}$ cohomology stabilizes sharply at $n=3i$ (res…
▽ More
This paper studies representation stability in the sense of Church and Farb for representations of the symmetric group $S_n$ on the cohomology of the configuration space of $n$ ordered points in $\mathbf{R}^d$. This cohomology is known to vanish outside of dimensions divisible by $d-1$; it is shown here that the $S_n$-representation on the $i(d-1)^{st}$ cohomology stabilizes sharply at $n=3i$ (resp. $n=3i+1$) when $d$ is odd (resp. even).
The result comes from analyzing $S_n$-representations known to control the cohomology: the Whitney homology of set partition lattices for $d$ even, and the higher Lie representations for $d$ odd. A similar analysis shows that the homology of any rank-selected subposet in the partition lattice stabilizes by $n\geq 4i$, where $i$ is the maximum rank selected.
Further properties of the Whitney homology and more refined stability statements for $S_n$-isotypic components are also proven, including conjectures of J. Wiltshire-Gordon.
△ Less
Submitted 11 December, 2015; v1 submitted 15 May, 2015;
originally announced May 2015.
-
CW posets after the Poincare Conjecture
Authors:
Patricia Hersh
Abstract:
Anders Bjorner characterized which finite graded partially ordered sets arise as the posets of closure relations on cells of a finite, regular CW complex. His characterization of these "CW posets" required each open interval $(\hat{0},u)$ to have order complex homeomorphic to a sphere of dimension $rk(u)-2$. Work of Danaraj and Klee showed that sufficient conditions were for the poset to be thin a…
▽ More
Anders Bjorner characterized which finite graded partially ordered sets arise as the posets of closure relations on cells of a finite, regular CW complex. His characterization of these "CW posets" required each open interval $(\hat{0},u)$ to have order complex homeomorphic to a sphere of dimension $rk(u)-2$. Work of Danaraj and Klee showed that sufficient conditions were for the poset to be thin and shellable. The proof of the Poincare Conjecture enables the requirement of shellability to be replaced by the homotopy Cohen-Macaulay property. This expands the range of tools that may be used to prove a poset is a CW poset.
△ Less
Submitted 5 November, 2014;
originally announced November 2014.
-
SB-labelings and posets with each interval homotopy equivalent to a sphere or a ball
Authors:
Patricia Hersh,
Karola Meszaros
Abstract:
We introduce a new class of poset edge labelings for locally finite lattices which we call $SB$-labelings. We prove for finite lattices which admit an $SB$-labeling that each open interval has the homotopy type of a ball or of a sphere of some dimension. Natural examples include the weak order, the Tamari lattice, and the finite distributive lattices.
We introduce a new class of poset edge labelings for locally finite lattices which we call $SB$-labelings. We prove for finite lattices which admit an $SB$-labeling that each open interval has the homotopy type of a ball or of a sphere of some dimension. Natural examples include the weak order, the Tamari lattice, and the finite distributive lattices.
△ Less
Submitted 29 April, 2017; v1 submitted 20 July, 2014;
originally announced July 2014.
-
The q=-1 phenomenon via homology concentration
Authors:
Patricia Hersh,
John Shareshian,
Dennis Stanton
Abstract:
We introduce a homological approach to exhibiting instances of Stembridge's q=-1 phenomenon. This approach is shown to explain two important instances of the phenomenon, namely that of partitions whose Ferrers diagrams fit in a rectangle of fixed size and that of plane partitions fitting in a box of fixed size. A more general framework of invariant and coinvariant complexes with coefficients taken…
▽ More
We introduce a homological approach to exhibiting instances of Stembridge's q=-1 phenomenon. This approach is shown to explain two important instances of the phenomenon, namely that of partitions whose Ferrers diagrams fit in a rectangle of fixed size and that of plane partitions fitting in a box of fixed size. A more general framework of invariant and coinvariant complexes with coefficients taken mod 2 is developed, and as a part of this story an analogous homological result for necklaces is conjectured.
△ Less
Submitted 25 October, 2013;
originally announced October 2013.
-
Toric Cubes
Authors:
Alexander Engström,
Patricia Hersh,
Bernd Sturmfels
Abstract:
A toric cube is a subset of the standard cube defined by binomial inequalities. These basic semialgebraic sets are precisely the images of standard cubes under monomial maps. We study toric cubes from the perspective of topological combinatorics. Explicit decompositions as CW-complexes are constructed. Their open cells are interiors of toric cubes and their boundaries are subcomplexes. The motivat…
▽ More
A toric cube is a subset of the standard cube defined by binomial inequalities. These basic semialgebraic sets are precisely the images of standard cubes under monomial maps. We study toric cubes from the perspective of topological combinatorics. Explicit decompositions as CW-complexes are constructed. Their open cells are interiors of toric cubes and their boundaries are subcomplexes. The motivating example of a toric cube is the edge-product space in phylogenetics, and our work generalizes results known for that space.
△ Less
Submitted 18 August, 2012; v1 submitted 20 February, 2012;
originally announced February 2012.
-
A lexicographic shellability characterization of geometric lattices
Authors:
Ruth Davidson,
Patricia Hersh
Abstract:
Geometric lattices are characterized in this paper as those finite, atomic lattices such that every atom ordering induces a lexicographic shelling given by an edge labeling known as a minimal labeling. Equivalently, geometric lattices are shown to be exactly those finite lattices such that every ordering on the join-irreducibles induces a lexicographic shelling. This new characterization fits into…
▽ More
Geometric lattices are characterized in this paper as those finite, atomic lattices such that every atom ordering induces a lexicographic shelling given by an edge labeling known as a minimal labeling. Equivalently, geometric lattices are shown to be exactly those finite lattices such that every ordering on the join-irreducibles induces a lexicographic shelling. This new characterization fits into a similar paradigm as McNamara's characterization of supersolvable lattices as those lattices admitting a different type of lexicographic shelling, namely one in which each maximal chain is labeled with a permutation of {1,...,n}.
△ Less
Submitted 15 October, 2013; v1 submitted 9 August, 2011;
originally announced August 2011.
-
Symmetric chain decomposition for cyclic quotients of Boolean algebras and relation to cyclic crystals
Authors:
Patricia Hersh,
Anne Schilling
Abstract:
The quotient of a Boolean algebra by a cyclic group is proven to have a symmetric chain decomposition. This generalizes earlier work of Griggs, Killian and Savage on the case of prime order, giving an explicit construction for any order, prime or composite. The combinatorial map specifying how to proceed downward in a symmetric chain is shown to be a natural cyclic analogue of the…
▽ More
The quotient of a Boolean algebra by a cyclic group is proven to have a symmetric chain decomposition. This generalizes earlier work of Griggs, Killian and Savage on the case of prime order, giving an explicit construction for any order, prime or composite. The combinatorial map specifying how to proceed downward in a symmetric chain is shown to be a natural cyclic analogue of the $\mathfrak{sl}_2$ lowering operator in the theory of crystal bases.
△ Less
Submitted 1 December, 2011; v1 submitted 20 July, 2011;
originally announced July 2011.
-
Sorting orders, subword complexes, Bruhat order and total positivity
Authors:
Drew Armstrong,
Patricia Hersh
Abstract:
In this note we construct a poset map from a Boolean algebra to the Bruhat order which unveils an interesting connection between subword complexes, sorting orders, and certain totally nonnegative spaces. This relationship gives a new proof of Björner and Wachs' result \cite{BW} that the proper part of Bruhat order is homotopy equivalent to the proper part of a Boolean algebra --- that is, to a sph…
▽ More
In this note we construct a poset map from a Boolean algebra to the Bruhat order which unveils an interesting connection between subword complexes, sorting orders, and certain totally nonnegative spaces. This relationship gives a new proof of Björner and Wachs' result \cite{BW} that the proper part of Bruhat order is homotopy equivalent to the proper part of a Boolean algebra --- that is, to a sphere. We also obtain a geometric interpretation for sorting orders. We conclude with two new results: that the intersection of all sorting orders is the weak order, and the union of sorting orders is the Bruhat order.
△ Less
Submitted 3 November, 2010; v1 submitted 15 September, 2009;
originally announced September 2009.
-
Shelling Coxeter-like Complexes and Sorting on Trees
Authors:
Patricia Hersh
Abstract:
In their work on `Coxeter-like complexes', Babson and Reiner introduced a simplicial complex $Δ_T$ associated to each tree $T$ on $n$ nodes, generalizing chessboard complexes and type A Coxeter complexes. They conjectured that $Δ_T$ is $(n-b-1)$-connected when the tree has $b$ leaves. We provide a shelling for the $(n-b)$-skeleton of $Δ_T$, thereby proving this conjecture.
In the process, we i…
▽ More
In their work on `Coxeter-like complexes', Babson and Reiner introduced a simplicial complex $Δ_T$ associated to each tree $T$ on $n$ nodes, generalizing chessboard complexes and type A Coxeter complexes. They conjectured that $Δ_T$ is $(n-b-1)$-connected when the tree has $b$ leaves. We provide a shelling for the $(n-b)$-skeleton of $Δ_T$, thereby proving this conjecture.
In the process, we introduce notions of weak order and inversion functions on the labellings of a tree $T$ which imply shellability of $Δ_T$, and we construct such inversion functions for a large enough class of trees to deduce the aforementioned conjecture and also recover the shellability of chessboard complexes $M_{m,n}$ with $n \ge 2m-1$. We also prove that the existence or nonexistence of an inversion function for a fixed tree governs which networks with a tree structure admit greedy sorting algorithms by inversion elimination and provide an inversion function for trees where each vertex has capacity at least its degree minus one.
△ Less
Submitted 14 September, 2008;
originally announced September 2008.
-
Combinatorial Constructions of Weight Bases: The Gelfand-Tsetlin Basis
Authors:
Patricia Hersh,
Cristian Lenart
Abstract:
This work is part of a project on weight bases for the irreducible representations of semisimple Lie algebras with respect to which the representation matrices of the Chevalley generators are given by explicit formulas. In the case of sl_n, the celebrated Gelfand-Tsetlin basis is the only such basis known. Using the setup of supporting graphs developed by Donnelly, we present a simple combinator…
▽ More
This work is part of a project on weight bases for the irreducible representations of semisimple Lie algebras with respect to which the representation matrices of the Chevalley generators are given by explicit formulas. In the case of sl_n, the celebrated Gelfand-Tsetlin basis is the only such basis known. Using the setup of supporting graphs developed by Donnelly, we present a simple combinatorial proof of the Gelfand-Tsetlin formulas based on a rational function identity. Some properties of the Gelfand-Tsetlin basis are derived via an algorithm for solving certain equations on the lattice of semistandard Young tableaux.
△ Less
Submitted 19 May, 2008; v1 submitted 29 April, 2008;
originally announced April 2008.
-
Regular cell complexes in total positivity
Authors:
Patricia Hersh
Abstract:
This paper proves a conjecture of Fomin and Shapiro that their combinatorial model for any Bruhat interval is a regular CW complex which is homeomorphic to a ball. The model consists of a stratified space which may be regarded as the link of an open cell intersected with a larger closed cell, all within the totally nonnegative part of the unipotent radical of an algebraic group. A parametrization…
▽ More
This paper proves a conjecture of Fomin and Shapiro that their combinatorial model for any Bruhat interval is a regular CW complex which is homeomorphic to a ball. The model consists of a stratified space which may be regarded as the link of an open cell intersected with a larger closed cell, all within the totally nonnegative part of the unipotent radical of an algebraic group. A parametrization due to Lusztig turns out to have all the requisite features to provide the attaching maps. A key ingredient is a new, readily verifiable criterion for which finite CW complexes are regular involving an interplay of topology with combinatorics.
△ Less
Submitted 5 July, 2013; v1 submitted 8 November, 2007;
originally announced November 2007.
-
Maximum Likelihood Estimation in Latent Class Models For Contingency Table Data
Authors:
S. E. Fienberg,
P. Hersh,
A. Rinaldo,
Y. Zhou
Abstract:
Statistical models with latent structure have a history going back to the 1950s and have seen widespread use in the social sciences and, more recently, in computational biology and in machine learning. Here we study the basic latent class model proposed originally by the sociologist Paul F. Lazarfeld for categorical variables, and we explain its geometric structure. We draw parallels between the…
▽ More
Statistical models with latent structure have a history going back to the 1950s and have seen widespread use in the social sciences and, more recently, in computational biology and in machine learning. Here we study the basic latent class model proposed originally by the sociologist Paul F. Lazarfeld for categorical variables, and we explain its geometric structure. We draw parallels between the statistical and geometric properties of latent class models and we illustrate geometrically the causes of many problems associated with maximum likelihood estimation and related statistical inference. In particular, we focus on issues of non-identifiability and determination of the model dimension, of maximization of the likelihood function and on the effect of symmetric data. We illustrate these phenomena with a variety of synthetic and real-life tables, of different dimension and complexity. Much of the motivation for this work stems from the "100 Swiss Francs" problem, which we introduce and describe in detail.
△ Less
Submitted 21 September, 2007;
originally announced September 2007.
-
Random walks on quasisymmetric functions
Authors:
Patricia Hersh,
Samuel K. Hsiao
Abstract:
Conditions are provided under which an endomorphism on quasisymmetric functions gives rise to a left random walk on the descent algebra which is also a lumping of a left random walk on permutations. Spectral results are also obtained. Several well-studied random walks are now realized this way: Stanley's QS-distribution results from endomorphisms given by evaluation maps, a-shuffles result from…
▽ More
Conditions are provided under which an endomorphism on quasisymmetric functions gives rise to a left random walk on the descent algebra which is also a lumping of a left random walk on permutations. Spectral results are also obtained. Several well-studied random walks are now realized this way: Stanley's QS-distribution results from endomorphisms given by evaluation maps, a-shuffles result from the a-th convolution power of the universal character, and the Tchebyshev operator of the second kind introduced recently by Ehrenborg and Readdy yields traditional riffle shuffles. A conjecture of Ehrenborg regarding the spectra for a family of random walks on ab-words is proven. A theorem of Stembridge from the theory of enriched P-partitions is also recovered as a special case.
△ Less
Submitted 10 September, 2007;
originally announced September 2007.
-
Coloring complexes and arrangements
Authors:
Patricia Hersh,
Ed Swartz
Abstract:
Steingrimsson's coloring complex and Jonsson's unipolar complex are interpreted in terms of hyperplane arrangements. This viewpoint leads to short proofs that all coloring complexes and a large class of unipolar complexes have convex ear decompositions. These convex ear decompositions impose strong new restrictions on the chromatic polynomials of all finite graphs. Similar results are obtained f…
▽ More
Steingrimsson's coloring complex and Jonsson's unipolar complex are interpreted in terms of hyperplane arrangements. This viewpoint leads to short proofs that all coloring complexes and a large class of unipolar complexes have convex ear decompositions. These convex ear decompositions impose strong new restrictions on the chromatic polynomials of all finite graphs. Similar results are obtained for characteristic polynomials of submatroids of type B_n arrangements.
△ Less
Submitted 25 June, 2007;
originally announced June 2007.
-
Groebner basis degree bounds on $\Tor^{k[Λ]}_\bullet(k,k)_\bullet$ and discrete Morse theory for posets
Authors:
Patricia Hersh,
Volkmar Welker
Abstract:
The purpose of this paper is twofold.
1. We give combinatorial bounds on the ranks of the groups $\Tor^{R}_\bullet(k,k)_\bullet$ in the case where $R = k[Λ]$ is an affine semi-group ring, and in the process provide combinatorial proofs for bounds by Eisenbud, Reeves and Totaro on which Tor groups vanish. In addition, we show that if the bounds hold for a field $k$ then they hold for…
▽ More
The purpose of this paper is twofold.
1. We give combinatorial bounds on the ranks of the groups $\Tor^{R}_\bullet(k,k)_\bullet$ in the case where $R = k[Λ]$ is an affine semi-group ring, and in the process provide combinatorial proofs for bounds by Eisenbud, Reeves and Totaro on which Tor groups vanish. In addition, we show that if the bounds hold for a field $k$ then they hold for $\field[Λ]$ and any field $\field$. Moreover, we provide a combinatorial construction for a free resolution of $\field$ over $\field[Λ]$ which achieves these bounds.
2. We extend the lexicographic discrete Morse function construction of Babson and Hersh for the determination of the homotopy type and homology of order complexes of posets to a larger class of facet orderings that includes orders induced by monomial term orders.
Since it is known that the order complexes of finite intervals in the poset of monomials in $k[Λ]$ ordered by divisibility in $k[Λ]$ govern the $\Tor$-groups, the newly developed tools are applicable and serve as the main ingredients for the proof of the bounds and the construction of the resolution.
△ Less
Submitted 30 December, 2003;
originally announced December 2003.
-
Connectivity of h-complexes
Authors:
Patricia Hersh
Abstract:
This paper verifies a conjecture of Edelman and Reiner regarding the homology of the $h$-complex of a Boolean algebra. A discrete Morse function with no low-dimensional critical cells is constructed, implying a lower bound on connectivity. This together with an Alexander duality result of Edelman and Reiner implies homology-vanishing also in high dimensions. Finally, possible generalizations to…
▽ More
This paper verifies a conjecture of Edelman and Reiner regarding the homology of the $h$-complex of a Boolean algebra. A discrete Morse function with no low-dimensional critical cells is constructed, implying a lower bound on connectivity. This together with an Alexander duality result of Edelman and Reiner implies homology-vanishing also in high dimensions. Finally, possible generalizations to certain classes of supersolvable lattices are suggested.
△ Less
Submitted 16 November, 2003;
originally announced November 2003.
-
On optimizing discrete Morse functions
Authors:
Patricia Hersh
Abstract:
Forman introduced discrete Morse theory as a tool for studying CW complexes by essentially collapsing them onto smaller, simpler-to-understand complexes of critical cells in [Fo]. Chari reformulated discrete Morse theory for regular cell complexes in terms of acyclic matchings on face posets in [Ch]. This paper addresses two questions: (1) under what conditions may several gradient paths in a disc…
▽ More
Forman introduced discrete Morse theory as a tool for studying CW complexes by essentially collapsing them onto smaller, simpler-to-understand complexes of critical cells in [Fo]. Chari reformulated discrete Morse theory for regular cell complexes in terms of acyclic matchings on face posets in [Ch]. This paper addresses two questions: (1) under what conditions may several gradient paths in a discrete Morse function simultaneously be reversed to cancel several pairs of critical cells, to further collapse the complex, and (2) how to use lexicographically first reduced expressions for permutations (in the sense of [Ed]) to make (1) practical for poset order complexes.
Applications include Cohen-Macaulayness of a new partial order, recently introduced by Remmel, on the symmetric group (by refinement on the underlying partitions into cycles) as well as a simple new proof of the homotopy type for intervals in the weak order for the symmetric group. Additional applications appear in [HW].
△ Less
Submitted 23 August, 2018; v1 submitted 16 November, 2003;
originally announced November 2003.
-
A Hodge decomposition for the complex of injective words
Authors:
Phil Hanlon,
Patricia Hersh
Abstract:
Reiner and Webb compute the $S_n$-module structure for the complex of injective words in [RW]. This paper refines their formula by providing a Hodge type decomposition. Along the way, this paper proves that the simplicial boundary map interacts in a nice fashion with the Eulerian idempotents.
The Laplacian acting on the top chain group in the complex of injective words is also shown to equal t…
▽ More
Reiner and Webb compute the $S_n$-module structure for the complex of injective words in [RW]. This paper refines their formula by providing a Hodge type decomposition. Along the way, this paper proves that the simplicial boundary map interacts in a nice fashion with the Eulerian idempotents.
The Laplacian acting on the top chain group in the complex of injective words is also shown to equal the signed random to random shuffle operator. Uyemura-Reyes conjectures in [Uy] that the (unsigned) random to random shuffle operator has integral spectrum. We prove that this conjecture would imply that the Laplacian on (each chain group in) the complex of injective words has integral spectrum.
△ Less
Submitted 16 November, 2003;
originally announced November 2003.
-
A partitioning and related properties for the quotient complex $Δ(B_{lm})/S_l \wr S_m$
Authors:
Patricia Hersh
Abstract:
We study the quotient complex $Δ(B_{lm})/S_l\wr S_m$ as a means of deducing facts about the ring $k[x_1,..., x_{lm}]^{S_l\wr S_m}$. It is shown in [He] that this quotient complex is shellable when $l=2$, implying Cohen-Macaulayness of $k[x_1,..., x_{2m}]^{S_2\wr S_m}$ for any field $k$. We now confirm for all pairs $(l,m)$ with $l>2$ and $m>1$ that this quotient complex is not Cohen-Macaulay ove…
▽ More
We study the quotient complex $Δ(B_{lm})/S_l\wr S_m$ as a means of deducing facts about the ring $k[x_1,..., x_{lm}]^{S_l\wr S_m}$. It is shown in [He] that this quotient complex is shellable when $l=2$, implying Cohen-Macaulayness of $k[x_1,..., x_{2m}]^{S_2\wr S_m}$ for any field $k$. We now confirm for all pairs $(l,m)$ with $l>2$ and $m>1$ that this quotient complex is not Cohen-Macaulay over $\integ /2\integ $, but it is Cohen-Macaulay over fields of characteristic $p>m$ (independent of $l$). This yields corresponding characteristic-dependent results for the ring of invariants $k[x_1,..., x_{lm}]^{S_l\wr S_m}$. We also prove that this quotient complex and the links of many of its faces are collapsible, and we give a partitioning for this quotient complex.
△ Less
Submitted 16 November, 2003;
originally announced November 2003.
-
Discrete Morse functions from lexicographic orders
Authors:
Eric Babson,
Patricia Hersh
Abstract:
This paper shows how to construct a discrete Morse function with a relatively small number of critical cells for the order complex of any finite poset with $\hat{0} $ and $\hat{1}$ from any lexicographic order on its maximal chains. Specifically, if we attach facets according to the lexicographic order on maximal chains, then each facet contributes at most one new face which is critical, and at mo…
▽ More
This paper shows how to construct a discrete Morse function with a relatively small number of critical cells for the order complex of any finite poset with $\hat{0} $ and $\hat{1}$ from any lexicographic order on its maximal chains. Specifically, if we attach facets according to the lexicographic order on maximal chains, then each facet contributes at most one new face which is critical, and at most one Betti number changes; facets which do not change the homotopy type also do not contribute any critical faces. Dimensions of critical faces as well as a description of which facet attachments change the homotopy type are provided in terms of interval systems associated to the facets. As one application, the Möbius function may be computed as the alternating sum of Morse numbers.
The above construction enables us to prove that the poset $Π_n/S_{λ}$ of partitions of a set $\{1^{λ_1},..., k^{λ_k}\} $ with repetition is homotopy equivalent to a wedge of spheres of top dimension when $λ$ is a hook-shaped partition; it is likely that the proof may be extended to a larger class of $λ$ and perhaps to all $λ$, despite a result of Ziegler which shows that $Π_n/S_λ$ is not always Cohen-Macaulay. Additional applications appear in [He2] and [HW].
△ Less
Submitted 22 August, 2018; v1 submitted 16 November, 2003;
originally announced November 2003.
-
Multiplicity of the trivial representation in rank-selected homology of the partition lattice
Authors:
Phil Hanlon,
Patricia Hersh
Abstract:
We study the multiplicity $b_S(n)$ of the trivial representation in the symmetric group representations $β_S$ on the (top) homology of the rank-selected partition lattice $Π_n^S$. We break the possible rank sets $S$ into three cases: (1) $1\not\in S$, (2) $S=1,..., i$ for $i\ge 1$ and (3) $S=1,..., i,j_1,..., j_l$ for $i,l\ge 1$, $j_1 > i+1$. It was previously shown by Hanlon that $b_S(n)=0$ for…
▽ More
We study the multiplicity $b_S(n)$ of the trivial representation in the symmetric group representations $β_S$ on the (top) homology of the rank-selected partition lattice $Π_n^S$. We break the possible rank sets $S$ into three cases: (1) $1\not\in S$, (2) $S=1,..., i$ for $i\ge 1$ and (3) $S=1,..., i,j_1,..., j_l$ for $i,l\ge 1$, $j_1 > i+1$. It was previously shown by Hanlon that $b_S(n)=0$ for $S=1,..., i$. We use a partitioning for $Δ(Π_n)/S_n$ due to Hersh to confirm a conjecture of Sundaram that $b_S(n)>0$ for $1\not\in S$. On the other hand, we use the spectral sequence of a filtered complex to show $b_S(n)=0$ for $S=1,..., i,j_1,..., j_l$ unless a certain type of chain of support $S$ exists. The partitioning for $Δ(Π_n)/S_n$ allows us then to show that a large class of rank sets $S=1,..., i,j_1,..., j_l$ for which such a chain exists do satisfy $b_S(n)>0$. We also generalize the partitioning for $Δ(Π_n)/S_n$ to $Δ(Π_n)/S_λ$; when $λ= (n-1,1)$, this partitioning leads to a proof of a conjecture of Sundaram about $S_1\times S_{n-1}$-representations on the homology of the partition lattice.
△ Less
Submitted 16 November, 2003;
originally announced November 2003.
-
Lexicographic shellability for balanced complexes
Authors:
Patricia Hersh
Abstract:
We introduce a notion of lexicographic shellability for pure, balanced boolean cell complexes, modelled after the $CL$-shellability criterion of Björner and Wachs for posets and its generalization by Kozlov called $CC$-shellability. We give a lexicographic shelling for the quotient of the order complex of a Boolean algebra of rank $2n$ by the action of the wreath product $S_2\wr S_n$ of symmetri…
▽ More
We introduce a notion of lexicographic shellability for pure, balanced boolean cell complexes, modelled after the $CL$-shellability criterion of Björner and Wachs for posets and its generalization by Kozlov called $CC$-shellability. We give a lexicographic shelling for the quotient of the order complex of a Boolean algebra of rank $2n$ by the action of the wreath product $S_2\wr S_n$ of symmetric groups, and we provide a partitioning for the quotient complex $Δ(Π_n)/S_n $.
Stanley asked for a description of the symmetric group representation $β_S $ on the homology of the rank-selected partition lattice $Π_n^S $ in [St2], and in particular he asked when the multiplicity $b_S(n)$ of the trivial representation in $β_S$ is 0. One consequence of the partitioning for $\dps $ is a (fairly complicated) combinatorial interpretation for $b_S(n) $; another is a simple proof of Hanlon's result that $b_{1,..., i}(n)=0$. Using a result of Garsia and Stanton, we deduce from our shelling for $Δ(B_{2n})/S_2 \wr S_n$ that the ring of invariants $k[x_1,..., x_{2n}]^{S_2\wr S_n}$ is Cohen-Macaulay over any field $k$.
△ Less
Submitted 16 November, 2003;
originally announced November 2003.
-
A short simplicial h-vector and the upper bound theorem
Authors:
Patricia Hersh,
Isabella Novik
Abstract:
We verify the Upper Bound Conjecture (UBC) for a class of odd-dimensional simplicial complexes that in particular includes all Eulerian simplicial complexes with isolated singularities. The proof relies on a new invariant of simplicial complexes -- a short simplicial h-vector.
We verify the Upper Bound Conjecture (UBC) for a class of odd-dimensional simplicial complexes that in particular includes all Eulerian simplicial complexes with isolated singularities. The proof relies on a new invariant of simplicial complexes -- a short simplicial h-vector.
△ Less
Submitted 29 November, 2001;
originally announced November 2001.
