Browsing by Author "Jahnel, Benedikt"
Now showing 1 - 20 of 36
Results Per Page
Sort Options
- ItemAbsence 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ásWe 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.
- ItemAbsence of percolation in graphs based on stationary point processes with degrees bounded by two(New York, NY [u.a.] : Wiley, 2022) Jahnel, Benedikt; Tóbiás, AndrásWe 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 signal-to-interference ratio 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.
- ItemAgent-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, BenediktThis 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.
- ItemAgent-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, BenediktDevice-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.
- ItemAttractor properties for irreversible and reversible interacting particle systems(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2015) Jahnel, Benedikt; Külske, ChristofWe consider translation-invariant interacting particle systems on the lattice with finite local state space admitting at least one Gibbs measure as a time-stationary measure. The dynamics can be irreversible but should satisfy some mild non-degeneracy conditions. We prove that weak limit points of any trajectory of translation-invariant measures, satisfying a non-nullness condition, are Gibbs states for the same specification as the time-stationary measure. This is done under the additional assumption that zero entropy loss of the limiting measure w.r.t. the time-stationary measure implies that they are Gibbs measures for the same specification.We also give an alternate version of the last condition such that the non-nullness requirement can be dropped. For dynamics admitting a reversible Gibbs measure the alternative condition can be verified, which yields the attractor property for such dynamics. This generalizes convergence results using relative entropy techniques to a large class of dynamics including irreversible and non-ergodic ones. We use this to show synchronization for the rotation dynamics exhibited in citeJaKu12 possibly at low temperature, and possibly non-reversible. We assume the additional regularity properties on the dynamics: 1 There is at least one stationary measure which is a Gibbs measure. 2 Zero loss of relative entropy density under dynamics implies the Gibbs property.
- ItemConnection intervals in multi-scale dynamic networks(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2021) Hirsch, Christian; Jahnel, Benedikt; Cali, ElieWe consider a hybrid spatial communication system in which mobile nodes can connect to static sinks in a bounded number of intermediate relaying hops. We describe the distribution of the connection intervals of a typical mobile node, i.e., the intervals of uninterrupted connection to the family of sinks. This is achieved in the limit of many hops, sparse sinks and growing time horizons. We identify three regimes illustrating that the limiting distribution depends sensitively on the scaling of the time horizon.
- ItemContinuum percolation in a nonstabilizing environment(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Jahnel, Benedikt; Jhawar, Sanjoy Kumar; Vu, Anh DucWe 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].
- ItemDisruptive events in high-density cellular networks(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2018) Keeler, Paul; Jahnel, Benedikt; Maye, Oliver; Aschenbach, Daniel; Brzozowski, MarcinStochastic geometry models are used to study wireless networks, particularly cellular phone networks, but most of the research focuses on the typical user, often ignoring atypical events, which can be highly disruptive and of interest to network operators. We examine atypical events when a unexpected large proportion of users are disconnected or connected by proposing a hybrid approach based on ray launching simulation and point process theory. This work is motivated by recent results [12] using large deviations theory applied to the signal-to-interference ratio. This theory provides a tool for the stochastic analysis of atypical but disruptive events, particularly when the density of transmitters is high. For a section of a European city, we introduce a new stochastic model of a single network cell that uses ray launching data generated with the open source RaLaNS package, giving deterministic path loss values. We collect statistics on the fraction of (dis)connected users in the uplink, and observe that the probability of an unexpected large proportion of disconnected users decreases exponentially when the transmitter density increases. This observation implies that denser networks become more stable in the sense that the probability of the fraction of (dis)connected users deviating from its mean, is exponentially small. We also empirically obtain and illustrate the density of users for network configurations in the disruptive event, which highlights the fact that such bottleneck behaviour not only stems from too many users at the cell boundary, but also from the near-far effect of many users in the immediate vicinity of the base station. We discuss the implications of these findings and outline possible future research directions.
- ItemDynamical Gibbs variational principles for irreversible interacting particle systems with applications to attractor properties(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Jahnel, Benedikt; Köppl, JonasWe consider irreversible translation-invariant interacting particle systems on the d-dimensional cubic lattice with finite local state space, which admit at least one Gibbs measure as a time-stationary measure. Under some mild degeneracy conditions on the rates and the specification we prove, that zero relative entropy loss of a translation-invariant measure implies, that the measure is Gibbs w.r.t. the same specification as the time-stationary Gibbs measure. As an application, we obtain the attractor property for irreversible interacting particle systems, which says that any weak limit point of any trajectory of translation-invariant measures is a Gibbs measure w.r.t. the same specification as the time-stationary measure. This extends previously known results to fairly general irreversible interacting particle systems.
- ItemExponential Moments for Planar Tessellations(New York, NY [u.a.] : Springer Science + Business Media B.V., 2020) Jahnel, Benedikt; Tóbiás, AndrásIn this paper we show existence of all exponential moments for the total edge length in a unit disk for a family of planar tessellations based on stationary point processes. Apart from classical tessellations such as the Poisson–Voronoi, Poisson–Delaunay and Poisson line tessellation, we also treat the Johnson–Mehl tessellation, Manhattan grids, nested versions and Palm versions. As part of our proofs, for some planar tessellations, we also derive existence of exponential moments for the number of cells and the number of edges intersecting the unit disk.
- ItemExponential moments for planar tessellations(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2019) Tóbiás, András; Jahnel, BenediktIn this paper we show existence of all exponential moments for the total edge length in a unit disc for a family of planar tessellations based on Poisson point processes. Apart from classical such tessellations like the PoissonVoronoi, PoissonDelaunay and Poisson line tessellation, we also treat the JohnsonMehl tessellation, Manhattan grids, nested versions and Palm versions. As part of our proofs, for some planar tessellations, we also derive existence of exponential moments for the number of cells and the number of edges intersecting the unit disk.
- ItemExtremal decomposition for random Gibbs measures(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2018) Cotar, Codina; Jahnel, Benedikt; Külske, ChristofThe concept of metastate measures on the states of a random spin system was introduced to be able to treat the large-volume asymptotics for complex quenched random systems, like spin glasses, which may exhibit chaotic volume dependence in the strong-coupling regime. We consider the general issue of the extremal decomposition for Gibbsian specifications which depend measurably on a parameter that may describe a whole random environment in the infinite volume. Given a random Gibbs measure, as a measurable map from the environment space, we prove measurability of its decomposition measure on pure states at fixed environment, with respect to the environment. As a general corollary we obtain that, for any metastate, there is an associated decomposition metastate, which is supported on the extremes for almost all environments, and which has the same barycenter.
- ItemExtremal decomposition for random Gibbs measures: from general metastates to metastates on extremal random Gibbs measures([Madralin] : EMIS ELibEMS, 2018) Cotar, Codina; Jahnel, Benedikt; Külske, ChristofThe concept of metastate measures on the states of a random spin system was introduced to be able to treat the large-volume asymptotics for complex quenched random systems, like spin glasses, which may exhibit chaotic volume dependence in the strong-coupling regime. We consider the general issue of the extremal decomposition for Gibbsian specifications which depend measurably on a parameter that may describe a whole random environment in the infinite volume. Given a random Gibbs measure, as a measurable map from the environment space, we prove measurability of its decomposition measure on pure states at fixed environment, with respect to the environment. As a general corollary we obtain that, for any metastate, there is an associated decomposition metastate, which is supported on the extremes for almost all environments, and which has the same barycenter.
- ItemThe free energy of a box-version of the interacting Bose gas(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Collin, Orphée; Jahnel, Benedikt; König, WolfgangThe interacting quantum Bose gas is a random ensemble of many Brownian bridges (cycles) of various lengths with interactions between any pair of legs of the cycles. It is one of the standard mathematical models in which a proof for the famous Bose--Einstein condensation phase transition is sought for. We introduce a simplified version of the model with an organisation of the particles in deterministic boxes instead of Brownian cycles as the marks of a reference Poisson point process (for simplicity, in Z d, instead of R d). We derive an explicit and interpretable variational formula in the thermodynamic limit for the limiting free energy of the canonical ensemble for any value of the particle density. This formula features all relevant physical quantities of the model, like the microscopic and the macroscopic particle densities, together with their mutual and self-energies and their entropies. The proof method comprises a two-step large-deviation approach for marked Poisson point processes and an explicit distinction into small and large marks. In the characteristic formula, each of the microscopic particles and the statistics of the macroscopic part of the configuration are seen explicitly; the latter receives the interpretation of the condensate. The formula enables us to prove a number of properties of the limiting free energy as a function of the particle density, like differentiability and explicit upper and lower bounds, and a qualitative picture below and above the critical threshold (if it is finite). This proves a modified saturation nature of the phase transition. However, we have not yet succeeded in proving the existence of this phase transition.
- ItemGibbsian representation for point processes via hyperedge potentials(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2017) Jahnel, Benedikt; Külske, ChristofWe consider marked point processes on the d-dimensional euclidean space, defined in terms of a quasilocal specification based on marked Poisson point processes. We investigate the possibility of constructing uniformly absolutely convergent Hamiltonians in terms of hyperedge potentials in the sense of Georgii [2]. These potentials are natural generalizations of physical multibody potentials which are useful in models of stochastic geometry.
- ItemGibbsianness and non-Gibbsianness for Bernoulli lattice fields under removal of isolated sites(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2021) Jahnel, Benedikt; Külske, ChristofWe consider the i.i.d. Bernoulli field μ p on Z d with occupation density p ∈ [0,1]. To each realization of the set of occupied sites we apply a thinning map that removes all occupied sites that are isolated in graph distance. We show that, while this map seems non-invasive for large p, as it changes only a small fraction p(1-p)2d of sites, there is p(d) <1 such that for all p ∈ (p(d), 1) the resulting measure is a non-Gibbsian measure, i.e., it does not possess a continuous version of its finite-volume conditional probabilities. On the other hand, for small p, the Gibbs property is preserved.
- ItemGibbsianness of locally thinned random fields(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Engler, Nils; Jahnel, Benedikt; Külske, ChristofWe 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
- ItemLarge deviations for the capacity in dynamic spatial relay networks(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2017) Hirsch, Christian; Jahnel, BenediktWe derive a large deviation principle for the space-time evolution of users in a relay network that are unable to connect due to capacity constraints. The users are distributed according to a Poisson point process with increasing intensity in a bounded domain, whereas the relays are positioned deterministically with given limiting density. The preceding work on capacity for relay networks by the authors describes the highly simplified setting where users can only enter but not leave the system. In the present manuscript we study the more realistic situation where users leave the system after a random transmission time. For this we extend the point process techniques developed in the preceding work thereby showing that they are not limited to settings with strong monotonicity properties.
- ItemLimiting 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.
- ItemLower large deviations for geometric functionals(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2019) Hirsch, Christian; Jahnel, Benedikt; Tóbiás, AndrásThis work develops a methodology for analyzing large-deviation lower tails associated with geometric functionals computed on a homogeneous Poisson point process. The technique applies to characteristics expressed in terms of stabilizing score functions exhibiting suitable monotonicity properties. We apply our results to clique counts in the random geometric graph, intrinsic volumes of Poisson--Voronoi cells, as well as power-weighted edge lengths in the random geometric, κ-nearest neighbor and relative neighborhood graph.