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

Benedikt Jahnel

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

ResearcherUnclaimed source record
math.PRNetworking and Internet Architecturephysics.soc-ph

Catalog footprint

What is connected

16works
3topics
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

16 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
preprint2016arXiv

Large deviations in relay-augmented wireless networks

We analyze a model of relay-augmented cellular wireless networks. The network users, who move according to a general mobility model based on a Poisson point process of continuous trajectories in a bounded domain, try to communicate with a base station located at the origin. Messages can be sent either directly or indirectly by relaying over a second user. We show that in a scenario of an increasing number of users, the probability that an atypically high number of users experiences bad quality of service over a certain amount of time, decays at an exponential speed. This speed is characterized via a constrained entropy minimization problem. Further, we provide simulation results indicating that solutions of this problem are potentially non-unique due to symmetry breaking. Also two general sources for bad quality of service can be detected, which we refer to as isolation and screening.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Space-time large deviations in capacity-constrained relay networks

We consider a single-cell network of random transmitters and fixed relays in a bounded domain of Euclidean space. The transmitters arrive over time and select one relay according to a spatially inhomogeneous preference kernel. Once a transmitter is connected to a relay, the connection remains and the relay is occupied. If an occupied relay is selected by another transmitters with later arrival time, this transmitter becomes frustrated. We derive a large deviation principle for the space-time evolution of frustrated transmitters in the high-density regime.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Traffic flow densities in large transport networks

We consider transport networks with nodes scattered at random in a large domain. At certain local rates, the nodes generate traffic flowing according to some navigation scheme in a given direction. In the thermodynamic limit of a growing domain, we present an asymptotic formula expressing the local traffic flow density at any given location in the domain in terms of three fundamental characteristics of the underlying network: the spatial intensity of the nodes together with their traffic generation rates, and of the links induced by the navigation. This formula holds for a general class of navigations satisfying a link-density and a sub-ballisticity condition. As a specific example, we verify these conditions for navigations arising from a directed spanning tree on a Poisson point process with inhomogeneous intensity function.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Large-deviation principles for connectable receivers in wireless networks

We study large-deviation principles for a model of wireless networks consisting of Poisson point processes of transmitters and receivers, respectively. To each transmitter we associate a family of connectable receivers whose signal-to-interference-and-noise ratio is larger than a certain connectivity threshold. First, we show a large-deviation principle for the empirical measure of connectable receivers associated with transmitters in large boxes. Second, making use of the observation that the receivers connectable to the origin form a Cox point process, we derive a large-deviation principle for the rescaled process of these receivers as the connection threshold tends to zero. Finally, we show how these results can be used to develop importance-sampling algorithms that substantially reduce the variance for the estimation of probabilities of certain rare events such as users being unable to connect

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A class of non-ergodic probabilistic cellular automata with unique invariant measure and quasi-periodic orbit

We provide an example of a discrete-time Markov process on the three-dimensional infinite integer lattice with Z_q-invariant Bernoulli-increments which has as local state space the cyclic group Z_q. We show that the system has a unique invariant measure, but remarkably possesses an invariant set of measures on which the dynamics is conjugate to an irrational rotation on the continuous sphere S^1. The update mechanism we construct is exponentially well localized on the lattice.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A class of nonergodic interacting particle systems with unique invariant measure

We consider a class of discrete $q$-state spin models defined in terms of a translation-invariant quasilocal specification with discrete clock-rotation invariance which have extremal Gibbs measures $μ'_φ$ labeled by the uncountably many values of $φ$ in the one-dimensional sphere (introduced by van Enter, Opoku, Külske [J. Phys. A 44 (2011) 475002, 11]). In the present paper we construct an associated Markov jump process with quasilocal rates whose semigroup $(S_t)_{t\geq0}$ acts by a continuous rotation $S_t(μ'_φ)=μ'_{φ+t}$. As a consequence our construction provides examples of interacting particle systems with unique translation-invariant invariant measure, which is not long-time limit of all starting measures, answering an old question (compare Liggett [Interacting Particle Systems (1985) Springer], question four, Chapter one). The construction of this particle system is inspired by recent conjectures of Maes and Shlosman about the intermediate temperature regime of the nearest-neighbor clock model. We define our generator of the interacting particle system as a (noncommuting) sum of the rotation part and a Glauber part. Technically the paper rests on the control of the spread of weak nonlocalities and relative entropy-methods, both in equilibrium and dynamically, based on Dobrushin-uniqueness bounds for conditional measures.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Gibbsian and non-Gibbsian properties of the generalized mean-field fuzzy Potts-model

We analyze the generalized mean-field q-state Potts model which is obtained by replacing the usual quadratic interaction function in the mean-field Hamiltonian by a higher power z. We first prove a generalization of the known limit result for the empirical magnetization vector of Ellis and Wang which shows that in the right parameter regime, the first-order phase-transition persists. Next we turn to the corresponding generalized fuzzy Potts model which is obtained by decomposing the set of the q possible spin-values into 1 < s < q classes and identifying the spins within these classes. In extension of earlier work which treats the quadratic model we prove the following: The fuzzy Potts model with interaction exponent bigger than four (respectively bigger than two and smaller or equal four) is non-Gibbs if and only if its inverse temperature is larger or equal than the critical inverse temperature of the corresponding Potts model with number of spin-labels equal to the size of the smallest class which is greater or equal than two (respectively greater or equal than three.) We also provide a dynamical interpretation considering sequences of fuzzy Potts models which are obtained by increasingly collapsing classes at finitely many times and discuss the possibility of a multiple in- and out of Gibbsianness, depending on the collapsing scheme.

0 citations0 reviewsNo code linkedOpen access