Showing 1–27 of 27 results for author: Woodroofe, R

Strict Erdős-Ko-Rado theorems for simplicial complexes

Authors: Denys Bulavka, Russ Woodroofe

Abstract: We show that if a simplicial complex is a near-cone of sufficiently high depth, then the only maximum families of small pairwise intersecting faces are those with a common intersection. Thus, near-cones of sufficiently high depth satisfy the strict Erdős-Ko-Rado property conjectured by Holroyd and Talbot and by Borg. One consequence is a strict Erdős-Ko-Rado theorem for independence complexes of c… ▽ More We show that if a simplicial complex is a near-cone of sufficiently high depth, then the only maximum families of small pairwise intersecting faces are those with a common intersection. Thus, near-cones of sufficiently high depth satisfy the strict Erdős-Ko-Rado property conjectured by Holroyd and Talbot and by Borg. One consequence is a strict Erdős-Ko-Rado theorem for independence complexes of chordal graphs with an isolated vertex. Under stronger shiftedness conditions, we prove a sharper stability theorem of Hilton-Milner type, as well as two cross-intersecting theorems. △ Less

Submitted 19 March, 2025; originally announced March 2025.

Comments: 18 pages

MSC Class: 05D05; 05E45

Princ-wiki-a Mathematica: Wikipedia editing and mathematics

Authors: David Eppstein, Joel Brewster Lewis, Russ Woodroofe, XOR'easter

Abstract: Over the past 20 years, Wikipedia has gone from a rather outlandish idea to a major reference work, with more than 60 million articles across all languages, including nearly 7 million in English [Wiki01]. Around 27,000 of these articles concern mathematics [b], and Wikipedia is the first place that many of us go to learn about a new mathematical idea. In this overview, we will discuss how to go ab… ▽ More Over the past 20 years, Wikipedia has gone from a rather outlandish idea to a major reference work, with more than 60 million articles across all languages, including nearly 7 million in English [Wiki01]. Around 27,000 of these articles concern mathematics [b], and Wikipedia is the first place that many of us go to learn about a new mathematical idea. In this overview, we will discuss how to go about creating or editing an article on a mathematical subject. (Most of this applies equally to topics from other technical fields.) We will also discuss biographies of mathematicians, articles on mathematical books, and the social dynamics of the Wikipedia editor community. △ Less

Submitted 29 December, 2024; originally announced December 2024.

Comments: 9 pages, 3 figures. We overview some aspects of Wikipedia editing for mathematicians. Includes pseudonymous XOR'easter as an author, as they should be (difference from published version)

Journal ref: Notices Amer. Math. Soc. 72 (2025), no. 1, 65-73

A short proof of the Hilton-Milner Theorem

Authors: Denys Bulavka, Russ Woodroofe

Abstract: We give a short and relatively elementary proof of the Hilton-Milner Theorem. We give a short and relatively elementary proof of the Hilton-Milner Theorem. △ Less

Submitted 30 April, 2025; v1 submitted 4 November, 2024; originally announced November 2024.

Comments: 5 pages; v2 adds ref to preprint arXiv:2411.03674 (arXived 2 days after the current preprint) and has other minor fixes; v3 adds easy proof of uniqueness

MSC Class: 05D05

A Hilton-Milner theorem for exterior algebras

Authors: Denys Bulavka, Francesca Gandini, Russ Woodroofe

Abstract: Recent work of Scott and Wilmer and of Woodroofe extends the Erdős-Ko-Rado theorem from set systems to subspaces of k-forms in an exterior algebra. We prove an extension of the Hilton-Milner theorem to the exterior algebra setting, answering in a strong way a question asked by these authors. Recent work of Scott and Wilmer and of Woodroofe extends the Erdős-Ko-Rado theorem from set systems to subspaces of k-forms in an exterior algebra. We prove an extension of the Hilton-Milner theorem to the exterior algebra setting, answering in a strong way a question asked by these authors. △ Less

Submitted 12 February, 2025; v1 submitted 25 June, 2024; originally announced June 2024.

