Showing 1–20 of 20 results for author: Wakefield, M

Chain characteristic polynomials of matroids

Authors: Gary Lazzaro, Max Wakefield, Jason Weiss

Abstract: In this note we introduce a family of polynomials on a matroid derived from chain Tutte polynomials which generalize the classic and ubiquitous characteristic polynomial. We show that the coefficients of these polynomials alternate and present a recursion for any matroid. The classic characteristic polynomials were motivated by the chromatic polynomial on graphs. We define a generalized proper ver… ▽ More In this note we introduce a family of polynomials on a matroid derived from chain Tutte polynomials which generalize the classic and ubiquitous characteristic polynomial. We show that the coefficients of these polynomials alternate and present a recursion for any matroid. The classic characteristic polynomials were motivated by the chromatic polynomial on graphs. We define a generalized proper vertex coloring on a graph, which we call coupled multicoloring. We also define a generalized nowhere zero flow, which we call coupled multicommodity flow. Then we show that these chain characteristic polynomials enumerate the number of coupled multicolorings and coupled multicommodity flows on a graph. We conclude by listing multiple problems on enumerative properties of chain characteristic polynomials. △ Less

Submitted 6 August, 2025; originally announced August 2025.

Comments: 18 pages

MSC Class: 05B35 (primary) 52B40; 05C15 (secondary)

Chain Tutte polynomials

Authors: Max Wakefield

Abstract: The Tutte polynomial and Derksen's $\mathcal{G}$-invariant are the universal deletion-contraction and valuative matroid and polymatroid invariants, respectively. There are only a handful of well known invariants (like the matroid Kazhdan-Lusztig polynomials) between (in terms of fineness) the Tutte polynomial and Derksen's $\mathcal{G}$-invariant. The aim of this study is to define a spectrum of g… ▽ More The Tutte polynomial and Derksen's $\mathcal{G}$-invariant are the universal deletion-contraction and valuative matroid and polymatroid invariants, respectively. There are only a handful of well known invariants (like the matroid Kazhdan-Lusztig polynomials) between (in terms of fineness) the Tutte polynomial and Derksen's $\mathcal{G}$-invariant. The aim of this study is to define a spectrum of generalized Tutte polynomials to fill the gap between the Tutte polynomial and Derksen's $\mathcal{G}$-invariant. These polynomials are built by taking repeated convolution products of universal Tutte characters studied by Dupont, Fink, and Moci and using the framework of Ardila and Sanchez for studying valuative invariants. We develop foundational aspects of these polynomials by showing they are valuative on generalized permutahedra and present a generalized deletion-contraction formula. We apply these results on chain Tutte polynomials to obtain formulas for the Möbius polynomial, the opposite characteristic polynomial, a generalized Möbius polynomial, Ford's expected codimension of a matroid variety, and Derksen's $\mathcal{G}$-invariant. △ Less

Submitted 14 May, 2025; v1 submitted 4 May, 2023; originally announced May 2023.

Comments: 30 pages

MSC Class: 05B35 (primary); 05C31 (secondary)

A non-associative incidence near-ring with a generalized Möbius function

Authors: John Johnson, Max Wakefield

Abstract: There is a convolution product on 3-variable partial flag functions of a locally finite poset that produces a generalized Möbius function. Under the product this generalized Möbius function is a one sided inverse of the zeta function and satisfies many generalizations of classical results. In particular we prove analogues of Phillip Hall's Theorem on the Möbius function as an alternating sum of ch… ▽ More There is a convolution product on 3-variable partial flag functions of a locally finite poset that produces a generalized Möbius function. Under the product this generalized Möbius function is a one sided inverse of the zeta function and satisfies many generalizations of classical results. In particular we prove analogues of Phillip Hall's Theorem on the Möbius function as an alternating sum of chain counts, Weisner's theorem, and Rota's Crosscut Theorem. A key ingredient to these results is that this function is an overlapping product of classical Möbius functions. Using this generalized Möbius function we define analogues of the characteristic polynomial and Möbius polynomials for ranked lattices. We compute these polynomials for certain families of matroids and prove that this generalized Möbius polynomial has -1 as root if the matroid is modular. Using results from Ardila and Sanchez we prove that this generalized characteristic polynomial is a matroid valuation. △ Less

Submitted 14 April, 2022; originally announced April 2022.

Comments: 24 pages

Derivation degree sequences of non-free arrangements

Authors: Max Wakefield

