Showing 1–29 of 29 results for author: Klee, S

Sharp estimates for spanning trees

Authors: Steven Klee, Bhargav Narayanan, Lisa Sauermann

Abstract: We prove the following sharp estimate for the number of spanning trees of a graph in terms of its vertex-degrees: a simple graph $G$ on $n$ vertices has at most $(1/n^{2}) \prod_{v \in V(G)} (d(v)+1)$ spanning trees. This result is tight (for complete graphs), and improves earlier estimates of Alon from 1990 and Kostochka from 1995 by a factor of about $1/n$ (for dense graphs). We additionally sho… ▽ More We prove the following sharp estimate for the number of spanning trees of a graph in terms of its vertex-degrees: a simple graph $G$ on $n$ vertices has at most $(1/n^{2}) \prod_{v \in V(G)} (d(v)+1)$ spanning trees. This result is tight (for complete graphs), and improves earlier estimates of Alon from 1990 and Kostochka from 1995 by a factor of about $1/n$ (for dense graphs). We additionally show that an analogous bound holds for the weighted spanning tree enumerator of a (nonnegatively) weighted graph as well. △ Less

Submitted 12 April, 2022; v1 submitted 2 February, 2021; originally announced February 2021.

Comments: It has been pointed out to us when this paper was under review that the results are not new; in fact a stronger bound was proved by Grone and Merris [Discrete Math. 69 (1988), 97-99]

MSC Class: 05C30 (Primary); 05C05; 05C35 (Secondary)

NFCGate: Opening the Door for NFC Security Research with a Smartphone-Based Toolkit

Authors: Steffen Klee, Alexandros Roussos, Max Maass, Matthias Hollick

Abstract: Near-Field Communication (NFC) is being used in a variety of security-critical applications, from access control to payment systems. However, NFC protocol analysis typically requires expensive or conspicuous dedicated hardware, or is severely limited on smartphones. In 2015, the NFCGate proof of concept aimed at solving this issue by providing capabilities for NFC analysis employing off-the-shelf… ▽ More Near-Field Communication (NFC) is being used in a variety of security-critical applications, from access control to payment systems. However, NFC protocol analysis typically requires expensive or conspicuous dedicated hardware, or is severely limited on smartphones. In 2015, the NFCGate proof of concept aimed at solving this issue by providing capabilities for NFC analysis employing off-the-shelf Android smartphones. In this paper, we present an extended and improved NFC toolkit based on the functionally limited original open-source codebase. With in-flight traffic analysis and modification, relay, and replay features this toolkit turns an off-the-shelf smartphone into a powerful NFC research tool. To support the development of countermeasures against relay attacks, we investigate the latency incurred by NFCGate in different configurations. Our newly implemented features and improvements enable the case study of an award-winning, enterprise-level NFC lock from a well-known European lock vendor, which would otherwise require dedicated hardware. The analysis of the lock reveals several security issues, which were disclosed to the vendor. △ Less

Submitted 10 August, 2020; originally announced August 2020.

Comments: Accepted to Usenix WOOT'20. Source Code and binaries available at https://github.com/nfcgate/nfcgate

Eigenvalues of graph Laplacians via rank-one perturbations

Authors: Steven Klee, Matthew T. Stamps

Abstract: We show how the spectrum of a graph Laplacian changes with respect to a certain type of rank-one perturbation. We apply our finding to give new short proofs of the spectral version of Kirchhoff's Matrix Tree Theorem and known derivations for the characteristic polynomials of the Laplacians for several well known families of graphs, including complete, complete multipartite, and threshold graphs. We show how the spectrum of a graph Laplacian changes with respect to a certain type of rank-one perturbation. We apply our finding to give new short proofs of the spectral version of Kirchhoff's Matrix Tree Theorem and known derivations for the characteristic polynomials of the Laplacians for several well known families of graphs, including complete, complete multipartite, and threshold graphs. △ Less

Submitted 4 August, 2020; originally announced August 2020.

Diameters of Cocircuit Graphs of Oriented Matroids: An Update

Authors: Ilan Adler, Jesús A. De Loera, Steven Klee, Zhenyang Zhang