Comments: 15 pages. v2 adds references and brief description in direct algebraic geometry language

MSC Class: 05D05 (Primary) 05E14; 15A75 (Secondary)

Simplicial complexes with many facets are vertex decomposable

Authors: Anton Dochtermann, Ritika Nair, Jay Schweig, Adam Van Tuyl, Russ Woodroofe

Abstract: Suppose $Δ$ is a pure simplicial complex on $n$ vertices having dimension $d$ and let $c = n-d-1$ be its codimension in the simplex. Terai and Yoshida proved that if the number of facets of $Δ$ is at least $\binom{n}{c}-2c+1$, then $Δ$ is Cohen-Macaulay. We improve this result by showing that these hypotheses imply the stronger condition that $Δ$ is vertex decomposable. We give examples to show th… ▽ More Suppose $Δ$ is a pure simplicial complex on $n$ vertices having dimension $d$ and let $c = n-d-1$ be its codimension in the simplex. Terai and Yoshida proved that if the number of facets of $Δ$ is at least $\binom{n}{c}-2c+1$, then $Δ$ is Cohen-Macaulay. We improve this result by showing that these hypotheses imply the stronger condition that $Δ$ is vertex decomposable. We give examples to show that this bound is optimal, and that the conclusion cannot be strengthened to the class of matroids or shifted complexes. We explore an application to Simon's Conjecture and discuss connections to other results from the literature. △ Less

Submitted 26 October, 2024; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: In this version, included a connection to geometric vertex decomposability in the end. Modified the statement of Lemma 3.3, and proof of Theorem 1, along with other minor changes. Set to appear in the Electronic Journal of Combinatorics

MSC Class: 05E40; 05E45; 13F55

Journal ref: Electron. J. Combin. 31 (2024), no. 4, P4.34

Invariable generation of finite simple groups and rational homology of coset posets

Authors: Robert M. Guralnick, John Shareshian, Russ Woodroofe

Abstract: We show that every finite simple group is generated invariably by a Sylow subgroup and a cyclic group. It follows that that the order complex of the coset poset of an arbitrary finite group has nontrivial reduced rational homology. We show that every finite simple group is generated invariably by a Sylow subgroup and a cyclic group. It follows that that the order complex of the coset poset of an arbitrary finite group has nontrivial reduced rational homology. △ Less

Submitted 30 June, 2024; v1 submitted 26 December, 2023; originally announced December 2023.

Comments: 14 pages; v2 has minor changes for publication

Journal ref: J. Algebra 659 (2024) 686-697

The extensible No-Three-In-Line problem

Authors: Dániel T. Nagy, Zoltán Lóránt Nagy, Russ Woodroofe

Abstract: The classical No-Three-In-Line problem seeks the maximum number of points that may be selected from an $n\times n$ grid while avoiding a collinear triple. The maximum is well known to be linear in $n$. Following a question of Erde, we seek to select sets of large density from the infinite grid $Z^{2}$ while avoiding a collinear triple. We show the existence of such a set which contains… ▽ More The classical No-Three-In-Line problem seeks the maximum number of points that may be selected from an $n\times n$ grid while avoiding a collinear triple. The maximum is well known to be linear in $n$. Following a question of Erde, we seek to select sets of large density from the infinite grid $Z^{2}$ while avoiding a collinear triple. We show the existence of such a set which contains $Θ(n/\log^{1+\varepsilon}n)$ points in $[1,n]^{2}$ for all $n$, where $\varepsilon>0$ is an arbitrarily small real number. We also give computational evidence suggesting that a set of lattice points may exist that has at least $n/2$ points on every large enough $n\times n$ grid. △ Less

Submitted 7 November, 2022; v1 submitted 3 September, 2022; originally announced September 2022.

Comments: 12 pages, 3 figures

Journal ref: European J. Combin. 114 (2023), Paper 103796, 11 pages

On invariable generation of alternating groups by elements of prime and prime power order

Authors: Robert M. Guralnick, John Shareshian, Russ Woodroofe