Abstract: In this note we study the logarithmic derivation module of a non-free arrangement. We prove a generalized addition theorem for all arrangements. This addition theorem allows us to find various relationships between non-free arrangements, free arrangements and restriction counts. For graphic arrangements we can use these results to find a lower bound for the maximal degree generator in terms of tri… ▽ More In this note we study the logarithmic derivation module of a non-free arrangement. We prove a generalized addition theorem for all arrangements. This addition theorem allows us to find various relationships between non-free arrangements, free arrangements and restriction counts. For graphic arrangements we can use these results to find a lower bound for the maximal degree generator in terms of triangles in the associated graph. We also apply these results to the case of hypersolvable arrangements where we define hyperexponents and use them to find a lower bound for their maximal degree generator. △ Less

Submitted 19 July, 2018; originally announced July 2018.

Comments: 17 pages, 1 figure

MSC Class: 52C35

Stirling Numbers in Braid Matroid Kazhdan-Lusztig Polynomials

Authors: Trevor K. Karn, Max D. Wakefield

Abstract: Restricted Whitney numbers of the first kind appear in the combinatorial recursion for the matroid Kazhdan-Lusztig polynomials. In the special case of braid matroids (the matroid associated to the partition lattice, the complete graph, the type A Coxeter arrangement and the symmetric group) these restricted Whitney numbers are Stirling numbers of the first kind. We use this observation to obtain a… ▽ More Restricted Whitney numbers of the first kind appear in the combinatorial recursion for the matroid Kazhdan-Lusztig polynomials. In the special case of braid matroids (the matroid associated to the partition lattice, the complete graph, the type A Coxeter arrangement and the symmetric group) these restricted Whitney numbers are Stirling numbers of the first kind. We use this observation to obtain a formula for the coefficients of the Kazhdan-Lusztig polynomials for braid matroids in terms of sums of products of Stirling numbers of the first kind. This results in new identities between Stirling numbers of the first kind and Stirling numbers of the second kind, as well as a non-recursive formula for the braid matroid Kazhdan-Lusztig polynomials. △ Less

Submitted 2 February, 2018; originally announced February 2018.

Comments: 10 pages, 1 table

Free Multiplicities on the moduli of $X_3$

Authors: Michael DiPasquale, Max Wakefield

Abstract: In this note we study the freeness of the module of derivations on all moduli of the $X_3$ arrangement with multiplicities. We use homological techniques stemming from work of Yuzvinsky, Brandt, and Terao which have recently been developed for multi-arrangements by the first author, Francisco, Mermin, and Schweig. In this note we study the freeness of the module of derivations on all moduli of the $X_3$ arrangement with multiplicities. We use homological techniques stemming from work of Yuzvinsky, Brandt, and Terao which have recently been developed for multi-arrangements by the first author, Francisco, Mermin, and Schweig. △ Less

Submitted 12 July, 2017; originally announced July 2017.

Comments: 16 pages, 2 figures

Partial flag incidence algebras

Authors: Max Wakefield

Abstract: The $n^{th}$ partial flag incidence algebra of a poset $P$ is the set of functions from $P^n$ to some ring which are zero on non-partial flag vectors. These partial flag incidence algebras for $n>2$ are not commutative, not unitary, and not associative. However, partial flag incidence algebras contain generalized zeta, delta, and Möbius functions which are finer and more delicate invariants than t… ▽ More The $n^{th}$ partial flag incidence algebra of a poset $P$ is the set of functions from $P^n$ to some ring which are zero on non-partial flag vectors. These partial flag incidence algebras for $n>2$ are not commutative, not unitary, and not associative. However, partial flag incidence algebras contain generalized zeta, delta, and Möbius functions which are finer and more delicate invariants than their classical analogues. We also study some generalized characteristic polynomials of posets which are not evaluations of Tutte polynomials and compute them for Boolean lattices. Motivation for this work came from studying the matroid Kazhdan-Lusztig polynomials where partial flag Whitney numbers play a central role. △ Less

Submitted 31 January, 2022; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: 14 pages, revised version

MSC Class: 52C35

Intersection cohomology of the symmetric reciprocal plane

Authors: Nicholas Proudfoot, Max Wakefield, Benjamin Young

