319 research outputs found
Rank functions and invariants of delta-matroids
In this note, we give a rank function axiomatization for delta-matroids and
study the corresponding rank generating function. We relate an evaluation of
the rank generating function to the number of independent sets of the
delta-matroid, and we prove a log-concavity result for that evaluation using
the theory of Lorentzian polynomials
Structure-Aware Methods for Expensive Derivative-Free Nonsmooth Composite Optimization
We present new methods for solving a broad class of bound-constrained
nonsmooth composite minimization problems. These methods are specially designed
for objectives that are some known mapping of outputs from a computationally
expensive function. We provide accompanying implementations of these methods:
in particular, a novel manifold sampling algorithm (\mspshortref) with
subproblems that are in a sense primal versions of the dual problems solved by
previous manifold sampling methods and a method (\goombahref) that employs more
difficult optimization subproblems. For these two methods, we provide rigorous
convergence analysis and guarantees. We demonstrate extensive testing of these
methods. Open-source implementations of the methods developed in this
manuscript can be found at \url{github.com/POptUS/IBCDFO/}
K-theoretic positivity for matroids
Hilbert polynomials have positivity properties under favorable conditions. We
establish a similar "K-theoretic positivity" for matroids. As an application,
for a multiplicity-free subvariety of a product of projective spaces such that
the projection onto one of the factors has birational image, we show that a
transformation of its K-polynomial is Lorentzian. This partially answers a
conjecture of Castillo, Cid-Ruiz, Mohammadi, and Montano. As another
application, we show that the h*-vector of a simplicially positive divisor on a
matroid is a Macaulay vector, affirmatively answering a question of Speyer for
a new infinite family of matroids
Resolutions of local face modules, functoriality, and vanishing of local -vectors
We study the local face modules of triangulations of simplices, i.e., the
modules over face rings whose Hilbert functions are local -vectors. In
particular, we give resolutions of these modules by subcomplexes of Koszul
complexes as well as functorial maps between modules induced by inclusions of
faces. As applications, we prove a new monotonicity result for local
-vectors and new results on the structure of faces in triangulations with
vanishing local -vectors.Comment: 15 page
- …