Abstract: Oriented matroids (often called order types) are combinatorial structures that generalize point configurations, vector configurations, hyperplane arrangements, polyhedra, linear programs, and directed graphs. Oriented matroids have played a key role in combinatorics, computational geometry, and optimization. This paper surveys prior work and presents an update on the search for bounds on the diame… ▽ More Oriented matroids (often called order types) are combinatorial structures that generalize point configurations, vector configurations, hyperplane arrangements, polyhedra, linear programs, and directed graphs. Oriented matroids have played a key role in combinatorics, computational geometry, and optimization. This paper surveys prior work and presents an update on the search for bounds on the diameter of the cocircuit graph of an oriented matroid. We review the diameter problem and show the diameter bounds of general oriented matroids reduce to those of uniform oriented matroids. We give the latest exact bounds for oriented matroids of low rank and low corank, and for all oriented matroids with up to nine elements (this part required a large computer-based proof). The motivation for our investigations is the complexity of the simplex method and the criss-cross method. For arbitrary oriented matroids, we present an improvement to a quadratic bound of Finschi. Our discussion highlights two very important conjectures related to the polynomial Hirsch conjecture for polytope diameters. △ Less

Submitted 16 June, 2020; originally announced June 2020.

MSC Class: 52B12; 90C05; 05C35; 52C40 ACM Class: F.2.2; G.2.2

Linear algebraic techniques for spanning tree enumeration

Authors: Steven Klee, Matthew T. Stamps

Abstract: Kirchhoff's Matrix-Tree Theorem asserts that the number of spanning trees in a finite graph can be computed from the determinant of any of its reduced Laplacian matrices. In many cases, even for well-studied families of graphs, this can be computationally or algebraically taxing. We show how two well-known results from linear algebra, the Matrix Determinant Lemma and the Schur complement, can be u… ▽ More Kirchhoff's Matrix-Tree Theorem asserts that the number of spanning trees in a finite graph can be computed from the determinant of any of its reduced Laplacian matrices. In many cases, even for well-studied families of graphs, this can be computationally or algebraically taxing. We show how two well-known results from linear algebra, the Matrix Determinant Lemma and the Schur complement, can be used to elegantly count the spanning trees in several significant families of graphs. △ Less

Submitted 16 April, 2019; v1 submitted 12 March, 2019; originally announced March 2019.

Comments: This paper presents unweighted versions of the results in arXiv:1903.03575 with more concrete and concise proofs. It is intended for a broad audience and has extra emphasis on exposition. It will appear in the American Mathematical Monthly

Journal ref: The American Mathematical Monthly, 127:4, 297-307 (2020)

Linear algebraic techniques for weighted spanning tree enumeration

Authors: Steven Klee, Matthew T. Stamps

Abstract: The weighted spanning tree enumerator of a graph $G$ with weighted edges is the sum of the products of edge weights over all the spanning trees in $G$. In the special case that all of the edge weights equal $1$, the weighted spanning tree enumerator counts the number of spanning trees in $G$. The Weighted Matrix-Tree Theorem asserts that the weighted spanning tree enumerator can be calculated from… ▽ More The weighted spanning tree enumerator of a graph $G$ with weighted edges is the sum of the products of edge weights over all the spanning trees in $G$. In the special case that all of the edge weights equal $1$, the weighted spanning tree enumerator counts the number of spanning trees in $G$. The Weighted Matrix-Tree Theorem asserts that the weighted spanning tree enumerator can be calculated from the determinant of a reduced weighted Laplacian matrix of $G$. That determinant, however, is not always easy to compute. In this paper, we show how two well-known results from linear algebra, the Matrix Determinant Lemma and the method of Schur complements, can be used to elegantly compute the weighted spanning tree enumerator for several families of graphs. △ Less

Submitted 2 September, 2019; v1 submitted 27 February, 2019; originally announced March 2019.

Comments: Final version, 12 pages, 2 figures. This paper presents weighted versions of the results in arXiv:1903.04973

Journal ref: Linear Algebra and its Applications, Volume 582, 2019, Pages 391-402

Pure $\mathcal{O}$-sequences arising from $2$-dimensional PS ear-decomposable simplicial complexes

Authors: Steven Klee, Brian Nugent

