Combinatorial Reciprocity Theorems

Similar documents
Combinatorial Reciprocity Theorems

and Other Combinatorial Reciprocity Instances

10 Years BADGeometry: Progress and Open Problems in Ehrhart Theory

The partial-fractions method for counting solutions to integral linear systems

The Arithmetic of Graph Polynomials. Maryam Farahmand. A dissertation submitted in partial satisfaction of the. requirements for the degree of

Enumerating integer points in polytopes: applications to number theory. Matthias Beck San Francisco State University math.sfsu.

MAXIMAL PERIODS OF (EHRHART) QUASI-POLYNOMIALS

Computing the continuous discretely: The magic quest for a volume

Ehrhart Polynomials of Zonotopes

The Hopf monoid of generalized permutahedra. SIAM Discrete Mathematics Meeting Austin, TX, June 2010

BIVARIATE ORDER POLYNOMIALS. Sandra Zuniga Ruiz

A MINIMAL-DISTANCE CHROMATIC POLYNOMIAL FOR SIGNED GRAPHS

ON WEAK CHROMATIC POLYNOMIALS OF MIXED GRAPHS

A Finite Calculus Approach to Ehrhart Polynomials. Kevin Woods, Oberlin College (joint work with Steven Sam, MIT)

A thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree

Hodge theory for combinatorial geometries

ASPHERIC ORIENTATIONS OF SIMPLICIAL COMPLEXES

arxiv: v1 [math.co] 28 Mar 2016

Hamiltonian Tournaments and Gorenstein Rings

Lattice polygons. P : lattice polygon in R 2 (vertices Z 2, no self-intersections)

Flows on Simplicial Complexes

arxiv: v2 [math.co] 2 Dec 2015

ENUMERATING COLORINGS, TENSIONS AND FLOWS IN CELL COMPLEXES

The poset of proper divisibility

Integer points enumerator of hypergraphic polytopes

Polytopes and Algebraic Geometry. Jesús A. De Loera University of California, Davis

Acyclic orientations of graphs

Euler characteristic of the truncated order complex of generalized noncrossing partitions

A quasisymmetric function generalization of the chromatic symmetric function

Surprising Examples of Manifolds in Toric Topology!

Shellability of Interval Orders

Finding parking when not commuting. Jon McCammond U.C. Santa Barbara

18.312: Algebraic Combinatorics Lionel Levine. Lecture 11

Finding parking when not commuting. Jon McCammond U.C. Santa Barbara

CAYLEY COMPOSITIONS, PARTITIONS, POLYTOPES, AND GEOMETRIC BIJECTIONS

Chapter 1. Preliminaries

The Hodge theory of degenerating hypersurfaces

Lecture 1. Toric Varieties: Basics

arxiv:math/ v1 [math.co] 2 Jan 2004

h -polynomials of dilated lattice polytopes

A Characterization of (3+1)-Free Posets

On Weak Chromatic Polynomials of Mixed Graphs

The cycle polynomial of a permutation group

Representations on real toric spaces

Enumeration of Flags in Eulerian Posets

An Introduction to Hyperplane Arrangements. Richard P. Stanley

Gorenstein rings through face rings of manifolds.

Real-rooted h -polynomials

Scissors Congruence in Mixed Dimensions

Combining the cycle index and the Tutte polynomial?

Recent developments on chromatic quasisymmetric functions. Michelle Wachs University of Miami

Boolean Product Polynomials and the Resonance Arrangement

MA 524 Final Fall 2015 Solutions

Lecture 3: Tropicalizations of Cluster Algebras Examples David Speyer

Solving the MWT. Recall the ILP for the MWT. We can obtain a solution to the MWT problem by solving the following ILP:

SYZYGIES OF ORIENTED MATROIDS

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS

Six Little Squares and How Their Numbers Grow

Patterns of Counting: From One to Zero and to Infinity

GÁBOR HETYEI. Introduction

The Maximum Likelihood Threshold of a Graph

Top Ehrhart coefficients of integer partition problems

