114 research outputs found
Symmetries of statistics on lattice paths between two boundaries
We prove that on the set of lattice paths with steps N=(0,1) and E=(1,0) that
lie between two fixed boundaries T and B (which are themselves lattice paths),
the statistics `number of E steps shared with B' and `number of E steps shared
with T' have a symmetric joint distribution. To do so, we give an involution
that switches these statistics, preserves additional parameters, and
generalizes to paths that contain steps S=(0,-1) at prescribed x-coordinates.
We also show that a similar equidistribution result for path statistics follows
from the fact that the Tutte polynomial of a matroid is independent of the
order of its ground set. We extend the two theorems to k-tuples of paths
between two boundaries, and we give some applications to Dyck paths,
generalizing a result of Deutsch, to watermelon configurations, to
pattern-avoiding permutations, and to the generalized Tamari lattice. Finally,
we prove a conjecture of Nicol\'as about the distribution of degrees of k
consecutive vertices in k-triangulations of a convex n-gon. To achieve this
goal, we provide a new statistic-preserving bijection between certain k-tuples
of non-crossing paths and k-flagged semistandard Young tableaux, which is based
on local moves reminiscent of jeu de taquin.Comment: Small typos corrected, and journal reference and grant info adde
Algorithms for Approximate Minimization of the Difference Between Submodular Functions, with Applications
We extend the work of Narasimhan and Bilmes [30] for minimizing set functions
representable as a difference between submodular functions. Similar to [30],
our new algorithms are guaranteed to monotonically reduce the objective
function at every step. We empirically and theoretically show that the
per-iteration cost of our algorithms is much less than [30], and our algorithms
can be used to efficiently minimize a difference between submodular functions
under various combinatorial constraints, a problem not previously addressed. We
provide computational bounds and a hardness result on the mul- tiplicative
inapproximability of minimizing the difference between submodular functions. We
show, however, that it is possible to give worst-case additive bounds by
providing a polynomial time computable lower-bound on the minima. Finally we
show how a number of machine learning problems can be modeled as minimizing the
difference between submodular functions. We experimentally show the validity of
our algorithms by testing them on the problem of feature selection with
submodular cost features.Comment: 17 pages, 8 figures. A shorter version of this appeared in Proc.
Uncertainty in Artificial Intelligence (UAI), Catalina Islands, 201
Max-balanced flows in oriented matroids
Let M=(E,O) be an oriented matroid on the ground set E. A real-valued vector x defined on E is a max-balanced flow for M if for every signed cocircuit Y∈O⊥, we have maxeεY+Xe=maxeεY−Xe. We extend the admissibility and decomposition theorems of Hamacher from regular to general oriented matroids in the case of max-balanced flows, which gives necessary and sufficient conditions for the existence of a max-balanced flow x satisfying l⩽×⩽u. We further investigate the semilattice of such flows under the usual coordinate partial order, and obtain structural results for the minimal elements. We also give necessary and sufficient conditions for the existence of such a flow when we are allowed to reverse the signs on a subset F⊆E. The proofs of all of our results are constructive, and yield polynomial algorithms in case M is coordinatized by a rational matrix A. In this same setting, we describe a polynomial algorithm that for a given vector w defined on E, either finds a potential p such that w′=w+pA is max-balanced, or a certificate that M has no max-balanced flow
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
Non-crossing frameworks with non-crossing reciprocals
We study non-crossing frameworks in the plane for which the classical
reciprocal on the dual graph is also non-crossing. We give a complete
description of the self-stresses on non-crossing frameworks whose reciprocals
are non-crossing, in terms of: the types of faces (only pseudo-triangles and
pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a
geometric condition on the stress vectors at some of the vertices.
As in other recent papers where the interplay of non-crossingness and
rigidity of straight-line plane graphs is studied, pseudo-triangulations show
up as objects of special interest. For example, it is known that all planar
Laman circuits can be embedded as a pseudo-triangulation with one non-pointed
vertex. We show that if such an embedding is sufficiently generic, then the
reciprocal is non-crossing and again a pseudo-triangulation embedding of a
planar Laman circuit. For a singular (i.e., non-generic) pseudo-triangulation
embedding of a planar Laman circuit, the reciprocal is still non-crossing and a
pseudo-triangulation, but its underlying graph may not be a Laman circuit.
Moreover, all the pseudo-triangulations which admit a non-crossing reciprocal
arise as the reciprocals of such, possibly singular, stresses on
pseudo-triangulation embeddings of Laman circuits.
All self-stresses on a planar graph correspond to liftings to piece-wise
linear surfaces in 3-space. We prove characteristic geometric properties of the
lifts of such non-crossing reciprocal pairs.Comment: 32 pages, 23 figure
- …