Abstract: We show that the $h$-vector of a $2$-dimensional PS ear-decomposable simplicial complex is a pure $\mathcal{O}$-sequence. This provides a strengthening of Stanley's conjecture for matroid $h$-vectors in rank $3$. Our approach modifies the approach of combinatorial shifting for arbitrary simplicial complexes to the setting of $2$-dimensional PS ear-decomposable complexes, which allows us to greedil… ▽ More We show that the $h$-vector of a $2$-dimensional PS ear-decomposable simplicial complex is a pure $\mathcal{O}$-sequence. This provides a strengthening of Stanley's conjecture for matroid $h$-vectors in rank $3$. Our approach modifies the approach of combinatorial shifting for arbitrary simplicial complexes to the setting of $2$-dimensional PS ear-decomposable complexes, which allows us to greedily construct a corresponding pure multicomplex. △ Less

Submitted 9 November, 2018; originally announced November 2018.

A lower bound theorem for centrally symmetric simplicial polytopes

Authors: Steven Klee, Eran Nevo, Isabella Novik, Hailun Zheng

Abstract: Stanley proved that for any centrally symmetric simplicial $d$-polytope $P$ with $d\geq 3$, $g_2(P) \geq {d \choose 2}-d$. We provide a characterization of centrally symmetric $d$-polytopes with $d\geq 4$ that satisfy this inequality as equality. This gives a natural generalization of the classical Lower Bound Theorem for simplicial polytopes to the setting of centrally symmetric simplicial polyto… ▽ More Stanley proved that for any centrally symmetric simplicial $d$-polytope $P$ with $d\geq 3$, $g_2(P) \geq {d \choose 2}-d$. We provide a characterization of centrally symmetric $d$-polytopes with $d\geq 4$ that satisfy this inequality as equality. This gives a natural generalization of the classical Lower Bound Theorem for simplicial polytopes to the setting of centrally symmetric simplicial polytopes. △ Less

Submitted 9 November, 2018; v1 submitted 11 June, 2017; originally announced June 2017.

Simplicial moves on balanced complexes

Authors: Ivan Izmestiev, Steven Klee, Isabella Novik

Abstract: We introduce a notion of cross-flips: local moves that transform a balanced (i.e., properly $(d+1)$-colored) triangulation of a combinatorial $d$-manifold into another balanced triangulation. These moves form a natural analog of bistellar flips (also known as Pachner moves). Specifically, we establish the following theorem: any two balanced triangulations of a closed combinatorial $d$-manifold can… ▽ More We introduce a notion of cross-flips: local moves that transform a balanced (i.e., properly $(d+1)$-colored) triangulation of a combinatorial $d$-manifold into another balanced triangulation. These moves form a natural analog of bistellar flips (also known as Pachner moves). Specifically, we establish the following theorem: any two balanced triangulations of a closed combinatorial $d$-manifold can be connected by a sequence of cross-flips. Along the way we prove that for every $m \geq d+2$ and any closed combinatorial $d$-manifold $M$, two $m$-colored triangulations of $M$ can be connected by a sequence of bistellar flips that preserve the vertex colorings. △ Less

Submitted 29 August, 2017; v1 submitted 14 December, 2015; originally announced December 2015.

Face enumeration on simplicial complexes

Authors: Steven Klee, Isabella Novik

Abstract: Let $M$ be a closed triangulable manifold, and let $Δ$ be a triangulation of $M$. What is the smallest number of vertices that $Δ$ can have? How big or small can the number of edges of $Δ$ be as a function of the number of vertices? More generally, what are the possible face numbers ($f$-numbers, for short) that $Δ$ can have? In other words, what restrictions does the topology of $M$ place on the… ▽ More Let $M$ be a closed triangulable manifold, and let $Δ$ be a triangulation of $M$. What is the smallest number of vertices that $Δ$ can have? How big or small can the number of edges of $Δ$ be as a function of the number of vertices? More generally, what are the possible face numbers ($f$-numbers, for short) that $Δ$ can have? In other words, what restrictions does the topology of $M$ place on the possible $f$-numbers of triangulations of $M$? To make things even more interesting, we can add some combinatorial conditions on the triangulations we are considering (e.g., flagness, balancedness, etc.) and ask what additional restrictions these combinatorial conditions impose. While only a few theorems in this area of combinatorics were known a couple of decades ago, in the last ten years or so, the field simply exploded with new results and ideas. Thus we feel that a survey paper is long overdue. As new theorems are being proved while we are ty** this chapter, and as we have only a limited number of pages, we apologize in advance to our friends and colleagues, some of whose results will not get mentioned here. △ Less

Submitted 23 May, 2015; originally announced May 2015.

Comments: Chapter for upcoming IMA volume Recent Trends in Combinatorics