Reciprocal domains and Cohen Macaulay d-complexes in R d

Chromatic polynomials of simplicial complexes

The topology of the external activity complex of a matroid

The Topology of Intersections of Coloring Complexes

Algebraic and geometric structures in combinatorics

ACYCLIC ORIENTATIONS AND CHROMATIC GENERATING FUNCTIONS. Ira M. Gessel 1

arxiv: v1 [math.co] 30 Sep 2017

The Chromatic Symmetric Function: Hypergraphs and Beyond

Lecture Notes on Algebraic Combinatorics. Jeremy L. Martin April 29, 2015

The degree of lattice polytopes

LECTURE 3 Matroids and geometric lattices

Outline. Some Reflection Group Numerology. Root Systems and Reflection Groups. Example: Symmetries of a triangle. Paul Renteln

Partially Ordered Sets and their Möbius Functions: Exercises Encuentro Colombiano de Combinatoria D n. = Cm1 C mk.

Non-Attacking Chess Pieces: The Bishop

Extremal Restraints for Graph Colourings

The computation of generalized Ehrhart series and integrals in Normaliz

Linear Algebra Review: Linear Independence. IE418 Integer Programming. Linear Algebra Review: Subspaces. Linear Algebra Review: Affine Independence

PARTITIONS WITH FIXED DIFFERENCES BETWEEN LARGEST AND SMALLEST PARTS

arxiv: v1 [math.ac] 6 Jan 2019

A proof of Freiman s Theorem, continued. An analogue of Freiman s Theorem in a bounded torsion group

SHELLABILITY AND HIGHER COHEN-MACAULAY CONNECTIVITY OF GENERALIZED CLUSTER COMPLEXES

On the Homological Dimension of Lattices

Ordering Events in Minkowski Space

Compatibly split subvarieties of Hilb n (A 2 k)

Factorization of the Characteristic Polynomial

T. Hibi Binomial ideals arising from combinatorics

Classification of Ehrhart polynomials of integral simplices

Ehrhart Positivity. Federico Castillo. December 15, University of California, Davis. Joint work with Fu Liu. Ehrhart Positivity

Homology of Newtonian Coalgebras

Improved Inclusion-Exclusion Identities and Inequalities Based on a Particular Class of Abstract Tubes

(Permutations Arising from) Hook Coefficients of Chromatic Symmetric Functions

Counting and Enumeration in Combinatorial Geometry Günter Rote

Chapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View

Increasing spanning forests in graphs and simplicial complexes

A New Index for Polytopes

3. Linear Programming and Polyhedral Combinatorics

ALGEBRAIC PROPERTIES OF BIER SPHERES

arxiv: v2 [math.co] 16 Aug 2018

Transcription:

Combinatorial Reciprocity Theorems Matthias Beck San Francisco State University math.sfsu.edu/beck based on joint work with Raman Sanyal Universität Frankfurt JCCA 2018 Sendai Thomas Zaslavsky Binghamton University

The Theme Combinatorics counting function depending on k Z >0 What is p(0)? p( 1)? p( 2)? polynomial p(k) Combinatorial Reciprocity Theorems Matthias Beck 2

The Theme Combinatorics counting function depending on k Z >0 What is p(0)? p( 1)? p( 2)? polynomial p(k) Two-for-one charm of combinatorial reciprocity theorems Big picture motivation: understand/classify these polynomials Combinatorial Reciprocity Theorems Matthias Beck 2

Chromatic Polynomials G = (V, E) graph (without loops) Proper k-coloring of G x [k] V such that x i x j if ij E χ G (k) := # (proper k-colorings of G) Example: χ K3 (k) = k(k 1)(k 2) Combinatorial Reciprocity Theorems Matthias Beck 3