Abstract: We verify that every alternating group of degree at most one quadrillion is invariably generated by an element of prime order together with an element of prime power order. We verify that every alternating group of degree at most one quadrillion is invariably generated by an element of prime order together with an element of prime power order. △ Less

Submitted 16 February, 2023; v1 submitted 28 January, 2022; originally announced January 2022.

Comments: 14 pages. Code available on github, see https://github.com/RussWoodroofe/invgen. Partial output in ancillary files, remainder available via Zenodo on upon request. v2 has minor changes for publication

MSC Class: 20B35; 11Y99; 11B65

Journal ref: Math. Comp. 192 (2023), no. 341, 1349-1361

A modular characterization of supersolvable lattices

Authors: Stephan Foldes, Russ Woodroofe

Abstract: We characterize supersolvable lattices in terms of a certain modular type relation. McNamara and Thomas earlier characterized this class of lattices as those graded lattices having a maximal chain that consists of left-modular elements. Our characterization replaces the condition of gradedness with a second modularity condition on the maximal chain of left-modular elements. We characterize supersolvable lattices in terms of a certain modular type relation. McNamara and Thomas earlier characterized this class of lattices as those graded lattices having a maximal chain that consists of left-modular elements. Our characterization replaces the condition of gradedness with a second modularity condition on the maximal chain of left-modular elements. △ Less

Submitted 18 April, 2021; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: 9 pages, 2 figures; v2 includes corrections for publication

MSC Class: 06C99; 05E99

Journal ref: Proc. Amer. Math. Soc. 150 (2022), 31-39

An algebraic groups perspective on Erdős-Ko-Rado

Authors: Russ Woodroofe

Abstract: We give a proof of the Erdős-Ko-Rado Theorem using the Borel Fixed Point Theorem from algebraic group theory. This perspective gives a strong analogy between the Erdős-Ko-Rado Theorem and (generalizations of) the Gerstenhaber Theorem on spaces of nilpotent matrices. We give a proof of the Erdős-Ko-Rado Theorem using the Borel Fixed Point Theorem from algebraic group theory. This perspective gives a strong analogy between the Erdős-Ko-Rado Theorem and (generalizations of) the Gerstenhaber Theorem on spaces of nilpotent matrices. △ Less

Submitted 1 December, 2021; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: 10 pages; v2 has minor corrections for publication

MSC Class: 05D05; 20G20; 14L30

Journal ref: Linear Multilinear Algebra 70 (2022), no. 22, 7825-7835

Shellings from relative shellings, with an application to NP-completeness

Authors: Andrés Santamaría-Galvis, Russ Woodroofe

Abstract: Shellings of simplicial complexes have long been a useful tool in topological and algebraic combinatorics. Shellings of a complex expose a large amount of information in a helpful way, but are not easy to construct, often requiring deep information about the structure of the complex. It is natural to ask whether shellings may be efficiently found computationally. In a recent paper, Goaoc, Paták, P… ▽ More Shellings of simplicial complexes have long been a useful tool in topological and algebraic combinatorics. Shellings of a complex expose a large amount of information in a helpful way, but are not easy to construct, often requiring deep information about the structure of the complex. It is natural to ask whether shellings may be efficiently found computationally. In a recent paper, Goaoc, Paták, Patáková, Tancer and Wagner gave a negative answer to this question (assuming P \neq NP), showing that the problem of deciding whether a simplicial complex is shellable is NP-complete. In this paper, we give simplified constructions of various gadgets used in the NP-completeness proof of these authors. Using these gadgets combined with relative shellability and other ideas, we also exhibit a simpler proof of the NP-completeness of the shellability decision problem. Our method systematically uses relative shellings to build up large shellable complexes with desired properties. △ Less

Submitted 9 November, 2020; v1 submitted 4 June, 2019; originally announced June 2019.

Comments: 17 pages, 5 figures; v2 has minor corrections, v3 has further corrections for publication

MSC Class: 05E45

Journal ref: Discrete Comput. Geom. 66 (2021), 792-807

Frankl's Conjecture for subgroup lattices

Authors: Alireza Abdollahi, Russ Woodroofe, Gjergji Zaimi

