Source author record

Francois Baccelli

Francois Baccelli appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

29works
16topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2022arXiv

Migration-Contagion Processes

Consider a migration process based on a closed network of N stations with K_N customers. Each station is a ./M/\infty queue with service (migration) rate mu. Upon departure, a customer is routed at random to another station. In addition to migration, these customers are subject to an SIS (Susceptible, Infected, Susceptible) dynamics: customers are either I for infected, or S for susceptible. They can swap their state either from I to S or from S to I only in stations. At any station, each S customer becomes I with rate alpha Y if there are Y infected customers in the station, and each I customer recovers and becomes S with rate beta. We let N tend to infinity and assume that lim_{N\to infty} K_N/N= eta>0. The main problem is about the set of parameters for which there exists a stationary regime where the epidemic survives in the thermodynamic limit. We establish several structural properties of the system, which allow us to give the phase transition diagram of this thermodynamic limit w.r.t. eta. The analysis of the SIS model reduces to that of a wave-type PDE for which we found no explicit solution. This SIS model is one among several companion stochastic processes with migration and contagion. Two of them are discussed as they provide some bounds and approximations to SIS. These two variants are the DOCS (Departure On Change of State) and the AIR (Averaged Infection Rate), which both admit closed-form solutions. The AIR system is a mean-field model where the infection mechanism is based on the empirical average of the number of infected customers in all stations. The latter admits a product-form solution. DOCS features accelerated migration in that each change of SIS state implies an immediate departure. It leads to another wave-type PDE that admits a closed-form solution.

preprint2020arXiv

Analysis of Vehicular Safety Messaging in Cellular Networks

This paper concerns the performance of vehicle-to-everything (V2X) communications. More precisely, we analyze the broadcast of safety-related V2X communications in cellular networks where base stations and vehicles are assumed to share the same spectrum and vehicles broadcast their safety messages to neighboring users. We model the locations of vehicles as a Poisson line Cox point process and the locations of users as a planar Poisson point process. We assume that users are associated with their closest base stations when there is no vehicle within a certain distance $ ρ$. On the other hand, users located within a distance $ ρ$ from vehicles are associated with the vehicles to receive their safety messages. We quantify the properties of this vehicle-prioritized association using the stochastic geometry framework. We derive the fractions of users that receive safety messages from vehicles. Then, we obtain the expression for the signal-to-interference ratio of the typical user evaluated on each association type. To address the impact of vehicular broadcast on the cellular network, the paper also derives the effective rate offered to the typical user in this setting.

preprint2020arXiv

Area Spectral Efficiency and SINR Scaling Laws in Multi-Antenna Cellular Networks

We study the scaling laws of the signal-to-interference-plus-noise ratio (SINR) and area spectral efficiency (ASE) in multi-antenna cellular networks, where the number of antennas scales with the base station (BS) spatial density $λ$. We start with the MISO case having $N_t(λ)$ transmit antennas and a single receive antenna and prove that the average SINR scales as $\frac{N_t(λ)}λ$ and the average ASE scales as $λ\log\left(1+\frac{N_t(λ)}λ\right)$. For the MIMO case with single-stream eigenbeamforming and $N_r(λ) \leq N_t(λ)$ receive antennas, we prove that the scaling laws of the conditional SINR and ASE are exactly the same as the MISO case, i.e. not dependent on $N_r(λ)$. We also show that coordinated beamforming amongst $K\leq N_t(λ)$ neighboring BSs does not improve the scaling laws regardless of $K$. From a system design perspective, our results suggest that deploying multi-antenna BSs can help maintain the per-user throughput and the linear increase in the ASE with BS density, while the number of antennas at the user equipment and the use of BS cooperation do not matter much.

preprint2020arXiv

Community Detection on Euclidean Random Graphs

We study the problem of community detection (CD) on Euclidean random geometric graphs where each vertex has two latent variables: a binary community label and a $\mathbb{R}^d$ valued location label which forms the support of a Poisson point process of intensity $λ$. A random graph is then drawn with edge probabilities dependent on both the community and location labels. In contrast to the stochastic block model (SBM) that has no location labels, the resulting random graph contains many more short loops due to the geometric embedding. We consider the recovery of the community labels, partial and exact, using the random graph and the location labels. We establish phase transitions for both sparse and logarithmic degree regimes, and provide bounds on the location of the thresholds, conjectured to be tight in the case of exact recovery. We also show that the threshold of the distinguishability problem, i.e., the testing between our model and the null model without community labels exhibits no phase-transition and in particular, does not match the weak recovery threshold (in contrast to the SBM).