Chromatic Polynomials χ K3 (k) = k(k 1)(k 2) Theorem (Birkhoff 1912, Whitney 1932) χ G (k) is a polynomial in k. χ K3 ( 1) = 6 counts the number of acyclic orientations of K 3. Theorem (Stanley 1973) ( 1) V χ G ( k) equals the number of pairs (α, x) consisting of an acyclic orientation α of G and a compatible k-coloring x. In particular, ( 1) V χ G ( 1) equals the number of acyclic orientations of G. Combinatorial Reciprocity Theorems Matthias Beck 3

Order Polynomials (Π, ) finite poset Ω Π (k) := # { φ [k] Π : a b = φ(a) φ(b) } Ω Π (k) := # { φ [k] Π : a b = φ(a) < φ(b) } Example: Π = [d] Ω Π (k) = ( k d ) and ( k d ) = ( 1) d ( k+d 1 d ) Combinatorial Reciprocity Theorems Matthias Beck 4

Order Polynomials (Π, ) finite poset Ω Π (k) := # { φ [k] Π : a b = φ(a) φ(b) } Ω Π (k) := # { φ [k] Π : a b = φ(a) < φ(b) } Example: Π = [d] Ω Π (k) = ( k d ) and ( k d ) = ( 1) d ( k+d 1 d ) Theorem (Stanley 1970) Ω Π (k) and Ω Π (k) are polynomials related via Ω Π ( k) = ( 1) Π Ω Π (k). Combinatorial Reciprocity Theorems Matthias Beck 4

(Π, ) finite poset Order Polynomials k 0 Ω Π (k) := # { φ [k] Π : a b = φ(a) φ(b) } Ω Π (k) := # { φ [k] Π : a b = φ(a) < φ(b) } Ω ( ) Π (k) zk = h( ) Π (z) (1 z) Π +1 Example: Π = [d] Ω Π (k) = ( k d ) and ( k d ) = ( 1) d ( k+d 1 d ) Theorem (Stanley 1970) Ω Π (k) and Ω Π (k) are polynomials related via Ω Π ( k) = ( 1) Π Ω Π (k). Equivalently, z Π +1 h Π (1 z ) = h Π(z). Combinatorial Reciprocity Theorems Matthias Beck 4

Eulerian Simplicial Complexes Γ simplicial complex (collection of subsets of a finite set, closed under taking subsets) Γ is Eulerian if it is pure and every interval has as many elements of even rank as of odd rank f j := # (j + 1)-subsets = # faces of dimension j h(z) := d+1 j=0 f j 1 z j (1 z) d+1 j Theorem (Everyone 19xy) If Γ is Eulerian then z d+1 h( 1 z ) = h(z). Key example (Dehn Sommerville): Γ = boundary complex of a simplicial polytope Combinatorial Reciprocity Theorems Matthias Beck 5

Ehrhart Polynomials Lattice polytope P R d convex hull of finitely points in Z d For k Z >0 let ehr P (k) := # ( kp Z d) Example: x 2 x 1 = x 2 x 2 = 6 = conv {(0, 0), (0, 1), (1, 1)} = { (x, y) R 2 : 0 x 1 x 2 1 } ehr (k) = ( k+2 2 ) = 1(k + 1)(k + 2) 2 x 1 ehr ( k) = ( ) k 1 2 = ehr (k) Combinatorial Reciprocity Theorems Matthias Beck 6

Ehrhart Polynomials Lattice polytope P R d convex hull of finitely points in Z d For k Z >0 let ehr P (k) := # ( kp Z d) Example: x 2 x 1 = x 2 x 2 = 6 = conv {(0, 0), (0, 1), (1, 1)} = { (x, y) R 2 : 0 x 1 x 2 1 } ehr (k) = ( k+2 2 ) = 1(k + 1)(k + 2) 2 x 1 ehr ( k) = ( ) k 1 2 = ehr (k) For example, the evaluations ehr ( 1) = ehr ( 2) = 0 point to the fact that neither nor 2 contain any interior lattice points. Combinatorial Reciprocity Theorems Matthias Beck 6