Abstract: We show that the subgroup lattice of any finite group satisfies Frankl's Union-Closed Conjecture. We show the same for all lattices with a modular coatom, a family which includes all supersolvable and dually semimodular lattices. A common technical result used to prove both may be of some independent interest. We show that the subgroup lattice of any finite group satisfies Frankl's Union-Closed Conjecture. We show the same for all lattices with a modular coatom, a family which includes all supersolvable and dually semimodular lattices. A common technical result used to prove both may be of some independent interest. △ Less

Submitted 21 June, 2016; v1 submitted 31 May, 2016; originally announced June 2016.

Comments: 8 pages; v2 fixes minor errors and adds reference on generation of Suzuki groups

MSC Class: 05D05; 06C99; 20E15

Journal ref: Electron. J. Combin. 24 (2017), no. 3, Paper 25, 9 pages

A broad class of shellable lattices

Authors: Jay Schweig, Russ Woodroofe

Abstract: We introduce a new class of lattices, the modernistic lattices, and their duals, the comodernistic lattices. We show that every modernistic or comodernistic lattice has shellable order complex. We go on to exhibit a large number of examples of (co)modernistic lattices. We show comodernism for two main families of lattices that were not previously known to be shellable: the order congruence lattice… ▽ More We introduce a new class of lattices, the modernistic lattices, and their duals, the comodernistic lattices. We show that every modernistic or comodernistic lattice has shellable order complex. We go on to exhibit a large number of examples of (co)modernistic lattices. We show comodernism for two main families of lattices that were not previously known to be shellable: the order congruence lattices of finite posets, and a weighted generalization of the k-equal partition lattices. We also exhibit many examples of (co)modernistic lattices that were already known to be shellable. To start with, the definition of modernistic is a common weakening of the definitions of semimodular and supersolvable. We thus obtain a unified proof that lattice in these classes are shellable. Subgroup lattices of solvable groups form another family of comodernistic lattices that were already proved to be shellable. We show not only that subgroup lattices of solvable groups are comodernistic, but that solvability of a group is equivalent to the comodernistic property on its subgroup lattice. Indeed, the definition of comodernistic exactly requires on every interval a lattice-theoretic analogue of the composition series in a solvable group. Thus, the relation between comodernistic lattices and solvable groups resembles, in several respects, that between supersolvable lattices and supersolvable groups. △ Less

Submitted 4 April, 2017; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: 25 pages, 3 figures, 1 table; v2 includes minor corrections for publication

MSC Class: 05E45; 06C99

Journal ref: Adv. Math. 313 (2017), 537-563

Divisibility of binomial coefficients and generation of alternating groups

Authors: John Shareshian, Russ Woodroofe

Abstract: We examine an elementary problem on prime divisibility of binomial coefficients. Our problem is motivated by several related questions on alternating groups. We examine an elementary problem on prime divisibility of binomial coefficients. Our problem is motivated by several related questions on alternating groups. △ Less

Submitted 19 May, 2017; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: 16 pages, 1 figure; ancillary attachments include computer code and output. v2 has improved asymptotic density estimates and other minor fixes. v3 has minor fixes for publication

MSC Class: 05A10; 05E15; 20B30; 11B65

Journal ref: Pacific J. Math. 292 (2018), no. 1, 223-238

Order complexes of coset posets of finite groups are not contractible

Authors: John Shareshian, Russ Woodroofe

Abstract: We show that the order complex of the poset of all cosets of all proper subgroups of a finite group $G$ is never $\mathbb{F}_{2}$-acyclic and therefore never contractible. This settles a question of K. S. Brown. We show that the order complex of the poset of all cosets of all proper subgroups of a finite group $G$ is never $\mathbb{F}_{2}$-acyclic and therefore never contractible. This settles a question of K. S. Brown. △ Less

Submitted 29 July, 2014; v1 submitted 23 June, 2014; originally announced June 2014.

Comments: 16 pages. v2 fixes minor errors

MSC Class: 05E45; 20E99; 06B30

Journal ref: Adv. Math. 291 (2016), 758-773

