BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Benedikt Jahnel

Benedikt Jahnel contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.PRNetworking and Internet Architecturephysics.soc-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 published item(s)

preprint2022arXiv

Agent-based modeling and simulation for malware spreading in D2D networks

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 "no propagation" and for "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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Agent-based simulations for coverage extensions in 5G networks and beyond

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Connectivity in mobile device-to-device networks in urban environments

In this article we setup a dynamic device-to-device communication system where devices, given as a Poisson point process, move in an environment, given by a street system of random planar-tessellation type, via a random-waypoint model. Every device independently picks a target location on the street system using a general waypoint kernel, and travels to the target along the shortest path on the streets with an individual velocity. Then, any pair of devices becomes connected whenever they are on the same street in sufficiently close proximity, for a sufficiently long time. After presenting some general properties of the multi-parameter system, we focus on an analysis of the clustering behavior of the random connectivity graph. In our main results we isolate regimes for the almost-sure absence of percolation if, for example, the device intensity is too small, or the connectivity time is too large. On the other hand, we exhibit parameter regimes of sufficiently large intensities of devices, under favorable choices of the other parameters, such that percolation is possible with positive probability. Most interestingly, we also show an in-and-out of percolation as the velocity increases. The rigorous analysis of the system mainly rests on comparison arguments with simplified models via spatial coarse graining and thinning approaches. Here we also make contact to geostatistical percolation models with infinite-range dependencies.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Gibbsianness of locally thinned random fields

We consider the locally thinned Bernoulli field on $\mathbb Z^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, and cluster expansions.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Sharp phase transition for Cox percolation

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The free energy of a box-version of the interacting Bose gas

The 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 $\mathbb Z^d$ instead of $\mathbb 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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Percolation and connection times in multi-scale dynamic networks

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Malware propagation in urban D2D networks

We introduce and analyze models for the propagation of malware in pure D2D networks given via stationary Cox-Gilbert graphs. Here, the devices form a Poisson point process with random intensity measure $λΛ$, where $Λ$ is stationary and given, for example, by the edge-length measure of a realization of a Poisson-Voronoi tessellation that represents an urban street system. We assume that, at initial time, a typical device at the center of the network carries a malware and starts to infect neighboring devices after random waiting times. Here we focus on Markovian models, where the waiting times are exponential random variables, and non-Markovian models, where the waiting times feature strictly positive minimal and finite maximal waiting times. We present numerical results for the speed of propagation depending on the system parameters. In a second step, we introduce and analyze a counter measure for the malware propagation given by special devices called white knights, which have the ability, once attacked, to eliminate the malware from infected devices and turn them into white knights. Based on simulations, we isolate parameter regimes in which the malware survives or is eliminated, both in the Markovian and non-Markovian setting.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Phase transitions for the Boolean model of continuum percolation for Cox point processes

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.

0 citations0 reviewsNo code linkedOpen access