preprint2020arXiv

Escaping the Densification Plateau in Cellular Networks Through mmWave Beamforming

We study how dense multi-antenna millimeter wave (mmWave) cellular network performance scales in terms of the base station (BS) spatial density $λ$, by studying the signal-to-interference-plus-noise ratio (SINR) and the area spectral efficiency (ASE). If the number of antennas at each BS scales at least linearly with $λ$, which increases the number of possible beam configurations and their main-lobe gain, and decreases their side-lobe gain, we prove that the SINR approaches a finite random variable that is independent of $λ$ and the ASE scales at least linearly with $λ$. In contrast, if the number of antennas scales sub-linearly with $λ$, then the SINR decays to zero and the ASE saturates to a constant. Thus, by moving to higher carrier frequencies with successively smaller antennas, and exploiting the correspondingly increased directionality, cellular operators can in principle avoid the densification plateau (or collapse) in cellular networks and instead continue to harvest linear sum throughput gains through BS densification.

preprint2020arXiv

Modeling and Analysis of Data Harvesting Architecture based on Unmanned Aerial Vehicles

This paper explores an emerging wireless Internet-of-things (IoT) architecture based on unmanned aerial vehicles (UAVs). We consider a network where a fleet of UAVs at a fixed altitude flies on planned trajectories and IoT devices on the ground are scheduled to transmit their data to the UAVs when the latter are nearby. In such a system, the UAVs' motion triggers the uplink transmissions of the IoT devices. As a result, network performance is determined by the geometric and dynamic characteristics of the system. We propose a joint stationary model for UAVs and IoT devices and then evaluate the interference, the coverage probability, and the data rate of the typical UAV. To assess the harvesting capability of the proposed architecture, we derive a formula for the amount of data uploaded from each IoT device to a UAV. We also establish a linear relationship between the UAV coverage and the harvesting capability of the network, which provides insights into the design of the proposed harvesting scheme. In addition, we use our analytical results to numerically show that there exists a trade-off between the uploaded data and the size of the IoT scheduling window. Specifically, for a given UAV and IoT geometry, there exists an optimal scheduling window that maximizes the harvesting capability of the proposed network.

preprint2020arXiv

Nash equilibrium structure of Cox process Hotelling games

We study an N-player game where a pure action of each player is to select a non-negative function on a Polish space supporting a finite diffuse measure, subject to a finite constraint on the integral of the function. This function is used to define the intensity of a Poisson point process on the Polish space. The processes are independent over the players, and the value to a player is the measure of the union of its open Voronoi cells in the superposition point process. Under randomized strategies, the process of points of a player is thus a Cox process, and the nature of competition between the players is akin to that in Hotelling competition games. We characterize when such a game admits Nash equilibria and prove that when a Nash equilibrium exists, it is unique and comprised of pure strategies that are proportional in the same proportions as the total intensities. We give examples of such games where Nash equilibria do not exist. A better understanding of the criterion for the existence of Nash equilibria remains an intriguing open problem.

preprint2020arXiv

Scaling Laws of Dense Multi-Antenna Cellular Networks

We study the scaling laws of the signal-to-interference-plus-noise ratio (SINR) and the area spectral efficiency (ASE) in multi-antenna cellular networks, where the number of antennas scales with the base station (BS) spatial density $λ$, under the assumption of independent and identically distributed (i.i.d.) channels. We start with the MISO case with $N_t(λ)$ transmit antennas and a single receive antenna and prove that the average SINR scales as $\frac{N_t(λ)}λ$ and the average ASE scales as $λ\log\left(1+\frac{N_t(λ)}λ\right)$. For the MIMO case with single-stream eigenbeamforming and $N_r(λ) \leq N_t(λ)$ receive antennas, we prove that the scaling laws of the conditional SINR and ASE are agnostic to $N_r(λ)$ and scale exactly the same as the MISO case. Hence, deploying multi-antenna BSs can help maintain non-zero per-user throughput and a corresponding linear increase in the ASE in dense cellular networks.