Graded Betti numbers of cycle graphs and standard Young tableaux

Authors: Steven Klee, Matthew T. Stamps

Abstract: We give a bijective proof that the Betti numbers of a minimal free resolution of the Stanley-Reisner ring of a cycle graph (viewed as a one-dimensional simplicial complex) are given by the number of standard Young tableaux of a given shape. We give a bijective proof that the Betti numbers of a minimal free resolution of the Stanley-Reisner ring of a cycle graph (viewed as a one-dimensional simplicial complex) are given by the number of standard Young tableaux of a given shape. △ Less

Submitted 4 April, 2015; originally announced April 2015.

Comments: 4 pages

Journal ref: Journal of Combinatorics, Vol. 9, No. 1 (2018), 1--7

Lower Bound Theorems and a Generalized Lower Bound Conjecture for balanced simplicial complexes

Authors: Steven Klee, Isabella Novik

Abstract: A $(d-1)$-dimensional simplicial complex is called balanced if its underlying graph admits a proper $d$-coloring. We show that many well-known face enumeration results have natural balanced analogs (or at least conjectural analogs). Specifically, we prove the balanced analog of the celebrated Lower Bound Theorem for pseudomanifolds and characterize the case of equality; we introduce and characteri… ▽ More A $(d-1)$-dimensional simplicial complex is called balanced if its underlying graph admits a proper $d$-coloring. We show that many well-known face enumeration results have natural balanced analogs (or at least conjectural analogs). Specifically, we prove the balanced analog of the celebrated Lower Bound Theorem for pseudomanifolds and characterize the case of equality; we introduce and characterize the balanced analog of the Walkup class; we propose the balanced analog of the Generalized Lower Bound Conjecture and establish some related results. We close with constructions of balanced manifolds with few vertices. △ Less

Submitted 23 May, 2015; v1 submitted 17 September, 2014; originally announced September 2014.

Journal ref: Mathematika 62 (2016) 441-477

Lexicographic shellability, matroids and pure order ideals

Authors: Steven Klee, Jose Alejandro Samper

Abstract: In 1977 Stanley conjectured that the $h$-vector of a matroid independence complex is a pure $O$-sequence. In this paper we use lexicographic shellability for matroids to motivate a combinatorial strengthening of Stanley's conjecture. This suggests that a pure $O$-sequence can be constructed from combinatorial data arising from the shelling. We then prove that our conjecture holds for matroids of r… ▽ More In 1977 Stanley conjectured that the $h$-vector of a matroid independence complex is a pure $O$-sequence. In this paper we use lexicographic shellability for matroids to motivate a combinatorial strengthening of Stanley's conjecture. This suggests that a pure $O$-sequence can be constructed from combinatorial data arising from the shelling. We then prove that our conjecture holds for matroids of rank at most four, settling the rank four case of Stanley's conjecture. In general, we prove that if our conjecture holds for all rank $d$ matroids on at most $2d$ elements, then it holds for all matroids. △ Less

Submitted 8 June, 2014; originally announced June 2014.

Markov chains for promotion operators

Authors: Arvind Ayyer, Steven Klee, Anne Schilling

Abstract: We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset. This gives rise to a strongly connected graph on L. In earlier work (arXiv:1205.7074), we studied promotion-based Markov chains on these linear extensions which generalizes results on the Tsetlin library. We used the theory of R-trivial monoids in an essential way to obtain expl… ▽ More We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset. This gives rise to a strongly connected graph on L. In earlier work (arXiv:1205.7074), we studied promotion-based Markov chains on these linear extensions which generalizes results on the Tsetlin library. We used the theory of R-trivial monoids in an essential way to obtain explicitly the eigenvalues of the transition matrix in general when the poset is a rooted forest. We first survey these results and then present explicit bounds on the mixing time and conjecture eigenvalue formulas for more general posets. We also present a generalization of promotion to arbitrary subsets of the symmetric group. △ Less

Submitted 29 July, 2013; originally announced July 2013.

Comments: 17 pages, includes review of results of arXiv:1205.7074

MSC Class: 06A07; 20M32; 20M30; 47D03; 60J10

Journal ref: Algebraic Monoids, Group Embeddings, and Algebraic Combinatorics, Fields Institute Communications, Volume 71, 2014, pp 285-304

A classification of the face numbers of Buchsbaum simplicial posets