Abstract: We compute the Kazhdan-Lusztig polynomial of the uniform matroid of rank n-1 on n elements by proving that the i-th coefficient of is equal to the number of ways to choose i non-intersecting chords in an (n-i+1)-gon. We also show that the corresponding intersection cohomology group is isomorphic to the irreducible representation of the symmetric group associated to the partition [n-2i,2,...,2]. We compute the Kazhdan-Lusztig polynomial of the uniform matroid of rank n-1 on n elements by proving that the i-th coefficient of is equal to the number of ways to choose i non-intersecting chords in an (n-i+1)-gon. We also show that the corresponding intersection cohomology group is isomorphic to the irreducible representation of the symmetric group associated to the partition [n-2i,2,...,2]. △ Less

Submitted 20 December, 2015; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: 10 pages, 1 figure; small errors corrected after publication

MSC Class: 05B35; 55N33; 20C30

The Kazhdan-Lusztig polynomial of a matroid

Authors: Ben Elias, Nicholas Proudfoot, Max Wakefield

Abstract: We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always non-negative, and we prove this conjecture for representable matroids by interpreting our polynomials as intersection cohomology Poincare polynomials. We also i… ▽ More We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always non-negative, and we prove this conjecture for representable matroids by interpreting our polynomials as intersection cohomology Poincare polynomials. We also introduce a q-deformation of the Mobius algebra of M, and use our polynomials to define a special basis for this deformation, analogous to the canonical basis of the Hecke algebra. We conjecture that the structure coefficients for multiplication in this special basis are non-negative, and we verify this conjecture in numerous examples. △ Less

Submitted 30 June, 2016; v1 submitted 23 December, 2014; originally announced December 2014.

Comments: Updated from the published version to include a counterexample to Conjecture 4.2

MSC Class: 05B35; 14F43; 52C35

The Enumerative Geometry of Hyperplane Arrangements

Authors: Thomas Paul, Will Traves, Max Wakefield

Abstract: We study enumerative questions on the moduli space $\mathcal{M}(L)$ of hyperplane arrangements with a given intersection lattice $L$. Mnëv's universality theorem suggests that these moduli spaces can be arbitrarily complicated; indeed it is even difficult to compute the dimension $D =\dim \mathcal{M}(L)$. Embedding $\mathcal{M}(L)$ in a product of projective spaces, we study the degree… ▽ More We study enumerative questions on the moduli space $\mathcal{M}(L)$ of hyperplane arrangements with a given intersection lattice $L$. Mnëv's universality theorem suggests that these moduli spaces can be arbitrarily complicated; indeed it is even difficult to compute the dimension $D =\dim \mathcal{M}(L)$. Embedding $\mathcal{M}(L)$ in a product of projective spaces, we study the degree $N=\mathrm{deg} \mathcal{M}(L)$, which can be interpreted as the number of arrangements in $\mathcal{M}(L)$ that pass through $D$ points in general position. For generic arrangements $N$ can be computed combinatorially and this number also appears in the study of the Chow variety of zero dimensional cycles. We compute $D$ and $N$ using Schubert calculus in the case where $L$ is the intersection lattice of the arrangement obtained by taking multiple cones over a generic arrangement. We also calculate the characteristic numbers for families of generic arrangements in $\mathbb{P}^2$ with 3 and 4 lines. △ Less

Submitted 22 September, 2014; originally announced September 2014.

Comments: 25 pages, 5 figures

MSC Class: 14N15; 14N20; 52C35

Limits with braid arrangements

Authors: Matthew S. Miller, Max Wakefield

Abstract: We define a monoid structure on the set of $k$-equal arrangements and use this structure to define limits of braid arrangements. We compute the cohomology of the associated limits of rational models of the arrangements complex complements. We collect these complexes together into one complex by creating a new differential and product on their direct sum and show that the resulting complex is exact… ▽ More We define a monoid structure on the set of $k$-equal arrangements and use this structure to define limits of braid arrangements. We compute the cohomology of the associated limits of rational models of the arrangements complex complements. We collect these complexes together into one complex by creating a new differential and product on their direct sum and show that the resulting complex is exact. △ Less

Submitted 24 November, 2012; originally announced November 2012.

Comments: 15 pages

MSC Class: 52C35; 16E45

Skeleton Simplicial Evaluation Codes

Authors: James Berg, Max Wakefield