preprint2016arXiv

A 3-D Spatial Model for In-building Wireless Networks with Correlated Shadowing

Consider orthogonal planes in the 3-D space representing floors and walls in a large building. These planes divide the space into rooms where a wireless infrastructure is deployed. This paper is focused on the analysis of the correlated shadowing field created by this wireless infrastructure through the set of walls and floors. When the locations of the planes and of the wireless nodes are governed by Poisson processes, we obtain a simple stochastic model which captures the non-uniform nature of node deployment and room sizes. This model, which we propose to call the Poisson building, captures the complex in-building shadowing correlations, is scalable in the number of dimensions and is tractable for network performance analysis. It allows an exact mathematical characterization of the interference distribution in both infinite and finite buildings, which further leads to closed-form expressions for the coverage probabilities in in-building cellular networks and the success probability of in-building underlay D2D transmissions.

preprint2016arXiv

Iterated Gilbert Mosaics and Poisson Tropical Plane Curves

We propose an iterated version of the Gilbert model, which results in a sequence of random mosaics of the plane. We prove that under appropriate scaling, this sequence of mosaics converges to that obtained by a classical Poisson line process with explicit cylindrical measure. Our model arises from considerations on tropical plane curves, which are zeros of random tropical polynomials in two variables. In particular, the iterated Gilbert model convergence allows one to derive a scaling limit for Poisson tropical plane curves. Our work raises a number of open questions at the intersection of stochastic and tropical geometry.

preprint2016arXiv

Modeling and Analyzing the Coexistence of Wi-Fi and LTE in Unlicensed Spectrum

We leverage stochastic geometry to characterize key performance metrics for neighboring Wi-Fi and LTE networks in unlicensed spectrum. Our analysis focuses on a single unlicensed frequency band, where the locations for the Wi-Fi access points (APs) and LTE eNodeBs (eNBs) are modeled as two independent homogeneous Poisson point processes. Three LTE coexistence mechanisms are investigated: (1) LTE with continuous transmission and no protocol modifications; (2) LTE with discontinuous transmission; and (3) LTE with listen-before-talk (LBT) and random back-off (BO). For each scenario, we have derived the medium access probability (MAP), the signal-to-interference-plus-noise ratio (SINR) coverage probability, the density of successful transmissions (DST), and the rate coverage probability for both Wi-Fi and LTE. Compared to the baseline scenario where one Wi-Fi network coexists with an additional Wi-Fi network, our results show that Wi-Fi performance is severely degraded when LTE transmits continuously. However, LTE is able to improve the DST and rate coverage probability of Wi-Fi while maintaining acceptable data rate performance when it adopts one or more of the following coexistence features: a shorter transmission duty cycle, lower channel access priority, or more sensitive clear channel assessment (CCA) thresholds.

preprint2016arXiv

Performance-Oriented Association in Large Cellular Networks with Technology Diversity

The development of mobile virtual network operators, where multiple wireless technologies (e.g. 3G and 4G) or operators with non-overlapping bandwidths are pooled and shared is expected to provide enhanced service with broader coverage, without incurring additional infrastructure cost. However, their emergence poses an unsolved question on how to harness such a technology and bandwidth diversity. This paper addresses one of the simplest questions in this class, namely, the issue of associating each mobile to one of those bandwidths. Intriguingly, this association issue is intrinsically distinct from those in traditional networks. We first propose a generic stochastic geometry model lending itself to analyzing a wide class of association policies exploiting various information on the network topology, e.g. received pilot powers and fading values. This model firstly paves the way for tailoring and designing an optimal association scheme to maximize any performance metric of interest (e.g. the probability of coverage) subject to the information known about the network. In this class of optimal association, we prove a result that the performance improves as the information known about the network increases. Secondly, this model is used to quantify the performance of any arbitrary association policy and not just the optimal association policy. We propose a simple policy called the Max-Ratio which is not-parametric, i.e. it dispenses with the statistical knowledge of base station deployments in stochastic geometry models. We also prove that this simple policy is optimal in a certain limiting regime of the wireless environment. Through simulations, we provide insights into (i) a practical compromise between performance gain and cost of estimating information and; (ii) the selection of association schemes under environments with different propagation models, i.e. path-loss exponents.