Authors: Jonathan Browder, Steven Klee

Abstract: The family of Buchsbaum simplicial posets generalizes the family of simplicial cell manifolds. The $h'$-vector of a simplicial complex or simplicial poset encodes the combinatorial and topological data of its face numbers and the reduced Betti numbers of its geometric realization. Novik and Swartz showed that the $h'$-vector of a Buchsbaum simplicial poset satisfies certain simple inequalities; in… ▽ More The family of Buchsbaum simplicial posets generalizes the family of simplicial cell manifolds. The $h'$-vector of a simplicial complex or simplicial poset encodes the combinatorial and topological data of its face numbers and the reduced Betti numbers of its geometric realization. Novik and Swartz showed that the $h'$-vector of a Buchsbaum simplicial poset satisfies certain simple inequalities; in this paper we show that these necessary conditions are in fact sufficient to characterize the $h'$-vectors of Buchsbaum simplicial posets with prescribed Betti numbers. △ Less

Submitted 5 October, 2013; v1 submitted 5 July, 2013; originally announced July 2013.

Comments: 16 pages. Updated; added section 5 (on manifolds)

MSC Class: 06A07; 05E; 52B05

Face numbers of Engström representations of matroids

Authors: Steven Klee, Matthew T. Stamps

Abstract: A classic problem in matroid theory is to find subspace arrangements, specifically hyperplane and pseudosphere arrangements, whose intersection posets are isomorphic to a prescribed geometric lattice. Engström recently showed how to construct an infinite family of such subspace arrangements, indexed by the set of finite regular CW complexes. In this note, we compute the face numbers of these repre… ▽ More A classic problem in matroid theory is to find subspace arrangements, specifically hyperplane and pseudosphere arrangements, whose intersection posets are isomorphic to a prescribed geometric lattice. Engström recently showed how to construct an infinite family of such subspace arrangements, indexed by the set of finite regular CW complexes. In this note, we compute the face numbers of these representations (in terms of the face numbers of the indexing complexes) and give upper bounds on the total number of faces in these objects. In particular, we show that, for a fixed rank, the total number of faces in the Engström representation corresponding to a codimension one homotopy sphere arrangement is bounded above by a polynomial in the number of elements of the matroid with degree one less than its rank. △ Less

Submitted 15 May, 2014; v1 submitted 13 April, 2013; originally announced April 2013.

Comments: 9 pages, 4 figures

The combinatorics of hyperbolized manifolds

Authors: Allan L. Edmonds, Steven Klee

Abstract: A topological version of a longstanding conjecture of H. Hopf, originally proposed by W. Thurston, states that the sign of the Euler characteristic of a closed aspherical manifold of dimension $d=2m$ depends only on the parity of $m$. Gromov defined several hyperbolization functors which produce an aspherical manifold from a given simplicial or cubical manifold. We investigate the combinatorics of… ▽ More A topological version of a longstanding conjecture of H. Hopf, originally proposed by W. Thurston, states that the sign of the Euler characteristic of a closed aspherical manifold of dimension $d=2m$ depends only on the parity of $m$. Gromov defined several hyperbolization functors which produce an aspherical manifold from a given simplicial or cubical manifold. We investigate the combinatorics of several of these hyperbolizations and verify the Euler Characteristic Sign Conjecture for each of them. In addition, we explore further combinatorial properties of these hyperbolizations as they relate to several well-studied generating functions. △ Less

Submitted 7 August, 2013; v1 submitted 27 October, 2012; originally announced October 2012.

From flag complexes to banner complexes

Authors: Steven Klee, Isabella Novik

Abstract: A notion of an $i$-banner simplicial complex is introduced. For various values of $i$, these complexes interpolate between the class of flag complexes and the class of all simplicial complexes. Examples of simplicial spheres of an arbitrary dimension that are $(i+1)$-banner but not $i$-banner are constructed. It is shown that several theorems for flag complexes have appropriate $i$-banner analogue… ▽ More A notion of an $i$-banner simplicial complex is introduced. For various values of $i$, these complexes interpolate between the class of flag complexes and the class of all simplicial complexes. Examples of simplicial spheres of an arbitrary dimension that are $(i+1)$-banner but not $i$-banner are constructed. It is shown that several theorems for flag complexes have appropriate $i$-banner analogues. Among them are (1) the codimension-$(i+j-1)$ skeleton of an $i$-banner homology sphere $Δ$ is $2(i+j)$-Cohen--Macaulay for all $0\leq j\leq \dimΔ+1-i$, and (2) for every $i$-banner simplicial complex $Δ$ there exists a balanced complex $Γ$ with the same number of vertices as $Δ$ whose face numbers of dimension $i-1$ and higher coincide with those of $Δ$. △ Less