Results on the regularity of square-free monomial ideals

Authors: Huy Tài Hà, Russ Woodroofe

Abstract: In a 2008 paper, the first author and Van Tuyl proved that the regularity of the edge ideal of a graph G is at most one greater than the matching number of G. In this note, we provide a generalization of this result to any square-free monomial ideal. We define a 2-collage in a simple hypergraph to be a collection of edges with the property that for any edge E of the hypergraph, there exists an edg… ▽ More In a 2008 paper, the first author and Van Tuyl proved that the regularity of the edge ideal of a graph G is at most one greater than the matching number of G. In this note, we provide a generalization of this result to any square-free monomial ideal. We define a 2-collage in a simple hypergraph to be a collection of edges with the property that for any edge E of the hypergraph, there exists an edge F in the collage such that |E \ F| < 2. The Castelnuovo-Mumford regularity of the edge ideal of a simple hypergraph is bounded above by a multiple of the minimum size of a 2-collage. We also give a recursive formula to compute the regularity of a vertex-decomposable hypergraph. Finally, we show that regularity in the graph case is bounded by a certain statistic based on maximal packings of nondegenerate star subgraphs. △ Less

Submitted 15 November, 2016; v1 submitted 28 January, 2013; originally announced January 2013.

Comments: 14 pages + 3 page corrigendum, 2 figures. v2 has minor revisions for publication; v3 appends corrigendum with an updated proof of Lemma 3.4

Journal ref: Adv. Appl. Math 58 (2014) 21-36

Antichain cutsets of strongly connected posets

Authors: Stephan Foldes, Russ Woodroofe

Abstract: Rival and Zaguia showed that the antichain cutsets of a finite Boolean lattice are exactly the level sets. We show that a similar characterization of antichain cutsets holds for any strongly connected poset of locally finite height. As a corollary, we get such a characterization for semimodular lattices, supersolvable lattices, Bruhat orders, locally shellable lattices, and many more. We also cons… ▽ More Rival and Zaguia showed that the antichain cutsets of a finite Boolean lattice are exactly the level sets. We show that a similar characterization of antichain cutsets holds for any strongly connected poset of locally finite height. As a corollary, we get such a characterization for semimodular lattices, supersolvable lattices, Bruhat orders, locally shellable lattices, and many more. We also consider a generalization to strongly connected hypergraphs having finite edges. △ Less

Submitted 17 February, 2012; v1 submitted 26 September, 2011; originally announced September 2011.

Comments: 12 pages; v2 contains minor fixes for publication

Journal ref: Order 30 (2013), no. 2, 351-361

Chains of modular elements and shellability

Authors: Russ Woodroofe

Abstract: Let L be a lattice admitting a left-modular chain of length r, not necessarily maximal. We show that if either L is graded or the chain is modular, then the (r-2)-skeleton of L is vertex-decomposable (hence shellable). This proves a conjecture of Hersh. Under certain circumstances, we can find shellings of higher skeleta. For instance, if the left-modular chain consists of every other element of s… ▽ More Let L be a lattice admitting a left-modular chain of length r, not necessarily maximal. We show that if either L is graded or the chain is modular, then the (r-2)-skeleton of L is vertex-decomposable (hence shellable). This proves a conjecture of Hersh. Under certain circumstances, we can find shellings of higher skeleta. For instance, if the left-modular chain consists of every other element of some maximum length chain, then L itself is shellable. We apply these results to give a new characterization of finite solvable groups in terms of the topology of subgroup lattices. Our main tool relaxes the conditions for an EL-labeling, allowing multiple ascending chains as long as they are lexicographically before non-ascending chains. We extend results from the theory of EL-shellable posets to such labelings. The shellability of certain skeleta is one such result. Another is that a poset with such a labeling is homotopy equivalent (by discrete Morse theory) to a cell complex with cells in correspondence to weakly descending chains. △ Less

Submitted 19 March, 2012; v1 submitted 5 April, 2011; originally announced April 2011.

Comments: 20 pages, 1 figure; v2 has minor fixes; v3 corrects the technical lemma in Section 4, and improves the exposition throughout