preprint2016arXiv

Scaling Laws for Ergodic Spectral Efficiency in MIMO Poisson Networks

In this paper, we examine the benefits of multiple antenna communication in random wireless networks, the topology of which is modeled by stochastic geometry. The setting is that of the Poisson bipolar model introduced in [1], which is a natural model for ad-hoc and device-to-device (D2D) networks. The primary finding is that, with knowledge of channel state information between a receiver and its associated transmitter, by zero-forcing successive interference cancellation, and for appropriate antenna configurations, the ergodic spectral efficiency can be made to scale linearly with both 1) the minimum of the number of transmit and receive antennas, 2) the density of nodes and 3) the path-loss exponent. This linear gain is achieved by using the transmit antennas to send multiple data streams (e.g. through an open-loop transmission method) and by exploiting the receive antennas to cancel interference. Furthermore, when a receiver is able to learn channel state information from a certain number of near interferers, higher scaling gains can be achieved when using a successive interference cancellation method. A major implication of the derived scaling laws is that spatial multiplexing transmission methods are essential for obtaining better and eventually optimal scaling laws in multiple antenna random wireless networks. Simulation results support this analysis.

preprint2015arXiv

End-to-End Optimization of High Throughput DNA Sequencing

At the core of high throughput DNA sequencing platforms lies a bio-physical surface process that results in a random geometry of clusters of homogenous short DNA fragments typically hundreds of base pairs long - bridge amplification. The statistical properties of this random process and length of the fragments are critical as they affect the information that can be subsequently extracted, i.e., density of successfully inferred DNA fragment reads. The ensemble of overlapping DNA fragment reads are then used to computationally reconstruct the much longer target genome sequence, e.g, ranging from hundreds of thousands to billions of base pairs. The success of the reconstruction in turn depends on having a sufficiently large ensemble of DNA fragments that are sufficiently long. In this paper using stochastic geometry we model and optimize the end-to-end process linking and partially controlling the statistics of the physical processes to the success of the computational step. This provides, for the first time, a framework capturing salient features of such sequencing platforms that can be used to study cost, performance or sensitivity of the sequencing process.

preprint2014arXiv

On Spatial Point Processes with Uniform Births and Deaths by Random Connection

This paper is focused on a class of spatial birth and death process of the Euclidean space where the birth rate is constant and the death rate of a given point is the shot noise created at its location by the other points of the current configuration for some response function $f$. An equivalent view point is that each pair of points of the configuration establishes a random connection at an exponential time determined by $f$, which results in the death of one of the two points. We concentrate on space-motion invariant processes of this type. Under some natural conditions on $f$, we construct the unique time-stationary regime of this class of point processes by a coupling argument. We then use the birth and death structure to establish a hierarchy of balance integral relations between the factorial moment measures. Finally, we show that the time-stationary point process exhibits a certain kind of repulsion between its points that we call $f$-repulsion.

preprint2014arXiv

Spectral Efficiency Scaling Laws in Dense Random Wireless Networks with Multiple Receive Antennas

This paper considers large random wireless networks where transmit-and-receive node pairs communicate within a certain range while sharing a common spectrum. By modeling the spatial locations of nodes based on stochastic geometry, analytical expressions for the ergodic spectral efficiency of a typical node pair are derived as a function of the channel state information available at a receiver (CSIR) in terms of relevant system parameters: the density of communication links, the number of receive antennas, the path loss exponent, and the operating signal-to-noise ratio. One key finding is that when the receiver only exploits CSIR for the direct link, the sum of spectral efficiencies linearly improves as the density increases, when the number of receive antennas increases as a certain super-linear function of the density. When each receiver exploits CSIR for a set of dominant interfering links in addition to the direct link, the sum of spectral efficiencies linearly increases with both the density and the path loss exponent if the number of antennas is a linear function of the density. This observation demonstrates that having CSIR for dominant interfering links provides a multiplicative gain in the scaling law. It is also shown that this linear scaling holds for direct CSIR when incorporating the effect of the receive antenna correlation, provided that the rank of the spatial correlation matrix scales super-linearly with the density. Simulation results back scaling laws derived from stochastic geometry.