Ehrhart Polynomials Lattice polytope P R d convex hull of finitely points in Z d For k Z >0 let ehr P (k) := # ( kp Z d) Theorem (Ehrhart 1962) ehr P (k) is a polynomial in k. Theorem (Macdonald 1971) ( 1) dim P ehr P ( k) enumerates the interior lattice points in kp. Combinatorial Reciprocity Theorems Matthias Beck 7

Ehrhart Polynomials Lattice polytope P R d convex hull of finitely points in Z d For k Z >0 let ehr P (k) := # ( kp Z d) Theorem (Ehrhart 1962) ehr P (k) is a polynomial in k. Ehr P (z) := 1 + k>0 ehr P (k) z k = h P (z) (1 z) dim(p)+1 Theorem (Macdonald 1971) ( 1) dim P ehr P ( k) enumerates the interior lattice points in kp. z dim(p) h P (1 z ) = h P (z) Combinatorial Reciprocity Theorems Matthias Beck 7

Combinatorial Reciprocity Common theme: a combinatorial function, which is a priori defined on the positive integers, (1) can be algebraically extended beyond the positive integers (e.g., because it is a polynomial), and (2) has (possibly quite different) meaning when evaluated at negative integers. Generating-function version: evaluate at reciprocals. Combinatorial Reciprocity Theorems Matthias Beck 8

Ehrhart Order Polynomials (Π, ) finite poset Order polytope O Π := { φ [0, 1] Π : a b = φ(a) φ(b) } Ω Π (k) = # { φ [k] Π : a b = φ(a) φ(b) } = ehr OΠ (k 1) Ω Π (k) = # { φ [k] Π : a b = φ(a) < φ(b) } = ehr O Π (k + 1) and so ehr P( k) = ( 1) dim P ehr P (k) implies Ω Π ( k) = ( 1) Π Ω Π (k) Combinatorial Reciprocity Theorems Matthias Beck 9

Order Chromatic Polynomials χ G (k) = # (proper k-colorings of G) = Π acyclic Ω Π(k) ( 1) V χ G ( k) = Π acyclic ( 1) Π Ω Π( k) = Π acyclic Ω Π (k) k + 1 K 2 k + 1 x 1 = x 2 Combinatorial Reciprocity Theorems Matthias Beck 10

Chain Partitions (Π, ) finite graded poset with ˆ0 and ˆ1 φ : Π \ {ˆ0, ˆ1} Z >0 order preserving (Π, φ)-chain partition of n Z >0 : n = φ(c m ) + φ(c m 1 ) + + φ(c 1 ) for some multichain ˆ1 c m c m 1 c 1 ˆ0 cp Π,φ (k) := #(chain partitions of k) CP Π,φ (z) := 1+ cp Π,φ (k) z k k>0 Combinatorial Reciprocity Theorems Matthias Beck 11

Chain Partitions (Π, ) finite graded poset with ˆ0 and ˆ1 φ : Π \ {ˆ0, ˆ1} Z >0 order preserving (Π, φ)-chain partition of n Z >0 : n = φ(c m ) + φ(c m 1 ) + + φ(c 1 ) for some multichain ˆ1 c m c m 1 c 1 ˆ0 cp Π,φ (k) := #(chain partitions of k) CP Π,φ (z) := 1+ cp Π,φ (k) z k k>0 Example: A = {a 1 < a 2 < < a d } Z >0 Π = [d] φ(j) := a j cp Π,φ (k) is the restricted partition function with parts in A Combinatorial Reciprocity Theorems Matthias Beck 11

Chain Partitions (Π, ) finite graded poset with ˆ0 and ˆ1 φ : Π \ {ˆ0, ˆ1} Z >0 order preserving (Π, φ)-chain partition of n Z >0 : n = φ(c m ) + φ(c m 1 ) + + φ(c 1 ) for some multichain ˆ1 c m c m 1 c 1 ˆ0 cp Π,φ (k) := #(chain partitions of k) CP Π,φ (z) := 1+ cp Π,φ (k) z k k>0 φ is ranked if rank(a) = rank(b) = φ(a) = φ(b) Theorem If Π is Eulerian then ( 1) rank(π) CP Π,φ ( 1 z ) = z distinct ranks CP Π,φ (z) Combinatorial Reciprocity Theorems Matthias Beck 11