MSC Class: 05E45 (Primary) 20D30; 06A07 (Secondary)

Journal ref: J. Combin. Theory Ser. A. 119 (2012), no. 6, 1315--1327

A new subgroup lattice characterization of finite solvable groups

Authors: John Shareshian, Russ Woodroofe

Abstract: We show that if G is a finite group then no chain of modular elements in its subgroup lattice L(G) is longer than a chief series. Also, we show that if G is a nonsolvable finite group then every maximal chain in L(G) has length at least two more than that of the chief length of G, thereby providing a converse of a result of J. Kohler. Our results enable us to give a new characterization of finite… ▽ More We show that if G is a finite group then no chain of modular elements in its subgroup lattice L(G) is longer than a chief series. Also, we show that if G is a nonsolvable finite group then every maximal chain in L(G) has length at least two more than that of the chief length of G, thereby providing a converse of a result of J. Kohler. Our results enable us to give a new characterization of finite solvable groups involving only the combinatorics of subgroup lattices. Namely, a finite group G is solvable if and only if L(G) contains a maximal chain X and a chain M consisting entirely of modular elements, such that X and M have the same length. △ Less

Submitted 19 December, 2011; v1 submitted 10 November, 2010; originally announced November 2010.

Comments: 15 pages; v2 has minor changes for publication; v3 minor typos fixed

MSC Class: 20E15; 20D30; 06A07

Journal ref: J. Algebra 351 (2012), no. 1, 448-458

Matchings, coverings, and Castelnuovo-Mumford regularity

Authors: Russ Woodroofe

Abstract: We show that the co-chordal cover number of a graph G gives an upper bound for the Castelnuovo-Mumford regularity of the associated edge ideal. Several known combinatorial upper bounds of regularity for edge ideals are then easy consequences of covering results from graph theory, and we derive new upper bounds by looking at additional covering results. We show that the co-chordal cover number of a graph G gives an upper bound for the Castelnuovo-Mumford regularity of the associated edge ideal. Several known combinatorial upper bounds of regularity for edge ideals are then easy consequences of covering results from graph theory, and we derive new upper bounds by looking at additional covering results. △ Less

Submitted 30 July, 2014; v1 submitted 14 September, 2010; originally announced September 2010.

Comments: 12 pages; v4 has minor changes for publication

MSC Class: 05E45; 13F55; 05C70

Journal ref: J. Commut. Algebra 6 (2014), no. 2, 287-304

Erdos-Ko-Rado theorems for simplicial complexes

Authors: Russ Woodroofe

Abstract: A recent framework for generalizing the Erdos-Ko-Rado Theorem, due to Holroyd, Spencer, and Talbot, defines the Erdos-Ko-Rado property for a graph in terms of the graph's independent sets. Since the family of all independent sets of a graph forms a simplicial complex, it is natural to further generalize the Erdos-Ko-Rado property to an arbitrary simplicial complex. An advantage of working in simpl… ▽ More A recent framework for generalizing the Erdos-Ko-Rado Theorem, due to Holroyd, Spencer, and Talbot, defines the Erdos-Ko-Rado property for a graph in terms of the graph's independent sets. Since the family of all independent sets of a graph forms a simplicial complex, it is natural to further generalize the Erdos-Ko-Rado property to an arbitrary simplicial complex. An advantage of working in simplicial complexes is the availability of algebraic shifting, a powerful shifting (compression) technique, which we use to verify a conjecture of Holroyd and Talbot in the case of sequentially Cohen-Macaulay near-cones. △ Less

Submitted 28 November, 2010; v1 submitted 4 January, 2010; originally announced January 2010.

Comments: 14 pages; v2 has minor changes; v3 has further minor changes for publication

MSC Class: 05E45; 05D05

Journal ref: J. Combin. Theory Ser. A 118 (2011), no. 4, 1218-1227

Chordal and sequentially Cohen-Macaulay clutters

Authors: Russ Woodroofe