preprint2014arXiv

Zeros of random tropical polynomials, random polytopes and stick-breaking

For $i = 0, 1, \ldots, n$, let $C_i$ be independent and identically distributed random variables with distribution $F$ with support $(0,\infty)$. The number of zeros of the random tropical polynomials $\mathcal{T}f_n(x) = \min_{i=1,\ldots,n}(C_i + ix)$ is also the number of faces of the lower convex hull of the $n+1$ random points $(i,C_i)$ in $\mathbb{R}^2$. We show that this number, $Z_n$, satisfies a central limit theorem when $F$ has polynomial decay near $0$. Specifically, if $F$ near $0$ behaves like a $gamma(a,1)$ distribution for some $a > 0$, then $Z_n$ has the same asymptotics as the number of renewals on the interval $[0,\log(n)/a]$ of a renewal process with inter-arrival distribution $-\log(Beta(a,2))$. Our proof draws on connections between random partitions, renewal theory and random polytopes. In particular, we obtain generalizations and simple proofs of the central limit theorem for the number of vertices of the convex hull of $n$ uniform random points in a square. Our work leads to many open problems in stochastic tropical geometry, the study of functionals and intersections of random tropical varieties.

preprint2013arXiv

A Stochastic Geometry Framework for Analyzing Pairwise-Cooperative Cellular Networks

Cooperation in cellular networks has been recently suggested as a promising scheme to improve system performance, especially for cell-edge users. In this work, we use stochastic geometry to analyze cooperation models where the positions of Base Stations (BSs) follow a Poisson point process distribution and where Voronoi cells define the planar areas associated with them. For the service of each user, either one or two BSs are involved. If two, these cooperate by exchange of user data and channel related information with conferencing over some backhaul link. Our framework generally allows variable levels of channel information at the transmitters. In this paper we investigate the case of limited channel state information for cooperation (channel phase, second neighbour interference), but not the fully adaptive case which would require considerable feedback. The total per-user transmission power is further split between the two transmitters and a common message is encoded. The decision for a user to choose service with or without cooperation is directed by a family of geometric policies depending on its relative position to its two closest base stations. An exact expression of the network coverage probability is derived. Numerical evaluation allows one to analyze significant coverage benefits compared to the non-cooperative case. As a conclusion, cooperation schemes can improve system performance without exploitation of extra network resources.

preprint2013arXiv

Coverage by Pairwise Base Station Cooperation under Adaptive Geometric Policies

We study a cooperation model where the positions of base stations follow a Poisson point process distribution and where Voronoi cells define the planar areas associated with them. For the service of each user, either one or two base stations are involved. If two, these cooperate by exchange of user data and reduced channel information (channel phase, second neighbour interference) with conferencing over some backhaul link. The total user transmission power is split between them and a common message is encoded, which is coherently transmitted by the stations. The decision for a user to choose service with or without cooperation is directed by a family of geometric policies. The suggested policies further control the shape of coverage contours in favor of cell-edge areas. Analytic expressions based on stochastic geometry are derived for the coverage probability in the network. Their numerical evaluation shows benefits from cooperation, which are enhanced when Dirty Paper Coding is applied to eliminate the second neighbour interference.

preprint2013arXiv

On Association Cells in Random Heterogeneous Networks

Characterizing user to access point (AP) association strategies in heterogeneous cellular networks (HetNets) is critical for their performance analysis, as it directly influences the load across the network. In this letter, we introduce and analyze a class of association strategies, which we term stationary association, and the resulting association cells. For random HetNets, where APs are distributed according to a stationary point process, the area of the resulting association cells are shown to be the marks of the corresponding point process. Addressing the need of quantifying the load experienced by a typical user, a "Feller-paradox" like relationship is established between the area of the association cell containing origin and that of a typical association cell. For the specific case of Poisson point process and max power/SINR association, the mean association area of each tier is derived and shown to increase with channel gain variance and decrease in the path loss exponents of the corresponding tier.

preprint2012arXiv

Generating Functionals of Random Packing Point Processes: From Hard-Core to Carrier Sensing