Submitted 4 October, 2012; originally announced October 2012.

Obstructions to weak decomposability for simplicial polytopes

Authors: Nicolai Hähnle, Steven Klee, Vincent Pilaud

Abstract: Provan and Billera introduced notions of (weak) decomposability of simplicial complexes as a means of attempting to prove polynomial upper bounds on the diameter of the facet-ridge graph of a simplicial polytope. Recently, De Loera and Klee provided the first examples of simplicial polytopes that are not weakly vertex-decomposable. These polytopes are polar to certain simple transportation polytop… ▽ More Provan and Billera introduced notions of (weak) decomposability of simplicial complexes as a means of attempting to prove polynomial upper bounds on the diameter of the facet-ridge graph of a simplicial polytope. Recently, De Loera and Klee provided the first examples of simplicial polytopes that are not weakly vertex-decomposable. These polytopes are polar to certain simple transportation polytopes. In this paper, we refine their analysis to prove that these $d$-dimensional polytopes are not even weakly $O(\sqrt{d})$-decomposable. As a consequence, (weak) decomposability cannot be used to prove a polynomial version of the Hirsch conjecture. △ Less

Submitted 26 June, 2012; originally announced June 2012.

Journal ref: Proc. Amer. Math. Soc., 142(9):3249-3257, 2014

Combinatorial Markov chains on linear extensions

Authors: Arvind Ayyer, Steven Klee, Anne Schilling

Abstract: We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset of size n. This gives rise to a strongly connected graph on L. By assigning weights to the edges of the graph in two different ways, we study two Markov chains, both of which are irreducible. The stationary state of one gives rise to the uniform distribution, whereas the weights… ▽ More We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset of size n. This gives rise to a strongly connected graph on L. By assigning weights to the edges of the graph in two different ways, we study two Markov chains, both of which are irreducible. The stationary state of one gives rise to the uniform distribution, whereas the weights of the stationary state of the other has a nice product formula. This generalizes results by Hendricks on the Tsetlin library, which corresponds to the case when the poset is the anti-chain and hence L=S_n is the full symmetric group. We also provide explicit eigenvalues of the transition matrix in general when the poset is a rooted forest. This is shown by proving that the associated monoid is R-trivial and then using Steinberg's extension of Brown's theory for Markov chains on left regular bands to R-trivial monoids. △ Less

Submitted 9 August, 2013; v1 submitted 31 May, 2012; originally announced May 2012.

Comments: 35 pages, more examples of promotion, rephrased the main theorems in terms of discrete time Markov chains

MSC Class: 06A07; 20M32; 20M30; 47D03; 60J27

Journal ref: Journal of Algebraic Combinatorics, Volume 39, Issue 4 (2014), Page 853-881

Not all simplicial polytopes are weakly vertex-decomposable

Authors: Jesus A. De Loera, Steven Klee

Abstract: In 1980 Provan and Billera defined the notion of weak $k$-decomposability for pure simplicial complexes. They showed the diameter of a weakly $k$-decomposable simplicial complex $Δ$ is bounded above by a polynomial function of the number of $k$-faces in $Δ$ and its dimension. For weakly 0-decomposable complexes, this bound is linear in the number of vertices and the dimension. In this paper we exh… ▽ More In 1980 Provan and Billera defined the notion of weak $k$-decomposability for pure simplicial complexes. They showed the diameter of a weakly $k$-decomposable simplicial complex $Δ$ is bounded above by a polynomial function of the number of $k$-faces in $Δ$ and its dimension. For weakly 0-decomposable complexes, this bound is linear in the number of vertices and the dimension. In this paper we exhibit the first examples of non-weakly 0-decomposable simplicial polytopes. △ Less

Submitted 7 March, 2012; originally announced March 2012.

MSC Class: 52B12; 05E45; 90C05

$h$-vectors of small matroid complexes

Authors: Jesus DeLoera, Yvonne Kemper, Steven Klee