Abstract: We extend the definition of chordal from graphs to clutters. The resulting family generalizes both chordal graphs and matroids, and obeys many of the same algebraic and geometric properties. Specifically, the independence complex of a chordal clutter is shellable, hence sequentially Cohen-Macaulay; and the circuit ideal of a certain complement to such a clutter has a linear resolution. Minimal non… ▽ More We extend the definition of chordal from graphs to clutters. The resulting family generalizes both chordal graphs and matroids, and obeys many of the same algebraic and geometric properties. Specifically, the independence complex of a chordal clutter is shellable, hence sequentially Cohen-Macaulay; and the circuit ideal of a certain complement to such a clutter has a linear resolution. Minimal non-chordal clutters are also closely related to obstructions to shellability, and we give some general families of such obstructions, together with a classification by computation of all obstructions to shellability on 6 vertices. △ Less

Submitted 25 October, 2011; v1 submitted 24 November, 2009; originally announced November 2009.

Comments: 20 pages. v2 fixes typos and improves exposition. v3 attributes prior work on shedding faces by Jonsson. v4 has minor updates for publication

MSC Class: 05E45; 13F55; 13C14; 05C65

Journal ref: Electron. J. Combin. 18(1) (2011), Paper 208

Vertex decomposable graphs and obstructions to shellability

Authors: Russ Woodroofe

Abstract: Inspired by several recent papers on the edge ideal of a graph G, we study the equivalent notion of the independence complex of G. Using the tool of vertex decomposability from geometric combinatorics, we show that 5-chordal graphs with no chordless 4-cycles are shellable and sequentially Cohen-Macaulay. We use this result to characterize the obstructions to shellability in flag complexes, exten… ▽ More Inspired by several recent papers on the edge ideal of a graph G, we study the equivalent notion of the independence complex of G. Using the tool of vertex decomposability from geometric combinatorics, we show that 5-chordal graphs with no chordless 4-cycles are shellable and sequentially Cohen-Macaulay. We use this result to characterize the obstructions to shellability in flag complexes, extending work of Billera, Myers, and Wachs. We also show how vertex decomposability may be used to show that certain graph constructions preserve shellability. △ Less

Submitted 18 June, 2009; v1 submitted 1 October, 2008; originally announced October 2008.

Comments: 13 pages, 3 figures. v2: Improved exposition, added Section 5.2 and additional references. v3: minor corrections for publication

MSC Class: 13F55; 05C38; 05E99

Journal ref: Proc. Amer. Math. Soc. 137 (2009), no. 10, 3235-3246

Cubical convex ear decompositions

Authors: Russ Woodroofe

Abstract: We consider the problem of constructing a convex ear decomposition for a poset. The usual technique, first used by Nyman and Swartz, starts with a CL-labeling and uses this to shell the `ears' of the decomposition. We axiomatize the necessary conditions for this technique as a "CL-ced" or "EL-ced". We find an EL-ced of the d-divisible partition lattice, and a closely related convex ear decomposi… ▽ More We consider the problem of constructing a convex ear decomposition for a poset. The usual technique, first used by Nyman and Swartz, starts with a CL-labeling and uses this to shell the `ears' of the decomposition. We axiomatize the necessary conditions for this technique as a "CL-ced" or "EL-ced". We find an EL-ced of the d-divisible partition lattice, and a closely related convex ear decomposition of the coset lattice of a relatively complemented group. Along the way, we construct new EL-labelings of both lattices. The convex ear decompositions so constructed are formed by face lattices of hypercubes. We then proceed to show that if two posets P_1 and P_2 have convex ear decompositions (CL-ceds), then their products P_1 \times P_2, P_1 \lrtimes P_2, and P_1 \urtimes P_2 also have convex ear decompositions (CL-ceds). An interesting special case is: if P_1 and P_2 have polytopal order complexes, then so do their products. △ Less

Submitted 18 June, 2009; v1 submitted 18 September, 2007; originally announced September 2007.

Comments: 33 pages. v2 shows that products of spaces with ceds have ceds (which was a question in v1), improves exposition. v3 further improves exposition and corrects typos

MSC Class: 05E25

Journal ref: Electronic J. Combinatorics 16(2) (2009) R17

