Search Results

Now showing 1 - 10 of 15
  • Item
    Sharp phase transition for Cox percolation
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Hirsch, Christian; Jahnel, Benedikt; Muirhead, Stephen
    We prove the sharpness of the percolation phase transition for a class of Cox percolation models, i.e., models of continuum percolation in a random environment. The key requirements are that the environment has a finite range of dependence and satisfies a local boundedness condition, however the FKG inequality need not hold. The proof combines the OSSS inequality with a coarse-graining construction.
  • Item
    Agent-based simulations for coverage extensions in 5G networks and beyond
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Ghribi, Chaima; Cali, Eli; Hirsch, Christian; Jahnel, Benedikt
    Device-to-device (D2D) communications is one of the key emerging technologies for the fifth generation (5G) networks and beyond. It enables direct communication between mobile users and thereby extends coverage for devices lacking direct access to the cellular infrastructure and hence enhances network capacity. D2D networks are complex, highly dynamic and will be strongly augmented by intelligence for decision making at both the edge and core of the network, which makes them particularly difficult to predict and analyze. Conventionally, D2D systems are evaluated, investigated and analyzed using analytical and probabilistic models (e.g., from stochastic geometry). However, applying classical simulation and analytical tools to such a complex system is often hard to track and inaccurate. In this paper, we present a modeling and simulation framework from the perspective of complex-systems science and exhibit an agent-based model for the simulation of D2D coverage extensions. We also present a theoretical study to benchmark our proposed approach for a basic scenario that is less complicated to model mathematically. Our simulation results show that we are indeed able to predict coverage extensions for multi-hop scenarios and quantify the effects of street-system characteristics and pedestrian mobility on the connection time of devices to the base station (BS). To our knowledge, this is the first study that applies agent-based simulations for coverage extensions in D2D.
  • Item
    Phase transitions for the Boolean model of continuum percolation for Cox point processes
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Jahnel, Benedikt; Tóbiás, András; Cali, Eli
    We consider the Boolean model with random radii based on Cox point processes. Under a condition of stabilization for the random environment, we establish existence and non-existence of subcritical regimes for the size of the cluster at the origin in terms of volume, diameter and number of points. Further, we prove uniqueness of the infinite cluster for sufficiently connected environments.
  • Item
    Stochastic homogenization on irregularly perforated domains
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2021) Heida, Martin; Jahnel, Benedikt; Vu, Anh Duc
    We study stochastic homogenization of a quasilinear parabolic PDE with nonlinear microscopic Robin conditions on a perforated domain. The focus of our work lies on the underlying geometry that does not allow standard homogenization techniques to be applied directly. Instead we prove homogenization on a regularized geometry and demonstrate afterwards that the form of the homogenized equation is independent from the regularization. Then we pass to the regularization limit to obtain the anticipated limit equation. Furthermore, we show that Boolean models of Poisson point processes are covered by our approach.
  • Item
    Continuum percolation in a nonstabilizing environment
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Jahnel, Benedikt; Jhawar, Sanjoy Kumar; Vu, Anh Duc
    We prove nontrivial phase transitions for continuum percolation in a Boolean model based on a Cox point process with nonstabilizing directing measure. The directing measure, which can be seen as a stationary random environment for the classical Poisson--Boolean model, is given by a planar rectangular Poisson line process. This Manhattan grid type construction features long-range dependencies in the environment, leading to absence of a sharp phase transition for the associated Cox--Boolean model. Our proofs rest on discretization arguments and a comparison to percolation on randomly stretched lattices established in [MR2116736].
  • Item
    Agent-based modeling and simulation for malware spreading in D2D networks
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Benomar, Ziyad; Ghribi, Chaima; Cali, Eli; Hinsen, Alexander; Jahnel, Benedikt
    This paper presents a new multi-agent model for simulating malware propagation in device-to-device (D2D) 5G networks. This model allows to understand and analyze mobile malware-spreading dynamics in such highly dynamical networks. Additionally, we present a theoretical study to validate and benchmark our proposed approach for some basic scenarios that are less complicated to model mathematically and also to highlight the key parameters of the model. Our simulations identify critical thresholds for em no propagation and for em maximum malware propagation and make predictions on the malware-spread velocity as well as device-infection rates. To the best of our knowledge, this paper is the first study applying agent-based simulations for malware propagation in D2D.
  • Item
    Percolation and connection times in multi-scale dynamic networks
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2021) Jahnel, Benedikt; Hirsch, Christian; Cali, Eli
    We study the effects of mobility on two crucial characteristics in multi-scale dynamic networks: percolation and connection times. Our analysis provides insights into the question, to what extent long-time averages are well-approximated by the expected values of the corresponding quantities, i.e., the percolation and connection probabilities. In particular, we show that in multi-scale models, strong random effects may persist in the limit. Depending on the precise model choice, these may take the form of a spatial birth-death process or a Brownian motion. Despite the variety of structures that appear in the limit, we show that they can be tackled in a common framework with the potential to be applicable more generally in order to identify limits in dynamic spatial network models going beyond the examples considered in the present work.
  • Item
    Gibbsianness of locally thinned random fields
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Engler, Nils; Jahnel, Benedikt; Külske, Christof
    We consider the locally thinned Bernoulli field on ℤ d, which is the lattice version of the Type-I Matérn hardcore process in Euclidean space. It is given as the lattice field of occupation variables, obtained as image of an i.i.d. Bernoulli lattice field with occupation probability p, under the map which removes all particles with neighbors, while keeping the isolated particles. We prove that the thinned measure has a Gibbsian representation and provide control on its quasilocal dependence, both in the regime of small p, but also in the regime of large p, where the thinning transformation changes the Bernoulli measure drastically. Our methods rely on Dobrushin uniqueness criteria, disagreement percolation arguments [46], and cluster expansions
  • Item
    Absence of percolation in graphs based on stationary point processes with degrees bounded by two
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Jahnel, Benedikt; Tóbiás, András
    We consider undirected graphs that arise as deterministic functions of stationary point processes such that each point has degree bounded by two. For a large class of point processes and edge-drawing rules, we show that the arising graph has no infinite connected component, almost surely. In particular, this extends our previous result for SINR graphs based on stabilizing Cox point processes and verifies the conjecture of Balister and Bollobás that the bidirectional $k$-nearest neighbor graph of a two-dimensional homogeneous Poisson point process does not percolate for k=2.
  • Item
    Limiting shape for first-passage percolation models on random geometric graphs
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2021) Coletti, Cristian F.; de Lima, Lucas R.; Hinsen, Alexander; Jahnel, Benedikt; Valesin, Daniel R.
    Let a random geometric graph be defined in the supercritical regime for the existence of a unique infinite connected component in Euclidean space. Consider the first-passage percolation model with independent and identically distributed random variables on the random infinite connected component. We provide sufficient conditions for the existence of the asymptotic shape and we show that the shape is an Euclidean ball. We give some examples exhibiting the result for Bernoulli percolation and the Richardson model. For the Richardson model we further show that it converges weakly to a branching process in the joint limit of large intensities and slow passing times.