Abstract: Stanley conjectured in 1977 that the $h$-vector of a matroid simplicial complex is a pure $O$-sequence. We give simple constructive proofs that the conjecture is true for matroids of rank less than or equal to 3, and corank 2. We used computers to verify that Stanley's conjecture holds for all matroids on at most nine elements. Stanley conjectured in 1977 that the $h$-vector of a matroid simplicial complex is a pure $O$-sequence. We give simple constructive proofs that the conjecture is true for matroids of rank less than or equal to 3, and corank 2. We used computers to verify that Stanley's conjecture holds for all matroids on at most nine elements. △ Less

Submitted 13 June, 2011; originally announced June 2011.

Comments: 11 pages, 1 figure

MSC Class: 05B35; 05E45

Cellular Resolutions of Ideals Defined by Simplicial Homomorphisms

Authors: Benjamin Braun, Jonathan Browder, Steven Klee

Abstract: In this paper we introduce the class of ordered homomorphism ideals and prove that these ideals admit minimal cellular resolutions constructed as homomorphism complexes. As a key ingredient of our work, we introduce the class of cointerval simplicial complexes and investigate their combinatorial and topological properties. As a concrete illustration of these structural results, we introduce and st… ▽ More In this paper we introduce the class of ordered homomorphism ideals and prove that these ideals admit minimal cellular resolutions constructed as homomorphism complexes. As a key ingredient of our work, we introduce the class of cointerval simplicial complexes and investigate their combinatorial and topological properties. As a concrete illustration of these structural results, we introduce and study nonnesting monomial ideals, an interesting family of combinatorially defined ideals. △ Less

Submitted 7 March, 2011; originally announced March 2011.

Comments: submitted

Centrally symmetric manifolds with few vertices

Authors: Steven Klee, Isabella Novik

Abstract: A centrally symmetric $2d$-vertex combinatorial triangulation of the product of spheres $§^i\times§^{d-2-i}$ is constructed for all pairs of non-negative integers $i$ and $d$ with $0\leq i \leq d-2$. For the case of $i=d-2-i$, the existence of such a triangulation was conjectured by Sparla. The constructed complex admits a vertex-transitive action by a group of order $4d$. The crux of this constru… ▽ More A centrally symmetric $2d$-vertex combinatorial triangulation of the product of spheres $§^i\times§^{d-2-i}$ is constructed for all pairs of non-negative integers $i$ and $d$ with $0\leq i \leq d-2$. For the case of $i=d-2-i$, the existence of such a triangulation was conjectured by Sparla. The constructed complex admits a vertex-transitive action by a group of order $4d$. The crux of this construction is a definition of a certain full-dimensional subcomplex, $\B(i,d)$, of the boundary complex of the $d$-dimensional cross-polytope. This complex $\B(i,d)$ is a combinatorial manifold with boundary and its boundary provides a required triangulation of $§^i\times§^{d-i-2}$. Enumerative characteristics of $\B(i,d)$ and its boundary, and connections to another conjecture of Sparla are also discussed. △ Less

Submitted 2 February, 2011; originally announced February 2011.

Comments: 15 pages, 2 figures

MSC Class: 52B70; 57Q15; 52B05

Lower Bounds for Buchsbaum* Complexes

Authors: Jonathan Browder, Steven Klee

Abstract: The class of $(d-1)$-dimensional Buchsbaum* simplicial complexes is studied. It is shown that the rank-selected subcomplexes of a (completely) balanced Buchsbaum* simplicial complex are also Buchsbaum*. Using this result, lower bounds on the $h$-numbers of balanced Buchsbaum* simplicial complexes are established. In addition, sharp lower bounds on the $h$-numbers of flag $m$-Buchsbaum* simplicia… ▽ More The class of $(d-1)$-dimensional Buchsbaum* simplicial complexes is studied. It is shown that the rank-selected subcomplexes of a (completely) balanced Buchsbaum* simplicial complex are also Buchsbaum*. Using this result, lower bounds on the $h$-numbers of balanced Buchsbaum* simplicial complexes are established. In addition, sharp lower bounds on the $h$-numbers of flag $m$-Buchsbaum* simplicial complexes are derived, and the case of equality is treated. △ Less

Submitted 5 February, 2010; originally announced February 2010.

MSC Class: 05E45; 55U10

Lower Bounds for Cubical Pseudomanifolds

Authors: Steven Klee

