845 research outputs found
Lattice Points in Orthotopes and a Huge Polynomial Tutte Invariant of Weighted Gain Graphs
A gain graph is a graph whose edges are orientably labelled from a group. A
weighted gain graph is a gain graph with vertex weights from an abelian
semigroup, where the gain group is lattice ordered and acts on the weight
semigroup. For weighted gain graphs we establish basic properties and we
present general dichromatic and forest-expansion polynomials that are Tutte
invariants (they satisfy Tutte's deletion-contraction and multiplicative
identities). Our dichromatic polynomial includes the classical graph one by
Tutte, Zaslavsky's two for gain graphs, Noble and Welsh's for graphs with
positive integer weights, and that of rooted integral gain graphs by Forge and
Zaslavsky. It is not a universal Tutte invariant of weighted gain graphs; that
remains to be found.
An evaluation of one example of our polynomial counts proper list colorations
of the gain graph from a color set with a gain-group action. When the gain
group is Z^d, the lists are order ideals in the integer lattice Z^d, and there
are specified upper bounds on the colors, then there is a formula for the
number of bounded proper colorations that is a piecewise polynomial function of
the upper bounds, of degree nd where n is the order of the graph.
This example leads to graph-theoretical formulas for the number of integer
lattice points in an orthotope but outside a finite number of affinographic
hyperplanes, and for the number of n x d integral matrices that lie between two
specified matrices but not in any of certain subspaces defined by simple row
equations.Comment: 32 pp. Submitted in 2007, extensive revisions in 2013 (!). V3: Added
references, clarified examples. 35 p
Inside-Out Polytopes
We present a common generalization of counting lattice points in rational
polytopes and the enumeration of proper graph colorings, nowhere-zero flows on
graphs, magic squares and graphs, antimagic squares and graphs, compositions of
an integer whose parts are partially distinct, and generalized latin squares.
Our method is to generalize Ehrhart's theory of lattice-point counting to a
convex polytope dissected by a hyperplane arrangement. We particularly develop
the applications to graph and signed-graph coloring, compositions of an
integer, and antimagic labellings.Comment: 24 pages, 3 figures; to appear in Adv. Mat
The Number of Nowhere-Zero Flows on Graphs and Signed Graphs
A nowhere-zero -flow on a graph is a mapping from the edges of
to the set \{\pm1, \pm2, ..., \pm(k-1)\} \subset \bbZ such that, in
any fixed orientation of , at each node the sum of the labels over the
edges pointing towards the node equals the sum over the edges pointing away
from the node. We show that the existence of an \emph{integral flow polynomial}
that counts nowhere-zero -flows on a graph, due to Kochol, is a consequence
of a general theory of inside-out polytopes. The same holds for flows on signed
graphs. We develop these theories, as well as the related counting theory of
nowhere-zero flows on a signed graph with values in an abelian group of odd
order. Our results are of two kinds: polynomiality or quasipolynomiality of the
flow counting functions, and reciprocity laws that interpret the evaluations of
the flow polynomials at negative integers in terms of the combinatorics of the
graph.Comment: 17 pages, to appear in J. Combinatorial Th. Ser.
- …