36,945 research outputs found
Graphical criteria for positive solutions to linear systems
We study linear systems of equations with coefficients in a generic partially
ordered ring and a unique solution, and seek conditions for the solution to
be nonnegative, that is, every component of the solution is a quotient of two
nonnegative elements in . The requirement of a nonnegative solution arises
typically in applications, such as in biology and ecology, where quantities of
interest are concentrations and abundances. We provide novel conditions on a
labeled multidigraph associated with the linear system that guarantee the
solution to be nonnegative. Furthermore, we study a generalization of the first
class of linear systems, where the coefficient matrix has a specific block form
and provide analogous conditions for nonnegativity of the solution, similarly
based on a labeled multidigraph. The latter scenario arises naturally in
chemical reaction network theory, when studying full or partial
parameterizations of the positive part of the steady state variety of a
polynomial dynamical system in the concentrations of the molecular species
Finding complex balanced and detailed balanced realizations of chemical reaction networks
Reversibility, weak reversibility and deficiency, detailed and complex
balancing are generally not "encoded" in the kinetic differential equations but
they are realization properties that may imply local or even global asymptotic
stability of the underlying reaction kinetic system when further conditions are
also fulfilled. In this paper, efficient numerical procedures are given for
finding complex balanced or detailed balanced realizations of mass action type
chemical reaction networks or kinetic dynamical systems in the framework of
linear programming. The procedures are illustrated on numerical examples.Comment: submitted to J. Math. Che
A discrete Farkas lemma
Given and , we consider the issue of
existence of a nonnegative integral solution to the system of
linear equations . We provide a discrete and explicit analogue of the
celebrated Farkas lemma for linear systems in and prove that checking
existence of integral solutions reduces to solving an explicit linear
programming problem of fixed dimension, known in advance.Comment: 9 pages; ICCSA 2003 conference, Montreal, May 200
General Linear Quadratic Optimal Stochastic Control Problem Driven by a Brownian Motion and a Poisson Random Martingale Measure with Random Coefficients
The main purpose of this paper is to discuss detailed the stochastic LQ
control problem with random coefficients where the linear system is a
multidimensional stochastic differential equation driven by a multidimensional
Brownian motion and a Poisson random martingale measure. In the paper, we will
establish the connections of the multidimensional Backward stochastic Riccati
equation with jumps (BSRDEJ in short form) to the stochastic LQ problem and to
the associated Hamilton systems. By the connections, we show the optimal
control have the state feedback representation. Moreover, we will show the
existence and uniqueness result of the multidimensional BSRDEJ for the case
where the generator is bounded linear dependence with respect to the unknowns
martingale term
Finding All Nash Equilibria of a Finite Game Using Polynomial Algebra
The set of Nash equilibria of a finite game is the set of nonnegative
solutions to a system of polynomial equations. In this survey article we
describe how to construct certain special games and explain how to find all the
complex roots of the corresponding polynomial systems, including all the Nash
equilibria. We then explain how to find all the complex roots of the polynomial
systems for arbitrary generic games, by polyhedral homotopy continuation
starting from the solutions to the specially constructed games. We describe the
use of Groebner bases to solve these polynomial systems and to learn geometric
information about how the solution set varies with the payoff functions.
Finally, we review the use of the Gambit software package to find all Nash
equilibria of a finite game.Comment: Invited contribution to Journal of Economic Theory; includes color
figure
Computing Least Fixed Points of Probabilistic Systems of Polynomials
We study systems of equations of the form X1 = f1(X1, ..., Xn), ..., Xn =
fn(X1, ..., Xn), where each fi is a polynomial with nonnegative coefficients
that add up to 1. The least nonnegative solution, say mu, of such equation
systems is central to problems from various areas, like physics, biology,
computational linguistics and probabilistic program verification. We give a
simple and strongly polynomial algorithm to decide whether mu=(1, ..., 1)
holds. Furthermore, we present an algorithm that computes reliable sequences of
lower and upper bounds on mu, converging linearly to mu. Our algorithm has
these features despite using inexact arithmetic for efficiency. We report on
experiments that show the performance of our algorithms.Comment: Published in the Proceedings of the 27th International Symposium on
Theoretical Aspects of Computer Science (STACS). Technical Report is also
available via arxiv.or
- …