Abstract: For a subspace arrangement over a finite field we study the evaluation code defined on the arrangement's set of points. The length of this code is given by the subspace arrangement's characteristic polynomial. For coordinate subspace arrangements, the dimension is bounded below by the face vector of the corresponding simplicial complex. The minimum distance is determined for coordinate subspace ar… ▽ More For a subspace arrangement over a finite field we study the evaluation code defined on the arrangement's set of points. The length of this code is given by the subspace arrangement's characteristic polynomial. For coordinate subspace arrangements, the dimension is bounded below by the face vector of the corresponding simplicial complex. The minimum distance is determined for coordinate subspace arrangements where the simplicial complex is a skeleton. △ Less

Submitted 1 December, 2011; originally announced December 2011.

Comments: 16 pages, 2 figures

Local cohomology of logarithmic forms

Authors: Graham Denham, Hal Schenck, Mathias Schulze, Uli Walther, Max Wakefield

Abstract: Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a free divisor. We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local co… ▽ More Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a free divisor. We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local cohomology of logarithmic forms of generic hyperplane arrangements. △ Less

Submitted 20 November, 2012; v1 submitted 12 March, 2011; originally announced March 2011.

Comments: 21 pages, minor corrections and updated bibliography

MSC Class: 32S22; 52C35; 16W25

Journal ref: Ann. Inst. Fourier (Grenoble) 63 (2013), no. 3, 1177-1203

Edge colored hypergraphic arrangements

Authors: Matthew Miller, Max Wakefield

Abstract: A subspace arrangement defined by intersections of hyperplanes of the braid arrangement can be encoded by an edge colored hypergraph. It turns out that the characteristic polynomial of this type of subspace arrangement is given by a generalized chromatic polynomial of the associated edge colored hypergraph. The main result of this paper supplies a sufficient condition for the existence of non-tr… ▽ More A subspace arrangement defined by intersections of hyperplanes of the braid arrangement can be encoded by an edge colored hypergraph. It turns out that the characteristic polynomial of this type of subspace arrangement is given by a generalized chromatic polynomial of the associated edge colored hypergraph. The main result of this paper supplies a sufficient condition for the existence of non-trivial Massey products of the subspace arrangements complex complement. This is accomplished by studying a spectral sequence associated to the Lie coalgebras of Sinha and Walter. △ Less

Submitted 24 March, 2009; originally announced March 2009.

Comments: 17 pages, to appear in Pure and Applied Mathematics Quarterly

MSC Class: 14N20; 52C35; 55P62

A componentwise version of Terao's conjecture

Authors: William N. Traves, Max Wakefield

Abstract: This paper has been withdrawn by the authors due to crucial error in the main proof (located in Section 2.4). The authors apologize for any inconveniences. This paper has been withdrawn by the authors due to crucial error in the main proof (located in Section 2.4). The authors apologize for any inconveniences. △ Less

Submitted 25 August, 2009; v1 submitted 22 January, 2009; originally announced January 2009.

Comments: This paper has been withdrawn

MSC Class: 52C35 (Primary); 14N20 (Secondary)

The Jacobian ideal of a hyperplane arrangement

Authors: Max Wakefield, Masahiko Yoshinaga

Abstract: The Jacobian ideal of a hyperplane arrangement is an ideal in the polynomial ring whose generators are the partial derivatives of the arrangements defining polynomial. In this article, we prove that an arrangement can be reconstructed from its Jacobian ideal. The Jacobian ideal of a hyperplane arrangement is an ideal in the polynomial ring whose generators are the partial derivatives of the arrangements defining polynomial. In this article, we prove that an arrangement can be reconstructed from its Jacobian ideal. △ Less

Submitted 18 July, 2007; originally announced July 2007.

Comments: 5 pages

MSC Class: 52C35 (Primary); 32S22 (Secondary)

Equivalence classes of Latin squares and nets in CP^2

Authors: Corey Dunn, Matthew S. Miller, Max Wakefield, Sebastian Zwicknagl

Abstract: The fundamental combinatorial structure of a net in CP^2 is its associated set of mutually orthogonal latin squares. We define equivalence classes of sets of orthogonal Latin squares by label equivalences of the lines of the corresponding net in CP^2. Then we count these equivalence classes for small cases. Finally, we prove that the realization spaces of these classes in CP^2 are empty to show… ▽ More The fundamental combinatorial structure of a net in CP^2 is its associated set of mutually orthogonal latin squares. We define equivalence classes of sets of orthogonal Latin squares by label equivalences of the lines of the corresponding net in CP^2. Then we count these equivalence classes for small cases. Finally, we prove that the realization spaces of these classes in CP^2 are empty to show some non-existence results for 4-nets in CP^2. △ Less

Submitted 9 September, 2008; v1 submitted 5 March, 2007; originally announced March 2007.