Chain Partitions for Simplicial Complexes Π = Γ {ˆ1} for a d-simplicial complex Γ with ground set V φ(σ) = rank(σ) = σ (Π, φ)-chain partition of n Z >0 : n = φ(c m ) + φ(c m 1 ) + + φ(c 1 ) for some multichain ˆ1 c m c m 1 c 1 ˆ0 cp Π,φ (k) := #(chain partitions of k) = d+1 j=0 f j 1 ( k j ) Canonical geometric realization of Γ in R V : R[Γ] := { conv{e v : v σ} : σ Γ } Combinatorial Reciprocity Theorems Matthias Beck 12

An Ehrhartian Interlude for Polytopal Complexes C d-dimensional complex of lattice polytopes with Euler characteristic 1 ( 1) d+1 Ehrhart polynomial ehr C (k) := # ( k C Z d) We call C self reciprocal if ehr C ( k) = ( 1) d ehr C (k). Equivalently, Ehr C (z) := 1+ k>0 ehr C (k) z k = h C (z) (1 z) d+1 satisfies zd+1 h C (1 z ) = h C (z) Combinatorial Reciprocity Theorems Matthias Beck 13

An Ehrhartian Interlude for Polytopal Complexes C d-dimensional complex of lattice polytopes with Euler characteristic 1 ( 1) d+1 Ehrhart polynomial ehr C (k) := # ( k, C Z d) We call C self reciprocal if ehr C ( k) = ( 1) d ehr C (k). Equivalently, Ehr C (z) := 1+ k>0 ehr C (k) z k = h C (z) (1 z) d+1 satisfies zd+1 h C (1 z ) = h C (z) Key examples (via Ehrhart Macdonald reciprocity): C = boundary complex of a lattice polytope C = Eulerian complex of lattice polytopes Combinatorial Reciprocity Theorems Matthias Beck 13

Back to Chain Partitions for Simplicial Complexes Π = Γ {ˆ1} for a (d 1)-simplicial complex Γ with ground set V φ(σ) = rank(σ) = σ R[Γ] := { conv{e v : v σ} : σ Γ } (Π, φ)-chain partition of n Z >0 : n = φ(c m ) + φ(c m 1 ) + + φ(c 1 ) for some multichain ˆ1 c m c m 1 c 1 ˆ0 Observation 1 cp Π,φ (k) := #(chain partitions of k) = ehr R[Γ] (k) Combinatorial Reciprocity Theorems Matthias Beck 14

Back to Chain Partitions for Simplicial Complexes Π = Γ {ˆ1} for a (d 1)-simplicial complex Γ with ground set V φ(σ) = rank(σ) = σ R[Γ] := { conv{e v : v σ} : σ Γ } (Π, φ)-chain partition of n Z >0 : n = φ(c m ) + φ(c m 1 ) + + φ(c 1 ) for some multichain ˆ1 c m c m 1 c 1 ˆ0 Observation 1 cp Π,φ (k) := #(chain partitions of k) = ehr R[Γ] (k) Observation 2 CP Π,φ (k) = Ehr R[Γ] (z) = h R[Γ] (z) (1 z) d+1 = h Γ (z) (1 z) d+1 Corollary If Γ is Eulerian then z d+1 h Γ ( 1 z ) = h Γ(z). Combinatorial Reciprocity Theorems Matthias Beck 14

The Answer To Most Of Life s Questions (Π, ) finite poset Order cone K Π := { φ R Π 0 : a b = φ(a) φ(b)} Interesting geometry Linear extensions triangulations Order polynomials 1 2 3 σ(1) K \{4} σ(3) P -partitions 4 σ(2) Euler Mahonian statistics Combinatorial Reciprocity Theorems Matthias Beck 15

For much more... math.sfsu.edu/beck/crt.html Combinatorial Reciprocity Theorems Matthias Beck 16