In this paper we study the generating functionals of several random packing processes: the classical Matérn hard-core model; its extensions, the $k$-Matérn models and the $\infty$-Matérn model, which is an example of random sequential packing process. We first give a sufficient condition for the $\infty$-Matérn model to be well-defined (unlike the other two, the latter may not be well-defined on unbounded spaces). Then the generating functional of the resulting point process is given for each of the three models as the solution of a differential equation. Series representations and bounds on the generating functional of the packing models are also derived. Last but not least, we obtain moment measures and Palm distributions of the considered packing models departing from their generating functionals.

preprint2012arXiv

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.

preprint2012arXiv

Modeling and Analysis of K-Tier Downlink Heterogeneous Cellular Networks

Cellular networks are in a major transition from a carefully planned set of large tower-mounted base-stations (BSs) to an irregular deployment of heterogeneous infrastructure elements that often additionally includes micro, pico, and femtocells, as well as distributed antennas. In this paper, we develop a tractable, flexible, and accurate model for a downlink heterogeneous cellular network (HCN) consisting of K tiers of randomly located BSs, where each tier may differ in terms of average transmit power, supported data rate and BS density. Assuming a mobile user connects to the strongest candidate BS, the resulting Signal-to-Interference-plus-Noise-Ratio (SINR) is greater than 1 when in coverage, Rayleigh fading, we derive an expression for the probability of coverage (equivalently outage) over the entire network under both open and closed access, which assumes a strikingly simple closed-form in the high SINR regime and is accurate down to -4 dB even under weaker assumptions. For external validation, we compare against an actual LTE network (for tier 1) with the other K-1 tiers being modeled as independent Poisson Point Processes. In this case as well, our model is accurate to within 1-2 dB. We also derive the average rate achieved by a randomly located mobile and the average load on each tier of BSs. One interesting observation for interference-limited open access networks is that at a given SINR, adding more tiers and/or BSs neither increases nor decreases the probability of coverage or outage when all the tiers have the same target-SINR.

preprint2012arXiv

Stochastic Geometry based Medium Access Games in Mobile Ad hoc Networks

This paper studies the performance of Mobile Ad hoc Networks (MANETs) when the nodes, that form a Poisson point process, selfishly choose their Medium Access Probability (MAP). We consider goodput and delay as the performance metric that each node is interested in optimizing taking into account the transmission energy costs. We introduce a pricing scheme based on the transmission energy requirements and compute the symmetric Nash equilibria of the game in closed form. It is shown that by appropriately pricing the nodes, the selfish behavior of the nodes can be used to achieve the social optimum at equilibrium. The Price of Anarchy is then analyzed for these games. For the game with delay based utility, we bound the price of anarchy and study the effect of the price factor. For the game with goodput based utility, it is shown that price of anarchy is infinite at the price factor that achieves the global optima.

preprint2011arXiv

A Tractable Approach to Coverage and Rate in Cellular Networks

Cellular networks are usually modeled by placing the base stations on a grid, with mobile users either randomly scattered or placed deterministically. These models have been used extensively but suffer from being both highly idealized and not very tractable, so complex system-level simulations are used to evaluate coverage/outage probability and rate. More tractable models have long been desirable. We develop new general models for the multi-cell signal-to-interference-plus-noise ratio (SINR) using stochastic geometry. Under very general assumptions, the resulting expressions for the downlink SINR CCDF (equivalent to the coverage probability) involve quickly computable integrals, and in some practical special cases can be simplified to common integrals (e.g., the Q-function) or even to simple closed-form expressions. We also derive the mean rate, and then the coverage gain (and mean rate loss) from static frequency reuse. We compare our coverage predictions to the grid model and an actual base station deployment, and observe that the proposed model is pessimistic (a lower bound on coverage) whereas the grid model is optimistic, and that both are about equally accurate. In addition to being more tractable, the proposed model may better capture the increasingly opportunistic and dense placement of base stations in future networks.

preprint2011arXiv

Poisson Hail on a Hot Ground

