BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

François Baccelli

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

ResearcherUnclaimed source record
math.PRInformation Theorymath.ITNetworking and Internet Architecturecond-mat.stat-mecheess.SPmath.DS

Catalog footprint

What is connected

22works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

22 published item(s)

preprint2023arXiv

LOS Coverage Area in Vehicular Networks with Cox distributed Roadside Units and Relays

We develop an analytical framework to examine the line-of-sight (LOS) coverage area in vehicular networks with roadside units (RSU) and vehicle relays. In practical deployment scenarios, RSUs and vehicle relays are spatially correlated and we characterize this by employing Cox point processes to model the locations of RSUs and vehicle relays simultaneously. Leveraging the random blockage model, we model the LOS coverage area as Boolean models on these Cox point processes. The LOS coverage area is then evaluated by its area fraction. We show that relays can increase the area fraction of LOS coverage by nearly 50\% even when RSUs and relays are spatially correlated. By presenting a stochastic geometry model for a vehicular network with RSUs and relays and then by providing a tool to capture its LOS coverage, our work assesses the viability of vehicle relays for modern vehicular networks exploiting LOS coverage.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

On multiclass spatial birth-and-death processes with wireless-type interactions

This paper studies a multiclass spatial birth-and-death (SBD) processes on a compact region of the Euclidean plane modeling wireless interactions. In this model, users arrive at a constant rate and leave at a rate function of the interference created by other users in the network. The novelty of this work lies in the addition of service differentiation, inspired by bandwidth partitioning present in 5G networks: users are allocated a fixed number of frequency bands and only interfere with transmissions on these bands. The first result of the paper is the determination of the critical user arrival rate below which the system is stochastically stable, and above which it is unstable. The analysis requires symmetry assumptions which are defined in the paper. The proof for this result uses stochastic monotonicity and fluid limit models. The monotonicity allows one to bound the dynamics from above and below by two adequate discrete-state Markov jump processes, for which we obtain stability and instability results using fluid limits. This leads to a closed form expression for the critical arrival rate. The second contribution consists in two heuristics to estimate the steady-state densities of all classes of users in the network: the first one relies on a Poisson approximation of the steady-state processes. The second one uses a cavity approximation leveraging second-order moment measures, which leads to more accurate estimates of the steady-state user densities. The Poisson heuristic also gives a good estimate for the critical arrival rate.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Unimodular Billingsley and Frostman Lemmas

The notions of unimodular Minkowski and Hausdorff dimensions are defined in [arXiv:1807.02980] for unimodular random discrete metric spaces. The present paper is focused on the connections between these notions and the polynomial growth rate of the underlying space. It is shown that bounding the dimension is closely related to finding suitable equivariant weight functions (i.e., measures) on the underlying discrete space. The main results are unimodular versions of the mass distribution principle, Billingsley's lemma and Frostman's lemma, which allow one to derive upper bounds on the unimodular Hausdorff dimension from the growth rate of suitable equivariant weight functions. These results allow one to compute or bound both types of unimodular dimensions in a large set of examples in the theory of point processes, unimodular random graphs, and self-similarity. Further results of independent interest are also presented, like a version of the max-flow min-cut theorem for unimodular one-ended trees and a weak form of pointwise ergodic theorems for all unimodular discrete spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Unimodular Hausdorff and Minkowski Dimensions

This work introduces two new notions of dimension, namely the unimodular Minkowski and Hausdorff dimensions, which are inspired from the classical analogous notions. These dimensions are defined for unimodular discrete spaces, introduced in this work, which provide a common generalization to stationary point processes under their Palm version and unimodular random rooted graphs. The use of unimodularity in the definitions of dimension is novel. Also, a toolbox of results is presented for the analysis of these dimensions. In particular, analogues of Billingsley's lemma and Frostman's lemma are presented. These last lemmas are instrumental in deriving upper bounds on dimensions, whereas lower bounds are obtained from specific coverings. The notions of unimodular Hausdorff size, which is a discrete analogue of the Hausdorff measure, and unimodular dimension function are also introduced. This toolbox allows one to connect the unimodular dimensions to other notions such as volume growth rate, discrete dimension and scaling limits. It is also used to analyze the dimensions of a set of examples pertaining to point processes, branching processes, random graphs, random walks, and self-similar discrete random spaces. Further results of independent interest are also presented, like a version of the max-flow min-cut theorem for unimodular one-ended trees and a weak form of pointwise ergodic theorems for all unimodular discrete spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Stochastic Geometry-Based Modeling and Analysis of Beam Management in 5G

Beam management is central in the operation of dense 5G cellular networks. Focusing the energy radiated to mobile terminals (MTs) by increasing the number of beams per cell increases signal power and decreases interference, and has hence the potential to bring major improvements on area spectral efficiency (ASE). This benefit, however, comes with unavoidable overheads that increase with the number of beams and the MT speed. This paper proposes a first system-level stochastic geometry model encompassing major aspects of the beam management problem: frequencies, antennas, and propagation; physical layer, wireless links, and coding; network geometry, interference, and resource sharing; sensing, signaling, and mobility management. This model leads to a simple analytical expression for the effective ASE that the typical user gets in this context. This in turn allows one to find, for a wide variety of 5G network scenarios including millimeter wave (mmWave) and sub-6 GHz, the number of beams per cell that offers the best global trade-off between these benefits and costs. We finally provide numerical results that discuss the effects of different systemic trade-offs and performances of mmWave and sub-6 GHz 5G deployments.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Pair-Replica-Mean-Field Limit for Intensity-based Neural Networks

Replica-mean-field models have been proposed to decipher the activity of neural networks via a multiply-and-conquer approach. In this approach, one considers limit networks made of infinitely many replicas with the same basic neural structure as that of the network of interest, but exchanging spikes in a randomized manner. The key point is that these replica-mean-field networks are tractable versions that retain important features of the finite structure of interest. To date, the replica framework has been discussed for first-order models, whereby elementary replica constituents are single neurons with independent Poisson inputs. Here, we extend this replica framework to allow elementary replica constituents to be composite objects, namely, pairs of neurons. As they include pairwise interactions, these pair-replica models exhibit non-trivial dependencies in their stationary dynamics, which cannot be captured by first-order replica models. Our contributions are two-fold: $(i)$ We analytically characterize the stationary dynamics of a pair of intensity-based neurons with independent Poisson input. This analysis involves the reduction of a boundary-value problem related to a two-dimensional transport equation to a system of Fredholm integral equations---a result of independent interest. $(ii)$ We analyze the set of consistency equations determining the full network dynamics of certain replica limits. These limits are those for which replica constituents, be they single neurons or pairs of neurons, form a partition of the network of interest. Both analyses are numerically validated by computing input/output transfer functions for neuronal pairs and by computing the correlation structure of certain pair-dominated network dynamics.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Eternal Family Trees and Dynamics on Unimodular Random Graphs

This paper is centered on covariant dynamics on unimodular random graphs and random networks, namely maps from the set of vertices to itself which are preserved by graph or network isomorphisms. Such dynamics are referred to as vertex-shifts here. The first result of the paper is a classification of vertex-shifts on unimodular random networks. Each such vertex-shift partitions the vertices into a collection of connected components and foils. The latter are discrete analogues the stable manifold of the dynamics. The classification is based on the cardinality of the connected components and foils. Up to an event of zero probability, there are three classes of foliations in a connected component: F/F (with finitely many finite foils), I/F (infinitely many finite foils), and I/I (infinitely many infinite foils). An infinite connected component of the graph of a vertex-shift on a random network forms an infinite tree with one selected end which is referred to as an Eternal Family Tree. Such trees can be seen as stochastic extensions of branching processes. Unimodular Eternal Family Trees can be seen as extensions of critical branching processes. The class of offspring-invariant Eternal Family Trees, which is introduced in the paper, allows one to analyze dynamics on networks which are not necessarily unimodular. These can be seen as extensions of non-necessarily critical branching processes. Several construction techniques of Eternal Family Trees are proposed, like the joining of trees or moving the root to a far descendant. Eternal Galton-Watson Trees and Eternal Multi-type Galton-Watson Trees are also introduced as special cases of Eternal Family Trees satisfying additional independence properties. These examples allow one to show that the results on Eternal Family Trees unify and extend to the dependent case several well known theorems of the literature on branching processes.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On Shared Rate Time Series for Mobile Users in Poisson Networks

This paper focuses on modeling and analysis of the temporal performance variations experienced by a mobile user in a wireless network and its impact on system level design. We consider a simple stochastic geometry model: the infrastructure nodes are Poisson distributed while the user's motion is the simplest possible i.e., constant velocity on a straight line. We first characterize variations in the SNR process, and associated downlink Shannon rate, resulting from variations in the infrastructure geometry seen by the mobile. Specifically, by making a connection between stochastic geometry and queueing theory the level crossings of the SNR process are shown to form an alternating renewal process whose distribution can be completely characterized. For large or small SNR levels, and associated rare events, we further derive simple distributional (exponential) models. We then characterize the second major contributor to variation, associated with changes in the number of other users sharing infrastructure. Combining these two effects, we study what are the dominant factors (infrastructure geometry or sharing number) given mobile experiences a very high or low shared rate. These results are then used to evaluate and optimize the system-level Quality of Service (QoS) and system-level capacity to support mobile users sharing wireless infrastructure, including mobile devices streaming video which proactively buffer content to prevent rebuffering and mobiles which are downloading large files. Finally, we use simulation to assess the fidelity of this model and its robustness to factors which are presently taken into account.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Point-Map-Probabilities of a Point Process and Mecke's Invariant Measure Equation

A compatible point-shift $F$ maps, in a translation invariant way, each point of a stationary point process $Φ$ to some point of $Φ$. It is fully determined by its associated point-map, $f$, which gives the image of the origin by $F$. It was proved by J. Mecke that if $F$ is bijective, then the Palm probability of $Φ$ is left invariant by the translation of $-f$. The initial question motivating this paper is the following generalization of this invariance result: in the non-bijective case, what probability measures on the set of counting measures are left invariant by the translation of $-f$? The point-map probabilities of $Φ$ are defined from the action of the semigroup of point-map translations on the space of Palm probabilities, and more precisely from the compactification of the orbits of this semigroup action. If the point-map probability exists, is uniquely defined, and if it satisfies certain continuity properties, it then provides a solution to this invariant measure problem. Point-map probabilities are objects of independent interest. They are shown to be a strict generalization of Palm probabilities: when $F$ is bijective, the point-map probability of $Φ$ boils down to the Palm probability of $Φ$. When it is not bijective, there exist cases where the point-map probability of $Φ$ is singular with respect to its Palm probability. A tightness based criterion for the existence of the point-map probabilities of a stationary point process is given. An interpretation of the point-map probability as the conditional law of the point process given that the origin has $F$-pre-images of all orders is also provided. The results are illustrated by a few examples.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Point-Shift Foliation of a Point Process

A point-shift $F$ maps each point of a point process $Φ$ to some point of $Φ$. For all translation invariant point-shifts $F$, the $F$-foliation of $Φ$ is a partition of the support of $Φ$ which is the discrete analogue of the stable manifold of $F$ on $Φ$. It is first shown that foliations lead to a classification of the behavior of point-shifts on point processes. Both qualitative and quantitative properties of foliations are then established. It is shown that for all point-shifts $F$, there exists a point-shift $F_\bot$, the orbits of which are the $F$-foils of $Φ$, and which are measure-preserving. The foils are not always stationary point processes. Nevertheless, they admit relative intensities with respect to one another.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Shape Theorems for Poisson Hail on a Bivariate Ground

We consider the extension of the Euclidean stochastic geometry Poisson Hail model to the case where the service speed is zero in some subset of the Euclidean space and infinity in the complement. We use and develop tools pertaining to sub-additive ergodic theory in order to establish shape theorems for the growth of the ice-heap under light tail assumptions on the hailstone characteristics. The asymptotic shape depends on the statistics of the hailstones, the intensity of the underlying Poisson point process and on the geometrical properties of the zero speed set.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Best Signal Quality in Cellular Networks: Asymptotic Properties and Applications to Mobility Management in Small Cell Networks

The quickly increasing data traffic and the user demand for a full coverage of mobile services anywhere and anytime are leading mobile networking into a future of small cell networks. However, due to the high-density and randomness of small cell networks, there are several technical challenges. In this paper, we investigate two critical issues: \emph{best signal quality} and \emph{mobility management}. Under the assumptions that base stations are uniformly distributed in a ring shaped region and that shadowings are lognormal, independent and identically distributed, we prove that when the number of sites in the ring tends to infinity, then (i) the maximum signal strength received at the center of the ring tends in distribution to a Gumbel distribution when properly renormalized, and (ii) it is asymptotically independent of the interference. Using these properties, we derive the distribution of the best signal quality. Furthermore, an optimized random cell scanning scheme is proposed, based on the evaluation of the optimal number of sites to be scanned for maximizing the user data throughput.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Scaling Limits of Power Law Shot-noise Fields

This article studies the scaling limit of a class of shot-noise fields defined on an independently marked stationary Poisson point process and with a power law response function. Under appropriate conditions, it is shown that the shot-noise field can be scaled suitably to have a $α$-stable limit, intensity of the underlying point process goes to infinity. It is also shown that the finite dimensional distributions of the limiting random field have i.i.d. stable random components. We hence propose to call this limte the $α$- stable white noise field. Analogous results are also obtained for the extremal shot-noise field which converges to a Fréchet white noise field. Finally, these results are applied to the analysis of wireless networks.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Statistical Modeling and Probabilistic Analysis of Cellular Networks with Determinantal Point Processes

Although the Poisson point process (PPP) has been widely used to model base station (BS) locations in cellular networks, it is an idealized model that neglects the spatial correlation among BSs. The present paper proposes the use of determinantal point process (DPP) to take into account these correlations; in particular the repulsiveness among macro base station locations. DPPs are demonstrated to be analytically tractable by leveraging several unique computational properties. Specifically, we show that the empty space function, the nearest neighbor function, the mean interference and the signal-to-interference ratio (SIR) distribution have explicit analytical representations and can be numerically evaluated for cellular networks with DPP configured BSs. In addition, the modeling accuracy of DPPs is investigated by fitting three DPP models to real BS location data sets from two major U.S. cities. Using hypothesis testing for various performance metrics of interest, we show that these fitted DPPs are significantly more accurate than popular choices such as the PPP and the perturbed hexagonal grid model.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Boolean Model in the Shannon Regime: Three Thresholds and Related Asymptotics

Consider a family of Boolean models, indexed by integers $n \ge 1$, where the $n$-th model features a Poisson point process in ${\mathbb{R}}^n$ of intensity $e^{n ρ_n}$ with $ρ_n \to ρ$ as $n \to \infty$, and balls of independent and identically distributed radii distributed like $\bar X_n \sqrt{n}$, with $\bar X_n$ satisfying a large deviations principle. It is shown that there exist three deterministic thresholds: $τ_d$ the degree threshold; $τ_p$ the percolation threshold; and $τ_v$ the volume fraction threshold; such that asymptotically as $n$ tends to infinity, in a sense made precise in the paper: (i) for $ρ< τ_d$, almost every point is isolated, namely its ball intersects no other ball; (ii) for $τ_d< ρ< τ_p$, almost every ball intersects an infinite number of balls and nevertheless there is no percolation; (iii) for $τ_p< ρ< τ_v$, the volume fraction is 0 and nevertheless percolation occurs; (iv) for $τ_d< ρ< τ_v$, almost every ball intersects an infinite number of balls and nevertheless the volume fraction is 0; (v) for $ρ> τ_v$, the whole space covered. The analysis of this asymptotic regime is motivated by related problems in information theory, and may be of interest in other applications of stochastic geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Adaptive Spatial Aloha, Fairness and Stochastic Geometry

This work aims at combining adaptive protocol design, utility maximization and stochastic geometry. We focus on a spatial adaptation of Aloha within the framework of ad hoc networks. We consider quasi-static networks in which mobiles learn the local topology and incorporate this information to adapt their medium access probability (MAP) selection to their local environment. We consider the cases where nodes cooperate in a distributed way to maximize the global throughput or to achieve either proportional fair or max-min fair medium access. In the proportional fair case, we show that nodes can compute their optimal MAPs as solutions to certain fixed point equations. In the maximum throughput case, the optimal MAPs are obtained through a Gibbs Sampling based algorithm. In the max min case, these are obtained as the solution of a convex optimization problem. The main performance analysis result of the paper is that this type of distributed adaptation can be analyzed using stochastic geometry in the proportional fair case. In this case, we show that, when the nodes form a homogeneous Poisson point process in the Euclidean plane, the distribution of the optimal MAP can be obtained from that of a certain shot noise process w.r.t. the node Poisson point process and that the mean utility can also be derived from this distribution. We discuss the difficulties to be faced for analyzing the performance of the other cases (maximum throughput and max-min fairness). Numerical results illustrate our findings and quantify the gains brought by spatial adaptation in such networks.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Analysis of a Proportionally Fair and Locally Adaptive spatial Aloha in Poisson Networks

The proportionally fair sharing of the capacity of a Poisson network using Spatial-Aloha leads to closed-form performance expressions in two extreme cases: (1) the case without topology information, where the analysis boils down to a parametric optimization problem leveraging stochastic geometry; (2) the case with full network topology information, which was recently solved using shot-noise techniques. We show that there exists a continuum of adaptive controls between these two extremes, based on local stopping sets, which can also be analyzed in closed form. We also show that these control schemes are implementable, in contrast to the full information case which is not. As local information increases, the performance levels of these schemes are shown to get arbitrarily close to those of the full information scheme. The analytical results are combined with discrete event simulation to provide a detailed evaluation of the performance of this class of medium access controls.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Can P2P Networks be Super-Scalable?

We propose a new model for peer-to-peer networking which takes the network bottlenecks into account beyond the access. This model can cope with key features of P2P networking like degree or locality constraints together with the fact that distant peers often have a smaller rate than nearby peers. Using a network model based on rate functions, we give a closed form expression of peers download performance in the system's fluid limit, as well as approximations for the other cases. Our results show the existence of realistic settings for which the average download time is a decreasing function of the load, a phenomenon that we call super-scalability.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the Generating Functionals of a Class of Random Packing Point Processes

Consider a symmetrical conflict relationship between the points of a point process. The Matérn type constructions provide a generic way of selecting a subset of this point process which is conflict-free. The simplest one consists in keeping only conflict-free points. There is however a wide class of Matérn type processes based on more elaborate selection rules and providing larger sets of selected points. The general idea being that if a point is discarded because of a given conflict, there is no need to discard other points with which it is also in conflict. The ultimate selection rule within this class is the so called Random Sequential Adsorption, where the cardinality of the sequence of conflicts allowing one to decide whether a given point is selected is not bounded. The present paper provides a sufficient condition on the span of the conflict relationship under which all the above point processes are well defined when the initial point process is Poisson. It then establishes, still in the Poisson case, a set of differential equations satisfied by the probability generating functionals of these Matérn type point processes. Integral equations are also given for the Palm distributions.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Queuing Networks with Varying Topology -- A Mean-Field Approach

We consider the queuing networks, which are made from servers, exchanging their positions. The customers, using the network, try to reach their destinations, which is complicated by the movements of the servers, taking their customers with them, while they wait for the service. We develop the general theory of such networks, and we establish the convergence of the symmetrized version of the network to the Non-Linear Markov Process.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Spatial Interactions of Peers and Performance of File Sharing Systems

We propose a new model for peer-to-peer networking which takes the network bottlenecks into account beyond the access. This model allows one to cope with key features of P2P networking like degree or locality constraints or the fact that distant peers often have a smaller rate than nearby peers. We show that the spatial point process describing peers in their steady state then exhibits an interesting repulsion phenomenon. We analyze two asymptotic regimes of the peer-to-peer network: the fluid regime and the hard--core regime. We get closed form expressions for the mean (and in some cases the law) of the peer latency and the download rate obtained by a peer as well as for the spatial density of peers in the steady state of each regime, as well as an accurate approximation that holds for all regimes. The analytical results are based on a mix of mathematical analysis and dimensional analysis and have important design implications. The first of them is the existence of a setting where the equilibrium mean latency is a decreasing function of the load, a phenomenon that we call super-scalability.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A New Phase Transition for Local Delays in MANETs

We consider Mobile Ad-hoc Network (MANET) with transmitters located according to a Poisson point in the Euclidean plane, slotted Aloha Medium Access (MAC) protocol and the so-called outage scenario, where a successful transmission requires a Signal-to-Interference-and-Noise (SINR) larger than some threshold. We analyze the local delays in such a network, namely the number of times slots required for nodes to transmit a packet to their prescribed next-hop receivers. The analysis depends very much on the receiver scenario and on the variability of the fading. In most cases, each node has finite-mean geometric random delay and thus a positive next hop throughput. However, the spatial (or large population) averaging of these individual finite mean-delays leads to infinite values in several practical cases, including the Rayleigh fading and positive thermal noise case. In some cases it exhibits an interesting phase transition phenomenon where the spatial average is finite when certain model parameters are below a threshold and infinite above. We call this phenomenon, contention phase transition. We argue that the spatial average of the mean local delays is infinite primarily because of the outage logic, where one transmits full packets at time slots when the receiver is covered at the required SINR and where one wastes all the other time slots. This results in the "RESTART" mechanism, which in turn explains why we have infinite spatial average. Adaptive coding offers a nice way of breaking the outage/RESTART logic. We show examples where the average delays are finite in the adaptive coding case, whereas they are infinite in the outage case.

0 citations0 reviewsNo code linkedOpen access