Comments: 14 pages

MSC Class: 52C30; 05B30

The Euler multiplicity and addition-deletion theorems for multiarrangements

Authors: Takuro Abe, Hiroaki Terao, Max Wakefield

Abstract: The addition-deletion theorems for hyperplane arrangements, which were originally shown in [H. Terao, Arrangements of hyperplanes and their freeness I, II. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 27 (1980), 293--320], provide useful ways to construct examples of free arrangements. In this article, we prove addition-deletion theorems for multiarrangements. A key to the generalization is the defin… ▽ More The addition-deletion theorems for hyperplane arrangements, which were originally shown in [H. Terao, Arrangements of hyperplanes and their freeness I, II. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 27 (1980), 293--320], provide useful ways to construct examples of free arrangements. In this article, we prove addition-deletion theorems for multiarrangements. A key to the generalization is the definition of a new multiplicity, called the Euler multiplicity, of a restricted multiarrangement. We compute the Euler multiplicities in many cases. Then we apply the addition-deletion theorems to various arrangements including supersolvable arrangements and the Coxeter arrangement of type $A_{3}$ to construct free and non-free multiarrangements. △ Less

Submitted 10 October, 2007; v1 submitted 23 December, 2006; originally announced December 2006.

MSC Class: 32S22; 52C35

Journal ref: J. London Math. Soc. (2) 77 (2008), 335-348

The characteristic polynomial of a multiarrangement

Authors: Takuro Abe, Hiroaki Terao, Max Wakefield

Abstract: Given a multiarrangement of hyperplanes we define a series by sums of the Hilbert series of the derivation modules of the multiarrangement. This series turns out to be a polynomial. Using this polynomial we define the characteristic polynomial of a multiarrangement which generalizes the characteristic polynomial of an arragnement. The characteristic polynomial of an arrangement is a combinatoria… ▽ More Given a multiarrangement of hyperplanes we define a series by sums of the Hilbert series of the derivation modules of the multiarrangement. This series turns out to be a polynomial. Using this polynomial we define the characteristic polynomial of a multiarrangement which generalizes the characteristic polynomial of an arragnement. The characteristic polynomial of an arrangement is a combinatorial invariant, but this generalized characteristic polynomial is not. However, when the multiarrangement is free, we are able to prove the factorization theorem for the characteristic polynomial. The main result is a formula that relates `global' data to `local' data of a multiarrangement given by the coefficients of the respective characteristic polynomials. This result gives a new necessary condition for a multiarrangement to be free. Consequently it provides a simple method to show that a given multiarrangement is not free. △ Less

Submitted 23 November, 2006; originally announced November 2006.

Comments: 12 pages, 2 figures

MSC Class: 32S22 (Primary) 14N20; 52C35 (Secondary)

Journal ref: Advances in Math. 215 (2007), 825-838

Derivations of an effective divisor on the complex projective line

Authors: Max Wakefield, Sergey Yuzvinsky

Abstract: In this paper we consider an effective divisor on the complex projective line and associate with it the module D consisting of all the derivations $θ$ such that $θ(I_i)\subset I_i^{m_i}$ for every $i$, where $I_i$ is the ideal of $p_i$. The module D is graded and free of rank 2; the degrees of its homogeneous basis, called the exponents, form an important invariant of the divisor. We prove that… ▽ More In this paper we consider an effective divisor on the complex projective line and associate with it the module D consisting of all the derivations $θ$ such that $θ(I_i)\subset I_i^{m_i}$ for every $i$, where $I_i$ is the ideal of $p_i$. The module D is graded and free of rank 2; the degrees of its homogeneous basis, called the exponents, form an important invariant of the divisor. We prove that under certain conditions on $(m_i)$ the exponents do not depend on $\{p_i\}$. Our main result asserts that if these conditions do not hold for $(m_i)$ then there exists a general position of $n$ points for which the exponents do not change. We give an explicit formula for them. We also exhibit some examples of degeneration of the exponents, in particular those where the degeneration is defined by vanishing of certain Shur functions. As application and motivation, we show that our results imply Terao's conjecture (about the combinatorial nature of the freeness of hyperplane arrangements) for certain new classes of arrangements of lines in the complex projective plane. △ Less

Submitted 11 November, 2005; v1 submitted 15 July, 2005; originally announced July 2005.

MSC Class: 52C35; 14N20 (Primary); 13N15; 15A36 (Secondary)