1: \begin{abstract} The Physarum computing model is an analog computing model motivated by the network dynamics of the slime mold Physarum Polycephalum. In previous works, it was shown that it can solve a class of linear programs. We extend these results to a more general dynamics motivated by situations where the slime mold operates in a non-uniform environment. 

2:   

3: Let $c \in \Z^m_{> 0}$, $A \in \Z^{n\times m}$, and $b \in \Z^n$. We show under fairly general conditions that the non-uniform Physarum dynamics

4:   \[       \dot{x}_e = a_e(x,t) \left(\abs{q_e} - x_e\right) \]

5:   converges to the optimum solution $x^*$ of the weighted basis pursuit problem minimize $c^T x$ subject to $A f = b$ and $\abs{f} \le x$. Here, $f$ and $x$ are $m$-dimensional vectors of real variables,  $q$ minimizes the energy $\sum_e (c_e/x_e) q_e^2$ subject to the constraints $A q = b$ and $\supp(q) \subseteq \supp(x)$, and $a_e(x,t) > 0$ is the reactivity of edge $e$ to the difference $\abs{q_e} - x_e$ at time $t$ and in state $x$. Previously convergence was only shown for the uniform case $a_e(x,t) = 1$ for all $e$, $x$, and $t$.

6: 

7:   We also show convergence for the dynamics

8:   \[ \dot{x}_e = x_e  \left( g_e \left(\frac{\abs{q_e}}{x_e}\right) - 1\right),\]

9: where each $g_e$ is an increasing differentiable function with $g_e(1) = 1$ (satisfying some mild conditions). Previously, convergence was only shown for the special case of the shortest path problem on a graph consisting of two nodes connected by parallel edges. 

10: \end{abstract}

11: