234 research outputs found
Computing stationary probability distributions and large deviation rates for constrained random walks. The undecidability results
Our model is a constrained homogeneous random walk in a nonnegative orthant
Z_+^d. The convergence to stationarity for such a random walk can often be
checked by constructing a Lyapunov function. The same Lyapunov function can
also be used for computing approximately the stationary distribution of this
random walk, using methods developed by Meyn and Tweedie. In this paper we show
that, for this type of random walks, computing the stationary probability
exactly is an undecidable problem: no algorithm can exist to achieve this task.
We then prove that computing large deviation rates for this model is also an
undecidable problem. We extend these results to a certain type of queueing
systems. The implication of these results is that no useful formulas for
computing stationary probabilities and large deviations rates can exist in
these systems
Right-convergence of sparse random graphs
The paper is devoted to the problem of establishing right-convergence of
sparse random graphs. This concerns the convergence of the logarithm of number
of homomorphisms from graphs or hyper-graphs \G_N, N\ge 1 to some target
graph . The theory of dense graph convergence, including random dense
graphs, is now well understood, but its counterpart for sparse random graphs
presents some fundamental difficulties. Phrased in the statistical physics
terminology, the issue is the existence of the log-partition function limits,
also known as free energy limits, appropriately normalized for the Gibbs
distribution associated with . In this paper we prove that the sequence of
sparse \ER graphs is right-converging when the tensor product associated with
the target graph satisfies certain convexity property. We treat the case of
discrete and continuous target graphs . The latter case allows us to prove a
special case of Talagrand's recent conjecture (more accurately stated as level
III Research Problem 6.7.2 in his recent book), concerning the existence of the
limit of the measure of a set obtained from by intersecting it with
linearly in many subsets, generated according to some common probability
law.
Our proof is based on the interpolation technique, introduced first by Guerra
and Toninelli and developed further in a series of papers. Specifically, Bayati
et al establish the right-convergence property for Erdos-Renyi graphs for some
special cases of . In this paper most of the results in this paper follow as
a special case of our main theorem.Comment: 22 page
On deciding stability of multiclass queueing networks under buffer priority scheduling policies
One of the basic properties of a queueing network is stability. Roughly
speaking, it is the property that the total number of jobs in the network
remains bounded as a function of time. One of the key questions related to the
stability issue is how to determine the exact conditions under which a given
queueing network operating under a given scheduling policy remains stable.
While there was much initial progress in addressing this question, most of the
results obtained were partial at best and so the complete characterization of
stable queueing networks is still lacking. In this paper, we resolve this open
problem, albeit in a somewhat unexpected way. We show that characterizing
stable queueing networks is an algorithmically undecidable problem for the case
of nonpreemptive static buffer priority scheduling policies and deterministic
interarrival and service times. Thus, no constructive characterization of
stable queueing networks operating under this class of policies is possible.
The result is established for queueing networks with finite and infinite buffer
sizes and possibly zero service times, although we conjecture that it also
holds in the case of models with only infinite buffers and nonzero service
times. Our approach extends an earlier related work [Math. Oper. Res. 27 (2002)
272--293] and uses the so-called counter machine device as a reduction tool.Comment: Published in at http://dx.doi.org/10.1214/09-AAP597 the Annals of
Applied Probability (http://www.imstat.org/aap/) by the Institute of
Mathematical Statistics (http://www.imstat.org
Stability of Skorokhod problem is undecidable
Skorokhod problem arises in studying Reflected Brownian Motion (RBM) on an
non-negative orthant, specifically in the context of queueing networks in the
heavy traffic regime. One of the key problems is identifying conditions for
stability of a Skorokhod problem, defined as the property that trajectories are
attracted to the origin. The stability conditions are known in dimension up to
three, but not for general dimensions.
In this paper we explain the fundamental difficulties encountered in trying
to establish stability conditions for general dimensions. We prove that
stability of Skorokhod problem is an undecidable property when the starting
state is a part of the input. Namely, there does not exist an algorithm (a
constructive procedure) for identifying stable Skorokhod problem in general
dimensions
- …