84 research outputs found
Generic circuits sets and general initial ideals with respect to weights
We study the set of circuits of a homogeneous ideal and that of its
truncations, and introduce the notion of generic circuits set. We show how this
is a well-defined invariant that can be used, in the case of initial ideals
with respect to weights, as a counterpart of the (usual) generic initial ideal
with respect to monomial orders. As an application we recover the existence of
the generic fan introduced by R\"omer and Schmitz for studying generic tropical
varieties. We also consider general initial ideals with respect to weights and
show, in analogy to the fact that generic initial ideals are Borel-fixed, that
these are fixed under the action of certain Borel subgroups of the general
linear group.Comment: 10 page
A Tropical F5 algorithm
Let K be a field equipped with a valuation. Tropical varieties over K can be
defined with a theory of Gr{\"o}bner bases taking into account the valuation of
K. While generalizing the classical theory of Gr{\"o}bner bases, it is not
clear how modern algorithms for computing Gr{\"o}bner bases can be adapted to
the tropical case. Among them, one of the most efficient is the celebrated F5
Algorithm of Faug{\`e}re. In this article, we prove that, for homogeneous
ideals, it can be adapted to the tropical case. We prove termination and
correctness. Because of the use of the valuation, the theory of tropical
Gr{\"o}b-ner bases is promising for stable computations over polynomial rings
over a p-adic field. We provide numerical examples to illustrate
time-complexity and p-adic stability of this tropical F5 algorithm
Parametric shortest-path algorithms via tropical geometry
We study parameterized versions of classical algorithms for computing
shortest-path trees. This is most easily expressed in terms of tropical
geometry. Applications include shortest paths in traffic networks with variable
link travel times.Comment: 24 pages and 8 figure
Tropical Geometry of Statistical Models
This paper presents a unified mathematical framework for inference in
graphical models, building on the observation that graphical models are
algebraic varieties.
From this geometric viewpoint, observations generated from a model are
coordinates of a point in the variety, and the sum-product algorithm is an
efficient tool for evaluating specific coordinates. The question addressed here
is how the solutions to various inference problems depend on the model
parameters. The proposed answer is expressed in terms of tropical algebraic
geometry. A key role is played by the Newton polytope of a statistical model.
Our results are applied to the hidden Markov model and to the general Markov
model on a binary tree.Comment: 14 pages, 3 figures. Major revision. Applications now in companion
paper, "Parametric Inference for Biological Sequence Analysis
Computing topological zeta functions of groups, algebras, and modules, II
Building on our previous work (arXiv:1405.5711), we develop the first
practical algorithm for computing topological zeta functions of nilpotent
groups, non-associative algebras, and modules. While we previously depended
upon non-degeneracy assumptions, the theory developed here allows us to
overcome these restrictions in various interesting cases.Comment: 33 pages; sequel to arXiv:1405.571
- …