We consider a queue where the server is the Euclidean space, and the customers are random closed sets (RACS) of the Euclidean space. These RACS arrive according to a Poisson rain and each of them has a random service time (in the case of hail falling on the Euclidean plane, this is the height of the hailstone, whereas the RACS is its footprint). The Euclidean space serves customers at speed 1. The service discipline is a hard exclusion rule: no two intersecting RACS can be served simultaneously and service is in the First In First Out order: only the hailstones in contact with the ground melt at speed 1, whereas the other ones are queued; a tagged RACS waits until all RACS arrived before it and intersecting it have fully melted before starting its own melting. We give the evolution equations for this queue. We prove that it is stable for a sufficiently small arrival intensity, provided the typical diameter of the RACS and the typical service time have finite exponential moments. We also discuss the percolation properties of the stationary regime of the RACS in the queue.

preprint2011arXiv

Series Expansion for Interference in Wireless Networks

The spatial correlations in transmitter node locations introduced by common multiple access protocols makes the analysis of interference, outage, and other related metrics in a wireless network extremely difficult. Most works therefore assume that nodes are distributed either as a Poisson point process (PPP) or a grid, and utilize the independence properties of the PPP (or the regular structure of the grid) to analyze interference, outage and other metrics. But,the independence of node locations makes the PPP a dubious model for nontrivial MACs which intentionally introduce correlations, e.g. spatial separation, while the grid is too idealized to model real networks. In this paper, we introduce a new technique based on the factorial moment expansion of functionals of point processes to analyze functions of interference, in particular outage probability. We provide a Taylor-series type expansion of functions of interference, wherein increasing the number of terms in the series provides a better approximation at the cost of increased complexity of computation. Various examples illustrate how this new approach can be used to find outage probability in both Poisson and non-Poisson wireless networks.

preprint2010arXiv

Information-Theoretic Capacity and Error Exponents of Stationary Point Processes under Random Additive Displacements

This paper studies the Shannon regime for the random displacement of stationary point processes. Let each point of some initial stationary point process in $\R^n$ give rise to one daughter point, the location of which is obtained by adding a random vector to the coordinates of the mother point, with all displacement vectors independently and identically distributed for all points. The decoding problem is then the following one: the whole mother point process is known as well as the coordinates of some daughter point; the displacements are only known through their law; can one find the mother of this daughter point? The Shannon regime is that where the dimension $n$ tends to infinity and where the logarithm of the intensity of the point process is proportional to $n$. We show that this problem exhibits a sharp threshold: if the sum of the proportionality factor and of the differential entropy rate of the noise is positive, then the probability of finding the right mother point tends to 0 with $n$ for all point processes and decoding strategies. If this sum is negative, there exist mother point processes, for instance Poisson, and decoding strategies, for instance maximum likelihood, for which the probability of finding the right mother tends to 1 with $n$. We then use large deviations theory to show that in the latter case, if the entropy spectrum of the noise satisfies a large deviation principle, then the error probability goes exponentially fast to 0 with an exponent that is given in closed form in terms of the rate function of the noise entropy spectrum. This is done for two classes of mother point processes: Poisson and Matérn. The practical interest to information theory comes from the explicit connection that we also establish between this problem and the estimation of error exponents in Shannon's additive noise channel with power constraints on the codewords.

preprint2009arXiv

Optimal Paths on the Space-Time SINR Random Graph

We analyze a class of Signal-to-Interference-and-Noise-Ratio (SINR) random graphs. These random graphs arise in the modeling packet transmissions in wireless networks. In contrast to previous studies on the SINR graphs, we consider both a space and a time dimension. The spatial aspect originates from the random locations of the network nodes in the Euclidean plane. The time aspect stems from the random transmission policy followed by each network node and from the time variations of the wireless channel characteristics. The combination of these random space and time aspects leads to fluctuations of the SINR experienced by the wireless channels, which in turn determine the progression of packets in space and time in such a network. This paper studies optimal paths in such wireless networks in terms of first passage percolation on this random graph. We establish both "positive" and "negative" results on the associated time constant. The latter determines the asymptotics of the minimum delay required by a packet to progress from a source node to a destination node when the Euclidean distance between the two tends to infinity. The main negative result states that this time constant is infinite on the random graph associated with a Poisson point process under natural assumptions on the wireless channels. The main positive result states that when adding a periodic node infrastructure of arbitrarily small intensity to the Poisson point process, the time constant is positive and finite.