An EL-labeling of the subgroup lattice

Authors: Russ Woodroofe

Abstract: In a 2001 paper, Shareshian conjectured that the subgroup lattice of a finite, solvable group has an EL-labeling. We construct such a labeling, and verify that our labeling has the expected properties. In a 2001 paper, Shareshian conjectured that the subgroup lattice of a finite, solvable group has an EL-labeling. We construct such a labeling, and verify that our labeling has the expected properties. △ Less

Submitted 6 June, 2008; v1 submitted 27 August, 2007; originally announced August 2007.

Comments: 8 pages. v2 has minor exposition improvements and typos fixed, and one reference added. v3 has typos fixed

MSC Class: 06A07; 05E25; 20E15

Journal ref: Proc. Amer. Math. Soc. 136 (2008), no. 11, 3795-3801

Shelling the Coset Poset

Authors: Russ Woodroofe

Abstract: It is shown that the coset lattice of a finite group has shellable order complex if and only if the group is complemented. Furthermore, the coset lattice is shown to have a Cohen-Macaulay order complex in exactly the same conditions. The group theoretical tools used are relatively elementary, and avoid the classification of finite simple groups and of minimal finite simple groups. It is shown that the coset lattice of a finite group has shellable order complex if and only if the group is complemented. Furthermore, the coset lattice is shown to have a Cohen-Macaulay order complex in exactly the same conditions. The group theoretical tools used are relatively elementary, and avoid the classification of finite simple groups and of minimal finite simple groups. △ Less

Submitted 3 August, 2006; v1 submitted 24 June, 2003; originally announced June 2003.

Comments: 14 pages, 3 figures; Improved exposition of Lemma 4.1, other minor fixes. Submitted to Journal of Combinatorial Theory, Series A

MSC Class: 20E15

Journal ref: J. Comb. Theory Ser. A 114 (2007), no. 4, 733-746

The Geometric Maximum Traveling Salesman Problem

Authors: Alexander Barvinok, Sandor P. Fekete, David S. Johnson, Arie Tamir, Gerhard J. Woeginger, Russ Woodroofe

Abstract: We consider the traveling salesman problem when the cities are points in R^d for some fixed d and distances are computed according to geometric distances, determined by some norm. We show that for any polyhedral norm, the problem of finding a tour of maximum length can be solved in polynomial time. If arithmetic operations are assumed to take unit time, our algorithms run in time O(n^{f-2} log n… ▽ More We consider the traveling salesman problem when the cities are points in R^d for some fixed d and distances are computed according to geometric distances, determined by some norm. We show that for any polyhedral norm, the problem of finding a tour of maximum length can be solved in polynomial time. If arithmetic operations are assumed to take unit time, our algorithms run in time O(n^{f-2} log n), where f is the number of facets of the polyhedron determining the polyhedral norm. Thus for example we have O(n^2 log n) algorithms for the cases of points in the plane under the Rectilinear and Sup norms. This is in contrast to the fact that finding a minimum length tour in each case is NP-hard. Our approach can be extended to the more general case of quasi-norms with not necessarily symmetric unit ball, where we get a complexity of O(n^{2f-2} log n). For the special case of two-dimensional metrics with f=4 (which includes the Rectilinear and Sup norms), we present a simple algorithm with O(n) running time. The algorithm does not use any indirect addressing, so its running time remains valid even in comparison based models in which sorting requires Omega(n \log n) time. The basic mechanism of the algorithm provides some intuition on why polyhedral norms allow fast algorithms. Complementing the results on simplicity for polyhedral norms, we prove that for the case of Euclidean distances in R^d for d>2, the Maximum TSP is NP-hard. This sheds new light on the well-studied difficulties of Euclidean distances. △ Less

Submitted 29 May, 2003; v1 submitted 10 April, 2002; originally announced April 2002.

Comments: 24 pages, 6 figures; revised to appear in Journal of the ACM. (clarified some minor points, fixed typos)

ACM Class: F.2.2

Journal ref: Journal of the ACM, 50 (5) 2003, 641-664.