Reachability problems for products of matrices in semirings

We consider the following matrix reachability problem: given $r$ square matrices with entries in a semiring, is there a product of these matrices which attains a prescribed matrix? We define similarly the vector (resp. scalar) reachability problem, by requiring that the matrix product, acting by right multiplication on a prescribed row vector, gives another prescribed row vector (resp. when multiplied at left and right by prescribed row and column vectors, gives a prescribed scalar). We show that over any semiring, scalar reachability reduces to vector reachability which is equivalent to matrix reachability, and that for any of these problems, the specialization to any $r\geq 2$ is equivalent to the specialization to $r=2$. As an application of this result and of a theorem of Krob, we show that when $r=2$, the vector and matrix reachability problems are undecidable over the max-plus semiring $(Z\cup\{-\infty\},\max,+)$. We also show that the matrix, vector, and scalar reachability problems are decidable over semirings whose elements are ``positive'', like the tropical semiring $(N\cup\{+\infty\},\min,+)$.Comment: 21 page

Palm pairs and the general mass-transport principle

We consider a lcsc group G acting properly on a Borel space S and measurably on an underlying sigma-finite measure space. Our first main result is a transport formula connecting the Palm pairs of jointly stationary random measures on S. A key (and new) technical result is a measurable disintegration of the Haar measure on G along the orbits. The second main result is an intrinsic characterization of the Palm pairs of a G-invariant random measure. We then proceed with deriving a general version of the mass-transport principle for possibly non-transitive and non-unimodular group operations first in a deterministic and then in its full probabilistic form.Comment: 26 page

Complete solution of a constrained tropical optimization problem with application to location analysis

We present a multidimensional optimization problem that is formulated and solved in the tropical mathematics setting. The problem consists of minimizing a nonlinear objective function defined on vectors over an idempotent semifield by means of a conjugate transposition operator, subject to constraints in the form of linear vector inequalities. A complete direct solution to the problem under fairly general assumptions is given in a compact vector form suitable for both further analysis and practical implementation. We apply the result to solve a multidimensional minimax single facility location problem with Chebyshev distance and with inequality constraints imposed on the feasible location area.Comment: 20 pages, 3 figure

Optimal design of measurements on queueing systems

We examine the optimal design of measurements on queues with particular reference to the M/M/1 queue. Using the statistical theory of design of experiments, we calculate numerically the Fisher information matrix for an estimator of the arrival rate and the service rate to find optimal times to measure the queue when the number of measurements are limited for both interfering and non-interfering measurements. We prove that in the non-interfering case, the optimal design is equally spaced. For the interfering case, optimal designs are not necessarily equally spaced. We compute optimal designs for a variety of queuing situations and give results obtained under the $D-$- and $D_s$-optimality criteria

Gibbsian Method for the Self-Optimization of Cellular Networks

In this work, we propose and analyze a class of distributed algorithms performing the joint optimization of radio resources in heterogeneous cellular networks made of a juxtaposition of macro and small cells. Within this context, it is essential to use algorithms able to simultaneously solve the problems of channel selection, user association and power control. In such networks, the unpredictability of the cell and user patterns also requires distributed optimization schemes. The proposed method is inspired from statistical physics and based on the Gibbs sampler. It does not require the concavity/convexity, monotonicity or duality properties common to classical optimization problems. Besides, it supports discrete optimization which is especially useful to practical systems. We show that it can be implemented in a fully distributed way and nevertheless achieves system-wide optimality. We use simulation to compare this solution to today's default operational methods in terms of both throughput and energy consumption. Finally, we address concrete issues for the implementation of this solution and analyze the overhead traffic required within the framework of 3GPP and femtocell standards.Comment: 25 pages, 9 figures, to appear in EURASIP Journal on Wireless Communications and Networking 201

Visual Evoked Potentials Change as Heart Rate and Carotid Pressure Change

The relationship between cardiovascular activity and the brain was explored by recording visual evoked potentials from the occipital regions of the scalp during systolic and diastolic pressure (Experiment I) and during fast and slow heartbeats at systolic and diastolic pressure (Experiment II). Visual evoked potentials changed significantly as heart rate and carotid pressure fluctuated normally, and these changes were markedly different in the right and left cerebral hemispheres. Evoked potentials recorded from the right hemisphere during various cardiac events differed significantly, whereas those recorded from the left did not. In both experiments, differences in the right hemisphere were due primarily to the P1 component, which was larger at diastolic than at systolic pressure. The present findings are consistent with formulations from behavioral studies suggesting that baroreceptor activity can influence sensory intake, and suggest that hemispheric specialization may play an important role in the relationship between cardiac events, the brain and behavior.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73146/1/j.1469-8986.1982.tb02579.x.pd