Abstract: It is verified that the number of vertices in a $d$-dimensional cubical pseudomanifold is at least $2^{d+1}$. Using Adin's cubical $h$-vector, the generalized lower bound conjecture is established for all cubical 4-spheres, as well as for some special classes cubical spheres in higher dimensions. It is verified that the number of vertices in a $d$-dimensional cubical pseudomanifold is at least $2^{d+1}$. Using Adin's cubical $h$-vector, the generalized lower bound conjecture is established for all cubical 4-spheres, as well as for some special classes cubical spheres in higher dimensions. △ Less

Submitted 2 April, 2011; v1 submitted 30 September, 2009; originally announced October 2009.

Comments: 14 pages

MSC Class: 05E45; 55U10

Balanced complexes and complexes without large missing faces

Authors: Michael Goff, Steven Klee, Isabella Novik

Abstract: The face numbers of simplicial complexes without missing faces of dimension larger than $i$ are studied. It is shown that among all such $(d-1)$-dimensional complexes with non-vanishing top homology, a certain polytopal sphere has the componentwise minimal $f$-vector; and moreover, among all such 2-Cohen--Macaulay (2-CM) complexes, the same sphere has the componentwise minimal $h$-vector. It is… ▽ More The face numbers of simplicial complexes without missing faces of dimension larger than $i$ are studied. It is shown that among all such $(d-1)$-dimensional complexes with non-vanishing top homology, a certain polytopal sphere has the componentwise minimal $f$-vector; and moreover, among all such 2-Cohen--Macaulay (2-CM) complexes, the same sphere has the componentwise minimal $h$-vector. It is also verified that the $l$-skeleton of a flag $(d-1)$-dimensional 2-CM complex is $2(d-l)$-CM while the $l$-skeleton of a flag PL $(d-1)$-sphere is $2(d-l)$-homotopy CM. In addition, tight lower bounds on the face numbers of 2-CM balanced complexes in terms of their dimension and the number of vertices are established. △ Less

Submitted 9 July, 2009; originally announced July 2009.

Comments: 13 pages

MSC Class: 05E25; 55U10

The Fundamental Group of Balanced Simplicial Complexes and Posets

Authors: Steven Klee

Abstract: We establish an upper bound on the cardinality of a minimal generating set for the fundamental group of a large family of connected, balanced simplicial complexes and, more generally, simplicial posets. We establish an upper bound on the cardinality of a minimal generating set for the fundamental group of a large family of connected, balanced simplicial complexes and, more generally, simplicial posets. △ Less

Submitted 29 April, 2009; v1 submitted 8 October, 2008; originally announced October 2008.

Comments: 10 pages

Journal ref: Electronic Journal of Combinatorics, 16 (2009-10) no. 2, Research Paper 7, 12pp

SO(3) nonlinear $σ$ model for a doped quantum helimagnet

Authors: Susanne Klee, Alejandro Muramatsu

Abstract: A field theory describing the low-energy, long-wavelength sector of an incommensurate, spiral magnetic phase is derived from a spin-fermion model that is commonly used as a microscopic model for high-temperature superconductors. After integrating out the fermions in a path-integral representation, a gradient expansion of the fermionic determinant is performed. This leads to an O(3)$\otimes$O(2)-… ▽ More A field theory describing the low-energy, long-wavelength sector of an incommensurate, spiral magnetic phase is derived from a spin-fermion model that is commonly used as a microscopic model for high-temperature superconductors. After integrating out the fermions in a path-integral representation, a gradient expansion of the fermionic determinant is performed. This leads to an O(3)$\otimes$O(2)-symmetric quantum nonlinear $σ$ model, where the do** dependence is explicitly given by generalized fermionic susceptibilities which enter into the coupling constants of the $σ$ model and contain the fermionic band-structure that results from the spiral background. A stability condition of the field theory self-consistently determines the spiral wavevector as a function of the do** concentration. Furthermore, terms of topological nature like the $θ$-vacuum term in (1+1)-dimensional nonlinear $σ$ models are obtained for the plane of the spiral. △ Less

Submitted 25 April, 1996; originally announced April 1996.

Comments: 43 pages, RevTex, amsfonts, no figures, available at ftp://ftp.physik.uni-wuerzburg.de/pub/preprint/1996/WUE-ITP-96-004.ps.gz, to be published in Nuclear Physics B

Report number: WUE-ITP-96.004